Γενίκευση τοῦ Θεμελιώδους Θεωρήματος τοῦ Ἀπειροστικοῦ
Συντονιστές: grigkost, Κοτρώνης Αναστάσιος
- Γ.-Σ. Σμυρλής
- Δημοσιεύσεις: 578
- Εγγραφή: Κυρ Οκτ 14, 2012 9:47 am
- Τοποθεσία: Λευκωσία, Κύπρος
Γενίκευση τοῦ Θεμελιώδους Θεωρήματος τοῦ Ἀπειροστικοῦ
ΠΡΟΒΛΗΜΑ. Ἔστω διαφορίσιμη. Ἂν ἡ εἶναι τοπικῶς ὁλοκληρώσιμη Lebesgue, τὸτε διὰ κάθε
ἰσχύει ὅτι
ἰσχύει ὅτι
Λέξεις Κλειδιά:
-
- Δημοσιεύσεις: 3600
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: Γενίκευση τοῦ Θεμελιώδους Θεωρήματος τοῦ Ἀπειροστικοῦ
Είναι γνωστό Θεώρημα. Ισχύει και στην περίπτωση που η παράγωγος υπάρχει εκτός ενός αριθμήσιμου συνόλου. Είναι αληθές ότι σοβαρά βιβλία Θεωρίας Μέτρου δεν το έχουν. Το θεώρημα υπάρχει στο βιβλίο των Σ.Κουμουλλή Σ.Νεγρεπόντη Θεωρία Μέτρου εκδόσεις Συμμετρία Αθήνα 2005.7.19 Θεώρμα σελ 94 και στο τέλος του βιβλίου για το αριθμήσιμο. Χρησιμοποιεί ημισυνεχείς συναρτήσεις.Γνωρίζω ενδιαφέρουσα απόδειξη διαφορετική από τις παραπάνω.Με την πρώτη ευκαιρία θα την γράψω.Τα πράγματα απλοποιούνται αν υποθέσουμε ότι η παράγωγος είναι φραγμένη.
-
- Δημοσιεύσεις: 3600
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: Γενίκευση τοῦ Θεμελιώδους Θεωρήματος τοῦ Ἀπειροστικοῦ
Θα δείξουμε το εξής ισχυρότερο .Γ.-Σ. Σμυρλής έγραψε: ↑Τρί Δεκ 10, 2019 11:59 pmΠΡΟΒΛΗΜΑ. Ἔστω διαφορίσιμη. Ἂν ἡ εἶναι τοπικῶς ὁλοκληρώσιμη Lebesgue, τὸτε διὰ κάθε
ἰσχύει ὅτι
Αν είναι συνεχής ,παραγωγίσημη εκτός ενός αριθμήσιμου συνόλου
και η είναι Lebesgue ολοκληρώσιμη
τότε
Χρειαζόμαστε τα εξής λήμματα
1)Εστω
μέτρου .
Υπάρχει
συνεχής αύξουσα ώστε
2)Εστω
συνεχής .
Θέτουμε
Αν
όπου αριθμήσιμο σύνολο
να δειχθεί ότι η είναι αύξουσα.
Αυτά βρίσκονται στα
viewtopic.php?f=200&t=65857
viewtopic.php?f=200&t=65856
Θέτουμε
Είναι
(1)
Θεωρούμε την
Από το θεώρημα παραγώγισης του Lebesgue
είναι
οπου το
εχει μέτρο
Από το λήμμα 1) υπάρχει συνεχής
αύξουσα ώστε
.
Εστω
Θέτουμε
Παρατηρώντας ότι για
είναι
έχουμε για
α)
β)
Αρα
Λόγω του λήμματος 2 θα έχουμε
Επειδή το είναι οποιοδήποτε συμπεραίνουμε
ότι
Επειδή
και λόγω της (1) το θεώρημα κυριαρχημένης του Lebesgue μας δίνει
Αρα
Αν στην τελευταία στην θέση της βάλουμε την παίρνουμε την ανάποδη
και τελικά
τελευταία επεξεργασία από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ σε Δευ Δεκ 16, 2019 8:52 pm, έχει επεξεργασθεί 3 φορές συνολικά.
-
- Δημοσιεύσεις: 3600
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: Γενίκευση τοῦ Θεμελιώδους Θεωρήματος τοῦ Ἀπειροστικοῦ
Για να δούμε πως απλοποιείται η απόδειξη αν η παράγωγος είναι φραγμένη.
Δηλαδή
Αν είναι παραγωγίσημη με
τότε
Απόδειξη.
Επεκτείνουμε την συνάρτηση στο ωστε να είναι συνεχής και με φραγμένη
παράγωγο.
Θέτουμε
Εχουμε ότι
κατά σημείο και λόγω Θ.Μ.Τ
Από κυριαρχιμένης Lebesgue
(1)
Επειδή
η (1) δίνει το ζητούμενο.
Δηλαδή
Αν είναι παραγωγίσημη με
τότε
Απόδειξη.
Επεκτείνουμε την συνάρτηση στο ωστε να είναι συνεχής και με φραγμένη
παράγωγο.
Θέτουμε
Εχουμε ότι
κατά σημείο και λόγω Θ.Μ.Τ
Από κυριαρχιμένης Lebesgue
(1)
Επειδή
η (1) δίνει το ζητούμενο.
Μέλη σε σύνδεση
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 4 επισκέπτες