Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

What are the most general criteria we can impose on a locally path connected Hausdorff space $X$ and a path connected subset $A$ such that $\overline{A}$ is path connected? Do more restrictions need to be imposed on $X$ or $A$?

For instance, I know that if $\overline{A}$ is locally path connected then $\overline{A}$ is path connected; for all $x \in \overline{A}$ and some neighborhood $U$ of $x$ that is open in $\overline{A}$, there must be some path connected neighborhood $U' \subseteq U$ of $x$ that is open in $\overline{A}$. That is, there is some open subset $V'$ of $X$ such that $U' = V' \cap \overline{A}$. Since $x$ is a point of closure of $A$, $V'$ must contain some point $x' \in A \subseteq \overline{A}$, i.e. $x' \in U'$, so $x$ is path connected to $x'$ and hence also to $A$. This holds for all $x \in \overline{A}$ so $\overline{A}$ is path connected.

However, the tough part is proving that $\overline{A}$ is locally path connected, because $\overline{A}$ is probably (?) not open in $X$. I'm a complete novice so the only useful thing I know from browsing definitions is that all open subsets of a locally path connected space inherit the local path connectivity. Are there more ways to prove that a subspace inherits local path connectedness?

This is more specific, but would it help if I knew that $A$ was the set difference of two closed sets (i.e. the intersection of a closed set and an open set)?

I've been looking at stronger restrictions such as $X$ being locally simply connected, but the online documentation is scarce. Would local simple connectivity be "inherited more easily" by subspaces?

share|improve this question
7  
I don't think you'll get far imposing conditions on $X$: $\mathbb{R}^2$ is about as nice a space as you could wish for, but $A=\{(x,\sin(1/x))| x \in (0,1) \}$ still gives a counterexample. Here $A$ is homeomorphic to $\mathbb{R}$, another very nice space, suggesting imposing conditions on the topology of $A$ won't help either. It looks like you really do need conditions specifically on how $A$ sits in $X$. –  Chris Eagle Jun 25 '12 at 14:34
    
@ChrisEagle: IMO that example is decisive enough to be an answer... oh except that now the question has been edited. I wonder if this is not really just two questions, now. –  Ben Millwood Jun 25 '12 at 14:49
    
Good point, I guess I really have to prove some restrictions on $\overline{A}$ to exclude pathological cases such as the Topologist's Sine Curve (in fact, I'd prefer working on $A \cup \{x\}$, where $x \in \overline{A}$), such as local path connectivity (which I can't prove easily) or local simple path connectivity (which I don't fully understand). –  Herng Yi Jun 25 '12 at 14:50
    
Considering the edit, the problem in Chris' counterexample is not that the function doesn't exist, but that it fails to be continuous, which sounds like it would be hard to prove in generality. –  Ben Millwood Jun 25 '12 at 14:50
    
Sorry for the change, but the initial question was to give a sufficient condition to construct the $p$ I mention in my edits. The second half of the question now contains another attempt at the same construction. –  Herng Yi Jun 25 '12 at 14:52
show 12 more comments

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.