Diagonals separating the square of a continuum
Authors:
Alejandro Illanes,
Verónica Martínez-de-la-Vega,
Jorge M. Martínez-Montejano,
Daria Michalik
Abstract:
A metric continuum $X$ is indecomposable if it cannot be put as the union of two of its proper subcontinua. A subset $R$ of $X$ is said to be continuumwise connected provided that for each pair of points $p,q\in R$, there exists a subcontinuum $M$ of $X$ such that $\{p,q\}\subset M\subset R$. Let $X^{2}$ denote the Cartesian square of $X$ and $Δ$ the diagonal of $X^{2}$. In \cite{ka} it was asked…
▽ More
A metric continuum $X$ is indecomposable if it cannot be put as the union of two of its proper subcontinua. A subset $R$ of $X$ is said to be continuumwise connected provided that for each pair of points $p,q\in R$, there exists a subcontinuum $M$ of $X$ such that $\{p,q\}\subset M\subset R$. Let $X^{2}$ denote the Cartesian square of $X$ and $Δ$ the diagonal of $X^{2}$. In \cite{ka} it was asked if for a continuum $X$, distinct from the arc, $X^{2}\setminus Δ$ is continuumwise connected if and only if $X$ is decomposable. In this paper we show that no implication in this question holds. For the proof of the non-necessity, we use the dynamic properties of a suitable homeomorphism of the Cantor set onto itself to construct an appropriate indecomposable continuum $X$.
△ Less
Submitted 19 December, 2022;
originally announced December 2022.
The hyperspace of non-cut subcontinua of graphs and dendrites
Authors:
Rodrigo Hernández-Gutiérrez,
Verónica Martínez-de-la-Vega,
Jorge M. Martínez-Montejano,
Jorge E. Vega
Abstract:
Given a continuum $X$, let $C(X)$ denote the hyperspace of all subcontinua of $X$. In this paper we study the Vietoris hyperspace $NC^{*}(X)=\{ A \in C(X):X\setminus A\text{ is connected}\}$ when $X$ is a finite graph or a dendrite; in particular, we give conditions under which $NC^{*}(X)$ is compact, connected, locally connected or totally disconnected. Also, we prove that if $X$ is a dendrite an…
▽ More
Given a continuum $X$, let $C(X)$ denote the hyperspace of all subcontinua of $X$. In this paper we study the Vietoris hyperspace $NC^{*}(X)=\{ A \in C(X):X\setminus A\text{ is connected}\}$ when $X$ is a finite graph or a dendrite; in particular, we give conditions under which $NC^{*}(X)$ is compact, connected, locally connected or totally disconnected. Also, we prove that if $X$ is a dendrite and the set of endpoints of $X$ is dense, then $NC^{*}(X)$ is homeomorphic to the Baire space of irrational numbers.
△ Less
Submitted 21 March, 2023; v1 submitted 12 August, 2021;
originally announced August 2021.