Όριο (μαθηματικά)

Με τον όρο «**όριο**» στα μαθηματικά, νοείται η διαρκής προσέγγιση ενός σημείου ή, διαφορετικά, η διαρκής μείωση μιας απόστασης, χωρίς όμως ποτέ αυτή να μηδενίζεται.

Συνήθως, η έννοια του ορίου χρησιμοποιείται για να περιγραφεί η *συμπεριφορά* μιας συνάρτησης καθώς το όρισμά της *πλησιάζει κάποιο σημείο* ή καθώς *μεγαλώνει* (αντίστοιχα *μικραίνει*) απεριόριστα. Η έννοια του ορίου συνάρτησης περιλαμβάνει και την έννοια του ορίου ακολουθίας όπου εκεί η έννοια του ορίου χρησιμοποιείται για να περιγράψουμε τη *συμπεριφορά* της ακολουθίας καθώς ο δείκτης της αυξάνεται απεριόριστα.

## Όριο ακολουθίας

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

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

Ένας άτυπος ορισμός του ορίου ακολουθίας είναι ο εξής: μια ακολουθία λέμε ότι έχει *όριο* ή ότι *συγκλίνει σε ένα αριθμό L, όταν οι όροι της πλησιάζουν όλο και περισσότερο τον αριθμό αυτό καθώς ο δείκτης της αυξάνεται απεριόριστα.

Ο αυστηρός ορισμός της σύγκλισης μιας ακολουθίας <math>(a_n)</math> σε [[Πραγματικός αριθμός|πραγματικό αριθμό]] είναι ο εξής:λέμε ότι *'ο αριθμός L είναι όριο της ακολουθίας** <math>(a_n)</math> αν για κάθε ε > 0 υπάρχει (τουλάχιστον ένας) φυσικός αριθμός n<sub>0</sub> τέτοιος, ώστε για κάθε n>n<sub>0</sub> να ισχύει:
: <math>|a_n - L| < \epsilon</math>
και το συμβολίζουμε με:
:<math>\lim_{n \to \infty}a_n = L </math>

Διασθητικά ο ορισμός λέει ότι: αν μια ακολουθία <math>(a_n)</math> συγκλίνει σε ένα αριθμό L τότε οποιαδήποτε ''περιοχή του L'' και αν επιλέξουμε, μετά από κάποιον όρο της ακολουθίας όλοι οι επόμενοι θα βρίσκονται μέσα στην περιοχή αυτή. Σύμφωνα με τον ορισμό, αυτό μπορεί να γίνει για οσοδήποτε ''μικρή'' περιοχή του L.

Φυσικά είναι δυνατόν μια ακολουθία να μην συγκλίνει σε πραγματικό αριθμό. Μπορεί για παράδειγμα να αποκλίνει στο <math>+\infty</math> ή στο ―<math>\infty</math> ή ακόμα να μην έχει όριο καθόλου. Παράδειγμα ακολουθίας που δεν έχει όριο είναι η <math>(-1)^n</math>. Αν όμως μια ακολουθία έχει όριο είτε πραγματικό αριθμό είτε άπειρο, τότε αποδεικνύεται ότι αυτό είναι μοναδικό.

Στη γενική περίπτωση ένος [[μετρικός χώρος|μετρικού χώρου]] Μ, και όχι συγκεκριμένα του <math>\R</math>, ο ορισμός είναι αντίστοιχος και η [[απόσταση (γεωμετρία)|απόσταση]] ορίζεται από τη [[Μετρική (μαθηματικά)|μετρική]] του χώρου αυτού.

Η έννοια του ορίου ακολουθίας και του ορίου συνάρτησης είναι πολύ στενά συνδεδεμένα. Μάλιστα ο ορισμός του ορίου ακολουθίας μπορεί να χρησιμοποιηθεί για να ορίσουμε γενικά το όριο συνάρτησης.

== Όριο συνάρτησης ==


Έστω ότι <math>f: A \rightarrow \mathbb{R}</math> είναι μια συνάρτηση με <math>A \subseteq \mathbb{R} </math> και <math>x_0 </math> είναι ένας πραγματικός αριθμός. Η έκφραση:

