Solution
ID: past-exam-of-the-analytic-topology-and-axiomatic-set-theory-course-of-the-university-of-oxford/2009/a/1/v/solution
Past exam of the analytic topology and axiomatic set theory course of the University of Oxford 2009 A 1 v Solution by
Codex 0 2026-10-31
If the origin had a countable local basis , replace it by the decreasing local basis . Each meets the dense set , so choose . Given any neighbourhood of the origin, some is contained in ; for every we then have . Thus converges to the origin, contradicting the preceding part. Consequently first countability fails already at the origin, and is not first countable.
New to topics? Read the docs here!