Showing 1–11 of 11 results for author: Tymchatyn, E

Buried points of plane continua

Authors: David Lipham, Jan van Mill, Murat Tuncali, Ed Tymchatyn, Kirsten Valkenburg

Abstract: Sets on the boundary of a complementary component of a continuum in the plane have been of interest since the early 1920's. Curry and Mayer defined the buried points of a plane continuum to be the points in the continuum which were not on the boundary of any complementary component. Motivated by their investigations of Julia sets, they asked what happens if the set of buried points of a plane cont… ▽ More Sets on the boundary of a complementary component of a continuum in the plane have been of interest since the early 1920's. Curry and Mayer defined the buried points of a plane continuum to be the points in the continuum which were not on the boundary of any complementary component. Motivated by their investigations of Julia sets, they asked what happens if the set of buried points of a plane continuum is totally disconnected and non-empty. Curry, Mayer and Tymchatyn showed that in that case the continuum is Suslinian, i.e. it does not contain an uncountable collection of non-degenerate pairwise disjoint subcontinua. In an answer to a question of Curry et al, van Mill and Tuncali constructed a plane continuum whose buried point set was totally disconnected, non-empty and one-dimensional at each point of a countably infinite set. In this paper we show that the van Mill-Tuncali example was best possible in the sense that whenever the buried set is totally disconnected, then it is one-dimensional at each of at most countably many points. As a corollary we find that the buried set cannot be almost zero-dimensional unless it is zero-dimensional. We also construct locally connected van Mill-Tuncali type examples. △ Less

Submitted 4 February, 2024; v1 submitted 18 January, 2024; originally announced January 2024.

Comments: 7 pages, 2 figures

MSC Class: 37B45; 54F15; 54F45

Journal ref: Can. Math. Bull. 68 (2025) 451-460

Inverse systems with simplicial bonding maps and cell structures

Authors: Wojciech Dębski, Kazuhiro Kawamura, Murat Tuncalı, E. D. Tymchatyn

Abstract: For a topologically complete space $X$ and a family of closed covers $\mathcal A$ of $X$ satisfying a "local refinement condition" and a "completeness condition," we give a construction of an inverse system $\mathbf{ N}_{\mathcal A}$ of simplicial complexes and simplicial bonding maps such that the limit space $N_{\infty} = \varprojlim \mathbf{N}_{\mathcal A}$ is homotopy equivalent to $X$. A conn… ▽ More For a topologically complete space $X$ and a family of closed covers $\mathcal A$ of $X$ satisfying a "local refinement condition" and a "completeness condition," we give a construction of an inverse system $\mathbf{ N}_{\mathcal A}$ of simplicial complexes and simplicial bonding maps such that the limit space $N_{\infty} = \varprojlim \mathbf{N}_{\mathcal A}$ is homotopy equivalent to $X$. A connection with cell structures [2],[3] is discussed △ Less

Submitted 26 July, 2019; originally announced July 2019.

MSC Class: Primary: 54C05; 54B35; 54D30; 54E15. Secondary: 78A70

Shortest paths in arbitrary plane domains

Authors: L. C. Hoehn, L. G. Oversteegen, E. D. Tymchatyn

Abstract: Let $Ω$ be a connected open set in the plane and $γ: [0,1] \to \overlineΩ$ a path such that $γ((0,1)) \subset Ω$. We show that the path $γ$ can be ``pulled tight'' to a unique shortest path which is homotopic to $γ$, via a homotopy $h$ with endpoints fixed whose intermediate paths $h_t$, for $t \in [0,1)$, satisfy $h_t((0,1)) \subset Ω$. We prove this result even in the case when there is no path… ▽ More Let $Ω$ be a connected open set in the plane and $γ: [0,1] \to \overlineΩ$ a path such that $γ((0,1)) \subset Ω$. We show that the path $γ$ can be ``pulled tight'' to a unique shortest path which is homotopic to $γ$, via a homotopy $h$ with endpoints fixed whose intermediate paths $h_t$, for $t \in [0,1)$, satisfy $h_t((0,1)) \subset Ω$. We prove this result even in the case when there is no path of finite Euclidean length homotopic to $γ$ under such a homotopy. For this purpose, we offer three other natural, equivalent notions of a ``shortest'' path. This work generalizes previous results for simply connected domains with simple closed curve boundaries. △ Less

Submitted 15 March, 2019; originally announced March 2019.

MSC Class: Primary 54F50; Secondary 51M25

Extension of isotopies in the plane

Authors: L. C. Hoehn, L. G. Oversteegen, E. D. Tymchatyn

Abstract: Let $A$ be any plane set. It is known that a holomorphic motion $h: A \times \mathbb{D} \to \mathbb{C}$ always extends to a holomorphic motion of the entire plane. It was recently shown that any isotopy $h: X \times [0,1] \to \mathbb{C}$, starting at the identity, of a plane continuum $X$ also extends to an isotopy of the entire plane. Easy examples show that this result does not generalize to all… ▽ More Let $A$ be any plane set. It is known that a holomorphic motion $h: A \times \mathbb{D} \to \mathbb{C}$ always extends to a holomorphic motion of the entire plane. It was recently shown that any isotopy $h: X \times [0,1] \to \mathbb{C}$, starting at the identity, of a plane continuum $X$ also extends to an isotopy of the entire plane. Easy examples show that this result does not generalize to all plane compacta. In this paper we will provide a characterization of isotopies of uniformly perfect plane compacta $X$ which extend to an isotopy of the entire plane. Using this characterization, we prove that such an extension is always possible provided the diameters of all components of $X$ are uniformly bounded away from zero. △ Less

