Topological Spaces, Bases, and Subbases

⚡ Key Takeaways

A topological space is a set equipped with a collection of "open" subsets closed under arbitrary unions and finite intersections; this minimal structure axiomatizes continuity, convergence, and "nearness" without metric or distance. A basis is a generating collection of open sets from which every open set arises as a union; a subbasis is an even smaller generating collection whose finite intersections form a basis. Used everywhere in modern mathematics — analysis, geometry, algebraic topology. Codified by Felix Hausdorff (1914) building on Fréchet, Riesz, and Cantor.

💡 The Core Insight

Topology abstracts the single feature of distance that actually matters for continuity: which sets are "open" (contain a neighborhood around each of their points). Bases let us generate the entire topology from manageable building blocks, and subbases push this further — you can specify a topology by an arbitrary collection of sets and let finite intersections and unions do the rest. Open sets are the primitive; everything else (closure, continuity, convergence) is defined in terms of them.

DefinitionTopological Space

Let $X$ be a set. A topology on $X$ is a collection $\tau \subseteq \mathcal{P}(X)$ of subsets of $X$ such that:

1

\quad \varnothing \in \tau \quad\text{and}\quad X \in \tau

Derivation hint: The empty set and the whole space must always be open; this anchors the lattice of open sets at top and bottom.

2

\quad \{U_i\}_{i\in I}\subseteq \tau \implies \bigcup_{i\in I} U_i \in \tau \quad (\text{any index set } I)

Derivation hint: Arbitrary — possibly uncountable — unions of open sets are open; this mirrors that a union of open intervals in $\mathbb{R}$ is open.

3

\quad U_1,\dots,U_n \in \tau \implies \bigcap_{k=1}^{n} U_k \in \tau

Derivation hint: Only finite intersections are guaranteed open; infinite intersections may collapse, e.g. $\bigcap_n (-1/n,1/n)=\{0\}$ . The pair $(X,\tau)$ is a topological space; members of $\tau$ are open sets, and their complements are closed sets. The symbol $\mathcal{P}(X)$ denotes the power set of $X$ , $I$ is an arbitrary index set, and $n \in \mathbb{N}$ .

DefinitionBasis for a Topology

A collection $\mathcal{B}\subseteq \mathcal{P}(X)$ is a basis for a topology on $X$ if:

4

\quad \forall x \in X,\ \exists B \in \mathcal{B}\ \text{such that}\ x \in B

Derivation hint: The basis elements must cover $X$ , so that $X$ itself can be written as a union of basis members.

5

\quad \forall B_1,B_2 \in \mathcal{B},\ \forall x \in B_1\cap B_2,\ \exists B_3 \in \mathcal{B}:\ x \in B_3 \subseteq B_1\cap B_2

Derivation hint: Overlaps of basis sets must themselves be "fillable" by basis sets around each point, guaranteeing intersections stay expressible as unions. The topology generated by $\mathcal{B}$ consists of all unions of basis elements:

6

\quad \tau_{\mathcal{B}} = \left\{ U \subseteq X : \forall x\in U,\ \exists B\in\mathcal{B}\ \text{with}\ x\in B\subseteq U \right\}

Derivation hint: A set is open iff each of its points has a basis neighborhood inside it — equivalently, iff it is a union of basis elements.

DefinitionSubbasis

A collection $\mathcal{S}\subseteq\mathcal{P}(X)$ is a subbasis for a topology on $X$ if $\bigcup_{S\in\mathcal{S}} S = X$ . The topology generated by $\mathcal{S}$ is the topology whose basis is the collection of all finite intersections of members of $\mathcal{S}$ :

7

\quad \mathcal{B}_{\mathcal{S}} = \left\{ \bigcap_{k=1}^{n} S_k : n\geq 0,\ S_k \in \mathcal{S} \right\}, \qquad \tau_{\mathcal{S}} = \tau_{\mathcal{B}_{\mathcal{S}}}

Derivation hint: With the convention that the empty intersection ( $n=0$ ) equals $X$ , finite intersections of subbasis sets form a basis; their unions give the generated topology — the coarsest topology containing $\mathcal{S}$ .

TheoremGenerated Topology is Well-Defined

If $\mathcal{B}$ satisfies [4]–[5], then $\tau_{\mathcal{B}}$ defined in [6] is a genuine topology on $X$ , and $\mathcal{B}\subseteq\tau_{\mathcal{B}}$ . Moreover, for any collection $\mathcal{S}$ covering $X$ , $\tau_{\mathcal{S}}$ is the coarsest (smallest) topology containing $\mathcal{S}$ :

