Manifolds 6 | Second-Countable Space [dark version]

TL;DR

A basis B for a topology T on X must generate every open set U exactly as a union of elements from B.

Briefing Cornell Notes

Briefing

Second-countable spaces hinge on a practical idea: a topology can be generated from a “basis” of open sets, and for second countability that basis can be chosen countably many. The key payoff is that every open set can be rebuilt using only countably many basic pieces, which makes many arguments in topology—especially those involving manifolds—more manageable.

A basis for a topological space X with topology T is a collection B of open subsets such that every open set U in T can be expressed as a union of elements from B. Concretely, for each open set U, there must exist some index family {A_i} with A_i ∈ B and U = ⋃_i A_i. Overlaps among the A_i are allowed, and the index set may be finite or infinite; the defining requirement is that the union produces exactly U and never introduces points outside it.

The transcript starts with simple bases to build intuition. Taking B = T always works, since any open set U is already a member of the topology and can be written as a union of itself. For the discrete topology on X—where every subset is open—the collection of all singletons {x} forms a basis, because any set is the union of its elements.

The most important example connects topology to metric spaces. In a metric space (X, d), openness is defined via ε-balls: for each point x and radius ε > 0, the ball B_ε(x) is open. The collection of all such ε-balls forms a basis for the metric topology, since any open set can be covered by ε-balls contained in it.

This becomes especially concrete for Euclidean space R^n with the standard (Euclidean) metric. Although the metric basis uses all centers and all radii, it can be reduced: it suffices to use balls centered at rational points and with rational radii. Because the rational numbers are countable and Q^n is countable, the resulting family of Euclidean balls is countable. Despite being smaller, it still generates the full standard topology because any point in R^n can be approximated arbitrarily well by rational points, and any positive radius can be matched from below by rational radii.

A topological space is then called second countable precisely when it has a countable basis. The transcript concludes that R^n with its standard topology is second countable, and it previews that manifolds will be defined using second countability (along with additional conditions to be introduced later).

Cornell Notes

A basis is a set of open subsets B for a topological space X such that every open set U can be written exactly as a union of elements from B. In metric spaces, ε-balls B_ε(x) form a basis for the metric topology. For R^n with the standard Euclidean topology, the basis can be reduced to balls centered at rational points with rational radii (ε > 0), producing a countable basis. A space is second countable when it admits such a countable basis. This matters because it limits how many basic open sets are needed to build any open set, which simplifies later topological arguments, including those used for manifolds.

What is the formal condition that makes a collection B a basis for a topology on X?

B must be a collection of open sets such that for every open set U in the topology T, there exists a family {A_i} with each A_i ∈ B and U = ⋃_i A_i. The index set can be finite or infinite; the essential requirement is that the union of basis elements equals U and introduces no extra points.

Why does the discrete topology have a simple basis made of singletons?

In the discrete topology, every subset of X is open. If B is the set of all singletons {x}, then any open set U (which is just any subset) can be written as U = ⋃_{x∈U} {x}. Since each singleton is in B, B generates the entire topology.

How do ε-balls generate the topology in a metric space?

In a metric space (X, d), openness is defined using ε-balls B_ε(x). The collection of all ε-balls forms a basis because any open set can be covered by ε-balls that lie inside it. This matches the basis requirement: each open set U can be expressed as a union of basis elements (ε-balls) contained in U.

Why can the Euclidean basis in R^n be reduced to rational centers and rational radii?

Every point in R^n can be approximated arbitrarily closely by rational points, so balls centered at rational points can get as close as needed to cover neighborhoods around any point. Similarly, any positive radius can be approximated from below by rational radii, allowing rational-radius balls to fit inside the same kind of neighborhoods. The result is a smaller family of balls that still generates the full standard topology.

What does it mean for a space to be second countable, and why is Q^n relevant?

A space is second countable if it has a countable basis. In R^n, choosing centers from Q^n and radii from positive rationals yields only countably many balls because Q^n is countable and the set of positive rational radii is countable. That countable family of balls becomes a countable basis for the standard topology.

Review Questions

State the definition of a basis for a topology and explain the role of the union condition.
Give two examples of bases: one for a discrete topology and one for a metric space.
Explain why R^n with the standard topology is second countable, including what makes the basis countable.

Key Points

1
A basis B for a topology T on X must generate every open set U exactly as a union of elements from B.
2
The index family used to represent U can be finite or infinite; only membership in B and equality U = ⋃_i A_i matter.
3
In a discrete topology, all singletons form a basis because any set is the union of its elements.
4
In metric spaces, the collection of all ε-balls B_ε(x) forms a basis for the metric topology.
5
For R^n with the standard Euclidean topology, it suffices to use balls with rational centers and rational radii (ε > 0).
6
A topological space is second countable if it has a countable basis; R^n with the standard topology is second countable.
7
Second countability is positioned as a key requirement for defining manifolds, alongside other conditions introduced later.

Highlights

A basis is not just a convenient collection of opens—it must reproduce every open set exactly via unions of basis elements.

In metric spaces, ε-balls automatically supply a basis for the topology.

R^n’s standard topology admits a countable basis by restricting to rational centers and rational radii.

Second countability means “countable basis,” not “countably many open sets.”

Topics

Topological Basis
Second-Countable Spaces
Metric Topology
Euclidean Space
Manifolds