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

Αφού είδαμε την ιστορική προέλευση των ακολουθιών, είναι ώρα να δώσουμε έναν αυστηρό μαθηματικό ορισμό — γιατί στα μαθηματικά οι διαισθητικές ιδέες μετατρέπονται σε ακριβείς προτάσεις που επιτρέπουν συστηματική μελέτη. ✍️

Ορισμός της Ακολουθίας 📖

Ορισμός Ακολουθίας Πραγματικών Αριθμών 📐

Κάθε συνάρτηση $\alpha$ με πεδίο ορισμού το σύνολο των φυσικών αριθμών $\mathbb{N} = \{1, 2, 3, \ldots\}$ και τιμές σε υποσύνολο $B \subseteq \mathbb{R}$ λέγεται ακολουθία πραγματικών αριθμών:

\alpha: \mathbb{N} \to B \subseteq \mathbb{R}

Η τιμή $\alpha(\nu) = \alpha_\nu$ λέγεται $\nu$ -οστός ή γενικός όρος της ακολουθίας.

Συνήθως γράφουμε:

\alpha(1) = \alpha_1, \quad \alpha(2) = \alpha_2, \quad \alpha(3) = \alpha_3, \quad \ldots, \quad \alpha(\nu) = \alpha_\nu, \quad \ldots

Δηλαδή, μια ακολουθία δεν είναι τίποτε άλλο από μια αριθμημένη λίστα αριθμών, όπου σε κάθε θέση $\nu$ αντιστοιχεί ακριβώς ένας πραγματικός αριθμός $\alpha_\nu$ . Ο δείκτης $\nu$ ονομάζεται δείκτης όρου και δηλώνει τη θέση του όρου μέσα στην ακολουθία.

Προσοχή στη διάκριση ⚠️

Μην συγχέετε τον δείκτη με τον όρο:

Το $\nu$ είναι η θέση (φυσικός αριθμός).
Το $\alpha_\nu$ είναι η τιμή σε αυτή τη θέση (πραγματικός αριθμός).

Για παράδειγμα, στην ακολουθία $\alpha_\nu = \nu^2$ , ο 4ος όρος ( $\nu = 4$ ) έχει τιμή $\alpha_4 = 16$ .

Τρόποι Ορισμού Ακολουθίας ⚙️

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

1. Κλειστός τύπος γενικού όρου

Κλειστός τύπος γενικού όρου 🎯

Δίνεται ένας μαθηματικός τύπος που εκφράζει τον $\alpha_\nu$ άμεσα ως συνάρτηση του $\nu$ . Παράδειγμα:

\alpha_\nu = 2\nu + 1

Με αυτόν τον τρόπο μπορούμε να υπολογίσουμε απευθείας κάθε όρο, απλώς αντικαθιστώντας το $\nu$ .

Για το παραπάνω παράδειγμα:

\alpha_1 = 3, \quad \alpha_2 = 5, \quad \alpha_3 = 7, \quad \ldots, \quad \alpha_{100} = 201

Η μεγάλη ευκολία του κλειστού τύπου είναι ότι για να βρούμε τον 1000ο όρο δεν χρειάζεται να υπολογίσουμε τους 999 προηγούμενους — απλώς αντικαθιστούμε $\nu = 1000$ . ⚡

2. Αναγωγικός (αναδρομικός) τύπος

Αναγωγικός τύπος 🔄

Δίνεται μια σχέση που συνδέει διαδοχικούς όρους, μαζί με έναν ή περισσότερους αρχικούς όρους. Παράδειγμα:

\alpha_{\nu+1} = \alpha_\nu + 7, \quad \alpha_1 = 3

Με τον παραπάνω τύπο προκύπτει:

\alpha_1 = 3, \quad \alpha_2 = 10, \quad \alpha_3 = 17, \quad \alpha_4 = 24, \quad \ldots

Το μειονέκτημα του αναγωγικού τύπου 🐌

Στον αναγωγικό τύπο, για να υπολογίσουμε κάποιον όρο (π.χ. τον $\alpha_{100}$ ) πρέπει να βρούμε όλους τους προηγούμενους όρους. Γι' αυτό, όποτε είναι δυνατόν, μετατρέπουμε τον αναδρομικό τύπο σε κλειστό — πράγμα που είναι πάντα εφικτό στις αριθμητικές και γεωμετρικές προόδους, όπως θα δούμε στη συνέχεια.

Πλήθος όρων και σύνολο τιμών 🧮

Μια λεπτή αλλά σημαντική διάκριση:

Πλήθος όρων ≠ Σύνολο τιμών 🎭

Το πλήθος των όρων μιας ακολουθίας είναι πάντα άπειρο (ένας όρος για κάθε φυσικό αριθμό).
Το σύνολο τιμών της μπορεί να είναι πεπερασμένο.

Παράδειγμα: Η ακολουθία $\alpha_\nu = (-1)^\nu$ έχει άπειρους όρους — αλλά παίρνει μόνο δύο τιμές: $-1$ και $1$ :

-1, \; 1, \; -1, \; 1, \; -1, \; 1, \; \ldots

Γραφική Παράσταση Ακολουθίας 📊

Επειδή μια ακολουθία είναι συνάρτηση με πεδίο ορισμού το $\mathbb{N}$ , το γράφημά της αποτελείται από μεμονωμένα σημεία στο καρτεσιανό επίπεδο:

\{(1, \alpha_1),\; (2, \alpha_2),\; (3, \alpha_3),\; \ldots,\; (\nu, \alpha_\nu),\; \ldots\}

Δεν είναι καμπύλη! 📍

Η γραφική παράσταση μιας ακολουθίας είναι ένα σύνολο διακριτών σημείων — όχι μια συνεχής καμπύλη. Αυτό οφείλεται στο ότι η ακολουθία ορίζεται μόνο για φυσικούς αριθμούς $\nu \in \mathbb{N}^*$ , και όχι για όλους τους πραγματικούς.