Η Έννοια της Ακολουθίας

Στην καθημερινότητα συναντάμε συχνά διατεταγμένες λίστες αριθμών: τους μήνες της χρονιάς, τους βαθμούς ενός μαθητή, τις θερμοκρασίες μιας εβδομάδας. 📋 Μαθηματικά, αυτές οι λίστες εκφράζονται ως ακολουθίες, που είναι στην πραγματικότητα ένα πολύ ιδιαίτερο είδος συναρτήσεων.

📌 Ορισμός Ακολουθίας

Ορισμός

Κάθε συνάρτηση $a$ με πεδίο ορισμού το $\mathbb{N} = \{1, 2, 3, \ldots\}$ και πεδίο τιμών το $\mathbb{R}$ , λέγεται ακολουθία πραγματικών αριθμών. Συμβολικά:

a: \mathbb{N} \to \mathbb{R}

Αυτή η διατύπωση είναι θεμελιώδης: μια ακολουθία δεν είναι «μια λίστα αριθμών», αλλά μία συνάρτηση που σε κάθε φυσικό αριθμό $\nu$ αντιστοιχίζει έναν πραγματικό $a_\nu$ . 🔢

🔤 Συμβολισμός

Αντί για $a(\nu)$ (όπως στις συναρτήσεις), γράφουμε $a_\nu$ (διαβάζεται « $a$ με δείκτη $\nu$ »). Η ακολουθία ως σύνολο συμβολίζεται:

(a_\nu), \quad \nu \in \mathbb{N}

Οι διαδοχικές τιμές είναι:

a(1) = a_1, \quad a(2) = a_2, \quad a(3) = a_3, \quad \ldots, \quad a(\nu) = a_\nu, \quad \ldots

Προσοχή στον συμβολισμό

$(a_\nu)$ με παρενθέσεις → η ίδια η ακολουθία (όλη η συνάρτηση)
$a_\nu$ χωρίς παρενθέσεις → ο $\nu$ -οστός όρος (ένας μόνο αριθμός) 🎯

📝 Βασική Ορολογία

Τα στοιχεία του πεδίου ορισμού ( $1, 2, 3, \ldots$ ) λέγονται δείκτες.
Οι εικόνες τους λέγονται όροι.
Ο $a_1$ → πρώτος όρος 1️⃣
Ο $a_2$ → δεύτερος όρος 2️⃣
Ο $a_\nu$ → νιοστός ή γενικός όρος 🎯

Ο γενικός όρος $a_\nu$ είναι ο «τύπος-κλειδί»: με αυτόν υπολογίζουμε κάθε όρο της ακολουθίας. Π.χ., για $a_\nu = 2\nu + 1$ :

a_1 = 3, \quad a_2 = 5, \quad a_{100} = 201, \quad \ldots

🔗 Αναγωγικός (Αναδρομικός) Τύπος

Ένας αναγωγικός τύπος συνδέει δύο ή περισσότερους διαδοχικούς όρους:

Τύπος	Τι συνδέει
$a_{\nu+1} = a_\nu + 7$	2 διαδοχικούς όρους
$a_{\nu+2} = a_{\nu+1} + a_\nu$	3 διαδοχικούς όρους (Fibonacci!)
$a_{\nu+1} = 2a_\nu - 1$	2 διαδοχικούς όρους

Παράδειγμα αναδρομικής

Για $a_{\nu+1} = a_\nu + 3$ με $a_1 = -1$ :

a_1 = -1, \; a_2 = 2, \; a_3 = 5, \; a_4 = 8, \; a_5 = 11, \ldots

Παρατηρούμε ότι $a_\nu = 3\nu - 4$ — ο «κλειστός» τύπος! 🔑 Κάθε αναδρομική ακολουθία (με αρκετές αρχικές τιμές) αντιστοιχεί σε ακριβώς έναν κλειστό τύπο.

✅ Πλήρως Ορισμένη Ακολουθία

Ορισμός

Μια ακολουθία $(a_\nu), \nu \in \mathbb{N}$ είναι πλήρως ορισμένη (ή τελείως ορισμένη) αν μπορούμε να υπολογίσουμε οποιοδήποτε όρο της.

Αυτό συμβαίνει όταν μας δίνεται:

🅰️ Ο γενικός όρος $a_\nu$ ως τύπος (π.χ. $a_\nu = 2\nu + 1$ ), ή
🅱️ Ένας αναγωγικός τύπος + ικανοποιητικό πλήθος αρχικών όρων.

🎲 Γιατί δεν αρκούν μόνο αρχικοί όροι;

Έστω ότι μας λένε: «Η ακολουθία ξεκινά με $2, 4, 6, 8, \ldots$ . Βρες τον $a_5$ .» 🤔

