Σελίδα 1 από 1
Θεωρητικές στην ομοιόμορφη συνέχεια (β)
Δημοσιεύτηκε: Τρί Δεκ 01, 2009 9:08 pm
από Κοτρώνης Αναστάσιος
1) Έστω

, όπου το

είναι διάστημα, παραγωγίσιμη με

για κάποιο

. Δείξτε ότι η

είναι ομοιόμορφα συνεχής.
Ισχύει το αντίστροφο;
2) Έστω

ομοιόμορφα συνεχής. Δείξτε ότι η

είναι φραγμένη.
Re: Θεωρητικές στην ομοιόμορφη συνέχεια (β)
Δημοσιεύτηκε: Τρί Δεκ 01, 2009 9:31 pm
από Mihalis_Lambrou
Κοτρώνης Αναστάσιος έγραψε:1) Έστω

, όπου το

είναι διάστημα, παραγωγίσιμη με

για κάποιο

. Δείξτε ότι η

είναι ομοιόμορφα συνεχής.
Ισχύει το αντίστροφο;
2) Έστω

ομοιόμορφα συνεχής. Δείξτε ότι η

είναι φραγμένη.
1a) Από Θ.Μ.Τ. είναι

. Παίρνουμε δ = ε/Μ
β) Όχι:

στο (0,1).
2) Για ε = 1 βρίσκουμε το αντίστοιχο δ > 0. Η f είναι φραγμένη στο [α + δ/2, β -δ/2]. Επίσης φραγμένη στα (α. α + δ/2), (β-δ/2, β) από τα |f(α + δ/2)| + 1, |f(β - δ/2)| + 1 αντίστοιχα.
Re: Θεωρητικές στην ομοιόμορφη συνέχεια (β)
Δημοσιεύτηκε: Τρί Δεκ 01, 2009 9:49 pm
από Antonis Loutraris
Ένδιαφέρουσες ασκήσεις για την ομοιόμορφη συνέχεια..
Για το πρώτο..
Αφού η

είναι φραγμένη υπάρχει Μ>Ο τέτοιο ώστε

για κάθε x.'Ετσι απο το θεώρημα μέσης τιμής για κάθε x,y με

έχουμε ότι υπάρχει ξ ανάμεσα στα x και y τέτοιο ώστε :

Άρα

.Δηλαδή η

είnai Lipschitz,επομένως είναι ομοιόμορφα συνεχής.
Δεν ισχύει το αντίστροφο εν γένει..Ένα παράδειγμα συνάρτησης που είναι ομοιόμορφα συνεχής αλλά δεν είναι Lipschitz είναι η

στο [0,+οο).
Για το δεύτερο..
Έστω ότι η

δεν είναι φραγμένη.Τότε υπάρχει μία ακολουθία

τέτοια ώστε

για κάθε n. H

είναι φραγμένη άρα απο το θεώρημα Bolzano-Weirstrass έχει συγκλίνουσα υπακολουθία,την

.Aφού η

συγκλίνει είναι Cauchy.Άρα και η

είναι Cauchy επειδή η

είναι ομοιόμορφα συνεχής.Επομένως και η

συγκλίνει.Άτοπο γιατί
Επιπρόσθετα για το δεύτερο σκέλος μπορούμε να πούμε ότι η

επεκτείνεται σε συνεχή συνάρτηση
![f*:[a,b] \to \mathbb{R} f*:[a,b] \to \mathbb{R}](/forum/ext/geomar/texintegr/latexrender/pictures/47924a57260fda1f8e2c05cead42693d.png)
.Η

είναι φραγμένη αφου είναι συνεχής σε κλειστό διάστημα.Άρα και η

έιναι φραγμένη.
Φιλικά,
Αντώνης.
Re: Θεωρητικές στην ομοιόμορφη συνέχεια (β)
Δημοσιεύτηκε: Τρί Δεκ 01, 2009 10:45 pm
από Κοτρώνης Αναστάσιος
Όμορφα!!
όμως το
Antonis Loutraris έγραψε:Aφού η

συγκλίνει είναι Cauchy.Άρα και η

είναι Cauchy
επειδή η
είναι ομοιόμορφα συνεχής.
και το
Antonis Loutraris έγραψε: μπορούμε να πούμε ότι η

