Cauchy jada

**Fundamentaaljadaks** ehk **Cauchy jadaks** nimetatakse (arvude, üldisemalt meetrilise ruumi punktide) jada **v**n, mille elemendid indeksi *n* kasvades üksteisele lõputult lähenevad, st iga etteantud positiivse kauguse korral leidub jada element, millest alates kõik jada elemendid on üksteisest etteantud kaugusest väiksemal kaugusel. 

Cauchy jadad on nime saanud prantsuse matemaatiku Augustin-Louis Cauchy järgi. Neil on matemaatilises analüüsis põhjapanev tähtsus.

Arvude fundamentaaljadad on defineeritud mingi arvuhulga suhtes (kui jutt on reaalarvudest, siis peetakse vaikimisi silmas reaalarvude hulka, aga seda hulka võidakse ka eksplitsiitselt kitsendada). Selles hulgas ei pruugi kõikidel fundamentaaljadadel piirväärtust olla, näiteks kõikidel ratsionaalarvude fundamentaaljadadel ei ole piirväärtust ratsionaalarvude seas. Kui ratsionaalarvude fundamentaaljadal ei ole piirväärtust ratsionaalarvude seas, siis reaalarvude hulga suhtes on tal piirväärtus, mis on irratsionaalarv. Iga arvuhulk on meetriline ruum. Meetrilise ruumi punktide kõik fundamentaaljadad koonduvad selles ruumis parajasti siis, kui see ruum on täielik. Reaalarvud moodustavad  täieliku meetrilise ruumi, ratsionaalarvud mitte.  Mittetäieliku meetrilise ruumi saab  täielikustada, lisades uute elementidena nende fundamentaaljadade ekvivalentsusklassid, mis selles ruumis ei koondu. (Fundamentaaljadad on ekvivalentsed, kui nad tulevad üksteisele kui tahes lähedale). Ratsionaalarvude ruumi täielikustamisel saame reaalarvude ruumi.  

## Reaalarvude fundamentaaljadad
### Definitsioon

Reaalarvude jada (a_i)_{i\in \mathbb{N}} nimetatakse fundamentaaljadaks ehk Cauchy jadaks, kui mis tahes  \varepsilon>0 korral leidub indeks N, millest alates kõik jada elemendid on üksteisest väiksemal kaugusel kui  \varepsilon: 

:\forall \varepsilon>0 \quad \exists N\in\mathbb{N} \quad \forall m,n \ge N \colon \quad \left|a_m-a_n \right|

kus | \cdot | on arvu absoluutväärtus.

### Näited

* Jada a_i = \tfrac{1}{i} on fundamentaaljada. Tõepoolest, mis tahes etteantud  \varepsilon>0 korral saab valida niisuguse naturaalarvu N, et kehtib N>\tfrac{1}{\varepsilon}. Kui nüüd valida suvalised naturaalarvud n\geq m>N, siis kehtib

::| a_m - a_n | = \left|\frac{1}{m} - \frac{1}{n}\right| = \left|\frac{n-m}{mn}\right| .

* Jada a_i = i ei ole fundamentaaljada. Olgu valitud \varepsilon=\tfrac12 ja olgu N suvaline naturaalarv. Siis saab valida n=N+1 ja m=n+1 ning alati kehtib

::| a_m - a_n | = | m - n | = 1 \geq \varepsilon.

### Koonduv jada on fundamentaaljada
Teoreem. Iga koonduv reaalarvude jada on fundamentaaljada. 

Tõestus. Olgu (a_n)_{n\in\N} suvaline koonduv jada piirväärtusega a. Olgu \epsilon > 0. Siis leidub  N\in\N nii, et kõikide  n,m\in\N korral, nii et n,m \ge N, kehtib  

\begin{align}
|a - a_n| &  

Olgu n,m \ge N nüüd suvalised. Kolmnurga võrratusest järeldub, et 

