Definition of Compactness

Topology · Axiom Academy

LESSON Definition of Compactness Understanding the fundamental property that generalizes closed and bounded sets Compactness is one of the most important concepts in topology and analysis. While it may seem abstract at first, it captures the intuitive idea of a space being "small" and "complete" in a precise mathematical way. A topological space is compact if every open cover of has a finite subcover. More precisely: If is a collection of open sets such that , then there exist finitely many indices such that . Let's break down what this means. An open cover is a collection of open sets whose union contains the entire space. The definition says that no matter which open cover we choose, we can always find a finite subcollection that still covers the space. Step 2: Why This Definition Matters The compactness condition is powerful because it allows us to pass from infinitely many pieces of information to finitely many. This is crucial for proving theorems and constructing mathematical arguments. This property is what makes many important theorems work: Extreme Value Theorem: Every continuous function on a compact space attains its maximum and minimum values. Uniform Continuity: Every continuous function on a compact metric space is uniformly continuous. Sequential Compactness: In metric spaces, every sequence has a convergent subsequence. Finite Intersection Property: Any collection of closed sets with the finite intersection property has nonempty intersection.

This is the written version of the interactive lesson above. See the full Topology course.