Every sequence in a compact space is a lingering sequence/Statement

From Maths
< Every sequence in a compact space is a lingering sequence
Revision as of 16:22, 6 December 2015 by Alec (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Statement

In a metric space [ilmath](X,d)[/ilmath] that is compact every sequence is a lingering sequence, that is to say[1]:

  • [math]\forall(x_n)_{n=1}^\infty\subseteq X\ :\ \exists x\in X\ \forall\epsilon>0[\vert B_\epsilon(x)\cap(x_n)_{n=1}^\infty\vert=\aleph_0][/math]

References

  1. Introduction to Topology - Theodore W. Gamelin & Robert Everist Greene