- You are here
- Everything Explained.Today
- A-Z Contents
- T
- TO
- TOP
- TOPO
- TOPOL
- TOPOLO
- TOPOLOG
- Topological manifold

In topology, a branch of mathematics, a **topological manifold** is a topological space which locally resembles real *n*-dimensional Euclidean space. Topological manifolds are an important class of topological spaces, with applications throughout mathematics. All manifolds are topological manifolds by definition. Other types of manifolds are formed by adding structure to a topological manifold (e.g. differentiable manifolds are topological manifolds equipped with a differential structure). Every manifold has an "underlying" topological manifold, obtained by simply "forgetting" the added structure.^{[1]}

A topological space *X* is called **locally Euclidean** if there is a non-negative integer *n* such that every point in *X* has a neighborhood which is homeomorphic to real *n*-space **R**^{n}.^{[2]}

A **topological manifold** is a locally Euclidean Hausdorff space. It is common to place additional requirements on topological manifolds. In particular, many authors define them to be paracompact^{[3]} or second-countable.

In the remainder of this article a *manifold* will mean a topological manifold. An *n-manifold* will mean a topological manifold such that every point has a neighborhood homeomorphic to **R**^{n}.

See main article: List of manifolds.

- The real coordinate space
**R**^{n}is an*n*-manifold. - Any discrete space is a 0-dimensional manifold.
- A circle is a compact 1-manifold.
- A torus and a Klein bottle are compact 2-manifolds (or surfaces).
- The
*n*-dimensional sphere*S*^{n}is a compact*n*-manifold. - The
*n*-dimensional torus**T**^{n}(the product of*n*circles) is a compact*n*-manifold.

- Projective spaces over the reals, complexes, or quaternions are compact manifolds.
- Real projective space
**RP**^{n}is a*n*-dimensional manifold. - Complex projective space
**CP**^{n}is a 2*n*-dimensional manifold. - Quaternionic projective space
**HP**^{n}is a 4*n*-dimensional manifold.

- Real projective space
- Manifolds related to projective space include Grassmannians, flag manifolds, and Stiefel manifolds.

- Lens spaces are a class of manifolds that are quotients of odd-dimensional spheres.
- Lie groups are manifolds endowed with a group structure.

The property of being locally Euclidean is preserved by local homeomorphisms. That is, if *X* is locally Euclidean of dimension *n* and *f* : *Y* → *X* is a local homeomorphism, then *Y* is locally Euclidean of dimension *n*. In particular, being locally Euclidean is a topological property.

Manifolds inherit many of the local properties of Euclidean space. In particular, they are locally compact, locally connected, first countable, locally contractible, and locally metrizable. Being locally compact Hausdorff spaces, manifolds are necessarily Tychonoff spaces.

Adding the Hausdorff condition can make several properties become equivalent for a manifold. As an example, we can show that for a Hausdorff manifold, the notions of σ-compactness and second-countability are the same. Indeed, a Hausdorff manifold is a locally compact Hausdorff space, hence it is (completely) regular.^{[4]} Assume such a space X is σ-compact. Then it is Lindelöf, and because Lindelöf + regular implies paracompact, X is metrizable. But in a metrizable space, second-countability coincides with being Lindelöf, so X is second-countable. Conversely, if X is a Hausdorff second-countable manifold, it must be σ-compact.^{[5]}

A manifold need not be connected, but every manifold *M* is a disjoint union of connected manifolds. These are just the connected components of *M*, which are open sets since manifolds are locally-connected. Being locally path connected, a manifold is path-connected if and only if it is connected. It follows that the path-components are the same as the components.

The Hausdorff property is not a local one; so even though Euclidean space is Hausdorff, a locally Euclidean space need not be. It is true, however, that every locally Euclidean space is T_{1}.

An example of a non-Hausdorff locally Euclidean space is the line with two origins. This space is created by replacing the origin of the real line with *two* points, an open neighborhood of either of which includes all nonzero numbers in some open interval centered at zero. This space is not Hausdorff because the two origins cannot be separated.

A manifold is metrizable if and only if it is paracompact. Since metrizability is such a desirable property for a topological space, it is common to add paracompactness to the definition of a manifold. In any case, non-paracompact manifolds are generally regarded as pathological. An example of a non-paracompact manifold is given by the long line. Paracompact manifolds have all the topological properties of metric spaces. In particular, they are perfectly normal Hausdorff spaces.

Manifolds are also commonly required to be second-countable. This is precisely the condition required to ensure that the manifold embeds in some finite-dimensional Euclidean space. For any manifold the properties of being second-countable, Lindelöf, and σ-compact are all equivalent.

Every second-countable manifold is paracompact, but not vice versa. However, the converse is nearly true: a paracompact manifold is second-countable if and only if it has a countable number of connected components. In particular, a connected manifold is paracompact if and only if it is second-countable. Every second-countable manifold is separable and paracompact. Moreover, if a manifold is separable and paracompact then it is also second-countable.

Every compact manifold is second-countable and paracompact.

By invariance of domain, a non-empty *n*-manifold cannot be an *m*-manifold for *n* ≠ *m*.^{[6]} The dimension of a non-empty *n*-manifold is *n*. Being an *n*-manifold is a topological property, meaning that any topological space homeomorphic to an *n*-manifold is also an *n*-manifold.

By definition, every point of a locally Euclidean space has a neighborhood homeomorphic to an open subset of

R^{n}

R^{n}

- every point of
*M*has a neighborhood homeomorphic to an open ball in

