Topological Manifold

A topological space M satisfying some separability (i.e., it is a T2-space) and countability (i.e., it is a paracompact space) conditions such that every point p in M has a neighborhood homeomorphic to an open set in R^n for some n>=0. Every smooth manifold is a topological manifold, but not necessarily vice versa. The first nonsmooth topological manifold occurs in four dimensions.

Nonparacompact manifolds are of little use in mathematics, but non-Hausdorff manifolds do occasionally arise in research (Hawking and Ellis 1975). For manifolds, Hausdorff and second countable are equivalent to Hausdorff and paracompact, and both are equivalent to the manifold being embeddable in some large-dimensional Euclidean space.

See also

Manifold, Paracompact Space, Smooth Manifold, T2-Space, Topological Space

Explore with Wolfram|Alpha


Hawking, S. W. and Ellis, G. F. R. The Large Scale Structure of Space-Time. New York: Cambridge University Press, 1975.

Referenced on Wolfram|Alpha

Topological Manifold

Cite this as:

Weisstein, Eric W. "Topological Manifold." From MathWorld--A Wolfram Web Resource.

Subject classifications