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 x∈A 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 x∈A. 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 y∈R 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!