FIND ME ON

GitHub

LinkedIn

First-countable

🌱

Definition

(X,T)(X,\mathscr{T}) is first-countable if, for every x∈Xx\in X, there exists a sequence of neighbourhoods {Uj}j∈N\{ \mathcal{U}_{j} \}_{j\in \mathbb{N}} of xx such that, for any neighbourhood U\mathcal{U} of xx, there exists j∈Nj\in \mathbb{N} with UjβŠ‚U\mathcal{U}_{j}\subset \mathcal{U}.

Looking at the definition of Second-countable we can see that this weakens that notion by saying each point x∈Xx\in X has a countable Topological Space Basis i.e.Β the countable collection of neighbourhoods {Uj}j∈N\{ \mathcal{U}_{j} \}_{j\in \mathbb{N}} forms a neighbourhood basis in the sense that for any other neighbourhood U\mathcal{U} of xx we can find an index that points us to something in the basis s.t. UjβŠ‚U\mathcal{U}_{j}\subset \mathcal{U}.

Linked from