Countable Local Bases At A Point

Neighborhoods Recorded by a Countable Family

To understand what happens near a point, one can examine all its open neighborhoods. Sometimes a countable collection of neighborhoods is enough: every open neighborhood contains at least one member of that collection. The important condition is refinement by containment. The neighborhoods in the collection need not themselves be small in any numerical sense; they must collectively fit inside every neighborhood that is given.

We work with a topological space \((X,\mathcal{T})\). An open neighborhood of \(x\in X\) is an open set \(U\in\mathcal{T}\) such that \(x\in U\). A family is countable here if it is finite or can be indexed by \(\mathbb{N}=\{1,2,\dots\}\). This is a condition at a particular point, not a claim that one family describes neighborhoods at every point.

The defining requirement can be read as a test: start with any open neighborhood \(U\) of \(x\), however it was chosen, and find a member of \(\mathcal{B}_x\) contained in \(U\). It is not enough that every neighborhood merely intersects some member of the family. Nor is it enough that the family contains neighborhoods of \(x\) without refining all the others.

A Countable Local Base in the Real Line

Give \(\mathbb{R}\) its standard topology. Its open neighborhoods of \(x\) contain an open interval centered at \(x\). For each \(n\in\mathbb{N}\), define the interval \(B_n=(x-1/n,x+1/n)\). These intervals form a countable local base at \(x\).

Proof. Each \(B_n=(x-1/n,x+1/n)\) is open in the standard topology and contains \(x\), since \(x-1/n<x<x+1/n\). Let \(U\) be any open neighborhood of \(x\). By the definition of the standard topology, some \(\varepsilon>0\) satisfies \((x-\varepsilon,x+\varepsilon)\subseteq U\). Choose \(n\in\mathbb{N}\) with \(n>1/\varepsilon\), which is possible by the Archimedean property of \(\mathbb{R}\). Then \(1/n<\varepsilon\), so \((x-1/n,x+1/n)\subseteq(x-\varepsilon,x+\varepsilon)\subseteq U\). Thus a member of the family is contained in every open neighborhood \(U\) of \(x\), as required. \(\square\)

Making a Countable Local Base Nested

A local base need not be ordered by size: one member may fit inside another without the family being listed in that order. But a countable local base can always be replaced by one whose members decrease as the index increases. This can be useful when a later argument needs a systematically refining family.

Proof. List a countable local base as \((B_n)_{n\in\mathbb{N}}\); if the original family is finite, repeat its members to obtain such a list. Set \(V_n=\bigcap_{k=1}^{n}B_k\). Each \(V_n\) is open because it is a finite intersection of open sets, and it contains \(x\) because every \(B_k\) contains \(x\). Also \(V_{n+1}=V_n\cap B_{n+1}\subseteq V_n\). It remains to check the local-base condition. For any open neighborhood \(U\) of \(x\), some \(B_j\subseteq U\), since the \(B_n\) form a local base. Then \(V_j=\bigcap_{k=1}^{j}B_k\subseteq B_j\subseteq U\). Thus the \(V_n\) form a countable local base with the stated nesting property. \(\square\)

More generally, in any discrete space \(X\), the family \(\{\{x\}\}\) is a local base at each \(x\): the singleton is open, and every set containing \(x\) contains \(\{x\}\). This uses the defining feature of the discrete topology. In a topology where singletons are not necessarily open, the same argument cannot be assumed to work.

Local Bases in Cofinite Spaces

For a set \(X\), the cofinite topology consists of \(\varnothing\) and all subsets whose complements in \(X\) are finite. Its open neighborhoods can be very large: each nonempty one omits only finitely many points. Whether a point has a countable local base nevertheless depends on the size of \(X\).

These sets do form a topology. The empty set and \(X\) belong to the collection. The complement of a finite intersection of cofinite sets is a finite union of finite sets, hence finite, so finite intersections are cofinite. For an arbitrary union, if every set in the union is empty, the union is empty; otherwise the union contains a nonempty cofinite set, so its complement is a subset of a finite set and is finite. Thus arbitrary unions also belong to the collection.

Proof. Fix \(x\in X\), and suppose for contradiction that \((U_n)_{n\in\mathbb{N}}\) is a countable local base at \(x\). Each \(U_n\) is an open neighborhood of \(x\), so \(F_n=X\setminus U_n\) is finite and does not contain \(x\). The union \(F=\bigcup_{n\in\mathbb{N}}F_n\) is countable, since it is a countable union of finite sets. As \(X\) is uncountable, there is \(y\in X\setminus(F\cup\{x\})\). The set \(V=X\setminus\{y\}\) is an open neighborhood of \(x\), since its complement is finite and \(y\ne x\). But \(y\notin F_n\) for every \(n\), so \(y\in U_n\) for every \(n\). Therefore no \(U_n\) is contained in \(V\), contradicting the local-base condition. \(\square\)

A Common Pitfall

Common mistake: assume that every cofinite space has a countable local base because each open neighborhood omits only finitely many points. That reasoning confuses “each complement is finite” with “all the points omitted by a countable family can cover every possible finite complement.” In the cofinite topology on \(\mathbb{R}\), for example, a countable proposed family \((U_n)\) omits only the countable set \(\bigcup_n(\mathbb{R}\setminus U_n)\). A point \(y\) outside that union remains in every \(U_n\), and the valid neighborhood \(\mathbb{R}\setminus\{y\}\) is not refined by any of them. The correction is to check refinement against an arbitrary neighborhood, not just to observe that each proposed set is open.

At a point, a countable local base is useful because it reduces every neighborhood-refinement question to a fixed countable family. The examples also show why the definition is genuinely pointwise and sensitive to the topology: in the discrete topology, a singleton already refines every neighborhood; in the cofinite topology, countability of the underlying set allows a countable family to list excluded points, while uncountability prevents any countable family from doing so.