Ακολουθίες πραγματικών αριθμών

Transcript

1 ΚΕΦΑΛΑΙΟ Ακολουθίες πραγματικών αριθμών Όταν διαδοχικές τιµές που παίρνει µία μεταβλητή προσεγγίζουν απεριόριστα µία συγκεκριµένη τιµή έτσι ώστε τελικά να διαφέρουν από αυτήν λιγότερο από όσο επιθυµεί κανείς, η τελευταία αυτή τιµή καλείται όριο όλων των άλλων. Augusti-Louis Cuchy ( Από αµνηµόνευτους χρόνους, το άπειρο συγκινούσε τη ψυχή του ανθρώπου περισσότερο από οποιοδήποτε άλλο ζήτηµα. Είναι δύσκολο να βρει κανείς µία ιδέα που να έχει ερεθίσει τόσο γόνιµα τη νόηση όσο η ιδέα του απείρου. Αλλά και καμία άλλη έννοια δεν χρήζει οριστικής διασάφησης περισσότερο από αυτήν Über ds Uedliche, Mthemtische Ale, 95(, (96,6-90 Dvid Hilbert (86-943

2 ΚΕΦΑΛΑΙΟ Ακολουθίες πραγματικών αριθμών Σύνοψη Στο κεφάλαιο αυτό παρουσιάζονται οι έννοιες της ακολουθίας και της υπακολουθίας των πραγματικών αριθμών, ορίζονται οι έννοιες της φραγμένης και της μονότονης ακολουθίας και διατυπώνονται οι ιδιότητες που συνδέουν αυτές τις έννοιες μεταξύ τους. Παρουσιάζονται τα σημαντικότερα κριτήρια και οι προτάσεις μίας συγκλίνουσας ακολουθίας και μελετώνται τα χαρακτηριστικά όρια ακολουθιών. Προαπαιτούμενη γνώση Συναρτήσεις.. Η έννοια της ακολουθίας Οι ακολουθίες αποτελούν ειδική περίπτωση συναρτήσεων, οι οποίες χρησιμοποιούνται σε προβλήματα διακριτοποίησης, τα οποία βρίσκουν πολλές εφαρμογές στους Γραμμικούς Μετασχηματισμούς, στα Σήματα και Συστήματα, στην Ψηφιακή Επεξεργασία Σημάτων, στις Τηλεπικοινωνίες, στην Πολυπλοκότητα Αλγορίθμων, στη Θεωρία Ουρών κ.ά., (βλέπε, Ασημάκης (008; Ασημάκης & Αδάμ, (05; Chpr, S. C., & Cle, R. P. (04, Fiey, R. L., Weir, M. D., & Giordo, F. R. (0; Σαρρής, Ι., & Καρακασίδης, Θ. (04; Spivk, Μ. (00. Ορισμός... Ακολουθία (sequece πραγματικών αριθμών ονομάζεται μία συνάρτηση με πεδίο ορισμού το σύνολο των φυσικών αριθμών = {,,3, } και σύνολο τιμών το σύνολο των πραγματικών αριθμών. Η ακολουθία ως συνάρτηση σημειώνεται :, η οποία έχει ανεξάρτητη μεταβλητή την, και εξαρτημένη μεταβλητή (εικόνα του στοιχείου την (, που στη συνέχεια σημειώνεται, δηλαδή, θέτουμε ( =. Ο πραγματικός αριθμός, που είναι η εικόνα του στοιχείου της συνάρτησης :, ονομάζεται -οστός όρος της ακολουθίας, ενώ όταν αναφέρεται στον τύπο της ακολουθίας αυτός ονομάζεται γενικός όρος της. Σε μερικές περιπτώσεις η ακολουθία μπορεί να έχει πεδίο ορισμού το σύνολο 0 = { 0,,, }, οπότε ορίζεται και ο μηδενικός όρος της ακολουθίας ως 0. Στη συνέχεια, η ακολουθία συμβολίζεται με την αναγραφή ορισμένων πρώτων όρων και του γενικού όρου της ως συνάρτηση του, δηλαδή,,,,,, ή σύντομα (, ή απλούστερα (. Επίσης, μπορεί να ορίζονται k το πλήθος πρώτοι (αρχικοί όροι της ακολουθίας,,, k και για κάθε k +, ο όρος να ορίζεται ως συνάρτηση των αρχικών όρων,,, k, κάθε όρος της ακολουθίας με k + υπολογίζεται από έναν τύπο, που ονομάζεται αναδρομικός. Από τον Ορισμό.. και τον παραπάνω συμβολισμό είναι φανερό ότι το σύνολο τιμών της ακολουθίας ( είναι το σύνολο, που έχει στοιχεία τους όρους της ακολουθίας, δηλαδή, {,,,, }, το οποίο είναι πεπερασμένο ή μη πεπερασμένο υποσύνολο του. Επειδή πεδίο ορισμού της ακολουθίας είναι οι φυσικοί αριθμοί και σύνολο τιμών υποσύνολο του, η γραφική παράσταση της ακολουθίας είναι διακριτά σημεία στο δεξιό ημιεπίπεδο, δείτε στα Σχήμα. και Σχήμα.. 68

3 Σχήμα.: Η γραφική παράσταση της ακολουθίας =,. Παραδείγματα... i Η ακολουθία των φυσικών αριθμών έχει γενικό όρο =,, αποτελεί αριθμητική πρόοδο με πρώτο όρο = και διαφορά ω =. ii Η ακολουθία με γενικό όρο ( + =, έχει όρους,,,, (, (, συνεπώς, το σύνολο τιμών της ακολουθίας είναι ένα πεπερασμένο σύνολο, έχει μόνο δύο στοιχεία,,. iii Για κάθε αριθμό c, η ακολουθία με γενικό όρο = c, έχει όλους τους όρους της ίσους με το σταθερό αριθμό c και ονομάζεται σταθερή ακολουθία. Το σύνολο τιμών της ακολουθίας είναι το μονοσύνολο { c }. Στο Σχήμα. αναπαριστάνεται η γραφική παράσταση της ακολουθίας =, για κάθε. iv Η ακολουθία με γενικό όρο =, έχει ως πρώτους όρους,4,6,8,,,. Το σύνολο τιμών της ακολουθίας είναι οι άρτιοι αριθμοί, που είναι μη πεπερασμένο σύνολο. v Η ακολουθία με γενικό όρο =, έχει ως πρώτους όρους,3,5,,,. Το σύνολο τιμών της ακολουθίας είναι οι περιττοί αριθμοί, που είναι μη πεπερασμένο σύνολο. 9 vi Η ακολουθία με γενικό όρο =, έχει ως πρώτους όρους,,,,, Το σύνολο τιμών της ακολουθίας είναι θετικοί ρητοί αριθμοί, που είναι μη πεπερασμένο σύνολο. vii Οι δύο πρώτοι όροι μίας ακολουθίας είναι = = και κάθε άλλος όρος της δίνεται από τον αναδρομικό τύπο + = + +, για κάθε. Οι δέκα πρώτοι όροι της ακολουθίας είναι,,,3,5,8,3,,34,55, η ακολουθία είναι γνωστή και ως ακολουθία Fibocci. Αριθμητική πρόοδος είναι μία ακολουθία ( με αναδρομικό τύπο + = + ω, για κάποιον σταθερό πραγματικό αριθμό ω, που ονομάζεται διαφορά της ακολουθίας, επειδή από τον αναδρομικό τύπο ισούται με τη διαφορά δύο διαδοχικών όρων της. Αποδεικνύεται ότι, ο γενικός όρος της ακολουθίας είναι = + ( ω, για κάθε. 69

4 Σχήμα.: Η γραφική παράσταση της ακολουθίας = ,. Ορισμός..3. Δύο ακολουθίες ( και ( αριθμό. b ονομάζονται ίσες αν ισχύει b =, για κάθε φυσικό Οι πράξεις άθροισμα, διαφορά, γινόμενο, γινόμενο επί αριθμό και πηλίκο μεταξύ ακολουθιών, ορίζονται όπως ορίστηκαν και οι αντίστοιχες πράξεις μεταξύ δύο συναρτήσεων, βλέπε Ορισμό

5 .. Φραγμένες ακολουθίες Η έννοια της φραγμένης ή μη φραγμένης συνάρτησης, που διατυπώθηκε στον Ορισμό.., μπορεί να επεκταθεί και να διατυπωθεί με ανάλογο τρόπο και για την ακολουθία, όπως στη συνέχεια. Ορισμός... Μία ακολουθία ( ονομάζεται i άνω φραγμένη (upper bouded, όταν υπάρχει πραγματικός αριθμός M, τέτοιος ώστε.. Ο αριθμός M ονομάζεται άνω φράγμα (upper boud της ακολουθίας ( M για κάθε Το ελάχιστο από τα άνω φράγματα της ακολουθίας ονομάζεται άνω πέρας (supremum και συμβολίζεται sup. ii κάτω φραγμένη (lower bouded, όταν υπάρχει πραγματικός αριθμός m, τέτοιος ώστε m για κάθε.. Ο αριθμός m ονομάζεται κάτω φράγμα (lower boud της ακολουθίας ( Το μέγιστο από τα κάτω φράγματα της ακολουθίας ονομάζεται κάτω πέρας (ifimum και συμβολίζεται if. iii φραγμένη (bouded, όταν η ακολουθία ( είναι άνω και κάτω φραγμένη. iv απόλυτα φραγμένη (bsolutely bouded, όταν υπάρχει θετικός πραγματικός αριθμός, τέτοιος ώστε να ισχύει. για κάθε. Ο αριθμός ονομάζεται απόλυτο φράγμα της ( Από τον Ορισμό..(i είναι φανερό ότι αν ο M είναι ένα άνω φράγμα της ακολουθίας ( οποιοσδήποτε άλλος αριθμός μεγαλύτερος του M είναι άνω φράγμα της ( μίας άνω φραγμένης ακολουθίας ( ( 04. Αν η ακολουθία ( = +. και. Συνεπώς, το άνω φράγμα δεν είναι μοναδικό. Επιπλέον αποδεικνύεται ότι αν η ακολουθία είναι άνω φραγμένη το άνω πέρας υπάρχει και είναι μοναδικό, (βλέπε, Ενότητα 3.8, (Ρασσιάς, δεν είναι άνω φραγμένη, τότε γράφουμε sup Αντίστοιχα, από τον Ορισμό..(ii είναι φανερό ότι αν ο m είναι ένα κάτω φράγμα της ακολουθίας. Άρα, το κάτω ( και οποιοσδήποτε άλλος αριθμός μικρότερος του m είναι κάτω φράγμα της ( φράγμα μίας κάτω φραγμένης ακολουθίας ( ακολουθία ( είναι κάτω φραγμένη το κάτω πέρας υπάρχει και είναι μοναδικό. Αν η ακολουθία ( δεν είναι κάτω φραγμένη, τότε γράφουμε if =. Παρόλο που τα φράγματα (άνω ή κάτω μίας ακολουθίας ( να «εντοπίσουμε» κάποιο φράγμα (άνω ή κάτω της ( φράγματος της ( δεν είναι μοναδικό. Επιπλέον αποδεικνύεται ότι αν η δεν είναι μοναδικά, όταν χρειάζεται, αρχικά αναζητούμε την ύπαρξη ενός απόλυτου, επειδή οι έννοιες απόλυτα φραγμένη και φραγμένη ακολουθία είναι ισοδύναμες, όπως διατυπώνεται στην ακόλουθη πρόταση. Πρόταση... Μία ακολουθία ( είναι φραγμένη αν και μόνο αν είναι απόλυτα φραγμένη. είναι φραγμένη, οπότε σύμφωνα με τον Ορισμό.. (iii είναι άνω και κάτω φραγμένη, συνεπώς υπάρχουν δύο πραγματικοί αριθμοί mm, τέτοιοι ώστε να ισχύει m M, για κάθε. Θεωρούμε µ = mx{ m, M }, οπότε η παραπάνω ανισότητα μπορεί να γραφεί Απόδειξη: Αρχικά υποθέτουμε ότι η ακολουθία ( 7

6 Άρα, για κάθε ισχύει επομένως η ακολουθία ( Αντίστροφα, αν υποθέσουμε ότι η ακολουθία ( µ m m M M µ, για κάθε. (.. µ µ µ, (.. είναι απόλυτα φραγμένη, (βλέπε, Ορισμό..(iv. είναι απόλυτα φραγμένη από ένα θετικό πραγματικό αριθμό, συνδυάζοντας τον Ορισμό..(iv με την ιδιότητα της απόλυτης τιμής στην (.., για κάθε μπορούμε να γράψουμε, το οποίο σημαίνει ότι η ακολουθία ( είναι άνω φραγμένη από τον αριθμό και κάτω φραγμένη από τον αριθμό, συνεπώς η ακολουθία ( είναι φραγμένη, (βλέπε, Ορισμό.. (iii. Η ισοδυναμία που παρουσιάζεται στην Πρόταση.. εξασφαλίζει άνω και κάτω φράγμα για την από τον ίδιο αριθμό κατά απόλυτη τιμή. Αν δεν υπάρχει απόλυτο φράγμα, αυτό σημαίνει ακολουθία ( ότι η ακολουθία δεν είναι άνω και κάτω φραγμένη από τον ίδιο (κατά απόλυτη τιμή πραγματικό αριθμό, (βλέπε, στη σχέση (.., το οποίο δεν είναι ισοδύναμο με το ότι η ακολουθία δεν είναι φραγμένη. Η μπορεί να είναι άνω φραγμένη ή κάτω φραγμένη ή να μην είναι φραγμένη. ακολουθία ( Παραδείγματα..3. i Η ακολουθία με γενικό όρο = είναι φραγμένη, για κάθε. Παρατηρήστε ότι, για κάθε, όλοι οι όροι της ακολουθίας ( πρώτοι όροι της ακολουθίας είναι,,,,, προφανώς, μπορούμε να γράψουμε 3 4 0<, για κάθε. είναι θετικοί αριθμοί και επειδή οι Σύμφωνα με τον Ορισμό.. (i και (ii ένα κάτω φράγμα για την ακολουθία είναι ο αριθμός 0 και ένα άνω φράγμα είναι ο αριθμός. Επειδή οποιοσδήποτε αριθμός μεγαλύτερος από το άνω φράγμα αποτελεί επίσης άνω φράγμα για την ακολουθία, συμπεραίνουμε ότι το άνω πέρας της ακολουθίας είναι sup =, (βλέπε, Ορισμός.. (i. Επιπλέον, οποιοσδήποτε αριθμός μικρότερος από το κάτω φράγμα αποτελεί επίσης ένα κάτω φράγμα για την ακολουθία, συμπεραίνουμε ότι το κάτω πέρας της ακολουθίας είναι if = 0, (βλέπε, Ορισμός.. (ii. Εδώ χρειάζεται να σημειώσουμε ότι, ένα κριτήριο για τον εντοπισμό των περάτων (άνω ή κάτω, αν αυτά δεν είναι όροι της ακολουθίας, αποτελεί η Πρόταση.5.3, (βλέπε, Παρατήρηση.5.4. Επειδή, η ακολουθία είναι άνω και κάτω φραγμένη χαρακτηρίζεται φραγμένη (βλέπε, Ορισμός.. (iii, και από την ισοδυναμία της Πρότασης.., συμπεραίνουμε ότι η ακολουθία ( Επειδή για κάθε μπορούμε να γράψουμε είναι απόλυτα φραγμένη. = = <, άρα ένα απόλυτο φράγμα της ( ο αριθμός, δηλαδή, το απόλυτο φράγμα ταυτίζεται με το άνω πέρας της (. είναι ii Η ακολουθία με γενικό όρο ( = είναι απόλυτα φραγμένη, επειδή για κάθε μπορούμε να γράψουμε ( = = = <. Άρα ένα απόλυτο φράγμα της ακολουθίας ( είναι ο αριθμός, και από την ισοδυναμία της Πρότασης.. συμπεραίνουμε ότι η ακολουθία ( είναι φραγμένη. Άλλωστε από < < < προκύπτουν δύο φράγματα (κάτω και άνω για την ακολουθία, ένα κάτω φράγμα είναι m =, και ένα άνω φράγμα είναι M =. 7

7 Επιπλέον, για κάθε, οι όροι της ακολουθίας είναι,,,,,,,,, τους k k οποίους μπορούμε να αναδιατάξουμε και να τους γράψουμε σε ένα σύνολο ως ακολούθως {,,,,,,,,, }. 3 5 k k 6 4 Παρατηρήστε ότι, το παραπάνω σύνολο έχει ελάχιστο στοιχείο το m =, και μέγιστο στοιχείο το, που είναι μικρότερο από το άνω φράγμα που υποθέσαμε. Επειδή, ο μικρότερος όρος της ακολουθίας ταυτίζεται με το κάτω φράγμα, m, το ελάχιστο του παραπάνω συνόλου, και οποιοσδήποτε αριθμός μικρότερος του m είναι ένα κάτω φράγμα της ακολουθίας, σύμφωνα με τον Ορισμό.. (ii το κάτω πέρας της ακολουθίας είναι if =. Επειδή οποιοσδήποτε αριθμός μεγαλύτερος από το μέγιστο του παραπάνω συνόλου αποτελεί ένα άνω φράγμα για την ακολουθία, σύμφωνα με τον Ορισμό.. (ii το άνω πέρας της ακολουθίας είναι sup =. (! iii Η ακολουθία με γενικό όρο = είναι φραγμένη, για κάθε. Αρχικά να θυμίσουμε τον ορισμό του παραγοντικού, ο οποίος είναι :! = 3, για κάθε, και 0! =. Παρατηρήστε ότι οι πρώτοι όροι της ακολουθίας ( είναι! 3!,,,,, από όπου είναι φανερό ότι όλοι οι όροι είναι θετικοί αριθμοί. Eπομένως, ένα κάτω φράγμα της ( είναι m = 0. Επειδή οποιοσδήποτε αριθμός μικρότερος του m είναι ένα κάτω φράγμα της ακολουθίας και όλοι οι όροι της ακολουθίας συνεχώς «πλησιάζουν» τον m, συμπεραίνουμε ότι το κάτω πέρας της ακολουθίας είναι if = 0, (βλέπε, Παρατήρηση.5.4, Παραδείγματα.5.5 (ii. Επιπλέον χρησιμοποιώντας τον ορισμό του παραγοντικού μπορούμε να γράψουμε για κάθε : (! 3 ( = = < = = Επομένως, ένα άνω φράγμα για την ακολουθία ( είναι M =. Άρα, η ακολουθία είναι φραγμένη και σύμφωνα με την Πρόταση.. είναι και απόλυτα φραγμένη, αρκεί να θεωρήσουμε ως απόλυτο φράγμα τον αριθμό ή οποιονδήποτε αριθμό μεγαλύτερο από αυτόν.! Επιπλέον παρατηρήστε ότι, οι όροι της ακολουθίας,,, συνεχώς «φθίνουν», (βλέπε, Παράδειγμα (ii και ότι όλοι οι όροι είναι μικρότεροι του απολύτου φράγματος, εκτός από τον πρώτο όρος της. Σύμφωνα με τον Ορισμός.. (i το άνω πέρας της ακολουθίας είναι sup =. iv H ακολουθία με γενικό όρο 3 = είναι φραγμένη, για κάθε. Πράγματι, από τη γνωστή αλγεβρική ταυτότητα γνωρίζουμε ότι μπορούμε να γράψουμε: 3 = = = 3 Χρησιμοποιώντας την παραπάνω ισότητα και τις ιδιότητες της απόλυτης τιμής, έχουμε: 4 = = + = < 3 73

8 Επομένως, ένα απόλυτο φράγμα της ακολουθίας ( την ισοδυναμία της Πρότασης.. συμπεραίνουμε ότι η ακολουθία ( είναι ο θετικός πραγματικός αριθμός 43, και από είναι φραγμένη και από τη (.. προκύπτει ότι ένα άνω φράγμα είναι M = 4/3 και ένα κάτω φράγμα είναι m = 4/3. v H ακολουθία με γενικό όρο = + 5 είναι κάτω φραγμένη από τον αριθμό m = 7, επειδή, για κάθε +. Προφανώς η ακολουθία ( δεν είναι άνω φραγμένη. Άρα, η (, ισχύει 7 5 δεν μπορεί να είναι απόλυτα φραγμένη. vi Η ακολουθία με γενικό όρο = 3 είναι άνω φραγμένη από τον αριθμό M = 4, επειδή για κάθε ισχύει 3 4 δεν είναι κάτω φραγμένη, συνεπώς, για την ( δεν υπάρχει θετικός πραγματικός αριθμός για τον οποίο να ισχύει. Άρα, η ( δεν είναι απόλυτα φραγμένη. 3 vii Για κάθε, η ακολουθία με γενικό όρο = δεν είναι φραγμένη. είναι φραγμένη, σύμφωνα με την Πρόταση.. είναι και απόλυτα, και προφανώς η ακολουθία ( Αν υποθέσουμε ότι η ακολουθία ( φραγμένη από ένα θετικό αριθμό, δηλαδή, ισχύει: Επειδή για κάθε ισχύουν: < < < < ( = και προηγούμενες σχέσεις με τη (..3 έχουμε: 3 < < < = και + 4 Η τελευταία ανίσωση ισχύει όταν [, ], όπου =, διαφορετικές ρίζες του τριωνύμου, το οποίο είναι άτοπο. δεν είναι φραγμένη. Άρα, η ακολουθία ( <, συνδυάζοντας τις = είναι οι δύο viii Η ακολουθία (, που δίνεται από τον αναδρομικό τύπο = +, για κάθε, με =, είναι φραγμένη. Θα αποδείξουμε, με τη μέθοδο της μαθηματικής επαγωγής, ότι η ακολουθία είναι κάτω φραγμένη από τον 3 αριθμό m =, δηλαδή, ότι ισχύει >, για κάθε. Αρχικά έχουμε = >, = = >, άρα ο ισχυρισμός > επαληθεύεται για =,. Υποθέτουμε ότι για κάποιο = k ισχύει k > (υπόθεση επαγωγής. Θα αποδείξουμε ότι ισχύει η ανισότητα και για τον επόμενο όρο της ακολουθίας, τον k +. Χρησιμοποιώντας την υπόθεση της επαγωγής και τον αναδρομικό τύπο μπορούμε να γράψουμε: k > < > > k+ > Συνεπώς, για κάθε, ισχύει από > > 0 μπορούμε να γράψουμε + k k k >, άρα η ακολουθία ( είναι κάτω φραγμένη. Για κάθε = <, δηλαδή, η ακολουθία είναι άνω φραγμένη, με ένα άνω φράγμα τον αριθμό M =. Άρα, αποδείξαμε ότι, για κάθε, ισχύει < <, (..4 το οποίο επαληθεύει τον Ορισμό.. (iii. Επομένως, η ακολουθία είναι φραγμένη. 74

9 .3. Μονοτονία ακολουθίας Η έννοια της μονοτονίας μίας συνάρτησης, που διατυπώθηκε στον Ορισμό.3., μπορεί να επεκταθεί και να διατυπωθεί με ανάλογο τρόπο και για την ακολουθία, όπως στη συνέχεια. Ορισμός.3.. Μία ακολουθία ( ονομάζεται i αύξουσα (icresig, όταν ισχύει +, για κάθε. Συμβολικά : ( ii γνήσια αύξουσα (strictly icresig, όταν ισχύει < +, για κάθε. iii φθίνουσα (decresig, όταν ισχύει +, για κάθε. Συμβολικά : ( iv γνήσια φθίνουσα (strictly decresig, όταν ισχύει > +, για κάθε. v (γνήσια μονότονη ακολουθία (strictly mootoic sequece, όταν η ακολουθία είναι (γνήσια αύξουσα ή (γνήσια φθίνουσα, για κάθε. vi σταθερή ακολουθία (costt sequece, όταν είναι ταυτόχρονα αύξουσα και φθίνουσα. Συμβολικά : = c, για κάθε. Παρατηρήσεις.3.. i Μία γνήσια αύξουσα (γνήσια φθίνουσα ακολουθία είναι αύξουσα (φθίνουσα, ενώ μία αύξουσα (φθίνουσα δεν είναι πάντα γνήσια αύξουσα (γνήσια φθίνουσα. είναι άνω φραγμένη με ένα άνω φράγμα τον πρώτο όρο της, ενώ μία ii Μία φθίνουσα ακολουθία ( αύξουσα ακολουθία ( είναι κάτω φραγμένη με ένα κάτω φράγμα τον πρώτο όρο της. iii Πολλές φορές, προκειμένου να προσδιοριστεί το είδος της μονοτονίας μίας ακολουθίας (, που διατηρεί πρόσημο (οι όροι της ακολουθίας είναι θετικοί ή αρνητικοί για κάθε φυσικό αριθμό, συγκρίνεται το πηλίκο δύο διαδοχικών όρων της ακολουθίας με τη μονάδα, ως εξής: + όταν ισχύει >, για κάθε, η ακολουθία ( είναι γνήσια αύξουσα, όταν ισχύει + <, για κάθε, η ακολουθία ( είναι γνήσια φθίνουσα. Στην περίπτωση που οι παραπάνω ανισότητες γίνονται ισότητες για ένα τουλάχιστον, τότε η ακολουθία είναι αύξουσα (φθίνουσα, αντίστοιχα. ( Προφανώς, οι παραπάνω διατυπώσεις είναι ισοδύναμες με τις αντίστοιχες διατυπώσεις του Ορισμού.3. (γιατί;., εργαζόμαστε µε έναν από τους iv Για να εξετάσουμε τη μονοτονία μίας δοσμένης ακολουθίας ( ακόλουθους τρόπους: πρώτος τρόπος: Σχηματίζουμε τη διαφορά +. Αν > + 0 ( < 0, για κάθε, η ακολουθία είναι γνήσια αύξουσα (γνήσια φθίνουσα, (βλέπε, Ορισμός.3. (ii και (iv, αντίστοιχα. ( Αν για ένα τουλάχιστον στις παραπάνω ανισότητες έχουμε ισότητα, τότε η ακολουθία ( αύξουσα (φθίνουσα, αντίστοιχα. δεύτερος τρόπος: Αν οι όροι της ακολουθίας ( είναι διατηρούν πρόσημο, τότε συγκρίνοντας το πηλίκο δύο διαδοχικών όρων της ακολουθίας με τη μονάδα βγάζουμε τα συμπεράσματα για τη μονοτονία της, όπως αυτά διατυπώθηκαν στο (iii. ( τρίτος τρόπος: Αν η ακολουθία ( δίνεται με μη-αναδρομικό τύπο και έχει σύνθετο τύπο, μετατρέπουμε την ακολουθία στην αντίστοιχη συνάρτηση και μελετούμε τη μονοτονία της συνάρτησης. είναι αυτή της συνάρτησης. Η μονοτονία της ( 75

10 τέταρτος τρόπος: Αν η ακολουθία ( μονοτονίας της ( στηρίζεται στην επαγωγική μέθοδο. δίνεται με αναδρομικό τύπο, συνήθως η απόδειξη της πέμπτος τρόπος: Αν θέλουμε να αποδείξουμε ένα συγκεκριμένο είδος μονοτονίας, τότε ξεκινάμε με την ανισότητα του Ορισμού.3. ή της (iii που αντιστοιχεί στο συγκεκριμένο είδος μονοτονίας και με ισοδυναμίες καταλήγουμε σε μία αλγεβρική σχέση εξαρτώμενη από το που ισχύει. Παραδείγματα.3.3. i Η ακολουθία με γενικό όρο = είναι γνήσια αύξουσα για κάθε. Χρησιμοποιώντας τον πρώτο τρόπο, που αναφέρεται στην Παρατήρηση.3. (iv, έχουμε: = ( ( + + ( = > 0 Επομένως, είναι γνήσια αύξουσα, (βλέπε, Ορισμός.3. (ii. (! ii Η ακολουθία με γενικό όρο = είναι γνήσια φθίνουσα για κάθε. είναι θετικοί αριθμοί, άρα > >, για κάθε, άρα η ακολουθία ( Όπως αναφέρθηκε στο Παράδειγμα..3 (iii, όλοι οι όροι της ακολουθίας ( η ακολουθία διατηρεί πρόσημο. Εφαρμόζοντας το δεύτερο τρόπο, που αναφέρεται στην Παρατήρηση.3. (iv, έχουμε: ( +! ( +! = = = = < + + (! ( + (! ( + + Επομένως, συνδυάζοντας τη θετικότητα των όρων της ακολουθίας με την τελευταία ανίσωση προκύπτει + < + <, για κάθε, άρα η ακολουθία ( είναι γνήσια φθίνουσα, (βλέπε, Ορισμός.3. (iv. 4 iii Η ακολουθία με γενικό όρο = είναι αύξουσα για κάθε. είναι θετικοί αριθμοί, άρα η ακολουθία διατηρεί Είναι φανερό ότι όλοι οι όροι της ακολουθίας ( πρόσημο. Εφαρμόζοντας το δεύτερο τρόπο, που αναφέρεται στην Παρατήρηση.3. (iv, έχουμε: ( = = = 4 4 ( + ( + (.3. Συνδυάζοντας τη θετικότητα των όρων της ακολουθίας με την τελευταία ανίσωση μπορούμε να γράψουμε: ( + Επειδή η ανίσωση 3 0 αληθεύει για κάθε, συμπεραίνουμε ότι ισχύει η (.3., από την οποία προκύπτει +, για κάθε. Άρα η ακολουθία ( είναι αύξουσα, (βλέπε, Ορισμός.3. (i. δεν είναι γνήσια αύξουσα, επειδή για τους δύο πρώτους όρους ισχύει Παρατηρήστε ότι η ακολουθία ( 4 = =. iv Η ακολουθία ( είναι γνήσια φθίνουσα., που δίνεται από τον αναδρομικό τύπο = +, για κάθε, με =, 76

11 Θα χρησιμοποιήσουμε τον τέταρτο τρόπο, που αναφέρεται στην Παρατήρηση.3. (iv, τη μέθοδο της είναι γνήσια φθίνουσα, για κάθε. μαθηματικής επαγωγής για να αποδείξουμε ότι η ακολουθία ( 3 Αρχικά έχουμε =, = = <, άρα σύμφωνα με τον Ορισμό.3. (iv ο ισχυρισμός επαληθεύεται για =. H υπόθεση της επαγωγής είναι ότι για κάποιο = k ισχύει : < k+ (.3. k Θα αποδείξουμε ότι η ανισότητα στη (.3. ισχύει και για τον επόμενο όρο της ακολουθίας, τον k +. Χρησιμοποιώντας τη διαφορά δύο διαδοχικών όρων της ακολουθίας και τον αναδρομικό τύπο, μπορούμε να γράψουμε: k k k k + k+ k = k = = (.3.3 Επειδή η διακρίνουσα του τριωνύμου k k k k k Στο Παράδειγμα..3. (vii αποδείχθηκε ότι η ακολουθία ( + είναι αρνητική, συμπεραίνουμε ότι για κάθε k ισχύει: k + > 0 (.3.4 k είναι φραγμένη και συγκεκριμένα από τη (..4 έχουμε ότι < k <, για κάθε k, το οποίο σημαίνει ότι ένα κάτω φράγμα της ακολουθίας μπορεί να είναι το μηδέν, άρα ισχύει: > 0 (.3.5 k Από (.3.4 και (.3.5 συμπεραίνουμε ότι η (.3.3 γράφεται k+ k < 0 k+ < k, το οποίο αποδεικνύει ότι η ανισότητα στη (.3. ισχύει και για τον επόμενο όρο της ακολουθίας, τον k +. Επομένως, η ανισότητα στη (.3. ισχύει για κάθε k, το οποίο επαληθεύει τον Ορισμό.3. (iv, άρα η είναι γνήσια φθίνουσα. ακολουθία ( 77

12 .4. Η έννοια της υπακολουθίας Ορισμός.4.. Υπακολουθία (subsequece της ακολουθίας ( με γενικό όρο b = για κάθε, όπου ( k αριθμών. k Στη συνέχεια, μία υπακολουθία της ( συμβολίζεται με ( k ονομάζεται κάθε ακολουθία ( b είναι μία γνήσια αύξουσα ακολουθία φυσικών, για την αντίστοιχη ( k. Παραδείγματα.4.. i Αν από μία ακολουθία ( δηλαδή τους όρους, 3,,,, δημιουργείται η υπακολουθία ( b με γενικό όρο b Ορισμός.4.. Η ακολουθία ( b είναι υπακολουθία της (, επειδή b ( k με γενικό όρο k = είναι γνήσια αύξουσα ακολουθία, (βλέπε, Παράδειγμα.3.3. (i. Ανάλογα, θεωρώντας k =, για κάθε, μπορούμε να δημιουργήσουμε την υπακολουθία ( b επιλέξουμε τους όρους που έχουν περιττούς δείκτες,3,,,, =, (βλέπε, = για κάθε, και η με γενικό όρο b =, αρκεί να επιλέξουμε τους όρους της αρχικής ακολουθίας που έχουν άρτιους δείκτες, δηλαδή την υπακολουθία, 4,,, δημιουργείται αν χρησιμοποιηθούν οι όροι των δύο Παρατηρήστε ότι η αρχική ακολουθία ( υπακολουθιών ( και (. Στην περίπτωση αυτή λέμε ότι η ( υπακολουθίες ( και (. διαμερίζεται στις ii Θεωρώντας τη γνήσια αύξουσα ακολουθία με γενικό όρο k = 3, για κάθε, (βλέπε, πρώτο τρόπο, Παρατήρηση.3. (iv μπορούμε να δημιουργήσουμε την υπακολουθία ( b με γενικό όρο b = 3, αρκεί να επιλέξουμε τους όρους της αρχικής ακολουθίας (, που έχουν δείκτες 3,6,9,,3,, δηλαδή την υπακολουθία 3, 6, 9,, 3, Ανάλογα, θεωρώντας k = 3, για κάθε, μπορούμε να δημιουργήσουμε την υπακολουθία με γενικό όρο b = 3, αρκεί να επιλέξουμε τους όρους της αρχικής ακολουθίας με δείκτες,5,8,,3,, δηλαδή την υπακολουθία, 5, 8,, 3, Επίσης, θεωρώντας k = 3, για κάθε, μπορούμε να δημιουργήσουμε την υπακολουθία με γενικό όρο b = 3, αρκεί να επιλέξουμε τους όρους της αρχικής ακολουθίας με δείκτες, 4,7,,3,, δηλαδή την υπακολουθία, 4, 7,, 3, Παρατηρήστε ότι η αρχική ακολουθία ( διαμερίζεται στις τρεις υπακολουθίες (, ( 3 3 και (, επειδή οι όροι όλων των υπακολουθιών σχηματίζουν όλους τους όρους της (. 3 iii Θεωρώντας τη γνήσια αύξουσα ακολουθία με γενικό όρο Παρατήρηση.3. (iv μπορούμε να δημιουργήσουμε την υπακολουθία ( αρκεί να επιλέξουμε τους όρους της αρχικής ακολουθίας ( k =, για κάθε, (βλέπε, δεύτερο τρόπο, b με γενικό όρο b =,, που έχουν δείκτες,4,8,,,, δηλαδή την υπακολουθία, 4, 8,,, Στην πρόταση που ακολουθεί, η απόδειξη της οποίας αφήνεται ως άσκηση (βλέπε, Ενδεικτικές άλυτες ασκήσεις., διατυπώνονται οι σχέσεις που συνδέουν την ακολουθία με κάποια υπακολουθία αυτής ως προς τα είδη της μονοτονίας και των φραγμάτων. 78

13 Πρόταση.4.3. i Αν η ακολουθία ( φραγμένη. ii Αν η ακολουθία ( είναι άνω (κάτω φραγμένη. είναι φραγμένη, τότε κάθε υπακολουθία ( k της ( είναι άνω (κάτω φραγμένη, τότε κάθε υπακολουθία ( k iii Αν τουλάχιστον μία υπακολουθία ( ακολουθία ( δεν είναι φραγμένη. iv Αν τουλάχιστον μία υπακολουθία ( τότε η ακολουθία ( v Αν η ακολουθία ( ( k k της ακολουθίας ( της ακολουθίας ( δεν είναι άνω (κάτω φραγμένη. είναι της ( δεν είναι φραγμένη, τότε η δεν είναι άνω (κάτω φραγμένη, είναι γνήσια αύξουσα (φθίνουσα, τότε κάθε υπακολουθία ( k είναι γνήσια αύξουσα (φθίνουσα. της 79

14 .5. Σύγκλιση ακολουθίας στον Η έννοια του ορίου είναι θεμελιώδης έννοια στη Μαθηματική Ανάλυση. Το όριο της ακολουθίας πραγματικών αριθμών είναι ειδική περίπτωση της οριακής τιμής μίας πραγματικής συνάρτησης, ωστόσο η μελέτη του ορίου της ακολουθίας παρουσιάζεται στην παρούσα ενότητα, επειδή η διατύπωση της έννοιας του ορίου της είναι απλούστερη, η κατανόηση των ιδιοτήτων σύγκλισης είναι ευκολότερη και επιπλέον τα συμπεράσματα που θα προκύψουν μπορούν να χρησιμοποιηθούν στη μελέτη των οριακών τιμών της συνάρτησης, (βλέπε, Κεφάλαιο Η έννοια της περιοχής Περιοχή ενός πραγματικού αριθμού x 0 ονομάζεται κάθε ανοικτό διάστημα ( b, στο οποίο περιέχεται το x, δηλαδή 0 x0 ( b,. Ιδιαίτερο ενδιαφέρον παρουσιάζουν περιοχές του πραγματικού αριθμού x της μορφής ( x0 ε, x0 + ε, όπου ε είναι θετικός πραγματικός αριθμός και ονομάζεται ακτίνα της περιοχής ( x0 ε, x0 + ε και x 0 είναι ένας πραγματικός αριθμός και ονομάζεται κέντρο της περιοχής. Αν x ( x0 ε, x0 + ε, τότε από την ιδιότητα της απόλυτης τιμής στη (.. μπορούμε να γράψουμε: x ε < x< x + ε ε < x x < ε x x < ε Παρατήρηση.5.. Αρκετές φορές στη συνέχεια της ενότητας, θα χρειαστεί να χρησιμοποιήσουμε την έκφραση «τελικά όλοι οι όροι της ακολουθίας ανήκουν στην περιοχή του x 0» και θα εννοούμε ότι «όλοι οι όροι της ακολουθίας ανήκουν στην περιοχή του x 0 εκτός από ένα πεπερασμένο πλήθος όρων της». Συνεπώς, αν τελικά όλοι οι όροι της ακολουθίας ( ανήκουν στην περιοχή του x 0, αυτό σημαίνει ότι για κάθε ε > 0 θα υπάρχει κάποιος δείκτης 0 τέτοιος ώστε για κάθε με 0 θα ισχύει: x ε < < x + ε.5.. Μηδενική ακολουθία 0 0 Ορισμός.5.. Μία ακολουθία ( ονομάζεται μηδενική (ull sequece, αν και μόνο αν για κάθε θετικό πραγματικό αριθμό ε υπάρχει φυσικός αριθμός 0, που εξαρτάται από τον ε (σημειώνεται ( ε, τέτοιος ώστε 0 0 < ε, για κάθε με ( ε. 0 Η μηδενική ακολουθία συμβολίζεται lim = 0 ή 0 καθώς +. + Συμβολικά ο παραπάνω ορισμός γράφεται: lim = 0 + για κάθε ε > 0 υπάρχει ( ε, τέτοιος ώστε για κάθε ( ε ισχύει < ε (.5. Συνδυάζοντας τον ορισμό της μηδενικής ακολουθίας με την Παρατήρηση.5. μία άλλη διατύπωση του Ορισμού.5. είναι η ακόλουθη: ονομάζεται μηδενική, αν και μόνο αν για κάθε ε > 0 τελικά όλοι οι όροι της Μία ακολουθία ( ακολουθίας ανήκουν στην περιοχή του μηδενός ( εε,. Εφαρμογή.5.3. Η ακολουθία ( Δηλαδή, με γενικό όρο = είναι φθίνουσα και μηδενική. lim = lim =

15 Απόδειξη: Είναι φανερό ότι όλοι οι όροι της ακολουθίας ( είναι θετικοί αριθμοί, άρα η ακολουθία διατηρεί πρόσημο. Εφαρμόζοντας το δεύτερο τρόπο, που αναφέρεται στην Παρατήρηση.3. (iv, έχουμε: + = + = < + Επομένως, συνδυάζοντας τη θετικότητα των όρων της ακολουθίας με την παραπάνω ανίσωση προκύπτει + < + <. Άρα, η ακολουθία ( είναι γνήσια φθίνουσα, (βλέπε, Ορισμός.3. (iv. Στον Πίνακα. παρουσιάζονται ορισμένοι όροι της ακολουθίας ( Παρατηρήστε ότι, οι πρώτοι τριάντα όροι της ακολουθίας ( αριθμό μηδέν, οπότε υποψιαζόμαστε ότι η ακολουθία ( με ακρίβεια 6 δεκαδικών ψηφίων. πλησιάζουν όλο και περισσότερο στον είναι μηδενική. Πράγματι, εφαρμόζοντας τον Ορισμό.5. και την (.5., για τυχαίο ε > 0 αναζητούμε ( ε 0 0 τέτοιον ώστε να ισχύει = < ε >, για κάθε 0 ε ( ε. Θεωρούμε 0 0( ε = + ε, όπου [ ] συμβολίζει το ακέραιο μέρος του πραγματικού αριθμού, δηλαδή, ο μεγαλύτερος ακέραιος αριθμός που είναι μικρότερος ή ίσος του. Είναι φανερό ότι, για κάθε 0 ( ε = < ε, συνεπώς 0( ε + ε ισχύει = < ε, το οποίο σημαίνει ότι επαληθεύεται η (.5., άρα lim = lim = Πίνακας.: Όροι της ακολουθίας με γενικό όρο = = = = = 0. 0 = 0.5 = = = = = = = = = = 0. 5 = = = = = = = = = = = = = = 0. 9 = = = = 0. 0 = = Σύγκλιση ακολουθίας σε πραγματικό αριθμό Ορισμός.5.4. Μία ακολουθία ( συγκλίνει στον πραγματικό αριθμό (είναι συγκλίνουσα στον ή τείνει στον, αν και μόνο αν για κάθε θετικό πραγματικό αριθμό ε υπάρχει φυσικός αριθμός 0, που εξαρτάται από τον ε (σημειώνεται ( ε, τέτοιος ώστε 0 0 < ε, για κάθε με ( ε. 0 Ο αριθμός ονομάζεται όριο (limit της ακολουθίας ( ή οριακή τιμή της ακολουθίας ( 8

16 και συμβολίζεται lim + = ή καθώς +. Συμβολικά ο παραπάνω ορισμός γράφεται: lim = + για κάθε ε > 0 υπάρχει ( ε, τέτοιος ώστε για κάθε ( ε ισχύει < ε (.5. Μία ακολουθία ( λέμε ότι αποκλίνει ή ότι είναι αποκλίνουσα, όταν δεν συγκλίνει, δηλαδή, όταν δεν ισχύει ο Ορισμός.5.4., το οποίο μπορεί να σημαίνει ότι: (α δεν υπάρχει το όριο, και τότε λέμε ότι η ακολουθία ταλαντεύεται, ή (β η ακολουθία απειρίζεται θετικά ή αρνητικά, (βλέπε, Ενότητα.7. Παρατηρήσεις.5.5. i Συνδυάζοντας τον ορισμό της συγκλίνουσας ακολουθίας με την Παρατήρηση.5. μία άλλη διατύπωση του Ορισμού.5.4 είναι η ακόλουθη: λέμε ότι συγκλίνει στον ή ότι είναι συγκλίνουσα στον, αν και μόνο αν Μία ακολουθία ( για κάθε ε > 0 τελικά όλοι οι όροι της ακολουθίας ανήκουν στην περιοχή ( ε, + ε. ii Συνδυάζοντας (.5. με τη (.5. είναι φανερό ότι lim = lim = 0. ( ( Επομένως, όταν χρειάζεται να αποδειχθεί ότι η ακολουθία ( ισοδύναμα η (.5.3, δηλαδή, ότι η ακολουθία ( iii Η σταθερή ακολουθία ( με γενικό όρο επειδή επαληθεύεται η ισοδυναμία στη (.5.3. Παραδείγματα.5.6. Να αποδειχθεί ότι: i lim + = είναι μηδενική. συγκλίνει στον αποδεικνύεται =, για κάθε, είναι συγκλίνουσα στον, + ii lim = 4 iii lim = i Έστω η ακολουθία ( με γενικό όρο = +. Η ακολουθία ( συγκλίνει στον πραγματικό αριθμό, επειδή η ακολουθία ( είναι μηδενική. Πράγματι, εφαρμόζοντας τη (.5.3 στην Παρατήρηση.5.5(ii και την Εφαρμογή.5.3 έχουμε : lim ( = lim + = lim = 0 lim + = ii Να αποδειχθεί ότι lim 4 + =. + Θεωρούμε την ακολουθία ( με γενικό όρο =. Επειδή = = = < = < ε, αν επιλέξουμε 0 0( ε = + ε, τότε για κάθε ε > 0 και για κάθε 0 ( ε ισχύει ε 4 = 4 < < < ε. + 3 Επομένως, επαληθεύεται ο Ορισμός.5.4 και από την ισοδυναμία στην (.5. έχουμε lim = 4. +

17 iii Θεωρούμε την ακολουθία ( με γενικό όρο =. Επειδή + 4 ( + 4( ( ( + 4 ( + 4 = = = = = < < ε αν επιλέξουμε 0 0( ε = +, τότε για κάθε ε > 0 και για κάθε 0 ε ( ε ισχύει 4 4ε = < < <ε. Επομένως, επαληθεύεται ο Ορισμός.5.4 και από την ισοδυναμία στην (.5. έχουμε lim = ,.5.4. Ιδιότητες συγκλινουσών ακολουθιών Η απόδειξη του ορίου μίας ακολουθίας ( εφαρμόζοντας τον Ορισμό.5. ή τον Ορισμό.5.4 ή την ισοδυναμία στις (.5. ή (.5. απαιτεί τη γνώση της οριακής τιμής και τον υπολογισμό ενός κατάλληλου όρου της ακολουθίας ώστε τελικά όλοι οι όροι της ( να εγκλωβίζονται στην περιοχή σύγκλισης με κέντρο την οριακή τιμή και ακτίνα οποιονδήποτε μικρό αριθμό, (βλέπε, Παρατήρηση.5., Ορισμός.5. και Ορισμός.5.4. Η παραπάνω διαδικασία τις περισσότερες φορές είναι επίπονη και δύσχρηστη, είναι όμως αναγκαία για την απόδειξη αρκετών από τις προτάσεις που ακολουθούν καθώς και των ιδιοτήτων των πράξεων των συγκλινουσών ακολουθιών, τα συμπεράσματα των οποίων είναι χρήσιμα εργαλεία στον υπολογισμό ορίων και στη μελέτη της συμπεριφοράς τόσο των όρων της ακολουθίας, όσο και των αντίστοιχων συναρτήσεων, όπως θα δούμε και σε επόμενα κεφάλαια. Στην υποενότητα αναφέρονται οι σημαντικότερες ιδιότητες των ακολουθιών, οι οποίες συνδέουν την έννοια μίας συγκλίνουσας ακολουθίας (ή της υπακολουθίας της με τις έννοιες της μονότονης και φραγμένης ακολουθίας. Πρόταση.5.7. Έστω ότι η ακολουθία ( μοναδικό. Απόδειξη: Έστω ότι η ακολουθία ( συγκλίνει στον. Το όριο της ακολουθίας είναι συγκλίνει σε δύο διαφορετικούς πραγματικούς αριθμούς, στον και, με. Από τη (.5. μπορούμε να γράψουμε τις ακόλουθες σχέσεις: lim = για κάθε ε > 0 υπάρχει ( ε, τέτοιος ώστε για κάθε ( ε ισχύει < ε + lim + = για κάθε ε > 0 υπάρχει ( ε, τέτοιος ώστε για κάθε ( ε ισχύει < ε Επιλέγουμε 0 0( ε = mx{ ( ε, ( ε}, οπότε οι παραπάνω σχέσεις γράφονται: lim = + lim + για κάθε ε > 0 υπάρχει ( ε, τέτοιος ώστε για κάθε ( ε ισχύει < ε (.5.4 = για κάθε ε > 0 υπάρχει ( ε, τέτοιος ώστε για κάθε ( ε ισχύει < ε (.5.5 Συνδυάζοντας (.5.4, (.5.5 με την τριγωνική ανισότητα έχουμε = + = ( + < ε + ε = ε 83

18 δηλαδή, < ε (.5.6 Θέτουμε ε =, το οποίο είναι θετικός πραγματικός αριθμός, επειδή υποθέσαμε, και μετά από αντικατάσταση του ε στην (.5.6 καταλήγουμε <, το οποίο είναι άτοπο. Άρα το όριο μίας συγκλίνουσας ακολουθίας είναι μοναδικό. Στην πρόταση που ακολουθεί διατυπώνεται μία ικανή συνθήκη, που σχετίζεται με τη σύγκλιση της ακολουθίας, ώστε το σύνολο τιμών της ακολουθίας να είναι ένα φραγμένο σύνολο. Πρόταση.5.8. i Αν η ακολουθία ( Το αντίστροφο δεν ισχύει. ii Aν μία ακολουθία ( Απόδειξη: i Θεωρούμε ότι η ακολουθία ( είναι συγκλίνουσα, τότε η ακολουθία ( δεν είναι φραγμένη, τότε η ακολουθία ( ε > 0 υπάρχει ( ε τέτοιος ώστε για κάθε ( 0 0 ε 0 να ισχύει: είναι φραγμένη. δεν συγκλίνει στον. συγκλίνει στον, οπότε από τη (.5. και για κάθε < ε ε < < ε ε < < + ε (.5.7 Επιλέγοντας τους πραγματικούς αριθμούς M = mx{ + ε,,,, 0 } και m= mi{ ε,,,, 0 } είναι φανερό ότι για κάθε η ανισότητα στη (.5.7 γράφεται m ε < < + ε M, (.5.8 από την οποία συμπεραίνουμε ότι η ακολουθία ( Για το αντίστροφο, θεωρούμε την ακολουθία ( +,,,, (, (,, (βλέπε, Παράδειγμα...(ii. Η ( είναι φραγμένη, (βλέπε, Ορισμός.. (iii. με γενικό όρο = (, και αρχικούς όρους είναι απόλυτα φραγμένη, επειδή για κάθε μπορούμε να γράψουμε = ( =. Από την ισοδυναμία της Πρότασης.. συμπεραίνουμε ότι η ακολουθία ( είναι φραγμένη. Επειδή για τους όρους της ακολουθίας έχουμε:, αν είναι περιττός αριθμός =, αν είναι άρτιος αριθμός είναι φανερό ότι το όριο δεν είναι μοναδικός αριθμός, συνεπώς δεν υπάρχει, άρα η ακολουθία ( συγκλίνει στον. ii Θεωρούμε ότι η ακολουθία ( ακολουθία ( ( δεν συγκλίνει. δεν συγκλίνει, οπότε σύμφωνα με την Πρόταση.5.8(i και τη (.5.8 η είναι φραγμένη, το οποίο είναι αδύνατο να συμβεί από την υπόθεση. Άρα, η ακολουθία Παρατήρηση: Το αποτέλεσμα προκύπτει άμεσα από τον προτασιακό λογισμό. Στην πρόταση που ακολουθεί προκύπτουν συμπεράσματα για τη σύγκλιση της ακολουθίας γνωρίζοντας εκ των προτέρων τη σύγκλιση των υπακολουθιών της. Θεωρούμε δύο λογικές προτάσεις pq., Η πρόταση «p q» είναι ισοδύναμη με την πρόταση «όχι q όχι p». Θεωρώντας ως p την πρόταση «η ακολουθία ( ( είναι φραγμένη», η απόδειξη είναι προφανής. είναι συγκλίνουσα» και ως q την πρόταση «η ακολουθία 84

19 Πρόταση.5.9. i Αν η ακολουθία ( συγκλίνει στον. ii Αν δύο υπακολουθίες της ακολουθίας ( ( δεν συγκλίνει. iii Αν μία ακολουθία (, τότε η ( συγκλίνει στον. είναι συγκλίνουσα στον, τότε κάθε υπακολουθία έχουν διαφορετική οριακή τιμή, τότε η ακολουθία διαμερίζεται σε ένα πλήθος υπακολουθιών, που όλες συγκλίνουν στον Απόδειξη: i Η απόδειξη είναι άμεση εφαρμογή του Ορισμού.4. και της σχέσης (.5. της συγκλίνουσας, (βλέπε, Ενδεικτικές άλυτες ασκήσεις.(i (Παντελίδης, 008. ακολουθίας ( + ii Έστω η ακολουθία ( με γενικό όρο ( =, και αρχικούς όρους,,,, (, (, (βλέπε, Παράδειγμα...(ii. Από την ( κατασκευάζουμε την υπακολουθία (, που είναι η σταθερή ακολουθία και επιλέγουμε τους όρους της ( με άρτιους δείκτες και κατασκευάζουμε την υπακολουθία (, επιλέγουμε τους όρους με περιττούς δείκτες και =, για κάθε, που είναι η σταθερή ακολουθία =, για κάθε. Προφανώς lim =, και lim =. Θεωρούμε ότι η ακολουθία ( + +, συγκλίνει, οπότε σύμφωνα με την Πρόταση.5.9(i πρέπει οι δύο υπακολουθίες που επιλέξαμε να έχουν την ίδια οριακή τιμή, το οποίο είναι άτοπο. Άρα, η ακολουθία ( δεν συγκλίνει. iii Η απόδειξη είναι άμεση εφαρμογή του Ορισμού.4., της έννοιας του διαμερισμού της ακολουθίας σε υπακολουθίες (βλέπε, Παραδείγματα.4. (i και (ii και της σχέσης (.5. της συγκλίνουσας ακολουθίας (, (βλέπε, Ενδεικτικές άλυτες ασκήσεις.(ii. Στις δύο επόμενες προτάσεις διατυπώνονται και αποδεικνύονται οι ιδιότητες των πράξεων πεπερασμένου πλήθους συγκλινουσών ακολουθιών, οι οποίες είναι χρήσιμες στον υπολογισμό ορίων. Πρόταση.5.0. Έστω οι συγκλίνουσες ακολουθίες ( και ( lim b = b. Τότε ισχύουν τα ακόλουθα: + i b με lim + lim b b. Η ιδιότητα ισχύει για πεπερασμένο πλήθος όρων. ii iii lim b b. Η ιδιότητα ισχύει για πεπερασμένο πλήθος παραγόντων. lim, αν 0 και 0, για κάθε. Απόδειξη: Για τις δύο συγκλίνουσες ακολουθίες ( και ( b = και από τη (.5. μπορούμε να γράψουμε τις ακόλουθες σχέσεις: lim = για κάθε ε > 0 υπάρχει ( ε, τέτοιος ώστε για κάθε ( ε ισχύει < ε + (.5.9 lim b = b για κάθε ε > 0 υπάρχει ( ε, τέτοιος ώστε για κάθε ( ε ισχύει b b < ε + (.5.0 ε i Θέτουμε ε = ε και επιλέγουμε 0 0( ε = mx{ ( ε, ( ε}, οπότε οι (.5.9 και (.5.0 γράφονται: 85

20 lim + = lim b = b + για κάθε ε > 0 υπάρχει ( ε, τέτοιος ώστε για κάθε ( ε ισχύει < ε (.5. για κάθε ε > 0 υπάρχει ( ε, τέτοιος ώστε για κάθε ( ε ισχύει b b < ε (.5. Συνδυάζοντας τις (.5., (.5. με την τριγωνική ανισότητα μπορούμε να γράψουμε ότι για κάθε ( ε = mx{ ( ε, ( ε} ισχύει: 0 0 ε ε ( + b ( + b = ( + ( b b + b b < + = ε lim b b. Επομένως, επαληθεύεται η (.5., άρα ii Επειδή η ακολουθία ( είναι συγκλίνουσα συμπεραίνεται ότι είναι φραγμένη, (βλέπε, Πρόταση.5.8(i, και σύμφωνα με την ισοδυναμία της Πρότασης.. είναι απόλυτα φραγμένη από έναν πραγματικό αριθμό M > 0 τέτοιον ώστε να ισχύει M, για κάθε. Επιπλέον, χρησιμοποιώντας την παραπάνω σχέση και την τριγωνική ανισότητα μπορούμε να γράψουμε: b b= b b + b b (.5.3 = ( b b + b( b b + b M b b + b ε ε Θέτουμε ε, ε και επιλέγουμε 0 0( ε = mx{ ( ε, ( ε}, οπότε συνδυάζοντας τις b M (.5.9 και (.5.0 με τη (.5.3, για κάθε ( ε ισχύει: 0 0 ε ε b b M b b + b < Mε + b ε < M + b = ε M b Επομένως, επαληθεύεται η (.5., άρα lim b b. iii Ακολουθώντας αντίστοιχη διαδικασία όπως στην προηγούμενη απόδειξη στο (ii προκύπτει η ζητούμενη σχέση, η οποία αφήνεται ως άσκηση. Συνδυάζοντας τις παραπάνω ιδιότητες των πράξεων συγκλινουσών ακολουθιών εύκολα μπορούν να αποδειχθούν και οι επόμενες ιδιότητες, οι οποίες αφήνονται ως άσκηση. Πόρισμα.5.. Έστω k ένα πεπερασμένο πλήθος συγκλινουσών ακολουθιών (, ( b ( b b x = x. Τότε ισχύουν τα ακόλουθα: x με lim + i lim lim lim =, lim =, και lim + λ λ λ, για κάθε λ. ii b x b x + δηλαδή, η ιδιότητα (i της Πρότασης.5.0 ισχύει για πεπερασμένο πλήθος όρων. b x b x iii lim lim iv b x b x δηλαδή, η ιδιότητα (ii της Πρότασης.5.0 ισχύει για πεπερασμένο πλήθος παραγόντων. v Αν b x, τότε lim k k. vi Aν b 0 και b 0, για κάθε, τότε lim. b b,, 86

21 Είναι φανερό ότι οι αντίστροφες συνεπαγωγές των ιδιοτήτων, που αναφέρονται στην Πρόταση.5.0 και στο Πόρισμα.5., δεν ισχύουν. Για παράδειγμα, ας θεωρήσουμε τις ακολουθίες με γενικούς όρους ( =, b ( + = με 0. Επειδή για τους όρους των ακολουθιών ( και ( b έχουμε:, αν είναι περιττός αριθμός, αν είναι περιττόςαριθμός = b =, αν είναι άρτιος αριθμός, αν είναι άρτιος αριθμός είναι φανερό ότι το όριο κάθε ακολουθίας δεν είναι μοναδικός αριθμός, συνεπώς δεν υπάρχει, άρα οι δεν συγκλίνουν στον. ακολουθίες ( και ( b Επιπλέον, παρατηρήστε ότι οι ακολουθίες που δημιουργούνται με γενικούς όρους το άθροισμα, το γινόμενο και το πηλίκο των παραπάνω ακολουθιών ορίζονται και δίνουν ακολουθίες με σταθερούς όρους, ως ακολούθως: + + b = ( + ( = 0, ( + ( b = ( =, b ( Προφανώς, οι παραπάνω συγκλίνουν ως σταθερές ακολουθίες, (βλέπε, Παρατηρήση.5.5 (iii. Ένα σημαντικό κριτήριο, που χρησιμοποιείται για τον υπολογισμό του ορίου γινομένου ακολουθιών αρκεί να είναι φραγμένες, όχι απαραίτητα συγκλίνουσες, αρκεί μία να είναι από αυτές να είναι μηδενική, αποδεικνύεται στην ακόλουθη πρόταση. Πρόταση.5.. Έστω ότι η ακολουθία ( Τότε ισχύει: είναι μηδενική και η ακολουθία ( b lim b 0 Απόδειξη: Σύμφωνα με την ισοδυναμία της Πρότασης.. η φραγμένη ακολουθία ( b φραγμένη από έναν πραγματικό αριθμό M > 0 τέτοιον ώστε να ισχύει b Επιπλέον, επειδή η ακολουθία ( είναι φραγμένη. M, για κάθε. είναι απόλυτα είναι μηδενική για κάθε θετικό αριθμό ε > 0 υπάρχει M ( ε 0 0 ε τέτοιος ώστε να ισχύει: < για κάθε 0. M Επομένως, χρησιμοποιώντας την ιδιότητα της απόλυτης τιμής και τις παραπάνω σχέσεις μπορούμε να γράψουμε το οποίο επαληθεύει τη (.5.. Άρα, ε b = b< M= ε, για κάθε 0, M lim b 0. Σύμφωνα με την Πρόταση.5.8(i οι έννοιες της σύγκλισης και των φραγμάτων (άνω, κάτω ή απόλυτα φράγματα μίας ακολουθίας δεν είναι ισοδύναμες. Όπως αποδεικνύεται στη βιβλιογραφία (Αθανασιάδης, Γιαννακούλιας, & Γιωτόπουλος, 009; Παντελίδης, 008; Ρασσιάς, 04 και διατυπώνεται στην επόμενη πρόταση, η επιπρόσθετη συνθήκη, που απαιτείται να έχει μία φραγμένη ακολουθία για να συγκλίνει σε έναν πραγματικό αριθμό, εξαρτάται από τη μονοτονία της. Πρόταση.5.3. Αν η ακολουθία (. i Αν η ( είναι αύξουσα και άνω φραγμένη, τότε η ( είναι μονότονη και φραγμένη, τότε η ( συγκλίνει στο άνω πέρας sup. συγκλίνει στον 87

22 ii Αν η ( είναι φθίνουσα και κάτω φραγμένη, τότε η ( συγκλίνει στο κάτω πέρας if. Παρατήρηση.5.4. Εδώ να σημειώσουμε ότι, από το συμπέρασμα της Πρότασης.5.3 υποδεικνύεται ένας τρόπος υπολογισμού των περάτων (άνω ή κάτω μίας ακολουθίας, ιδιαίτερα στην περίπτωση που αυτά δεν αποτελούν όρους της ακολουθίας. Συνήθως, αναπτύσσεται η μεθοδολογία για τον υπολογισμό της οριακής τιμής της ακολουθίας, ανεξάρτητα από τη γνώση των περάτων της, και συνδυάζοντας την Πρόταση.5.3 με τη γνώση της οριακής τιμής υπολογίζεται η τιμή του αντίστοιχου πέρατος. Για παράδειγμα, η ακολουθία ( με γενικό όρο = αποδείχθηκε ότι είναι γνήσια φθίνουσα και κάτω φραγμένη, (βλέπε αντίστοιχα, Εφαρμογή.5.3. και Παράδειγμα..3 (i, συνεπώς, η ακολουθία ( συγκλίνει στον, (βλέπε, Πρόταση.5.3. Επειδή lim = lim = 0, (βλέπε, Εφαρμογή.5.3, + + συνδυάζοντας την ιδιότητα της μοναδικότητας της οριακής τιμής και του if συμπεραίνουμε ότι if = 0. Παραδείγματα.5.5. i H ακολουθία (, που δίνεται από τον αναδρομικό τύπο lim =. + = +, με =, συγκλίνει με ii H ακολουθία ( με γενικό όρο (! = συγκλίνει στον. i Για κάθε, η ακολουθία με τον παραπάνω αναδρομικό τύπο είναι ακολουθία θετικών όρων, γνήσια φθίνουσα και κάτω φραγμένη, (βλέπε τις αποδείξεις στα αντίστοιχα παραδείγματα, Παράδειγμα.3.3 (iv και Παράδειγμα..3 (viii. Συνεπώς, η ακολουθία συγκλίνει στον, (βλέπε, Πρόταση.5.3, έστω lim = lim = x. Εφαρμόζοντας τις ιδιότητες των ορίων στον αναδρομικό τύπο (βλέπε, Πρόταση (i, (iii μπορούμε να γράψουμε: lim + = lim x= x x+ = 0 ( x = 0 x= + + x Άρα, η ακολουθία συγκλίνει με lim =. + Σύμφωνα με το (ii της Πρότασης.5.3 το όριο της ακολουθίας είναι το κάτω πέρας της, δηλαδή, if =. ii Στο Παράδειγμα..3 (iii αποδείχθηκε ότι η ακολουθία είναι φραγμένη και στο Παράδειγμα.3.3 (ii αποδείχθηκε ότι η ακολουθία είναι γνήσια φθίνουσα. Συνεπώς, η ακολουθία ( με γενικό όρο (! = συγκλίνει στον, (βλέπε, Πρόταση.5.3. Εδώ να σχολιάσουμε ότι η οριακή τιμή της ακολουθίας δεν υπολογίζεται με αλγεβρικό τρόπο όπως στο (i, ο υπολογισμός γίνεται χρησιμοποιώντας το όριο λόγου του D Alembert (βλέπε, Πρόταση.6. και αφήνεται ως άσκηση. Στην επόμενη πρόταση διατυπώνεται η σχέση που συνδέει τη σύγκλιση της ακολουθίας με τη σύγκλιση της ακολουθίας των απολύτων τιμών της. 88

23 Πρόταση.5.6. Έστω η συγκλίνουσα ακολουθία ( i η ακολουθία ( με lim + =. Τότε, είναι συγκλίνουσα στον. Το αντίστροφο δεν ισχύει. ii lim k k lim k, k. Απόδειξη: i Από την ιδιότητα των απολύτων τιμών b b και τον ορισμό της σύγκλισης στον αριθμό της ακολουθίας ( ( ε τέτοιος ώστε για κάθε ( 0 0 ε 0 να ισχύει στη (.5. μπορούμε να γράψουμε ότι για κάθε ε > 0 υπάρχει το οποίο σημαίνει ότι η ακολουθία ( Για το αντίστροφο, θεωρούμε την ακολουθία ( < ε, συγκλίνει στον, (βλέπε, Ορισμός.5.4. κάθε είναι φανερό ότι lim lim ( + = =, άρα η ( + δεν συγκλίνει, (βλέπε, απόδειξη στην Πρόταση.5.9 (ii. ii Η απόδειξη είναι άμεση συνέπεια του (i και της ταυτότητας και αφήνεται ως άσκηση. με γενικό όρο = (. Επειδή = ( = για x y = x y x + x y + + xy + y k k k k k k ( ( συγκλίνει στη μονάδα. Η ακολουθία Η επόμενη πρόταση είναι γνωστή ως «κριτήριο παρεμβολής» ή «κανόνας Sdwich», επειδή δίνει τη δυνατότητα του υπολογισμού του ορίου μίας ακολουθίας, όταν αυτή είναι «εγκλωβισμένη» από δύο άλλες ακολουθίες, οι οποίες έχουν την ίδια οριακή τιμή. Πρόταση.5.7. (Κριτήριο παρεμβολής. Έστω ότι για τις ακολουθίες (, ( b και ( c ισχύει b c, για κάθε. Αν επιπλέον οι ακολουθίες ( b, ( η ακολουθία ( c συγκλίνει στον, δηλαδή, lim + Απόδειξη: Θεωρώντας ότι οι ακολουθίες ( b, ( c συγκλίνουν στον, δηλαδή, lim b = = lim c, τότε συγκλίνουν στον από τη (.5. μπορούμε να γράψουμε τις ακόλουθες σχέσεις: lim b = για κάθε ε > 0 υπάρχει ( ε, τέτοιος ώστε για κάθε ( ε ισχύει + =. + b < ε ε < b < + ε (.5.4 lim c = για κάθε ε > 0 υπάρχει ( ε, τέτοιος ώστε για κάθε ( ε ισχύει + c < ε ε < c < + ε (.5.5 Επιλέγουμε 0 0( ε = mx{ ( ε, ( ε}, οπότε από τις (.5.4 και (.5.5 καθώς και από την υπόθεση μπορούμε να γράψουμε ότι για κάθε ε > 0 υπάρχει ( ε, τέτοιος ώστε για κάθε ( ε ισχύει ε b c ε. Η τελευταία ανίσωση ισοδύναμα γράφεται ε ε ε, από την οποία προκύπτει ότι η συγκλίνει στον, (βλέπε, Ορισμός.5.4. ακολουθία ( + 89

24 Εφαρμογή.5.8. Η ακολουθία ( με γενικό όρο =, όπου θετικός πραγματικός αριθμός + (, είναι μηδενική, δηλαδή, lim lim 0. Απόδειξη: Eπειδή για κάθε και > 0 μπορούμε να γράψουμε 0 <, και lim = 0, (βλέπε, Εφαρμογή.5.3, σύμφωνα με το κριτήριο παρεμβολής έχουμε + lim lim 0. Σχόλια: Παρατηρήστε ότι, δεν μπορούμε να εφαρμόσουμε την ιδιότητα (v του Πορίσματος.5., επειδή η ιδιότητα αναφέρεται σε k πεπερασμένο πλήθος παραγόντων και εδώ πρόκειται για μη πεπερασμένο, επειδή +. Επιπλέον, δείτε και συγκρίνετε με το αποτέλεσμα της οριακής τιμής της αντίστοιχης συνάρτησης στο Παράδειγμα (i. Άμεση συνέπεια της ιδιότητας της απόλυτης τιμής και του συμπεράσματος της Πρότασης.5.7 είναι η επόμενη πρόταση, γνωστή και ως κριτήριο σύγκρισης, η απόδειξη της οποίας αφήνεται ως άσκηση, (βλέπε, Ενδεικτικές άλυτες ασκήσεις.3. Πόρισμα.5.9. (Κριτήριο σύγκρισης Έστω ότι για τις ακολουθίες ( και ( b ισχύει Αν η ακολουθία ( b b, για κάθε. είναι μηδενική, τότε και η ακολουθία ( είναι μηδενική. Παράδειγμα.5.0. cos( Να υπολογισθεί τo όριo: lim + Eπειδή cos(, για κάθε, χρησιμοποιώντας ιδιότητες απολύτων τιμών μπορούμε να γράψουμε: cos( cos( + cos( + 3 = = ( Επειδή η ακολουθία είναι μηδενική, (βλέπε, Εφαρμογή.5.3, Πόρισμα.5. (i, συνδυάζοντας τη (.5.6 με το Πόρισμα.5.9, συμπεραίνουμε ότι cos( lim =

25 Ορισμός.5.. Μία ακολουθία ( ονομάζεται ακολουθία Cuchy ή βασική ακολουθία, αν και μόνο αν για κάθε ε > 0 υπάρχει ( ε, τέτοιος ώστε για κάθε 0 0 m, > 0 ( ε να ισχύει < ε. m Ισοδύναμα, μία ακολουθία είναι ακολουθία Cuchy αν και μόνο αν για κάθε ε > 0 και p, υπάρχει ( ε, τέτοιος ώστε για κάθε ( 0 0 ε 0 να ισχύει + p < ε. (.5.7 Συνδυάζοντας τον Ορισμό.5. με την Παρατήρηση.5. καταλαβαίνουμε ότι μία ακολουθία είναι Cuchy αν και μόνο αν για κάθε ε > 0 τελικά όλοι οι όροι της ακολουθίας ανήκουν στην περιοχή ενός άλλου όρου, δηλαδή ανήκουν ( ε, + ε. m m Η ιδιότητα που περιγράφεται στον παραπάνω ορισμό είναι ισοδύναμη με την ιδιότητα της σύγκλισης στον, και αυτό διατυπώνεται στην επόμενη πρόταση. Θεώρημα.5.. (Κριτήριο Cuchy Κάθε ακολουθία ( είναι ακολουθία Cuchy, και αντίστροφα. πραγματικών αριθμών που συγκλίνει στον Παρατηρήστε ότι, στο Θεώρημα.5. διατυπώνεται ένα κριτήριο, δίνεται μία ικανή και αναγκαία συνθήκη, ώστε μία ακολουθία να συγκλίνει. Το κριτήριο εφαρμόζεται όταν ενδιαφερόμαστε να εξετάσουμε τη σύγκλιση μίας ακολουθίας, χωρίς να χρειάζεται να γνωρίζουμε το όριό της. Στην Ενότητα 3., όπου μεταξύ άλλων μελετώνται οι αρμονικές σειρές p -τάξης, το Θεώρημα.5. είναι απαραίτητο. Εφαρμογή.5.3. Η ακολουθία ( είναι Cuchy ακολουθία. με γενικό όρο = ,, 4 9 Απόδειξη: Θεωρούμε ένα τυχαίο ε > 0 και p,, χρησιμοποιώντας τις ιδιότητες των απολύτων τιμών και την ανάλυση σε απλά κλάσματα μπορούμε να γράψουμε = = 4 9 ( + ( + ( + p p = = ( + ( + ( + p = < = p p + p ( ( ( ( ( ( ( ( = = p + p = = < p + p + p Άρα, + p <. (.5.8 9

26 Για τυχαίο ε > 0, αν επιλέξουμε 0 0( ε = + ε, εύκολα προκύπτει ότι, για κάθε 0 ( ε = < ε, επομένως η (.5.8 γράφεται: 0( ε + ε + p = < ε, δηλαδή, επαληθεύεται η (.5.7. Επομένως, η δοθείσα ακολουθία είναι Cuchy. Άρα, από την ισοδυναμία του Θεωρήματος.5. συμπεραίνουμε ότι η αρχική ακολουθία είναι συγκλίνουσα. Σχόλια: Η παραπάνω ακολουθία ονομάζεται αρμονική δεύτερης τάξης ( p =, την οποία μελετάμε αναλυτικά στο Κεφάλαιο 3. 9

27 .6. Χαρακτηριστικά όρια Στην παρούσα ενότητα, παρουσιάζονται τα όρια των σημαντικότερων ακολουθιών, τα οποία μαζί με τα κριτήρια σύγκλισης και τις ιδιότητες των πράξεων, αποτελούν απαραίτητα εργαλεία στον υπολογισμό της οριακής τιμής της ακολουθίας. Σε αρκετές από τις αποδείξεις των χαρακτηριστικών ορίων απαιτείται η ακόλουθη ανισότητα. Ανισότητα Beroulli Αν x με x > και, τότε ισχύει: ( + x + x Επιπλέον, αν x > με x 0, και (, 0 (, +, τότε ( + x > + x. (0,, τότε ( + x < + x. Η ακολουθία ( γεωμετρική 3., που αναφέρεται στην επόμενη πρόταση, είναι γνωστή στη βιβλιογραφία ως Πρόταση.6.. (Όριο γεωμετρικής ακολουθίας Έστω μία ακολουθία ( με γενικό όρο = r, για κάθε, όπου r και r <. Τότε, η γεωμετρική ακολουθία είναι μηδενική, δηλαδή, lim r 0. Απόδειξη: Αν r = 0, τότε το συμπέρασμα είναι προφανές. Αν r 0 και r < προκύπτει >, επομένως υπάρχει θετικός πραγματικός αριθμός, έστω x, ο οποίος r επιτρέπει να γράψουμε = + x r =. (.6. r + x Άρα, για κάθε έχουμε: = r = r = = (.6. + x ( + x Επειδή x > 0, από την ανισότητα Beroulli έχουμε : ( + x + x > x (.6.3 Συνδυάζοντας (.6. με (.6.3 μπορούμε να γράψουμε: = ( x < ( x Θεωρούμε την ακολουθία ( b με γενικό όρο b = x = x. Από την (.6. είναι φανερό ότι ο x είναι b είναι μηδενική, (βλέπε σταθερός θετικός αριθμός, εξαρτάται από τον r, επομένως η ακολουθία ( 3 Γεωμετρική ακολουθία ή γεωμετρική πρόοδος είναι μία ακολουθία ( με αναδρομικό τύπο = r +, για κάποιον σταθερό πραγματικό αριθμό r, που ονομάζεται λόγος της ακολουθίας, επειδή από τον αναδρομικό τύπο ισούται με το πηλίκο δύο διαδοχικών όρων της. Αποδεικνύεται ότι, ο γενικός όρος της ακολουθίας είναι = r, για κάθε. 93

28 αντίστοιχα, Εφαρμογή.5.3. και Πόρισμα.5. (i. Συνδυάζοντας τη (.6.4 με το Πόρισμα.5.9 είναι μηδενική, άρα lim r 0. συμπεραίνουμε ότι η ακολουθία ( Πρόταση.6.. (Όριο λόγου του D Alembert Έστω μία ακολουθία ( θετικών όρων και lim λ, όπου λ. + i Αν 0< < λ <, τότε η ακολουθία είναι μηδενική, δηλαδή, lim 0. + ii Αν > λ >, τότε η ακολουθία δεν συγκλίνει, συγκεκριμένα, lim = +. + Απόδειξη: i Από την υπόθεση, για κάθε έχουμε τις ακόλουθες ανισώσεις: < < λ, 0 < < λ,, 0 < < λ, 0< < λ 3 + Πολλαπλασιάζοντας τις ανισώσεις κατά μέλη προκύπτει 0 < < λ, και μετά από απλοποιήσεις + 0< < λ 0< + < λ (.6.5 Επειδή από την υπόθεση έχουμε 0 λ < <, από την Πρόταση.6. συμπεραίνουμε λ lim 0. Συνδυάζοντας τη (.6.5 με το κριτήριο παρεμβολής (βλέπε, Πρόταση.5.7 το συμπέρασμα είναι άμεσο, δηλαδή, lim 0. ii Από την υπόθεση, για κάθε έχουμε τις ακόλουθες ανισώσεις: 3 + > λ, > λ,, > λ, > λ Με ανάλογα βήματα, όπως στο (i, συμπεραίνουμε ότι για κάθε ισχύει: > + λ, με λ >. (.6.6 λ δεν είναι άνω φραγμένη, συνεπώς, lim λ = +, (βλέπε, Πρόταση Παρατηρήστε ότι, η ακολουθία (.5.8 (ii. Επειδή όλοι οι όροι της ακολουθίας ( φανερό ότι lim + + είναι θετικοί, από τη (.6.6 και lim λ = + είναι + = +. Παραδείγματα.6.3. Nα υπολογισθούν τα ακόλουθα όρια: i lim ii lim iii lim, για κάθε ! i Θεωρούμε την ακολουθία με γενικό όρο =. Επειδή ο γενικός όρος περιέχει τη γεωμετρική ακολουθία με r = 0, διαιρούμε αριθμητή και παρονομαστή με 0, και έχουμε: = = =