Αρµονική Ανάλυση. Ενότητα: Ολοκλήρωµα Riemann και ολοκλήρωµα Lebesgue - Ασκήσεις. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Σχετικά έγγραφα
Αρµονική Ανάλυση. Ενότητα: Προσεγγίσεις της µονάδας και Αθροισιµότητα - Ασκήσεις. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Αρµονική Ανάλυση. Ενότητα: Χώροι L p - Ασκήσεις. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Αρµονική Ανάλυση. Ενότητα: Ολοκλήρωµα Riemann και ολοκλήρωµα Lebesgue. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Αρµονική Ανάλυση. Ενότητα: Ολοκλήρωµα Lebesgue - Ασκήσεις. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Αρµονική Ανάλυση. Ενότητα: Το ϑεώρηµα παρεµβολής του Riesz και η ανισότητα Hausdorff-Young. Απόστολος Γιαννόπουλος.

Αρµονική Ανάλυση. Ενότητα: L 2 -σύγκλιση σειρών Fourier. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Αρµονική Ανάλυση. Ενότητα: Μετασχηµατισµός Fourier. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Κυρτή Ανάλυση. Ενότητα: Συνδυαστικά ϑεωρήµατα για κυρτά σύνολα στον Ευκλείδειο χώρο - Ασκήσεις. Απόστολος Γιαννόπουλος.

f(x) dx. f(x)dx = 0 Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές» Κεφάλαιο 7: Ολοκλήρωµα Riemann Α Οµάδα

Αρµονική Ανάλυση. Ενότητα: Προσεγγίσεις της µονάδας και Αθροισιµότητα. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Αρµονική Ανάλυση. Ενότητα: L 2 -σύγκλιση σειρών Fourier - Ασκήσεις. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

n a n = 2. Θεωρούµε τα σύνολα a n = n2 n n 2 + n 1. n a n = a > 0, δείξτε ότι a n > 0 τελικά.

Ολοκλήρωµα Riemann και Ολοκλήρωµα Lebesgue

Υπόδειξη. (α) Άµεσο αφού κάθε υποσύνολο µηδενικού συνόλου είναι µετρήσιµο.

Θεωρία Μέτρου και ολοκλήρωσης Ασκήσεις

Μαθηματική Ανάλυση Ι

Αρµονική Ανάλυση. Ενότητα: L p Σύγκλιση. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Κυρτή Ανάλυση. Ενότητα: Ακραία σηµεία - Ασκήσεις. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

1 Το ϑεώρηµα του Rademacher

Το ϑεώρηµα παραγώγισης του Lebesgue στο R

Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές» (ε) Κάθε συγκλίνουσα ακολουθία άρρητων αριθµών συγκλίνει σε άρρητο αριθµό.

1 1 + nx. f n (x) = nx 1 + n 2 x 2. x2n 1 + x 2n

ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ. Λογισμός 4. Ενότητα 3: Το Θεώρημα του Lebesgue. Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών

sup B, τότε υπάρχουν στοιχεία α A και β B µε α < β.

Κυρτή Ανάλυση. Ενότητα: Το ϑεώρηµα του Dvoretzky - Ασκήσεις. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

f(x) dx. f(x)dx = 0. f(x) dx = 1 < 1 = f(x) dx. Θα είχαµε f(c) = 0, ενώ η f δεν µηδενίζεται πουθενά στο [0, 2].

Παράρτηµα Α. Στοιχεία θεωρίας µέτρου και ολοκλήρωσης.

Εισαγωγή στην Τοπολογία

Εισαγωγή στην Τοπολογία

Αρµονική Ανάλυση. Ενότητα: Ολοκλήρωµα Lebesgue. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Θεωρία Τελεστών. Ενότητα: Το Φασµατικό Θεώρηµα - Εισαγωγή. Αριστείδης Κατάβολος. Τµήµα Μαθηµατικών

Μαθηματικά. Ενότητα 6: Ασκήσεις Ορίων Συνάρτησης. Σαριαννίδης Νικόλαος Τμήμα Λογιστικής και Χρηματοοικονομικής

Θεωρία Τελεστών. Ενότητα: Χώροι µε νόρµα - Χώροι Hilbert. Αριστείδης Κατάβολος. Τµήµα Μαθηµατικών

Τίτλος Μαθήματος: Συνήθεις Διαφορικές Εξισώσεις Ι

lim (f(x + 1) f(x)) = 0.

ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ. Λογισμός 4. Ενότητα 2: Ορισμός του ολοκληρώματος. Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών


Προσεγγίσεις της µονάδας και Αθροισιµότητα

ιαµέριση (Partition) ορισµένη στο διάστηµα I = [a, b]

ΜΑΘΗΜΑΤΙΚΑ ΓΙΑ ΟΙΚΟΝΟΜΟΛΟΓΟΥΣ

Αρµονική Ανάλυση. Ενότητα: Μέτρο Lebesgue - Ασκήσεις. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Αρµονική Ανάλυση. Ενότητα: Χώροι L p. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης. Λογισμός 3 Ασκήσεις. Μιχάλης Μαριάς Τμήμα Α.Π.Θ.

Θεωρία μέτρου και ολοκλήρωσης

= f(x) για κάθε x R.

ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ. Λογισμός 4. Ενότητα 5: Το Θεώρημα του Fubini. Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών

Εισαγωγή στην Τοπολογία

Ανάλυση Fourier και Ολοκλήρωµα Lebesgue. Απόστολος Γιαννόπουλος

f(x) = lim f n (t) = d(t, x n ) d(t, x) = f(t)

Θεωρία Πιθανοτήτων & Στατιστική

Κυρτή Ανάλυση. Ενότητα: Υπερεπίπεδα στήριξης και διαχωριστικά ϑεωρήµατα. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης. Λογισμός 4. Ασκήσεις. Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών Α.Π.Θ.

Πρόταση. f(x) ομοιόμορφα συνεχής στο I. δ (ɛ) > 0 : x, ξ I, x ξ < δ (ɛ, ξ) f(x) f(ξ) < ɛ. ɛ > 0, δ > 0 : ΜΗ ομοιόμορφα συνεχής.

n = r J n,r J n,s = J

Αρµονική Ανάλυση ( ) Φυλλάδιο Ασκήσεων 3

Πραγµατική Ανάλυση ( ) Ασκήσεις - Κεφάλαιο 3

Ολοκλήρωµα Lebesgue. Κεφάλαιο Μετρήσιµες συναρτήσεις Ορισµός και ϐασικές ιδιότητες

Τίτλος Μαθήματος: Μαθηματική Ανάλυση Ενότητα Γ. Ολοκληρωτικός Λογισμός

Μέτρο Lebesgue. Κεφάλαιο Εξωτερικό µέτρο Lebesgue

Θεωρία Τελεστών. Ενότητα: Το ϕασµατικό ϑεώρηµα για αυτοσυζυγείς τελεστές. Αριστείδης Κατάβολος. Τµήµα Μαθηµατικών

Χώροι L p. Κεφάλαιο Χώροι L p. L p (E) όλων των µετρήσιµων συναρτήσεων f : E [, ] για τις οποίες

G n. n=1. n=1. n=1 G n) = m (E). n=1 G n = k=1

Αρµονική Ανάλυση. Ενότητα: Μέτρο Lebesgue. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Μαθηματικά. Ενότητα 7: Μη Πεπερασμένα Όρια. Σαριαννίδης Νικόλαος Τμήμα Λογιστικής και Χρηματοοικονομικής

(s n (f)) g = s n (f g) = f (s n (g)). s n (f) g = (f D n ) g = f (D n g) = f (g D n ) = f s n (g). K n (x)g δ (x) dx. K n (x) dx.

ΑΝΑΛΥΣΗ 2. Μ. Παπαδημητράκης.

Μαθηματικά. Ενότητα 3: Ολοκληρωτικός Λογισμός Σαριαννίδης Νικόλαος Τμήμα Διοίκησης Επιχειρήσεων (Κοζάνη)

Μαθηματικά. Ενότητα 2: Διαφορικός Λογισμός. Σαριαννίδης Νικόλαος Τμήμα Διοίκησης Επιχειρήσεων (Κοζάνη)

