Closed Sets and Their Properties

Topology · Axiom Academy

Understanding the dual concept to open sets in topology Step 1: The Definition of Closed Sets We've studied open sets extensively. Now we introduce their natural counterpart: closed sets . The definition is beautifully simple and elegant. A subset of a topological space is called closed if its complement is open. In other words, to determine if a set is closed, we simply check whether its complement (everything NOT in the set) is an open set. This definition creates a perfect duality between open and closed sets. Step 2: Properties of Closed Sets Closed sets have properties that mirror the axioms for open sets. These properties follow directly from the definition and De Morgan's laws. The empty set and the whole space are both closed The intersection of any two (or finitely many) closed sets is closed The union of any collection of closed sets (even infinitely many) is closed Notice how these properties are dual to the open set axioms: where open sets allowed arbitrary unions, closed sets allow arbitrary intersections . Where open sets allowed finite intersections, closed sets allow finite unions . Step 3: Arbitrary Intersections of Closed Sets One of the most powerful properties of closed sets is that we can intersect arbitrarily many of them and still get a closed set. Let's see why this is true. If is any collection of closed sets (finite or infinite), then is also closed.

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