1 Motivations

Although fractals definitely belong to the most popular mathematical inventions, they have no unified definition in the technical literature. Measure theorists prefer to capture their fragmented nature. Mandelbrot himself considered them as sets for which the Hausdorff–Besicovitch dimension strictly exceeds the topological dimension (see his pioneer work [7], or its English version [8]).

Fixed point theorists focus on self-similarity, which is the other characteristic property of fractals. This approach and its interaction with the Hausdorff–Besicovitch dimension was elaborated by Hutchinson [4]. In the forthcoming investigations, we also follow this path.

Throughout this note, X stands for an arbitrary set, and \(\mathscr {P}(X)\) denotes its power set. Assume that \(\mathscr {T}=\{T_{\gamma }{:}\,F(X)\rightarrow \mathscr {F}(X)\mid \gamma \in \Gamma \}\) is a nonempty family of maps, where \(\mathscr {F}(X)\) is a subfamily of \(\mathscr {P}(X)\). We say that \(H\in \mathscr {F}(X)\) is a \(\mathscr {T}\)-fractal if it fulfills the invariance equation

$$\begin{aligned} H=\bigcup _{\gamma \in \Gamma }T_{\gamma }(H). \end{aligned}$$
(1)

The family \(\mathscr {T}\) is frequently called iterated function system (IFS), while fractals are termed the attractors of the underlying IFS. To develop a satisfactory fractal theory, that is, a theory in which fractals are uniquely defined objects via their invariance equation, the family \(\mathscr {F}(X)\) and the mapping class \(\mathscr {T}\) have to be declared.

In the classical setting, \(\mathscr {F}(X)\) is the family of nonempty, bounded, closed subsets of a complete metric space, and \(\mathscr {T}\) consists of finitely many contractions. Then, Hutchinson’s fundamental result [4] guarantees the unique resolvability of (1). His brilliant approach interprets the invariance equation as a fixed point problem, which has exactly one solution in the complete metric space of fractals according to the Blaschke Theorem and the Banach Contraction Principle.

Later Mandelbrot proposed to use ‘fractal’ without a pedantic definition, since we can see fractals everywhere [2]. Motivated by this philosophy, we take the liberty to consider fractals everything: We will not distinguish \(\mathscr {F}(X)\) and \(\mathscr {P}(X)\). The family \(\mathscr {T}\) will consist of arbitrarily many isotone or continuous maps (their precise definition is given in the next section). Then, a slightly improved version of the Knaster–Tarski theorem [6] guarantees a smallest fractal fulfilling (1).

Our approach provides a minimalists’ fractal theory in a double sense: a minimal theoretical setup leads to the minimum solution of the invariance equation. This elementary way completely avoids the advanced tools of analysis, and simultaneously reflects the method and the beauty of the fixed point approach.

2 Isotone and continuous maps

A mapping \(T{:}\,\mathscr {P}(X)\rightarrow \mathscr {P}(X)\) is called isotone, if it preserves the set-theoretic inclusion, that is \(T(A)\subseteq T(B)\) holds provided that \(A\subseteq B\). Isotone maps have several obvious properties. For instance, the images of the emptyset and the basic set under an isotone map T are

$$\begin{aligned} T(\emptyset )=\bigcap \{T(A)\mid A\in \mathscr {P}(X)\}\quad \text{ and }\quad T(X)=\bigcup \{T(A)\mid A\in \mathscr {P}(X)\}. \end{aligned}$$

Note also, that isotone maps are superadditive with respect to union, while subadditive with respect to intersection. That is, for any isotone map \(T{:}\,\mathscr {P}(X)\rightarrow \mathscr {P}(X)\), we have

$$\begin{aligned} \bigcup _{A\in \mathscr {A}}T(A)\subseteq T\Bigl (\bigcup \mathscr {A}\Bigr )\quad \text{ and }\quad T\Bigl (\bigcap \mathscr {A}\Bigr )\subseteq \bigcap _{A\in \mathscr {A}}T(A). \end{aligned}$$

An other important mapping class (which will turn out to be a subfamily of isotone maps) is the class of continuous maps. In the power set \(\mathscr {P}(X)\), it is useful to regard countable chains as sequences and the union of the chain as the limit. Guided by this, a map \(T{:}\,\mathscr {P}(X)\rightarrow \mathscr {P}(X)\) is said to be continuous, if, for every countable chain \(\mathscr {L}\),

