4
$\begingroup$

Let $X$ be a locally connected topological space, which is covered by open sets $\{U_{\alpha},\alpha\in A\}$ and let $C$ be an arc in $X$, i.e. a homeomorphic image of an interval.

Is it always possible to choose open sets $V_1,...,V_n$ that cover $C$ and such that

  • Each $V_i$ is contained in some $U_{\alpha}$,

  • $V_i\bigcap V_j=\varnothing$, whenever $|i-j|>1$ and

  • $V_i\bigcap V_j$ is connected, whenever $|i-j|\le 1$?

If not always then what should be assumed about $X$?

$\endgroup$
2
  • $\begingroup$ I guess you want the V_i's to cover C, is that right? $\endgroup$ Commented May 3, 2017 at 21:03
  • $\begingroup$ Doesn't this follow easily from the compactness of $C$? $\endgroup$
    – user43326
    Commented May 4, 2017 at 9:14

1 Answer 1

4
$\begingroup$

The answer is ``yes'' if $X$ is Hausdorff.

We can identify the arc $C$ with the unit interval $[0,1]$ and assume that $[0,1]$ is contained in $X$ and is covered by a family $\mathcal U$ of open subsets of $X$. By the compactness of $[0,1]$, there exists an increasing sequence $0=a_0<a_1<\dots<a_n=1$ of real numbers such that for every positive $i\le n$ the interval $[a_{i-1},a_{n}]$ is contained in some set $U_i\in\mathcal U$ of the cover. Using the local connectedness and the Hausdorff property of $X$, chose a sequence $(W_i)_{i=0}^n$ of pairwise disjoint open connected sets in $X$ such that $a_i\in W_i\subset U_i\cap U_{i-1}$ for all $i\in\{0,\dots,n\}$. Here we assume that $U_{0}=X$.

For every $0<i\le n$ find a compact connected subset $K_i$ in the open interval $(a_{i-1},a_{i})$ such that $[a_{i-1},a_i]\subset W_{i-1}\cup K_i\cup W_i$ and observe that the sets $K_i$, $0<i\le n$, are pairwise disjoint. Using the Hausdorff property of $X$ and the compactness of the pairwise disjoint sets $K_i$, we can find a sequence $(O_i)_{i=1}^n$ of pairwise disjoint open sets of $X$ such that $K_i\subset O_i\subset U_i$ for every $i\le n$. Moreover, since $X$ is locally connected, we can additionally assume that each open neighborhood $O_i$ of the connected set $K_i$ is connected. Finally for every positive $i\le n$ consider the open connected neighborhood $V_i=W_{i-1}\cup O_i\cup W_i$ of the segment $[a_{i-1},a_i]$ and observe that $V_i\subset U_i\in\mathcal U$. Moreover, for any $0\le i<j\le n$ if $j-i>1$, then the sets $V_i,V_j$ are disjoint and if $j-i=1$, then $V_i\cap V_j=W_i$ is conneceted.

On the other hand, some separation axioms for $X$ are necessary: it may happen that $X$ contains a special point $x^*\in X\setminus C$ contained in any non-empty open set. In this case the sets $V_i,V_j$ cannot be made disjoint.

Such pathological space can be constructing as the set $X=[0,1]\cup\{x^*\}$ where $x^*\notin[0,1]$, endowed with the topology consisting of the empty sets and sets $W\subset X$ that contain $x^*$ and have open intersection $W\cap[0,1]$ in the Euclidean topology of $[0,1]$.

$\endgroup$
7
  • $\begingroup$ Could you please elaborate on the "standard technique involving compactness and the local connectedness" or give a reference to a similar problem? I don't understand how to keep the intersections globally connected . $\endgroup$
    – erz
    Commented May 4, 2017 at 22:31
  • $\begingroup$ @ez I have added a detail proof to my answer. Please let me know if some details remain unclear. $\endgroup$ Commented May 5, 2017 at 5:48
  • $\begingroup$ Thank you, this is nice. Is it really standard? $\endgroup$
    – erz
    Commented May 5, 2017 at 7:22
  • $\begingroup$ @erz As for me yes, standard, nothing deep or special :) $\endgroup$ Commented May 5, 2017 at 7:30
  • $\begingroup$ perhaps you also know an answer to this question? mathoverflow.net/questions/99712/… $\endgroup$
    – erz
    Commented May 5, 2017 at 8:02

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .