9
$\begingroup$

Let $M$ be an $n$-dimensional topological manifold, and let $(U_k)_{k \in \mathbb{N}}$ be an increasing sequence of open sets $U_k \subset M$ such that for each $k \in \mathbb{N}$, $U_k$ is homeomorphic to $\mathbb{R}^n$. Is it necessarily the case that $\,U\!:=\bigcup_{k=1}^\infty U_k\,$ is homeomorphic to $\mathbb{R}^n$?

If so, does anyone know any nice reference for this fact (either as a theorem/lemma/etc. or as an exercise)?

$\endgroup$
4
  • $\begingroup$ Cannot you write $\mathbb{R}^2 \setminus \{(0,0)\}$ as such a union? $\endgroup$
    – Henno Brandsma
    Nov 18, 2015 at 4:30
  • $\begingroup$ @HennoBrandsma: No. In such a limit, $\pi_k(M) = \lim \pi_k(U_n)$, so $M$ is automatically contractible. $\endgroup$
    – user98602
    Nov 18, 2015 at 4:34
  • $\begingroup$ Because every curve lies entirely within one $U_k$ by compactness, I see. $\endgroup$
    – Henno Brandsma
    Nov 18, 2015 at 4:36
  • $\begingroup$ Right (and every homotopy between such too). The claim in the OP should be true by the annulus theorem but I haven't checked the details. $\endgroup$
    – user98602
    Nov 18, 2015 at 4:38

1 Answer 1

Reset to default
4
$\begingroup$

Yes, this is correct. You could prove it as a corollary of the annulus theorem (sketch of a sketch: at each stage the closure $\overline U_n$ is an open $n$-ball, and you're attaching an annulus, and the limit of this procedure is $\Bbb R^n$), but this wasn't known in all dimensions until the 80s. An early proof of this theorem was given in 1961 by Morton Brown here; it appears to use a modification of the above idea and fact, though I have not at all read it in detail. It appears that this was been known slightly earlier as a corollary of Mazur's proof of the topological Schoenflies theorem.

$\endgroup$
1
  • $\begingroup$ As stated this proof is false since there's no reason the closure should be a ball (and obvious not an open one). But if the closure of each is contained in the next, and you have a homeomorphism $U_n \to \Bbb R^n$ you can pull back a sufficiently large closed ball in the latter and consider an increasing sequence of those and apply the annulus theorem. $\endgroup$
    – user98602
    Jul 25, 2016 at 2:28

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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