$$\begin{aligned} T\bigl (\bigcup \mathscr {L}\bigr )=\bigcup _{L\in \mathscr {L}}T(L). \end{aligned}$$

Further obvious properties will play a distinguished role in our investigations. Therefore we formulate them as Propositions. The first one highlights the precise relation of isotone and continuous self-maps, while the second and third ones show how to generate isotone and continuous maps using these kind of maps.

Proposition 1

Any continuous self-map of a power set is isotone. Furthermore, any self-map of a finite power set is isotone if and only if it is continuous.

Proof

Let \(T{:}\,\mathscr {P}(X)\rightarrow \mathscr {P}(X)\) be a continuous map, and assume that \(A\subseteq B\). Consider the chain \(\mathscr {L}=\{A,B\}\). Then,

$$\begin{aligned} T(A)\subseteq T(A)\cup T(B)=\bigcup _{L\in \mathscr {L}}T(L)=T\Bigl (\bigcup \mathscr {L}\Bigr )=T(B), \end{aligned}$$

resulting in the first statement. To prove the second one, it suffices to prove only that any isotone map T on a finite power set is continuous. Observe first that, any countable chain in a finite set is finite. For a finite chain \(\mathscr {L}\), the set \(\{T(L)\mid L\in \mathscr {L}\}\) is a chain again, since T is isotone. Moreover, if L represents the greatest member of \(\mathscr {L}\), then T(L) becomes the greatest member in the corresponding chain. Therefore, \(T(\bigcup \mathscr {L})=T(L)=\bigcup T(\mathscr {L})\) holds, yielding continuity. \(\square \)

Proposition 2

The finite composition of isotone (respectively, continuous) maps is isotone (respectively, continuous). In particular, the iterates of an isotone (respectively, continuous) map is also isotone (respectively, continuous).

Proposition 3

If \(\mathscr {T}:=\{T_{\gamma }{:}\,\mathscr {P}(X)\rightarrow \mathscr {P}(X)\mid \gamma \in \Gamma \}\) is an isotone (respectively: continuous) family and \(T{:}\,\mathscr {P}(X)\rightarrow \mathscr {P}(X)\) is defined by

$$\begin{aligned} T(H)=\bigcup _{\gamma \in \Gamma }T_{\gamma }(H), \end{aligned}$$
(2)

then T is also isotone (respectively, continuous).

Proof

We restrict the proof only to the second statement. Let \(\mathscr {L}\) be a countable chain. Then, by the continuity of the members,

$$\begin{aligned} T\Bigl (\bigcup \mathscr {L}\Bigr )= \bigcup _{\gamma \in \Gamma }T_{\gamma }\Bigl (\bigcup _{L\in \mathscr {L}}L\Bigr )= \bigcup _{\gamma \in \Gamma }\bigcup _{L\in \mathscr {L}}T_{\gamma }\bigl (L\bigr )= \bigcup _{L\in \mathscr {L}}\bigcup _{\gamma \in \Gamma }T_{\gamma }\bigl (L\bigr )= \bigcup _{L\in \mathscr {L}}T\bigl (L\bigr ). \end{aligned}$$

This verifies the continuity of T. \(\square \)

A nontrivial property of isotone maps, the well-known result of Knaster and Tarski [6], states that each isotone map has a fixed point. The next theorem slightly improves this statement, guaranteeing the existence of a smallest fixed point. Hence, in this form, it may be considered as an existence and uniqueness result. Adopting the idea of Kantorovitch [5], the smallest fixed point can even be represented with the help of the orbit of the empty set. In the sequel, \(\mathrm{Fix}(T)\) shall stand for the set of fixed points of T.

Theorem 1

If \(T{:}\,\mathscr {P}(X)\rightarrow \mathscr {P}(X)\) is isotone, then \(\mathrm{Fix}(T)\) is nonempty, and \(\bigcap \mathrm{Fix}(T)\) is the smallest fixed point of T. Moreover, if T is continuous, then the smallest fixed point can be represented as