Υποψήφιες απαντήσεις:

Τύπος 1: $a_\nu = 2\nu$ → $a_5 = 10$
Τύπος 2: $a_\nu = 2\nu + \nu(\nu-1)(\nu-2)(\nu-3)(\nu-4)$ → $a_5 = 10 + 120 = 130$

Και οι δύο δίνουν $a_1=2, a_2=4, a_3=6, a_4=8$ , αλλά διαφορετικό $a_5$ !

Συμπέρασμα

Χωρίς τύπο ή αναδρομική σχέση, η ακολουθία ΔΕΝ είναι πλήρως ορισμένη. Μπορούν να υπάρξουν άπειροι τύποι που ταιριάζουν στις ίδιες αρχικές τιμές!

📊 Γράφημα Ακολουθίας

Επειδή η ακολουθία είναι συνάρτηση, έχει γράφημα:

G = \{(1, a_1), \; (2, a_2), \; (3, a_3), \; \ldots, \; (\nu, a_\nu), \; \ldots\}

📈 Χαρακτηριστικό: επειδή το πεδίο ορισμού είναι μόνο φυσικοί αριθμοί, το γράφημα αποτελείται από μεμονωμένα σημεία (όχι συνεχή γραμμή!) στο ορθογώνιο σύστημα συντεταγμένων.

Δες σχήμα για την ακολουθία $a_\nu = \dfrac{1}{\nu}$ στη σελίδα 82 του Β' Τεύχους.

Σημαντική παρατήρηση

Τα σημεία του γραφήματος ακολουθίας δεν ενώνονται, γιατί δεν έχουμε τιμές μεταξύ $\nu=1$ και $\nu=2$ (δεν υπάρχει $a_{1{,}5}$ )! Το πεδίο ορισμού είναι διακριτό. 🔵

🔍 Εύρεση Γενικού Όρου από Μοτίβα

Συχνά μας δίνονται οι πρώτοι όροι και ζητείται ένας πιθανός γενικός τύπος.

Τεχνική

Βήμα 1: Γράψε τους όρους με τη θέση τους.
Βήμα 2: Ψάξε σχέση μεταξύ κάθε όρου και του δείκτη $\nu$ .
Βήμα 3: Επαλήθευσε για τουλάχιστον 3-4 τιμές.

Παράδειγμα. Βρες γενικό όρο της: $\dfrac{1}{2}, \dfrac{2}{3}, \dfrac{3}{4}, \dfrac{4}{5}, \dfrac{5}{6}, \ldots$

🔍 Παρατήρηση: αριθμητές $1, 2, 3, 4, 5$ → δείκτης $\nu$ . Παρονομαστές $2, 3, 4, 5, 6$ → $\nu + 1$ .

✅ Απάντηση: $a_\nu = \dfrac{\nu}{\nu+1}$ .

📝 Σημαντικές Παρατηρήσεις

Ιδιότητες των ακολουθιών

🔢 Πλήθος όρων: πάντα άπειρο (γιατί έχουν πεδίο ορισμού όλο το $\mathbb{N}$ ).
🎯 Σύνολο τιμών: μπορεί να είναι άπειρο ή πεπερασμένο. Π.χ.:
- $a_\nu = \nu$ : άπειρο σύνολο τιμών $\{1, 2, 3, \ldots\}$
- $a_\nu = (-1)^\nu$ : πεπερασμένο σύνολο $\{-1, 1\}$ 🔄
❓ Μη-πλήρως-ορισμένες: υπάρχουν ακολουθίες που δεν ξέρουμε γενικό τύπο! Π.χ. η ακολουθία των πρώτων αριθμών:

2, 3, 5, 7, 11, 13, 17, 19, 23, \ldots

Κανείς δεν έχει βρει μέχρι σήμερα έναν απλό τύπο $p_\nu = f(\nu)$ !

🧪 Παράδειγμα Εφαρμογής

Για την ακολουθία $a_\nu = 3\nu^2 + 2\nu$ :

(α) $a_{10} = 3 \cdot 100 + 2 \cdot 10 = 320$ ✅

(β) Υπολογίζουμε τη διαφορά διαδοχικών όρων:

\begin{aligned} a_{\nu+1} - a_\nu &= [3(\nu+1)^2 + 2(\nu+1)] - [3\nu^2 + 2\nu]\\ &= 3\nu^2 + 6\nu + 3 + 2\nu + 2 - 3\nu^2 - 2\nu\\ &= 6\nu + 5 \end{aligned}

Αυτή η διαφορά θα είναι πολύ χρήσιμη στην επόμενη ενότητα για τη μονοτονία! ⚙️