Open Covers and Subcovers

Topology · Axiom Academy

LESSON Open Covers and Subcovers Understanding the formal definitions that lead to compactness Before we can understand compactness, we need to understand the idea of "covering" a set. Think of it like putting blankets over a bed—you want to make sure every part is covered. Let be a topological space and . A collection of sets is called a cover (or covering ) of if In other words, every point in belongs to at least one set in the collection . Now we add an important restriction: what if we require all the sets in our cover to be open? An open cover of is a cover where each set is an open set in the topology of . Open sets are the fundamental building blocks of topology. Requiring our covers to use only open sets connects the idea of "covering" to the topological structure of the space. Step 3: Examples of Open Covers Let's look at some concrete examples to build intuition. Consider as a subspace of with the standard topology. Every point in [0,1] is contained in at least one of these open intervals. An infinite collection—for each , we have an open interval that covers part of [0,1]. Sometimes a cover has more sets than we actually need. We can often find a smaller collection that still covers everything. Let be a cover of . A subcover is a subcollection such that is also a cover of . In other words, we can throw away some sets from our cover and still have everything covered. The most important type of subcover for compactness is a finite subcover.

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