Cauchyruna

Úr Wikipediu, frjálsa alfræðiritinu
Stökkva á: flakk, leita
Ferill Cauchyrunu (x_n), sýndur með blárri línu, sem n móti x_n. Ef rýmið er endanlegt þá lokast ferillinn í endapunkti (markgildi).
Ferill sem er ekki Cauchyruna. Ystu mörk ferilsins nálgast ekki.

Cauchyruna er runa, nefnd eftir Augustin Louis Cauchy, þar sem fjarlægð tveggja samliggjandi staka minnkar eftir því farið er lengra frá fyrsta stakinu.

Þetta má setja fram sem x_1, x_2, x_3, \ldots , í firðrúmi sem hefur þann eiginleika að fyrir sérhverja jákvæða rauntölu ε > 0 er til náttúrleg tala N, þ.a. fyrir alla vísa m og n sem eru stærri en N gildi:

d(x_m, x_n) < \varepsilon.

þar sem d(x_m,x_n) táknar fjarlægðina milli x_m og x_n.

Í fullkomnu firðrúmi hefur sérhver Cauchyruna markgildi í firðrúminu. Cauchyrunur gegna mikilvægu hlutverki í grannfræði og fallafræði.