TY - JOUR

T1 - Normal and non-normal points of self-similar sets and divergence points of self-similar measures

AU - Olsen, Lars Ole Ronnow

AU - Winter, S

PY - 2003/2

Y1 - 2003/2

N2 - Let K and mu be the self-similar set and the self-similar measure associated with an IFS (iterated function system) with probabilities (S-i,p(i))(i=1,...,N) satisfying the open set condition. Let Sigma = {1,...,N)(N) denote the full shift space and let pi:Sigma --> K denote the natural projection. The (symbolic) local dimension of mu at omega is an element of Sigma is defined by lim(n) (log muK(omega\n)/log diam K-omega\n), where K-omega\n = S-omega1 o...o S-omegan (K) for omega = (omega1,omega2,...) is an element of Sigma. A point omega for which the limit lim(n) (log muK(omega\n)/log diam K-omega\n) does not exist is called a divergence point. In almost all of the literature the limit lim(n) (log muK(omega\n)/log diam K-omega\n) is assumed to exist, and almost nothing is known about the set of divergence points. In the paper a detailed analysis is performed of the set of divergence points and it is shown that it has a surprisingly rich structure. For a sequence (x(n))(n), let A(x(n)) denote the set of accumulation points of (x(n))(n). For an arbitrary subset I of R, the Hausdorff and packing dimension of the set[GRAPHICS]and related sets is computed. An interesting and surprising corollary to this result is that the set of divergence points is extremely 'visible'; it can be partitioned into an uncountable family of pairwise disjoint sets each with full dimension. In order to prove the above statements the theory of normal and non-normal points of a self-similar set is formulated and developed in detail. This theory extends the notion of normal and non-normal numbers to the setting of self-similar sets and has numerous applications to the study of the local properties of self-similar measures including a detailed study of the set of divergence points.

AB - Let K and mu be the self-similar set and the self-similar measure associated with an IFS (iterated function system) with probabilities (S-i,p(i))(i=1,...,N) satisfying the open set condition. Let Sigma = {1,...,N)(N) denote the full shift space and let pi:Sigma --> K denote the natural projection. The (symbolic) local dimension of mu at omega is an element of Sigma is defined by lim(n) (log muK(omega\n)/log diam K-omega\n), where K-omega\n = S-omega1 o...o S-omegan (K) for omega = (omega1,omega2,...) is an element of Sigma. A point omega for which the limit lim(n) (log muK(omega\n)/log diam K-omega\n) does not exist is called a divergence point. In almost all of the literature the limit lim(n) (log muK(omega\n)/log diam K-omega\n) is assumed to exist, and almost nothing is known about the set of divergence points. In the paper a detailed analysis is performed of the set of divergence points and it is shown that it has a surprisingly rich structure. For a sequence (x(n))(n), let A(x(n)) denote the set of accumulation points of (x(n))(n). For an arbitrary subset I of R, the Hausdorff and packing dimension of the set[GRAPHICS]and related sets is computed. An interesting and surprising corollary to this result is that the set of divergence points is extremely 'visible'; it can be partitioned into an uncountable family of pairwise disjoint sets each with full dimension. In order to prove the above statements the theory of normal and non-normal points of a self-similar set is formulated and developed in detail. This theory extends the notion of normal and non-normal numbers to the setting of self-similar sets and has numerous applications to the study of the local properties of self-similar measures including a detailed study of the set of divergence points.

KW - HAUSDORFF DIMENSION

KW - FRACTALS

UR - http://www.scopus.com/inward/record.url?scp=0038583813&partnerID=8YFLogxK

U2 - 10.1112/S0024610702003630

DO - 10.1112/S0024610702003630

M3 - Article

SN - 0024-6107

VL - 67

SP - 103

EP - 122

JO - Journal of the London Mathematical Society

JF - Journal of the London Mathematical Society

IS - 1

ER -