Ciąg Cauchy’ego

Wykres ciągu Cauchy’ego (x_n) oznaczono niebieskim kolorem (indeks na osi odciętych, wartość na osi rzędnych). Jeżeli przestrzeń zawierająca ciąg jest zupełna, to jego granica istnieje.

Ciąg, który nie jest Cauchy’ego. Elementy ciągu nie zbliżają się do siebie wraz z jego postępem.

Ciąg Cauchy’ego – ciąg elementów przestrzeni metrycznej (np. zbioru liczb rzeczywistych), którego dwa dowolne elementy, jeśli mają dostatecznie wysokie indeksy, są dowolnie blisko siebie. O ciągu, który jest ciągiem Cauchy’ego, mówi się też, że spełnia warunek Cauchy’ego. Nazwa pojęć pochodzi od nazwiska francuskiego matematyka Augustina Cauchy’egoSzablon:Odn.

Skoro definicja ciągu Cauchy’ego korzysta z pojęcia odległości (metryki), to pojęcie to w podanym sformułowaniu może być rozważane wyłącznie w przestrzeniach metrycznych. Uogólnia się je jednak na inne struktury matematyczne, m.in. na przestrzenie liniowo-topologiczne, przestrzenie jednostajne, czy też grupy.

Użyteczność ciągów Cauchy’ego polega przede wszystkim na tym, że dają one użyteczne kryterium zbieżności zależne wyłącznie od wyrazów tego ciągu. Fakt ten wykorzystuje się np. w algorytmach, by wykazać zbieżność procesu iteracji poprzez wskazanie, iż kolejne wyrazy iteracji tworzą ciąg Cauchy’ego.

Ciągi Cauchy’ego liczb wymiernych mogą być użyte do formalnej konstrukcji zbioru liczb rzeczywistychSzablon:Odn, co zrobili po raz pierwszy Charles Méray i Georg CantorSzablon:Odn.

Definicje formalne

Niech $(a_i)$ będzie ciągiem liczbowym, tj. $a_i\in ℝ.$ Ciąg $(a_i)$ jest ciągiem Cauchy’ego, jeśli

${\mathrm{\forall }}_{\epsilon \in ℝ,\epsilon >0}{\mathrm{\exists }}_{N\in \mathbb{N}}{\mathrm{\forall }}_{m,n>N}|a_m-a_n|<\epsilon .$

Oznacza to, że wybierając dowolnie małą dodatnią liczbę rzeczywistą $\epsilon ,$ można ustalić odpowiednio duży wskaźnik $N$ taki, że dowolne dwa wyrazy o wyższych wskaźnikach są odległe od siebie o mniej niż $\epsilon .$

Pojęcie to można przenieść na dowolne przestrzenie metryczne.

Niech $(X,d)$ będzie przestrzenią metryczną i niech $(a_i)$ będzie ciągiem elementów tej przestrzeni. Ciąg $(a_i)$ jest ciągiem Cauchy’ego, jeśli

${\mathrm{\forall }}_{\epsilon >0}{\mathrm{\exists }}_{N\in \mathbb{N}}{\mathrm{\forall }}_{m,n>N}d(a_m,a_n)<\epsilon .$

Definicję ciągu Cauchy’ego w przestrzeni metrycznej można wyrazić również za pomocą średnicy zbioru.

Niech $(a_i)$ będzie ciągiem elementów tej przestrzeni metrycznej i $A_k=\{a_k,a_{k+1},a_{k+2},\dots \}.$ Ciąg $(a_i)$ jest ciągiem Cauchy’ego, gdy

$\underset{k\to \mathrm{\infty }}{\lim }\mathrm{diam}{A}_k=0.$

Przykłady

• Ciąg liczbowy o wyrazie ogólnym $a_n=\frac{1}{n}$ jest ciągiem Cauchy’ego. Rzeczywiście, dla dowolnego $\epsilon$ wystarczy przyjąć $N>\frac{2}{\epsilon }.$ Wówczas dla $p,q>N$ zachodzi:

  $|\frac{1}{p}-\frac{1}{q}|⩽\frac{1}{p}+\frac{1}{q}⩽\frac{2}{\min (p,q)}<\frac{2}{N}<\epsilon .$

• Ciąg liczbowy o wyrazie ogólnym $a_n=n$ nie jest ciągiem Cauchy’ego. Niech np. $\epsilon =\frac{1}{2},$ wówczas dla dowolnego $N$ dwa wyrazy ciągu $a_{N+1},a_{N+2}$ spełniają

  $|a_{N+1}-a_{N+2}|=1>\epsilon .$

Własności

W dowolnej przestrzeni metrycznej prawdziwe są zdania:

• jeżeli ciąg jest zbieżny, to spełnia warunek Cauchy’ego (ale niekoniecznie odwrotnie, czego przykładem jest ciąg Cauchy’ego $a_n=\frac{1}{n},$ choć zawarty na przestrzeni $(0,1]$ to niezbieżny w niej),
• każdy ciąg Cauchy’ego jest ograniczony,
• ciąg Cauchy’ego $(x_n)$ mający punkt skupienia $x_0$ (zawierający podciąg zbieżny do $x_0$) jest zbieżny do $x_0$.

W przestrzeniach euklidesowych ${ℝ}^k$ (w szczególności w przestrzeni liczb rzeczywistych $ℝ$) dodatkowo zachodzą własności:

• ciąg punktów ${𝐱}_n=(x_{n,1},\dots ,x_{n,k})$ jest ciągiem Cauchy’ego wtedy i tylko wtedy, gdy każdy z ciągów $x_{n,1},\dots ,x_{n,k}$ jest ciągiem Cauchy’ego,
• ciąg jest zbieżny wtedy i tylko wtedy, gdy spełnia warunek Cauchy’ego. Fakt ten bywa znany jako twierdzenie Cauchy’egoSzablon:Odn, przy czym termin ten ma też inne znaczenia.

Ciąg podstawowy

Ciąg liczb wymiernych spełniający warunek Cauchy’ego nazywa się ciągiem podstawowym. Oczywiście każdy ciąg podstawowy jest ciągiem zbieżnym w $ℝ.$

Ciąg podstawowy może mieć granicę wymierną $a\in \mathbb{Q},$ np.:

$\frac{3n+1}{n+2}\to 3,(-1{)}^n\frac{1}{2^n}\to 0$

może mieć granicę niewymierną, np.:

$a_n=\frac{\lfloor 10^{n-1}\cdot \pi \rfloor }{10^{n-1}},$ gdzie $\lfloor x\rfloor$ oznacza część całkowitą liczby $x.$

Jest to ciąg kolejnych przybliżeń dziesiętnych z dołu liczby π $(a_n)=(3;3,1;3,14;3,141;3,1415;3,14159;\dots )$ i jego granicą jest oczywiście liczba niewymierna.

Innym przykładem może być ciąg zdefiniowany rekurencyjnie:

$a_1=1,a_{n+1}=\frac{a_n+2}{a_n+1},$

ciąg ten jest zbieżny do niewymiernej liczby $\sqrt{2},$ postać rekurencyjna wynika z rozwinięcia $\sqrt{2}$ w ułamek łańcuchowy $[1;2,2,2,\dots ].$ Zaletą definicji tego ciągu w porównaniu z definicją poprzedniego jest to, że tu do wyznaczenia wartości kolejnych wyrazów ciągu nie jest wymagana znajomość granicy ciągu.

Zbiór ciągów podstawowych jest zamknięty ze względu na sumy, różnice, iloczyny oraz ilorazy.

Kluczowe znaczenie ciągów podstawowych jest takie, że każda liczba rzeczywista jest granicą pewnego ciągu podstawowego. Wynika to z faktu, że zbiór liczb wymiernych $\mathbb{Q}$ jest zbiorem gęstym w zbiorze liczb rzeczywistych $ℝ.$

Wprowadzając w zbiorze ciągów podstawowych relację równoważności $\sim :$

