Definition of a Basis

Topology · Axiom Academy

Understanding how to generate topologies from simpler building blocks Step 1: Why Do We Need a Basis? In many topological spaces, describing every single open set would be tedious or even impossible. For example, the standard topology on the real line has infinitely many open sets. However, we can describe all of them using just the collection of open intervals. This concept makes topologies much easier to work with. Instead of verifying properties for all open sets, we often only need to check them for basis elements. Let be a set and be a topology on . A collection of subsets of is called a basis for the topology if it satisfies two conditions: Condition 1 (Coverage): For each , there exists such that Condition 2 (Intersection Property): If and , , then there exists such that When these conditions hold, every open set in can be expressed as a union of elements from . Step 3: Understanding the Coverage Condition Let's unpack the first condition: For each , there exists such that . This simply means that every point in the space must be contained in at least one basis element. The basis elements collectively "cover" the entire space . Step 4: Understanding the Intersection Property The second condition is more subtle: If and , , then there exists such that . This says that whenever two basis elements overlap, any point in their intersection can be "surrounded" by a third basis element that sits entirely within that intersection.

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