8

\quad \tau_{\mathcal{S}} = \bigcap\left\{ \tau : \tau \text{ is a topology on } X,\ \mathcal{S}\subseteq\tau \right\}

Derivation hint: The intersection of any family of topologies is a topology; $\tau_{\mathcal{S}}$ is contained in every topology containing $\mathcal{S}$ and itself contains $\mathcal{S}$ , hence equals the intersection.

ProofThat

\tau_{\mathcal{B}}

Satisfies the Axioms

We verify [1]–[3] for $\tau_{\mathcal{B}}$ as defined by [6].

Step 1 (Empty set and $X$ ). The set $\varnothing$ vacuously satisfies the condition in [6] (there are no points $x$ to check), so $\varnothing\in\tau_{\mathcal{B}}$ . For $X$ : by [4] every $x\in X$ lies in some $B\in\mathcal{B}$ with $B\subseteq X$ , so $X\in\tau_{\mathcal{B}}$ .

Step 2 (Arbitrary unions). Let $\{U_i\}_{i\in I}\subseteq\tau_{\mathcal{B}}$ and let $x\in\bigcup_i U_i$ . Then $x\in U_{i_0}$ for some $i_0$ , so there is $B\in\mathcal{B}$ with $x\in B\subseteq U_{i_0}\subseteq\bigcup_i U_i$ . Hence the union is in $\tau_{\mathcal{B}}$ , establishing [2].

Step 3 (Finite intersections). It suffices to handle two sets $U_1,U_2\in\tau_{\mathcal{B}}$ . Let $x\in U_1\cap U_2$ . There exist $B_1,B_2\in\mathcal{B}$ with $x\in B_1\subseteq U_1$ and $x\in B_2\subseteq U_2$ . Then $x\in B_1\cap B_2$ , and by [5] there is $B_3\in\mathcal{B}$ with $x\in B_3\subseteq B_1\cap B_2\subseteq U_1\cap U_2$ . Thus $U_1\cap U_2\in\tau_{\mathcal{B}}$ . Induction extends this to any finite intersection, giving [3].

Step 4 ( $\mathcal{B}\subseteq\tau_{\mathcal{B}}$ ). For any $B\in\mathcal{B}$ and any $x\in B$ , take the basis element $B$ itself: $x\in B\subseteq B$ . So $B\in\tau_{\mathcal{B}}$ . $\blacksquare$

∎

ProofThat Finite Intersections of a Subbasis Form a Basis

Let $\mathcal{S}$ cover $X$ and $\mathcal{B}_{\mathcal{S}}$ be as in [7].

Step 1 (Covering, [4]). Since $\mathcal{S}$ covers $X$ and $\mathcal{S}\subseteq\mathcal{B}_{\mathcal{S}}$ (single-element intersections), $\mathcal{B}_{\mathcal{S}}$ covers $X$ . (Equivalently, the empty intersection equals $X$ .)

Step 2 (Intersection condition, [5]). Take $B_1 = S_1\cap\cdots\cap S_m$ and $B_2 = T_1\cap\cdots\cap T_n$ in $\mathcal{B}_{\mathcal{S}}$ . Their intersection

B_1\cap B_2 = S_1\cap\cdots\cap S_m\cap T_1\cap\cdots\cap T_n

is again a finite intersection of subbasis members, hence lies in $\mathcal{B}_{\mathcal{S}}$ . So for any $x\in B_1\cap B_2$ we may take $B_3=B_1\cap B_2$ , verifying [5]. Therefore $\mathcal{B}_{\mathcal{S}}$ is a basis, and $\tau_{\mathcal{S}}=\tau_{\mathcal{B}_{\mathcal{S}}}$ is a topology by the previous proof. $\blacksquare$

∎

mathematician · Felix Hausdorff | 1868–1942

Hausdorff gave point-set topology its modern axiomatic form in Grundzüge der Mengenlehre (1914). His original definition used neighborhood systems and included what we now call the Hausdorff (T₂) separation axiom — the requirement that distinct points have disjoint neighborhoods. The stripped-down "open sets only" axiomatization in current use was refined by Kuratowski, Alexandroff, and others through the 1920s. A polymath who also worked in set theory (the Hausdorff maximal principle) and wrote literature under the pen name Paul Mongré, Hausdorff and his wife took their own lives in 1942 to escape deportation to a Nazi concentration camp.

