# Differentiable Manifold minus point not compact

Suppose $X$ is an $n$-dimensional for differentiable manifold for $n \geq 1$: in our definition this is a second countable Hausdorff space with a maximal differentiable atlas. If $p \in X$ is a point, we are asked to prove that $X \backslash \{p\}$ is not compact. I don't really see why. I have had a hint to look at a chart around $p$ which somehow can be related to $D^n$ minus a point, where $D^n$ is a compact $n$-dimensional ball. However, it is required to use the Hausdorff property for this, I cannot really see how to use it here though. Any hints?

• What definition of compact are you using? There are several ways to show it. – Matt Samuel Nov 11 '14 at 19:04
• "$X$ is compact if every open cover of $X$ has a finite subcover" – Steve Nov 12 '14 at 12:47
• That's equivalent to "For any collection of closed sets, if every finite intersection of set in the collection is nonempty, then the intersection of all of them is nonempty." This is seen by taking complements. That's what is used in the answer below. – Matt Samuel Nov 12 '14 at 12:49
• Thanks for your time, I just don't really see how this uses the Hausdorff property on $X$? – Steve Nov 12 '14 at 12:55
• Hausdorff does tell you that the closed ball, being compact, is closed, and it remains relatively closed after removing a point. – Matt Samuel Nov 12 '14 at 13:02

In a chart around $p$, consider the set of all closed balls centered at $p$ of radius $1/n$ for some integer $n$. Every finite intersection of sets in this collection is nonempty but the intersection of all of them is empty. Since the manifold is Hausdorff and closed balls in the chart are compact, they are closed in the manifold. Once a point is removed, the punctured balls are closed. Thus the intersection of all these sets being empty implies the punctured manifold is not compact.
• You can also reformulate that to accommodate the definition of the OP dealing with finite subcovers, if you want (this is strictly equivalent): if $B_n = B(p,1/n) \setminus \{p\}$, then $\{X \setminus B_n\}_n$ is an open cover of $X$ that doesn't admit a finite subcover. – Najib Idrissi Nov 12 '14 at 13:58