ciągi $(a_n),(b_n)$ są w relacji $(a_n)\sim (b_n),$ jeśli ciąg $c_n=|a_n-b_n|$ jest zbieżny do $0,$

można utożsamić ciągi podstawowe, których granicami jest ta sama liczba rzeczywista. Wówczas każda liczba rzeczywista jest pewną klasą abstrakcji w zbiorze ciągów podstawowych.

Jest to jedna z możliwych konstrukcji liczb rzeczywistych w oparciu o liczby wymierne.

Zupełność

• Przestrzeń metryczną, w której każdy ciąg Cauchy’ego jest zbieżny, nazywa się przestrzenią zupełną.
• Przestrzeń unormowaną, która jest zupełna (w sensie metryki generowanej przez normę), nazywa się przestrzenią Banacha.
• Przestrzeń unitarną zupełną nazywa się przestrzenią Hilberta.

W szczególności przestrzeń $ℝ$ (z wartością bezwzględną) i przestrzeń ${ℝ}^k$ (z metryką euklidesową) są zupełne.

Inne postacie

Szeregi

Ponieważ szeregi z definicji są ciągami sum częściowych, można rozważać warunek Cauchy’ego również dla nich.

Niech $(E,\Vert \cdot \Vert )$ będzie przestrzenią Banacha, a $(a_n)$ ciągiem jej elementów. Szereg $\sum a_i$ spełnia warunek Cauchy’ego, jeżeli

${\mathrm{\forall }}_{\epsilon >0}{\mathrm{\exists }}_{N\in \mathbb{N}}{\mathrm{\forall }}_{m,n>N}\Vert \sum _{i=n+1}^m{a}_i\Vert <\epsilon .$

Szereg $\sum a_i$ jest zbieżny wtedy i tylko wtedy, gdy spełnia warunek Cauchy’ego. W szczególności powyższa definicja obowiązuje dla $({ℝ}^k,|\cdot |).$ Przyjęcie w powyższym warunku $m=n+1$ daje definicję granicy ciągu $(a_n)$ do zera; tak osłabiony warunek Cauchy’ego nie pociąga zbieżności szeregu, lecz mimo wszystko pozostaje on prawdziwy, gdy ciąg jest zbieżny, dlatego nazywa się warunkiem koniecznym zbieżności szeregu (zob. warunek konieczny).

Przestrzenie liniowo-topologiczne

Szablon:Osobny artykuł W przestrzeniach liniowo-topologicznych ciąg Cauchy’ego można zdefiniować w naturalny sposób bez uciekania się do pojęcia metryki.

Ciąg $(x_n)$ punktów przestrzeni liniowo-topologicznej $X$ nazywa się ciągiem Cauchy’ego wtedy i tylko wtedy, gdy dla każdego otoczenia zera $U\subseteq X$ istnieje taka liczba naturalna $N,$ że dla $m,n>N$ jest

${𝐱}_n-{𝐱}_m\in U.$

W przestrzeni liniowo-topologicznej spełnione są własności obowiązujące w przestrzeniach metrycznych. Jeżeli topologia przestrzeni $X$ jest wyznaczona przez niezmienniczą na przesunięcia metrykę $d,$ to ciąg elementów tej przestrzeni jest ciągiem Cauchy’ego wtedy i tylko wtedy, gdy spełnia warunek Cauchy’ego względem tej metryki.

W szczególności, przestrzeń liniowo-topologiczna jest przestrzenią Frécheta wtedy i tylko wtedy, gdy ma ona przeliczalną bazę lokalną i każdy ciąg Cauchy’ego punktów tej przestrzeni jest zbieżny.

Zobacz też

• twierdzenie Baire’a

Bibliografia

• Szablon:Cytuj książkę
• Szablon:Cytuj książkę
• Szablon:Cytuj
• Szablon:Cytuj książkę

Linki zewnętrzne

• Szablon:MathWorld [dostęp 2024-07-08].
• Szablon:Otwarty dostęp Cauchy sequence Szablon:Lang, Encyclopedia of Mathematics, encyclopediaofmath.org [dostęp 2024-07-08].