$$\begin{aligned} \bigcup _{n\in \mathbb {N}}T^n(\emptyset )=\bigcap \mathrm{Fix}(T). \end{aligned}$$
(3)

Proof

By the Knaster–Tarski fixed point theorem, \(\mathrm{Fix}(T)\) is nonempty. Let \(H\in \mathrm{Fix}(T)\) be arbitrary and define \(H_0:=\bigcap \mathrm{Fix}(T)\). Then \(H_0\subseteq H\), and hence, \(T(H_0)\subseteq T(H)=H\) holds for all members of \(\mathrm{Fix}(T)\). Thus \(T(H_0)\subseteq H_0\), yielding that T maps the power set \(\mathscr {P}(H_0)\) into itself. By the Knaster–Tarski fixed point theorem again, T has a fixed point which is a subset of \(H_0\). This can occur only if this fixed point is \(H_0\) itself. Therefore \(H_0\) is the smallest fixed point of T.

Consider now the family

$$\begin{aligned} \mathscr {L}:=\{T^n(\emptyset )\mid n\in \mathbb {N}\}. \end{aligned}$$

For an isotone map T, the trivial inclusion \(\emptyset \subseteq T(\emptyset )\) implies \(T(\emptyset )\subseteq T^2(\emptyset )\). Iterating this process, one can conclude that \(\mathscr {L}\) is an increasing chain. On the other hand, using now \(\emptyset \subseteq H_0\) and Proposition 2, \(T^n(\emptyset )\subseteq T^n(H_0)=H_0\) follows for all \(n\in \mathbb {N}\). Therefore,

$$\begin{aligned} \bigcup _{n\in \mathbb {N}}T^n(\emptyset )=\bigcup \mathscr {L}\subseteq H_0=\bigcap \mathrm{Fix}(T) \end{aligned}$$

always holds for purely isotone maps. Assume now that our map is continuous. By Proposition 1, the just proved facts above remain true for continuous T, as well. Moreover, by continuity,

$$\begin{aligned} T\Bigl (\bigcup \mathscr {L}\Bigr )=\bigcup _{L\in \mathscr {L}} T(L)= \bigcup _{n\in \mathbb {N}}T^{n+1}(\emptyset )= \bigcup _{n\in \mathbb {N}}T^n(\emptyset )=\bigcup \mathscr {L}. \end{aligned}$$

This verifies that \(\bigcup \mathscr {L}\) is a fixed point for T. However, \(H_0\) is the smallest fixed point. This implies the reverse inclusion \(H_0\subseteq \bigcup \mathscr {L}\). \(\square \)

Observe that (3) holds for such isotone maps that satisfy the continuity property only on the special chain \(\mathscr {L}=\{T^n(\emptyset )\mid n\in \mathbb {N}\}\). Though this observation is valid for the forthcoming results, we shall formulate them under the assumption of continuity.

Finally, we present some examples of isotone and continuous maps and describe their fixed point properties, as well. The details of the proofs are left to the reader.

Example 1

If \(A\subseteq X\) is arbitrary, then the map \(T{:}\,\mathscr {P}(X)\rightarrow \mathscr {P}(X)\) defined by \(T(H)=A\) is continuous. Its smallest and greatest fixed point is A.

Example 2

The identity map of any power set is continuous, and each subset is a fixed point. The smallest fixed point is the emptyset, while the greatest one is the basic set.

Example 3

Let X be an infinite set, and define \(T{:}\,\mathscr {P}(X)\rightarrow \mathscr {P}(X)\) in the following way. Let \(T(H)=\emptyset \) if H is finite and \(T(H)=X\) if H is infinite. Then T is an isotone, but not continuous map. Its smallest fixed point is the emptyset, while the greatest one is X. No more fixed point exists.

Example 4

Let X be a vector space, and fix \(x_0\in X\) and \(\lambda \in \mathbb {R}\) arbitrarily. Then the mapping \(T{:}\,\mathscr {P}(X)\rightarrow \mathscr {P}(X)\) given by \(T(H)=\{\lambda x+x_0\mid x\in H\}\cup \{x_0\}\) is continuous, and its smallest fixed point \(H_0\) can be represented as