🧠 Intuition

Think of a topology as a recipe for "closeness" that throws away numbers. In a metric space, " $x$ is near $A$ " means there are points of $A$ arbitrarily close. Topology keeps only the qualitative residue: a set $U$ is open if every point sits "comfortably inside" $U$ with some wiggle room (a neighborhood) entirely contained in $U$ . A basis is your toolkit of standard wiggle rooms. In $\mathbb{R}$ you don't list all open sets — you declare the open intervals $(a,b)$ as the basis, and every open set is a union of them. The two basis axioms say: (1) every point has at least one tool around it, and (2) where two tools overlap, you can find a smaller tool fitting inside the overlap — so you never get "stuck" trying to express an intersection. A subbasis is even lazier: you throw down any sets you like (as long as they cover $X$ ), and the machinery automatically takes finite intersections (to make a basis) then arbitrary unions (to make the topology). It is the topological analog of generating a group from a set of generators — finite words in the generators give everything reachable.

Figure

Generating open sets: subbasis → basis → topology in the plane

ExampleStandard Topology on

\mathbb{R}

from interval basis

Given. Let $X=\mathbb{R}$ and $\mathcal{B} = \{(a,b) : a<b,\ a,b\in\mathbb{R}\}$ , the set of open intervals.

Step 1 — Verify [4]. Every $x\in\mathbb{R}$ lies in, e.g., $(x-1,\,x+1)\in\mathcal{B}$ . ✓

Step 2 — Verify [5]. Take $(a,b)$ and $(c,d)$ . Their intersection is $(\max(a,c),\,\min(b,d))$ , which is itself an open interval (or empty). So for any $x$ in the overlap, $B_3=(a,b)\cap(c,d)$ works. ✓

Step 3 — Identify a concrete open set. Consider $U=(0,1)\cup(2,3)$ . Is it open? For $x=0.5$ , take $(0.4,0.6)\subseteq U$ ; for $x=2.5$ , take $(2.4,2.6)\subseteq U$ . Every point has an interval neighborhood inside $U$ , so $U\in\tau_{\mathcal{B}}$ .

Step 4 — A non-open set. Consider $[0,1)$ . The point $x=0$ has no interval $(a,b)\subseteq[0,1)$ containing it, since any such interval includes negative numbers. Hence $[0,1)\notin\tau_{\mathcal{B}}$ .

Answer.

\boxed{\tau_{\mathcal{B}} = \text{standard topology on } \mathbb{R};\quad (0,1)\cup(2,3)\ \text{open},\ [0,1)\ \text{not open}}

ExampleSubbasis generating the standard topology on

\mathbb{R}

Given. Let $\mathcal{S} = \{(-\infty,b) : b\in\mathbb{R}\} \cup \{(a,\infty) : a\in\mathbb{R}\}$ , the open rays.

Step 1 — Covering. $\bigcup\mathcal{S}=\mathbb{R}$ since, e.g., $(-\infty,0)\cup(0,\infty)\cup(-\infty,1)$ already covers everything except possibly endpoints — and $(-\infty,1)$ covers $0$ . ✓

Step 2 — Form the basis (finite intersections). Intersect a "left ray" with a "right ray":

(a,\infty)\cap(-\infty,b) = (a,b),\qquad a<b.

The case $a\geq b$ gives $\varnothing$ . Intersections of two left rays give a left ray; same for right rays. So the basis $\mathcal{B}_{\mathcal{S}}$ contains all bounded open intervals plus the rays.

Step 3 — Generated topology. Unions of these basis elements reproduce every standard open set (Example 1).

Step 4 — Count the data. We specified the topology using only two families of rays indexed by a single real parameter each, rather than the two-parameter family of intervals — a genuine economy.

Answer.

\boxed{\tau_{\mathcal{S}} = \text{standard topology on } \mathbb{R},\ \text{generated by open rays}}

⚠️ Common mistake

Infinite intersections of open sets need NOT be open. Axiom [3] permits only finite intersections. The classic failure: in $\mathbb{R}$ ,

\bigcap_{n=1}^{\infty}\left(-\tfrac1n,\tfrac1n\right) = \{0\},

and $\{0\}$ is not open in the standard topology. Students routinely "prove" false statements by silently intersecting infinitely many open sets.

A basis is not unique. Many different bases generate the same topology (Example 1 and Example 2 generate the same $\tau$ ). Conversely, the same collection cannot be a basis unless it satisfies [4]–[5]; merely covering $X$ is enough for a subbasis but not for a basis.

