Covers and Subcovers

Topology · Axiom Academy

Visual introduction to open covers in topology Imagine you need to protect a delicate object using blankets. Each blanket can cover a certain area, and your goal is to make sure every part of the object is protected under at least one blanket. In topology, we do something similar with open sets . We cover a set with a collection of open sets, making sure every point is contained in at least one of them. Let's cover our set with open intervals. Each open interval is like a blanket that covers a portion of our set. We need enough intervals so that every point is covered. Sometimes we use more blankets than necessary. Can we remove some open sets and still cover every point? If we can, the smaller collection is called a subcover . A particularly important type of subcover is a finite subcover - a subcover that uses only finitely many open sets. This concept is central to the definition of compactness! An open cover of a set is a collection of open sets whose union contains . A subcover is a subcollection that still covers . A finite subcover contains only finitely many open sets.

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