Bases and Subbases
Generating a topology from simple sets.
Key idea
Generating a topology from simple sets.
In depth
A basis is a family of open sets such that every open set is a union of basis elements. A subbasis generates a topology by finite intersections. They let you define and check topologies economically.
Worked example
Open intervals (a, b) form a basis for the usual topology on R.
Real-world uses
- Building topologies from simple open sets, a foundation of advanced geometry and data science
Common mistake
Thinking arbitrary collections of sets form a basis; they need the intersection property.
How to learn this
- Read the key idea and say it in your own words.
- Work through the worked example, then try a similar problem.
- Use the interactive lesson’s visual and mini-quiz to check the pattern.
Frequently asked questions
What is Bases and Subbases?
Generating a topology from simple sets. It is a topic at the expert level in Analysis & Topology.
Where is Bases and Subbases used in real life?
Real-world examples: Building topologies from simple open sets, a foundation of advanced geometry and data science.
What should I learn before Bases and Subbases?
Make sure you are comfortable with Topological Spaces, the previous topic in Analysis & Topology.
What is a common mistake with Bases and Subbases?
Thinking arbitrary collections of sets form a basis; they need the intersection property.
How can I practise Bases and Subbases?
Open the interactive lesson, play with the visual, then answer the three-question mini-quiz. Getting two right marks the topic complete.
What comes after Bases and Subbases?
Move on to Continuity in Topology next.
Related expert topics in Analysis & Topology
- Axioms of the Real Numbers – ℝ is a complete ordered field.
- Completeness and Supremum – Every nonempty bounded-above set has a least upper bound.
- Archimedean Property – For any real x there is an integer n > x.
- Density of Rationals – Between any two reals there is a rational.
- Sequences and Convergence (ε–N) – aₙ → L if for every ε>0 eventually |aₙ − L| < ε.
- Limit Theorems for Sequences – Algebra of limits and squeeze theorem.