επεκτείνεται σε συνεχή συνάρτηση
![f*:[a,b] \to \mathbb{R} f*:[a,b] \to \mathbb{R}](/forum/ext/geomar/texintegr/latexrender/pictures/47924a57260fda1f8e2c05cead42693d.png)
.
ιδίως το δεύτερο θέλουν ένα κάποιο επιχείρημα..Τα θέτω λοιπόν προς απόδειξη:
1) Έστω

ομοιόμορφα συνεχής. Δείξτε ότι η

επεκτείνεται σε συνεχή συνάρτηση
![f^{*}:[a,b]\to\mathbb{R} f^{*}:[a,b]\to\mathbb{R}](/forum/ext/geomar/texintegr/latexrender/pictures/ddf12c62ae85291443aa36f8614ea1f0.png)
.
2) Έστω

ομοιόμορφα συνεχής.Αν η

είναι ακολουθία

στο

, τότε και η

είναι ακολουθία

.
Re: Θεωρητικές στην ομοιόμορφη συνέχεια (β)
Δημοσιεύτηκε: Τρί Δεκ 01, 2009 11:27 pm
από Antonis Loutraris
Για το 2) αποτέλεσμα το οποίο είναι μια αρκετά όμορφη ιδιότητα των ομοιόμορφα συνεχών συναρτήσεων,που λέει ότι μία ομοιόμορφα συνεχής συνάρτηση στέλνει συγκλίνουσες ακολουθίες σε συγκλίνουσες ακολουθίες, έχουμε τα εξής:
Έστω ε>0 και

ομοιόμορφα συνεχής συνάρτηση.Αφου η

είναι ομοιόμορφα συνεχής υπάρχει δ>0 τέτοιο ώστε για κάθε

με

έχουμε

.Αφού η

είναι Cauchy υπάρχει

τέτοιο ώστε

για κάθε

.Eπομένως για όλα αυτά τα n και m έχουμε

.Άρα η

είναι Cauchy.
Για το πρώτο ερώτημα έχουμε τα εξής:
Αφου η

είναι ομοιόμορφα συνεχής τα όρια στα άκρα υπάρχουν και είναι πεπερασμενα
Η συνάρτηση:
είναι συνεχής στο κλειστό [a,b] και είναι επέκταση της αρχικής

που είναι ορισμένη στο (a,b).
Φιλικά,
Αντώνης.
Re: Θεωρητικές στην ομοιόμορφη συνέχεια (β)
Δημοσιεύτηκε: Τρί Δεκ 01, 2009 11:41 pm
από nkatsipis
Το (2) προκύπτει εύκολα από τους ορισμούς και συνηθίζουμε να το χρησιμοποιούμε έχοντας στο μυαλό μας το ρητό:
οι ομοιόμορφα συνεχείς στέλνουν ακολουθίες Cauchy σε ακολουθίες Cauchy.
Για το (1), να θέσω προς απόδειξη το εξής:
Έστω
συνεχής στο
H
ομοιόμορφα συνεχής στο
αν και μόνο αν τα όρια
υπάρχουν.
Έτσι φαίνεται και πως μπορεί να οριστεί η
Νίκος Κατσίπης
ΥΓ: Με προσπέρασε στην στροφή ο Αντώνης...

Re: Θεωρητικές στην ομοιόμορφη συνέχεια (β)
Δημοσιεύτηκε: Τρί Δεκ 01, 2009 11:59 pm
από Antonis Loutraris
Nίκο αξίζει να σημειωθεί ότι το αντίστροφο του αποτελέσματος που ανέφερες δεν ισχύει εν γένει.Αν η συνάρτηση είναι συνεχής και ορισμένη σε κάποιο μη φραγμένο διάστημα και το όριο στο + ή -

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

είναι ομοιόμορφα συνεχής αλλά τα όρια στο + και -

δεν υπάρχουν.
Re: Θεωρητικές στην ομοιόμορφη συνέχεια (β)
Δημοσιεύτηκε: Τετ Δεκ 02, 2009 12:04 am
από nkatsipis
Antonis Loutraris έγραψε:Nίκο αξίζει να σημειωθεί ότι το αντίστροφο του αποτελέσματος που ανέφερες δεν ισχύει εν γένει.Αν η συνάρτηση είναι συνεχής και ορισμένη σε κάποιο μη φραγμένο διάστημα και το όριο στο + ή -

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

είναι ομοιόμορφα συνεχής αλλά τα όρια στο + και -

δεν υπάρχουν.
Σωστή η παρατήρηση σου Αντώνη!
Νίκος