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$ May 3, 2017 at 21:03
  • $\begingroup$ Doesn't this follow easily from the compactness of $C$? $\endgroup$
    – user43326
    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
    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$ May 5, 2017 at 5:48
  • $\begingroup$ Thank you, this is nice. Is it really standard? $\endgroup$
    – erz
    May 5, 2017 at 7:22
  • $\begingroup$ @erz As for me yes, standard, nothing deep or special :) $\endgroup$ May 5, 2017 at 7:30
  • $\begingroup$ perhaps you also know an answer to this question? mathoverflow.net/questions/99712/… $\endgroup$
    – erz
    May 5, 2017 at 8:02

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.