# Closed manifold

Jump to navigation Jump to search

In mathematics, a closed manifold is a type of topological space, namely a compact manifold without boundary. (Compactness means that every open cover has a finite subcover.)

Compact manifolds are, in an intuitive sense, "finite". A closed manifold is the disjoint union of a finite number of connected closed manifolds. It’s not fully known what the supply of possible closed manifolds is.

## Examples

The only one-dimensional example is a circle. The torus and the Klein bottle are closed. A line is not a closed because it is not compact: it can’t be covered by finitely many segments. A disk is compact (coverable), but is not a closed manifold because it has a boundary.

## Properties

All compact topological manifolds can be embedded into $\mathbf {R} ^{n}$ for some n, by the Whitney embedding theorem.

## Contrasting terms

A compact manifold means a "manifold" that is compact as a topological space, but possibly has boundary. More precisely, it is a compact manifold with boundary (the boundary may be empty). By contrast, a closed manifold is compact without boundary.

An open manifold is a manifold without boundary with no compact component. For a connected manifold, "open" is equivalent to "without boundary and non-compact", but for a disconnected manifold, open is stronger. For instance, the disjoint union of a circle and the line is non-compact, but is not an open manifold, since one component (the circle) is compact.

The notion of closed manifold is unrelated with that of a closed set. A disk with its boundary is a closed subset of the plane, but not a closed manifold.

## Use in physics

The notion of a "closed universe" can refer to the universe being a closed manifold but more likely refers to the universe being a manifold of constant positive Ricci curvature.