Complete metric space

From Maths
Revision as of 14:46, 9 July 2015 by Alec (Talk | contribs) (Created page with "==Definition== Given a metric space {{M|(X,d)}}, if every Cauchy sequence converges to a limit within {{M|X}} then {{M|X}} is a ''complete metric space''<...")

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

Definition

Given a metric space [ilmath](X,d)[/ilmath], if every Cauchy sequence converges to a limit within [ilmath]X[/ilmath] then [ilmath]X[/ilmath] is a complete metric space[1]

Examples

Complete space

  • Obviously the [ilmath]\mathbb{R} [/ilmath] (reals) are complete, considered with the usual topology induced by the Absolute value metric

Incomplete space

  • A good example is the space of fractions, [ilmath]\mathbb{Q} [/ilmath] considered with the Absolute value metric again, there are rational sequences which converge to say, [ilmath]\sqrt{2} [/ilmath], and [ilmath]\sqrt{2}\notin\mathbb{Q} [/ilmath]
  • A better example is the space of continuous functions on an interval, [ilmath]\mathcal{C}[a,b][/ilmath] and the distance function:
    • [ilmath]d(f,g)=\sqrt{\int^b_a\vert f(x)-g(x)\vert dx}[/ilmath] for [ilmath]f,g\in\mathcal{C}[a,b][/ilmath]
    • Let [ilmath]a=-1[/ilmath] and [ilmath]b=1[/ilmath] (WLOG)
    • We can then see that the sequence of functions [ilmath](f_n)_{n=1}^\infty[/ilmath] where each [ilmath]f_n:[-1,1]\rightarrow[0,1]\subset\mathbb{R} [/ilmath] given by:
      [ilmath]f_n(x)=\left\{\begin{array}{lr}0 & \text{for }x\in[-1,0] \\ nx &\text{for }x\in(0,\frac{1}{n}] \\ 1 & \text{otherwise}\end{array}\right.[/ilmath]
      • Has a limit (note that: [ilmath]\lim_{n\rightarrow\infty}(f_n)=f[/ilmath] with [ilmath]f(x)=\left\{\begin{array}{lr} 0 & \text{for }x\in[-1,0] \\ 1 & \text{otherwise}\end{array}\right.[/ilmath] and that this [ilmath]f[/ilmath] isn't continuous (in [ilmath](\mathbb{R},\vert\cdot\vert)[/ilmath]) anyway!)
      • and that limit, [ilmath]f[/ilmath] isn't continuous, this we have shown that [ilmath]\mathcal{C}[-1,1][/ilmath] isn't complete. (and by translation/scaling as needed, [ilmath]\mathcal{C}[a,b][/ilmath] isn't complete)

References

  1. Functional Analysis - George Bachman and Lawrence Narici