Submitted 16 August, 2018; originally announced August 2018.

Comments: 33 pages

MSC Class: 57N37 (Primary) 54C20; 57N05 (Secondary) 54F15

A canonical parameterization of paths in $\mathbb{R}^n$

Authors: L. C. Hoehn, L. G. Oversteegen, E. D. Tymchatyn

Abstract: For sufficiently tame paths in $\mathbb{R}^n$, Euclidean length provides a canonical parametrization of a path by length. In this paper we provide such a parametrization for all continuous paths. This parametrization is based on an alternative notion of path length, which we call $\mathsf{len}$. Like Euclidean path length, $\mathsf{len}$ is invariant under isometries of $\mathbb{R}^n$, is monotone… ▽ More For sufficiently tame paths in $\mathbb{R}^n$, Euclidean length provides a canonical parametrization of a path by length. In this paper we provide such a parametrization for all continuous paths. This parametrization is based on an alternative notion of path length, which we call $\mathsf{len}$. Like Euclidean path length, $\mathsf{len}$ is invariant under isometries of $\mathbb{R}^n$, is monotone with respect to sub-paths, and for any two points in $\mathbb{R}^n$ the straight line segment between them has minimal $\mathsf{len}$ length. Unlike Euclidean path length, the $\mathsf{len}$ length of any path is defined (i.e., finite) and $\mathsf{len}$ is continuous relative to the uniform distance between paths. We use this notion to obtain characterizations of those families of paths which can be reparameterized to be equicontinuous or compact. Finally, we use this parametrization to obtain a canonical homeomorphism between certain families of arcs. △ Less

Submitted 12 September, 2016; v1 submitted 25 January, 2013; originally announced January 2013.

Comments: 19 pages, 1 figure

MSC Class: Primary 54F15; Secondary 54C20; 54F50

Fixed point theorems in plane continua with applications

Authors: Alexander M. Blokh, Robbert J. Fokkink, John C. Mayer, Lex G. Oversteegen, E. D. Tymchatyn

Abstract: We present proofs of basic results, including those developed by Harold Bell, for the plane fixed point problem: does every map of a non-separating plane continuum have a fixed point? Some of these results had been announced much earlier by Bell but without accessible proofs. We define the concept of the variation of a map on a simple closed curve and relate it to the index of the map on that curv… ▽ More We present proofs of basic results, including those developed by Harold Bell, for the plane fixed point problem: does every map of a non-separating plane continuum have a fixed point? Some of these results had been announced much earlier by Bell but without accessible proofs. We define the concept of the variation of a map on a simple closed curve and relate it to the index of the map on that curve: Index = Variation + 1. A fixed point theorem for positively oriented, perfect maps of the plane is obtained. This generalizes results announced by Bell in 1982. A continuous map of an interval to the real line which sends the endpoints in opposite directions has a fixed point. We generalize this to maps on non-invariant continua in the plane under positively oriented maps of the plane (with appropriate boundary conditions). These methods imply that in some cases non-invariant continua in the plane are degenerate. This has important applications in complex dynamics. E.g., a special case of our results shows that if $X$ is a non-separating invariant subcontinuum of the Julia set of a polynomial $P$ containing no fixed Cremer points and exhibiting no local rotation at all fixed points, then $X$ must be a point. It follows that impressions of some external rays to polynomial Julia sets are degenerate. △ Less

Submitted 12 January, 2012; v1 submitted 1 April, 2010; originally announced April 2010.

Comments: 107 pages, 10 figures; the preprint expands and combines several earlier preprints; to appear in the Memoirs of the American Mathematical Society

MSC Class: 37C25; 54H25 (Primary) 37F10; 37F50; 37B45; 37F10; 54C10 (Secondary)

Journal ref: Memoirs of the AMS, vol. 224 (2013), no. 1053

Extending Isotopies of Planar Continua

Authors: Lex G. Oversteegen, E. D. Tymchatyn

Abstract: In this paper we solve the following problem in the affirmative: Let $Z$ be a continuum in the plane $\complex$ and suppose that $h:Z\times [0,1]\to\complex$ is an isotopy starting at the identity. Can $h$ be extended to an isotopy of the plane? We will provide a new characterization of an accessible point in a planar continuum $Z$ and use it to show that an accessible point is preserved durin… ▽ More In this paper we solve the following problem in the affirmative: Let $Z$ be a continuum in the plane $\complex$ and suppose that $h:Z\times [0,1]\to\complex$ is an isotopy starting at the identity. Can $h$ be extended to an isotopy of the plane? We will provide a new characterization of an accessible point in a planar continuum $Z$ and use it to show that an accessible point is preserved during the isotopy. We show next that the isotopy can be extended over hyperbolic crosscuts. The proof makes use of the notion of a metric external ray, which mimics the notion of a conformal external ray, but is easier to control during an isotopy. △ Less

