Θεώρημα Μέγιστης και Ελάχιστης Τιμής

Το τρίτο μεγάλο θεώρημα των συνεχών συναρτήσεων εγγυάται ότι μια συνεχής συνάρτηση σε ένα κλειστό διάστημα παίρνει πάντοτε τη μέγιστη και την ελάχιστη τιμή της. Γνωστό και ως Θεώρημα Weierstrass. 🏛️

Θεώρημα Μέγιστης – Ελάχιστης Τιμής 🏛️

Θεώρημα (Μέγιστης και Ελάχιστης Τιμής)

Αν μια συνάρτηση $f$ είναι συνεχής στο κλειστό διάστημα $[a, \beta]$ , τότε υπάρχουν δύο τουλάχιστον σημεία $x_\varepsilon, x_\mu \in [a, \beta]$ , στα οποία η $f$ παίρνει:

την ελάχιστη τιμή $m = f(x_\varepsilon)$ ,
και τη μέγιστη τιμή $M = f(x_\mu)$ .

Δηλαδή:

\forall x \in [a,\beta]: \quad m \leq f(x) \leq M

Γεωμετρική ερμηνεία 📊

Η γραφική παράσταση μιας συνεχούς συνάρτησης σε κλειστό διάστημα «αγγίζει» οπωσδήποτε μία μέγιστη τιμή (κορυφή) και μία ελάχιστη τιμή (κοίλωμα). Δεν μπορεί να «ξεφύγει» προς τα πάνω ή προς τα κάτω.

Δες σχήμα στη σελίδα 66 του Β' Τεύχους. 📊

Διαισθητική ερμηνεία

Φαντάσου τη θερμοκρασία μιας πόλης κατά τη διάρκεια μιας ημέρας (από $00{:}00$ έως $24{:}00$ ): είναι συνεχής συνάρτηση του χρόνου. Το θεώρημα εγγυάται ότι υπάρχει μία συγκεκριμένη στιγμή όπου η θερμοκρασία φτάνει στη μέγιστη τιμή της ημέρας, και μία άλλη στιγμή με την ελάχιστη. 🌡️

Ισχυρότατη συνέπεια 📐

Πόρισμα

Συνδυάζοντας το θεώρημα μέγιστης-ελάχιστης με το Θεώρημα Ενδιάμεσων Τιμών, προκύπτει:

Το σύνολο τιμών μιας συνεχούς συνάρτησης $f$ με πεδίο ορισμού κλειστό διάστημα $[a, \beta]$ είναι το κλειστό διάστημα:

f([a, \beta]) = [m, M] = [f(x_\varepsilon), f(x_\mu)]

Ιδέα απόδειξης του πορίσματος: Από το θεώρημα μέγιστης-ελάχιστης, η $f$ παίρνει ως τιμές τα $m$ και $M$ . Από το ΘΕΤ, παίρνει όλες τις τιμές ανάμεσα. Άρα η εικόνα είναι ακριβώς το $[m,M]$ . ✅

Σημαντικότατες παρατηρήσεις 📝

Οι δύο προϋποθέσεις του θεωρήματος είναι απαραίτητες:

Η $f$ να είναι συνεχής.
Το διάστημα να είναι κλειστό (δηλ. $[a,\beta]$ , όχι ανοικτό ούτε μη φραγμένο).

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

Αντιπαραδείγματα 💡

Αντιπαραδείγματα

1. Ανοικτό διάστημα: Η $f(x)=x+2$ με $x\in(0,3)$ είναι συνεχής, αλλά το διάστημα είναι ανοικτό. Μπορούμε να δείξουμε ότι η $f$ δεν έχει ούτε μέγιστη ούτε ελάχιστη τιμή:

Καθώς $x\to 0^+$ , $f(x)\to 2$ , αλλά δεν φτάνει ποτέ το $2$ .
Καθώς $x\to 3^-$ , $f(x)\to 5$ , αλλά δεν φτάνει ποτέ το $5$ .
Το σύνολο τιμών είναι $(2,5)$ , δεν έχει ούτε μέγιστο ούτε ελάχιστο.

