Classification of Compact One-Manifolds/Lemma 3

This article needs to be linked to other articles. In particular: throughout You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{MissingLinks}} from the code.

Lemma for Classification of Compact One-Manifolds

Let $L$ be a subset of $X$ diffeomorphic to an open interval in $\R$, where $\dim X = 1$.

Then the closure $\map \cl L$ contains at most two points not in $L$.

Proof

Let $g$ be a diffeomorphism:

$g: \openint a b \to L$

Let $p \in \map \cl L \setminus L$.

Let $J$ be a closed subset of $X$ diffeomorphic to $\closedint 0 1$ such that:

$1$ corresponds to $p$

$0$ corresponds to some $\map g t$ in $L$.

Consider the set $\set {s \in \openint a t: \map g s \in J}$.

This set is both open and closed in $\openint a b$.

Hence $J$ contains either $g \sqbrk {\openint a t}$ or $g \sqbrk {\openint t b}$.

$\blacksquare$

This article needs proofreading. Please check it for mathematical errors. If you believe there are none, please remove {{Proofread}} from the code. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Proofread}} from the code.