## Local Properties of Manifolds

In this post we will discuss some of the local properties manifolds attain from dimensional Euclidean space. It should be intuitive that all of the local attributes should transfer since manifolds “locally look like Euclidean space”. We formalize them in what follows.

We start with a theorem which when put together with the definition of manifolds will give us an amazing revelation.

**Theorem:** Let be a -manifold. Then, is locally compact.

**Proof:** Let be arbitrary. As was proven earlier every manifold has an open base of Euclidean balls, and so let be the guaranteed Euclidean ball containing . So, by assumption for some open ball . So, by the regularity of there exists some open ball such that . So, is a neighborhood of in . Also,

And so, in particular

is a homeomorphism and so is compact in . Thus, is a precompact neighborhood of in . But, since compactness in a subspace implies compactness in the ambient space and is open we see that is in fact a precompact neighborhood of in . The conclusion follows.

The following corollary, to me, was astounding albeit intuitively clear.

**Corollary: **Since every locally compact Hausdorff space is regular and every second countable regular space is normal we see in particular that every manifold is second countable and normal and thus metrizable by Urysohn’s embedding theorem.

Also, it follows that every manifold which is not compact has an Alexandroff compactification.

We next discuss some issues related to local connectedness/path connectedness.

**Theorem:** Let be a -manifold. Then, is locally path connected and consequently locally connected.

**Proof:** Let be arbitrary and let be the guaranteed Euclidean ball around it. By assumption for some open ball . But, as was proven earlier every open ball in a normed vector space is convex and thus path connected. Thus, is path connected and the conclusion follows.

This was just a quick post to prove some results which are true, but need to be proven at least once.

No comments yet.

## Leave a Reply