Concerning preservation of chainability upon taking a preimage under \(z \mapsto z^{2}\) (Q616942)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Concerning preservation of chainability upon taking a preimage under \(z \mapsto z^{2}\) |
scientific article |
Statements
Concerning preservation of chainability upon taking a preimage under \(z \mapsto z^{2}\) (English)
0 references
12 January 2011
0 references
Let \(X\) be an arc in the complex plane \(\mathbb C\) with \(0\) as an endpoint. Then the preimage of \(X\) under \(f(z)=z^2\) is also an arc, and the endpoints of \(f^{-1}(X)\) are the points in the preimage of the nonzero endpoint of \(X\). The author studies necessary and sufficient conditions under which a chainable continuum in \(\mathbb C\) has chainable preimage under \(f\). Explicitly, the author proves the following theorems. Let \(p\) be a point in a planar continuum \(X\). The point \(p\) is accessible if there is an arc \(\alpha\) in \(\bar{\mathbb C}\) which only intersects \(X\) at \(p\). Theorem. Let \(f(z)=z^2\). Let \(X\) be an embedding of a chainable planar continuum in \(\mathbb C\) such that \(0\) is an endpoint of \(X\). If \(0\) is accessible, then \(f^{-1}(X)\) is chainable. Let \(X\) be an embedding of a chainable planar continuum in \(\mathbb C\) with \(p\) as an endpoint. Then \(p\) is a strong endpoint of \(X\) if for every \(\varepsilon >0\), there is an \(\varepsilon\)-chain covering \(X\) whose links are convex, such that \(p\) is in an end-link of the chain. Theorem. Let \(f(z)=z^2\). Let \(X\) be an embedding of a chainable planar continuum in \(\mathbb C\) such that \(0\) is a strong endpoint of \(X\). If \(0\) is accessible, then \(f^{-1}(X)\) is chainable. Theorem. Let \(f(z)=z^2\). Let \(X\) be an embedding of a chainable planar continuum in \(\mathbb C\). If \(f^{-1}(X)\) is chainable and \(y\) is an endpoint of \(f^{-1}(X)\), then \(f(y)\) is an endpoint of \(X\). The author also gives an example of a chainable continuum \(X\) with \(0\) as an endpoint such that \(f^{-1}(X)\) is not chainable.
0 references
topology
0 references
continuum theory
0 references
chainable
0 references
complex plane
0 references
preimage
0 references