Difference between revisions of "Equivalent statements to compactness of a metric space"

From Maths
Jump to: navigation, search
m (→‎Proof: Fixed typo)
m (→‎Theorem statement: Linking sub-page in)
 
(2 intermediate revisions by the same user not shown)
Line 1: Line 1:
−
==Theorem statement==
+
==[[:Equivalent statements to compactness of a metric space/Statement|Theorem statement]]==
 
{{:Equivalent statements to compactness of a metric space/Statement}}
 
{{:Equivalent statements to compactness of a metric space/Statement}}
 +
 
==Proof==
 
==Proof==
 
{{Begin Inline Theorem}}
 
{{Begin Inline Theorem}}
 
{{M|1)\implies 2)}}: {{M|X}} is [[compact]] {{M|\implies}} {{M|1=\forall(a_n)_{n=1}^\infty\subseteq X\ \exists}} a [[sub-sequence]] {{M|1=(a_{k_n})_{n=1}^\infty}} that [[Convergence (sequence)|coverges]] in {{M|X}}
 
{{M|1)\implies 2)}}: {{M|X}} is [[compact]] {{M|\implies}} {{M|1=\forall(a_n)_{n=1}^\infty\subseteq X\ \exists}} a [[sub-sequence]] {{M|1=(a_{k_n})_{n=1}^\infty}} that [[Convergence (sequence)|coverges]] in {{M|X}}
 
{{Begin Inline Proof}}
 
{{Begin Inline Proof}}
−
{{:Equivalent statements to compactness of a metric space/1-implies-2 proof}}
+
# Using [[every sequence in a compact space is a lingering sequence]] and
 +
# [[every lingering sequence has a convergent subsequence]]
 +
We see that every sequence in a compact space has a convergent subsequence.
 
{{End Proof}}{{End Theorem}}
 
{{End Proof}}{{End Theorem}}
−
{{Todo|Rest}}
+
{{Begin Inline Theorem}}
 +
{{M|2)\implies 3)}}: Suppose for all sequences {{M|1=(x_n)_{n=1}^\infty\subseteq X}} that {{MSeq|x_n}} has a convergent subsequence {{M|\implies}} {{M|(X,d)}} is a [[complete metric space]] and is [[totally bounded]]
 +
{{Begin Inline Proof}}
 +
'''Proof of completeness:'''
 +
: To show {{M|(X,d)}} is complete we must show that every [[Cauchy sequence]] converges. To do this:
 +
:* Let {{M|1=(x_n)_{n=1}^\infty\subseteq X}} be any [[Cauchy sequence]] in {{M|X}}
 +
:** Recall that [[If a subsequence of a Cauchy sequence converges then the Cauchy sequence itself also converges]]
 +
:*** By hypothesis all sequences in {{M|X}} have a convergent subsequence. By this theorem our {{M|1=(x_n)_{n=1}^\infty}} converges to the same thing.
 +
:* As our choice of Cauchy sequence was arbitrary we conclude that all Cauchy sequences converge in {{M|X}}, which is the definition of completeness.
 +
{{QED}}
 +
 
 +
'''Proof that {{M|(X,d)}} is [[totally bounded]]'''
 +
{{Todo|Do this}}
 +
{{QED}}
 +
{{End Proof}}{{End Theorem}}
 +
{{Todo|Rest, namely: {{M|3\implies 1}}}}
  
 
==Notes==
 
==Notes==

Latest revision as of 11:37, 27 May 2016

Theorem statement

Given a metric space [ilmath](X,d)[/ilmath], the following are equivalent[1][Note 1]:

  1. [ilmath]X[/ilmath] is compact
  2. Every sequence in [ilmath]X[/ilmath] has a subsequence that converges (AKA: having a convergent subsequence)
  3. [ilmath]X[/ilmath] is totally bounded and complete

Proof

[ilmath]1)\implies 2)[/ilmath]: [ilmath]X[/ilmath] is compact [ilmath]\implies[/ilmath] [ilmath]\forall(a_n)_{n=1}^\infty\subseteq X\ \exists[/ilmath] a sub-sequence [ilmath](a_{k_n})_{n=1}^\infty[/ilmath] that coverges in [ilmath]X[/ilmath]

  1. Using every sequence in a compact space is a lingering sequence and
  2. every lingering sequence has a convergent subsequence

We see that every sequence in a compact space has a convergent subsequence.

[ilmath]2)\implies 3)[/ilmath]: Suppose for all sequences [ilmath](x_n)_{n=1}^\infty\subseteq X[/ilmath] that [ilmath] ({ x_n })_{ n = 1 }^{ \infty } [/ilmath] has a convergent subsequence [ilmath]\implies[/ilmath] [ilmath](X,d)[/ilmath] is a complete metric space and is totally bounded

Proof of completeness:

To show [ilmath](X,d)[/ilmath] is complete we must show that every Cauchy sequence converges. To do this:

Q.E.D.

Proof that [ilmath](X,d)[/ilmath] is totally bounded

TODO: Do this

Q.E.D.


TODO: Rest, namely: [ilmath]3\implies 1[/ilmath]


Notes

  1. ↑ To say statements are equivalent means we have one [ilmath]\iff[/ilmath] one of the other(s)

References

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



Retrieved from "https://wiki.unifiedmathematics.com/index.php?title=Equivalent_statements_to_compactness_of_a_metric_space&oldid=2618"