$$\begin{aligned} H_0=\left\{ \left( \sum _{k=1}^n\lambda ^{k-1}\right) x_0\mid n\in \mathbb {N}\right\} . \end{aligned}$$

Example 5

Let \(f:X\rightarrow Y\) be an arbitrary function, and define the map \(T_f{:}\,\mathscr {P}(X)\rightarrow \mathscr {P}(Y)\) via the standard way of “image of sets”

$$\begin{aligned} T_f(H):=\{f(x)\mid x\in H\}. \end{aligned}$$

Then, \(T_f\) is continuous.

Observe, that Example 5 extends the first statement of Example 4. Note also, that the representation of the smallest fixed point in Example 4 follows directly from (3).

3 The main result

Now we are in the position to formulate and prove the main result and highlight its connection with classical fractal theory. We illustrate this connection with the help of well-known fractals.

Theorem 2

If \(\mathscr {T}\) is a family of isotone maps, then there exists a smallest \(\mathscr {T}\)-fractal. Moreover, if \(\mathscr {T}\) is a continuous family, then this fractal is obtained via (3).

Proof

Let \(\mathscr {T}:=\{T_{\gamma }{:}\,\mathscr {P}(X)\rightarrow \mathscr {P}(X)\mid \gamma \in \Gamma \}\) and define \(T{:}\,\mathscr {P}(X)\rightarrow \mathscr {P}(X)\) with (2). By Proposition 3, T is isotone (respectively: continuous) provided that \(\mathscr {T}\) is an isotone (respectively: continuous) family. Hence the statements follow immediately from Theorem 1. \(\square \)

Classical fractals can also be studied in the minimalists’ framework as the first Corollary shows. Its first statement is a consequence of Example 5, Proposition 3 and Theorem 2, the second one is obvious. Details of the proof are omitted.

Corollary 1

If \(f_1,\dots ,f_n\) are contractions of a complete metric space, then the invariance equation

$$\begin{aligned} H=T_{f_1}(H)\cup \cdots \cup T_{f_n}(H) \end{aligned}$$

has a smallest solution, which is a subset of the corresponding nonempty, closed, bounded one.

It may occur, that the minimalist solution of the classical invariance equation is the emptyset. However, we can avoid trivial cases by adding some extra parts to the original equation. Moreover, it can be done in such a way, that the modification will have no effect on the original nonempty, closed, bounded solution. The next Corollaries explain this phenomenon.

Corollary 2

The smallest real fractal \(H_0\) which satisfies the invariance equation

$$\begin{aligned} H=\frac{1}{3}H\cup \left( \frac{1}{3}H+\frac{2}{3}\right) \cup \{0\} \end{aligned}$$

is a proper subset of the Cantor-set, and consists of exactly those real numbers whose ternary expansions are finite, and the digits belong to the set \(\{0,2\}\).

Hint. By Example 4, the right-hand side of the invariance equation above contains continuous maps. Therefore, by Theorem 2, there exists a smallest fractal satisfying the invariance equation, indeed. Using induction and the fact \(T(\emptyset )=\{0\}\), one can easily prove that

$$\begin{aligned} T^{n+1}(\emptyset )=\bigl \{(0,x_1\dots x_n)_3\mid x_k\in \{0;2\},\,k=1,\dots ,n\bigr \}, \end{aligned}$$

where \((\cdot )_3\) stands for the basic ternary expansion of reals. Hence (3) reduces to

$$\begin{aligned} H_0=\bigl \{(0,x_1\dots x_n)_3\mid x_k\in \{0;2\},\,k=1,\dots ,n;\,n\in \mathbb {N}\bigr \}, \end{aligned}$$

as it was stated. The Cantor-set itself is a solution (more precisely, the unique nonempty, closed, bounded one) of the invariance equation above. Therefore, by Theorem 2, \(H_0\) is a subset of the Cantor-set. On the other hand, \(H_0\) is nonempty and countable, so it is a proper subset. \(\square \)

Corollary 3

For all \(i,j\in \{0,1,2\}\), define the mappings \(T_{i,j}{:}\,R\rightarrow \mathbb {R}\) by

$$\begin{aligned} T_{ij}(x,y)=\Bigl (\frac{x+i}{3},\frac{y+j}{3}\Bigr ). \end{aligned}$$

