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 ℕ}$ nimetatakse fundamentaaljadaks ehk Cauchy jadaks, kui mis tahes $ε > 0$ korral leidub indeks $N$ , millest alates kõik jada elemendid on üksteisest väiksemal kaugusel kui $ε$ :

\forall ε > 0 \exists N \in ℕ \forall m, n \geq N : | a_{m} - a_{n} | < ε,

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

Näited

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

| a_{m} - a_{n} | = | \frac{1}{m} - \frac{1}{n} | = | \frac{n - m}{m n} | < \frac{n}{m n} = \frac{1}{m} < \frac{1}{N} < ε

.

Jada $a_{i} = i$ ei ole fundamentaaljada. Olgu valitud $ε = \frac{1}{2}$ ja olgu $N$ suvaline naturaalarv. Siis saab valida $n = N + 1$ ja $m = n + 1$ ning alati kehtib^[1]

| a_{m} - a_{n} | = | m - n | = 1 \geq ε

.

Koonduv jada on fundamentaaljada

Teoreem. Iga koonduv reaalarvude jada on fundamentaaljada.

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

$\begin{matrix} | a - a_{n} | & < \frac{ϵ}{2} \\ | a - a_{m} | & < \frac{ϵ}{2} \end{matrix} .$

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

$\begin{matrix} | a_{n} - a_{m} | & = | (a_{n} - a) + (a - a_{m}) | & \leq \underset{< \frac{ϵ}{2}}{\underset{⏟}{| a_{n} - a |}} + \underset{< \frac{ϵ}{2}}{\underset{⏟}{| a - a_{m} |}} < ϵ \end{matrix} .$ .

Fundamentaaljada on tõkestatud

Teoreem. Iga reaalarvude fundamentaaljada on tõkestatud.

Tõestus. Olgu $(a_{n})_{n \in ℕ}$ fundamentaaljada. Niisiis leidub iga $ϵ > 0$ korral niisugune $N \in ℕ$ , et kõikide $n, m \geq N$ korral $| a_{n} - a_{m} | < ϵ$ . Olgu $ϵ = 1$ . Niisiis leidub niisugune $N \in ℕ$ , et kõikide $n, m \geq N$ korral $| a_{n} - a_{m} | < 1$ . Olgu $m = N$ , siis kõikide $n \geq N$ korral $| a_{n} - a_{N} | < 1 .$ Seega asetsevad kõik jada elemendid $a_{n}$ , mille korral $n \geq 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 ℕ} = (a_{1}, a_{2}, \dots, a_{N - 1}, \underset{Need jada elemendid on \leq a_{N} + 1 ja \geq a_{N} - 1}{\underset{⏟}{a_{N}, a_{N + 1}, a_{N + 2}, a_{N + 3}, \dots}}) .$

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

$(a_{n})_{n \in ℕ} = (\underset{Need jada elemendid \leq S ja \geq s}{\underset{⏟}{a_{1}, a_{2}, \dots, a_{N - 1}}}, \underset{Need jada elemendid on \leq a_{N} + 1 ja \geq a_{N} - 1}{\underset{⏟}{a_{N}, a_{N + 1}, a_{N + 2}, a_{N + 3}, \dots}}) .$

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 ℕ}$ , millel on arvuks $a$ koonduv osajada ${(a_{n_{k}})}_{k \in ℕ}$ , koondub selle koonduva osajada piirväärtuseks $a$ .

Selgitus. Olgu $(a_{n})_{n \in ℕ}$ fundamentaaljada ja ${(a_{n_{k}})}_{k \in ℕ}$ selle fundamentaaljada koonduv osajada piirväärtusega $a$ . Fundamentaaljada $(a_{n})_{n \in ℕ}$ 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 $ϵ > 0$ . Nüüd tuleb leida niisugune $N \in ℕ$ , et kõikide $n \geq N$ korral $| a_{n} - a | < ϵ$ . Alustame võrratusest $| a_{n} - a | < ϵ$ . Kui jada element $a_{n}$ asetseb osajadas ${(a_{n_{k}})}_{k \in ℕ}$ , 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{matrix} | a_{n} - a | & = | a_{n} - a_{n_{k}} + a_{n_{k}} - a | \\ \leq | a_{n} - a_{n_{k}} | + | a_{n_{k}} - a | \end{matrix} .$

Mõlemad absoluutväärtused saab teha kui tahes väikeseks. Kui mõlemad on väiksemad kui $\frac{ϵ}{2}$ , siis on $| a_{n} - a |$ kindlasti väiksem kui $ϵ$ . Alustame avaldisest $| a_{n_{k}} - a |$ . Siin leiame indeksi $N_{1}$ , mille korral kõikide $k \geq N_{1}$ korral $| a_{n_{k}} - a | < \frac{ϵ}{2}$ . Arv $N_{1}$ leidub, sest osajada ${(a_{n_{k}})}_{k \in ℕ}$ koondub arvuks $a$ .

