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

Στο κεφάλαιο αυτό θα μελετήσουμε ένα από τα πιο θεμελιώδη θεωρήματα του απειροστικού λογισμού, το Θεώρημα Μέγιστης και Ελάχιστης Τιμής (ή αλλιώς Θεώρημα Weierstrass, από τον Γερμανό μαθηματικό Karl Weierstrass, 1815–1897). Το θεώρημα αυτό εξασφαλίζει την ύπαρξη ακροτάτων για μια συνεχή συνάρτηση σε ένα κλειστό διάστημα.

---

Εισαγωγή – Τι είναι τα ακρότατα μιας συνάρτησης 🎯

Πριν διατυπώσουμε το θεώρημα, ας θυμηθούμε τι σημαίνει μέγιστη και ελάχιστη τιμή μιας συνάρτησης.

Η τιμή $f(x_\mu)$ ονομάζεται μέγιστη τιμή της $f$ και η τιμή $f(x_\varepsilon)$ ελάχιστη τιμή της $f$.

📌 Προσοχή στη διάκριση:

• Τα $x_\varepsilon, x_\mu$ είναι σημεία του πεδίου ορισμού (στον άξονα $x$).
• Τα $f(x_\varepsilon), f(x_\mu)$ είναι οι αντίστοιχες τιμές της συνάρτησης (στον άξονα $y$).

---

Διατύπωση του Θεωρήματος 📜

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

Αν κοιτάξουμε τη γραφική παράσταση μιας συνεχούς συνάρτησης πάνω σε ένα κλειστό διάστημα $[a, \beta]$, θα δούμε ότι:

• Υπάρχει πάντα ένα υψηλότερο σημείο (το μέγιστο).
• Υπάρχει πάντα ένα χαμηλότερο σημείο (το ελάχιστο).

Η γραφική παράσταση είναι "παγιδευμένη" ανάμεσα σε δύο οριζόντιες ευθείες: $y = f(x_\varepsilon)$ και $y = f(x_\mu)$. (βλ. σχήμα σελίδας 1 του PDF)

---

Το σύνολο τιμών συνεχούς συνάρτησης 📊

Από το θεώρημα προκύπτει ένα πολύ χρήσιμο πόρισμα για το σύνολο τιμών.

Γιατί ισχύει αυτό; 🤔

Το σύνολο τιμών $f([a, \beta])$ περιέχει όλες τις τιμές που παίρνει η $f$. Από το Θεώρημα Μέγιστης-Ελάχιστης Τιμής:

1. Η $f$ παίρνει την ελάχιστη τιμή $f(x_\varepsilon)$ και τη μέγιστη τιμή $f(x_\mu)$. Άρα αυτές οι δύο τιμές ανήκουν στο σύνολο τιμών.
2. Κάθε άλλη τιμή της $f$ είναι ανάμεσα σε αυτές τις δύο: $f(x_\varepsilon) \leq f(x) \leq f(x_\mu)$.
3. Από το Θεώρημα Ενδιάμεσων Τιμών (Bolzano), κάθε τιμή ανάμεσα στην ελάχιστη και στη μέγιστη την πιάνει πράγματι η $f$ για κάποιο $x$.

Συνδυάζοντας τα παραπάνω, παίρνουμε ότι το σύνολο τιμών είναι ακριβώς το $[f(x_\varepsilon), f(x_\mu)]$.

---

Οι Δύο Προϋποθέσεις του Θεωρήματος 🔑

Αντιπαραδείγματα – Τι πάει στραβά χωρίς τις υποθέσεις 🧪

Αντιπαράδειγμα 1: Ανοικτό διάστημα, όχι κλειστό

Έστω η συνάρτηση $f(x) = x + 2$, με πεδίο ορισμού $(0, 3)$.

• Η $f$ είναι συνεχής στο $(0, 3)$. ✅
• Το διάστημα δεν είναι κλειστό (τα άκρα $0$ και $3$ δεν ανήκουν στο πεδίο ορισμού). ❌

Τι συμβαίνει; Η $f$ είναι γνησίως αύξουσα, οπότε:

• Καθώς το $x$ πλησιάζει το $0$ από δεξιά, η $f(x)$ πλησιάζει το $2$, αλλά δεν φτάνει ποτέ εκεί.
• Καθώς το $x$ πλησιάζει το $3$ από αριστερά, η $f(x)$ πλησιάζει το $5$, αλλά δεν φτάνει ποτέ εκεί.

Άρα η $f$ δεν έχει ούτε μέγιστη ούτε ελάχιστη τιμή. Το σύνολο τιμών είναι το ανοικτό διάστημα $(2, 5)$. (βλ. σχήμα σελίδας 1 του PDF)

Αντιπαράδειγμα 2: Ανοικτό διάστημα με ελάχιστο αλλά χωρίς μέγιστο

Έστω η συνάρτηση $f(x) = x^2$, με πεδίο ορισμού $(-1, 1)$.

• Η $f$ είναι συνεχής. ✅
• Το διάστημα είναι ανοικτό. ❌

Τι συμβαίνει;

• Η $f$ παίρνει ελάχιστη τιμή στο $x_0 = 0$, όπου $f(0) = 0$.
• Όμως καθώς το $x$ πλησιάζει τα $\pm 1$, η $f(x)$ πλησιάζει το $1$, αλλά δεν το φτάνει.

Άρα η $f$ έχει ελάχιστο αλλά δεν έχει μέγιστο. (βλ. σχήμα σελίδας 1 του PDF)

Αντιπαράδειγμα 3: Ασυνεχής συνάρτηση σε κλειστό διάστημα

Έστω η συνάρτηση:

• Το διάστημα $[0, 1]$ είναι κλειστό. ✅
• Η $f$ δεν είναι συνεχής στο $x = 1$. ❌

Η $f$ δεν παίρνει μέγιστη τιμή: οι τιμές πλησιάζουν το $1$ καθώς $x \to 1^-$, αλλά στο $x = 1$ η τιμή "πέφτει" στο $0$.

---

Παρατηρήσεις και Ιδιαιτερότητες 💡

1. Σε ανοικτό διάστημα, τίποτα δεν εξασφαλίζεται

Όταν μια συνάρτηση είναι συνεχής σε ανοικτό διάστημα $(a, \beta)$, η ύπαρξη μέγιστης ή ελάχιστης τιμής δεν προκαθορίζεται. Μπορεί να υπάρχουν, μπορεί να μην υπάρχουν, ή να υπάρχει μόνο το ένα από τα δύο.

2. Τα ακρότατα είναι και τοπικά και ολικά

Τα σημεία $(x_\varepsilon, f(x_\varepsilon))$ και $(x_\mu, f(x_\mu))$ που εξασφαλίζει το θεώρημα είναι ολικά ακρότατα (αφορούν ολόκληρο το διάστημα), αλλά ταυτόχρονα είναι και τοπικά ακρότατα (σε μια μικρή περιοχή γύρω τους, παραμένουν τα πιο ακραία).

3. Πόσα ακρότατα μπορεί να υπάρχουν;

Το θεώρημα λέει ότι υπάρχουν τουλάχιστον δύο σημεία (ένα για το μέγιστο, ένα για το ελάχιστο). Όμως:

• Μπορεί να υπάρχουν πολλά σημεία που δίνουν τη μέγιστη τιμή (π.χ. σε μια σταθερή συνάρτηση $f(x) = c$, κάθε σημείο είναι ταυτόχρονα μέγιστο και ελάχιστο).
• Τα $x_\varepsilon$ και $x_\mu$ μπορεί να είναι εσωτερικά σημεία του διαστήματος ή άκρα του.

4. Το θεώρημα είναι "θεώρημα ύπαρξης"

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

---

Εφαρμογή: Υπολογισμός συνόλου τιμών ✏️

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

Παράδειγμα με τη συνάρτηση ημιτόνου

Έστω $f(x) = \eta\mu x$ με πεδίο ορισμού $\left[\frac{\pi}{6}, \frac{3\pi}{4}\right]$.

Βήμα 1 – Προϋποθέσεις: Η $f(x) = \eta\mu x$ είναι συνεχής σε όλο το $\mathbb{R}$, άρα και στο κλειστό διάστημα $\left[\frac{\pi}{6}, \frac{3\pi}{4}\right]$. ✅ Το θεώρημα εφαρμόζεται.

Βήμα 2 – Μελέτη μονοτονίας: Στο διάστημα αυτό:

• Η $\eta\mu x$ αυξάνει στο $\left[\frac{\pi}{6}, \frac{\pi}{2}\right]$.
• Η $\eta\mu x$ μειώνεται στο $\left[\frac{\pi}{2}, \frac{3\pi}{4}\right]$.

Βήμα 3 – Εντοπισμός ακροτάτων:

• Μέγιστο στο $x_\mu = \frac{\pi}{2}$: $f\left(\frac{\pi}{2}\right) = \eta\mu\frac{\pi}{2} = 1$.
• Ελάχιστο: Πρέπει να συγκρίνουμε τις τιμές στα άκρα.
  • $f\left(\frac{\pi}{6}\right) = \eta\mu\frac{\pi}{6} = \frac{1}{2}$
  • $f\left(\frac{3\pi}{4}\right) = \eta\mu\frac{3\pi}{4} = \frac{\sqrt{2}}{2} \approx 0{,}707$

Επειδή $\frac{1}{2} < \frac{\sqrt{2}}{2}$, η ελάχιστη τιμή είναι στο $x_\varepsilon = \frac{\pi}{6}$, με $f\left(\frac{\pi}{6}\right) = \frac{1}{2}$.

Βήμα 4 – Σύνολο τιμών:

(βλ. σχήμα σελίδας 2 του PDF)

---

Μια χρήσιμη τεχνική: Φράγματα μέσω ακροτάτων 🔧

Μια πολύ κομψή εφαρμογή του θεωρήματος είναι η εύρεση φραγμάτων για εκφράσεις που περιέχουν τιμές μιας συνεχούς συνάρτησης.

Αυτή η απλή ανισότητα αποτελεί το κλειδί για πολλές αποδείξεις.

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

Έστω συνεχής $f: [2, 4] \to \mathbb{R}$, με ελάχιστη τιμή $m$ και μέγιστη τιμή $M$. Θα δείξουμε ότι:

Απόδειξη:

Επειδή τα σημεία $2, 3, 4$ ανήκουν στο $[2, 4]$, από το θεώρημα έχουμε:

Πολλαπλασιάζουμε κάθε σχέση με τον κατάλληλο θετικό αριθμό (η φορά της ανισότητας διατηρείται):

Προσθέτουμε τις ανισότητες κατά μέλη:

Διαιρούμε με το $9 > 0$:

🔑 Το γενικό μοτίβο

Το παραπάνω δεν είναι παρά ένα ειδικό παράδειγμα μιας γενικής αρχής:

---

Λανθασμένες και Σωστές Προτάσεις 🧠

Ας δούμε μερικές τυπικές διατυπώσεις και ας τις αξιολογήσουμε. Έστω $f$ συνεχής στο $[a, \beta]$ με ελάχιστη τιμή $m$ και μέγιστη τιμή $M$.

---

Η αντίστροφη κατεύθυνση – Γιατί ανοικτό διάστημα δεν δίνει πάντα ανοικτό σύνολο τιμών 🔄

Ένα λεπτό σημείο: Αν η $f$ είναι συνεχής σε ανοικτό διάστημα $(a, \beta)$, δεν μπορούμε να ισχυριστούμε ότι το σύνολο τιμών είναι ανοικτό.

Παράδειγμα: $f(x) = x^2$ στο $(-1, 1)$.

• Ελάχιστη τιμή: $f(0) = 0$.
• Δεν υπάρχει μέγιστη τιμή (όπως είδαμε).
• Σύνολο τιμών: $[0, 1)$, που είναι ημίκλειστο διάστημα (ούτε ανοικτό, ούτε κλειστό).

Αυτό δείχνει ότι η δομή του πεδίου ορισμού δεν μεταφέρεται αυτόματα στο σύνολο τιμών.

---

Σύνοψη 📝

🌟 Το θεώρημα αυτό είναι ένας "φύλακας-άγγελος" της ανάλυσης: εξασφαλίζει ότι όταν δουλεύουμε με συνεχείς συναρτήσεις σε κλειστά διαστήματα, τα ακρότατα πάντα υπάρχουν και άρα μπορούμε να τα αναζητήσουμε με βεβαιότητα.