Subbasis and Generated Topology

Topology · Axiom Academy

LESSON Subbasis for a Topology Building topologies from the simplest possible starting point We've seen that a basis gives us a convenient way to generate a topology by taking unions of basis elements. But where does the basis come from? A subbasis provides an even simpler starting point. A subbasis for a topology on is any collection of subsets of whose union equals . Unlike a basis, a subbasis need not satisfy any special properties. It can be completely arbitrary! Step 2: From Subbasis to Basis Given a subbasis , we generate a basis by taking all finite intersections of elements of . The basis generated by subbasis consists of: All finite intersections where Why finite intersections? Because in any topology, finite intersections of open sets must be open. This ensures that the basis we generate will actually form a valid topology. Step 3: From Basis to Topology Once we have the basis , we generate the topology by taking all possible unions of basis elements. The topology generated by subbasis consists of: All unions of elements from the basis Using a subbasis offers several advantages when defining topologies: Simplicity: You can start with a very simple, natural collection of sets without worrying about basis axioms. Product Topologies: The standard subbasis for the product topology consists of simple "projections" onto coordinate spaces.

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