Vaatame nüüd teist avaldist: leidub niisugune $N_{2}$ , et kõikide $n, m \geq N_{2}$ korral $| a_{n} - a_{m} | < \frac{ϵ}{2}$ . Meil on $a_{m}$ asemel $a_{n_{k}}$ . Niisiis tuleb tagada, et $n_{k} \geq N_{2}$ . Üldiselt on $n_{k} \geq k$ , sest $(n_{k})_{k \in ℕ}$ on naturaalarvude kasvav jada. Seega võime valida $k \geq N_{2}$ , sest siis $n_{k} \geq k \geq N_{2}$ . Et aga ka $k$ peaks olema suurem kui $N_{1}$ , siis valime ükskõik millise $k \geq \max {N_{2}, N_{1}}$ .

Muutuja $n$ esines seni ainult avaldises $| a_{n} - a_{m} |$ . Seal me nõudsime, et kehtiks $n, m \geq N_{2}$ . Sellepärast me nõuame indeksilt $n$ ainult seda, et see oleks suurem kui $N_{2}$ . Sellepärast valime koonduvuse tõestuses $N = N_{2}$ .

Tõestus. Olgu $(a_{n})_{n \in ℕ}$ Cauchy jada ja ${(a_{n_{k}})}_{k \in ℕ}$ selle Cauchy jada koonduv osajada piirväärtusega $a$ . Olgu $ϵ > 0$ suvaline. Cauchy jada definitsioonist järeldub, et leidub niisugune $N \in ℕ$ , et kõikide $n, m \geq N$ korral $| a_{n} - a_{m} | < \frac{ϵ}{2}$ .

Mall:Pooleli

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, 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 $ℚ$ , 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 ℕ}$ nimetatakse siis fundamentaaljadaks, kui

\forall ε > 0 \exists N \in ℕ \forall m, n \geq N : d (x_{m}, x_{n}) < ε .

^[2]

See tähendab, iga reaalarvu $ε > 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 $ε > 0$ korral leiduvad punkt $a$ ja indeks $N$ , nii et kõik jada elemendid alates elemendist $x_{N}$ asetsevad lahtises keras $B_{ε} (a)$ raadiusega $ε$ punkti $a$ ümber. See versioon erineb koonduvuse definitsioonist ainult selle poolest, et siin tohib keskpunkt $a$ sõltuda raadiusest $ε$ , kuna aga koonduvuse korral peab piirväärtus $a$ olema raadiusest $ε$ sõltumatu.

Täielikkus

Iga koonduv jada meetrilises ruumis on ka fundamentaaljada. Tõepoolest, kui jada $(x_{i})_{i \in ℕ}$ koondub ja selle piirväärtus on $x \in X$ , siis leidub iga $ε > 0$ korral indeks $N \in ℕ$ , nii et kõikide $n \geq N$ korral $d (x, x_{n}) < \frac{ε}{2}$ . 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}) < \frac{ε}{2} + \frac{ε}{2} = ε,

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 ℕ}$ ja $(y_{i})_{i \in ℕ}$ ekvivalentseteks, kui

\forall ε > 0 \exists N \in ℕ \forall m, n \geq N : d (x_{m}, y_{n}) < ε

ehk

\lim_{m, n \in ℕ} 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 $ρ$ . Jada $𝐯_{n} \in M$ nimetatakse fundamentaaljadaks, kui iga positiivse reaalarvu ε > 0 korral leidub selline naturaalarv N, et iga naturaalarvu n, m > N korral kehtib

ρ (𝐯_{n}, 𝐯_{m}) \leq ϵ

.

Seda asjaolu märgitakse lühemalt kujul

ρ (𝐯_{n}, 𝐯_{m}) \underset{n, m}{\to} 0 .

Kui jada $𝐯_{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

Märkused

Mall:Viited

↑ Vastutõestuse jaoks tuleb definitsioon ümber pöörata: $\exists ε > 0 \forall N \in ℕ \exists m, n \geq N : | a_{m} - a_{n} | \geq ε$ .
↑ Dirk Werner. Funktionalanalysis, 2005, lk 2.

[1] Vastutõestuse jaoks tuleb definitsioon ümber pöörata: $\exists ε > 0 \forall N \in ℕ \exists m, n \geq N : | a_{m} - a_{n} | \geq ε$ .

[werner2-2] Dirk Werner. Funktionalanalysis, 2005, lk 2.

[1]

[2]

Cauchy jada

Sisukord

Reaalarvude fundamentaaljadad

Definitsioon

Näited

Koonduv jada on fundamentaaljada

Fundamentaaljada on tõkestatud

Koonduva osajadaga fundamentaaljada on koonduv

Täielikkus

Fundamentaaljadad meetrilistes ruumides

Definitsioon

Täielikkus

Definitsioon

Vaata ka

Märkused

Navigeerimismenüü

Cauchy jada

Reaalarvude fundamentaaljadad

Definitsioon

Näited

Koonduv jada on fundamentaaljada

Fundamentaaljada on tõkestatud

Koonduva osajadaga fundamentaaljada on koonduv

Täielikkus

Fundamentaaljadad meetrilistes ruumides

Definitsioon

Täielikkus

Definitsioon

Vaata ka

Märkused

Navigeerimismenüü

Otsing