"Open" is not absolute — it depends on the topology. The set $[0,1)$ is not open in $\mathbb{R}$ 's standard topology but is open in the lower-limit (Sorgenfrey) topology generated by half-open intervals $[a,b)$ .

CounterexampleA collection that covers

X

but is NOT a basis

Let $X=\{1,2,3\}$ and $\mathcal{C}=\{\{1,2\},\{2,3\}\}$ . This covers $X$ ( $\{1,2\}\cup\{2,3\}=X$ ). But it is not a basis: take $B_1=\{1,2\}$ , $B_2=\{2,3\}$ and the point $x=2\in B_1\cap B_2=\{2\}$ . There is no member of $\mathcal{C}$ contained in $\{2\}$ that contains $2$ , so [5] fails. However $\mathcal{C}$ is a perfectly good subbasis: forming finite intersections adds $\{2\}=\{1,2\}\cap\{2,3\}$ , yielding the basis $\{\{1,2\},\{2,3\},\{2\}\}$ , and the generated topology is

\{\varnothing,\{2\},\{1,2\},\{2,3\},\{1,2,3\}\}.

This illustrates precisely why subbases are weaker (easier to satisfy) than bases.

connection

Topological spaces sit at the root of an enormous network. The standard topology on $\mathbb{R}^n$ specializes to Metric Spaces, where the basis is the collection of open balls $B(x,r)$ and the metric supplies axiom [5] via the triangle inequality. Bases are the precise tool for defining the Product Topology (where a subbasis of "cylinder sets" $\pi_i^{-1}(U)$ is natural) and the Subspace Topology (intersect open sets with the subset). The notion of generating a topology from a subbasis parallels generating a Sigma-Algebra in measure theory and generating a Group from Generators in algebra. Continuity itself — see Continuous Functions Between Topological Spaces — is testable on a basis or even a subbasis alone: $f$ is continuous iff preimages of subbasis elements are open, a major practical economy.

🔬 Where this appears

⏳ History

- 1872 — Georg Cantor studies derived sets and limit points of subsets of

\mathbb{R}

, isolating the notion of accumulation point.

- 1893 — Camille Jordan and others develop rigorous notions of open and closed regions for curve theory (Jordan curve theorem).

- 1906 — Maurice Fréchet introduces metric spaces and abstract convergence in his thesis, the first general framework for "limit" beyond

\mathbb{R}^n

.

- 1908 — Frigyes Riesz proposes an axiomatic theory of "condensation points," anticipating neighborhood structures.

- 1914 — Felix Hausdorff publishes Grundzüge der Mengenlehre, defining topological spaces via neighborhood axioms (including T₂ separation) — the birth of point-set topology.

- 1922 — Kazimierz Kuratowski gives the equivalent closure-operator axiomatization, clarifying the duality of open and closed sets.

- 1923–1927 — Pavel Alexandroff and Pavel Urysohn develop compactness, the open-cover definition, and metrization theory, cementing the open-set formulation now standard.

- 1929 — Andrey Tychonoff proves the product of compact spaces is compact, showcasing the power of subbases (cylinder sets) in infinite products.

- 1937 — Bourbaki's Topologie générale systematizes filters, bases, and subbases into the canonical modern presentation.

open-problem

The open-set axioms are too permissive for many purposes, which is why topologists add separation axioms (T₀ through T₄), countability axioms, and covering axioms. Several deep questions live here:

Metrization. Which topological spaces arise from a metric? The Nagata–Smirnov and Bing metrization theorems give characterizations via $\sigma$ -locally-finite bases, but determining "good" bases for a given space remains delicate. The normal Moore space conjecture (every normal Moore space is metrizable) turned out to be independent of ZFC — its truth depends on set-theoretic axioms like the continuum hypothesis or large cardinals.
Cardinal invariants. The minimum cardinality of a basis (the weight $w(X)$ ) and of a local basis (the character $\chi(X)$ ) are subtle and connect to set theory; questions about them (e.g., the existence of spaces with prescribed invariants) drive ongoing research in set-theoretic topology.
Pointless topology. Locale theory studies the lattice of open sets directly, without points, and behaves better than classical topology in constructive/intuitionistic settings — yet the exact relationship to point-set spaces (sobriety, spatiality) remains an active area.

Topological Spaces, Bases, and Subbases

Formal Statement

Why It Holds

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also