Britannica Sources used in this answer

How does compactness use open covers instead of distance or boundedness?

Created from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles.

In mathematics, the concept of compactness generalizes the properties of Euclidean space to topological spaces, where traditional notions of distance and boundedness do not exist.12

Instead of relying on distance, topology defines closeness through relationships between sets. Compactness uses open covers to capture the "finiteness" of a space: a space is compact if, for every collection of open sets that covers the entire space, one can select a finite sub-collection that still covers it.21

This definition serves as a powerful substitute for boundedness. While the Heine-Borel theorem equates compactness with being closed and bounded in Euclidean space, the open cover definition allows mathematicians to extend these useful behaviors—such as the existence of maximum and minimum values for continuous functions—to abstract spaces where distance cannot be measured. In this framework, the ability to reduce an infinite covering to a finite one effectively mimics the behavior of a "small" or "contained" set.1