📈 Γιατί μια Συνεχής Συνάρτηση Δεν Μπορεί να «Ξεφύγει»
Μια συνεχής συνάρτηση σε ένα κλειστό και φραγμένο διάστημα δεν μπορεί να περιπλανιέται χωρίς όρια. Κάπου πρέπει να φτάσει στην υψηλότερη και κάπου στη χαμηλότερη τιμή της.
Αν
είναι συνεχής, τότε υπάρχουν \(c,d\in[a,b]\) τέτοια ώστε
Δηλαδή η \(f\) δεν έχει απλώς ένα άνω και ένα κάτω φράγμα. Πραγματικά αποκτά τη μέγιστη και την ελάχιστη τιμή της.
Το μυστικό είναι η compactness
Το διάστημα \([a,b]\) είναι compact — στην πραγματική ευθεία αυτό σημαίνει ότι είναι κλειστό και φραγμένο. Μία σημαντική συνέπεια είναι ότι από κάθε ακολουθία σημείων του μπορούμε να επιλέξουμε μια υπακολουθία που συγκλίνει σε κάποιο σημείο το οποίο εξακολουθεί να ανήκει στο \([a,b]\).
Αυτή η ιδιότητα, μαζί με τη συνέχεια της \(f\), εμποδίζει το μέγιστο ή το ελάχιστο να «ξεφύγει». Αν πάρουμε τιμές της συνάρτησης που πλησιάζουν όλο και περισσότερο το supremum της, καταλήγουμε σε κάποιο \(c\in[a,b]\) για το οποίο
Αντίστοιχα, υπάρχει \(d\in[a,b]\) τέτοιο ώστε
Η compactness εξασφαλίζει ότι τα ακρότατα δεν μπορούν να «δραπετεύσουν».
Η ιδέα είναι πολύ γενικότερη από ένα διάστημα της πραγματικής ευθείας. Κάθε συνεχής πραγματική συνάρτηση πάνω σε έναν μη κενό compact χώρο αποκτά μέγιστη και ελάχιστη τιμή.
Το αποτέλεσμα είναι γνωστό ως Θεώρημα Ακροτάτων (Extreme Value Theorem) και αποτελεί ένα από τα θεμελιώδη θεωρήματα της Μαθηματικής Ανάλυσης.
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου