## Locally Euclidean Spaces

We wish to begin discussing the concept of manifolds (the motivation and definition will be given in a subsequent post). We have covered to a degree much more than is necessary all the concepts need to define a manifold except one. Namely, the concept of a space being “locally Euclidean”. Intuitively a locally Euclidean space of dimension is one that “looks like” on a small enough scale. Consider our planet, it is locally Euclidean of dimension for although it is embedded in to us it looks like thus giving the age-old misconception that the world is flat. It is clear (intuitively) then that the unit sphere is locally euclidean of dimension although it is not homeomorphic to any Euclidean space (since it is compact and any Euclidean space is not). Another concrete example is with the usual topology. Clearly, given any point in this space we can find a neighborhood contained in either of these components which then clearly looks like . Once again this space is not homeomorphic to since it is not connected.

Enough with the motivation, let’s move onto the formal definitions.

**Locally Euclidean of Dimension : **Let be a topological space such that for every there exists some neighborhood of which may embedded as an open set in . In, other words there exists some homeomorphism where is open.

**Chart:** If is open and is a homeomorphism where is open we call the ordered pair a *chart* on and if we call it a *chart* at .

*Remark:* It is clear from the above that a space is locally Euclidean if and only if there is chart at every point of .

We first show that being an open set may be replaced with either an open ball or itself.

**Theorem:** Let be locally Euclidean, then given any there exists some neighborhood of such that for some .

**Proof:** Let be arbitrary. Since is locally Euclidean there exists neighborhood of such that there exists some homeomorphism where is open. But, since is open and there exists some . It follows that if that is a homeomorphism. The conclusion follows. .

**Corollary:** Since every open ball in is homeomorphic to the above is still valid if is replaced with .

It turns out that the property of being locally Euclidean is inherited by open subspaces as is shown in the following:

**Theorem:** Let be a locally Euclidean space of dimension and an open subspace of , then is locally Euclidean of dimension .

**Proof: **Let be arbitrary. Then, by ‘s assumed local Euclidean property there exists some neighborhood of such that there exists some homeomorphism . Clearly then is an open neighborhood of in and is the desired homeomorphism. .

It is of course natural to ask under what conditions does a map preserve the property of being locally Euclidean. It should come as a surprise to no one that being locally Euclidean is invariant under homeomorphism. But, as with most topological properties there is a weaker condition for this to be true. But before we may give it in it’s fullest generality we need a new definition.

**Local Homeomorphism:** If are topological spaces and a continuous map such that for every there exists some neighborhood of such that is a homeomorphism and is open in . If so, we say that and are *locally homeomorphic* (symbolized by and is called a *local homeomorphism.*

**Theorem:** Let be a local homeomorphism, then is open.

**Proof:** Let be open and let . By assumption there exists some neighborhood of such that is open in and is a homeomorphism. Clearly then we have that is an open subspace of and thus by assumption is an open subset of . But, since is a subspace we know that for some open set in . It follows that is open in . But, this means that is a neighborhood of contained in . The conclusion follows.

**Theorem:** Let be a locally Euclidean space of dimension . Then, if is a surjective local homeomorphism, then is a locally Euclidean space of dimension .

**Proof:** Let be arbitrary. By assumption there exists some of such that is a homeomorphism and is open in . But, by assumption there also exists some neighborhood of , some open set in , and some which is a homeomorphism. Clearly then is an open subspace of and thus using previous methods we see that is a neighborhood of in . But, clearly since is open we also have that is a homeomorphism and is open (this is clear it is an open subset of the open subspace ). It follows that is a neighborhood of and is a homeomorphism with an open subset of . The conclusion follows. .

*Remark:* A similar idea will appear later when we discuss overlap maps. Also, the idea of local homeomorphisms is much richer than what we have shown here. Maybe one day we will explore the concept in its entirety.

The next theorem should come as a surprise to no one.

**Theorem:** Let be a finite number of topological spaces such that is locally Euclidean of dimension for each . Then, under the product topology is locally Euclidean of dimension .

**Proof:** Let be arbitrary. By assumption there exists a neighborhood of and a homeomorphism where is open. Clearly then is a neighborhood of and and open subset of . It follows from an old theorem that given by

or equivalently (if it’s hard to picture)

is a homeomorphism (since it’s the product of homeomorphisms). The conclusion follows

We now discuss particularly nice theorem regarding a base that can be imposed on . But, first a definition.

**Euclidean Ball (E.B.):** Let be a locally Euclidean space of dimension and let be open and such that where is an open ball. Then, we call a *Euclidean ball (E.B)*.

Our next theorem in effect says that the Euclidean balls are sufficient to describe ‘s topology.

**Theorem:** Let be a locally Euclidean space of dimension then has an open base consisting entirely of E.B.s

**Proof:** Let , we have by assumption there exists some neighborhood of such that for some open ball , and let be the associated homeomorphism. Define then and . It is clear that each element of is an open subspace of but since is open we have that it is an open subspace of . Furthermore, it is not to hard to see that given some that is a homeomorphism. Thus, each element of is an E.B. Finally, let . It is clear that is a collection of E.B.s in it remains to show that is a base.

To see this let be arbitrary and any neighborhood of it. Letting the notation be as in the previous paragraph we have that is an open subspace of and so is an open subspace of and so there exists some such that . It follows that and . The conclusion follows.

It is not surprising that most of the “local properties” of are inherited by locally Euclidean spaces. While we will discuss most of them in subsequent posts we prove one here.

**Theorem:** Let be locally Euclidean of dimension . Then, is first countable.

**Proof:** Let be arbitrary and let be as in the last theorem. Then, just as before there exists some such that . By the Archimedean principle there exists some such that . Define

Clearly so it remains to show that it is an open base at . To do this let be any neighborhood of . Clearly then is a neighborhood of contained in . Thus, we have that is open in and so there exists some such that . Thus, appealing to the Archimedean principle again we may find some such that . Clearly then and since it’s also in the conclusion follows.

This ends our discussion for now. Next time we will talk about manifolds.

No comments yet.

## Leave a Reply