Ακολουθία
Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Στα μαθηματικά, μια ακολουθία είναι μια λίστα αντικειμένων στην οποία έχει σημασία η σειρά των αντικειμένων αυτών. Μια ακολουθία έχει όρους και το πλήθος των όρων της (που ενδέχεται να είναι και άπειρο) ονομάζεται μήκος της ακολουθίας. Σε αντίθεση από τα σύνολα σε μια ακολουθία έχει σημασία η σειρά που έχει κάθε αντικείμενο της. Επιπλέον δεν υπάρχει περιορισμός όσο αφορά το πόσες φορές μπορεί να εμφανίζεται ένα αντικείμενο μιας ακολουθίας (σε αντίθεση και πάλι από τα σύνολα όπου ένα αντικείμενο μπορεί να εμφανίζεται το πολύ μια φορά).
Οι ακολουθίες διακρίνονται ως προς το πλήθος των όρων τους, στις άπειρες ακολουθίες και στις πεπερασμένες. Σχεδόν αποκλειστικά, στην μαθηματική ανάλυση ενδιαφέρον έχουν οι πρώτες.
Αυστηρός Ορισμός
Ονομάζουμε ακολουθία ή πιο συγκεκριμένα άπειρη ακολουθία οποιαδήποτε συνάρτηση α από το σύνολο των φυσικών σε ένα σύνολο Α, δηλαδή κάθε συνάρτηση της μορφής:
Συνηθίζεται να συμβολίζουμε την τιμή μιας ακολουθίας, για κάθε στοιχείο με αk αντί με α(k) όπως συνηθίζεται γενικά για τις συναρτήσεις. Αν το σύνολο Α είναι ίσο με το σύνολο των πραγματικών αριθμών τότε η ακολουθία ονομάζεται πραγματική ακολουθία.
Ονομάζουμε πεπερασμένη ακολουθία ή λίστα n στοιχείων οποιαδήποτε συνάρτηση α από ένα σύνολο σε ένα σύνολο Α, δηλαδή κάθε συνάρτηση της μορφής:
Όλες οι ακολουθίες ως συναρτήσεις είναι σύνολα διατεταγμένων ζευγών. Παρόλα αυτά μια πεπερασμένη ακολουθία μπορούμε να την αντιμετωπίζουμε ως διατεταγμένη n-άδα για ευκολία και επομένως μπορούμε να τη συμβολίσουμε με (α1, α2, ..., a_n). Παρόμοια, για μια άπειρη ακολουθία μπορούμε να χρησιμοποιούμε το συμβολισμό (α1, α2, ... ) όπου α1 είναι ο πρώτος όρος της, α2 ο δέυτερος κοκ. ή για συντομία (αn).
Όριο Ακολουθίας
Θεωρούμε την ακολουθία:
με όρους:
Είναι εύκολο να παρατηρήσει κανείς ότι οι όροι της ακολουθίας πλησιάζουν ολοένα και περισσότερο το 0 καθώς ο δείκτης της n αυξάνεται. Για τη συγκεκριμένη ακολουθία μπορούμε επίσης να παρατηρήσουμε ότι για καμιά τιμή του n δεν θα υπάρξει όρος (ίσος ή) μικρότερος του μηδενός. Θα μπορούσαμε λοιπόν να πούμε ότι η ακολουθία μας δεν μπορεί να ξεπεράσει το μηδέν, με άλλα λόγια ότι έχει όριο τον αριθμό 0.
Ένας άτυπος ορισμός του ορίου ακολουθίας είναι ο εξής: μια ακολουθία λέμε ότι έχει όριο ή ότι συγκλίνει σε ένα αριθμό L, όταν οι όροι της πλησιάζουν όλο και περισσότερο τον αριθμό αυτό καθώς ο δείκτης της αυξάνεται απεριόριστα.
Ο αυστηρός ορισμός της σύκλισης μιας ακολουθίας (an) σε πραγματικό αριθμό είναι ο εξής: λέμε ότι ο αριθμός L είναι όριο της ακολουθίας αν για κάθε ε > 0 υπάρχει (τουλάχιστον ένας) φυσικός αριθμός n0 τέτοιος, ώστε για κάθε n>n0 να ισχύει:
και το συμβολίζουμε με:
Φυσικά είναι δυνατόν μια ακολουθία να μην συγκλίνει σε πραγματικό αριθμό. Μπορεί για παράδειγμα να αποκλίνει στο ή στο ή ακόμα να μην έχει όριο καθόλου. Αν όμως μια ακολουθία έχει όριο είτε πραγματικό αριθμό είτε άπειρο, τότε αποδεικνύεται ότι αυτό είναι μοναδικό.