Γραµµική Αλγεβρα Ι. Ενότητα: Εισαγωγικές Εννοιες. Ευάγγελος Ράπτης. Τµήµα Μαθηµατικών

f(f 1 (B)) f(f 1 (B)) B. X \ (f 1 (C)) = X \ f 1 (C) = f 1 (Y \ C) X \ (f 1 (C)) f 1 (Y \ C). f 1 (Y \ C) = f 1 (Y \ C ) = X \ f 1 (C ).

Μιχάλης Παπαδημητράκης. Αρμονική Ανάλυση. Τμήμα Μαθηματικών. Πανεπιστήμιο Κρήτης

Λογισμός 4 Ενότητα 10

Λογισμός 4 Ενότητα 12

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

ΜΑΘΗΜΑΤΙΚΑ ΓΙΑ ΟΙΚΟΝΟΜΟΛΟΓΟΥΣ

Καµπύλες στον R. σ τελικό σηµείο της σ. Το σ. σ =. Η σ λέγεται διαφορίσιµη ( αντιστοίχως

Εισαγωγή στην Τοπολογία

Απειροσ τικός Λογισμός ΙΙ Πρόχειρες Σημειώσεις Τμήμα Μαθηματικών Πανεπιστήμιο Αθηνών

ΣΥΝΤΟΜΕΣ ΣΗΜΕΙΩΣΕΙΣ ΠΡΑΓΜΑΤΙΚΗΣ ΑΝΑΛΥΣΗΣ ΘΕΜΗΣ ΜΗΤΣΗΣ TΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ ΗΡΑΚΛΕΙΟ

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ - ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΕΙΣΑΓΩΓΙΚΕΣ ΜΕΤΑΠΤΥΧΙΑΚΕΣ ΕΞΕΤΑΣΕΙΣ 26 ΙΟΥΛΙΟΥ 2008 ΕΥΤΕΡΟ ΜΕΡΟΣ :

Θεωρία Πιθανοτήτων & Στατιστική

Μαθηματικά Ενότητα 11: Θεώρημα Μέσης Τιμής Μονοτονία Συνάρτησης

Μέτρο Lebesgue. Κεφάλαιο Οµάδα Α. λ(a) (µε A B συµβολίζουµε τη συµµετρική διαφορά (A \ B) (B \ A) των A και B).

L 2 -σύγκλιση σειρών Fourier

Μαθηματικά. Ενότητα 9: Όριο Συνάρτησης στο Διηνεκές. Σαριαννίδης Νικόλαος Τμήμα Λογιστικής και Χρηματοοικονομικής

Εισαγωγή στην Τοπολογία

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ - ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΕΙΣΑΓΩΓΙΚΕΣ ΜΕΤΑΠΤΥΧΙΑΚΕΣ ΕΞΕΤΑΣΕΙΣ 26 ΙΟΥΛΙΟΥ 2009 ΕΥΤΕΡΟ ΜΕΡΟΣ :

Γενικά Μαθηματικά Ι. Ενότητα 12: Κριτήρια Σύγκλισης Σειρών. Λουκάς Βλάχος Τμήμα Φυσικής ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ

Θεωρία μέτρου και ολοκλήρωσης

Ask seic kai Jèmata sth JewrÐa Mètrou kai Olokl rwsh

Μαθηματική Ανάλυση Ι

Θεωρία μέτρου και ολοκλήρωσης

Θεωρία μέτρου και ολοκλήρωσης

Γενικά Μαθηματικά Ι. Ενότητα 8: Εφαρμογές Σειρών Taylor. Λουκάς Βλάχος Τμήμα Φυσικής ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ

Ασκήσεις 3 ου Κεφαλαίου

Μαθηματικά. Ενότητα 13: Κυρτότητα Συνάρτησης Σαριαννίδης Νικόλαος Τμήμα Λογιστικής και Χρηματοοικονομικής

Λογισμός 4. Ενότητα 4: Ιδιότητες του Ολοκληρώματος. Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ

Αρµονική Ανάλυση. Ενότητα: Σειρές Fourier - Ασκήσεις. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ. Λογισμός 4. Ενότητα 6: Εφαρμογές του Fubini. Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών

Μαθηματικά. Ενότητα 12: Ακρότατα Συνάρτησης Σαριαννίδης Νικόλαος Τμήμα Λογιστικής και Χρηματοοικονομικής

Transcript:

Ενότητα: Ολοκλήρωµα Riemnn και ολοκλήρωµα Lebesgue - Ασκήσεις Απόστολος Γιαννόπουλος Τµήµα Μαθηµατικών

Αδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Cretive Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύπου άδειας χρήσης, η άδεια χρήσης αναφέρεται ϱητώς. Χρηµατοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού έργου του διδάσκοντα. Το έργο «Ανοικτά Ακαδηµαϊκά Μαθήµατα στο Πανεπιστήµιο Αθηνών» έχει χρηµατοδοτήσει µόνο τη αναδιαµόρφωση του εκπαιδευτικού υλικού. Το έργο υλοποιείται στο πλαίσιο του Επιχειρησιακού Προγράµµατος «Εκπαίδευση και ια Βίου Μά- ϑηση» και συγχρηµατοδοτείται από την Ευρωπαϊκή Ενωση (Ευρωπαϊκό Κοινωνικό Ταµείο) και από εθνικούς πόρους. Εργο: Κεντρικό Μητρώο Ελληνικών Ανοικτών Μαθηµάτων Σελίδα 2

Περιεχόµενα ενότητας 3 Ολοκλήρωµα Riemnn και ολοκλήρωµα Lebesgue - Ασκήσεις 4 3.1 Οµάδα Α............................................ 4 3.2 Οµάδα Β............................................. 6 Εργο: Κεντρικό Μητρώο Ελληνικών Ανοικτών Μαθηµάτων Σελίδα 3

3 Ολοκλήρωµα Riemnn και ολοκλήρωµα Lebesgue - Ασκήσεις 3.1 Οµάδα Α 1. Αποδείξτε το Λήµµα 3.3.4. 2. (α) είξτε ότι η συνάρτηση ϕ : [0, 1] R µε ϕ(x) = x ημ 1 x έχει άπειρη κύµανση. αν x 0 και ϕ(0) = 0 είναι συνεχής αλλά (ϐ) είξτε ότι η συνάρτηση ψ : [0, 1] R µε ψ(x) = x 2 ημ 1 x κύµανση. αν x 0 και ψ(0) = 0 έχει ϕραγµένη 3. (α) Εστω (ϕ n ) ακολουθία συναρτήσεων που ορίζονται στο [, b]. Υποθέτουµε ότι κάθε ϕ n έχει ϕραγµένη κύµανση και ότι υπάρχει M > 0 τέτοιος ώστε V (ϕ n, b) M για κάθε n N. Αν ϕ n ϕ κατά σηµείο, δείξτε ότι η ϕ έχει ϕραγµένη κύµανση και V (ϕ, b) M. (ϐ) Η υπόθεση V (ϕ n, b) M για κάθε n N στο (α) είναι ουσιαστική. είξτε ότι η ακολουθία συναρτήσεων { x ημ 1 ϕ n (x) = x, x 1 2nπ 0, 0 x < 1 2nπ συγκλίνει οµοιόµορφα στη συνάρτηση ϕ της Ασκησης 2(α) και ότι κάθε ϕ n έχει ϕραγµένη κύµανση (ενώ η ϕ όχι). 4. Εστω (ϕ n ) ακολουθία συναρτήσεων που ορίζονται στο [, b] και έχουν ϕραγµένη κύµανση. Αν ϕ n ϕ κατά σηµείο, δείξτε ότι V (ϕ, b) lim inf V (ϕ n, b). n [Υπόδειξη για τις Ασκήσεις 3 και 4: είξτε ότι V (ϕ n, P) V (ϕ, P) για κάθε διαµέριση P του [, b].] 5. Εστω ϕ : [, b] R. Υποθέτουµε ότι υπάρχει M > 0 τέτοιος ώστε: για κάθε ε > 0, V (ϕ +ε, b) M. (α) είξτε ότι V (ϕ, b) < +. (ϐ) Ποιά επιπλέον υπόθεση για την ϕ µας εξασφαλίζει ότι V (ϕ, b) M; 6. Θεωρούµε τη συνάρτηση I(x) = 0 αν x < 0 και I(x) = 1 αν x 0. Εστω (c n ) µια ακολουθία πραγµατικών αριθµών µε c n < + και έστω (x n ) ακολουθία διαφορετικών ανά δύο σηµείων του (, b]. Αν n=1 ϕ(x) = δείξτε ότι ϕ BV[, b] και c n I(x x n ), x [, b] n=1 V (ϕ, b) = c n. n=1 Εργο: Κεντρικό Μητρώο Ελληνικών Ανοικτών Μαθηµάτων Σελίδα 4

7. Εστω ϕ : [, b] R συνεχής και κατά τµήµατα µονότονη συνάρτηση. Για κάθε y R ορίζουµε N (y) το πλήθος των ϱιζών της εξίσωσης ϕ(x) = y στο [, b]. Αν m = min{ϕ(x) : x b} και M = mx{ϕ(x) : x b}, δείξτε ότι M V (ϕ, b) = N (y)dλ(y). m 8. Βρείτε, αν υπάρχει, συνεχή συνάρτηση ϕ BV[, b] η οποία δεν είναι Lipschitz συνεχής. 9. Εστω, b > 0. Ορίζουµε f (x) = { x ημ(x b ), 0 < x 1 0, x = 0 είξτε ότι η f έχει ϕραγµένη κύµανση στο [0, 1] αν και µόνο αν > b. Παίρνοντας = b, κατασκευάστε (για κάθε 0 < α < 1) µια συνάρτηση που ικανοποιεί την Lipschitz συνθήκη τάξης α f (x) f (y) A x y α για κάποια σταθερά A > 0, αλλά δεν έχει ϕραγµένη κύµανση. 10. Θεωρούµε την συνάρτηση f (x) = x 2 ημ(1/x 2 ), x 0, και f (0) = 0. είξτε ότι η f (x) υπάρχει για κάθε x, αλλά η f δεν είναι ολοκληρώσιµη στο [ 1, 1]. 11. είξτε (µε ϐάση τον ορισµό) ότι η συνάρτηση Cntor-Lebesgue δεν είναι απολύτως συνεχής. 12. Εστω g : [, b] R συνεχής συνάρτηση. είξτε ότι η είναι µετρήσιµη συνάρτηση. D + (g)(x) = lim sup h 0 + g(x + h) g(x) h 13. Εστω f : R R απολύτως συνεχής συνάρτηση. είξτε ότι: (α) Η f απεικονίζει σύνολα µέτρου µηδέν σε σύνολα µέτρου µηδέν. (ϐ) Η f απεικονίζει µετρήσιµα σύνολα σε µετρήσιµα σύνολα. 14. Εστω f : [, b] R απολύτως συνεχής, αύξουσα συνάρτηση µε f () = A και f (b) = B. Εστω g : [A, B] R µετρήσιµη συνάρτηση. (α) είξτε ότι η g( f (x)) f (x) είναι µετρήσιµη στο [, b]. (ϐ) είξτε ότι αν η g είναι ολοκληρώσιµη στο [A, B] τότε η g( f (x)) f (x) είναι ολοκληρώσιµη στο [, b] και B A g(y)dλ(y) = g( f (x)) f (x)dλ(x). Εργο: Κεντρικό Μητρώο Ελληνικών Ανοικτών Μαθηµάτων Σελίδα 5

15. Εστω f, g : [, b] R απολύτως συνεχείς συναρτήσεις. είξτε ότι η f g είναι απολύτως συνεχής, και f (x)g(x)dλ(x) = f (x)g (x)dλ(x) + f (b)g(b) f ()g(). 3.2 Οµάδα Β 16. Εστω f : R d R µη µηδενική ολοκληρώσιµη συνάρτηση. είξτε ότι υπάρχει c > 0 ώστε f (x) και συµπεράνετε ότι η f δεν είναι ολοκληρώσιµη. c x d για κάθε x 1, 17. Θεωρούµε την συνάρτηση f : R R µε f (x) = 1 x (λογ 10 1/ x ) 2 αν x 1/2 και f (x) = 0 αλλιώς. είξτε ότι η f είναι ολοκληρώσιµη. είξτε επίσης ότι υπάρχει c > 0 ώστε f (x) c x (λογ 10 1/ x ) και συµπεράνετε ότι η f δεν είναι τοπικά ολοκληρώσιµη. για κάθε x 1/2, 18. Εστω f : R R µη µηδενική ολοκληρώσιµη συνάρτηση. Ορίζουµε f +(x) = sup h>0 x+h x f (y) dλ(y). Για κάθε α > 0 ϑέτουµε E α + = {x R : f+(x) > α}. είξτε ότι λ(e α + ) = 1 f (y) dλ(y). α [Υπόδειξη. Εφαρµόστε το λήµµα του ανατέλλοντος ηλίου για την F(x) = E α + x f (y) dλ(y) αx.] 19. Εστω F κλειστό υποσύνολο του R. Θεωρούµε την συνάρτηση δ(x) = d(x, F) = inf{ x y : y F}. Ελέγξτε ότι δ(x + y) y για κάθε x F και για κάθε y R. είξτε ότι, ισχυρότερα, ισχύει το εξής: δ(x + y) lim y 0 y = 0 σχεδόν για κάθε x F. Εργο: Κεντρικό Μητρώο Ελληνικών Ανοικτών Μαθηµάτων Σελίδα 6

20. Κατασκευάστε µια αύξουσα συνάρτηση f : R R µε την εξής ιδιότητα: η f είναι ασυνεχής στο x αν και µόνο αν x Q. 21. Εστω f : [, b] R συνεχής συνάρτηση µε D + ( f )(x) 0 για κάθε x [, b]. είξτε ότι η f είναι αύξουσα. 22. Εστω f : [, b] R συνεχής συνάρτηση. Αν η f (x) υπάρχει για κάθε x (, b) και f (x) M, δείξτε ότι f (x) f (y) M x y για κάθε x, y [, b] και ότι η f είναι απολύτως συνεχής. 23. Εστω E R d µε λ(e) = 0. είξτε ότι υπάρχει µη αρνητική ολοκληρώσιµη f : R d R µε 1 lim inf f (y)dλ(y) = λ(b) 0 λ(b) x B για κάθε x E. B 23. Εστω E R µε λ(e) = 0. είξτε ότι υπάρχει αύξουσα, απολύτως συνεχής f : R R µε D + ( f )(x) = D ( f )(x) = για κάθε x E. 24. Εστω f : R R. είξτε ότι η f ικανοποιεί την συνθήκη Lipschitz f (x) f (y) M x y για κάποια σταθερά M > 0 και για κάθε x, y R αν και µόνο αν η f είναι απολύτως συνεχής και f (x) M σχεδόν για κάθε x. 25. Εστω f : (, b) R κυρτή συνάρτηση. Αποδείξτε τα εξής: (α) Η f είναι συνεχής. (ϐ) Η f είναι Lipschitz συνεχής, άρα και απολύτως συνεχής, σε κάθε κλειστό διάστηµα [γ, δ] (, b). (γ) Η f (x) υπάρχει σε όλα, εκτός από αριθµήσιµα το πλήθος, τα x (, b), η f = D + ( f ) είναι ολοκληρώσιµη, και y f (y) f (x) = f (t)dλ(t) για κάθε x < y στο (, b). (δ) Αντίστροφα, αν η g : (, b) R είναι αύξουσα, τότε για κάθε γ (, b) η f (x) = είναι κυρτή συνάρτηση στο (, b). x x γ g(t)dλ(t) 26. Εστω f : [, b] R συνεχής συνάρτηση. Υποθέτουµε ότι η f (x) υπάρχει για κάθε x (, b) και η f είναι ολοκληρώσιµη. είξτε ότι η f είναι απολύτως συνεχής και f (b) f () = f (x)dλ(x). Εργο: Κεντρικό Μητρώο Ελληνικών Ανοικτών Μαθηµάτων Σελίδα 7