Ακολουθία Κωσύ

Στα μαθηματικά μια ** Ακολουθία του Κωσύ** (γαλλικά:  *suite de* Cauchy, [koʃi], αγγλικά: Cauchy *sequence*, /ˈkoʊʃi), που ονομάστηκε έτσι προς τιμή του γάλλου μαθηματικού Ωγκυστέν-Λουί Κωσύ, είναι μια ακολουθία της οποίας τα στοιχεία  έχουν όλο και μικρότερη απόσταση όσο η ακολουθία εξελίσσεται. Πιο συγκεκριμένα, δίνεται οποιαδήποτε μικρή θετική απόσταση, σχεδόν ένα πεπερασμένο αριθμό στοιχείων της ακολουθίας είναι μικρότερη από την δεδομένη απόσταση ο ένας από τον άλλο. 

Η χρησιμότητα των ακολούθιων Κωσύ (που είναι γνωστές όλες αυτές οι ακολουθίες να συγκλίνουν σε ένα όριο) έγκειται στο γεγονός ότι σ' ένα πλήρη μετρικό χώρο το κριτήριο σύγκλισης εξαρτάται μόνο από τους όρους της ίδιας της ακολουθίας, αντίθετα με τον ορισμό της σύγκλισης που χρησιμοποιεί την οριακή τιμή, καθώς και τους όρους. Συχνά χρησιμοποιούνται σε αλγόριθμους, τόσο θεωρητικα και εφαρμοσμένα,όπου μια επαναληπτική διαδικασία μπορεί να σχετικά εύκολα να παράγει μια ακολουθία Κωσύ , που αποτελείται από τις επαναλήψεις, εκπληρώνοντας έτσι μια λογική κατάσταση, όπως τερματισμός.

Οι παραπάνω έννοιες δεν είναι τόσο άγνωστες όσο φαίνονται αρχικά. Η συνήθης αποδοχή του γεγονότος ότι κάθε πραγματικός αριθμός x έχει μια δεκαδική επέκταση αποτελεί έμμεση παραδοχή ότι μια συγκεκριμένη ακολουθία Κωσύ ρητών αριθμών (οι όροι της οποίας είναι οι διαδοχικές αποκοπές δεκαδικής επέκτασης του x) έχει ένα πραγματικό όριο x.Σε ορισμένες περιπτώσεις μπορεί να είναι δύσκολο να περιγραφεί ο x ανεξάρτητα από το ότι μια τέτοια περιορισμένη διαδικασία περιλαμβάνει ρητούς αριθμούς.

Γενικεύσεις των ακολουθιών Κωσύ σε πιο αφηρημένους ενιαίους χώρους υπάρχουν με τη μορφή των φίλτρων Κωσύ και δικτύων Κωσύ . 

## Ορισμός

### Στους πραγματικούς αριθμούς
Μία πραγματική ακολουθία (x_n)_{n\in\N} είναι Κωσύ αν και μόνο αν για κάθε ε > 0 υπάρχει φυσικός Ν τέτοιος ώστε για κάθε n, m > N ισχύει |x_n - x_m|.

όπου οι κατακόρυφες ράβδοι υποδηλώνουν την απόλυτη τιμή. Με παρόμοιο τρόπο μπορεί κανείς να ορίσει ακολουθίες Κωσύ των ρητών ή μιγαδικών αριθμών. Ο Κωσύ διατύπωσε μια τέτοια κατάσταση απαιτώντας x_m - x_n να είναι απειροελάχιστη για κάθε ζεύγος άπειρων m, n.

### Σε μετρικό χώρο
Μία ακολουθία (x_n)_{n\in\N} ορισμένη στον μετρικό χώρο (Μ, d) είναι ακολουθία Κωσύ ανν για κάθε ε > 0 υπάρχει φυσικός Ν τέτοιος ώστε για κάθε n, m > N ισχύει d(x_n, x_m).

Σε γενικές γραμμές, οι όροι της ακολουθίας έρχονται όλο και πιο κοντά μεταξύ τους με τρόπο που να δείχνει ότι η ακολουθία θα έπρεπε να έχει όριο στο Μ. Παρ 'όλα αυτά, το εν λόγω όριο δεν υπάρχει πάντα.

