Difference between revisions of "Complete metric space"

Revision as of 14:46, 9 July 2015

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