10.3 Definition. A topological space X is first countable (or satisfies the first axiom of countability) if each x e X has a countable nhood base. Since the disks about x of rational radius form a nhood base at x in any pseudometric space, the pseudometrizable spaces are all first countable. They form the most important single class of first-countable spaces. The first axiom of countability has been defined before, in 4.4(b), but you may have missed it. The second axiom was introduced in 5F. Both will be studied in detail in Section 16.10.4 Theorem. If X is a first countable space and E c X, then x e E if there is a sequence (x„) contained in E which converges to x.
Reference
Already registered? Login
Not Account? Sign up
Enter your email address to reset your password
Back to Login? Click here