## Πληρότητα
Οι ακολουθίες Κωσύ δεν είναι αναγκαστικά συγκλίνουσες. Ένας μετρικός χώρος στον οποίο κάθε ακολουθία Κωσύ είναι και συγκλίνουσα ονομάζεται πλήρης.

### Παραδείγματα
Οι πραγματικοί αριθμοί είναι πλήρης σύμφωνα με το μετρικό που επάγεται από τη συνήθη απόλυτη τιμή, και μία από τις τυποποιημένες κατασκευές των πραγματικών αριθμών περιλαμβάνει ακολουθίες Κωσύ ρητών αριθμών.

Ένα μάλλον διαφορετικό τύπο παραδείγματος παρέχεται από ένα μετρικό χώρο ο οποίος έχει την διακριτή μετρική (όπου οποιαδήποτε δύο διακριτά σημεία βρίσκονται σε απόσταση 1 από το άλλο). Κάθε ακολουθία Κωσύ των στοιχείων του πρέπει να είναι σταθερή πέρα από κάποιο σταθερό σημείο, και συγκλίνει στον ενδεχόμενο επανάληπτικό όρο.

### Αντιπαράδειγμα ρητών αριθμών
Η ρητοί αριθμοί Q δεν είναι πλήρης (για τη συνήθη απόσταση): Υπάρχουν ακολουθίες ρητών που συγκλίνουν (in R) σε άρρητους αριθμούς. Αυτες είναι Κωσύ ακολουθίες που δεν έχουν κανένα όριο στο Q. Στην πραγματικότητα, εάν ένας πραγματικός αριθμός x είναι άρρητος, τότε η ακολουθία (x_n), της οποίας, ο νιοστός όρος είναι η περικοπή στις θέσεις n ψηφίων της δεκαδικής επέκτασης του x δίνει μια ακολουθία Κωσύ ρητών αριθμών με άρρητο όριο x. Οι άρρητοι αριθμοί σίγουρα υπάρχουν, για παράδειγμα:
* Η ακολουθία που ορίζεται από:x_0=1, x_{n+1}=\frac{x_n+\frac{2}{x_n}}{2} αποτελείται από ρητούς αριθμούς (1, 3/2, 17/12,...) η οποία προκύπτει από τον ορισμό. Ωστόσο, συγκλίνει στην άρρητη τετραγωνική ρίζα του δύο, (δείτε Βαβυλωνιακή μέθοδος υπολογισμού τετραγωνικής ρίζας).
* Η ακολουθία x_n = F_n / F_{n-1}\, των διαδοχικών αναλογιών αριθμοί Fibonacci οι οποίοι,αν δεν συγκλιίνει ή συγκλίνει σε ένα όριο \phi ικανοποιώντας \phi^2 = \phi+1,και κανένας ρητός αριθμός δεν έχει αυτή την ιδιότητα. Αν κάποιος θεωρεί ότι αυτό ως μια ακολουθία πραγματικών αριθμών, που ωστόσο, συγκλίνει προς τον πραγματικό αριθμό \varphi = (1+\sqrt5)/2, την  Χρυσή Τομή, η οποία είναι παράλογη.
* Οι τιμές της εκθετικής, του ημιτόνου και του συνημιτόνου συναρτήσεις, exp(*x*), sin(*x*), cos(*x*), είναι γνωστές ως  μη λογικές για κάθε λογική τιμή του *x*≠0, αλλά κάθε μία μπορεί να οριστεί ως το όριο μιας ορθολογικής ακολουθίας Κωσύ , χρησιμοποιώντας, για παράδειγμα, οι σειρές Μακλωρέν.

## Παραδείγματα
Θεωρούμε την ακολουθία x_n=F_{n+1}/F_n στον, όπου F_n, n=1,2,.. οι αριθμοί Φιμπονάτσι. Οι όροι της ακολουθίας x_n είναι ρητοί αριθμοί. Στον χώρο των πραγματικών αριθμών η ακολουθία αυτή συγκλίνει στη χρυσή τομή \phi = (1+\sqrt5)/2. Στον χώρο των ρητών αριθμών η ακολουθία αυτή δε συγκλίνει, αφού το φ είναι άρρητος, είναι όμως Κωσύ.

### Αντιπαράδειγμα ανοικτού συνόλου
Το ανοικτό σύνολοX=(0, 2) του συνόλου των πραγματικών αριθμών με μία συνήθη απόσταση στο **R** δεν είναι πλήρης χώρος: υπάρχει μία ακολουθία x_n=1/n σε αυτό, η οποία είναι Κωσύ (για αυθαίρετα μικρή απόσταση δεσμευμένο d>0 όλοι οι όροι  x_n of n > 1/d ταιριάζουν στο (0, d) ανοικτό), ωστόσο δε συγκλίνουν στο  *X*— 'όριο', του αριθμού 0, δεν ανήκει στον χώρο *X*.

### Άλλες ιδιότητες
* Κάθε συγκλίνουσα ακολουθία(με όριο *s*, λέμε) ότι είναι ακολουθία Κωσύ , αν , για κάθε δεδομένο πραγματικό αριθμό *ε* > 0, πέρα από κάποιο σταθερό σημείο,κάθε όρος της ακολουθίας βρίσκεται σε κοντινή απόσταση μεταξύ του *ε/2* και του *s*, έτσι ώστε οποιοιδήποτε δύο όροι της ακολουθίας βρίσκονται σε κοντινή απόσταση ε μεταξύ τους.
* Κάθε Κωσύ ακολουθία πραγματικών(ή μιγαδικών) αριθμών είναι φραγμένη (από μερικούς *N*, όλοι οι όροι της ακολουθίας από τον *N*-οστό απέχουν απόσταση ίση με 1 ο ένας από τον άλλο,και αν το *M*η μεγαλύτερη απόλυτη τιμή των όρων συμπεριλαμβανομένου και του  *N*-οστού, τότε κανένας όρος της ακολουθίας  δεν έχει μεγαλύτερη απόλυτη τιμή από τον *M*+*1*).
* Σε ένα μετρικό χώρο, μία  Κωσύ ακολουθία η οποία συγκλίνει σε μία υπακολουθία με όριο *s* είναι η ίδια η συγκλίνουσα (με το ίδιο όριο), δεδομένου ότι κάθε πραγματικός αριθμός *r* > 0,πέρα κάποιο σταθερό σημείο στην αρχική ακολουθία, κάθε όρος της υπακολουθίας βρίσκεται σε κοντινή απόσταση *r*/*2* από το *s*, και κάθε δύο όρων της αρχικής ακολουθίας βρίσκονται σε κοντινή απόσταση *r*/*2* ο ένας από τον άλλο, έτσι κάθε όρος της αρχικής ακολουθίας βρίσκεται σε κοντινή απόσταση *r* από το *s*.

Αυτές οι δύο τελευταίες ιδιότητες, μαζί με ένα λήμμα που χρησιμοποιούνται για την απόδειξη του Θεωρήματος Μπολζάνο-Βάιερστρας, να δώσει μία τυπική απόδειξη της πληρότητας των πραγματικών αριθμών, στενά συνδεδεμένη τόσο με το θεώρημα Μπολζάνο-Βάιερστρας και το Θεώρημα Χάινε–Μπορέλ. Το εν λόγω λήμμα δηλώνει ότι κάθε φραγμένη ακολουθία πραγματικών αριθμών  έχει μία συγκλίνουσα  υπακολουθία. Δεδομένου του γεγονότος αυτού, κάθε Κωσύ ακολουθία πραγματικών αριθμών έχει μια συγκλίνουσα υπακολουθία, και ως εκ τούτου, είναι η ίδια η συγκλίνουσα. Θα πρέπει να σημειωθεί, ωστόσο, ότι αυτή η απόδειξη της πληρότητας των πραγματικών αριθμών καθιστά εμμέσως απαραίτητη τη χρήση του αξιώματος του ελαχίστου άνω φράγματος. Η εναλλακτική προσέγγιση, που αναφέρθηκε παραπάνω, της κατασκευής δηλαδή των πραγματικών αριθμών ως την πληρότητα των ρητών αριθμών, καθιστά την πληρότητα των πραγματικών αριθμών ταυτολογία.

Μία από τις τυποποιημένες απεικονίσεις έχουν το πλεονέκτημα ότι είναι σε θέση να εργαστούν με Κωσύ ακολουθίες και κάνοντας χρήση της πληρότητας η οποία παρέχεται από την εξέταση του αθροίσματος των άπειρων σειρών των πραγματικών αριθμών
(ή, πιο γενικά στοιχεία όποιουδήποτε πλήρη νορμικού γραμμικού χώρου, η Χώρου Banach). Τέτοιες σειρές 
 \sum_{n=1}^{\infty} x_{n} θεωρούμε ότι συγκλίνουν αν και μόνον αν η συγκλίνει η ακολουθία του μερικού αθροίσματος (s_{m}) , όπου 
 s_{m} = \sum_{n=1}^{m} x_{n}. Είναι ένα θέμα ρουτίνας 

για να προσδιοριστεί αν η ακολουθία των μερικών αθροισμάτων  είναι Κωσύ ή όχι,δεδομένου ότι για τους θετικούς ακέραιους*p* > *q*  s_{p} - s_{q} = \sum_{n=q+1}^{p} x_{n}.

Αν f \colon M \rightarrow N είναι ομοιόμορφα συνεχής χάρτης μεταξύ των μετρικών χώρων *M* και *N* και η (*x<sub>n</sub>*) είναι μία ακολουθία Κωσύ στον *M*, τότε (f(x_n)) είναι μία ακολουθία  Κωσύ στον *N*. Αν (x_n) και (y_n) είναι δύο ακολουθίες Κωσύ στους πραγματικούς και στους μιγαδικούς αριθμούς, τότε το άθροισμα (x_n + y_n) και το γινόμενο (x_n y_n) είναι επίσης Κωσύ ακολουθίες.

## Γενικεύσεις

### Σε τοπολογικούς Διανυσματικούς Χώρους
Υπάρχει επίσης μια έννοια της ακολουθίας Κωσύ για ένα τοπολογικό διανυσματικό χώρο X: διαλέγωντας μια βάση B για τον X κοντά στο 0, τότε (x_k) είναι ακολουθία Κωσύ αν για κάθε V \in B υπάρχει N τ.ω. οποτεδήποτε n,m>N, x_n-x_m είναι στοιχείο του V.

#### Σε τοπολογικές ομάδες
Δεδομένου ότ ορισμιός για την Κωσύ ακολουθία, ενός τοπολογικου διανυσματικού χώρου,  μόνο να υπάρχει μια συνεχής «αφαίρετική» λειτουργία, μπορεί κάλλιστα να φέρεται στο πλαίσιο μιας Δεδομένου ότι ο ορισμός τοπολογικού διανυσματικού χώρου  ως προς μια Κωσύ ακολουθία απαιτεί μόνο να υπάρχει μια συνεχής λειτουργία «αφαίρεσης», μπορεί κάλλιστα να αναφέρεται στο πλαίσιο μιας τοπολογικής ομάδας: Μια ακολουθία (x_k) σε μια τοπολογική ομάδα G είναι μια ακολουθία Κωσύ αν για κάθε ανοικτή περιοχή U της ταυτοτικής στο G υπάρχει κάποιος αριθμός N τέτοιος ώστε κάθε φορά m,n>Nέπεται ότι x_nx_m^{-1} \in U. Όπως και στην κατασκευή της ολοκλήρωσης του μετρικού χώρου, μπορεί κανείς να καθορίσει περαιτέρω την δυαδική σχέση επί ακολουθιών Κωσύ σε G αυτό (x_k)και (y_k) είναι ισοδύναμες αν για κάθε ανοιχτή περιοχή U της ταυτότικής G εκεί υπάρχει κάποιος αριθμός N τέτοιος ώστε, όποτε m,n>N προκύπτει ότι x_n y_m^{-1} \in U. Αυτή η σχέση είναι μια σχέση ισοδυναμίας: Είναι αντανακλαστικές δεδομένου ότι οι ακολουθίες είναι Κωσύ ακολουθίες. Είναι συμμετρικό από το οποίο y_n x_m^{-1} = (x_m y_n^{-1})^{-1} \in U^{-1} από τη συνέχεια του αντίστροφου είναι άλλη μία ανοιχτή περιοχή της ταυτότητικής G. Είναι μεταβατικό αφού x_n z_l^{-1} = x_n y_m^{-1} y_m z_l^{-1} \in U' U*</math> όπου <math>U'</math> και <math>U* να είναι ανοικτές περιοχές της ταυτοτικής όπως U'U* \subseteq U</math> ότι υπάρχουν τέτοια ζεύγη από τη συνέχεια της λειτουργίας της ομάδας. 