:<math> \lim_{x \to x_0}f(x) = L </math>

σημαίνει ότι το f(x) παίρνει τιμές όσο θέλουμε κοντά στο L αρκεί το x να πλησιάσει αρκετά κοντά το <math>x_0</math>. Όταν γίνεται αυτό, λέμε ότι ''το όριο της f καθώς το x τείνει στο <math>x_0</math> είναι L''. 

Να σημειώσουμε ότι η πιο πάνω έκφραση μπορεί να είναι αληθής ακόμα και όταν το L δεν είναι η τιμή της συνάρτησης στο <math>x_0</math>, δηλαδή <math>f(x_0) \neq L</math> ή ακόμα και όταν το L δεν είναι τιμή της συνάρτησης για κανένα x του πεδίου ορισμού της. Επίσης η έκφραση αυτή έχει νόημα μόνο καθώς το x ''πλησιάζει'' συγκεκριμένα σημεία <math>x_0</math>. Τα σημεία αυτά ενδέχεται να μην ανήκουν στο πεδίο ορισμού της f, δηλαδή η πιο πάνω έκφραση μπορεί να έχει νόημα και για σημεία <math>x_0</math>στα οποία η f δεν ορίζεται καν. Τα επόμενα παραδείγματα ξεκαθαρίζουν κάπως την κατάσταση.

Θεωρείστε την συνάρτηση <math>f: \mathbb{R} \rightarrow \mathbb{R}</math> με <math>f(x)=\frac{x}{x^2+1}</math> και ας δούμε πως συμπεριφέρεται καθώς το x ''πλησιάζει'' τον αριθμό 2.



Καθώς το x ''πλησιάζει'' το 2, η τιμή της συνάρτησης, f(x) ''πλησιάζει'' το 0.4 και για αυτό λέμε ότι το όριο της f καθώς το x ''τείνει'' στο 2 είναι 0.4 και γράφουμε:

:<math>\lim_{x\to c} f(x)</math>

Σε αυτή την περίπτωση η συνάρτηση f ορίζεται στο σημείο x = 2 και ισχύει:

:<math>\lim_{x\to c} f(x) = f(x_0)</math>

Θεωρείστε τη συνάρτηση <math>f: \mathbb{R} \rightarrow \mathbb{R}</math> με:

