Difference between revisions of "Cauchy sequence"
From Maths
m (Reverted edits by JessicaBelinda133 (talk) to last revision by Alec) |
m |
||
| Line 1: | Line 1: | ||
==Definition== | ==Definition== | ||
| − | Given a [[Metric space|metric space]] {{M|(X,d)}} and a [[Sequence|sequence]] {{M|1=(x_n)_{n=1}^\infty\subseteq X}} is said to be a ''Cauchy sequence''<ref name="FA">Functional Analysis - George Bachman and Lawrence Narici</ref> if: | + | Given a [[Metric space|metric space]] {{M|(X,d)}} and a [[Sequence|sequence]] {{M|1=(x_n)_{n=1}^\infty\subseteq X}} is said to be a ''Cauchy sequence''<ref name="FA">Functional Analysis - George Bachman and Lawrence Narici</ref><ref name="KMAPI">Krzysztof Maurin - Analysis - Part I: Elements</ref> if: |
| − | * {{M|\forall\epsilon > 0\exists N\in\mathbb{N}\forall n,m\in\mathbb{N}[n\ge m> N\implies d(x_m,x_n)<\epsilon]}} | + | * {{M|\forall\epsilon > 0\exists N\in\mathbb{N}\forall n,m\in\mathbb{N}[n\ge m> N\implies d(x_m,x_n)<\epsilon]}}<ref group="Note">Note that in [[Krzysztof Maurin's notation]] this is written as {{MM|1=\bigwedge_{\epsilon>0}\bigvee_{N\in\mathbb{N} }\bigwedge_{m,n>\mathbb{N} }d(x_n,x_m)<\epsilon}} - which is rather elegant</ref><ref group="Note">It doesn't matter if we use {{M|n\ge m>N}} or {{M|n,m\ge N}} because if {{M|1=n=m}} then {{M|1=d(x_n,x_m)=0}}, it doesn't matter which way we consider them (as {{M|n>m}} or {{M|m>n}}) for {{M|1=d(x,y)=d(y,x)}} - I use the ordering to give the impression that as {{M|n}} goes out ahead it never ventures far (as in {{M|\epsilon}}-distance}}) from {{M|x_m}}. This has served me well</ref> |
In words it is simply: | In words it is simply: | ||
* For any arbitrary distance apart, there exists a point such that any two points in the sequence after that point are within that arbitrary distance apart. | * For any arbitrary distance apart, there exists a point such that any two points in the sequence after that point are within that arbitrary distance apart. | ||
| + | ==See also== | ||
| + | * [[Completeness]] | ||
| + | |||
| + | ==Notes== | ||
| + | <references group="Note"/> | ||
==References== | ==References== | ||
<references/> | <references/> | ||
{{Definition|Functional Analysis|Metric Space|Real Analysis}} | {{Definition|Functional Analysis|Metric Space|Real Analysis}} | ||
Revision as of 15:26, 24 November 2015
Contents
[hide]Definition
Given a metric space (X,d) and a sequence (xn)∞n=1⊆X is said to be a Cauchy sequence[1][2] if:
In words it is simply:
- For any arbitrary distance apart, there exists a point such that any two points in the sequence after that point are within that arbitrary distance apart.
See also
Notes
- Jump up ↑ Note that in Krzysztof Maurin's notation this is written as ⋀ϵ>0⋁N∈N⋀m,n>Nd(xn,xm)<ϵ - which is rather elegant
- Jump up ↑ It doesn't matter if we use n≥m>N or n,m≥N because if n=m then d(xn,xm)=0, it doesn't matter which way we consider them (as n>m or m>n) for d(x,y)=d(y,x) - I use the ordering to give the impression that as n goes out ahead it never ventures far (as in ϵ-distance}}) from xm. This has served me well