\begin{align}
|a_n - a_m| & = |(a_n - a) + (a-a_m)| 
& \le \underbrace_{.

### Fundamentaaljada on tõkestatud
Teoreem. Iga reaalarvude fundamentaaljada on tõkestatud.

Tõestus. Olgu (a_n)_{n\in\N} fundamentaaljada. Niisiis leidub iga  \epsilon > 0 korral niisugune N\in\N, et kõikide n,m\ge N korral |a_n-a_m|. Olgu \epsilon=1. Niisiis leidub  niisugune N\in\N, et kõikide n,m\ge N korral |a_n-a_m|. Olgu m=N, siis kõikide n\ge N korral |a_n-a_N|  Seega asetsevad kõik jada elemendid a_n, mille korral n\ge N, vahemikus (a_N-1,a_N+1). Seega on kõik jada elemendid alates indeksist N ülalt tõkestatud arvuga a_N+1 ja alt tõkestatud arvuga a_N-1:

(a_n)_{n\in\N} = (a_1,\, a_2,\, \ldots,\, a_{N-1},\,{\color{OliveGreen}\underbrace{a_N,\, a_{N+1},\, a_{N+2},\,a_{N+3},\,\ldots}_{\text{Need jada elemendid on  }\le a_N+1\text{ ja }\ge a_N-1}} ).

Enne elementi a_N asetseb ainult lõplik hulk jada elemente a_1,\, a_2,\,\ldots,\,a_{N-1}. Need on seetõttu tõkestatud. Seetõttu on nad ülalt tõkestatud arvuga S=\max\{a_1,\, a_2,\, \ldots,\,a_{N-1}\} ja alt tõkestatud arvuga s=\min\{a_1,\, a_2,\, \ldots,\,a_{N-1}\}. Saame:

(a_n)_{n\in\N} = ({\color{Blue} \underbrace{a_1,\, a_2,\, \ldots,\,a_{N-1}}_{\text{Need jada elemendid }\le S\text{ ja }\ge s}}, {\color{OliveGreen}\underbrace{a_N,\, a_{N+1},\, a_{N+2},\,a_{N+3},\,\ldots}_{\text{Need jada elemendid on }\le a_N+1\text{ ja }\ge a_N-1}} ).

Kogu jada on niisiis ülalt tõkestatud arvuga \max\{S,a_N+1\} ja alt tõkestatud arvuga \min\{s,a_N-1\}.

### Koonduva osajadaga fundamentaaljada on koonduv
Lemma. Iga reaalarvuline fundamentaaljada (a_n)_{n\in\N}, millel on arvuks  a koonduv osajada \left(a_{n_k}\right)_{k\in\N}, koondub selle koonduva osajada piirväärtuseks a.

Selgitus. Olgu (a_n)_{n\in\N} fundamentaaljada ja \left(a_{n_k}\right)_{k\in\N} selle fundamentaaljada koonduv osajada piirväärtusega  a. Fundamentaaljada (a_n)_{n\in\N} definitsiooni järgi jõuavad ja jäävad selle jada elemendid üksteisele kui tahes lähedale. Koonduva osajada elemendid jõuavad ja jäävad koonduva jada definitsiooni järgi kui tahes lähedale arvule a. 

Olgu \epsilon > 0. Nüüd tuleb leida niisugune N\in\N, et kõikide n\ge N korral |a_n-a|. Alustame võrratusest
|a_n-a|. Kui jada element a_n asetseb osajadas  \left(a_{n_k}\right)_{k\in\N}, ei ole sellega probleemi, sest piisavalt suurte indeksite puhul võrratus kehtib. Vaatleme jada elementi a_n, mis ei ole kõnealuse osajada element. Fundamentaaljada definitsioonist järeldub, et lõpuks peab jada liikme a_n mis tahes ümbruses olema osajada elemente. Need aga on piirväärtusele kui tahes lähedal. Kolmnurga võrratusest järeldub, et 

\begin{align}
|a_n-a| &= \left|a_n-a_{n_k}+a_{n_k}-a\right|\\
&\le\left|a_n-a_{n_k}\right|+\left|a_{n_k}-a\right|
\end{align}.

Mõlemad absoluutväärtused saab teha kui tahes väikeseks. Kui mõlemad on väiksemad kui \tfrac \epsilon2, siis on |a_n-a| kindlasti väiksem kui \epsilon. Alustame avaldisest  \left|a_{n_k}-a\right|. Siin leiame indeksi N_1, mille korral kõikide k\ge N_1 korral \left|a_{n_k}-a\right| . Arv  N_1 leidub, sest osajada  \left(a_{n_k}\right)_{k\in\N} koondub arvuks a.

Vaatame nüüd teist avaldist: leidub niisugune  N_2, et kõikide n,m\ge N_2 korral |a_n-a_m|. Meil on a_m asemel a_{n_k}. Niisiis tuleb tagada, et n_k \ge N_2. Üldiselt onn_k \ge k, sest (n_k)_{k\in\N} on naturaalarvude kasvav jada. Seega võime valida k\ge N_2, sest siis n_k \ge k \ge N_2. Et aga ka k peaks olema suurem kui N_1, siis valime ükskõik millise k\ge \max\{N_2,N_1\}. 

Muutuja n esines seni ainult avaldises |a_n-a_m|. Seal me nõudsime, et kehtiksn,m\ge N_2. Sellepärast me nõuame indeksilt n ainult seda, et see oleks suurem kuiN_2. Sellepärast valime koonduvuse tõestuses N=N_2.

Tõestus. Olgu (a_n)_{n\in\N} Cauchy jada ja \left(a_{n_k}\right)_{k\in\N} selle Cauchy jada koonduv osajada piirväärtusega  a. Olgu \epsilon > 0 suvaline. Cauchy jada definitsioonist järeldub, et leidub niisugune N\in\N, et kõikide n,m\ge N korral |a_n-a_m|. 

### Täielikkus
On ratsionaalarvude jadasid, mille liikmed küll kuhjuvad kirjeldatud viisil, kuid millel ei ole piirväärtust ratsionaalarvude hulgas. Üks näide on ratsionaalrvude jada järgmise eeskirjaga (Heroni iteratsioonivalem)

:a_1:=1,\quad a_{i+1}:=\frac{a_i}{2} + \frac{1}{a_i}.

See jada on fundamentaaljada, aga selle piirväärtus on irratsionaalarv \sqrt{2}, nii et see ratsionaalarvude hulga piires ei koondu. Asjaolu, et  paljude ratsionaalarvuliste fundamentaaljadade piirväärtused ei kuulu ratsionaalarvude hulka \mathbb Q, viis ideeni, et reaalarve saab konstrueerida ratsionaalarvude hulga täielikustamise teel.

## Fundamentaaljadad meetrilistes ruumides
### Definitsioon
Üldisemalt defineeritakse fundamentaaljada mõiste   meetrilistes ruumides (X,d), st hulkades X, millel on antud meetrika d. Hulga X elementide jada (x_i)_{i\in \mathbb{N}} nimetatakse siis fundamentaaljadaks, kui

:\forall \varepsilon>0 \quad \exists N\in\N \quad \forall m,n \geq N \colon \quad d(x_m, x_n)  

See tähendab, iga reaalarvu \varepsilon > 0 korral leidub indeks N, nii et kõikide naturaalarvude m,n \geq N korral on vastavate jadaliikmete kaugus d(x_m, x_n) .

Samaväärne geomeetriline formuleering on järgmine: iga \varepsilon > 0 korral leiduvad punkt a ja indeks N, nii et kõik jada elemendid alates elemendist x_N asetsevad lahtises keras B_\varepsilon(a)  raadiusega \varepsilon punkti a ümber. See versioon erineb koonduvuse definitsioonist ainult selle poolest, et siin tohib keskpunkt a sõltuda raadiusest \varepsilon, kuna aga koonduvuse korral peab piirväärtus a olema raadiusest \varepsilon sõltumatu.

### Täielikkus

Iga koonduv jada meetrilises ruumis on ka fundamentaaljada. Tõepoolest, kui jada (x_i)_{i \in \N} koondub ja selle piirväärtus on x \in X, siis leidub iga \varepsilon > 0 korral indeks N \in \N, nii et kõikide n \geq N korrald(x,x_n) . Koos kolmnurga võrratusega, mis meetrilistes ruumides kehtib, järeldub sellest kõikide m,n \geq N korral, et

:d(x_m,x_n) \leq  d(x_m,x) + d(x,x_n) 

ja järelikult on see jada fundamentaaljada. Ümberpöördu ei pruugi siiski tõsi olla, mistõttu on võetud kasutusele täieliku ruumi (täieliku meetrilise ruumi) mõiste. Täielikus ruumis on definitsiooni kohaselt igal fundamentaaljadal piirväärtus ning koonduva jada mõiste langeb fundamentaaljada mõistega kokku. Ent iga mittetäieliku meetrilise ruumi saab täielikustada, moodustades fundamentaaljadade ekvivalentsusklassid. Seejuures loetakse kaks hulga X elementide fundamentaaljada  (x_i)_{i\in \N} ja (y_i)_{i\in \N} ekvivalentseteks, kui 
:\forall \varepsilon>0 \quad \exists N\in\N \quad \forall m,n \geq N \colon \quad d(x_m, y_n) 
ehk
:\lim_{m,n\in\N} d(x_m,y_n) = 0.
Kui ühe jada piirväärtus kuulub hulka X, siis kuulub sinna ka teise jada piirväärtus ja need piirväärtused on võrdsed. 

## Definitsioon

Olgu *M* meetriline ruum kaugusega \rho. Jada \mathbf{v}_n \in M nimetatakse fundamentaaljadaks, kui iga positiivse reaalarvu ε > 0 korral leidub selline naturaalarv *N*, et iga naturaalarvu *n*, *m* > *N* korral kehtib
: \rho(\mathbf{v}_n, \mathbf{v}_m) \leq \epsilon.

Seda asjaolu märgitakse lühemalt kujul 
: \rho(\mathbf{v}_n, \mathbf{v}_m)\underset{n,m}{\to} 0.
 
Kui jada \mathbf{v}_n on fundamentaaljada, siis öeldakse, et ta **koondub fundamentaalselt**. 

Erinevalt koonduvusest, mis sõltub sellest, millises ruumis jada vaadeldakse, on jada fundamentaalsus tema sisemine omadus.

## Vaata ka
*Cauchy kriteerium
*Cauchy võrk

## Märkused