# Compactness is not hereditary

From Topospaces

(Redirected from Compactness is not subspace-hereditary)

This article gives the statement, and possibly proof, of a topological space property (i.e., compact space)notsatisfying a topological space metaproperty (i.e., subspace-hereditary property of topological spaces).

View all topological space metaproperty dissatisfactions | View all topological space metaproperty satisfactions|Get help on looking up metaproperty (dis)satisfactions for topological space properties

Get more facts about compact space|Get more facts about subspace-hereditary property of topological spaces|

## Statement

### Property-theoretic statement

The property of topological spaces of being a compact space is not a subspace-hereditary property of topological spaces.

### Verbal statement

A subset of a compact space, equipped with the [[subspace topology], need not be a compact space.

## Related facts

- Compactness is weakly hereditary: Any closed subset of a compact space is compact.
- Hausdorff implies KC: Any compact subset of a Hausdorff space is closed. In particular, in a compact Hausdorff space, the compact subsets are the same as the closed subsets.

## Proof

Consider the unit interval . This is a closed and bounded subset of the real line, hence it is compact. The subset , equipped with the subspace topology, is not compact, because it has an open cover given by subsets of the form that has no finite subcover. (Alternatively, it is not compact because it is not a closed subset of the real line).