Όριο Συνάρτησης στο Άπειρο ♾️

Μέχρι τώρα μιλούσαμε για τι κάνει μια συνάρτηση «κοντά» σε έναν πραγματικό αριθμό $x_0$ . Τώρα θέλουμε να περιγράψουμε τη συμπεριφορά της όταν το $x$ γίνεται αυθαίρετα μεγάλο (θετικά ή αρνητικά). Αυτή η «μακροσκοπική» θεώρηση είναι εκείνη που μας λέει, για παράδειγμα, αν μια καμπύλη «απογειώνεται» στο άπειρο, αν «προσγειώνεται» σε μια οριζόντια ασύμπτωτη, ή πόσο γρήγορα μεγαλώνει ένα πολυώνυμο.

Ο εκτεταμένος πραγματικός άξονας 🧭

Για να μιλάμε με ευκολία για «άπειρο», επεκτείνουμε τον πραγματικό άξονα προσθέτοντας δύο σύμβολα.

Εργαζόμαστε στον εκτεταμένο πραγματικό άξονα $\bar{\mathbb{R}} = \mathbb{R} \cup \{-\infty, +\infty\}$ . Ισχύουν πράξεις όπως $(+\infty)+(+\infty)=+\infty$ , $a \cdot (+\infty) = +\infty$ αν $a > 0$ , κ.λπ.

📌 Αλγεβρικοί κανόνες με άπειρο

Για $a \in \mathbb{R}$ :
$(+\infty) + (+\infty) = +\infty, \qquad (-\infty) + (-\infty) = -\infty$
$a + (+\infty) = +\infty, \qquad a + (-\infty) = -\infty$
$a \cdot (+\infty) = \begin{cases} +\infty, & a > 0 \\ -\infty, & a < 0 \end{cases}$
$(+\infty) \cdot (+\infty) = +\infty, \qquad (+\infty) \cdot (-\infty) = -\infty$

Προσοχή: το $\pm\infty$ δεν είναι πραγματικοί αριθμοί — είναι «σύμβολα» για την απεριόριστη αύξηση ή μείωση. Οι παραπάνω κανόνες είναι συμβατικοί τρόποι για να αποτυπώνουμε συμπεριφορές ορίων σε συνοπτική μορφή.

Απροσδιόριστες μορφές 🚫

Ορισμένοι «συνδυασμοί» με άπειρο δεν αποδίδονται μονοσήμαντα. Αυτές ονομάζονται απροσδιόριστες μορφές και απαιτούν μετασχηματισμό της έκφρασης για να βγει καθαρό αποτέλεσμα.

⚠️ Απροσδιόριστες μορφές

Οι εκφράσεις $(+\infty)+(-\infty)$ , $(-\infty)-(-\infty)$ , $(+\infty)+(-\infty)$ , $(-\infty)+(+\infty)$ δεν έχουν μονοσήμαντα ορισμένη τιμή και απαιτούν ειδική επεξεργασία.

Γιατί; Γιατί το αποτέλεσμα εξαρτάται από τη σχετική ταχύτητα με την οποία κάθε όρος τείνει στο άπειρο. Για παράδειγμα:

Το $\lim_{x \to +\infty} (x - x) = 0$ .
Το $\lim_{x \to +\infty} (x^2 - x) = +\infty$ (το $x^2$ «νικάει»).
Το $\lim_{x \to +\infty} (x - x^2) = -\infty$ (τώρα το αρνητικό κομμάτι «νικάει»).

Και τα τρία είναι φαινομενικά $(+\infty) - (+\infty)$ , αλλά δίνουν διαφορετικά αποτελέσματα. Γι' αυτό ακριβώς η μορφή είναι «απροσδιόριστη».

Βασικά όρια στο άπειρο 📐

📌 Βασικά όρια στο άπειρο

$\lim_{x \to +\infty} c = c, \quad \lim_{x \to +\infty} x = +\infty, \quad \lim_{x \to +\infty} \frac{1}{x} = 0, \quad \lim_{x \to -\infty} \frac{1}{x} = 0$

Διαισθητικά:

