One Neighborhood at a Time, or One Base for the Whole Space?
Countability conditions on a topological space ask for different kinds of countable control. First countability asks for a countable neighborhood base separately at each point. Second countability asks for one countable base that works throughout the space. Separability asks for a countable dense subset, while the Lindelof property asks for countable subcovers of open covers. The discrete topology makes the distinctions particularly sharp: each point has an exceptionally small neighborhood base, even when there are uncountably many points.
A local base at \(x\) is a collection of open neighborhoods of \(x\) such that every open neighborhood of \(x\) contains a member of the collection. A space is first countable if it has a countable local base at each point. A base for a topology is a collection \(\mathcal{B}\) of open sets such that for every open set \(U\) and every \(x\in U\), some \(B\in\mathcal{B}\) satisfies \(x\in B\subseteq U\). The space is second countable if it has a countable base.
A subset \(D\subseteq X\) is dense if \(\overline{D}=X\), and a space is separable if it has a countable dense subset. An open cover is a collection of open sets whose union is \(X\). A space is Lindelof if every open cover has a countable subcover. Here “countable” includes finite sets.
First Countability Does Not Require a Countable Space
Proof. Let \(x\in X\). The singleton \(\{x\}\) is open because every subset of \(X\) is open in the discrete topology. The one-element collection \(\{\{x\}\}\) is a local base at \(x\): if \(U\) is any open neighborhood of \(x\), then \(x\in U\), so \(\{x\}\subseteq U\). Thus each point has a finite, hence countable, local base. If \(X=\varnothing\), there are no points at which the local-base condition must be checked, so the space is first countable vacuously. \(\square\)
This argument makes no attempt to collect the local bases at different points into a countable family. When \(X\) is uncountable, there are uncountably many singleton local bases. The requirement for first countability is point-by-point, not a demand that all those neighborhoods fit into one countable collection.
Worked Example: The Real Line with the Discrete Topology
Let \(X=\mathbb{R}\) and give it the discrete topology \(\mathcal{P}(\mathbb{R})\), not the standard topology. At each \(x\in\mathbb{R}\), the collection \(\{\{x\}\}\) is a local base. Indeed, every open neighborhood \(U\) of \(x\) is a subset of \(\mathbb{R}\) containing \(x\), so \(\{x\}\subseteq U\). This verifies first countability directly.
In this topology, every subset \(A\subseteq\mathbb{R}\) is also closed: its complement \(\mathbb{R}\setminus A\) is open. Therefore \(\overline{A}=A\). In particular, a dense subset \(D\) must satisfy \(D=\mathbb{R}\); no countable subset is dense. The same space is not second countable or Lindelof, as the results below will verify.
Separability in a Discrete Space
Proof. Every subset \(D\subseteq X\) is closed as well as open, since its complement is open. Hence \(\overline{D}=D\). If \(D\) is dense, then \(\overline{D}=X\), which gives \(D=X\). Thus a countable dense subset can exist only if \(X\) itself is countable. Conversely, if \(X\) is countable, then \(X\) is a countable dense subset of itself, since \(\overline{X}=X\). This includes the empty space, whose empty subset is dense in it. \(\square\)
Worked Example: A Countable Discrete Space
Give \(X=\mathbb{N}=\{1,2,3,\dots\}\) the discrete topology. The collection \(\mathcal{B}=\{\{n\}:n\in\mathbb{N}\}\) is countable. It is a base: if \(U\) is open and \(n\in U\), then \(\{n\}\in\mathcal{B}\) and \(n\in\{n\}\subseteq U\). Thus this space is second countable as well as first countable.
The set \(D=\mathbb{N}\) is countable and dense, since \(\overline{\mathbb{N}}=\mathbb{N}\). To check the Lindelof property, let \(\mathcal{U}\) be any open cover of \(\mathbb{N}\). For each \(n\in\mathbb{N}\), choose \(U_n\in\mathcal{U}\) with \(n\in U_n\). Then the collection \(\{U_n:n\in\mathbb{N}\}\) is countable and covers \(\mathbb{N}\), so it is a countable subcover. This selection uses the usual countable-choice convention. The example illustrates the countable case; uncountability changes the conclusions about separability, second countability, and the Lindelof property.
Second Countability Requires a Countable Underlying Set
Proof. If \(X\) is countable, then the family of all singletons \(\{\{x\}:x\in X\}\) is countable and is a base. The empty space has the empty base, so this direction includes \(X=\varnothing\). Conversely, suppose \(\mathcal{B}\) is a base for a discrete space \(X\). For each \(x\in X\), the singleton \(\{x\}\) is open. Applying the base condition to the open set \(\{x\}\) and its point \(x\), there must be \(B_x\in\mathcal{B}\) such that \(x\in B_x\subseteq\{x\}\). These inclusions force \(B_x=\{x\}\). Therefore every singleton belongs to \(\mathcal{B}\). Distinct points give distinct singletons, so \(x\mapsto\{x\}\) injects \(X\) into \(\mathcal{B}\). If \(\mathcal{B}\) is countable, then \(X\) is countable. \(\square\)
The forward direction uses a basis for the whole topology, not a separate basis at each point. In an uncountable discrete space, the base condition forces the basis to contain \(\{x\}\) for every \(x\), so no countable family can suffice.
Worked Example: The Power Set of the Natural Numbers
Let \(X=\mathcal{P}(\mathbb{N})\) with the discrete topology. First, \(X\) is uncountable. If there were a list \(A_1,A_2,\ldots\) containing every subset of \(\mathbb{N}\), define \(D=\{n\in\mathbb{N}:n\notin A_n\}\). For each \(k\), membership of \(k\) in \(D\) is the opposite of membership of \(k\) in \(A_k\), so \(D\ne A_k\). This contradicts the claim that the list contains every subset.
For each \(A\in X\), the singleton \(\{A\}\) is open and is a local base at the point \(A\), so the space is first countable. But any base for the whole space must contain \(\{A\}\) for every \(A\in X\), by the second-countability proof. Since \(X\) is uncountable, such a base cannot be countable. Also, every dense subset of this discrete space must equal \(X\), so it is not separable.
The Singleton Cover and the Lindelof Property
Proof. For each \(x\in X\), the set \(\{x\}\) is open, and the family \(\mathcal{U}=\{\{x\}:x\in X\}\) covers \(X\). Any subfamily of \(\mathcal{U}\) that covers \(X\) must contain \(\{x\}\) for every \(x\in X\): no singleton \(\{y\}\) with \(y\ne x\) contains \(x\). Thus, if \(X\) is uncountable, this cover has no countable subcover, proving that \(X\) is not Lindelof. If \(X\) is countable, enumerate its points and, from any open cover, choose one covering set for each point. The chosen sets form a countable subcover. For \(X=\varnothing\), the empty subcover suffices. \(\square\)
For the uncountable case, the obstruction is explicit: the singleton cover cannot be reduced at all while still covering \(X\). The argument does not need a choice of covering sets; every set in the cover is already specified.
Putting the Properties Side by Side
| Property of a discrete space \(X\) | What the definitions require | Conclusion |
|---|---|---|
| First countable | A countable local base at each point | Always; use the one-element local base \(\{\{x\}\}\) |
| Separable | A countable dense subset | Exactly when \(X\) is countable |
| Second countable | One countable base for the whole space | Exactly when \(X\) is countable |
| Lindelof | A countable subcover for every open cover | Exactly when \(X\) is countable, with the usual countable-choice convention |
Common pitfall. A tempting but incorrect argument is: “Every point has the one-element local base \(\{\{x\}\}\), so the space has a countable base.” The conclusion does not follow. For example, in \(\mathbb{R}\) with the discrete topology, the local base at \(x\) is \(\{\{x\}\}\), but a base for the whole space must include \(\{x\}\) for every real number \(x\). There are uncountably many such singletons. The correction is to keep the quantifiers distinct: first countability gives a countable family for each fixed point; second countability requires one countable family that works for every point.
The uncountable discrete space is useful precisely because these properties separate cleanly. Local neighborhoods are as simple as possible, yet there are too many points for a countable dense set or a countable global base, and the open cover by singletons has no countable subcover.
Check Your Understanding
For each question, use the definitions of the topology and the countability property involved.
- In a discrete space \(X\), why is \(\{\{x\}\}\) a local base at each \(x\in X\)?
- Prove directly that a dense subset of a discrete space must be the entire space.
- Why must every base for an uncountable discrete space contain uncountably many sets?
- For an uncountable discrete space, explain why the cover by all singletons cannot have a countable subcover.
- Which of first countability, separability, second countability, and the Lindelof property hold for a countable discrete space?