logo

The First Countable and the Second Countable 📂Topology

The First Countable and the Second Countable

Definition 1

Let’s suppose that a topological space $X$ is given.

  1. If every point $x \in X$ has a countable local base, it is called a first-countable space.
  2. If $X$ has a countable base, it is called a second-countable space.

Explanation

Through the concepts of base and local base, a new branch of countability has been created.

Examples of spaces not being first-countable

Discrete spaces $\left( \mathbb{R} , \mathscr{T}_{f} \right)$ are not first-countable, and needless to say, they are not second-countable either.

Intuitive Understanding

Although not an accurate explanation, one can understand the first-countability as the feeling that at every point, there exists a countable number of open sets. On the other hand, the second-countability conveys a sense that a countable set encompasses the whole, closely related to the concept of separability. First-countability and second-countability are not mutually exclusive contrary to first-category & second-category and have an inclusion relationship. This can be readily verified by considering the relationship between a base and a local base. Moreover, as previously mentioned, second-countability not only resembles the concept of separability but in fact, it can also be shown to embody true separability.

Theorem

  • [1]: Every second-countable space is a first-countable space.
  • [2]: Every second-countable space is separable.

Proof

Every second-countable space is first-countable

If $X$ is a second-countable space, then $X$ will have a countable base $\mathscr{B}$.

Relationship between base and local base: If $\mathscr{B}$ is a base for $X$, then $\mathscr{B}_{x} := \left\{ B \in \mathscr{B} \ | \ x \in B \right\}$ is a local base for $x \in X$.

Since $\mathscr{B}_{x} = \left\{ B \in \mathscr{B} \ | \ x \in B \right\}$ is countable for all $x \in X$, $X$ is first-countable.

Every second-countable space is separable

Suppose $X$ is a second-countable space that has a countable base $\mathscr{B}$. For every non-empty set $B \in \mathscr{B}$, let’s choose $x_{B} \in B$ and define $D : = \left\{ x_{B} \in B \ | \ \emptyset \ne B \in \mathscr{B} \right\}$. Since $D$ is constructed by selecting elements from the countable base $\mathscr{B}$, $D$ is also countable, and proving $\overline{D} = X$ concludes the proof.

Let’s say $U$ is an open set that contains $x \in X \setminus D$.

Since $\mathscr{B}$ is a base for $X$, there exists $B \in \mathscr{B}$ satisfying $x \in B \subset U$. Since $x_{B} \in B \cap D$ and $x \notin D$, we have $$ D \cap (B \setminus \left\{ x \right\} ) \ne \emptyset $$. As mentioned earlier, since $B \subset U$, $$ D \cap (U \setminus \left\{ x \right\} ) \ne \emptyset $$ still holds. By the definition of a limit point, $x$ is a limit point of $D$, and since $x \in \overline{D}$, $X \setminus D \subset \overline{D}$ holds. Of course, since $D \subset \overline{D}$, to satisfy both conditions, it must be that $X = \overline{D}$.


  1. Munkres. (2000). Topology(2nd Edition): p190. ↩︎