R^{n}

- every point of
*M*has a neighborhood homeomorphic to

R^{n}

R^{n}

For any Euclidean neighborhood *U*, a homeomorphism

*\phi**:**U* → *\phi**\left**(**U**\right**)**\subset*R^{n}

Given two charts

*\phi*

*\psi*

*\psi\phi*^{-1}*:**\phi**\left**(**U**\cap**V**\right**)* → *\psi**\left**(**U**\cap**V**\right**)*

R^{n}

See main article: Discrete space.

A 0-manifold is just a discrete space. A discrete space is second-countable if and only if it is countable.

See main article: 1-manifold.

Every nonempty, paracompact, connected 1-manifold is homeomorphic either to **R** or the circle.

See main article: 2-manifold.

Every nonempty, compact, connected 2-manifold (or surface) is homeomorphic to the sphere, a connected sum of tori, or a connected sum of projective planes.^{[7]}

See main article: 3-manifold.

A classification of 3-manifolds results fromThurston's geometrization conjecture, proven by Grigori Perelman in 2003. More specifically, Perelman's results provide an algorithm for deciding if two three-manifolds are homeomorphic to each other.^{[8]}

See main article: 4-manifold and 5-manifold.

The full classification of *n*-manifolds for *n* greater than three is known to be impossible; it is at least as hard as the word problem in group theory, which is known to be algorithmically undecidable.^{[9]}

In fact, there is no algorithm for deciding whether a given manifold is simply connected. There is, however, a classification of simply connected manifolds of dimension ≥ 5.^{[10]} ^{[11]}

A slightly more general concept is sometimes useful. A **topological manifold with boundary** is a Hausdorff space in which every point has a neighborhood homeomorphic to an open subset of Euclidean half-space (for a fixed *n*):

n | |

R | |

+ |

=*\{(x*_{1,\ldots,x}_{n)}*\in*R^{n}*:**x*_{n}*\ge*0*\}.*

Every topological manifold is a topological manifold with boundary, but not vice versa.

There are several methods of creating manifolds from other manifolds.

If *M* is an *m*-manifold and *N* is an *n*-manifold, the Cartesian product *M*×*N* is a (*m*+*n*)-manifold when given the product topology.^{[12]}

The disjoint union of a countable family of *n*-manifolds is a *n*-manifold (the pieces must all have the same dimension).^{[13]}

See main article: Connected sum.

The connected sum of two *n*-manifolds is defined by removing an open ball from each manifold and taking the quotient of the disjoint union of the resulting manifolds with boundary, with the quotient taken with regards to a homeomorphism between the boundary spheres of the removed balls. This results in another *n*-manifold.

See main article: Submanifold.

Any open subset of an *n*-manifold is an *n*-manifold with the subspace topology.

- Gauld . D. B. . 1974 . Topological Properties of Manifolds . The American Mathematical Monthly . 81 . 6 . 633 - 636 . 10.2307/2319220 . Mathematical Association of America . 2319220.
- Book: Kirby, Robion C. . Robion Kirby . Siebenmann, Laurence C. . Foundational Essays on Topological Manifolds. Smoothings, and Triangulations . Princeton . Princeton University Press . 1977 . 0-691-08191-3 .
- Book: Lee, John M. . 2000 . Introduction to Topological Manifolds . Graduate Texts in Mathematics
**202**. Springer . New York . 0-387-98759-2.

- Book: Rajendra Bhatia. Proceedings of the International Congress of Mathematicians: Hyderabad, August 19-27, 2010. 6 June 2011. World Scientific. 978-981-4324-35-9. 477–.
- Book: John M. Lee. Introduction to Topological Manifolds. 6 April 2006. Springer Science & Business Media. 978-0-387-22727-6.
- Book: Thierry Aubin. A Course in Differential Geometry. 2001. American Mathematical Soc.. 978-0-8218-7214-7. 25–.
- Topospaces subwiki, Locally compact Hausdorff implies completely regular
- Stack Exchange, Hausdorff locally compact and second countable is sigma-compact
- Book: Tammo tom Dieck. Algebraic Topology. 2008. European Mathematical Society. 978-3-03719-048-7. 249–.
- Book: Jean Gallier. Dianna Xu. A Guide to the Classification Theorem for Compact Surfaces. A Guide to the Classification Theorem for Compact Surfaces. 5 February 2013. Springer Science & Business Media. 978-3-642-34364-3.
- Book: Geometrisation of 3-manifolds. 2010. European Mathematical Society. 978-3-03719-082-1.
- Book: Lawrence Conlon. Differentiable Manifolds: A First Course. 17 April 2013. Springer Science & Business Media. 978-1-4757-2284-0. 90–.
- Žubr A.V. (1988) Classification of simply-connected topological 6-manifolds. In: Viro O.Y., Vershik A.M. (eds) Topology and Geometry — Rohlin Seminar. Lecture Notes in Mathematics, vol 1346. Springer, Berlin, Heidelberg
- Barden, D. "Simply Connected Five-Manifolds." Annals of Mathematics, vol. 82, no. 3, 1965, pp. 365–385. JSTOR, www.jstor.org/stable/1970702.
- Book: Jeffrey Lee. Jeffrey Marc Lee. Manifolds and Differential Geometry. 2009. American Mathematical Soc.. 978-0-8218-4815-9. 7–.
- Book: John Lee. Introduction to Topological Manifolds. 25 December 2010. Springer Science & Business Media. 978-1-4419-7940-7. 64–.