# zbMATH — the first resource for mathematics

##### Examples
 Geometry Search for the term Geometry in any field. Queries are case-independent. Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact. "Topological group" Phrases (multi-words) should be set in "straight quotation marks". au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted. Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff. "Quasi* map*" py: 1989 The resulting documents have publication year 1989. so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14. "Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic. dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles. py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses). la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

##### Operators
 a & b logic and a | b logic or !ab logic not abc* right wildcard "ab c" phrase (ab c) parentheses
##### Fields
 any anywhere an internal document identifier au author, editor ai internal author identifier ti title la language so source ab review, abstract py publication year rv reviewer cc MSC code ut uncontrolled term dt document type (j: journal article; b: book; a: book article)
Fractals and self similarity. (English) Zbl 0598.28011

The term ”fractal” introduced by B. Mandelbrot refers to classes of sets having either strict or statistical self-similarities. The usual Cantor set is a strict example; such sets frequently are Cantor-type sets with nonintegral Hausdorff dimensions. The Cantor set has dimension log 2/log 3. Mandelbrot and others have used such sets extensively to model various physical and biological phenomena. Mandelbrot typically has obtained his examples of strictly self-similar fractals by ad hoc constructions based on ”initial” and ”standard” polygons and appropriate iterative procedures. It is the present author’s thesis (successfully presented, in the opinion of the reviewer) that a better way to regard a fractal is as a finite collection $𝒮=\left\{{S}_{1},···,{S}_{N}\right\}$ of contraction mappings; the fractal $|𝒮|$ is then determined by the requirement that $|𝒮|={\cup }_{i}{S}_{i}|𝒮|$ ($|𝒮|$ does not necessarily determine $𝒮$ uniquely). In Mandelbrot’s published examples each $𝒮$ would consist of similitudes of ${ℝ}^{n}$ (the composition of an isometry with a homothety); one can thus readily classify all possible such strictly self-similar fractals and perhaps think in terms of constructing an atlas (P. E. Oppenheimer, in his 1979 Princeton senior thesis obtained a computer generation of an atlas of part of one component of the parameter space, with dramatic results). For the usual Cantor set as above one can take $n=1,$ $N=2,$ and let ${S}_{1}$, ${S}_{2}$ be orientation-preserving similitudes with 0, 1 as respective fixed points and conraction ratios of 1/3. Among the basic results of the present paper are the following.

(1) Let X be a complete metric space and $𝒮=\left\{{S}_{1},···,{S}_{N}\right\}$ be a finite set of contraction mappings on X. Then there exists a unique closed bounded set $|𝒮|$ such that $|𝒮|={\cup }_{i}{S}_{i}|{𝒮}_{i}|·$ Furthermore, $|𝒮|$ is compact and is the closure of the set of fixed points of finite compositions ${S}_{i\left(1\right)}\circ ···\circ {S}_{i\left(p\right)}$ of members of $𝒮$. Furthermore, for arbitrary nonempty closed bounded $A\subset X$, ${𝒮}^{p}\left(A\right)\to |𝒮|$ in the Hausdorff metric; here $𝒮\left(A\right)={\cup }_{i}{S}_{i}\left(A\right),$ ${𝒮}^{p}\left(A\right)=𝒮\left({𝒮}^{-1}\left(A\right)\right)·$ (2) Suppose additionally that ${\rho }_{1},··,{\rho }_{N}\in \left(0,1\right)$ with ${{\Sigma }}_{i}{\rho }_{i}=1·$ Then there is a unique Borel regular measure $\parallel 𝒮,\rho \parallel$ of total mass 1 such that $\parallel 𝒮,\rho \parallel ={{\Sigma }}_{i}{\rho }_{i}{S}_{i#}\parallel 𝒮,\rho \parallel ·$ Furthermore $spt\parallel 𝒮,\rho \parallel =|𝒮|·$

Additional results of this paper show in some cases how to associate an m-dimensional integral flat chain to $𝒮$ (m an integer) even though $|𝒮|$ is not of integral dimension. The author also examines relationships between similarity dimension and Hausdorff dimension and between $\parallel 𝒮,\rho \parallel$ and Hausdorff measure. Finally he gives conditions guaranteeing that $|𝒮|$ is purely unrectifiable (even though of infinite measure).

##### MSC:
 28A75 Length, area, volume, other geometric measure theory 49Q15 Geometric measure and integration theory, integral and normal currents (optimization) 58C25 Differentiable maps on manifolds (global analysis) 58K99 Theory of singularities and catastrophe theory