Closed iff Convergent Cauchy Sequences

Closure implies Cauchy Sequences

A is Closed (Toplogical) ifff every Cauchy Sequence in A converges to a point in A.

Proof

See 32 Open and Closed Sets Practice#3.2.5:

3.2.5

Closure implies Cauchy Sequences

A is Closed (Toplogical) ifff every Cauchy Sequence in A converges to a point in A.

Proof

(): Suppose A is closed, so then A contains it's limit points. Let (xn)A be a Cauchy Sequence. Then (xn) converges by being Cauchy. Say it converges to x, then since A is closed then xA as required since A contains its limit points, which are equivalent to the limits of the convergent sequences of A.

(): Suppose (xn)A where (xn)x (ie: the sequence (xn) is Cauchy because it converges) where xA. We need to show that A contains it's limit points.

Let be a limit point of A. We want to show that A. Since is a limit point of A then equivalently there is some sequence of points in A{} where it converges to . Denote this sequence (an)A{} where (an). then since all convergent sequences in A converge to a point in A then A.

See some examples at Lecture 21 - More Definitions on Topology#Examples.

This implies that, for example, The Density of Q in R can be reformulated as:

(Density of Q in R, via Sequences)

For every yR then (xn)Q as a Sequence such that it converges to y.

This suggests that we can always find some rational approximation for a real number, no matter what!