Document Type

Post-Print

Publication Date

2002

Subjects

Topology, Invariant sets, Hausdorff measures, Measure theory

Abstract

The basic question of this paper is: If you consider two iterated function systems close to one another in an appropriate topology, are the dimensions of their respective invariant sets close to one another? It is well-known that the Hausdorff dimension (and Lebesgue measure) of the invariant set do not depend continuously on the iterated function system. Our main result is that (with a restriction on the ‘non-conformality’ of the transformations) the Hausdorff dimension is a lower semi-continuous function in the C1- topology of the transformations of the iterated function system. The same question is raised of the Lebesgue measure of the invariant set. Here we show that it is an upper semi-continuous function of the transformations. We also include some corollaries of these results, such as the equality of box- and Hausdorff dimensions in these cases.

Description

This is the author’s version of a work that was accepted for publication in Fundamenta Mathematicae. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication.

A definitive version was subsequently published in Fundamenta Mathematicae and can be found online at: http://dx.doi.org/10.4064/fm173-2-2

DOI

10.4064/fm173-2-2

Persistent Identifier

http://archives.pdx.edu/ds/psu/17803

Download

Share

COinS