Compact space

This article defines a property of topological space that is pivotal (viz important) among currently studied properties of topological spaces

This article is about a basic definition in topology.
VIEW: Definitions built on this | Facts about this | Survey articles about this
View a complete list of basic definitions in topology

For survey articles related to this, refer: Category:Survey articles related to compactness

Definition

Symbol-free definition

A topological space is said to be compact if it satisfies the following equivalent conditions:

• Open cover formulation: Every open cover has a finite subcover
• Finite intersection property formulation: Every family of closed sets with the finite intersection property has a nonempty overall intersection
• Ultrafilter formulation': Every ultrafilter of subsets converges to at least one point

Definition with symbols

A topological space $X$ is said to be compact if it satisfies the following equivalent condition:

• Open cover formulation: Suppose $I$ is an indexing set and $U_{i},i\in I$ is a collection of open subsets of $X$, whose union is $X$ (this is the open cover). Then, there exists a finite set $F\subset I$, such that the union of $U_{i}\ i\in F$, is $X$ (this is the finite subcover).
• Finite intersection property formulation: Suppose $I$ is an indexing set and $F_{i},i\in I$ is a collection of closed subsets such that every finite subset has nonempty intersection. Then, the intersection of all $F_{i}$s is nonempty.
• Ultrafilter formulation: Fill this in later

Formalisms

Refinement formal expression

In the refinement formalism, the property of compactness has the following refinement formal expression:

Open $\to$ Finite open

Relation with other properties

This property is a pivotal (important) member of its property space. Its variations, opposites, and other properties related to it and defined using it are often studied

• Category:Variations of compactness

Stronger properties

• Noetherian space
• Hereditarily compact space
• Irreducible space

Weaker properties

• Locally compact space
• Paracompact space
• Limit point-compact space
• Countably compact space

Metaproperties

Products

This property of topological spaces is closed under taking arbitrary products
View all properties of topological spaces closed under products

Any product of compact spaces is compact. This result is true only in theproduct topology, not in the box topology. The result is known as the Tychonoff theorem. For the case of finite direct products, there is a much simpler proof that makes use of the tube lemma.

Weak hereditariness

This property of topological spaces is weakly hereditary or closed subspace-closed; in other words, any closed subset (equipped with the subspace topology) of a space with the property, also has the property.
View all weakly hereditary properties of topological spaces | View all subspace-hereditary properties of topological spaces

Any closed subset of a compact space is compact. For full proof, refer: Compactness is weakly hereditary

In fact, given any Hausdorff space, every compact subset is closed, so we cannot in general hope for too many compact sets other than the closed ones. (See also H-closed space).

Coarsening

This property of topological spaces is preserved under coarsening, viz, if a set with a given topology has the property, the same set with a coarser topology also has the property

Removing open sets reduces the number of possibilities for an open cover, and thus does not damage compactness. In other words, shifting to a coarser topology preserves compactness.

Fiber bundles

This property of topological spaces is a fiber bundle-closed property of topological spaces: it is closed under taking fiber bundles, viz if the base space and fiber both satisfy the given property, so does the total space.
Manifold, Orientable manifold

The property of being compact is closed under taking fiber bundles; if $E$ is a fiber bundle over base space $B$ with fiber $F$, and both $B$ and $F$ are compact, so is $E$.

Closure under continuous images

The image, via a continuous map, of a topological space having this property, also has this property

The image of a compact space under a continuous map is again compact.