Προβολή πηγαίου κώδικα για τη σελίδα Ακολουθία

{{άλλεςχρήσεις}}
Στα [[μαθηματικά]], μια '''ακολουθία''' είναι μια διατεταγμένη ''λίστα'' αντικειμένων. Μια ακολουθία έχει ''όρους'' και το πλήθος των όρων της (που ενδέχεται να είναι και άπειρο) ονομάζεται ''μήκος'' της ακολουθίας. Σε αντίθεση με τα [[Σύνολο|σύνολα]] σε μια ακολουθία έχει σημασία η διάταξη των αντικειμένων της (πρώτος όρος, δεύτερος, τρίτος και ούτω καθ' εξής). Επιπλέον δεν υπάρχει περιορισμός όσον αφορά το πόσες φορές μπορεί να εμφανίζεται ένα αντικείμενο μιας ακολουθίας (σε αντίθεση και πάλι με τα σύνολα όπου ένα αντικείμενο μπορεί να εμφανίζεται το πολύ μια φορά).

Οι ακολουθίες διακρίνονται ως προς το πλήθος των όρων τους, στις '''άπειρες ακολουθίες''' και στις '''πεπερασμένες'''.<ref name="Mpalis">{{cite book |last=Μπαλλής |first=Στ. |title=Αλγεβρα μετα στοιχειων αναλυτικης γεωμετριας και αναλυσεως |publisher=Βερβεριδης Πολυχρονιδης |location=Θεσσαλονικη}}</ref>{{rp|51}} Σχεδόν αποκλειστικά, στην [[μαθηματική ανάλυση]] ενδιαφέρον έχουν οι πρώτες.

== Αυστηρός Ορισμός ==
Ονομάζουμε '''ακολουθία''' ή πιο συγκεκριμένα '''άπειρη ακολουθία''' οποιαδήποτε συνάρτηση α από το σύνολο των φυσικών <math> \mathbb{N} </math> σε ένα σύνολο Α, δηλαδή κάθε συνάρτηση της μορφής:{{r|Mpalis|p=50}}<ref name="M71">{{cite book |last=Μαντας |first=Ι. |title=Μαθηματικά 2: Ακολουθίες και Σειρές |year=1971 |publisher=Χρ. Ζησουλης |location=Αθήνα}}</ref>{{rp|1}}
: <math> a: \mathbb{N} \rightarrow A </math>

Συνηθίζεται να συμβολίζουμε την τιμή μιας ακολουθίας, για κάθε στοιχείο <math>k \in \mathbb{N}</math> ως <math>a_k</math>, αντί του <math>a(k)</math>, όπως συνηθίζεται γενικά για τις συναρτήσεις. Αν το σύνολο <math>A</math> είναι ίσο με το σύνολο των [[Πραγματικός αριθμός|πραγματικών αριθμών]] τότε η ακολουθία ονομάζεται '''πραγματική ακολουθία'''.

Ονομάζουμε '''πεπερασμένη ακολουθία''' ή '''λίστα''' <math>n</math> '''στοιχείων''' οποιαδήποτε [[συνάρτηση]] <math>a</math> από το σύνολο <math>\lbrace 1, 2, \cdots , n \rbrace</math> σε ένα σύνολο <math>A</math>, δηλαδή κάθε συνάρτηση της μορφής:<ref>{{cite web |last=Γκότσης |first=Κ. |title=Σημειώσεις Στοιχειώδους Θεωρίας Αριθμών |url=https://eclass.uoa.gr/modules/document/file.php/MATH727/532.%20%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1%20%CE%91%CF%81%CE%B9%CE%B8%CE%BC%CF%8E%CE%BD/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1%20%CE%91%CF%81%CE%B9%CE%B8%CE%BC%CF%8E%CE%BD%28%CE%93%CE%BA%CF%8C%CF%84%CF%83%CE%B7%29.pdf |publisher=Τμήμα Μαθηματικών, Πανεπιστήμιο Αθηνών |year=2018 |accessdate=11 Αυγούστου 2022}}</ref>{{rp|97}}
: <math> a: \lbrace 1, 2, \cdots , n \rbrace \rightarrow A </math>.

Όλες οι ακολουθίες ως συναρτήσεις είναι σύνολα διατεταγμένων ζευγών. Παρόλα αυτά μια πεπερασμένη ακολουθία μπορούμε να την αντιμετωπίζουμε ως διατεταγμένη n-άδα για ευκολία και επομένως μπορούμε να τη συμβολίσουμε με <math>(a_1, a_2, \dots, a_n)</math>. Παρόμοια, για μια άπειρη ακολουθία μπορούμε να χρησιμοποιούμε το συμβολισμό <math>(a_1, a_2, \dots )</math> όπου <math>a_1</math> είναι ο πρώτος όρος της, <math>a_2</math> ο δεύτερος κοκ. Επίσης μια άπειρη ακολουθία συμβολίζεται και ως <math>\left(a_n\right)_{n\in\mathbb{N}}</math>, ή για συντομία <math>(a_n)</math>.

== Όριο Ακολουθίας ==
{{Κύριο|Όριο ακολουθίας}}

Θεωρούμε την ακολουθία:
:<math>a_n = \frac{1}{n}</math> 
με όρους:
:<math>a_1 = 1, \ldots, a_{10}=\frac{1}{10}, \ldots, a_{100}=\frac{1}{100}, \ldots , a_{1000}=\frac{1}{1000}, \ldots</math>

Είναι εύκολο να παρατηρήσει κανείς ότι οι όροι της ακολουθίας ''πλησιάζουν'' ολοένα και περισσότερο το 0 καθώς ο δείκτης της <math>n</math> αυξάνεται. Για τη συγκεκριμένη ακολουθία μπορούμε επίσης να παρατηρήσουμε ότι για καμιά τιμή του <math>n</math> δεν θα υπάρξει όρος (ίσος ή) μικρότερος του μηδενός. Θα μπορούσαμε λοιπόν να πούμε ότι η ακολουθία μας δεν μπορεί να ''ξεπεράσει'' το μηδέν, με άλλα λόγια ότι έχει ''όριο'' τον αριθμό 0.

Ένας άτυπος ορισμός του ορίου ακολουθίας είναι ο εξής: μια ακολουθία λέμε ότι έχει ''όριο'' ή ότι ''συγκλίνει σε ένα αριθμό <math>\ell</math>, όταν οι όροι της πλησιάζουν όλο και περισσότερο τον αριθμό αυτό καθώς ο δείκτης της αυξάνεται απεριόριστα.

Ο αυστηρός ορισμός της σύγκλισης μιας ακολουθίας <math>(a_n)</math> σε έναν πραγματικό αριθμό <math>\ell</math> είναι ο εξής: λέμε ότι '''ο αριθμός <math>\ell</math> είναι όριο της ακολουθίας''' <math>(a_n)</math> αν για κάθε <math>\varepsilon>0</math> υπάρχει (τουλάχιστον ένας) φυσικός αριθμός <math>n_0</math> τέτοιος, ώστε για κάθε <math>n\geq n_0</math> να ισχύει:<ref name="Zournas">{{cite book |last=Ζουρνάς |first=Ι. |title=Άλγεβρα Τόμος ΙΙ |publisher=Εκδόσεις Σύγχρονου Βιβλιοπωλείου |location=Θεσσαλονικη}}</ref>{{rp|380}}
: <math>|a_n - \ell| < \varepsilon</math>.
Σημειώνουμε ότι στον παραπάνω ορισμό, ο αριθμός <math>n_0</math> εξαρτάται από την επιλογή του <math>\varepsilon</math>. Για το όριο χρησιμοποιούμε τον παρακάτω συμβολισμό:
:<math>\lim_{n \to \infty}a_n = \ell </math>, ή <math>\lim_{n}a_n = \ell </math> για συντομία.

Στην περίπτωση που δεν υπάρχει αριθμός <math>\ell </math> που να ικανοποιεί τον παραπάνω ορισμό, λέγεται ότι η ακολουθία '''αποκλίνει'''. Όταν συγκλίνει στο <math>\ell = 0</math>, λέγεται '''μηδενική ακολουθία'''.{{r|M71|p=29}}{{r|Zournas|p=369-370}}

Μια ιδιαίτερη περίπτωση αποκλίνουσας ακολουθίας είναι αυτή που '''συγκλίνει στο <math>+\infty </math>''' (αντίστοιχα στο <math>-\infty </math>). Μια ακολουθία <math>(a_n)</math> συγκλίνει στο '''<math>+\infty </math>''' όταν για κάθε <math>M>0</math> (οσοδήποτε μεγάλο) υπάρχει (τουλάχιστον ένας) φυσικός αριθμός <math>n_0</math> τέτοιος, ώστε για κάθε <math>n\geq n_0</math> να ισχύει:  <math>a_n \geq M.</math> Αντιστοίχως, μια ακολουθία <math>(a_n)</math> συγκλίνει στο '''<math>-\infty </math>''' όταν για κάθε <math>M<0</math> (οσοδήποτε μικρό) υπάρχει (τουλάχιστον ένας) φυσικός αριθμός <math>n_0</math> τέτοιος, ώστε για κάθε <math>n\geq n_0</math> να ισχύει:  <math>a_n \leq M.</math>{{r|M71|p=100-102}}

Φυσικά είναι δυνατόν μια ακολουθία να μην συγκλίνει ούτε σε πραγματικό αριθμό ούτε στο '''<math>+\infty </math>''' (μια τέτοια ακολουθία είναι π.χ. η <math>a_n = (-1)^n</math>). Αν όμως μια ακολουθία έχει όριο είτε πραγματικό αριθμό είτε άπειρο, τότε αποδεικνύεται ότι αυτό είναι μοναδικό.<ref>{{cite book |last=Παπαδημητράκης |first=Μιχάλης |title=Ανάλυση: Πραγματικές συναρτήσεις μίας μεταβλητής |year=2015 |publisher=ΣΕΑΒ |location=Αθήνα |isbn=978-960-603-403-9 |url=https://repository.kallipos.gr/handle/11419/2890}}</ref>{{rp|34}}

== Φραγμένες ακολουθίες ==

Μία ακολουθία <math>(a_n)</math> είναι:<ref name="AXA16">{{cite book |last1=Αδάμ |first1=Μ. |last2=Χατζάρας |first2=Ι. |last3=Ασημάκης |first3=Ν. |title=Μαθηματική Ανάλυση |year=2016 |publisher=ΣΕΑΒ |location=Αθήνα |isbn=978-960-603-392-6 |url=https://repository.kallipos.gr/handle/11419/6356}}</ref>{{rp|71}}{{r|M71|p=10-13}}{{r|Zournas|p=361-362}}
* '''Άνω φραγμένη''', αν υπάρχει <math>M \in \R</math> ώστε <math>a_n \leq M</math> για κάθε <math>n \in \N</math>.
* '''Κάτω φραγμένη''', αν υπάρχει <math>M \in \R</math> ώστε <math>a_n \geq M</math> για κάθε <math>n \in \N</math>.
* '''Φραγμένη''', αν υπάρχει <math>M \in \R</math> ώστε <math>|a_n| \leq M</math> για κάθε <math>n \in \N</math>, δηλαδή αν είναι άνω και κάτω φραγμένη.

== Μονότονες ακολουθίες ==

[[File:Monotone Sequence el.svg|right|thumb|450px|Παραδείγματα μονότονων ακολουθιών.]]

Μία ακολουθία <math>(a_n)</math> είναι:{{r|AXA16|p=75}}{{r|M71|p=13-15}}{{r|Zournas|p=357-358}}
* '''Αύξουσα''', αν <math>a_{n+1} \geq a_n</math> για κάθε <math>n \in \N</math>.
* '''Γνησίως αύξουσα''', αν <math>a_{n+1} > a_n</math> για κάθε <math>n \in \N</math>.
* '''Φθίνουσα''', αν <math>a_{n+1} \leq a_n</math> για κάθε <math>n \in \N</math>.
* '''Γνησίως φθίνουσα''', αν <math>a_{n+1} < a_n</math> για κάθε <math>n \in \N</math>.
* '''Μονότονη''', αν είναι αύξουσα ή φθίνουσα. '''Γνησίως μονότονη''', αν είναι γνησίως αύξουσα ή γνησίως φθίνουσα.
* '''Σταθερή''', αν <math>a_{n+1} = a_n</math> για κάθε <math>n \in \N</math>.

== Υπακολουθία ==

Αν <math>a_n</math> είναι μια ακολουθία και <math>k_1 < k_2 < ... < k_n < ...</math> είναι [[Φυσικός αριθμός|φυσικοί αριθμοί]], τότε η ακολουθία <math>(a_{k_n})</math>, δηλαδή η <math>a_{k_1}, a_{k_2}, a_{k_3}, \ldots </math> καλείται '''υπακολουθία''' της <math>(a_n)</math>.{{r|Mpalis|p=52}}{{r|AXA16|p=78}} Μια υπακολουθία μιας ακολουθίας αποτελεί κι αυτή ακολουθία. Επιπλέον, οι δείκτες των όρων μιας υπακολουθίας αποτελούν μια γνησίως αύξουσα ακολουθία φυσικών αριθμών.

Αν <math>a_{k_n}</math> είναι υπακολουθία μιας συγκλίνουσας ακολουθίας <math>a_n</math>, τότε συγκλίνει κι αυτή στο ίδιο όριο, στο οποίο συγκλίνει η <math>a_n</math>.{{r|AXA16|p=85}}

== Περαιτέρω ανάγνωση ==

===Εξωτερικοί σύνδεσμοι===
# Α. Τόγκας, [https://www.math.upatras.gr/~tasos/akolouthies_MAS012.pdf Σημειώσεις στις ακολουθίες για το μάθημα απειροστικός Λογισμός Ι]. Τμήμα Μαθηματικών, Πανεπιστήμιο Πατρών.
# Α. Γιαννόπουλος, [https://eclass.uoa.gr/modules/document/file.php/MATH130/1.%20%CE%A3%CE%B7%CE%BC%CE%B5%CE%B9%CF%8E%CF%83%CE%B5%CE%B9%CF%82%20%CE%BA%CE%B1%CE%B9%20%CE%B1%CF%83%CE%BA%CE%AE%CF%83%CE%B5%CE%B9%CF%82%20%CF%84%CE%BF%CF%85%20%CE%BC%CE%B1%CE%B8%CE%AE%CE%BC%CE%B1%CF%84%CE%BF%CF%82/2009-10%20%CE%A3%CE%B7%CE%BC%CE%B5%CE%B9%CF%8E%CF%83%CE%B5%CE%B9%CF%82%20%28%CE%91%CF%80.%20%CE%93%CE%B9%CE%B1%CE%BD%CE%BD%CF%8C%CF%80%CE%BF%CF%85%CE%BB%CE%BF%CF%82%29/AP1-2009.pdf Σημειώσεις Απειροστικού Λογισμού], Τμήμα Μαθηματικών ΕΚΠΑ.
# [http://users.math.uoc.gr/~kouvid/Courses/Apeirostikos_1/Theory/SEQUENCES.pdf Ακολουθίες], Σημειώσεις για το μάθημα Απειροστικός Λογισμός Ι, Τμήμα Μαθηματικών, Πανεπιστήμιο Κρήτης.
# [http://users.math.uoc.gr/~kouvid/Courses/Apeirostikos_1/Theory/SEQUENCES.pdf Σημειώσεις στις ακολουθίες], ΕΑΠ, θεματική ενότητα ΠΛΗ12.
# [https://www.mathstudies.eu/single-post/2017/07/01/%CE%A3%CE%B7%CE%BC%CE%B5%CE%B9%CF%8E%CF%83%CE%B5%CE%B9%CF%82-%CF%83%CF%84%CE%B9%CF%82-%CE%91%CE%BA%CE%BF%CE%BB%CE%BF%CF%85%CE%B8%CE%AF%CE%B5%CF%82 Σημειώσεις στις Ακολουθίες], MathStudies Blog.

=== Ελληνικά άρθρα ===
* {{cite journal |title=Η "ακολουθία" στη ζωή και στα μαθηματικά |pages=126-130 |author1=Δ. Ζέρβας |author2=Ν. Ζανής  |journal=[[Ευκλείδης Β΄]] |year=1981 |issue=3 |url=http://www.hms.gr/apothema/?s=sa&i=3124 }}
* {{cite journal |title=Πρόοδοι |pages=224-227 |author=Χ. Γκουβιέρος  |journal=[[Ευκλείδης Β΄]] |year=1982 |issue=4 |url=http://www.hms.gr/apothema/?s=sa&i=3314 }}
* {{cite journal |title=Αριθμητικές και Γεωμετρικές Πρόοδοι |pages=221-224 |author=Σ. Μπάρτζης  |journal=[[Ευκλείδης Β΄]] |year=1983 |issue=4 |url=http://www.hms.gr/apothema/?s=sa&i=3153 }}
* {{cite journal |title=Ακολουθίες |pages=55-62 |author=Θ. Μακαρές  |journal=[[Ευκλείδης Β΄]] |year=1984 |issue=4 |url=http://www.hms.gr/apothema/?s=sa&i=2975 }}
* {{cite journal |title=Ακολουθίες... |pages=171-175 |author=Γ. Μαμωνάς  |journal=[[Ευκλείδης Β΄]] |year=1987 |issue=3 |url=http://www.hms.gr/apothema/?s=sa&i=3207 }}
* {{cite journal |title=Ακολουθίες που ορίζονται επαγωγικά (με αναδρομικό τύπο)|pages=45-48 |author=Μαυρουδής Νίκος  |journal=[[Ευκλείδης Β΄]] |year=1990 |issue=2 |url=http://www.hms.gr/apothema/?s=sa&i=3057 }}
* {{cite journal |title=Αναφορά στις Προόδους |pages=24-29 |author=Βισκαδουράκης Βασίλειος  |journal=[[Ευκλείδης Β΄]] |year=1993 |issue=2 |url=http://www.hms.gr/apothema/?s=sa&i=3584 }}

== Δείτε επίσης ==
* [[Σειρά]] - Το άθροισμα των όρων μίας ακολουθίας
* [[Αριθμητική πρόοδος]] - Η ακολουθία με <math>a_n = a_1 + (n-1) \cdot \omega</math>
* [[Γεωμετρική πρόοδος]] - Η ακολουθία με <math>a_n = a_1 \cdot \lambda^{n-1}</math>
* [[Αρμονική πρόοδος]] - Η ακολουθία με <math>a_n = \tfrac{1}{\tfrac{1}{a_1} + (n-1) \cdot \omega}</math>

== Παραπομπές ==
<references/>

==Εξωτερικοί σύνδεσμοι==
* {{commonscat2}}
* {{βικιλεξικό-σύντομο}}


{{Authority control}}

[[Κατηγορία:Ακολουθίες| ]]
[[Κατηγορία:Στοιχειώδη μαθηματικά]]