:<math>g(x)=\left\{\begin{matrix} \frac{x}{x^2+1}, & \mbox{if }x\ne 2 \\  \\ 0, & \mbox{if }x=2 \end{matrix}\right.</math>

Το όριο της g καθώς το x ''πλησιάζει'' το 2 είναι 0.4 όπως και στο προηγούμενο παράδειγμα αλλά, εδώ αν και η f ορίζεται στο σημείο x = 2 ισχύει:

:<math>\lim_{x\to 2}g(x)\neq g(2)</math>

Στα προηγούμενα δύο παραδείγματα μελετήσαμε το όριο της συνάρτησης σε ένα σημείο <math>x_0</math> του πεδίου ορισμού της. Θεωρείστε τώρα τη συναρτηση <math>f \mathbb{R}-\lbrace 1 \rbrace \rightarrow \mathbb{R}</math> με:

:<math> f(x) = \frac{x - 1}{\sqrt{x} - 1} </math>



Σε αυτή την περίπτωση η f δεν ορίζεται στο σημείο 1 αλλά καθώς το x ''πλησιάζει'' το 1 η f ''πλησιάζει'' τον αριθμό 2. Η f αν και δεν ορίζεται στο σημείο 1 έχει όριο καθώς το x ''τείνει'' στο 1, τον αριθμό 2. Γράφουμε:

:<math>\lim_{x \to 1}f(x) = 2</math>

=== Αυστηρός ορισμός ===
Μέχρι τώρα έχουμε χρησιμοποιήσει εκφράσεις όπως ''πλησιάζει'', ''τείνει'', ''γίνεται όσο θέλουμε κοντά'' οι οποίες φυσικά δεν είναι αυστηρές. Η έννοια του ορίου ορίζεται αυστηρά παρακάτω.

Έστω <math>f:A \rightarrow \mathbb{R}</math> μια συνάρτηση και x<sub>0</sub> ένα [[σημείο συσσώρευσης]] του Α. Λέμε ότι το **όριο** της f στο σημείο x<sub>0</sub> είναι ίσο με τον πραγματικό αριθμό L, αν για μια οποιαδήποτε ακολουθία x<sub>n</sub> στο Α που συγκλίνει στο x<sub>0</sub> η ακολουθία (f(x<sub>n</sub>)) συγκλίνει στο L.

:<math>\lim_{x \to x_0}f(x) = L \Leftrightarrow \Big(\forall (x_n) : (x_n \rightarrow x_0) \rightarrow (f(x_n) \rightarrow L)\Big)</math>
Ο παραπάνω ορισμός του ορίου μπορεί να διατυπωθεί και με την χρήση των ε και δ. Ο **ε-δ ορισμός του ορίου συνάρτησης** είναι ο εξής:

Έστω <math>f:A \rightarrow \mathbb{R}</math> μια συνάρτηση και x<sub>0</sub> ένα σημείο συσσώρευσης του Α. Λέμε ότι το **όριο** της f στο σημείο x<sub>0</sub> είναι ίσο με τον πραγματικό αριθμό L, αν: για κάθε ε>0 υπάρχει (τουλάχιστον ένα) δ = δ(ε)>0 τέτοιο ώστε:
:αν <math>x \in A</math> και <math>0 < |x-x_0|<\delta</math>, τότε <math>|f(x)-L|<\epsilon</math>.

Φυσικά είναι δυνατόν μια συνάρτηση να μην έχει όριο στο x<sub>0</sub> κάποιο πραγματικό αριθμό αλλά να έχει όριο το <math>+\infty</math> ή το <math>-\infty</math> ή ακόμα να μην έχει όριο καθόλου. Αντίστιχοι ορισμοί μπορούν να δοθούν για μη πεπερασμένο όριο συνάρτησης στο x<sub>0</sub>..

=== Όριο συνάρτησης στο άπειρο ===

Ορισμένες φορές επιθυμούμε να δούμε πως συμπεριφέρεται μια συνάρτηση όταν η ανεξάρτητη μεταβλητή μεγαλώνει απεριόριστα. Για αυτές τις περιπτώσεις υπάρχει η έννοια του ''όριου της συνάρτησης το άπειρο''. Για παράδειγμα για τη συνάρτηση: <math>f:\mathbb{R} \rightarrow \mathbb{R}</math> με <math>f(x) = \frac{1}{x}</math> έχουμε τα εξής:

:f(1) = 1
:f(10) = 0.1
:f(100) = 0.01
:: <math>\vdots</math>
:f(100000) = 0.00001

Είναι εύκολο να δούμε ότι οι τιμές της f πλησιάζουν ολοένα και περισσότερο το 0 καθώς το x αυξάνεται, χωρίς όμως να το φτάνουν ή να το ξεπερνούν ποτέ. Θα μπορούσαμε λοιπόν να πούμε ότι το ''όριο της f στο <math>+\infty</math> είναι μηδέν''. Ο αυστηρός ορισμός είναι ο εξής:

Έστω <math>f:A \rightarrow \mathbb{R}</math> μια συνάρτηση και έστω ότι το <math>+\infty</math> είναι σημείο συσσώρευσης του Α. Λέμε ότι το **όριο''' της f στο σημείο x0 είναι ίσο με τον πραγματικό αριθμό L, αν: για κάθε ε>0 υπάρχει (τουλάχιστον ένα) δ = δ(ε)>0 τέτοιο ώστε:
:αν x \in A και x >\delta, τότε |f(x)-L|.

## Εξωτερικοί σύνδεσμοι

## Δείτε επίσης
* Ακολουθία Κωσύ

Κατηγορία:Γενική τοπολογία
Κατηγορία:Διαφορικός λογισμός