Sekwencja Cauchy'ego - Cauchy sequence
W matematyce , o ciągiem Cauchy'ego ( francuski wymowa: [koʃi] ; angielski: / k oʊ ʃ í / KOH -shee ), nazwany Augustin Louis Cauchy , to sekwencja , której elementy stają się dowolnie blisko siebie jak sekwencja postępy. Dokładniej, przy każdej małej dodatniej odległości wszystkie elementy ciągu oprócz skończonej liczby są mniejsze niż ta podana odległość od siebie.
Nie wystarczy, aby każdy termin był arbitralnie zbliżony do poprzedniego . Na przykład w ciągu pierwiastków kwadratowych liczb naturalnych:
Użyteczność sekwencji Cauchy'ego polega na tym, że w pełnej przestrzeni metrycznej (takiej, w której wszystkie takie sekwencje są znane z tego, że są zbieżne do granicy ) kryterium zbieżności zależy tylko od warunków samej sekwencji, w przeciwieństwie do definicji konwergencji, która wykorzystuje zarówno wartość graniczną, jak i terminy. Jest to często wykorzystywane w algorytmach , zarówno teoretycznych, jak i stosowanych, w których proces iteracyjny może być stosunkowo łatwo przedstawiony w celu utworzenia sekwencji Cauchy'ego, składającej się z iteracji, spełniając w ten sposób warunek logiczny, taki jak zakończenie.
Uogólnienia sekwencji Cauchy'ego w bardziej abstrakcyjnych przestrzeniach jednorodnych istnieją w postaci filtrów Cauchy'ego i
sieci Cauchy'ego .W liczbach rzeczywistych
Sekwencja
Dla dowolnej liczby rzeczywistej r sekwencja obciętych rozwinięć dziesiętnych r tworzy sekwencję Cauchy'ego. Na przykład, gdy ta sekwencja to (3, 3.1, 3.14, 3.141, ...).
M p i n TH warunki różnią się co najwyżej podczas m < n i a m rośnie staje się mniejszy niż określoną liczbę dodatniąModuł zbieżności Cauchyego
Jeśli jest sekwencją w zbiorze, to
moduł zbieżności Cauchy'ego dla sekwencji jest funkcją ze zbioru liczb naturalnych do siebie, tak że dla wszystkich liczb naturalnych i liczb naturalnychKażda sekwencja o module zbieżności Cauchy'ego jest sekwencją Cauchy'ego. Istnienie modułu dla ciągu Cauchy'ego wynika z właściwości dobrego uporządkowania liczb naturalnych (niech będzie najmniejszym możliwym w definicji ciągu Cauchy'ego, przyjmując za ). Istnienie modułu wynika również z zasady
wyboru zależnego , która jest słabą formą aksjomatu wyboru , a także wynika z jeszcze słabszego warunku zwanego AC 00 . Regularne sekwencje Cauchy'ego to sekwencje o danym module zbieżności Cauchy'ego (zwykle lub ). Każda sekwencja Cauchy'ego z modułem zbieżności Cauchy'ego jest równoważna regularnej sekwencji Cauchy'ego; można to udowodnić bez użycia jakiejkolwiek formy aksjomatu wyboru.Moduły zbieżności Cauchy'ego są używane przez konstruktywnych matematyków, którzy nie chcą korzystać z żadnej formy wyboru. Użycie modułu zbieżności Cauchy'ego może uprościć zarówno definicje, jak i twierdzenia w analizie konstruktywnej. Regularne sekwencje Cauchy'ego zostały użyte przez Erretta Bishopa w jego Foundations of Constructive Analysis oraz przez Douglasa Bridgesa w niekonstruktywnym podręczniku ( ISBN 978-0-387-98239-7 ).
W przestrzeni metrycznej
Ponieważ definicja sekwencji Cauchy'ego obejmuje tylko koncepcje metryczne, łatwo jest uogólnić ją na dowolną przestrzeń metryczną X . W tym celu wartość bezwzględną zastępuje odległość (gdzie
d oznacza metrykę ) między iFormalnie, biorąc pod uwagę przestrzeń metryczną, ciąg
Z grubsza rzecz biorąc, wyrazy ciągu zbliżają się do siebie w sposób, który sugeruje, że ciąg powinien mieć granicę w X . Niemniej jednak taka granica nie zawsze istnieje w X : właściwość przestrzeni, w której każda sekwencja Cauchy'ego jest zbieżna w przestrzeni, nazywana jest kompletnością i jest szczegółowo opisana poniżej.
Kompletność
Przestrzeń metryczna ( X , d ), w której każda sekwencja Cauchy'ego zbiega się do elementu X nazywana jest kompletną .
Przykłady
Te liczby rzeczywiste są kompletne pod metryką indukowaną przez zwykłej wartości bezwzględnej, a jednym ze standardowych konstrukcji liczb rzeczywistych obejmuje sekwencje Cauchy'ego z liczb wymiernych . W tej konstrukcji każda klasa równoważności sekwencji Cauchy'ego liczb wymiernych z pewnym zachowaniem ogona — to znaczy każda klasa sekwencji, które zbliżają się arbitralnie do siebie — jest liczbą rzeczywistą.
Raczej inny rodzaj przykładu daje przestrzeń metryczna X, która ma metrykę dyskretną (gdzie dowolne dwa różne punkty znajdują się w odległości 1 od siebie). Każda sekwencja Cauchy'ego elementów X musi być stała poza pewnym ustalonym punktem i zbiega się do ostatecznie powtarzającego się terminu.
Nieprzykładowe: liczby wymierne
Te liczby wymierne nie jest zakończona (na zwykłej odległości): Jest to sekwencje wymiernych, które zbiegają się (z ) i
liczby nieracjonalne ; są to sekwencje Cauchy'ego, które nie mają granic W rzeczywistości, jeśli liczba rzeczywista x jest niewymierna, to ciąg ( x n ), którego n -ty wyraz jest obcięciem do n miejsc dziesiętnych rozwinięcia dziesiętnego x , daje sekwencję Cauchy'ego liczb wymiernych z niewymierną granicą x . Liczby niewymierne z pewnością istnieją np. w:- Ciąg określony przez składa się z liczb wymiernych (1, 3/2, 17/12,...), co wynika z definicji; jednak zbiega się do
Nieprzykład: otwarty interwał
Otwarta przerwa w zbiorze liczb rzeczywistych ze zwykłej odległości w nie jest przestrzenią zupełną: jest sekwencja w to, co jest Cauchy'ego (dla dowolnie małej odległości związany wszystkie warunki z pasowaniem w przedziale), jednak nie zbiegają się w — jego „granica”, liczba 0, nie należy do spacji
Inne właściwości
- Każdy ciąg zbieżny (z limitem s , powiedzmy) jest ciągiem Cauchy'ego, ponieważ, biorąc pod uwagę każdy prawdziwy numer poza pewnym ustalonym punkcie, każde określenie sekwencji znajduje się w odległości od
Te dwie ostatnie własności, wraz z twierdzeniem Bolzano-Weierstrassa , dają jeden standardowy dowód kompletności liczb rzeczywistych, blisko spokrewniony zarówno z twierdzeniem Bolzano-Weierstrassa, jak i twierdzeniem Heinego-Borela . Każdy ciąg liczb rzeczywistych Cauchy'ego jest ograniczony, stąd Bolzano-Weierstrass ma podciąg zbieżny, a więc sam jest zbieżny. Ten dowód zupełności liczb rzeczywistych implicite korzysta z aksjomatu najmniejszej górnej granicy . Wspomniane powyżej alternatywne podejście konstruowania liczb rzeczywistych jako dopełnienia liczb wymiernych powoduje, że zupełność liczb rzeczywistych jest tautologiczna.
Jedną ze standardowych ilustracji korzyści płynących z możliwości pracy z ciągami Cauchy'ego i korzystania z kompletności jest uwzględnienie sumowania nieskończonej serii liczb rzeczywistych (lub, bardziej ogólnie, elementów dowolnej pełnej unormowanej przestrzeni liniowej , lub przestrzeń Banacha ). Taki szereg jest uważany za zbieżny wtedy i tylko wtedy, gdy ciąg
sum częściowych jest zbieżny, gdzie Ustalenie, czy ciąg sum częściowych jest zbieżny, czy nie, jest rutynową sprawą, ponieważ dla liczb całkowitych dodatnichJeśli jest
równomiernie ciągły mapy pomiędzy metryki przestrzeni M i N oraz ( x n ) jest sekwencja Cauchy- w M , to jest w sekwencji Cauchy- N . Jeśli i są dwoma ciągami Cauchy'ego w liczbach wymiernych, rzeczywistych lub zespolonych, to suma i iloczyn są również ciągami Cauchy'ego.Uogólnienia
W topologicznych przestrzeniach wektorowych
Istnieje również koncepcja ciągu Cauchy'ego dla topologicznej przestrzeni wektorowej : Wybierz
lokalną bazę dla około 0; wtedy ( ) jest sekwencją Cauchy'ego, jeśli dla każdego elementu istnieje pewna liczba taka, że kiedykolwiek jest elementem Jeśli topologia jest zgodna z metryką niezmienną translacji, obie definicje są zgodne.W grupach topologicznych
Ponieważ definicja topologicznej przestrzeni wektorowej ciągu Cauchy'ego wymaga tylko ciągłej operacji „odejmowania”, można to równie dobrze określić w kontekście grupy topologicznej : ciąg w grupie topologicznej jest ciągiem Cauchy'ego, jeśli dla każdego otwartego sąsiedztwo z
tożsamością w istnieje jakiś numer taki, że gdy wynika, że jak powyżej, jest wystarczająca, aby to sprawdzić dla dzielnic w każdym lokalnym podstawy tożsamości wPodobnie jak w konstrukcji uzupełnienia przestrzeni metrycznej , można ponadto zdefiniować relację binarną na ciągach Cauchy'ego w tym i są równoważne, jeśli dla każdego otwartego
sąsiedztwa identyczności istnieje pewna liczba taka, że ilekroć z tego wynika, że Ta relacja jest relacja równoważności : jest zwrotna, ponieważ sekwencje są sekwencjami Cauchy'ego. Jest symetryczna, ponieważ przez ciągłość odwrotności jest kolejnym otwartym sąsiedztwem tożsamości. Jest przechodnia, ponieważ gdzie i są otwarte sąsiedztwa tożsamości takie, że ; takie pary istnieją dzięki ciągłości działania grupy.W grupach
Istnieje również pojęcie ciągiem Cauchy'ego w grupie : Pozwolić być malejąca sekwencja
podgrupa normalna od skończonego indeksu . Wtedy mówimy, że sekwencja in jest Cauchy (w odniesieniu do ) wtedy i tylko wtedy, gdy dla każdego istnieje taka, że dla wszystkichTechnicznie jest to to samo, co sekwencja Cauchy'ego dla grupy topologicznej dla konkretnego wyboru topologii, mianowicie tej, dla której jest bazą lokalną.
Zbiór takich ciągów Cauchy'ego tworzy grupę (dla iloczynu składowego), a zbiór ciągów zerowych (s.th. ) jest normalną podgrupą. Grupa
czynników nazywana jest dopełnieniem względemMożna wtedy pokazać, że to uzupełnienie jest izomorficzne z odwrotną granicą ciągu
Przykładem takiej konstrukcji, znanej w teorii liczb i geometrii algebraicznej jest konstrukcja
-adic zakończeniu liczb całkowitych, w odniesieniu do sile W tym przypadku, to liczby całkowite z dodatkiem i jest dodatek podgrup składa się z całkowitej wielokrotnościJeśli jest sekwencją
kofinalną (to znaczy każda normalna podgrupa o skończonym indeksie zawiera jakieś ), to to uzupełnienie jest kanoniczne w tym sensie, że jest izomorficzne z odwrotną granicą gdzie zmienia się we wszystkich normalnych podgrupach o skończonym indeksie . Więcej szczegółów w rozdz. I.10 w "Algebrze" Langa .W hiperrealnym kontinuum
Rzeczywisty ciąg ma naturalne rozszerzenie
hiperrzeczywiste , zdefiniowane dla wartości hipernaturalnych H indeksu n oprócz zwykłego naturalnego n . Sekwencja Cauchy'ego jest wtedy i tylko wtedy, gdy dla każdego nieskończonego H i K , wartości i są nieskończenie bliskie lub adekwatne , to znaczygdzie „st” jest funkcją części standardowej .
Cauchy uzupełnianie kategorii
Krause (2018) wprowadził pojęcie dopełnienia kategorii przez Cauchy'ego . Zastosowane do (kategorii, której obiektami są liczby wymierne i istnieje morfizm od
x do y wtedy i tylko wtedy , gdy ), to uzupełnienie Cauchy'ego daje (znowu interpretowane jako kategoria używająca swojego naturalnego uporządkowania).Zobacz też
Bibliografia
Dalsza lektura
- Bourbaki, Mikołaj (1972). Algebra przemienna (tłumaczenie angielskie wyd.). Addisona-Wesleya. Numer ISBN 0-201-00644-8.
- Krause, Henning (2018), Kompletowanie doskonałych kompleksów: Z dodatkami Tobiasa Barthela i Bernharda Kellera , arXiv : 1805.10751 , Bibcode : 2018arXiv180510751B
- Lang, Serge (1993), Algebra (wyd. trzecie), Reading, Mass .: Addison-Wesley, ISBN 978-0-201-55540-0, Zbl 0848.13001
- Spivak, Michael (1994). Rachunek (wyd. 3). Berkeley, CA: Opublikuj lub zgiń. Numer ISBN 0-914098-89-6. Zarchiwizowane od oryginału w dniu 2007-05-17 . Pobrano 2007-05-26 .
- Troelstra, AS ; D. van Dalena . Konstruktywizm w matematyce: wprowadzenie . (do zastosowań w matematyce konstruktywnej)
Zewnętrzne linki
- „Sekwencja podstawowa” , Encyklopedia Matematyki , EMS Press , 2001 [1994]