The smallest planar fractal which satisfies the invariance equation

$$\begin{aligned} H=\bigcup \big \{T_{ij}(H)\mid i,j\in \{0,1,2\},\,(i,j)\ne (1,1)\big \}\cup \{(0,0)\} \end{aligned}$$

is a proper subset of the Sierpiński-carpet, and consists of exactly those points whose components’ ternary expansions are finite, and have no position in which both numbers have the digit 1.

Corollary 4

For all \(i,j\in \{0,1,2,3\}\), define the mappings \(T_{i,j,k}{:}\,R\rightarrow \mathbb {R}\) by

$$\begin{aligned} T_{ijk}(x,y,z)=\Bigl (\frac{x+i}{3},\frac{y+j}{3},\frac{z+k}{3}\Bigr ). \end{aligned}$$

The smallest 3D fractal which satisfies the invariance equation

$$\begin{aligned} H=\bigcup \big \{T_{ijk}(H)\mid i,j,k\in \{0,1,2\},\,(1,1)\notin \{(i,j),(j,k),(k,i)\}\big \}\cup \{(0,0,0)\} \end{aligned}$$

is a proper subset of the Menger-sponge, and consists of exactly those points whose components’ ternary expansions are finite, and have no position in which each number has the digit 1.

4 Some historical comments

The joint result of Knaster and Tarski [6] is the source of order theoretic fixed point results. It appeared in a conference report of the meeting of the Warsaw Division of the Polish Mathematical Society. This report does not contain the proof, and states only the existence of a fixed point. As applications, the Banach Mapping Theorem [1] and the Schröder–Bernstein Theorem are mentioned. Then, Tarski developed this result alone. In the second footnote of a later article [11], he commemorates this as follows:

In 1927 Knaster and the author proved a set-theoretical fixpoint theorem by which every function, on and to the family of all subsets of a set, which is increasing under set-theoretical inclusion has at least one fixpoint; see [6], where some applications of this result in set theory (a generalization of the Cantor–Bernstein theorem) and topology are also mentioned. A generalization of this result is the lattice-theoretical fixpoint theorem stated above. The theorem in its present form and its various applications and extensions were found by the author in 1939 and discussed by him in a few public lectures in 1939–1942.

The fundamental paper of Tarski [11] presents two fixed point theorems for isotone maps of complete lattices. The first one extends considerably the original result of Knaster and Tarski, and claims the existence of smallest and greatest fixed points. The second theorem formulates an analogous statement for a commuting family of isotone maps. Then several applications are given, among others, generalizations of the Weierstrass Theorem and the Cantor–Bendixson Theorem. Results in the theory of Boolean algebras are also presented.

Consider the union of the upper half-fixed points and the intersection of the lower half-fixed points of an isotone map \(T{:}\,\mathscr {P}(X)\rightarrow \mathscr {P}(X)\):

$$\begin{aligned} \mathscr {A}:= & {} \{H\subseteq X\mid H\subseteq T(H)\},\qquad A:=\cup \mathscr {A};\\ \mathscr {B}:= & {} \{H\subseteq X\mid T(H)\subseteq H\},\qquad B:=\cap \mathscr {B}. \end{aligned}$$

The standard proof of the Knaster–Tarski Theorem, for example, as Shapiro [9] presents, is to show that A is a fixed point of T. This proof can directly be adopted to show the fixed point property of B. In fact, the first proof shows the existence of the greatest, while the second one the existence of the smallest fixed point implicitly.

The famous Hungarian journal, the Mathematical and Physical Journal for Secondary Schools, posed problems called ‘hors concours’ between 1973 and 1984. One of them, labeled P. 329, was the Knaster–Tarski Theorem. Only three solutions arrived, and two of them were correct. The presented solution follows the nonstandard way [10], showing that B (see above) is a fixed point. The problem itself does not claim the minimum property.

Of course, our set-theoretic approach in itself is not sufficient to show the nice geometrical properties of fractals. However, as we have pointed out in the motivations, at least it opens a window to the role of fixed point theory. Therefore, we hope, this note will have some didactic impact. For those who are interested in fixed point theory and its applications, we refer to the works of Granas and Dugundji [3], of Shapiro [9] and of Zeidler [12].