==== Σε ομάδες ====
Υπάρχει επίσης μια έννοια της Κωσύ ακολουθίας σε μια [[Ομάδα (μαθηματικά)|ομάδα]] <math>G</math>: Έστω <math>H=(H_r)</math> είναι μια φθίνουσα ακολουθία κανονικών υποομάδων της <math>G</math> με πεπερασμένο δείκτη. Στη συνέχεια, μια ακολουθία <math>(x_n)</math> στη <math>G</math> λέγεται ότι είναι Κωσύ  αν και μόνο αν για κάθε <math>r</math> υπάρχει <math>N</math> τέτοιο ώστε <math>\forall m, n> N, x_n x_m ^ {- 1} \in H_r.</math>

Από τεχνική άποψη, αυτό είναι το ίδιο πράγμα με μια τοπολογική ομάδα Κωσύ ακολουθία για μια συγκεκριμένη επιλογή της τοπολογίας και στο <math>G</math> εξής, δηλαδή για το οποίο <math>H</math> είναι μια τοπική βάση.

Υπάρχει επίσης μια έννοια Κωσύ αλληλουχίας σε μια ομάδα:

Το σύνολο <math>C</math> αυτών των  ακολουθιών  Κωσύ σχηματίζει μία ομάδα (για το προϊόν componentwise), και το σύνολο <math>C_0</math> των αλληλουχιών null (s.th.<math>\forall r, \exists N, \forall n > N, x_n \in H_r</math>) είναι μια φυσιολογική υποομάδα <math>C</math>. Η ομάδα που ονομάζεται <math>C/C_0</math>παράγοντας την ολοκλήρωση της <math>G</math> σε σχέση με την <math>H</math>.

Κάποιος μπορεί στη συνέχεια δείχνουν ότι αυτή η ολοκλήρωση είναι ισόμορφο στο όριο αντίστροφο της ακολουθίας <math>(G/H_r)</math>.

Ένα παράδειγμα αυτής της κατασκευής, γνωστό στη [[θεωρία αριθμών]] και [[αλγεβρική γεωμετρία]] είναι η κατασκευή της πι-αδικής ολοκλήρωσης των ακεραίων σε σχέση με ένα πρώτο p. Σε αυτή την περίπτωση, το <math>G</math> είναι οι ακέραιοι υπό συνθήκη, και <math>H_r</math> είναι το πρόσθετο υποομάδα που αποτελείται από ακέραια πολλαπλάσια του pr. Εάν <math>H</math>είναι ένα [[Cofinal (mathematics)|cofinal]] αλληλουχία (δηλαδή, οποιαδήποτε κανονική υποομάδα των πεπερασμένων δείκτη περιέχει μερικά <math>H_r</math>), τότε αυτή η ολοκλήρωση είναι κανονική, με την έννοια ότι είναι ισόμορφη στο όριο αντίστροφο του <math>(G/H)_H</math>, όπου <math>H</math>μεταβάλλεται πάνω από όλες τις κανονικές υποομάδες των πεπερασμένων [[Index of a subgroup|δείκτη]]. Για περισσότερες λεπτομέρειες, βλέπε κεφ. I.10 στο "Άλγεβρα" του [[Σερζ Λανγκ]].

===Σε ένα υπερπραγματικό συνεχές===
Μία πραγματική ακολουθία <math>\langle u_n: n\in \mathbb{N} \rangle</math> έχει μία φυσική   υπερπραγματική επέκταση, ορισμένη για υπερπραγματικες τιμές *H* του δείκτη n εκτός από τη συνήθη φυσική n. Η ακολουθία του Κωσύ  αν και μόνον αν για κάθε άπειρη Η και K, τις τιμές και είναι απείρως κοντά, δηλαδή για κάθε άπειρο *H* and *K'', οι τιμές u_H και u_K είναι απείρως κοντά. 
:\, \mathrm{st}(u_H-u_K)= 0 
όπου "st" είναι η  συνήθης μερική συνάρτηση.

## Δείτε επίσης
* 
* 

Κατηγορία:Αφηρημένη άλγεβρα
Κατηγορία:Ακολουθίες
Κατηγορία:Τοπολογία
Κατηγορία:Μετρική γεωμετρία