Submitted 3 November, 2008; originally announced November 2008.

Comments: 23 pages, 1 figure

MSC Class: 57N37 (Primary); 57N05 (Secondary)

Characterizing indecomposable plane continua from their complements

Authors: Clinton P. Curry, John C. Mayer, E. D. Tymchatyn

Abstract: We show that a plane continuum X is indecomposable iff X has a sequence (U_n) of not necessarily distinct complementary domains satisfying what we call the double-pass condition: If one draws an open arc A_n in each U_n whose ends limit into the boundary of U_n, one can choose components of U_n minus A_n whose boundaries intersected with the continuum (which we call shadows) converge to the cont… ▽ More We show that a plane continuum X is indecomposable iff X has a sequence (U_n) of not necessarily distinct complementary domains satisfying what we call the double-pass condition: If one draws an open arc A_n in each U_n whose ends limit into the boundary of U_n, one can choose components of U_n minus A_n whose boundaries intersected with the continuum (which we call shadows) converge to the continuum. △ Less

Submitted 21 May, 2008; originally announced May 2008.

Comments: 11 pages, 3 figures. To appear in Proceedings of the American Mathematical Society

MSC Class: 54F15 (Primary); 37F20 (Secondary)

Journal ref: Proceedings of the American Mathematical Society. Volume 136, Number 11, November 2008, Pages 4045--4055.

The plane fixed point problem

Authors: Robbert J. Fokkink, John C. Mayer, Lex G. Oversteegen, E. D. Tymchatyn

Abstract: In this paper we present proofs of basic results, including those developed so far by H. Bell, for the plane fixed point problem. Some of these results had been announced much earlier by Bell but without accessible proofs. We define the concept of the variation of a map on a simple closed curve and relate it to the index of the map on that curve: Index = Variation + 1. We develop a prime end the… ▽ More In this paper we present proofs of basic results, including those developed so far by H. Bell, for the plane fixed point problem. Some of these results had been announced much earlier by Bell but without accessible proofs. We define the concept of the variation of a map on a simple closed curve and relate it to the index of the map on that curve: Index = Variation + 1. We develop a prime end theory through hyperbolic chords in maximal round balls contained in the complement of a non-separating plane continuum $X$. We define the concept of an {\em outchannel} for a fixed point free map which carries the boundary of $X$ minimally into itself and prove that such a map has a \emph{unique} outchannel, and that outchannel must have variation $=-1$. We also extend Bell's linchpin theorem for a foliation of a simply connected domain, by closed convex subsets, to arbitrary domains in the sphere. We introduce the notion of an oriented map of the plane. We show that the perfect oriented maps of the plane coincide with confluent (that is composition of monotone and open) perfect maps of the plane. We obtain a fixed point theorem for positively oriented, perfect maps of the plane. This generalizes results announced by Bell in 1982 (see also \cite{akis99}). It follows that if $X$ is invariant under an oriented map $f$, then $f$ has a point of period at most two in $X$. △ Less

Submitted 20 October, 2008; v1 submitted 8 May, 2008; originally announced May 2008.

Comments: 50 pages, 4 figures Version 2: 52 pages 5 figures. Corrected authors, added picture, expanded and simplified some arguments

MSC Class: 54F20

On intersection of simply connected sets in the plane

Authors: E. D. Tymchatyn, V. Valov

Abstract: Several authors have recently attempted to show that the intersection of three simply connected subcontinua of the plane is simply connected provided it is non-empty and the intersection of each two of the continua is path connected. In this note we give a very short complete proof of this fact. We also confirm a related conjecture of Karimov and Repovs. Several authors have recently attempted to show that the intersection of three simply connected subcontinua of the plane is simply connected provided it is non-empty and the intersection of each two of the continua is path connected. In this note we give a very short complete proof of this fact. We also confirm a related conjecture of Karimov and Repovs. △ Less

Submitted 3 January, 2005; v1 submitted 20 September, 2004; originally announced September 2004.

Comments: 4 pages

MSC Class: 54C55; Secondary: 55M15; 54F15

On simultaneous linear extensions of partial (pseudo)metrics

Authors: E. D. Tymchatyn, M. Zarichnyi

Abstract: We consider the question of simultaneous extension of (pseudo)metrics defined on nonempty closed subsets of a compact metrizable space. The main result is a counterpart of the result due to Künzi and Shapiro for the case of extension operators of partial continuous functions and includes, as a special case, Banakh's theorem on linear regular operators extending (pseudo)metrics. We consider the question of simultaneous extension of (pseudo)metrics defined on nonempty closed subsets of a compact metrizable space. The main result is a counterpart of the result due to Künzi and Shapiro for the case of extension operators of partial continuous functions and includes, as a special case, Banakh's theorem on linear regular operators extending (pseudo)metrics. △ Less

Submitted 15 November, 2002; v1 submitted 13 November, 2002; originally announced November 2002.

Comments: 10 pages

MSC Class: 54E35; 54C20; 54E40