Set . This is a countable set, hence a closed set in the stated topology, and . Consequently is an open neighbourhood of . By convergence of a sequence, all sufficiently late terms lie outside . A sequence term outside must equal . Thus the sequence is eventually constant, and only finitely many indices have .
Articles by others on the same topic
There are currently no matching articles.