5
$\begingroup$

I'm very stuck on the following exercise in the book "A Comprehensive Introduction to Differential Geometry V.1" by Michael Spivak: Let $M^m$ be a smooth connected non-compact manifold. Show that $M$ is the union of a sequence of open sets $U_n$ with the following properties:

  1. $U_n \cap U_{n+1}$ is non-empty for all $n$
  2. For every compact set $C \subset M$ there is $N$ such that $U_n \cap C$ is empty for all $n>N$
  3. $U_n$ is diffeomorphic to $\mathbb{R}^m$ for all $n$.

Any help would be greatly appreciated. Thank you.

  • 0
    Seems difficult... one can easily get a countable covering by precompact balls diffeomorphic to $\mathbb{R}^m$, but I don't see how to satisfy property 1. I'm even having trouble seeing how to do it on the cylinder $\mathbb{R} \times S^1$.2013-08-19
  • 2
    @AnthonyCarapetis Indeed, since $\{0\}\times S^1$ is a compact subset, the sets $U_n$ will be disjoint from it for large $n $; this implies either $U_n\subset (0,\infty)\times S^1$ for all $n>N$, or $U_n\subset (-\infty,0)\times S^1$ for all $n>N$. I begin to wonder if the exercise statement is misquoted.2013-08-20
  • 0
    @user89499: Right, so that starting point is useless. Your observation means that all but one of the ends of the manifold must be covered by non-compact $U_n$... still seems feasible but I have no idea how to attack it.2013-08-20

1 Answers 1