Η σταθερά δεν μεταβάλλεται ποτέ — παραμένει $c$ .
Η ταυτοτική $f(x) = x$ ακολουθεί το $x$ : αν το $x$ πάει στο $+\infty$ , έτσι κάνει και η $f$ .
Το $\frac{1}{x}$ «συρρικνώνεται» προς το $0$ όταν ο παρονομαστής μεγαλώνει απεριόριστα (θετικά ή αρνητικά). Το πρόσημο διαφέρει (δεξί μηδέν ή αριστερό μηδέν), αλλά η τιμή πλησιάζει το $0$ .

Από αυτά τα θεμελιώδη όρια, συνδυάζοντας με αλγεβρικές πράξεις, παίρνουμε πολλά άλλα χρήσιμα. Π.χ. $\lim_{x \to +\infty} \frac{1}{x^2} = 0$ , $\lim_{x \to +\infty} \frac{5}{x^3} = 0$ κ.ο.κ.

Πολυωνυμική συνάρτηση στο άπειρο 🚀

📌 Πρόταση – Πολυωνυμική στο άπειρο

Αν $P(x) = a_\nu x^\nu + a_{\nu-1}x^{\nu-1} + \cdots + a_0$ με $a_\nu \neq 0$ , τότε:
$\lim_{x \to \pm\infty} P(x) = \lim_{x \to \pm\infty} a_\nu x^\nu$
Η συμπεριφορά στο άπειρο καθορίζεται μόνο από τον όρο μεγαλύτερου βαθμού.

Γιατί ισχύει; 🧠

Για μεγάλες απόλυτες τιμές του $x$ , ο όρος μεγαλύτερου βαθμού «κυριαρχεί» πάνω σε όλους τους άλλους. Μπορούμε να το δούμε βγάζοντας κοινό παράγοντα:
$P(x) = x^\nu \left( a_\nu + \frac{a_{\nu-1}}{x} + \cdots + \frac{a_0}{x^\nu} \right)$
Καθώς $x \to \pm\infty$ , όλοι οι όροι μέσα στην παρένθεση πλην του $a_\nu$ τείνουν στο $0$ , οπότε η παρένθεση τείνει στο $a_\nu$ . Επομένως:
$\lim_{x \to \pm\infty} P(x) = \lim_{x \to \pm\infty} a_\nu x^\nu$

Παράδειγμα 💡

$\lim_{x \to +\infty} (2x^3 - 100x^2 + 50x - 7) = \lim_{x \to +\infty} 2x^3 = +\infty$

Οι «μικρότεροι» όροι, όσο μεγάλοι και αν μοιάζουν αριθμητικά (π.χ. το $-100x^2$ ), χάνουν τη μάχη ενάντια στη δύναμη μεγαλύτερου βαθμού σε βάθος χρόνου.

Πρόσημο και άρτιο/περιττό ν

Η τιμή του $\lim_{x \to \pm\infty} a_\nu x^\nu$ εξαρτάται:

από το πρόσημο του $a_\nu$ ,
και από το αν το $\nu$ είναι άρτιος ή περιττός.

Για παράδειγμα, $\lim_{x \to -\infty} x^2 = +\infty$ αλλά $\lim_{x \to -\infty} x^3 = -\infty$ . Πάντα κάνε προσεκτικό έλεγχο προσήμων.

Πρακτική μεθοδολογία 🧭

Εντόπισε τη μορφή του ορίου (π.χ. πολυώνυμο, ρητή, πολλές δυνάμεις).
Αν είναι πολυώνυμο — κράτα μόνο τον μεγιστοβάθμιο όρο.
Αν είναι ρητή — διαίρεσε αριθμητή και παρονομαστή με τη μεγαλύτερη δύναμη του $x$ που εμφανίζεται, ώστε όλοι οι όροι να μετατραπούν σε κλάσματα της μορφής $\frac{c}{x^k}$ που τείνουν στο $0$ .
Να είσαι πάντα σε εγρήγορση για απροσδιόριστες μορφές και να τις μετασχηματίζεις αλγεβρικά πριν περάσεις στο όριο.