No label defined (Q4941217)

Each point of the self-similar set \(K\) generated by a set of \(n\) contracting similitudes of a complete metric space \(X\) is labeled in a canonical way by at least one address in the space \(\Sigma\) of infinite sequences with \(n\) symbols. The coding map \(\pi: \Sigma \rightarrow K\) projects the full shift \(\sigma\) in \(\Sigma\) on the set mapping \(T:=\pi\circ\sigma\circ\pi^{-1}\). The authors define the \textit{similarity boundary} \(B\) of \(K\) as \(T(O)\), where \(O\) is the subset of points of \(K\) which possess at least two addresses in \(\Sigma\) differing in their first entry. They show that if \(T(B)\subseteq B\) and \(K\setminus B\) is not empty then the set \(K\setminus B\) is an open set in \(K\) that plays a role as separation set analogous to that played by the open sets in \(X\) satisfying the strong open set condition (SOSC), and all the nice properties derived from the SOSC stand in this case. The results of this paper are close to those by \textit{M. Morán} [Fundam. Math. 160, No.~1, 1-14 (1999; Zbl 0931.28006)], that defines the \textit{dynamical boundary} \(G\) of \(K\) as the closure of the whole forward orbit of \(O\) under \(T\). The non-emptiness of \(K\setminus G\) is then shown to be equivalent to the SOSC. If \(T(B)\subseteq B\) then \(G=B\). The method of the dynamical boundary still applies, however, in the general case when the condition \(T(B)\subseteq B\) fails to hold. For the entire collection see [Zbl 0930.00046].