2. Μερική περίπτωση: Η $f(x)=x^2$ με $x\in(-1,1)$ ορίζεται σε ανοικτό διάστημα:

Έχει ελάχιστο στο $x=0$ (με $f(0)=0$ ).
Δεν έχει μέγιστο: καθώς $x\to\pm 1$ , $f(x)\to 1$ , αλλά δεν φτάνει ποτέ το $1$ .

3. Ασυνέχεια: Η $f(x)=\begin{cases}1/x, & x\in(0,1] \\ 0, & x=0\end{cases}$ ορίζεται σε κλειστό διάστημα $[0,1]$ , αλλά δεν είναι συνεχής στο $0$ . Έχει ελάχιστο $f(1)=1$ , αλλά δεν έχει μέγιστο: καθώς $x\to 0^+$ , $f(x)\to +\infty$ .

Δες σχήματα στη σελίδα 66 του Β' Τεύχους.

Απόδειξη (σκιαγραφία) 🎓

Η αυστηρή απόδειξη βασίζεται σε δύο βήματα:

Βήμα 1: Φραγμένη συνάρτηση. Αν η $f$ είναι συνεχής στο κλειστό διάστημα $[a,\beta]$ , τότε είναι φραγμένη σε αυτό. (Υπάρχει $K>0$ ώστε $|f(x)|\leq K$ για κάθε $x\in[a,\beta]$ .)

Βήμα 2: Επιτυγχάνεται το supremum/infimum. Θεωρούμε $M=\sup f([a,\beta])$ . Κατασκευάζουμε ακολουθία $(x_n)\subset[a,\beta]$ με $f(x_n)\to M$ . Από το θεώρημα Bolzano-Weierstrass, υπάρχει υπακολουθία που συγκλίνει σε κάποιο $x_\mu\in[a,\beta]$ . Από τη συνέχεια, $f(x_\mu)=M$ . ✅

(Η πλήρης απόδειξη υπερβαίνει το πρόγραμμα Β' Λυκείου.)

Πρακτικά συμπεράσματα 🎯

Γιατί είναι σημαντικό

Όταν σου ζητούν να βρεις μέγιστη/ελάχιστη τιμή μιας συνάρτησης σε κλειστό διάστημα, υπάρχουν! Αρκεί να τις εντοπίσεις.
Σε ανοικτό διάστημα ή με μη συνεχή συνάρτηση, πρέπει να ελέγξεις αν πράγματι υπάρχουν.
Το θεώρημα είναι υπαρξιακό: σου εγγυάται την ύπαρξη χωρίς να σου δίνει τον τρόπο εύρεσης. Για την εύρεση θα χρειαστείς την παράγωγο (επόμενα κεφάλαια).

Συνολική σύνοψη των τριών θεωρημάτων 📚

Θεώρημα	Τι εγγυάται	Απαραίτητες προϋποθέσεις
Bolzano	Υπάρχει ρίζα της $f(x)=0$	Συνέχεια στο $[a,\beta]$ , $f(a)f(\beta)<0$
Ενδιάμεσων Τιμών	Παίρνεται κάθε ενδιάμεση τιμή	Συνέχεια στο $[a,\beta]$ , $f(a)\neq f(\beta)$
Μέγιστης – Ελάχιστης	Υπάρχουν max και min	Συνέχεια στο κλειστό $[a,\beta]$

Κεντρικό μάθημα

Τα τρία θεωρήματα δείχνουν ότι η συνέχεια είναι μια πολύ ισχυρή ιδιότητα: εγγυάται ύπαρξη ρίζας, ύπαρξη κάθε ενδιάμεσης τιμής, και ύπαρξη μέγιστης/ελάχιστης τιμής. Είναι ο λόγος που οι συνεχείς συναρτήσεις αποτελούν τον «φυσικό χώρο» της Μαθηματικής Ανάλυσης. 🎯