First Countable Space

Let \left( {X,\tau } \right)be a topological space, then X is said to be first countable space if for every x \in X has a countable local bases, i.e., if every x \in X, {{\rm B}_x} is countable.

In other words, a topological space \left( {X,\tau } \right) is said to be the first countable space if every point x of Xhas a countable neighbourhood base. A first countable space is also said to be a space satisfying the first axiom of countability.


If Xis finite, then \left( {X,\tau } \right)is first countable space. As Xis finite, so its every subset is finite. If {{\rm B}_x} is local base of x \in X, then {{\rm B}_x} is also finite. So, \left( {X,\tau } \right) is first countable space.

Let X = \left\{ {a,b,c,d} \right\} be a non-empty set and \tau  = \left\{ {\phi ,X,\left\{ a \right\},\left\{ b \right\},\left\{ {a,b} \right\},\left\{ {c,d} \right\},\left\{ {a,c,d} \right\},\left\{ {b,c,d} \right\}} \right\} be topology defined on X.

Base at a  = {{\rm B}_a} = \left\{ a \right\}
Base at b  = {{\rm B}_b} = \left\{ b \right\}
Base at c  = {{\rm B}_c} = \left\{ {c,d} \right\}
Base at d  = {{\rm B}_d} = \left\{ {c,d} \right\}

Here each local base is countable, so \left( {X,\tau } \right) is first countable space.


If Xis either countable or uncountable and P\left( X \right)is discrete topology on X, then \left( {X,\tau } \right) always first countable space, because for each x \in X, {{\rm B}_x} (singleton) is the local base and so local base is finite. {{\rm B}_x} = \left\{ {\left\{ x \right\}} \right\}, x \in {{\rm B}_x} \subseteq U and {{\rm B}_x} is countable (finite).