Professional Documents
Culture Documents
Ασκήσεις και Θέματα στη Θεωρία Μέτρου και Ολοκλήρωση/Exercises and Exams in Measure Theory and Integration
Ασκήσεις και Θέματα στη Θεωρία Μέτρου και Ολοκλήρωση/Exercises and Exams in Measure Theory and Integration
Γιάννης Σαραντόπουλος
Αθήνα
12 Ιουνίου 2019
Περιεχόµενα
3 Ολοκλήρωµα Lebesgue 15
3.1 Μερικά Βασικά Αποτελέσµατα . . . . . . . . . . . . . . . . . . 15
3.2 Παραδείγµατα . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.3 Ασκήσεις . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
4 Λυµένες Ασκήσεις 39
4.1 Ακαδηµαϊκό έτος 2016–17 . . . . . . . . . . . . . . . . . . . . 39
4.2 Ακαδηµαϊκό έτος 2015–16 . . . . . . . . . . . . . . . . . . . . 46
4.3 Ακαδηµαϊκό έτος 2014–15 . . . . . . . . . . . . . . . . . . . . 53
4.4 Ακαδηµαϊκό έτος 2013–14 . . . . . . . . . . . . . . . . . . . . 68
4.5 Ακαδηµαϊκό έτος 2012–13 . . . . . . . . . . . . . . . . . . . . 84
4.6 Ακαδηµαϊκό έτος 2011–12 . . . . . . . . . . . . . . . . . . . . 99
4.7 Ακαδηµαϊκό έτος 2010–11 . . . . . . . . . . . . . . . . . . . . 115
4.8 Ακαδηµαϊκό έτος 2009–10 . . . . . . . . . . . . . . . . . . . . 135
iii
iv ΠΕΡΙΕΧΟΜΕΝΑ
Βιβλιογραφία 365
Ευρετήριο 367
Συµβολισµός και Ορολογία
• Αν n ∈ N∗ , n! = 1 · 2 · 3 · · · n,
Είναι 0! := 1.
• B \ A = {x : x ∈ B και x ∈
/ A}– είναι η διαφορά των συνόλων A και B
ή το συµπλήρωµα του A ως προς το B (A και B είναι δύο υποσύνολα
του X ),
i
ii Κεφάλαιο 0. Συµβολισµός και Ορολογία
• Ac = {x ∈ X : x ∈
/ A}– είναι το συµπλήρωµα του A ως προς το X ,
• ℵ0 – ο πληθάριθµος του N
+∞ αν η (an ) δεν είναι άνω ϕραγµένη ,
lim an = −∞ αν η (an ) είναι άνω ϕραγµένη και S = ∅ ,
sup S αν η (an ) είναι άνω ϕραγµένη και S 6= ∅ .
A1 ⊆ A2 ⊆ · · · ⊆ An ⊆ · · · .
A1 ⊇ A2 ⊇ · · · ⊇ An ⊇ · · · .
S∞ T∞
• lim inf n→∞ An = lim An := n=1 k=n Ak –είναι το κατώτερο όριο
της ακολουθίας (An ),
T∞ S∞
• lim supn→∞ An = lim An := n=1 k=n Ak –είναι το ανώτερο όριο της
ακολουθίας (An ).
• m–µέτρο Lebesgue
• B–Borel σ- άλγεβρα.
• σ .π .–σχεδόν παντού,
Pn
• s = k=1 ak χAk –απλή συνάρτηση, όπου a1 < a2 < · · · < an και
A1 , A2 , . . . , An είναι µετρήσιµα σύνολα ξένα ανά δύο,
• f = f + − f − και |f | = f + + f − .
f (x) = o (g(x)) (x → x0 ) .
f (x) = O (g(x)) (x → x0 ) .
f (x) ∼ g(x) (x → x0 ) .
v
+ dm − dm–
R R R
• Rf dm := Rf − Rf είναι το ολοκλήρωµα της f , όπου
ένα τουλάχιστον από τα ολοκληρώµατα R f + dm και R f − dm είναι
R R
R
πεπερασµένο. Λέµε ότι το ολοκλήρωµα R f dm υπάρχει.
Χώρος Μέτρου–Μετρήσιµα
Σύνολα–Μέτρο Lebesgue
1.1 Παραδείγµατα
∞ ∞ ∞
!
[ X X
µ An = µ(An ) ≤ ν(An ) , για κάθε µ ∈ A
n=1 n=1 n=1
και εποµένως
∞ ∞
!
[ X
ν An ≤ ν(An ) .
n=1 n=1
1
2 Κεφάλαιο 1. Χώρος Μέτρου–Μετρήσιµα Σύνολα–Μέτρο Lebesgue
S∞ P∞
Στη συνέχεια ϑα αποδείξουµε ότι ν ( n=1 An ) ≥ n=1 ν(An ). Αυτή η ανισό-
τητα προφανώς ισχύει στην περίπτωση που υπάρχει ένα τουλάχιστον n ∈ N∗ ,
S∞
τέτοιο ώστε ν(An ) = ∞. Πράγµατι, επειδή n=1 An ⊇ An , ϑα είναι
∞ ∞
!
[ X
ν An ≥ ν(An ) = ∞ = ν(An ) .
n=1 n=1
∞ ∞
X 1 1 X 1
m(G) ≤ m rn − 2 , rn + 2 =2 <∞
n n n2
n=1 n=1
Επειδή
∞ ∞
!
[ [
E ∩ [0, 1] = E ∩ [0, 1] ∩ In = (E ∩ [0, 1] ∩ In ) ,
n=1 n=1
4 Κεφάλαιο 1. Χώρος Μέτρου–Μετρήσιµα Σύνολα–Μέτρο Lebesgue
έχουµε
∞
!
1 [
= m(E ∩ [0, 1]) = m (E ∩ [0, 1] ∩ In )
2
n=1
∞
X
≤ m(E ∩ [0, 1] ∩ In )
n=1
X∞
≤ m(E ∩ In )
n=1
∞
1 X m(In )
= m(In ) (m(E ∩ In ) = 2 )
2
n=1
1 P∞
< , ( n=1 m(In ) < 1)
2
m(I)
άτοπο. ΄Αρα, δεν υπάρχει µετρήσιµο σύνολο E ⊂ R µε m(E ∩ I) = 2 για
κάθε διάστηµα I .
Λύση. Το ψηφίο 2 εµφανίζεται στην πρώτη δεκαδική ϑέση µόνο στο διά-
στηµα I1,1 = [0.2, 0.3] που το µήκος του είναι 1/10. Ας σηµειωθεί ότι στο
δεκαδικό ανάπτυγµα το 0.3 = 0.2999 · · · . Για να µην προηγείται το ψηφίο 3
του ψηφίου 2, το ψηφίο 2 µπορεί να εµφανιστεί για πρώτη ϕορά στη δεύτερη
δεκαδική ϑέση µόνο στο καθένα από τα παρακάτω 8 διαστήµατα
I2,1 = [0.02, 0.03], I2,2 = [0.12, 0.13], I2,3 = [0.42, 0.43], . . . , I2,8 = [0.92, 0.93] ,
µήκους 1/102 . Στο n-οστό ϐήµα, για να µην προηγείται το ψηφίο 3 του ψηφίου
2, το ψηφίο 2 µπορεί να εµφανιστεί για πρώτη ϕορά στη n-οστή δεκαδική ϑέση
µόνο στο καθένα από τα 8n−1 διαστήµατα In,k , 1 ≤ k ≤ 8n−1 , µήκους 1/10n .
Τα διαστήµατα In,k είναι τέτοια ώστε τα άκρα τους δεν περιέχουν τα ψηφία 2
1.2 Ασκήσεις 5
όπου τα διαστήµατα In,k (1 ≤ k ≤ 8n−1 ), για κάθε n ∈ N∗ , είναι ξένα ανά δύο
και έχουν µήκος 1/10n . Το S είναι ένα σύνολο Borel µε µέτρο Lebesgue
∞ n−1
8[ ∞ ∞ n−1
X X 8n−1 1 X 4 1 1 1
m(S) = m In,k = = = · = .
10n 10 5 10 1 − 4/5 2
n=1 k=1 n=1 n=1
1.2 Ασκήσεις
1. ΄Εστω (Ω, A, P ) είναι ένας χώρος πιθανότητας, δηλαδή ένας χώρος µέ-
τρου µε P (Ω) = 1. Αν (An ), An ∈ A, είναι ακολουθία µετρήσιµων συνό-
T∞
λων µε P (An ) = 1 για κάθε n ∈ N, να αποδειχθεί ότι P ( n=1 An ) = 1.
m∗ (A ∪ B) + m∗ (A ∩ B) ≤ m∗ (A) + m∗ (B) .
Κεφάλαιο 2
Lebesgue Μετρήσιµες
Συναρτήσεις
2.1 Παραδείγµατα
(ϐʹ) Να αποδειχθεί ότι η ακολουθία (fn ) συγκλίνει σχεδόν παντού στο 0, ισοδύ-
ναµα
m {x ∈ E : lim |fn (x)| > 0} = 0 ,
αν και µόνο αν για κάθε ε > 0 είναι m lim{x ∈ E : |fn (x)| > ε} = 0.
7
8 Κεφάλαιο 2. Lebesgue Μετρήσιµες Συναρτήσεις
Ο ορισµός του ανώτερου ορίου της ακολουθίας (|fn (x)|) συνεπάγεται ότι
sup|fk (x)| ≥ α για κάθε n ∈ N∗ . Τότε υπάρχει N ≥ n, τέτοιο ώστε
k≥n
΄Αρα,
lim {x ∈ E : |fn (x)| ≥ ε} ⊆ x ∈ E : lim |fn (x)| ≥ ε .
΄Εστω τώρα ε = 1 και έστω (fn ) η ακολουθία µη αρνητικών µετρήσιµων
συναρτήσεων µε
1 1
fn = 1 + χ[0,1] + χ(1,2] + 1 − χ(2,3] .
n n
2.1 Παραδείγµατα 9
sgue µετρήσιµο. Επειδή από το (α΄) είναι Ak ⊆ lim x ∈ E : |fn (x)| > k1 ,
από την υπόθεση έπεται ότι m(Ak ) = 0 για κάθε k ∈ N. ΄Οµως η ακολου-
S∞
ϑία (Ak ) είναι αύξουσα, Ak % k=1 Ak = x ∈ E : lim |fn (x)| > 0 και
από γνωστή ιδιότητα του µέτρου
m {x ∈ E : lim |fn (x)| > 0} = lim m(Ak ) = 0 .
k→∞
Τότε, από το (ϐ΄) έπεται ότι η ακολουθία (fn ) συγκλίνει σχεδόν παντού στο
0.
10 Κεφάλαιο 2. Lebesgue Μετρήσιµες Συναρτήσεις
Λύση. ΄Εστω Dn := {x ∈ E : η fn δεν είναι συνεχής στο x}. Από την υπό-
S∞ P∞
ϑεση είναι m (Dn ) = 0. Αν D = n=1 Dn , τότε m(D) ≤ n=1 m(Dn ) = 0.
Εποµένως m(D) = 0. Επειδή οι συναρτήσεις fn είναι συνεχείς στο E \ D και
η ακολουθία (fn ) συγκλίνει οµοιόµορφα στην f στο σύνολο E \ D , η f ϑα
είναι συνεχής στο E \ D . ΄Αρα, η f είναι συνεχής σχεδόν παντού στο E .
(ii) Για κάθε µετρήσιµο σύνολο A ⊂ [a, b], το f (A) είναι µετρήσιµο σύνολο.
Απόδειξη. Το πεδίο τιµών της f είναι κλειστό και ϕραγµένο διάστηµα, έστω
f ([a, b]) = [c, d]. Η συνάρτηση f : [a, b] → [c, d] είναι συνεχής και γνήσια
µονότονη.
(i) ⇒ (ii) Αν το A ⊂ [a, b] είναι µετρήσιµο σύνολο, τότε ως γνωστόν A =
F ∪ N , όπου F ⊂ A είναι ένα Fσ σύνολο και N ⊂ A µε m(N ) = 0. ΄Εστω
F = ∞
S
n=1 Fn , όπου (Fn ) είναι ακολουθία κλειστών υποσυνόλων του [a, b]. Τα
Fn είναι συµπαγή σύνολα. Είναι f (F ) = f ( ∞
S S∞
n=1 Fn ) = n=1 f (Fn ), οπότε
∞
!
[
f (A) = f (F ∪ N ) = f (F ) ∪ f (N ) = f (Fn ) ∪ f (N ) .
n=1
S∞
Τα σύνολα f (Fn ) είναι συµπαγή και εποµένως µετρήσιµα ( n=1 f (Fn ) είναι
ένα Fσ σύνολο ). Επειδή από τη (i) είναι m(f (N )) = 0, το f (N ) είναι ένα
µετρήσιµο σύνολο. ΄Αρα, το f (A) είναι µετρήσιµο σύνολο.
(ii) ⇒ (i) ΄Εστω E ⊂ [a, b], µε m(E) = 0. Τότε το E είναι µετρήσιµο και
από τη (ii) το f (E) ϑα είναι µετρήσιµο σύνολο. Αν υποθέσουµε ότι m(f (E)) >
0, ως γνωστόν υπάρχει µη µετρήσιµο σύνολο V ⊂ f (E)(παραπέµπουµε στο
[17]). Τότε f −1 (V ) ⊂ E και εποµένως m f −1 (V ) = 0. Κατά συνέπεια το
c1 < x1 < c2 , c2 < x2 < c3 , . . . , cn−1 < xn−1 < cn , cn < xn < +∞
και
n
[ n
X n
X n
X
Et = (ck , xk ) , µε m (Et ) = (xk − ck ) = xk − ck .
k=1 k=1 k=1 k=1
Pn
Θα υπολογίσουµε το άθροισµα k=1 xk των ϱιζών της εξίσωσης f (x) = t.
Παρατηρούµε ότι
n n
X P (x) Y
f (x) = t ⇐⇒ ak = tP (x) , όπου P (x) = (x − ck ) .
x − ck
k=1 k=1
΄Οµως
n n n
!
X P (x) X X
ak = tP (x) ⇐⇒ txn − t ck + ak xn−1 + Q(x) = 0 ,
x − ck
k=1 k=1 k=1
2.2 Ασκήσεις
είναι συνεχείς σχεδόν παντού στο R και ότι η g ◦ f δεν είναι συνεχής σε
κανένα σηµείο του R.
∞
[ 1
A= x ∈ E : f (x) ≥ ∩ En ∩ A .
n
n=1
Ολοκλήρωµα Lebesgue
Z b
f 0 (x) dm(x) ≤ f (b) − f (a) . (3.1)
a
f (x + 1/n) − f (x)
fn (x) := ,
1/n
τότε limn→∞ fn (x) = f 0 (x) για κάθε x όπου η f είναι παραγωγίσιµη. Επο-
µένως limn→∞ fn (x) = f 0 (x) σ .π . στο [a, b]. Επειδή fn (x) ≥ 0, για κάθε
15
16 Κεφάλαιο 3. Ολοκλήρωµα Lebesgue
έπεται ότι
Z b Z b+1/n Z b
1
f x+ − f (x) dx = f (x) dx − f (x) dx
a n a+1/n a
Z b+1/n Z a+1/n
= f (x) dx − f (x) dx
b a
Z a+1/n
1
= f (b) − f (x) dx
n a
(επειδή f (x) = f (b) αν b < x ≤ b + 1)
1
≤ [f (b) − f (a)] .
n
΄Αρα,
Z b Z b
1
f 0 (x) dm(x) ≤ sup n f x+ − f (x) dx ≤ f (b) − f (a) .
a n∈N a n
Z b
f 0 (x) dm(x) = 0 < 1 = f (1) − f (0) .
a
3.2 Παραδείγµατα
Z
1
AE (f ) := f dm ,
m(E) E
έχει µέτρο µηδέν. Είναι γνωστό ότι κάθε ανοικτό υποσύνολο του R είναι
ένωση αριθµήσιµου το πλήθος κλειστών και ϕραγµένων διαστηµάτων, µε τα
αντίστοιχα ανοικτά διαστήµατα ξένα ανά δύο. ΄Εστω
∞
[
(−∞, M ) ∪ (M, ∞) = [an , bn ] .
n=1
S∞
Επειδή f −1 ((−∞, M ) ∪ (M, ∞)) = n=1 f −1 ([an , bn ]), αρκεί να αποδείξου-
µε ότι m f −1 ([an , bn ]) = 0, για κάθε n ∈ N∗ . Αν [an , bn ] = [αn −εn , αn +εn ]
και
En = f −1 ([αn − εn , αn + εn ]) = {x ∈ X : αn − εn ≤ f (x) ≤ αn + εn } ,
18 Κεφάλαιο 3. Ολοκλήρωµα Lebesgue
E = {x ∈ X : |f (x)| > M }
m(En+ ) m(En+ )
Z Z
1 1
m(En+ ) ≤ f dm = · f dm ≤ M.
M + 1/n +
En M + 1/n m(En+ ) +
En M + 1/n
και εποµένως
∞
X
m(An ) = m(E) − m ({x ∈ E : |f (x)| ≥ 1}) < ∞ .
n=1
P∞
Επειδή η σειρά n=1 m(An ) συγκλίνει, υπάρχει N ∈ N∗ τέτοιο ώστε
∞
X α
m(An ) < .
2
n=N
Αν
1
E1 := x ∈ E : |f (x)| ≥ ,
N
το E1 είναι µετρήσιµο υποσύνολο του E µε
1
E1 = E \ x ∈ E : 0 < |f (x)| <
N
∞ ∞
[ 1 1 [
=E\ x∈E: ≤ |f (x)| < =E\ An .
n+1 n
n=N n=N
20 Κεφάλαιο 3. Ολοκλήρωµα Lebesgue
Τότε
∞
!
[
m(E1 ) = m(E) − m An
n=N
∞
X α α
= m(E) − m(An ) > α − = .
2 2
n=N
΄Αρα,
Z
α
inf |f | dm : m(E) ≥ α , όπου E ⊆ X µετρήσιµο σύνολο ≥ > 0.
E 2N
p dm
R Z
ln X f
lim = ln f dm . (3.2)
p↓0 p X
΄Οµως
ln(1 + t)
lim = 1, (κανόνας L’Hôpital)
t→0 t
οπότε και
pn − 1) dm
R
ln 1 + X (f
lim R = 1.
n→∞
X (f pn − 1) dm
΄Αρα, από την (3.3) έχουµε ότι
f pn dm
R Z
ln X
lim = ln f dm .
n→∞ pn X
Λύση. Είναι
he cos x ln x + 1 < he−x x + 1 ,
−x
x ≥ 0, h > 0.
h h
R∞
Χρησιµοποιώντας παραγοντική ολοκλήρωση έχουµε 0 he−x (x + 1/h) dx =
R∞
h + 1, δηλαδή το γενικευµένο ολοκλήρωµα 0 he−x (x + 1/h) dx συγκλίνει.
Εποµένως, από το κριτήριο σύγκρισης και το γενικευµένο ολοκλήρωµα
Z ∞
−x 1
he cos x ln x + dx
0 h
ϑα συγκλίνει απόλυτα. Τότε, από γνωστό ϑεώρηµα η συνάρτηση f (x) =
he−x cos x ln (x + 1/h) είναι Lebesgue ολοκληρώσιµη και
Z Z ∞
−x 1 −x 1
he cos x ln x + dm(x) = he cos x ln x + dx .
[0,∞) h 0 h
΄Οµως Z Z ∞
e−x (x + 1) dm(x) = e−x (x + 1) dx = 2
[0,∞) 0
Τέλος, υποθέτουµε ότι το E είναι ένα µετρήσιµο υποσύνολο του R. Από γνωστό
ϑεώρηµα(ϐλέπε [17]) το E = G\N , όπου G είναι ένα Gδ σύνολο και N = G\E
µε m (N ) = 0. Επειδή G = E ∪ N , µε E ∩ N = ∅, είναι
Z Z Z
f dm = f dm + f dm
G E N
και εποµένως
Z Z Z
f dm = f dm − f dm = 0 − 0 = 0 .
E G N
R
΄Αρα E f dm = 0, για κάθε µετρήσιµο υποσύνολο του R. Αυτό όµως συνεπά-
γεται ότι f (x) = 0 σ .π . στο R.
2ος τρόπος. Υποθέτουµε ότι η f δεν ισούται µε το µηδέν σχεδόν παντού στο
R. Τότε µπορούµε να υποθέσουµε ότι υπάρχει µετρήσιµο υποσύνολο E του
R µε 0 < m(E) < ∞, τέτοιο ώστε f (x) > 0, για κάθε x ∈ E (διαφορετικά
ϑεωρούµε τη −f ). Από γνωστό ϑεώρηµα, για κάθε ε > 0 υπάρχει κλειστό
σύνολο F ⊆ E τέτοιο ώστε m(E \ F ) < ε. Αν πάρουµε 0 < ε < m(E), τότε
m(F ) > m(E) − ε > 0. Επειδή, όπως αποδείξαµε προηγουµένως, για κάθε
R
ανοικτό σύνολο G είναι G f dm = 0, έχουµε
Z Z Z
f dm = f dm − f dm = 0 .
F R R\F
΄Ατοπο, επειδή m(F ) > 0 και η f είναι ϑετική στο σύνολο F . ΄Αρα f (x) = 0
σ .π . στο R.
R
Απόδειξη. ΄Εστω f ∈ L1 (E), δηλαδή E |f | dm < ∞. Επειδή En ⊆ E , τότε
ως γνωστόν f ∈ L1 (En ) και
∞ Z
X Z
|f | dm = |f | dm < ∞ .
n=1 En E
P∞ R
Αντίστροφα, υποθέτουµε ότι n=1 En |f | dm < ∞. Τότε,
∞ Z
X ∞ Z
X
|f |χEn dm = |f | dm < ∞ .
n=1 E n=1 En
P∞
Από το ϑεώρηµα Beppo Levi η σειρά n=1 f χEn συγκλίνει σχεδόν παντού
στο E και το άθροισµά της είναι συνάρτηση Lebesgue ολοκληρώσιµη στο E .
P∞ P∞
Επειδή χE = n=1 χEn , έπεται ότι f = f χE = n=1 f χEn , η f ∈ L1 (E).
Επίσης,
Z ∞ Z
X ∞ Z
X
f dm = f χEn dm = f dm .
E n=1 E n=1 En
S∞
Παρατηρούµε ότι τα διαστήµατα In είναι ξένα ανά δύο, µε n=1 In ⊂ (0, 1].
1/x2
Για κάθε x ∈ In είναι cos ≥ cos ((2n + 1/3) π) = 1/2, οπότε
0
2 1 1 2 1 1
|f (x)| ≥ cos
2
− 2x sin 2
≥ cos 2
− 2x ≥ − 2x > 0 .
x x x x x x
Εποµένως,
Z Z
0 1
|f (x)| dm(x) ≥ − 2x dm(x)
In In x
x=((2n−1/3)π)−1/2
= ln x − x2 x=((2n+1/3)π)−1/2
1 6n + 1 6 1
= ln − · 2
.
2 6n − 1 π 36n − 1
Κατά συνέπεια,
Z Z
0
|f (x)| dm(x) ≥ S∞ |f 0 (x)| dm(x)
(0,1] n=1 In
∞ Z
X
= |f 0 (x)| dm(x)
n=1 In
∞ ∞
1 X 6n + 1 6X 1
≥ ln − 2
.
2 6n − 1 π 36n − 1
n=1 n=1
Επειδή
6n+1 2
ln 6n−1 ln 1 + 6n−1
lim 2 = lim 2
n→∞ n→∞
6n−1 6n−1
ln(1 + x) (L’Hôpital) 1
= lim = lim =1
x→0+ x x→0+ 1+x
P∞ 2
και n=1 6n−1 = ∞, από το οριακό κριτήριο σύγκρισης
∞
X 6n + 1
ln = ∞.
6n − 1
n=1
΄Αρα, Z
|f 0 (x)| dm(x) = ∞ .
(0,1]
όπου C είναι το τριαδικό σύνολο Cantor. ∆είξτε ότι η f είναι ασυνεχής στο C
R
και συνεχής στο [0, 1] \ C . Να υπολογιστεί το ολοκλήρωµα [0,1] f dm.
Λύση. ΄Εστω x ∈ C . Επειδή το [0, 1] \ C είναι πυκνό στο [0, 1], υπάρχει
ακολουθία (xn ) σηµείων του [0, 1] \ C τέτοια ώστε limn→∞ xn = x. Από την
υπόθεση είναι f (xn ) = xn + 1, f (x) = x − 1 και εποµένως limn→∞ f (xn ) =
x + 1 6= f (x). ΄Αρα, η f δεν είναι συνεχής στο x ∈ C .
΄Εστω τώρα x ∈ [0, 1] \ C και έστω (xn ) είναι ακολουθία σηµείων του [0, 1],
µε limn→∞ xn = x. Επειδή το [0, 1] \ C είναι ανοικτό σύνολο, υπάρχει ε > 0
τέτοιο ώστε (x − ε, x + ε) ⊆ [0, 1] \ C . Κατά συνέπεια, υπάρχει n0 ∈ N∗
τέτοιο ώστε για κάθε n ≥ n0 το xn ∈ (x − ε, x + ε) ⊆ [0, 1] \ C . Τότε, για
κάθε n ≥ n0 από την υπόθεση είναι f (xn ) = xn + 1. Επειδή f (x) = x + 1,
limn→∞ f (xn ) = x + 1 = f (x). ΄Αρα, η f είναι συνεχής στο x ∈ [0, 1] \ C .
Επειδή m(C) = 0, η f είναι συνεχής σχεδόν παντού στο [0, 1]. ΄Αρα, η f είναι
Riemann ολοκληρώσιµη στο [0, 1] και
Z Z Z 1
3
f (x) dm(x) = (x + 1) dm(x) = (x + 1) dx = .
[0,1] [0,1] 0 2
3.2 Παραδείγµατα 29
∞
X [kx]
f (x) = ,
2k
k=1
όπου [kx] είναι το ακέραιο µέρος του kx. Να αποδειχθεί ότι η f είναι ϕραγ-
µένη, Riemann ολοκληρώσιµη στο [0, 1] και να υπολογιστεί το ολοκλήρωµα
R1
0 f (x) dx.
∞
X k
f (x) ≤ < +∞ .
2k
k=1
Αν
n
X [kx]
fn (x) = ,
2k
k=1
τότε
∞ ∞
X [kx] X k
0 ≤ f (x) − fn (x) = k
≤ .
2 2k
k=n+1 k=n+1
P∞ k)
P∞ k)
Ως γνωστόν η σειρά k=1 (k/2 συγκλίνει, οπότε limn→∞= k=n+1 (k/2
0. Εποµένως limn→∞ fn (x) = f (x) οµοιόµορφα στο [0, 1]. Επειδή κάθε fn
είναι συνεχής σχεδόν παντού στο [0, 1] (είναι ασυνεχής σε ένα αριθµήσιµο
σύνολο), από το παράδειγµα 2.1.2 και η f ϑα είναι συνεχής σχεδόν παντού.
Αποδείξαµε λοιπόν ότι η f είναι ϕραγµένη και συνεχής σχεδόν παντού. ΄Αρα,
η f είναι Riemann ολοκληρώσιµη στο [0, 1] και
Z 1 Z ∞ Z
X 1
f (x) dx = f dm = [kx] dm(x) .
0 [0,1] 2k [0,1]
k=1
έχουµε
Z 1 ∞ k−1 Z
X 1 X
f (x) dx = [kx] dm(x)
2k j j+1
0 k=1 j=0 [ k , k )
∞ k−1
X 1 Xj
=
2k k
k=1 j=0
∞ ∞
X 1 k−1 Xk−1
= = .
2k 2 2k+1
k=1 k=1
Για τον υπολογισµό του αθροίσµατος της σειράς παρατηρούµε ότι µε πα-
P∞ k 1
ϱαγώγιση της γεωµετρικής σειράς k=0 x = 1−x , |x| < 1, προκύπτει ότι
P∞ 1
k=1 kxk−1 = (1−x)2
, |x| < 1. ΄Αρα,
1 ∞ ∞ ∞
k−1
Z X 1 X k 1X 1 1 1 1 1
f (x) dx = = − = 2 − = .
0 2k+1 22 2 k−1 2 2 k 2 (1 − 1/2)2 2 2
k=1 k=1 k=1
3.3 Ασκήσεις
1. Να αποδειχθεί ότι
Z 10 Z 2 √ √
x2 dx = 5 − 3 − 2
(a) [x] dx = 45 (b)
0 0
Z 2π
(c) [sin x] dx = −π ,
0
7. Αν p > 0, τότε
Z ∞ Z ∞
∞X ∞
x −px−nx
X 1
dx = xe dx = .
0 e (1 − e−x )
px
0 (n + p)2
n=0 n=0
32 Κεφάλαιο 3. Ολοκλήρωµα Lebesgue
8. ΄Εστω
∞
X ∞
X
2n x − n + 2−n χ[n−2−n , n] − 2n x − n − 2−n χ[n, n+2−n ] .
f=
n=1 n=1
12. Αν η συνάρτηση f είναι συνεχής στο διάστηµα [0, 1], να αποδειχθεί ότι
∞
X Z 1
k k
lim (1 − t) t f (t ) = f (x) dx .
t→1− 0
k=0
3.3 Ασκήσεις 33
(αʹ) Για κάθε ε > 0 να ϐρεθεί διαµέριση P του διαστήµατος [0, 1], τέτοια
ώστε
U (f, P ) − L(f, P ) < ε .
Εποµένως η f είναι Riemann ολοκληρώσιµη στο [0, 1].
(Το U (f, P ) είναι το άνω άθροισµα και το L(f, P ) είναι το κάτω
άθροισµα της f που αντιστοιχεί στη διαµέριση P .)
Παρατήρηση. Το ότι η f είναι Riemann ολοκληρώσιµη στο [0, 1]
προκύπτει και από το γεγονός ότι η f είναι συνεχής σχεδόν παντού
στο [0, 1].
(ϐʹ) Να αποδειχθεί ότι
Z 1 ∞
X 1
f (x) dx = = 1 − ln 2 .
0 k(k + 1)2k
k=1
14. Υποθέτουµε ότι η f : [0, ∞) → R είναι συνεχής και ότι limx→∞ f (x) =
λ. Τι συµπεραίνετε για το
Z 1
lim f (nx) dx ;
n→∞ 0
lim g (t + hn ) = g(t) .
n→∞
19. Υποθέτουµε ότι η συνάρτηση f είναι συνεχής και ϕραγµένη στο R και ότι
η συνάρτηση g είναι µη αρνητική και ολοκληρώσιµη. Να υπολογιστεί
το Z ∞
lim ng(nx)f (x) dx .
n→∞ −∞
−1/2 −n−1/2
x2 x2
gn (x) = fn (x) 1 + = 1+ .
n n
3.3 Ασκήσεις 35
Υπόδειξη. Ως γνωστόν,
Z π/2 Z π/2
k
sin x dx = cosk x dx
0 0
1·3·5···(2n−1) · π = (2n−1)!! · π
αν k = 2n,
2·4·6···(2n) 2 (2n)!! 2
=
2·4·6···(2n) = (2n)!! αν k = 2n + 1.
1·3·5···(2n+1) (2n+1)!!
P∞
28. ΄Εστω η σειρά n=1 an συγκλίνει απόλυτα και έστω (fn ) µία ακολουθία
µετρήσιµων συναρτήσεων, fn ∈ L1 (R) µε kfn k1 ≤ M < ∞. Αν F (x) :=
P∞
n=1 an fn (x), x ∈ [0, 1], τότε F ∈ L1 [0, 1].
P∞
x/ 1 + n2 x2
29. Να αποδειχθεί ότι η n=1 συγκλίνει σηµειακά αλλά
όχι οµοιόµορφα στο R. Αν
∞
X x
f (x) := ,
1 + n2 x2
n=1
είναι
Z 1 ∞ Z 1
X x
f (x) dx = dx ;
0 1 + n2 x2
n=1 0
n=1
να αποδειχθεί ότι
n Z π
X 1 π2
2 = f (t) sin (n + 1/2) t dt + ,
k2 0 3
k=1
όπου
t2 −2πt
2π sin(t/2) αν 0 < t ≤ π ,
f (t) =
−2 αν t = 0 .
P∞ 2)
(γʹ) Να αποδειχθεί ότι k=1 (1/k = π 2 /6 .
38 Κεφάλαιο 3. Ολοκλήρωµα Lebesgue
για n = 0, 2, 3, 4 . . . ;
Υπόδειξη. Να αποδειχθεί ότι για κάθε n ∈ N είναι
Z 1
fb(n) = f (x)e−2πinx dx = −2πni .
0
(ϐʹ) ΄Εστω k1 < k2 < · · · < kn < · · · γνήσια αύξουσα ακολουθία ϕυσι-
κών αριθµών. Θεωρούµε το σύνολο
Λυµένες Ασκήσεις
1. ΄Εστω (X, M, µ) χώρος µέτρου και έστω {An } ⊂ M. ∆είξτε ότι υπάρχουν
S∞
ξένα ανά δύο σύνολα {En } ⊂ M τέτοια ώστε En ⊂ An µε n=1 En =
S∞
n=1 An . Επίσης δείξτε ότι
∞
X ∞
X
µ(An ) = µ(En ) = µ(En ) ≤ µ(An ) .
n=1 n=1
39
40 Κεφάλαιο 4. Λυµένες Ασκήσεις
∞
!
[
µ En ≤ µ(X) < ∞ .
n=1
΄Οµως τα En είναι ξένα ανά δύο µετρήσιµα υποσύνολα της Fk0 και εποµένως
∞ ∞ ∞
!
[ X X 1
µ En = µ(En ) ≥ = ∞.
k0
n=1 n=1 n=1
7. (αʹ) ∆είξτε ότι υπάρχει ένα Gδ -σύνολο G τέτοιο ώστε G ⊃ Q και m(G) = 0.
Υπόδειξη. Αν Q = {rk : k ∈ N∗ } είναι το σύνολο των ϱητών αριθµών,
ϑεωρείστε τα ανοικτά διαστήµατα
1 1 1 1
Ik,n := rk − k+1
, rk + k+1 , k, n ∈ N∗
2 n 2 n
S∞
και τα ανοικτά σύνολα On = k=1 Ik,n .
(ϐʹ) ∆είξτε ότι το σύνολο P των άρρητων αριθµών στο R είναι ένα Gδ -
σύνολο.
Λύση.
T∞
΄Εστω G := n=1 On . Τότε το G είναι ένα Gδ -σύνολο το οποίο περιέχει
το Q και επιπλέον
∞
!
\ 1
m(G) = m On ≤ m(On ) = , για κάθε n ∈ N∗ .
n
n=1
Εποµένως m(G) = 0.
9. ΄Εστω Q το σύνολο των ϱητών αριθµών στο R. ∆είξτε ότι για κάθε x ∈ R το
όριο limt→0 χQ+t (x) δεν υπάρχει και εποµένως
Επειδή {0, 1} είναι το πεδίο τιµών της f , αν το όριο limt→0 f (t) υπάρχει
ϑα είναι είτε limt→0 f (t) = 0 ή limt→0 f (t) = 1. Θα δείξουµε ότι το όριο
limt→0 f (t) δεν υπάρχει. Αν (ρn ) είναι ακολουθία ϱητών αριθµών και (αn )
είναι ακολουθία άρρητων αριθµών µε limn→∞ ρn = limn→∞ αn = 0, τότε
1 αν x ∈ Q
0
lim f (ρn ) = lim χQ+ρn (x0 ) =
n→∞ n→∞ 0 αν x ∈ R \ Q
0
και
0 αν x ∈ Q
0
lim f (αn ) = lim χQ+αn (x0 ) =
n→∞ n→∞ 1 αν x ∈ R \ Q .
0
Εποµένως limn→∞ f (ρn ) 6= limn→∞ f (αn ) και άρα από την αρχή µεταφο-
ϱάς έπεται ότι το όριο limt→0 f (t) = limt→0 χQ+t (x0 ) δεν υπάρχει.
10. ΄Εστω ο χώρος Lebesgue (R, M, m), έστω B η Borel σ -άλγεβρα και έστω
f : R → R µια Lebesgue µετρήσιµη συνάρτηση. Ορίζουµε τη συνάρτηση
µ : B → [0, ∞] µε µ(A) := m(f −1 (A)). ∆είξτε ότι το µ είναι ένα σ -
αθροιστικό ϑετικό µέτρο στο µετρήσιµο χώρο (R, B).
(ii) ΄Εστω (An ) ακολουθία ξένων ανά δύο Borel µετρήσιµων συνόλων. Ε-
πειδή για m 6= n
τα σύνολα f −1 (An ) είναι ξένα ανά δύο και Lebesgue µετρήσιµα. Επειδή
∞ ∞
!
[ [
−1
f An = f −1 (An ) ,
n=1 n=1
έχουµε
∞ ∞
! !!
[ [
µ An = m f −1 An
n=1 n=1
∞
!
[
−1
=m f (An )
n=1
∞
X ∞
X
= m(f −1 (An )) = µ(An ) .
n=1 n=1
΄Αρα το µ είναι ένα σ -αθροιστικό ϑετικό µέτρο στο µετρήσιµο χώρο (R, B).
Λύση.
P∞ ∗
1. ΄Εστω (An ) αριθµήσιµη οικογένεια υποσυνόλων του R τέτοια ώστε n=1 m (An ) <
∞. Αν
E = {x ∈ R : x ∈ An για άπειρα το πλήθος n} ,
∞ ∞
!
[ X
∗ ∗
0 ≤ m (E) ≤ m Ak ≤ m∗ (Ak ) −−−→ 0 .
n→∞
k=n k=n
΄Αρα, m∗ (E) = 0.
Σηµείωση. Επειδή E = lim An , από το λήµµα Borel–Cantelli είναι γνωστό
ότι m(E) = 0, όπου m είναι το µέτρο Lebesgue.
Λύση. Το
∞
[ 1
U := n, n + n
2
n=1
∞ ∞
!
[ [
U= Jn = In ∩ (0, 1) ⊇ Q ,
n=1 n=1
το σύνολο U είναι πυκνό στο (0, 1). Κάθε Jn είναι διάστηµα(ή το κενό
S∞ S∞ P∞
σύνολο), µε U = n=1 Jn ⊂ n=1 In και m(U ) ≤ n=1 m(In ) < ε.
Εποµένως,
Hn ∈ C . Επειδή
∞ ∞ ∞
!
[ [ [
En = f −1 (Hn ) = f −1 Hn ,
n=1 n=1 n=1
S∞ S∞
όπου n=1 Hn ∈ C , έπεται ότι ∈ A. ΄Αρα, η A := {f −1 (H) : H ∈
n=1 En
C} είναι µια σ -άλγεβρα υποσυνόλων του X .
1. ΄Εστω (Ek )N
k=1 πεπερασµένη οικογένεια µετρήσιµων υποσυνόλων του [0, 1].
Υποθέτουµε η οικογένεια έχει την ιδιότητα ότι κάθε x ∈ [0, 1] ανήκει σε
n
τουλάχιστον n από τα Ek , n ≤ N . ∆είξτε ότι m(Ek ) ≥ N , για κάποια k ,
1 ≤ k ≤ N.
PN
Υπόδειξη. Από την υπόθεση είναι k=1 χEk (x) ≥ n, για κάθε x ∈ [0, 1].
n
Λύση. Με την εις άτοπο απαγωγή. Υποθέτουµε ότι m(Ek ) < N , για κάθε
k , 1 ≤ k ≤ N . Τότε,
Z
n = n · m([0, 1]) = n dm
[0,1]
Z N
X
≤ χEk (x) dm
[0,1] k=1
N Z
X
= χEk (x) dm
k=1 [0,1]
N N
X X n
= m(Ek ) < = n. (άτοπο)
N
k=1 k=1
n
΄Αρα m(Ek ) ≥ N , για κάποια k , 1 ≤ k ≤ N .
2. ∆είξτε ότι Z ∞
e
e−[x] dx = ,
0 e−1
όπου [x] := max{n ∈ Z : n ≤ x} είναι το ακέραιο µέρος του x.
4.2 Ακαδηµαϊκό έτος 2015–16 49
P∞
Υπόδειξη. Αν n ∈ N, τότε n=0 χ[n,n+1) (x) = 1, για κάθε x ≥ 0. Εποµέ-
νως,
Z ∞ Z ∞
∞X
−[x]
e dx = e−[x] χ[n,n+1) (x) dx .
0 0 n=0
Λύση. Είναι
Z ∞ Z ∞
∞X
e−[x] dx = e−[x] χ[n,n+1) (x) dx
0 0 n=0
∞
XZ ∞
= e−[x] χ[n,n+1) (x) dx
n=0 0
X∞ Z ∞
= e−n χ[n,n+1) (x) dx
n=0 0
X∞ Z ∞
−n
= e χ[n,n+1) (x) dx
n=0 0
∞
X 1 e
= e−n = = .
1 − 1/e e−1
n=0
δείξτε ότι Z
lim (|fn − f | + |f | − |fn |) dm = 0 .
n→∞ X
gn := |fn − f | + |f | − |fn | ,
50 Κεφάλαιο 4. Λυµένες Ασκήσεις
∆είξτε ότι Z Z
lim fn dm < lim fn dm .
[0,∞) n→∞ n→∞ [0,∞)
Λύση. Επειδή
∞ αν x = 0
f (x) = lim fn (x) =
n→∞ 0 αν x > 0 ,
Z Z
lim fn dm = 0 < 1 = lim fn dm .
[0,∞) n→∞ n→∞ [0,∞)
Λύση. Επειδή | cos(πx)| < 1 για κάθε x ∈ R \ Z, είναι limn→∞ cosn (πx) =
0 σ .π . στο R(για κάθε x ∈ R \ Z). ΄Εστω fn (x) = f (x) cosn (πx). Ε-
πειδή |fn (x)| ≤ f (x) και η |f | ∈ L1 (R) από το ϑεώρηµα κυριαρχηµένης
σύγκλισης του Lebesgue έχουµε
Z Z Z
lim f (x) cosn (πx) dm(x) = lim fn (x) dm(x) = lim fn (x) dm(x) = 0 .
n→∞ R n→∞ R R n→∞
ZR
R
≤ χE χ(−x,x) − χ(−y,y) dm
ZR h i
= χE χ(−y,−x) + χ(x,y)) dm
R
≤ 2(y − x) = 2|x − y| .
52 Κεφάλαιο 4. Λυµένες Ασκήσεις
Λύση.
4.3 Ακαδηµαϊκό έτος 2014–15 53
n−1
[
F1 = E1 , Fn = En \ Ek , n ≥ 2.
k=1
S∞
Τότε τα σύνολα Fn είναι µετρήσιµα και ξένα ανά δύο µε E = = n=1 En
S∞ ∗
n=1 Fn . Επειδή Fn ⊆ En , είναι m(Fn ) ≤ m(En ) < ∞ για κάθε n ∈ N .
∞
!
[
µ En ≤ µ(X) < ∞ .
n=1
΄Οµως τα En είναι ξένα ανά δύο µετρήσιµα υποσύνολα της Fk0 και εποµένως
∞ ∞ ∞
!
[ X X 1
µ En = µ(En ) ≥ = ∞.
k0
n=1 n=1 n=1
3. (αʹ) ∆είξτε ότι υπάρχει ένα Gδ -σύνολο G τέτοιο ώστε G ⊃ Q και m(G) = 0.
Υπόδειξη. Αν Q = {rk : k ∈ N∗ } είναι το σύνολο των ϱητών αριθµών,
ϑεωρείστε τα ανοικτά διαστήµατα
1 1 1 1
Ik,n := rk − k+1
, rk + k+1 , k, n ∈ N∗
2 n 2 n
S∞
και τα ανοικτά σύνολα On = k=1 Ik,n .
(ϐʹ) ∆είξτε ότι το σύνολο P των άρρητων αριθµών στο R είναι ένα Gδ -
σύνολο.
Λύση.
T∞
΄Εστω G := n=1 On . Τότε το G είναι ένα Gδ -σύνολο το οποίο περιέχει
το Q και επιπλέον
∞
!
\ 1
m(G) = m On ≤ m(On ) = , για κάθε n ∈ N∗ .
n
n=1
Εποµένως m(G) = 0.
∞
!c ∞
[ \
c
P =Q = Fn = Fnc .
n=1 n=1
|fn (x)|χE\A (x) ≤ g(x)χE\A (x) , για κάθε x ∈ E (το A είναι ανεξάρτητο του n) .
5. ΄Εστω Q το σύνολο των ϱητών αριθµών στο R. ∆είξτε ότι για κάθε x ∈ R το
όριο limt→0 χQ+t (x) δεν υπάρχει και εποµένως
Επειδή {0, 1} είναι το πεδίο τιµών της f , αν το όριο limt→0 f (t) υπάρχει
ϑα είναι είτε limt→0 f (t) = 0 ή limt→0 f (t) = 1. Θα δείξουµε ότι το όριο
limt→0 f (t) δεν υπάρχει. Αν (ρn ) είναι ακολουθία ϱητών αριθµών και (αn )
είναι ακολουθία άρρητων αριθµών µε limn→∞ ρn = limn→∞ αn = 0, τότε
1 αν x ∈ Q
0
lim f (ρn ) = lim χQ+ρn (x0 ) =
n→∞ n→∞ 0 αν x ∈ R \ Q
0
και
0 αν x ∈ Q
0
lim f (αn ) = lim χQ+αn (x0 ) =
n→∞ n→∞ 1 αν x ∈ R \ Q .
0
Εποµένως limn→∞ f (ρn ) 6= limn→∞ f (αn ) και άρα από την αρχή µεταφο-
ϱάς έπεται ότι το όριο limt→0 f (t) = limt→0 χQ+t (x0 ) δεν υπάρχει.
6. ΄Εστω ο χώρος Lebesgue (R, M, m), έστω B η Borel σ -άλγεβρα και έστω
f : R → R µια Lebesgue µετρήσιµη συνάρτηση. Ορίζουµε τη συνάρτηση
µ : B → [0, ∞] µε µ(A) := m(f −1 (A)). ∆είξτε ότι το µ είναι ένα σ -
αθροιστικό ϑετικό µέτρο στο µετρήσιµο χώρο (R, B).
(ii) ΄Εστω (An ) ακολουθία ξένων ανά δύο Borel µετρήσιµων συνόλων. Ε-
πειδή για m 6= n
τα σύνολα f −1 (An ) είναι ξένα ανά δύο και Lebesgue µετρήσιµα. Επειδή
∞ ∞
!
[ [
f −1 An = f −1 (An ) ,
n=1 n=1
έχουµε
∞ ∞
! !!
[ [
µ An = m f −1 An
n=1 n=1
∞ ∞ ∞
!
[ X X
=m f −1 (An ) = m(f −1 (An )) = µ(An ) .
n=1 n=1 n=1
΄Αρα το µ είναι ένα σ -αθροιστικό ϑετικό µέτρο στο µετρήσιµο χώρο (R, B).
Λύση.
στη ῾῾2η Σειρά Ασκήσεων στη Θεωρία Μέτρου και Ολοκλήρωση᾿᾿, ακαδ. έτος
2010-11, άσκηση 3.(α΄).
Λύση. Επειδή
Z Z
n · m(An ) ≤ |f | dm ≤ |f | dm = M < ∞ , (ανισότητα Chebyshev)
An E
έχουµε m(An ) ≤ M/n και εποµένως limn→∞ m(An ) = 0. Τότε από την
απόλυτη συνέχεια του ολοκληρώµατος έπεται ότι
Z
lim |f | dm = 0 . (γιατί ;)
n→∞ A
n
΄Οµως Z
0 ≤ n · m(An ) ≤ |f | dm
An
S∞
Επειδή E = n=1 En , όπου τα En είναι ξένα ανά δύο µετρήσιµα σύνολα
µε m(En ) < ∞ για κάθε n ∈ N∗ , η f είναι καλά ορισµένη στο E . Επίσης
η f είναι µετρήσιµη µε f (x) > 0 για κάθε x ∈ E . Είναι
Z ∞
Z X
f dm = cn χEn dm
E E n=1
∞
X Z
= cn χEn dm
n=1 E
X∞
= cn m(En )
n=1
∞
X r
≤ rn = < ∞.
1−r
n=1
΄Αρα, f ∈ L1 (E)
(αʹ) ∆είξτε ότι υπάρχει δ > 0 τέτοιο ώστε η f χ[a, a+δ] ∈ L1 (R).
Λύση.
f (x) − f (a)
f+0 (a) = lim .
x→a+ x−a
και εποµένως
Κατά συνέπεια
Z
|f (x)| dm(x) ≤ |f (a)| + δ(|f+0 (a)| + ε) δ < +∞
[a,a+δ]
(ϐʹ) Υπάρχει n0 ∈ N∗ τέτοιο ώστε για κάθε n ≥ n0 είναι n1 < δ . Τότε για
n ≥ n0 από την (∗) έχουµε
1 1 0
για κάθε x ∈ a, a + , |f (x) − f (a)| < (|f (a)| + ε)
n n +
και εποµένως
Z Z
n f (x) dm(x) − f (a) = n (f (x) − f (a)) dm(x)
[a, a+ 1 ] [a, a+ 1 ]
n n
Z
≤n |f (x) − f (a)| dm(x)
[a, a+ n1 ]
1
≤ (|f+0 (a)| + ε) ,
n
για κάθε n ≥ n0 . ΄Αρα
Z
lim n f (x) dm(x) = f (a) .
n→∞
[a, a+ n1 ]
Λύση. Είναι
και άρα
Z Z
lim fn dm = 1 6= 0 = lim fn dm .
n→∞ [0,1] [0,1] n→∞
και εποµένως
Z
f dm ∈ [0, c] .
X
R
Γενικά δεν είναι X f dm = c, δηλαδή γενικά δεν ισχύει η ισότητα στο
λήµµα Fatou. ΄Εστω για παράδειγµα η ακολουθία
R
Είναι limn→∞ fn = 1 στο (0, 1] και limn→∞ (0,1] fn dm = 2, δηλαδή c = 2.
Εποµένως f = 1 στο (0, 1] και
Z
1 dm = 1 < 2 .
(0,1]
(αʹ) Αν
1
Ap := x ∈ X : f (x) > , p ∈ N∗ ,
p
δείξτε ότι Z
lim
p→∞ X
χX\Ap dm = 0 .
∞
X 1
f= χ , όπου En = [n − 1, n) .
n En
n=1
Λύση.
∞
[
lim Ap = Ap = {x ∈ X : f (x) > 0} = X .
p→∞
p=1
64 Κεφάλαιο 4. Λυµένες Ασκήσεις
Εποµένως η χX\Ap είναι µια ϕθίνουσα ακολουθία µετρήσιµων συ-
ναρτήσεων µε limp→∞ χX\Ap = χ∅ = 0. Επειδή χX\Ap ≤ 1, για
= m(En ∩ AP ) + m(En \ AP )
Z Z
≤ dm + dm
En ∩AP En \AP
Z Z
≤ P f dm + dm (P f > 1 στο AP )
En ∩AP X\AP
Z Z
≤P f dm + χX\AP dm
En X
<P + =
2P 2
και άρα limn→∞ m(En ) = 0.
(γʹ) Είναι m([0, ∞)) = ∞, f > 0 στο [0, ∞) και
Z Z
1 1
f dm = dm = −−−→ 0 .
En [n−1, n) n n n→∞
΄Οµως limn→∞ m(En ) = limn→∞ 1 = 1 6= 0.
4.3 Ακαδηµαϊκό έτος 2014–15 65
= an , για κάθε n ∈ N∗ ,
R
• R fn dm
R
• Rf dm = a.
n n
!
X (−1)k+1 X (−1)k+1
fn = 3a χ[k,k+1) + an − 3a χ[n,n+1)
2k 2k
k=1 k=1
∞
X (−1)k+1 1
= .
2k 3
k=1
Αν
∞
X (−1)k+1
f = 3a χ[k,k+1) ,
2k
k=1
= an , για κάθε n ∈ N∗ ,
R
• R fn dm
R
• Rf dm = a.
8. ΄Εστω η συνάρτηση f : R → R µε
√1 αν x ∈ (0, 1)
x
f (x) =
0 αν x ∈ R \ (0, 1) .
66 Κεφάλαιο 4. Λυµένες Ασκήσεις
gn (x) := f (x − rn ) , x∈R
∞
X
g(x) := 2−n gn (x) , x ∈ R.
n=1
Λύση.
Z ∞ Z 1 Z 1 √
1 1
f (x) dx = √ dx = lim √ dx = 2 − lim 2 = 2 .
−∞ 0 x →0+ x →0+
R
Εποµένως R f dm=2.
(ϐʹ) Είναι
Z Z
gn (x) dm(x) = f (x − rn ) dm(x)
R ZR
= f (x) dm(x) (γνωστό αποτέλεσµα)
R−rn
Z
= f (x) dm(x) = 2
R
4.3 Ακαδηµαϊκό έτος 2014–15 67
και εποµένως
∞
Z (X
Z )
g(x) dm(x) = 2−n gn (x) dm(x)
R R n=1
∞
X Z
−n
= 2 gn (x) dm(x) (γνωστό ϑεώρηµα)
n=1 R
X∞
=2 2−n = 2 .
n=1
R
΄Αρα, η g είναι Lebesgue ολοκληρώσιµη στο R µε R g dm = 2.
68 Κεφάλαιο 4. Λυµένες Ασκήσεις
1. Αν x ∈ R, δείξτε ότι
m
lim lim (cos(n!πx)) = χQ (x) .
n→∞ m→∞
p
Λύση. ΄Εστω x ∈ Q. Τότε x = q µε p ∈ Z και q ∈ N∗ . Για κάθε n ≥ 2q
υπάρχει k ∈ Z τέτοιο ώστε n!πx = 2kπ . Τότε cos(n!πx) = 1 και εποµένως
lim lim (cos(n!πx))m = 1 .
n→∞ m→∞
∆ηλαδή δx0 (E) = χE (x0 ). ∆είξτε ότι το δx0 , γνωστό και σαν µέτρο Dirac
στο x0 , είναι ένα µέτρο πιθανότητας. Ποια υποσύνολα του X έχουν µέτρο
Dirac µηδέν ;
∞
!
[
δx0 En = χS∞ En (x0 )
n=1
n=1
∞
X
= χEn (x0 ) (τα En είναι ξένα ανά δύο)
n=1
X∞
= δx0 (En ) .
n=1
Επίσης δx0 (X) = χX (x0 ) = 1. Εποµένως το δx0 είναι ένα µέτρο πιθανό-
τητας.
3. Αν ένα υποσύνολο του R έχει µέτρο µηδέν, τότε το εσωτερικό του συνόλου
είναι το κενό σύνολο. Ειδικά το µόνο ανοικτό σύνολο που έχει µέτρο µηδέν
είναι το κενό σύνολο. Το αντίστροφο γενικά δεν ισχύει. ∆ώστε παραδείγ-
µατα υποσυνόλων του R που ενώ το εσωτερικό τους είναι το κενό σύνολο,
τα σύνολα έχουν ϑετικό µέτρο.
(ii) ΄Εστω το σύνολο R \ Q του οποίου το εσωτερικό είναι το κενό σύνολο (ως
γνωστόν το σύνολο των ϱητών Q είναι πυκνό στο R). ΄Οµως
Στο n-οστό ϐήµα διαιρούµε καθένα από από τα 99n−1 κλειστά διαστήµατα
σε εκατό ίσα µέρη και αφαιρούµε τα αντίστοιχα διαστήµατα της µορφής
(0.a1 a2 · · · an 22, 0.a1 a2 · · · an 23). ΄Εστω An η ένωση των υπόλοιπων 99n
κλειστών διαστηµάτων µήκους 100−n το καθένα. Είναι
99 n
m(An ) = .
100
T∞
Επειδή A = n=1 An , όπου (An ) είναι ϕθίνουσα ακολουθία συνόλων Borel
µε m(An ) < 1 για κάθε n ∈ N∗ , το A είναι σύνολο Borel µε
99 n
m(A) = lim m(An ) = lim = 0.
n→∞ n→∞ 100
m(A ∩ I) ≥ α`(I) .
(i) ΄Εστω m(Ac ) < ∞. Η απόδειξη ϑα γίνει µε την εις άτοπο απαγωγή.
Υποθέτουµε ότι m(Ac ) > 0. ΄Εστω 0 < ε < 1. Τότε υπάρχει αριθµήσιµη
οικογένεια ανοικτών και ϕραγµένων διαστηµάτων (In ) τέτοια ώστε Ac ⊆
S∞
n=1 In και
∞
X 1−ε
`(In ) < m(Ac ) + m(Ac ) .
ε
n=1
Ισοδύναµα,
∞
X
ε `(In ) < m(Ac ) .
n=1
Επειδή
∞ ∞ ∞
! !
[ [ X
c c c
m(A ) = m A ∩ In =m A ∩ In ≤ m(Ac ∩ In ) ,
n=1 n=1 n=1
έχουµε ότι
∞
X ∞
X
ε `(In ) < m(Ac ) ≤ m(Ac ∩ In ) .
n=1 n=1
Επειδή αυτές οι σειρές έχουν πεπερασµένα αθροίσµατα, υπάρχει τουλάχι-
στον ένα n0 ∈ N∗ τέτοιο ώστε
Πράγµατι, αν
τότε ϑα είχαµε
∞
X ∞
X
ε `(In ) ≥ m(Ac ∩ In )
n=1 n=1
που είναι άτοπο.
Εποµένως, επειδή από την υπόθεση m(A ∩ In0 ) ≥ α`(In0 ), έχουµε ότι
Επειδή
m ((A ∪ (−n, n)c ) ∩ I) ≥ m(A ∩ I) ≥ α`(I) ,
∞ ∞
!
[ X
c c
m(A ) = m A ∩ (−n, n) ≤ m(Ac ∩ (−n, n)) = 0
n=1 n=1
n
!
[ 1
m E\ Ki < ,
n
i=1
S∞ S∞
για κάθε n ∈ N∗ . Αν ορίσουµε Z := E \ i=1 Ki , τότε E = i=1 Ki ∪ Z µε
∞ n
! !
[ [ 1
m(Z) = m E \ Ki ≤m E\ Ki < ,
n
i=1 i=1
∆είξτε ότι
(ϐʹ) Η F είναι από δεξιά συνεχής, δηλαδή F (x+) = limt→x+ F (t) = F (x)
για κάθε x ∈ R.
Λύση.
΄Αρα F (x+) = F (x), δηλαδή η F είναι από δεξιά συνεχής στο x και
αυτό ισχύει για κάθε x ∈ R.
Κατά συνέπεια, !
lim fn (x) = inf sup fk (x) =1
n∈N k≥n
και
lim fn (x) = sup inf fk (x) = 0 .
n∈N k≥n
΄Αρα,
lim fn = χ[0,1] και lim fn = χ .
{ 14 }
(ii) Επειδή
R χ 1 dm = 1
R
Z αν n άρτιος
[0, 4 ] 4
fn dm = R
R R χ 1 , 1 dm =
3
αν n περιττός ,
[4 ] 4
είναι
Z Z
1
lim fn dm = 0 < = lim fn dm
R 4 R Z Z
3
< = lim fn dm < 1 = lim fn dm .
4 R R
Λύση. Επειδή
f (x) − f (0)
lim g(x) = lim = f 0 (0) ,
x→0 x→0 x−0
για ε = 1 υπάρχει δ > 0 τέτοιο ώστε για κάθε x ∈ (−δ, δ), x 6= 0, είναι
|g(x) − f 0 (0)| < 1. Εποµένως για κάθε x ∈ (−δ, δ) είναι |g(x)| < M , όπου
4.4 Ακαδηµαϊκό έτος 2013–14 77
Λύση. Από τον ορισµό της ακολουθίας συναρτήσεων (fn ) είναι προφανές
ότι limn→∞ fn (x) = 0. Επίσης, µε αλλαγή µεταβλητής εύκολα ϕαίνεται ότι
οι fn είναι Riemann ολοκληρώσιµες και ότι
Z Z 1
1
fn dm = f (x) dx .
R n 0
Εποµένως, Z Z
lim fn dm = lim fn dm = 0 .
n→∞ R R n→∞
Η µικρότερη δυνατή συνάρτηση που κυριαρχεί τις (fn ) είναι η g(x) :=
supn∈N∗ fn (x). Επειδή
∞
1 1
Z X Z
g dm = f (x) dx = ∞ ,
R n 0
n=1
78 Κεφάλαιο 4. Λυµένες Ασκήσεις
n3/2 x
fn (x) = .
1 + n2 x2
(i) ∆είξτε ότι η (fn ) συγκλίνει σηµειακά στη µηδενική συνάρτηση στο
[0, 1]. Συγκλίνει η (fn ) οµοιόµορφα στη µηδενική συνάρτηση στο
[0, 1];
(ii) ∆είξτε ότι οι υποθέσεις του ϑεωρήµατος κυριαρχηµένης σύγκλισης
ικανοποιούνται και εποµένως
Z 1 Z 1
lim fn (x) dx = lim fn (x) dx = 0 .
n→+∞ 0 0 n→+∞
R1
(iii) Να υπολογίσετε το ολοκλήρωµα 0 fn (x) dx και να επαληθεύσετε ότι
Z 1
lim fn (x) dx = 0 .
n→+∞ 0
Λύση.
(i) Η (fn ) είναι ακολουθία συνεχών συναρτήσεων στο [0, 1] η οποία συ-
γκλίνει κατά σηµείο στο 0. Επειδή για κάθε n ∈ N∗
√
1 n
fn = −−−−−→ +∞ ,
n 2 n→+∞
t3/2 x
h(t) := , t ∈ [1, +∞) .
1 + t2 x2
Η h είναι παραγωγίσιµη µε
√
0 1 x t(3 − t2 x2 )
h (t) = ,
2 (1 + t2 x2 )2
4.4 Ακαδηµαϊκό έτος 2013–14 79
√
Η h παίρνει τη µέγιστη τιµή της για t = x3 και είναι
√ !
3 33/4
h = √ .
x 4 x
3/4
Εποµένως, αν g(x) := 43√x , x ∈ (0, 1], τότε για κάθε n ∈ N∗
n3/2 x
fn (x) = ≤ g(x) , σχεδόν για κάθε x ∈ [0, 1] .
1 + n2 x2
Επειδή το γενικευµένο ολοκλήρωµα
1 1
33/4 33/4
Z Z
1
g(x) dx = √ dx =
0 4 0 x 2
συγκλίνει, από γνωστό ϑεώρηµα η g ∈ L1 ([0, 1]). ΄Αρα, από το ϑεώ-
ϱηµα κυριαρχηµένης σύγκλισης του Lebesgue
Z 1 Z 1
lim fn (x) dx = lim fn (x) dx = 0 .
n→+∞ 0 0 n→+∞
ln(1 + t2 ) 2t3/2
lim √ = lim = 0, (κανόνας L’Hôpital)
t→+∞ 2 t t→+∞ 1 + t2
είναι Z 1
1
lim fn (x) dx = lim √ ln(1 + n2 ) = 0 .
n→+∞ 0 n→+∞ 2 n
gn := |f |χ{|f |>an } .
΄Οµως
Z Z Z
an m({|f | > an }) = an χ{|f |>an } dm ≤ |f |χ{|f |>an } dm = gn dm ,
E E E
Λύση.
4.4 Ακαδηµαϊκό έτος 2013–14 81
(i) Επειδή
Z 1 Z 1
n 1
x dx = 2x2n+1 dx = ,
0 0 n+1
R
η fn , n ∈ N, είναι Lebesgue ολοκληρώσιµη στο [0, 1] µε [0,1] fn dm =
0. Εποµένως,
∞ Z !
X
fn dm = 0.
n=0 [0,1]
P∞
Είναι n=0 fn (1) = −∞. Αν x ∈ [0, 1), χρησιµοποιώντας τη γεωµε-
τρική σειρά έχουµε
∞
X ∞
X
fn (x) = (xn − 2x2n+1 )
n=0 n=0
X∞ ∞
X
= xn − 2x x2n
n=0 n=0
1 1 1
= − 2x 2
=
1−x 1−x 1+x
και κατά συνέπεια
∞
!
Z Z Z 1
X 1 1
fn (x) dm(x) = dm(x) = dx = ln 2 .
[0,1] [0,1] 1+x 0 1+x
n=0
΄Αρα,
∞ ∞
Z ! Z !
X X
fn dm = 0 6= ln 2 = fn dm .
n=0 [0,1] [0,1] n=0
P ∞ R R
6= [0,1] ( ∞
P
(ii) Επειδή n=0 [0,1] fn dm n=0 fn ) dm, από το ϑεώρηµα
Beppo Levi έπεται ότι
∞ Z !
X
|fn | dm = ∞.
n=0 [0,1]
Z 1 Z 2−1/(n+1)
|fn (x)| dx = (xn − 2x2n+1 ) dx
0 0
Z 1
+ (2x2n+1 − xn ) dx
2−1/(n+1)
1 1 1
= + = .
4(n + 1) 4(n + 1) 2(n + 1)
΄Αρα,
∞ ∞
Z !
X 1X 1
|fn | dm = = ∞.
[0,1] 2 n+1
n=0 n=0
Z ∞ Z T
−t 1
g(t)e dt = g(t)e−t dt .
0 1 − e−T 0
R∞
Εφαρµογή. Να υπολογιστεί το ολοκλήρωµα 0 e−x | sin x| dx.
Εποµένως,
Z ∞ Z ∞
−t
g(t)e dt ≤ M e−t dt = M
0 0
R∞
∆ηλαδή το γενικευµένο ολοκλήρωµα 0 f (t) dt συγκλίνει απόλυτα και από
γνωστό ϑεώρηµα η f είναι Lebesgue ολοκληρώσιµη στο [0, ∞).
4.4 Ακαδηµαϊκό έτος 2013–14 83
(αντικατάσταση t = x + nT )
N
X −1 Z T
= e−nT g(x + nT )e−x dx
n=0 0
1− e−N T T
Z
= g(x)e−x dx .
1 − e−T 0
και άρα
Z ∞ Z T
1
g(t)e−t dt = g(t)e−t dt .
0 1 − e−T 0
Εφαρµογή. Επειδή η y = | sin x| είναι συνεχής και π -περιοδική, από τον
παραπάνω τύπο έχουµε
Z ∞ Z π
−x 1
e | sin x| dx = e−x sin x dx .
0 1 − e−π 0
Rπ
Το ολοκλήρωµα 0 e−x sin x dx υπολογίζεται εύκολα µε παραγοντική ολο-
κλήρωση και είναι
π
1 − e−π
Z
e−x sin x dx = .
0 2
΄Αρα, Z ∞
1
e−x | sin x| dx = .
0 2
84 Κεφάλαιο 4. Λυµένες Ασκήσεις
και
(ii) (−∞, lim an ) ⊆ lim An ⊆ (−∞, lim an ] .
Λύση.
Λύση. (i) ⇒ (ii): Αν A ∈ A µε µ(A) < +∞, τότε A ∩ ∅ = ∅ και από τη (i)
έχουµε
µ(A) = µ(A ∪ ∅) = µ(A) + µ(∅) ⇒ µ(∅) = 0 .
Αν A, B ∈ A, χρησιµοποποιώντας τη (i) έχουµε
οπότε
µ(A) + µ(B) = µ(A ∪ B) .
N N
!
[ X
µ An = µ(An ) , για κάθε N ∈ N∗ .
n=1 n=1
Εποµένως
∞ N N
! !
[ [ X
µ An ≥µ An = µ(An ) , για κάθε N ∈ N∗ .
n=1 n=1 n=1
΄Αρα,
∞ ∞
!
[ X
µ An ≥ µ(An ) .
n=1 n=1
3. ΄Εστω ο µετρήσιµος χώρος (N, P(N)) και έστω ν : P(N) → [0, +∞] µε
0 αν A = ∅
P
1
ν(A) = n2
αν το A είναι πεπερασµένο σύνολο και δεν περιέχει το 0
n∈A
+∞
αν το A είναι απειροσύνολο ή το A περιέχει το 0 .
Λύση.
4.5 Ακαδηµαϊκό έτος 2012–13 87
ενώ
∞
X X 1
ν({n}) = < ∞.
∗
n2
n∈N n=1
∆ηλαδή !
[ X
ν {n} 6= ν({n})
n∈N∗ n∈N∗
Λύση. Επειδή για κάθε n ∈ N∗ είναι Ik+1,n ⊂ Ik,n , η (Ak ) είναι ϕθίνουσα
ακολουθία ανοικτών συνόλων µε µέτρο Lebesgue
∞ ∞ ∞ ∞
!
[ X X 1 1X 1 1
m(Ak ) = m Ik,n ≤ m(Ik,n ) = = = .
k2n k 2n k
n=1 n=1 n=1 n=1
Ta := {A ∈ P(R) : A + a ∈ B} ,
Λύση.
A ∈ Ta ⇔ A + a ∈ B (ορισµός της Ta )
c
⇔ (A + a) ∈ B (B είναι σ-άλγεβρα)
⇔ Ac + a ∈ B ((A + a)c = Ac + a)
⇔ Ac ∈ Ta . (ορισµός της Ta )
∞ ∞
!
[ [
c c
(A + a) = A + a και (An + a) = An + a.
n=1 n=1
τέτοιες ώστε η (sn ) είναι αύξουσα, η (tn ) είναι ϕθίνουσα και limn→∞ sn =
limn→∞ tn = f οµοιόµορφα στο E .
Λύση. Επειδή η συνάρτηση f είναι ϕραγµένη, υπάρχει N ∈ N∗ τέτοιο
ώστε −N < f < N στο E . Για κάθε n ≥ N ϑεωρούµε τη διαµέριση
Pn = y0 , y1 , . . . , ym(n) του [−N, N ] µε
1
kPn k = max {yk − yk−1 : 1 ≤ k ≤ m(n)} < .
n
Αν Ik = [yk − yk−1 ) και
Λύση. Η συνάρτηση
∞
X
f= an χ[n,n+1)
n=1
Z
(lim fn ) dm ≤ M .
E
Λύση.
και εποµένως
Z Z
lim fn dm = sup inf fk dm ≤ M .
E n∈N k≥n E
΄Αρα, f = g σ .π . στο E .
όπου
t n
πt
fn (t) := n 1 − sin χ(0,n) (t) , t ∈ (0, ∞) , n ∈ N∗ .
n n
Η (fn ) είναι ακολουθία συνεχών και µη αρνητικών συναρτήσεων στο (0, ∞).
Επειδή για t ∈ (0, ∞) είναι
πt sin(πt/n) sin u
lim n sin = πt lim = π lim = πt ,
n→∞ n n→∞ πt/n u→∞ u
η (fn ) συγκλίνει κατά σηµείο στη g(t) := e−t πt, t ∈ (0, ∞). Επίσης
t n
πt πt
fn (t) = n 1 − sin χ(0,n) (t) ≤ ne−t · = g(t) , t ∈ (0, ∞)
n n n
και το γενικευµένο ολοκλήρωµα
Z ∞ Z ∞
g(t) dt = π te−t dt
0 0
Z ∞
= −π lim te−t + π e−t dt (παραγοντική ολοκλήρωση)
t→∞ 0
=π
P∞ −α f (nx))
συγκλίνει. Εποµένως, από το ϑεώρηµα Beppo Levi η σειρά n=1 (n
συγκλίνει σχεδόν για κάθε x ∈ R και κατά συνέπεια limn→∞ (n−α f (nx)) =
0 σχεδόν για κάθε x ∈ R.
n o
(αʹ) Να αποδειχθεί ότι {|f | > 2} ⊂
f − χ
An
> 1 και στη συνέχεια
χρησιµοποιώντας την ανισότητα Chebyshev να συµπεράνετε ότι
|f | ≤ 2 σ .π . στο E .
P∞
(δʹ) Αν n=1 m(An 4 A) < ∞, να αποδειχθεί ότι χA n −→ χ A σ .π . στο
E.
Λύση.
(αʹ) Είναι
n o
m({x ∈ E : |f (x)| > 2}) ≤ m x ∈ E : f (x) − χAn (x) > 1
Z
≤ f − χAn dm −−−→ 0 .
E n→∞
(ανισότητα Chebyshev)
έπεται ότι Z
lim χAn − f 2 dm = 0 .
n→∞ E
(γʹ) Επειδή
Z Z
|f − f 2 | dm = f − χAn + χAn − f 2 dm
E
ZE Z
2
≤ χAn − f dm + χAn − f dm
E E
και
Z Z
lim χAn − f dm = lim χAn − f 2 dm = 0 ,
n→∞ E n→∞ E
4.5 Ακαδηµαϊκό έτος 2012–13 97
(δʹ) Επειδή
∞ Z
X ∞ Z
X ∞
X
χ
An − χ A
dm = χAn 4A dm = m(An 4A) < ∞ ,
n=1 E n=1 E n=1
P∞
από το ϑεώρηµα Beppo Levi η σειρά n=1 χA n − χ A συγκλίνει
σ .π . στο E και κατά συνέπεια χAn −→ χA σ .π . στο E .
7. ΄Εστω η συνάρτηση f : R → R µε
sin x
f (x) = χ (x) .
1 + x2 R\Q
Να αποδειχθεί ότι η συνάρτηση f είναι µετρήσιµη, Lebesgue ολοκληρώσι-
µη στο R και να υπολογιστεί το ολοκλήρωµα
Z
f dm .
R
sin x
Λύση. Επειδή m(Q) = 0, αν g(x) = 1+x 2 , είναι f = g σ .π . στο R. ΄Οµως η
∞ ∞ ∞
! !
[ [ [
Bn \ An ⊆ (Bn \ An ) .
n=1 n=1 n=1
Εποµένως,
∞ ∞ ∞ ∞
! !! !
[ [ [ X
µ Bn \ An ≤µ (Bn \ An ) ≤ µ (Bn \ An ) = 0
n=1 n=1 n=1 n=1
S∞
και κατά συνέπεια n=1 En ∈ F0 . ΄Αρα η F0 είναι µία σ -άλγεβρα στο X .
2. ΄Εστω (Ω, A, P ) χώρος πιθανότητας και έστω (An ) µια αριθµήσιµη οικογέ-
νεια ενδεχόµενων.
100 Κεφάλαιο 4. Λυµένες Ασκήσεις
Λύση.
S∞
(αʹ) Αν En := k=n Ak , είναι
∞
\ N
\ ∞
\
Enc := Ack µε Ack & Ack .
k=n k=n k=n
Εποµένως,
∞
!
\
P (Enc ) = P Ack
k=n
N
!
\
= lim P Ack
N →∞
k=n
N
Y
= lim P (Ack ) (τα Ack είναι ανεξάρτητα)
N →∞
k=n
YN
= lim (1 − P (Ak ))
N →∞
k=n
YN
≤ lim e−P (Ak )
N →∞
k=n
N
!
X
= lim exp − P (Ak )
N →∞
k=n
PN
= 0. (limN →∞ k=n P (Ak ) = ∞)
4.6 Ακαδηµαϊκό έτος 2011–12 101
τελικά έχουµε
∞ [
∞
!
\
P lim An = P Ak = lim P (En ) = 1 .
n→∞
n=1 k=n
A1 = A2 = A3 = · · · .
3. (αʹ) ΄Εστω (En ) ακολουθία ξένων ανά δύο µετρήσιµων συνόλων και έστω
A ⊆ R. Να αποδειχθεί ότι
∞ ∞
!!
[ X
∗
m A∩ En = m∗ (A ∩ En ) .
n=1 n=1
Λύση.
102 Κεφάλαιο 4. Λυµένες Ασκήσεις
και εποµένως
∞ ∞
!!
X [
∗ ∗
m (A ∩ En ) ≤ m A∩ En .
n=1 n=1
΄Αρα,
∞ ∞
!
[ X
∗
m An = m∗ (An ) .
n=1 n=1
S∞
(ϐʹ) Αν A = n=1 An , τότε A ∩ Bn = An για κάθε n ∈ N∗ . Εποµένως,
∞ ∞
! !!
[ [
∗ ∗
m An =m A∩ Bn
n=1 n=1
∞
!
[
= m∗ A ∩ Bn (από το (α΄))
n=1
∞
X
= m∗ (An ) .
n=1
1
m∗ (E \ A) ≤ m∗ (E \ An ) < , για κάθε n ∈ N∗ .
n
΄Αρα m∗ (E \ A) = 0 και κατά συνέπεια το σύνολο E \ A είναι Lebesgue
µετρήσιµο. Επειδή E = A ∪ (E \ A), τότε και το E ϑα είναι Lebesgue
µετρήσιµο σύνολο.
µε
Λύση.
Επειδή
An ⊆ Ak ⊆ Gk , ∀k ≥ n ,
Επειδή
∞
[ ∞
[ ∞
[
A= An ⊆ Dn ⊆ Gn ⊆ G
n=1 n=1 n=1
S∞
και m∗ (A) = m(G), έχουµε m ( n=1 Dn ) = m∗ (A). ΄Αρα,
∞ ∞
! !
[ [
∗ ∗ ∗
lim m (An ) = m Dn = m (A) = m An .
n→∞
n=1 n=1
΄Εστω I2,1 και I2,2 τα ανοικτά διαστήµατα µήκους k12 το καθένα µε κέντρα τα
κέντρα των διαστηµάτων J1,1 και J1,2 αντίστοιχα. Θέτουµε E2 = I2,1 ∪ I2,2 .
4.6 Ακαδηµαϊκό έτος 2011–12 105
Λύση.
Πρώτο ϐήµα. Αφαιρώντας από το µέσο 1/2 του [0, 1] ανοικτό διάστηµα
µήκους 1/k , δηλαδή το διάστηµα
1 1 1 1
E1 = I1,1 = − , + ,
2 2k 2 2k
παίρνουµε το σύνολο C1 (k) = J1,1 ∪ J1,2 , όπου
1 1 1 1
J1,1 = 0, − και J1,2 = + ,1 .
2 2k 2 2k
Είναι
1 1 1
` (J1,1 ) = ` (J1,2 ) = 1− > 2.
2 k k
∆εύτερο ϐήµα. Στη συνέχεια αφαιρούµε από τα µέσα των J1,1 και J1,2 τα
ανοικτά διαστήµατα I2,1 και I2,2 αντίστοιχα µήκους 1/k 2 το καθένα. Αν
E2 = I2,1 ∪ I2,2 , τότε προκύπτει το σύνολο C2 (k) = [0, 1] \ (E1 ∪ E2 ) =
S22
i=1 J2,i µε
1 1 2
` (J2,i ) = 2 1 − 1+ .
2 k k
n-οστό ϐήµα. Υποθέτουµε ότι έχουµε κατασκευάσει το σύνολο
n−1
! 2n−1
[ [
Cn−1 (k) = [0, 1] \ Ei = Jn−1,i ,
i=1 i=1
106 Κεφάλαιο 4. Λυµένες Ασκήσεις
Για να αποδείξουµε ότι το µήκος ` (Jn−1,i ) > 1/k n , αρκεί να δείξουµε ότι
n
1 X 2 p−1
< 1.
k k
p=1
Πράγµατι, είναι
n ∞
1 X 2 p−1 1 X 2 p−1 1
< = ≤ 1.
k k k k k−2
p=1 p=1
∞
\
C(k) := Cn (k) .
n=1
Το C(k) είναι ένα συµπαγές σύνολο που δεν περιέχει ανοικτά διαστήµατα.
Επειδή Cn (k) & C(k) µε
2 n n
X 1 X 2 p−1
m (Cn (k)) = `(Jn,i ) = 1 − ,
k k
i=1 p=1
4.6 Ακαδηµαϊκό έτος 2011–12 107
∞
1 X 2 p−1 1 k−3
m (C(k)) = lim m (Cn (k)) = 1 − =1− = .
n→∞ k k k−2 k−2
p=1
fn (x)
lim = 0 , σχεδόν για κάθε x ∈ [0, 1] .
n→∞ an
(i) Αποδείξτε πρώτα ότι lim m({x ∈ [0, 1] : |fn (x)| > k}) = 0 .
k→∞
(ii) Αποδείξτε στη συνέχεια ότι υπάρχει ακολουθία (an ) ϑετικών αριθµών,
τέτοια ώστε
fn (x) 1 1
m x ∈ [0, 1] :
> < n
an n 2
Λύση.
(ii) Το (i) συνεπάγεται ότι για κάθε n ∈ N∗ υπάρχει an > 0 τέτοιο ώστε
1 fn (x) 1
m(En ) < n , όπου En := x ∈ [0, 1] : > .
2 an n
P∞
Τότε n=1 m(En ) < ∞ και από το λήµµα Borel– Cantelli σχεδόν όλα
τα x ∈ [0, 1] ανήκουν σε πεπερασµένα το πολύ En . Εποµένως υπάρχει
108 Κεφάλαιο 4. Λυµένες Ασκήσεις
Λύση. Αν
gn := min fk ,
1≤k≤n
να αποδειχθεί ότι Z
f dm > 0 .
E
4.6 Ακαδηµαϊκό έτος 2011–12 109
Λύση.
(γʹ) Υποθέτουµε ότι υπάρχει g ∈ L1 (R), τέτοια ώστε |fn (x)| ≤ g(x) σχεδόν
παντού στο R. Τότε
Z Z
g(x) dm(x) ≥ |fn (x)| dm(x)
R
ZRn πx
= sin dx
−n n
Z n πx
=2 sin dx
0 n
4n
= , για κάθε n ∈ N∗ . (άτοπο)
π
΄Αρα δεν ισχύει η υπόθεση το ϑεωρήµατος κυριαρχηµένης σύγκλισης
του Lebesgue.
Είναι Z ∞ Z
|f (x)| dx = |f (x)|χ[tn ,∞) (x) dm(x) .
tn R
΄Εστω fn (x) := |f (x)|χ[tn ,∞) (x). Αν An := [tn , ∞), είναι
lim fn (x) = 0 σχεδόν για κάθε x ∈ R και |fn (x)| ≤ |f (x)| ∈ L1 (R) .
n→∞
∞ ∞
Z Z
nF (x)
|Fn (x)| = x(1 + n2 x2 ) dx
−∞ −∞
Z ∞
n
≤c dx (|F (x)| ≤ c|x|)
1 + n2 x2
−∞
= c lim arctan nx − lim arctan nx = cπ
x→∞ x→−∞
112 Κεφάλαιο 4. Λυµένες Ασκήσεις
F (t/n) − F (0) 1 a
lim Gn (t) = lim 2
=
n→∞ n→∞ t/n − 0 1+t 1 + t2
και για κάθε t 6= 0
1
|Gn (t)| ≤ ∈ L1 (R) . (|F (t/n)| ≤ |t|/n)
1 + t2
΄Αρα, από το ϑεώρηµα κυριαρχηµένης σύγκλισης του Lebesgue
Z ∞ Z ∞
nF (x) 1
lim dx = a dt = πa .
n→∞ −∞ x(1 + n2 x2 ) −∞ 1 + t2
sin x
6. Αποδείξτε ότι η συνάρτηση f : (0, ∞) → R µε f (x) = x είναι Lebe-
e −1
sgue ολοκληρώσιµη στο (0, ∞). Στη συνέχεια αποδείξτε τη σχέση
Z ∞
sin x X 1
dm(x) = .
(0,∞) ex − 1 n2 + 1
n=1
Λύση. Για κάθε x > 0 είναι 0 < e−x < 1 και εποµένως
∞ ∞
1 e−x −x
X
−x n
X
e−nx .
= = e e =
ex − 1 1 − e−x
n=0 n=1
΄Αρα,
∞
sin x X
f (x) = x = e−nx sin x , x > 0.
e −1
n=1
4.6 Ακαδηµαϊκό έτος 2011–12 113
Επειδή
Z ∞ Z ∞
x −nx 1 1
xe−nx dx = − lim e + e−nx dx = ,
0 x→∞ n n 0 n2
είναι
∞ Z ∞ ∞ Z ∞ ∞
X
e−nx sin x dx ≤
X
−nx
X 1
xe dx = < ∞.
n2
n=1 0 n=1 0 n=1
΄Αρα,
Z ∞
sin x X 1
dm(x) = .
(0,∞) ex − 1 n2 + 1
n=1
lim kfn − f k1 = 0 .
n→∞
114 Κεφάλαιο 4. Λυµένες Ασκήσεις
Απόδειξη. Είναι
Z Z
|f | dm = lim |fn | dm
A A n→∞ Z
≤ lim inf |fn | dm (λήµµα Fatou)
n→∞ A
≤ ε.
1. ΄Εστω ο χώρος µέτρου (N∗ , P (N∗ ) , µ), όπου µ είναι το αριθµητικό µέτρο.
∆ηλαδή
|A| αν το A είναι πεπερασµένο σύνολο
µ(A) =
∞ αν το A είναι απειροσύνολο ,
1
ν(A) = lim sup µ (A ∩ {1, . . . , n})
n→∞ n
Λύση.
΄Αρα, ν(A) = 0.
116 Κεφάλαιο 4. Λυµένες Ασκήσεις
Sk
(ϐʹ) ΄Εστω τα σύνολα A1 , . . . , Ak ∈ A είναι ξένα ανά δύο . Αν A = i=1 Ai ,
τότε
k
[
A ∩ {1, . . . , n} = Ai ∩ {1, . . . , n}
i=1
και τα σύνολα Ai ∩ {1, . . . , n}, 1 ≤ i ≤ k , είναι ανά δύο ξένα. Εποµέ-
νως,
k
X
|A ∩ {1, . . . , n}| = |Ai ∩ {1, . . . , n}| .
i=1
΄Αρα,
1
ν(A) = lim µ (A ∩ {1, . . . , n})
n→∞ n
1
= lim |A ∩ {1, . . . , n}|
n→∞ n
k
1X
= lim |Ai ∩ {1, . . . , n}|
n→∞ n
i=1
k
X 1
= lim |Ai ∩ {1, . . . , n}|
n→∞ n
i=1
k k
X
X 1
= lim µ (Ai ∩ {1, . . . , n}) = ν(Ai ) .
n→∞ n
i=1 i=1
1 1
ν(An ) = lim µ (An ∩ {1, . . . , n}) = lim =0
n→∞ n n→∞ n
και
1 n
ν(N) = lim µ (N ∩ {1, . . . , n}) = lim = 1.
n→∞ n n→∞ n
P∞
΄Αρα, ν(N∗ ) = 1 6= 0 = n=1 ν(An ).
P∞
(αʹ) Αν µ(A) := n=1 pn µn (A), για κάθε A ∈ M, να αποδειχθεί ότι το
P∞
µ= n=1 pn µn είναι ένα ϑετικό µέτρο στη σ -άλγεβρα M.
Λύση.
(αʹ) Επειδή µn (∅) = 0, για κάθε n ∈ N, από τον ορισµό του µ συνεπάγεται
ότι και µ (∅) = 0. ΄Εστω (Ak ) ακολουθία ξένων ανά δύο στοιχείων της
σ -άλγεβρας M. Τότε,
∞ ∞ ∞
! !
[ X [
µ Ak = p n µn Ak
n=1 n=1 k=1
∞ ∞
!
X X
= pn µn (Ak ) (τα µn είναι ϑετικά µέτρα)
n=1 k=1
∞ ∞
!
X X
= pn µn (Ak )
k=1 n=1
∞
X
= µ(Ak ) .
k=1
P∞
Εποµένως το µ = n=1 pn µn είναι ένα ϑετικό µέτρο στη σ -άλγεβρα
M.
118 Κεφάλαιο 4. Λυµένες Ασκήσεις
P∞
(ϐʹ) Αν µn (X) = 1, για κάθε n ∈ N∗ και n=1 pn = 1, τότε
∞
X ∞
X
µ(X) = pn µn (X) = pn = 1 .
n=1 n=1
P∞
Εποµένως, το µ = n=1 pn µn είναι ένα µέτρο πιθανότητας στη σ -
άλγεβρα M.
(γʹ) Εφαρµογή.
(i) Είναι
Παρόµοια,
= n + (n + 1) = 2n + 1 .
n ∈ N∗ .
4.7 Ακαδηµαϊκό έτος 2010–11 119
(ii) Είναι
n
[ 1 1
Bn = k, k + 1 + 2 = 1, n + 1 + 2
k n
k=1
και
∞
[ 1
B= k, k + 1 + 2 = [1, ∞) .
k
k=1
Εποµένως,
µ1 (B1 ) = 3 , µ2 (B1 ) = 6 .
Αν n ≥ 2, τότε
n+1
X 1
µ1 (Bn ) = δk 1, n + 1 + 2 = 1+ 1+ ···+ 1 = n+1,
n
k=1
n+1
X 1
µ2 (Bn ) = kδk 1, n + 1 + 2
n
k=1
(n + 1)(n + 2)
= 1 + 2 + · · · + (n + 1) =
2
και µ3 (Bn ) = m [1, n + 1 + 1/n2 ] = n + 1/n2 .
Τέλος,
∞
X ∞
X
µ1 (B) = δk ([1, ∞)) = ∞ , µ2 (B) = kδk ([1, ∞)) = ∞
k=1 k=1
3. ΄Εστω (Ω, A, P ) είναι ένας χώρος πιθανότητας, δηλαδή ένας χώρος µέτρου
Pn
µε P (Ω) = 1. Αν A1 , . . . , An ∈ A µε i=1 P (Ai ) > n − 1, να αποδειχθεί
Tn
ότι P ( i=1 Ai ) > 0.
Τότε,
n
X n
X
P (Aci ) = n − P (Ai ) < n − (n − 1) = 1
i=1 i=1
και εποµένως
n n
!
[ X
P Aci ≤ P (Aci ) < 1 .
i=1 i=1
΄Αρα,
n
! n
!c ! n
!
\ \ [
P Ai =1−P Ai =1−P Aci > 1 − 1 = 0.
i=1 i=1 i=1
(αʹ) µ (∅) = 0.
Λύση.
∞ ∞ X
∞ ∞ h ∞
!
[ X X εi X
µ En ≤ f (An,i ) < µ (En ) + = µ (En )+ε .
2n
n=1 n=1 i=1 n=1 n=1
΄Αρα,
∞ ∞
!
[ X
µ En ≤ µ (En ) .
n=1 n=1
5. ΄Εστω (X, M, µ) χώρος µέτρου, έστω E ∈ M µε µ(E) < ∞ και έστω A µια
οικογένεια ξένων ανά δύο µετρήσιµων συνόλων. Για κάθε n ∈ N∗ ορίζουµε
µ(E)
Cn = A ∈ A : µ (A ∩ E) ≥ .
n
C = {A ∈ A : µ (A ∩ E) 6= 0} ,
d1 d3 d2n+1
x= + 3 + · · · + 2n+1 + · · · , µε d2k+1 = 0 ή 1, k ∈ N.
2 2 2
Να αποδειχθεί ότι το A είναι Borel µετρήσιµο και να υπολογιστεί το µέτρο
Lebesgue του A.
A1 ⊃ A2 ⊃ · · · ⊃ An ⊃ · · ·
και
∞
\
A= An
n=1
΄Αρα, το σύνολο A είναι Borel µετρήσιµο και
7. Είναι γνωστό ότι υπάρχει A ∈ M\B , δηλαδή σύνολο A που είναι Lebesgue
και όχι Borel µετρήσιµο, µε m (A) = 0. Επίσης είναι γνωστό ότι υπάρχει
Gδ σύνολο G µε G ⊃ A και m (G) = m (A). ΄Εστω οι συναρτήσεις f = χR
και
1 αν x ∈ R \ G,
g (x) = 1/2 αν x ∈ G \ A,
0 αν x ∈ A .
124 Κεφάλαιο 4. Λυµένες Ασκήσεις
Οι συναρτήσεις fn (t) = t1/n f (t1/n ) είναι συνεχείς στο διάστηµα [0, 1]. Ε-
πειδή η συνεχής συνάρτηση f είναι ϕραγµένη στο διάστηµα [0, 1], έστω
|f (x)| ≤ M για κάθε x ∈ [0, 1], τότε
και
lim fn (t) = lim t1/n f (t1/n ) = f (1) ,
n→∞ n→∞
4.7 Ακαδηµαϊκό έτος 2010–11 125
για κάθε t ∈ (0, 1] (δηλαδή σ .π . στο [0, 1]). ΄Αρα, από το ϑεώρηµα ϕραγµέ-
νης σύγκλισης
Z 1 Z 1
n
lim n x f (x) dx = lim t1/n f (t1/n ) dt
n→∞ 0 n→∞ 0
Z 1
= lim t1/n f (t1/n ) dt = f (1) .
0 n→∞
2ος τρόπος. Ο υπολογισµός του ορίου γίνεται και χωρίς τη χρήση του
ϑεωρήµατος κυριαρχηµένης σύγκλισης του Lebesgue. Παρατηρούµε ότι
Z 1 Z 1
n
n xn f (x) dx = f (1) + n xn (f (x) − f (1)) dx .
0 n+1 0
Εποµένως,
1
Z Z 1
n n n
n x f (x) dx − f (1) = n
x (f (x) − f (1)) dx
0 n+1 0
Z 1
≤n xn |f (x) − f (1)| dx .
0
1
Z
n n
n x f (x) dx − f (1) < ε .
0 n+1
΄Αρα,
Z 1
n
lim n xn f (x) dx = lim f (1) = f (1) .
n→∞ 0 n→∞ n + 1
(ϐʹ) Αν
fn = −nχ(− 1 , 0) + nχ(0, 1 ) ,
n n
R
να αποδειχθεί ότι limn→∞ fn = 0 σ .π . και limn→∞ R fn dm = 0.
R
Είναι limn→∞ R |fn | dm = 0;
Λύση.
(αʹ) Αν
f + fn − |f − fn |
gn := inf {f, fn } = ,
2
4.7 Ακαδηµαϊκό έτος 2010–11 127
΄Αρα,
Z Z Z Z
lim |fn −f | dm = f dm+ lim fn dm−2 lim gn dm = 0 .
n→∞ E E n→∞ E n→∞ E
Z Z Z
|fn | dm = nχ(− 1 ,0) dm + nχ(0, 1 ) dm = 1 + 1 = 2 ,
R R n R n
R
οπότε limn→∞ R |fn | dm 6= 0.
(ϐʹ) Αν
∞
X k
f= χ1 1 ,
ln k [ k , k−1 )
k=2
είναι η f Lebesgue ολοκληρώσιµη στο (0, 1);
Είναι limn→∞ nm ({x ∈ (0, 1) : |f (x)| ≥ n}) = 0;
Υπόδειξη. Αποδείξτε ότι για n ≥ 2 είναι
1
{x ∈ (0, 1) : |f (x)| ≥ n} ⊆ 0, .
n ln n − 1
Λύση.
np χAn ≤ |f |p χAn ≤ |f |p .
(ϐʹ) Επειδή
∞
Z Z !
X k
|f | dm = χ[ 1 , 1 ) dm
(0,1) (0,1) k=2 ln k k k−1
∞ Z
X k
= χ 1 1 dm
ln k (0,1) [ k , k−1 )
k=2
∞ X ∞
X k 1 1 1
= − = = +∞ ,
ln k k − 1 k (k − 1) ln k
k=2 k=2
4.7 Ακαδηµαϊκό έτος 2010–11 129
∞
[ 1 1
(0, 1) = , ,
k k−1
k=2
h
τότε υπάρχει µοναδικό k ≥ 2 µε x ∈ k1 , k−1
1
και lnkk ≥ n. ΄Οµως για
να είναι lnkk ≥ n, µε k, n ≥ 2, ϑα πρέπει να είναι k ≥ n. Πράγµατι,
αν n = 2 τότε για κάθε k ≥ 2 είναι lnkk > 2. Αν n ≥ 3, τότε ln22 < n
και
k
n≤ < k. (για κάθε k ≥ 3)
ln k
Κατά συνέπεια είναι k ≥ n ln n και το
1 1 1 1
x∈ , ⊂ 0, ⊆ 0, .
k k−1 k−1 n ln n − 1
΄Αρα,
n
nm ({x ∈ (0, 1) : |f (x)| ≥ n}) ≤ −−−→ 0 .
n ln n − 1 n→∞
και η ισότητα ισχύει στην (4.4) αν και µόνο αν υπάρχει θ ∈ R, τέτοιο ώστε
f = |f |eiθ σ .π .
130 Κεφάλαιο 4. Λυµένες Ασκήσεις
R
Λύση. Επειδή E f dm ∈ C, E f dm = E f dm eiθ , για κάποιο θ ∈ R.
R R
Εποµένως,
Z Z
f dm = e−iθ
f dm
E E
Z
= f e−iθ dm
ZE
= < f e−iθ dm
ZE Z
−iθ
≤ f e dm = |f | dm .
E E
Η ισότητα ισχύει στην (4.4) αν και µόνο αν
Z Z
Z
−iθ −iθ −iθ
< fe dm = f e dm ⇔ f e − < f e−iθ dm = 0
E E E
⇔ f e−iθ = < f e−iθ σ.π.
και
|1 − hif | − 1
Z Z
lim dm = =f dm .
h→0
h∈R E h E
R
(ϐʹ) Υποθέτουµε ότι m(E) = 1. Αν E |1 + zf | dm ≥ 1 για κάθε z ∈ C,
τότε Z
f dm = 0 .
E
Υπόδειξη. Αν z ∈ C, τότε
|1 + hz| − 1
lim = <z .
h→0
h∈R
h
Λύση.
4.7 Ακαδηµαϊκό έτος 2010–11 131
|1 + hn f | − 1
lim = <f .
n→∞ hn
Επίσης εύκολα διαπιστώνεται ότι
|1 + hn f | − 1
≤ |f | , για κάθε n ∈ N∗ .
hn
R
Επειδή E |f | dm < ∞, από το ϑεώρηµα κυριαρχηµένης σύγκλισης
του Lebesgue
|1 + hf | − 1 |1 + hn f | − 1
Z Z Z
lim dm = lim dm = <f dm .
h→0
h∈R E h n→∞ E hn E
|1 − ihf | − 1
Z Z Z
lim dm = <(−if ) dm = =f dm .
h→0
h∈R E h E E
R
(ϐʹ) Από την υπόθεση έχουµε E |1 + hf | dm ≥ 1 για κάθε h ∈ R. Επειδή
m(E) = 1, είναι
Z Z
(|1 + hf | − 1) dm = |1 + hf | dm − 1 ≥ 0 .
E E
|1 + hf | − 1
Z Z
lim dm = <f dm ≥ 0
h→0+ E h E
και
|1 + hf | − 1
Z Z
lim dm = <f dm ≤ 0 .
h→0− E h E
R
Εποµένως E <f dm = 0.
R
Παρόµοια, από την υπόθεση έχουµε E |1 − hif | dm ≥ 1 για κάθε
h ∈ R. Επειδή m(E) = 1, είναι
Z Z
(|1 − hif | − 1) dm = |1 − hif | dm − 1 ≥ 0 .
E E
132 Κεφάλαιο 4. Λυµένες Ασκήσεις
|1 − hif | − 1
Z Z
lim dm = =f dm ≥ 0
h→0+ E h E
και
|1 − hif | − 1
Z Z
lim dm = =f dm ≤ 0 .
h→0− E h E
R
Εποµένως E =f dm = 0. ΄Αρα,
Z Z Z
f dm = <f dm + i =f dm = 0 .
E E E
6. Να αποδειχθεί ότι
∞
nxα arctan nx ∞ αν α ≥ 1 ,
Z
lim dx =
n→∞ 1 1 + nx2 π αν α < 1 .
2(1−α)
Λύση. ΄Εστω
nxα arctan nx
fn (x) := , x ∈ [1, ∞) , n ∈ N∗ και α ∈ R .
(1 + nx2 )
Εποµένως,
∞ ∞
nxα arctan nx
Z Z
π 1
lim 2
dx = dx
n→∞ 1 1 + nx 2 1 x2−α
(ϑεώρηµα µονότονης σύγκλισης)
∞ αν α ≥ 1 ,
=
π αν α < 1 .
2(1−α)
Εποµένως,
∞ Z
X
fn (x) dm(x) = 0 .
n=1 [0,∞)
P∞ P∞
Είναι n=1 fn (0) = n=1 (a − b) = −∞. Αν x > 0, τότε
∞
X X∞
fn (x) = (ae−nax − be−nbx )
n=1 n=1
∞ ∞
X X e−ax e−bx
=a (e−ax )n − b (e−bx )n = a − b
1 − e−ax 1 − e−bx
n=1 n=1
134 Κεφάλαιο 4. Λυµένες Ασκήσεις
και
∞
!
∞ ∞
e−ax e−bx
Z X Z
fn (x) dx = a −b dx
0 0 1 − e−ax 1 − e−bx
n=1
∞
1 − e−ax
= ln = ln b − ln a .
1 − e−bx 0
Χρησιµοποιήσαµε το γεγονός ότι
αn ≤ µ(Bn ) < α .
S∞ Sn
΄Εστω B = n=1 Bn και Cn = k=1 Bk . Τότε Cn ⊂ A, µ(Cn ) < ∞ και
µ(Cn ) ≤ α .
2. Αν E ⊆ R, να αποδειχθεί ότι
∞ ∞
( )
X [
m∗ (E) = inf (bn − an ) : E ⊆ [an , bn ] ,
n=1 n=1
S∞
Εποµένως E ⊆ n=1 [cn , dn ] µε
∞
X
(dn − cn ) < m∗ (E) + ε
n=1
3. ΄Εστω A ⊂ R µε 0 < m∗ (A) < ∞ και έστω 0 < α < 1. ∆είξτε ότι υπάρχει
ανοικτό διάστηµα I = (a, b), τέτοιο ώστε
Για ε = 1−α ∗
α m (A) έχουµε
∞
X 1−α ∗
`(In ) < m∗ (A) + m (A)
α
n=1
και ισοδύναµα
∞
X
α `(In ) < m∗ (A) .
n=1
Επειδή
∞ ∞
!
[ X
∗ ∗ ∗
m (A) = m (A ∩ G) = m A ∩ In ≤ m∗ (A ∩ In ) ,
n=1 n=1
138 Κεφάλαιο 4. Λυµένες Ασκήσεις
τελικά εχουµε
∞
X ∞
X
∗
α `(In ) < m (A) ≤ m∗ (A ∩ In ) .
n=1 n=1
τότε ϑα είχαµε
∞
X ∞
X
α `(In ) ≥ m∗ (A ∩ In )
n=1 n=1
4. ΄Εστω A και B υποσύνολα του R µε m∗ (A) < ∞ και m∗ (B) < ∞. Τότε,
m(G) < m∗ (A ∪ B) + ε .
4.8 Ακαδηµαϊκό έτος 2009–10 139
= m (G ∩ (G1 ∪ G2 )) + m(G ∩ G1 ∩ G2 )
= m (G ∩ (G1 ∪ G2 )) (m(G ∩ G1 ∩ G2 ) = 0)
≤ m(G) < m∗ (A ∪ B) + ε ,
για κάθε ε > 0 και κατά συνέπεια m∗ (A) + m∗ (B) ≤ m∗ (A ∪ B). ΄Οµως
από γνωστή ιδιότητα του εξωτερικού µέτρου Lebesgue είναι m∗ (A ∪ B) ≤
m∗ (A) + m∗ (B) οπότε η (4.5) ισχύει.
Αντίστροφα, υποθέτουµε ότι η (4.5) ισχύει. Ως γνωστόν υπάρχουν Gδ σύ-
νολα G1 και G2 τέτοια ώστε A ⊆ G1 , B ⊆ G2 και m(G1 ) = m∗ (A),
m(G2 ) = m∗ (B). Θα αποδείξουµε ότι m(G1 ∩ G2 ) = 0. Πράγµατι, αν
υποθέσουµε ότι m(G1 ∩ G2 ) > 0, τότε
m∗ (A ∪ B) = m∗ (A) + m∗ (B)
= m(G1 ) + m(G2 )
= m(G1 ∪ G2 ) + m(G1 ∩ G2 ) (γνωστή ιδιότητα του µέτρου)
> m(G1 ∪ G2 ) ≥ m∗ (A ∪ B) ,
κάθε Q ⊆ E c είναι
m∗ (P ∪ Q) = m∗ ((P ∪ Q) ∩ E) + m∗ ((P ∪ Q) ∩ E c )
= m∗ ((P ∩ E) ∪ (Q ∩ E)) + m∗ ((P ∩ E c ) ∪ (Q ∩ E c ))
= m∗ (P ) + m∗ (Q) .
m∗ (A) = m∗ ((A ∩ E) ∪ (A ∩ E c ))
= m∗ (A ∩ E) + m∗ (A ∩ E c ) . (λόγω της (4.6))
m(A) = 1 .
4.8 Ακαδηµαϊκό έτος 2009–10 141
Λύση. ΄Εστω
∞
\
An = A∞ και m(An ) ≤ m(X) < ∞ .
n=1
Εποµένως,
lim m(An ) = m(A∞ ) = 0 .
n→∞
που είναι άτοπο. ΄Αρα, δεν υπάρχει µετρήσιµο υποσύνολο B του A, τέτοιο
ώστε m (A \ B) < ε και limn→∞ fn = 0 οµοιόµορφα στο B .
2. ΄Εστω f ∈ L1 (E), E ∈ M.
Λύση.
R R
(ϐʹ) Από το (α΄) είναι limn→∞ An |f | dm = E |f | dm. Επειδή
Z Z Z
|f | dm + |f | dm = |f | dm ,
An E\An E
έπεται ότι Z
lim |f | dm = 0 .
n→∞ E\A
n
είναι
f1 ≤ f2 ≤ · · · ≤ fn ≤ · · · ,
έχουµε
Εποµένως,
Z Z Z
|fn | dm ≤ (fn − f1 ) dm + |f1 | dm
E ZE Z E Z
= fn dm − f1 dm + |f1 | dm
ZE Z E E
= fn dm + (|f1 | − f1 ) dm
E Z E
≤ M1 + (|f1 | − f1 ) dm
E
R
και κατά συνέπεια supn∈N E |fn | dm < ∞.
4.8 Ακαδηµαϊκό έτος 2009–10 145
R
(4) ⇒ (1) ΄Εστω M2 := supn∈N E |fn | dm < ∞. Είναι |fn − f1 | ≤ |fn | +
|f1 |, οπότε
Z Z Z Z
|fn − f1 | dm ≤ |fn | dm + |f1 | dm ≤ M2 + |f1 | dm = M3
E E E E
|f − fn | = f − fn ≤ f − f1 ,
4. ∆είξτε ότι
0 αν α > 1 ,
1
Z
nx sin x
lim dx = 1 − cos 1 αν α = 1 ,
n→∞ 0 1 + nα xα
∞
αν α < 1 .
Λύση. ΄Εστω
nx sin x
fn (x) := , x ∈ (0, 1], n ∈ N∗ και α ∈ R.
(1 + nα xα )
(i) α ≥ 1. 1ος τρόπος. Οι fn είναι συνεχείς στο [0, 1] και κατά συνέ-
πεια Riemann ολοκληρώσιµες στο [0, 1]. Εποµένως, οι fn είναι και
Lebesgue ολοκληρώσιµες στο [0, 1] και
Z Z 1
nx sin x nx sin x
dm(x) = dx .
[0,1] 1 + nα xα 0 1 + nα xα
146 Κεφάλαιο 4. Λυµένες Ασκήσεις
nx sin x x sin x
lim fn (x) = lim α α
= lim = 0,
n→∞ n→∞ 1 + n x n→∞ 1/n + nα−1 xα
nx sin x x sin x
lim fn (x) = lim = lim = sin x ,
n→∞ n→∞ 1 + nx n→∞ 1/n + x
nx sin x x sin x
lim fn (x) = lim α α
= lim = ∞,
n→∞ n→∞ 1+n x n→∞ 1/n + nα−1 xα
4.8 Ακαδηµαϊκό έτος 2009–10 147
Λύση. ΄Εχουµε
∞
1 ∞ n−1/2 −u √
Z Z
2n −t2
t e dt = u e du (αντικατάσταση t = u)
0 2 0
1 ∞ (n+1/2)−1 −u
Z
= u e du
2 0
1 1
= Γ n+
2 2
1 1 3 3 1 1
= n− n− ··· · Γ
2 2 2 2 2 2
1 · 3 · · · (2n − 3)(2n − 1) 1
= Γ
2n+1 2
(2n)! √ √
= 2n+1
π. (Γ 21 = π )
2 n!
148 Κεφάλαιο 4. Λυµένες Ασκήσεις
Επειδή
∞ ∞
2 2
X (zt)2n X z 2n 2n −t2
e−t cos zt = e−t (−1)n = (−1)n t e ,
(2n)! (2n)!
n=0 n=0
είναι
∞ Z ∞ ∞
2n |z|2n ∞ 2n −t2
Z
(−1)n z t2n e−t2 dt =
X X
t e dt
(2n)! (2n)! 0
n=0 0 n=0
∞
√ X |z|2n
= π < ∞.
22n+1 n!
n=0
∞ ∞
∞X
z 2n 2n −t2
Z Z
−t2
e cos zt dt = (−1)n
t e dt
0 0 n=0 (2n)!
∞ 2n Z ∞
n z 2
X
= (−1) t2n e−t dt
(2n)! 0
n=0
(ϑεώρηµα Beppo Levi)
√ X ∞
π z 2n
= (−1)n 2n
2 2 n!
n=0
√ X ∞ √
π (−z 2 /4)n π −z 2 /4
= = e .
2 n! 2
n=0
|cosn (1/x)| √
lim √ = lim x |cosn (1/x)| = 0
x→0+ 1/ x x→0 +
4.8 Ακαδηµαϊκό έτος 2009–10 149
R1
και το γενικευµένο ολοκλήρωµα 0 √1x dx = 2 συγκλίνει, από το οριακό
κριτήριο σύγκρισης για γενικευµένα ολοκληρώµατα και το γενικευµένο
R1
ολοκλήρωµα 0 |cosn (1/x)| dx ϑα συγκλίνει. Εποµένως, από γνωστό ϑε-
ώρηµα οι συναρτήσεις fn (x) = cosn (1/x) είναι Lebesgue ολοκληρώσιµες
στο [0, 1] και
Z Z 1
n
cos (1/x) dm(x) = cosn (1/x) dx .
(0,1] 0
Επειδή
|fn (x)| = |cosn (1/x)| ≤ 1, για κάθε x ∈ (0, 1] (δηλαδή σ .π . στο [0, 1])
και
lim fn (x) = lim cosn (1/x) = 0, για κάθε x ∈ (0, 1] (δηλαδή σ .π . στο [0, 1]),
n→∞ n→∞
1. ΄Εστω (X, M, µ) ένας χώρος µέτρου και έστω (An ) ακολουθία µετρήσιµων
συνόλων. Ως γνωστόν
∞ [
\ ∞ ∞ \
[ ∞
lim sup An := Ak και lim inf An := Ak .
n=1 k=n n=1 k=n
Λύση.
T∞
(αʹ) ΄Εστω Bn := k=n Ak . Επειδή Bn ⊆ An , είναι µ(Bn ) ≤ µ(An ) και
κατά συνέπεια
lim inf µ(Bn ) ≤ lim inf µ(An ) .
S∞
Επειδή Bn % n=1 Bn = lim inf An , από γνωστή ιδιότητα του µέτρου
έχουµε
lim µ(Bn ) = µ (lim inf An ) .
n→∞
΄Αρα,
µ (lim inf An ) = lim µ(Bn ) = lim inf µ(Bn ) ≤ lim inf µ(An ) .
(γʹ) Επειδή lim inf An = lim sup An = lim An , από τις (α΄) και (ϐ΄) έχουµε
΄Αρα,
lim µ(An ) = µ (lim An ) .
2. ΄Εστω ο χώρος µέτρου (X, M, µ). Υποθέτουµε ότι για κάθε µετρήσιµο σύ-
νολο E 6= ∅ είναι 0 < µ(E) < ∞. Για κάθε x ∈ X έστω
Λύση.
1
µ(An ) < α(x) + .
n
T∞ T∞
Επειδή x ∈ n=1 An και n=1 An ⊆ An , είναι
∞
!
\ 1
α(x) ≤ µ An ≤ µ(An ) < α(x) + ,
n
n=1
T∞
για κάθε n ∈ N∗ . Εποµένως, α(x) = µ ( n=1 An ). Αν Ax :=
T∞
n=1 An , τότε x ∈ Ax , Ax ∈ M και µ(Ax ) = α(x).
Αν Ax , A0x ∈ M, τέτοια ώστε x ∈ Ax , x ∈ A0x και µ(Ax ) = µ(A0x ) =
α(x), ϑα αποδείξουµε ότι Ax = A0x . Πράγµατι, επειδή Ax ∩ A0x ⊆ Ax ,
είναι µ (Ax ∩ A0x ) ≤ µ(Ax ) και από τον ορισµό της α(x) έπεται ότι
Λύση. Είναι
n n n n n
! ! !
[ [ [ [ [
E∪ Ik = E4 Ik ∪ E ∩ Ik = E4 Ik (E ∩ Ik )
k=1 k=1 k=1 k=1 k=1
και εποµένως
n n n
! !
[ [ X
∗ ∗
m E∪ Ik ≤m E4 Ik + m∗ (E ∩ Ik ) .
k=1 k=1 k=1
n n n
! !
[ [ X
m∗ E∪ Ik = ∞ και m∗ E4 Ik + m∗ (E ∩ Ik ) < ∞ .
k=1 k=1 k=1
m∗ (A ∪ B) + m∗ (A ∩ B) ≤ m∗ (A) + m∗ (B) .
Εποµένως,
m∗ (G1 ) + m∗ (G2 ) < m∗ (A) + m∗ (B) + ε ,
΄Αρα,
m∗ (A ∪ B) + m∗ (A ∩ B) < m∗ (A) + m∗ (B) + ε .
m∗ (A ∪ B) + m∗ (A ∩ B) ≤ m∗ (A) + m∗ (B) .
(αʹ) Αν
f (x) := m∗ (S ∩ (−x, x)) , x ≥ 0,
είναι
και εποµένως
0 ≤ f (y) − f (x) ≤ 2(y − x) .
Αν x > y ≥ 0, παρόµοια έχουµε 0 ≤ f (x) − f (y) ≤ 2(x − y). ΄Αρα,
το πεδίο τιµών της f είναι το κλειστό και ϕραγµένο διάστηµα [0, m∗ (S)].
Από το ϑεώρηµα Bolzano(ή ενδιάµεσης τιµής ), υπάρχει x0 > 0 τέτοιο
ώστε f (x0 ) = m∗ (S)/2. Ισοδύναµα, αν I = (−x0 , x0 ), τότε
1
m∗ (S ∩ I) = m∗ (S) .
2
Επειδή ως γνωστόν κάθε διάστηµα είναι Lebesgue µετρήσιµο σύνολο,
είναι
m∗ (S ∩ I) + m∗ (S ∩ I c ) = m∗ (S)
και εποµένως
1
m∗ (S ∩ I c ) = m∗ (S) − m∗ (S ∩ I) = m∗ (S) .
2
1 4 4 4
= 2 + 3 + ··· + n + ··· .
5 5 5 5
Αν A1 := I1,1 , είναι m(A1 ) = 3/5.
Στο δεύτερο ϐήµα διαιρούµε καθένα από τα διαστήµατα [0, 1/5], [4/5, 1]
σε πέντε ίσα υποδιαστήµατα και αφαιρούµε τα ανοικτά υποδιαστήµατα
I2,1 = (1/25, 4/25), I2,2 = (21/25, 24/25) που είναι ξένα µεταξύ τους και
το καθένα έχει µήκος 3/25 = 3/52 . Αν A2 := I2,1 ∪ I2,2 , είναι m(A2 ) =
2 3/52 .
Λύση. Είναι 0 ≤ f (x) ≤ g(x), για κάθε x ∈ (0, 1] και f (x) = g(x)
σ .π . στο [0, 1]. Η g είναι συνεχής σχεδόν παντού στο [0, 1] και εποµένως
είναι µετρήσιµη συνάρτηση. Επειδή f (x) = g(x) σ .π . στο [0, 1], η f είναι
µετρήσιµη συνάρτηση και έχουµε
Z Z Z
f dm = g dm = S∞ g dm
[0,1] [0,1] −(n+1) , 10−n )
n=0 [10
∞ Z
X
= g dm
−(n+1) , 10−n )
n=0 [10
∞
X 1 1
= n n
− n+1
10 10
n=0
∞ ∞
X 9n X n
= = 9 .
10n+1 10n+1
n=0 n=1
Για τον υπολογισµό του αθροίσµατος της σειράς παρατηρούµε ότι µε πα-
P∞ n 1
ϱαγώγιση της γεωµετρικής σειράς n=0 x |x| < 1, προκύπτει ότι
= 1−x ,
P∞ 1
n=1 nxn−1 = (1−x)2
, |x| < 1. Εποµένως, για x = 1/10 είναι
∞
X n 102
= .
10n−1 92
n=1
΄Αρα,
Z Z ∞
9 X n 1
f dm = g dm = 2 n−1
= .
[0,1] [0,1] 10 10 9
n=1
T∞
Εποµένως m ( n=1 En ) = 0 και κατά συνέπεια
∞
! Z
\
ϕ En = T∞ f dm = 0 .
n=1 n=1 En
΄Αρα,
∞
! Z
\
lim ϕ(En ) = ϕ En = 0 και ισοδύναµα lim f dm = 0 .
n→∞ n→∞ E
n=1 n
4. Να υπολογιστεί το όριο
Z 1
1 + nx
lim dx .
n→∞ 0 (1 + x)n
1+nx
Λύση. Επειδή η ακολουθία συναρτήσεων fn (x) := (1+x) n είναι Riemann
ολοκληρώσιµη στο [0, 1], ϑα είναι και Lebesgue ολοκληρώσιµη στο [0, 1].
Είναι (1 + x)n ≥ 1 + nx, για κάθε x ≥ 0 και εποµένως
Επίσης έχουµε
1 + nx
lim fn (x) = lim
n→∞ n→∞ (1 + x)n
1 + tx
= lim
t→∞ (1 + x)t
x
= lim = 0, (κανόνας L’Hôpital)
t→∞ (1 + x)t ln(1 + x)
P∞ −a e−nx ,
5. ΄Εστω η συνάρτηση f (x) = n=1 xn x ∈ [0, ∞), όπου a ∈ R.
(αʹ) Να ϐρεθούν οι τιµές του a ∈ R για τις οποίες η f είναι συνεχής στο
[0, ∞).
(ϐʹ) Να ϐρεθούν οι τιµές του a ∈ R για τις οποίες η f ∈ L1 [0, ∞) και να
υπολογιστεί το ολοκλήρωµα
Z
f (x) dm(x) .
[0,∞)
(αʹ) Επειδή για κάθε t > 0 είναι e−t < t−1 , έχουµε
Επειδή
xe−x
f (0) = 0 και lim =1
x→0+ 1 − e−x
η f δεν είναι συνεχής στο 0.
΄Αρα, η f είναι συνεχής στο [0, ∞) για a > 0.
(ϐʹ) Είναι
Z ∞
X Z ∞
−a
f (x) dm(x) = n xe−nx dx
[0,∞) n=1 0
∞
1 ∞ −nx
Z
X
−a 1 −nx
= n − lim xe + e dx
n x→∞ n 0
n=1
(παραγοντική ολοκλήρωση)
∞ ∞
X 1 X
= n−a = n−(2+a) .
n2
n=1 n=1
P∞ −(2+a)
Η σειρά n=1 n συγκλίνει αν και µόνο αν a > −1. Εποµένως,
η f ∈ L1 [0, ∞) αν και µόνο αν a > −1 και είναι
Z ∞
X
f (x) dm(x) = n−(2+a) .
[0,∞) n=1
Υπόδειξη. ΄Εστω
m(E4 ) = 0.
΄Αρα αν το limn→∞ E f n dm υπάρχει και είναι πεπερασµένο, τότε
R
Z
lim f n dm = m ({x ∈ E : f (x) = 1}) .
n→∞ E
m(A 4 B) = m (A \ B) + m (B \ A) = 0 .
Λύση.
(αʹ) Είναι
Z Z
χA − χB dm = χA4B dm = m(A 4 B) = d([A], [B]) .
E E
Είναι προφανές ότι d([A], [B]) ≥ 0 και d([A], [B]) = 0 αν και µόνο αν
A ∼ B , δηλαδή [A] = [B]. Επίσης d([A], [B]) = d([B], [A]) και
Z
d([A], [C]) = χA − χC dm
ZE
= χA − χB + χB − χC dm
ZE Z
≤ χA − χB dm + χB − χC dm
E E
(ϐʹ) ΄Εστω
Z
lim d([Am ], [An ]) = lim χAm − χAn dm = 0 .
m,n→∞ m,n→∞ E
4.9 Ακαδηµαϊκό έτος 2008–9 165
έχουµε
n o
m({x ∈ E : |f (x)| > 2}) ≤ m x ∈ E : f (x) − χAn (x) > 1
Z
≤ f − χAn dm −−−→ 0 .
E n→∞
(ανισότητα Chebyshev)
οπότε και Z
lim χAn − f 2 dm = 0 .
n→∞ E
− Επειδή
Z Z
lim χAn − f dm = lim χAn − f 2 dm = 0 ,
n→∞ E n→∞ E
166 Κεφάλαιο 4. Λυµένες Ασκήσεις
και
Z Z
|f − f 2 | dm = f − χ + χ − f 2
dm
An An
E E
Z Z
≤ χAn − f dm + χAn − f 2 dm
E E
Λύση.
X N X
X N
X
µ (A) = 2−k = 2−k = µ (An ) .
k∈
SN
An n=1 k∈An n=1
n=1
∞
X ∞
X
µ ({n}) = 2−n = 2 < ∞ = µ (N) ,
n=0 n=0
X n
X
µ (An ) = 2−k = 2−k .
k∈An k=1
P∞ −k
S∞
Εποµένως limn→∞ µ (An ) = k=1 2 = 1. Επειδή µ ( n=1 An ) =
µ (N∗ ) = ∞, είναι
∞
!
[
µ An 6= lim µ (An ) .
n→∞
n=1
2. Υποθέτουµε ότι (An ) είναι µια ακολουθία µετρήσιµων συνόλων στο χώρο
S∞
µέτρου (X, M, µ), τέτοια ώστε µ ( n=1 An ) < ∞ και inf µ (An ) = α ≥ 0.
n∈N
∆είξτε ότι το σύνολο των σηµείων που ανήκουν σε άπειρο το πλήθος An ,
δηλαδή το lim An , είναι µετρήσιµο και ότι µ lim An ≥ α.
∞ [
\ ∞
lim An = Ak ∈ M .
n=1 k=n
S∞
Αν Bn := k=n Ak , η (Bn ) είναι ακολουθία µετρήσιµων συνόλων µε Bn ⊇
Bn+1 , για κάθε n ∈ N∗ και µ(B1 ) = µ ( ∞
S
k=1 Ak ) < ∞ . Επειδή Bn =
S∞
k=n Ak ⊇ An , ϑα είναι µ(Bn ) ≥ µ(An ) ≥ α και εποµένως
∞
!
\
µ lim An = µ Bn = lim µ(Bn ) ≥ lim µ(An ) ≥ α.
n→∞
n=1
΄Αρα, m∗ (E) = 0.
Σηµείωση. Το αντίστροφο είναι άµεση συνέπεια του λήµµατος των Borel-
P∞ P∞
Cantelli. Πράγµατι, επειδή n=1 m(In ) = n=1 `(In ) < ∞, το σύνολο
των σηµείων που ανήκουν σε άπειρα το πλήθος In έχει µέτρο µηδέν. ΄Αρα,
m(E) = 0.
2 2 4 4 2n 2n
xn = · · · ··· · .
1 3 3 5 2n − 1 2n + 1
S∞
Να αποδειχθεί ότι n=1 En είναι ένα Lebesgue µετρήσιµο σύνολο και να
S∞
υπολογιστεί το m ( n=1 En ).
170 Κεφάλαιο 4. Λυµένες Ασκήσεις
Υπόδειξη. Ως γνωστόν,
(2 · 4 · 6 · · · (2n))2 1 π
lim = . (τύπος του Wallis)
n→∞ (1 · 3 · 5 · · · (2n − 1))2 2n + 1 2
2 2 4 4 2n 2n 2n + 2 2n + 2
xn+1 =· · · ··· · · ·
1 3 3 5 2n − 1 2n + 1 2n + 1 2n + 3
(2n + 2)2
= xn > xn .
(2n + 1)(2n + 3)
S∞
Από τον τύπο του Wallis είναι limn→∞ xn = π/2 και εποµένως n=1 En =
(0, π/2). ∆ηλαδή ∞
S
n=1 En είναι ένα Lebesgue µετρήσιµο σύνολο και
S∞
En % n=1 En . Είναι
∞
!
π [
=m En = lim m(En ) = lim xn .
2 n→∞ n→∞
n=1
5. ΄Εστω S το σύνολο των πραγµατικών αριθµών στο [0, 1], τέτοιο ώστε x ∈ S αν
και µόνο αν στο δεκαδικό ανάπτυγµα του x εµφανίζεται είτε το ψηφίο 2 ή
το ψηφίο 7. Να αποδειχθεί ότι το S είναι κλειστό σύνολο και να υπολογιστεί
το µέτρο Lebesgue του S .
(0, 0.2) , (0.3, 0.7) = (0.3, 0.5) ∪ [0.5, 0.7) και (0.8, 1) .
(0.2, 0.22) , (0.23, 0.27) = (0.23, 0.25) ∪ [0.25, 0.27) , (0.28, 0.3)
(0.7, 0.72) , (0.73, 0.77) = (0.73, 0.75) ∪ [0.75, 0.77) , (0.78, 0.8) .
m(E).
Υπόδειξη.
∞ ∞
! !
[ [
lim m(Fn ) = m Fn =m Ck = m(E) .
n→∞
n=1 k=1
An = A + rn := {x + rn : x ∈ A} ,
∞
όπου (rn )n=1 είναι µια αρίθµηση των ϱητών αριθµών στο διάστηµα [−1, 1].
Ak ∩ An 6= ∅ .
Λύση.
4.10 Ακαδηµαϊκό έτος 2007–8 173
Απόδειξη. ΄Εστω
M = A ⊆ R : f −1 (A) ∈ M ,
3. ΄Εστω
1
fn := χ 2 , για κάθε n ∈ N∗ .
n2 [0, n ]
R
Να αποδειχθεί ότι limn→∞ fn = 0 οµοιόµορφα στο R και ότι R fn dm = 1,
για κάθε n ∈ N∗ . Γιατί δεν εφαρµόζεται το ϑεώρηµα της κυριαρχηµένης
σύγκλισης του Lebesgue, το ϑεώρηµα της ϕραγµένης σύγκλισης και το
ϑεώρηµα της οµοιόµορφης σύγκλισης;
Λύση. Επειδή
1 1
sup |fn (x)| = sup 2 χ[0, n2 ] (x) = 2 −−−→ 0 ,
x∈R x∈R n n n→∞
΄Αρα, Z Z
lim fn dm = 1 6= 0 = lim fn dm .
n→∞ R R n→∞
Το ϑεώρηµα κυριαρχηµένης σύγκλισης του Lebesgue δεν εφαρµόζεται ε-
πειδή δεν υπάρχει συνάρτηση g ∈ L1 (R), τέτοια ώστε |fn (x)| ≤ g(x) σχεδόν
παντού στο R. Παρότι για κάθε x ∈ R είναι |fn (x)| ≤ 1, n ∈ N∗ , το ϑεώ-
ϱηµα της ϕραγµένης σύγκλισης δεν εφαρµόζεται γιατί m(R) = ∞. Για τον
ίδιο λόγο δεν εφαρµόζεται και το ϑεώρηµα της οµοιόµορφης σύγκλισης.
4.10 Ακαδηµαϊκό έτος 2007–8 175
Λύση. Είναι
Z
|x| |x|
Z
1− f (x) dm(x) = 1− f (x)χ[−n,n] (x) dm(x) .
[−n,n] n R n
Αν
|x|
fn (x) := 1 − f (x)χ[−n,n] (x) ,
n
η (fn ) είναι ακολουθία µετρήσιµων συναρτήσεων µε limn→∞ fn (x) = f (x)
και |fn (x)| ≤ |f (x)|, για κάθε x ∈ R. Επειδή f ∈ L1 (R), από το ϑεώρηµα
κυριαρχηµένης σύγκλισης του Lebesgue
|x|
Z Z
lim 1− f (x) dm(x) = lim fn (x) dm(x)
n→∞ [−n,n] n n→∞ R
Z
= f (x) dm(x) .
R
΄Αρα,
Z 1 Z
n
lim | cos(πf (x))| dx = m(A) + lim | cos(πf (x))|n dx
n→∞ 0 n→∞ [0,1]\A
= m(A) .
6. ΄Εστω E ∈ M.
(αʹ) Υποθέτουµε ότι (fn ) είναι µια µονότονη ακολουθία, fn ∈ L1 (E) και
R
ότι η ακολουθία E fn dm είναι ϕραγµένη, δηλαδή
Z
για κάθε n ∈ N∗ .
fn dm ≤ C ,
E
(αʹ) Υποθέτουµε ότι η ακολουθία (fn ) είναι αύξουσα (αν είναι ϕθίνουσα,
τότε ϑεωρούµε την ακολουθία (−fn ) ). ΄Εστω η ακολουθία (gk ), µε
gk := fk − fk−1 , για κάθε k ≥ 2 και g1 := f1 . Επειδή
n
X n
X
|gk | = (fk − fk−1 ) = fn − f1 , n ≥ 2,
k=2 k=2
≤ |f1 | dm + 2C .
E
Εποµένως,
∞ Z
X
|gk | dm < ∞
k=1 E
P∞
και από το ϑεώρηµα Beppo Levi η σειρά k=1 gk (x) συγκλίνει σχεδόν
P∞
παντού στο E . Αν f (x) = k=1 gk (x), τότε f ∈ L1 (E) και
Z ∞ Z
X
f dm = gk dm .
E k=1 E
Pn P∞
΄Οµως fn (x) = k=1 gk (x), οπότε limn→∞ fn (x) = k=1 gk (x) =
f (x) σχεδόν παντού στο E και
Z ∞ Z
X
f dm = gk dm
E k=1 E
n Z
X
= lim gk dm
n→∞ E
k=1
n
Z X Z
= lim gk dm = lim fn dm .
n→∞ E n→∞ E
k=1
178 Κεφάλαιο 4. Λυµένες Ασκήσεις
R
(ϐʹ) Αν fn := n|g|, από την υπόθεση E fn dm = 0. Εποµένως, η ακολου-
ϑία (fn ) είναι αύξουσα µε fn ∈ L1 (E). Από το (α΄) η (fn ) ϑα πρέπει
να συγκλίνει σχεδόν παντού σε µια συνάρτηση f ∈ L1 (E). ΄Οµως η
fn (x) = n|g(x)| δεν συγκλίνει εκτός αν g(x) = 0. ΄Αρα, g(x) = 0
σχεδόν παντού στο E .
Είναι
∞ Z
X ∞ ∞
X Z ∞
e−nx sin ax dx ≤ |a|xe−nx dx
(| sin ax| ≤ |ax|)
n=1 0 n=1 0
X∞ Z ∞
= |a| xe−nx dx
n=1 0
∞ Z ∞
X 1 1
= |a| − lim xe−nx + e −nx
dx
n x→∞ n 0
n=1
(παραγοντική ολοκλήρωση)
∞
X 1
= |a| .
n2
n=1
4.10 Ακαδηµαϊκό έτος 2007–8 179
P∞
1/n2 συγκλίνει οπότε και η σειρά
΄Οµως είναι γνωστό ότι η σειρά n=1
P∞ R ∞
n=1 0 |e−nx sin ax| dx < ∞. Εποµένως, από το ϑεώρηµα Beppo Levi
Z ∞ Z ∞
∞X
sin ax
dx = e−nx sin ax dx
0 ex − 1 0 n=1
∞
XZ ∞
= e−nx sin ax dx (ϑεώρηµα Beppo Levi)
n=1 0
∞ x=R
e−nx
X
= lim − 2 2
(n sin ax + a cos ax)
R→∞ a +n
x=0
n=1
(παραγοντική ολοκλήρωση)
∞
X a
= .
a2 + n2
n=1
180 Κεφάλαιο 4. Λυµένες Ασκήσεις
Σ = {E ⊆ X : το E ή το E c είναι αριθµήσιµο}
∞ ∞
!
X [
µ(En ) = µ(En0 ) = 1 = µ En .
n=1 n=1
2. Να κατασκευαστεί ένα υποσύνολο A του [0, 1], µε τον ίδιο τρόπο που κατα-
σκευάζεται το τριαδικό σύνολο του Cantor, όµως στο n-οστό ϐήµα για την
κατασκευή του An αφαιρείται από κάθε διάστηµα του An−1 ένα ανοικτό
υποδιάστηµα που έχει το ίδιο µέσο µε το διάστηµα και του οποίου το µήκος
T∞
είναι θn - ϕορές το µήκος του διαστήµατος, 0 < θn < 1. Αν A = n=1 An ,
Q∞
να αποδειχθεί ότι m(A) = k=1 (1 − θk ) και να συµπεράνετε ότι m(A) = 0
P∞
αν και µόνο αν k=1 θk = ∞.
Στη συνέχεια αφαιρούµε από τα µέσα των δύο κλειστών διαστηµάτων ανοι-
κτά υποδιαστήµατα µήκους 1−θ2 θ2 το καθένα. ΄Εστω A2 είναι το σύνολο
1
1
(1 − θ1 )(1 − θ2 ) .
22
Υποθέτουµε τώρα ότι το An−1 αποτελείται από 2n−1 ξένα ανά δύο κλειστά
182 Κεφάλαιο 4. Λυµένες Ασκήσεις
n−1
Y 1
(1 − θk )
2n−1
k=1
Qn−1
και εποµένως m(An−1 ) = k=1 (1 − θk ). Αφαιρούµε στη συνέχεια από
κάθε κλειστό διάστηµα ένα ανοικτό υποδιάστηµα που έχει το ίδιο µέσο µε
Qn−1 1
το διάστηµα και του οποίου το µήκος είναι k=1 2n−1 (1 − θk )θn . ΄Εστω An
είναι το σύνολο που αποµένει. Τότε An−1 ⊃ An και
n−1
"n−1 # n
Y Y Y
m(An ) = (1 − θk ) − (1 − θk ) θn = (1 − θk ) .
k=1 k=1 k=1
T∞
Αν A = n=1 An , τότε το A είναι συµπαγές επειδή είναι τοµή συµπαγών
Q∞
συνόλων. Επειδή An & A, είναι m(A) = limn→∞ m(An ) = k=1 (1 − θk ).
∆ηλαδή το άπειρο γινόµενο
∞
Y N
Y
(1 − θk ) = lim (1 − θk ) συγκλίνει.
N →∞
k=1 k=1
QN
Το όριο limN →∞ − θk ) υπάρχει και είναι διάφορο του µηδενός
k=1 (1
P∞
αν και µόνο αν η σειρά k=1 ln(1 − θk ) συγκλίνει. Η τελευταία σειρά
P∞
συγκλίνει αν και µόνο αν η σειρά k=1 θk συγκλίνει (πρέπει limk→∞ θk =
0, διαφορετικά οι σειρές αποκλίνουν). Πράγµατι, επειδή
− ln(1 − x)
lim = 1,
x→0+ x
από το κριτήριο σύγκρισης οι σειρές είτε συγκλίνουν ή αποκλίνουν ταυτό-
P∞
χρονα. ΄Αρα, m(A) = 0 αν και µόνο αν k=1 θk = ∞.
∞
[
S = [0, 1] \ (an , bn ) .
n=1
Επειδή
1 1 1
m ([0, 1] \ S) = + 9 2 + · · · + 9n−1 n + · · ·
10 10 10
∞ n
1 X 9 1 1
= = = 1,
10 10 10 1 − 9/10
n=0
είναι m(S) = 0.
A + B := {x + y : x ∈ A, y ∈ B} = R .
S
Υπόδειξη. A = n∈Z (C + n) και B = C .
Εποµένως, αν δύο υποσύνολα του R έχουν µέτρο Lebesgue µηδέν, τότε δεν
συνεπάγεται ότι και το άθροισµά τους ϑα έχει µέτρο µηδέν.
Λύση.
184 Κεφάλαιο 4. Λυµένες Ασκήσεις
P∞ xn P∞ yn
(αʹ) Αν x, y ∈ C , τότε x = n=1 3n και y = n=1 3n µε xn , yn ∈ {0, 2}.
Εποµένως
∞
X (xn + yn )/2
x+y =2 , µε (xn + yn )/2 ∈ {0, 1, 2} .
3n
n=1
Αν τώρα a ∈ [0, 2], είναι a = 2t για κάποιο t ∈ [0, 1] και στο τριαδικό
P∞ tn
σύστηµα a = 2 n=1 3n , µε tn ∈ {0, 1, 2}. ΄Αρα, C + C = [0, 2].
5. Είναι
[ [ [
A+B = ((C + n) + C) = ((C + C) + n) = ([0, 2] + n) = R .
n∈Z n∈Z n∈Z
Εποµένως,
∞
!!
[
m∗ (f (N )) = m∗ f N ∩ [−n, n]
n=1
∞
!
[
∗
=m f (N ∩ [−n, n])
n=1
∞
X
≤ m∗ (f (N ∩ [−n, n])) = 0.
n=1
4.11 Ακαδηµαϊκό έτος 2004–5 185
m∗ (A ∪ B) = m∗ (B \ A) = m∗ (B) .
Λύση.
(αʹ) Είναι
m∗ (B ∩ A) ≤ m∗ (B ∩ (A \ A1 )) + m∗ (B ∩ A1 )
≤ m∗ (A \ A1 ) + m∗ (B ∩ A1 ) = m∗ (B ∩ A1 ) .
B \ A1 = (B ∩ (A \ A1 )) ∪ (B \ A) ,
186 Κεφάλαιο 4. Λυµένες Ασκήσεις
έχουµε
m∗ (B \ A1 ) ≤ m∗ (B ∩ (A \ A1 )) + m∗ (B \ A)
≤ m∗ (A \ A1 ) + m∗ (B \ A) = m∗ (B \ A) .
m∗ (B) = m∗ (B \ A1 ) + m∗ (B ∩ A1 ) = m∗ (B \ A) + m∗ (B ∩ A) ,
8. (αʹ) ΄Εστω En = (xn , a), όπου xn+1 = 12 xn + xan µε x0 = a > 1. Να
S∞
αποδειχθεί ότι n=1 En είναι ένα Lebesgue µετρήσιµο σύνολο και να
S∞
υπολογιστεί το m ( n=1 En ).
(ϐʹ) ΄Εστω
1α + 2α + · · · + (n − 1)α
Fn = , 1 , α > 0.
nα+1
T∞
Να αποδειχθεί ότι n=1 Fn είναι ένα Lebesgue µετρήσιµο σύνολο και
T∞
να υπολογιστεί το m ( n=1 Fn ).
Λύση.
√
(αʹ) Επαγωγικά αποδεικνύεται ότι xn > a, για κάθε n ∈ N και ότι
η ακολουθία (xn ) είναι γνήσια ϕθίνουσα. Εποµένως η
ακολουθία
(xn ) συγκλίνει. Αν limn→∞ xn = l, από την xn+1 = 2 xn + xan
1
√
προκύπτει ότι l = 21 l + al και ισοδύναµα l = ± a. Επειδή xn >
√ √
a, είναι limn→∞ xn = l = a.
S∞ √
= ( a, a), δηλαδή η ∞
S
Εποµένως n=1 En n=1 En είναι ένα Lebe-
S∞
sgue µετρήσιµο σύνολο και En % n=1 En . Είναι
∞
!
√ [
a− a=m En = lim m(En ) = lim (a − xn ) .
n→∞ n→∞
n=1
4.11 Ακαδηµαϊκό έτος 2004–5 187
Z 1
1
L (f, Pn ) < xα dx =
0 α+1
και από τη ϑεωρία του ολοκληρώµατος Riemann
1α + 2α + · · · + (n − 1)α
lim L (f, Pn ) = lim
n→∞ n→∞ nα+1
n−1
1X k
= lim f
n→∞ n n
k=0
Z 1
1
= xα dx = .
0 α+1
T∞ h
1
Εποµένως, n=1 Fn = α+1 , 1 είναι ένα Lebesgue µετρήσιµο σύνο-
T∞
λο µε m ( n=1 Fn ) = 1 − 1/(α + 1) = α/(α + 1).
Λύση. Επειδή οι συναρτήσεις g(x) = lim sup fn (x), h(x) = lim inf fn (x)
είναι µετρήσιµες και η διαφορά τους ϑα είναι µετρήσιµη συνάρτηση. Τότε
όµως
Λύση.
Λύση.
R
4. ΄Εστω η συνάρτηση f : E → [0, ∞] είναι µετρήσιµη, E ∈ M. Αν E f dm <
∞, χρησιµοποιώντας την ανισότητα Chebyshev δείξτε ότι f < ∞ σ .π . στο
E.
Λύση. Αν En := {x ∈ E : f (x) ≥ n}, n ∈ N∗ , τα En είναι µετρήσιµα
σύνολα. Επίσης
∞
\
{x ∈ E : f (x) = ∞} = En και E1 ⊇ E2 ⊇ · · · ⊇ En ⊇ · · · .
n=1
Λύση.
R
6. ΄Εστω η συνάρτηση f : R → [0, ∞] είναι µετρήσιµη µε [0, ∞) f dm < ∞.
Ο µετασχηµατισµός Laplace της f ορίζεται ως εξής
Z
F (t) := e−tx f (x) dm(x) , t ≥ 0.
[0, ∞)
η F είναι µη-αρνητική και ϕραγµένη στο [0, ∞). Για να αποδείξουµε ότι η
F είναι συνεχής και ότι limt→∞ F (t) = 0, µπορούµε να χρησιµοποιήσου-
µε είτε το ϑεώρηµα µονότονης σύγκλισης ή το ϑεώρηµα κυριαρχηµένης
σύγκλισης του Lebesgue.
d(x, Gc )
0< < 1.
1 + d(x, Gc )
΄Αρα
Z
sup f dm : 0 ≤ f ≤ χG και η f είναι συνεχής = m(G) .
R
4.11 Ακαδηµαϊκό έτος 2004–5 195
και εποµένως
Z
inf f dm : f ≥ χF και η f είναι συνεχής ≥ m(F ) .
R
d(x, Gc )
g(x) := .
d(x, Gc ) + d(x, F )
= g dm
G
Z
≤ 1 dm = m(G) < m(F ) + ε .
G
΄Αρα
Z
inf f dm : f ≥ χF και η f είναι συνεχής = m(F ) .
R
196 Κεφάλαιο 4. Λυµένες Ασκήσεις
Για κάθε x ∈ E1 και για κάθε n ∈ N∗ είναι fn (x) ≥ g(x), οπότε και
lim inf fn (x) ≥ g(x). Επειδή η g ∈ L1 (E1 ), από γνωστή πρόταση
Z Z Z
lim inf fn dm − g dm = (lim inf fn − g) dm
E1 E1 E1
Z
= lim inf (fn − g) dm
E1
Z
≤ lim inf (fn − g) dm
E1
Z Z
= lim inf fn dm − g dm .
E1 E1
R
΄Οµως E g dm < ∞ και η παραπάνω ανισότητα συνεπάγεται ότι
1
Z Z
lim inf fn dm ≤ lim inf fn dm .
E1 E1
R R
Επειδή m (E \ E1 ) = 0, είναι E\E lim inf fn dm = 0 = E\E fn dm. Η
1 1
υπόθεση fn (x) ≥ g(x), σ .π . στο E , για κάθε n ∈ N∗ συνεπάγεται ότι
lim inf fn (x) ≥ g(x), σ .π ., µε g ∈ L1 (E). Τότε όµως τα ολοκληρώµατα
4.11 Ακαδηµαϊκό έτος 2004–5 197
R R
E fn dm και E lim inf fn dm υπάρχουν (γιατί;) και εποµένως
Z Z Z
lim inf fn dm = lim inf fn dm + lim inf fn dm
E E1 E\E1
Z
= lim inf fn dm
E1
Z
≤ lim inf fn dm
E1
Z Z !
= lim inf fn dm + fn dm
E1 E\E1
Z
= lim inf fn dm .
E
1 − (1 − t/n)n
3. (αʹ) Αν n ∈ N∗ , δείξτε ότι 0 < ≤ 1 , για κάθε t ∈ (0, 1] και
t
t n
0≤ 1− ≤ e−t , για κάθε t ∈ [0, n].
n
(ϐʹ) Αν
1
t n t n
Z Z n
1 1
In = 1− 1− dt και Jn = 1− dt,
0 t n 1 t n
δείξτε ότι
∞
1
1 − e−t e−t
Z Z
lim In = dt και lim Jn = dt.
n→∞ 0 t n→∞ 1 t
Λύση.
1 − (1 − t/n)n
0< ≤ 1, για κάθε t ∈ (0, 1] .
t
Επειδή e−t/n ≥ 1 − t/n, για κάθε t ∈ R, είναι 0 ≤ (1 − t/n)n ≤ e−t ,
για κάθε t ∈ [0, n].
4.11 Ακαδηµαϊκό έτος 2004–5 199
(ϐʹ) Αν
1 − (1 − t/n)n
fn (t) := ,
t
−t
είναι limn→∞ fn (t) = 1−et και από το ϑεώρηµα ϕραγµένης σύγκλι-
σης
1 1 1
1 − e−t
Z Z Z
lim In = lim fn (t) dt = lim fn (t) dt = dt.
n→∞ n→∞ 0 0 n→∞ 0 t
Αν
(1 − t/n)n
gn (t) := χ[1, n] (t) ,
t
−t −t
τότε limn→∞ gn (t) = e t και gn (t) < e t , για κάθε n ∈ N∗ . Ε-
−t
πειδή e t ≤ e−t , για κάθε t ≥ 1 και το γενικευµένο ολοκλήρωµα
R∞
1 e−t dt = e συγκλίνει, από το κριτήριο σύγκρισης και το γενικευ-
R ∞ −t
µένο ολοκλήρωµα 1 e t dt ϑα συγκλίνει.
−t
Εποµένως η g(t) := e t ∈ L1 [1, ∞) και από το ϑεώρηµα κυριαρχη-
µένης σύγκλισης του Lebesgue είναι
n
t n
Z
1
lim Jn = lim 1− dt
n→∞ n→∞ 1 t n
Z ∞ (1 − t/n)n χ
[1, n] (t)
= lim dt
n→∞ 1 t
Z ∞ (1 − t/n)n χ[1, n] (t) Z ∞ −t
e
= lim dt = dt.
1 n→∞ t 1 t
200 Κεφάλαιο 4. Λυµένες Ασκήσεις
(γʹ) Είναι
n
t n t n
Z Z n
1 1
In − Jn = 1− 1− dt − 1− 1− dt
0 t n 1 t n
t n
Z n
1
− 1− dt
1 t n
t n
Z n Z n
1 1
= 1− 1− dt − dt
0 t n 1 t
t n
Z n
1
= 1− 1− dt − ln n
0 t n
Z 1
1 − sn
= ds − ln n (αντικατάσταση t = n (1 − s))
0 1−s
Z 1
1 + s + s2 + · · · + sn−1 ds − ln n
=
0
1 1
=1+ + · · · + − ln n .
2 n
Εποµένως,
= lim In − lim Jn
n→∞ n→∞
Z 1 −t Z ∞ −t
1−e e
= dt − dt
0 t 1 t
1 − e−t
Z 1 Z 1 −1/s
e
= dt − dt (αντικατάσταση t = 1/s)
0 t 0 s
1 − e−t − e−1/t
Z 1
= dt .
0 t
Υπάρχει το
Z 1
1
lim ln 1 + enf (x) dx
n→∞ n 0
4.11 Ακαδηµαϊκό έτος 2004–5 201
Λύση. Αν υπάρχει σταθερά c τέτοια ώστε ln(1 + et ) < c + t για κάθε t > 0,
τότε limt→0+ ln(1 + et ) ≤ limt→0+ (c + t) και ισοδύναµα ln 2 ≤ c. ΄Οµως
για g(t) := ln(1 + et ) − t, είναι g 0 (t) = −1/(1 + et ) < 0 για κάθε t ∈ R.
Εποµένως,
= f (x)
και αν f (x) ≤ 0, τότε προφανώς limn→∞ fn (x) = 0. Εποµένως,
και
Z Z
1
f (ax) dm(x) = f (x) dm(x) , a 6= 0.
E |a| aE
A ∩ (a + E) = a + (A − a) ∩ E
A ∩ aE = a (a−1 A) ∩ E ,
και a 6= 0 .
χA (x + a) = 1 ⇔ x + a ∈ A ⇔ x ∈ A − a ⇔ χA−a (x) = 1
= m ((A − a) ∩ E)
= m (a + (A − a) ∩ E)
= m (A ∩ (a + E))
Z
= χA (x) dm(x)
a+E
και για a 6= 0
Z Z
χA (ax) dm(x) = χa−1 A (x) dm(x)
E E
= m (a−1 A) ∩ E
1
m a (a−1 A) ∩ E
=
|a|
1
= m (A ∩ aE)
|a|
Z
1
= χ (x) dm(x).
|a| aE A
και για a 6= 0
Z Z
1
s(ax) dm(x) = s(x) dm(x).
E |a| aE
και παρόµοια
Z Z
f − (x + a) dm(x) = f − (x) dm(x) .
E a+E
΄Αρα,
Z Z Z
f (x + a) dm(x) = f + (x + a) dm(x) − f − (x + a) dm(x)
E ZE Z E
= +
f (x) dm(x) − f − (x) dm(x)
Za+E a+E
= f (x) dm(x) .
a+E
Εποµένως
∞ Z ∞ Z
X −2 X 1
n f (nx) dm(x) = |f (x)| dm(x) < ∞ .
n2 [0, T ]
n=1 [0, T ] n=1
P∞
΄Αρα, από το ϑεώρηµα B. Levi η σειρά n=1 n−2 f (nx) συγκλίνει σχε-
δόν παντού και κατά συνέπεια το όριο limn→∞ n−2 f (nx) = 0 σχεδόν
παντού.
2
(ϐʹ) Για να αποδείξουµε ότι η π -περιοδική συνάρτηση f (x) = (ln | cos x|)
είναι Lebesgue ολοκληρώσιµη στο [0, π], από γνωστή πρόταση αρκεί
Rπ 2
να αποδείξουµε ότι το γενικευµένο ολοκλήρωµα 0 (ln | cos x|) dx
συγκλίνει. Αν αποδείξουµε ότι το γενικευµένο ολοκλήρωµα
Z π/2 Z π/2
2
(ln | cos x|) dx = (ln cos x)2 dx
0 0
R π/2 2 R π/2 2
συγκλίνει, επειδή π (ln | cos x|) dx = 0 (ln | cos x|) dx, τότε
Rπ 2
και το γενικευµένο ολοκλήρωµα 0 (ln | cos x|) dx ϑα συγκλίνει. ΄Ο-
µως για 0 < 2λ < 1 το γενικευµένο ολοκλήρωµα
Z π/2 −2λ
π
−x dx
0 2
206 Κεφάλαιο 4. Λυµένες Ασκήσεις
συγκλίνει και
2
ln cos x
lim = 0. (κανόνας L’Hôpital)
x→(π/2)− (π/2 − x)−λ
−1
lim |cos(nx)|1/n = lim en ln|cos(nx)|
= 1 σ.π.
n→∞ n→∞
p
2p −2p 2p 1−2p
X 2p
cos t = 2 +2 cos 2jt
p p−j
j=1
Λύση. Επειδή
2p 2p
eit + e−it
X 2p i(2p−j)t −ijt
cos2p t = = 2−2p e ·e ,
2 j
j=0
4.11 Ακαδηµαϊκό έτος 2004–5 207
είναι
2p 2p 2pit
−2p 2p −2pit
cos t = 2 e + e
0 2p
−2p 2p 2(p−1)it 2p −2(p−1)it
+2 e + e
1 2p − 1
−2p 2p 2it 2p −2it −2p 2p
+ ··· + 2 e + e +2
p−1 p+1 p
2p 2p
= 2−2p 2 cos 2pt + 2 cos 2(p − 1)t
0 1
2p 2p
+··· + 2 cos 2t +
p−1 p
p
X 2p
−2p 2p 1−2p
=2 +2 cos 2jt .
p p−j
j=1
Αν bp := 21−2p , τότε
Z
cos2p (kn x + an ) dm(x)
E
Z p
2−2p 2p + bp 2p
X
= cos 2j (kn x + an ) dm(x)
E p p−j
j=1
p Z
−2p 2p 2p
X
=2 m(E) + bp cos 2j (kn x + an ) dm(x)
p p−j E
j=1
p Z
−2p 2p 2p
X
=2 m(E) + bp cos 2jan · cos(2jkn x) dm(x)
p p−j E
j=1
p Z
X 2p
− bp sin 2jan · sin(2jkn x) dm(x)
p−j E
j=1
p Z
2p X 2p
= 2−2p m(E) + bp cos 2jan · χE (x) cos(2jkn x) dm(x)
p p−j R
j=1
p Z
X 2p
− bp sin 2jan · χE (x) sin(2jkn x) dm(x) .
p−j R
j=1
208 Κεφάλαιο 4. Λυµένες Ασκήσεις
1. ΄Εστω (µn ) αύξουσα ακολουθία ϑετικών µέτρων στη σ -άλγεβρα Σ του συνό-
λου X , δηλαδή µn (A) ≤ µn+1 (A) για κάθε A ∈ Σ και για κάθε n ∈ N∗ .
Αν µ : Σ → [0, ∞] µε µ(A) := supn∈N∗ {µn (A)}, δείξτε ότι το µ είναι ένα
ϑετικό µέτρο.
Λύση. Από τον ορισµό του µ είναι προφανές ότι µ(∅) = 0 και µ(E1 ) ≤
µ(E2 ), για κάθε E1 , E2 ∈ Σ µε E1 ⊆ E2 . Αν (Ak ) είναι µία ακολουθία
S∞
ξένων ανά δύο συνόλων της σ -άλγεβρας Σ, τότε k=1 Ak = A ∈ Σ. Επειδή
κάθε µn είναι ένα ϑετικό µέτρο στη σ -άλγεβρα Σ, ϑα είναι
∞
X ∞
X
µn (A) = µn (Ak ) ≤ µ(Ak )
k=1 k=1
P∞
και εποµένως µ(A) ≤ k=1 µ(Ak ). ΄Οµως για κάθε N ∈ N∗ έχουµε
N N N N
! !
X X [ [
µ(Ak ) = lim µn (Ak ) = lim µn Ak =µ Ak ≤ µ(A) ,
n→∞ n→∞
k=1 k=1 k=1 k=1
P∞ P∞
οπότε k=1 µ(Ak ) ≤ µ(A). ΄Αρα µ(A) = k=1 µ(Ak ).
P∞ S∞
2. Αν E ⊆ R, να αποδειχθεί ότι m∗ (E) = inf { n=1 `(In ) :E⊆ n=1 In },
όπου το infimum το παίρνουµε πάνω σε όλα τα καλύµµατα του E από
αριθµήσιµες ενώσεις ξένων ανά δύο ανοικτών διαστηµάτων In .
Λύση. Αν (In ) είναι ακολουθία ξένων ανά δύο ανοικτών διαστηµάτων, από
τον ορισµό του εξωτερικού µέτρου Lebesgue m∗ ϑα είναι
∞
X
∗
m (E) ≤ `(In ) . (4.7)
n=1
S∞
ϕραγµένων διαστηµάτων, µε E ⊆ k=1 Jk , τέτοια ώστε
∞
X
`(Jk ) < m∗ (E) + ε .
k=1
S∞ S∞ S∞ 0
Επειδή το k=1 Jk είναι ανοικτό σύνολο, ϑα είναι k=1 Jk = n=1 In ⊇ E,
όπου (In0 ) είναι ακολουθία ανοικτών και ϕραγµένων διαστηµάτων ξένων ανά
P∞ P∞
δύο. Επειδή ως γνωστόν n=1 `(In0 ) ≤ k=1 `(Jk ), έχουµε
∞
X ∞
X
`(In0 ) ≤ `(Jk ) < m∗ (E) + ε . (4.8)
n=1 k=1
3. Να κατασκευάσετε ένα υποσύνολο A του [0, 1], µε τον ίδιο τρόπο που κα-
τασκευάζεται το τριαδικό σύνολο Cantor, αφαιρώντας όµως από κάθε διά-
στηµα που αποµένει ένα ανοικτό υποδιάστηµα που έχει το ίδιο µέσο µε το
διάστηµα και του οποίου το µήκος είναι θ -ϕορές το µήκος του διαστήµα-
T∞
τος, 0 < θ < 1. ∆είξτε ότι A = k=1 Ak , όπου m(Ak ) = (1 − θ)k και να
συµπεράνετε ότι m(A) = 0.
διάστηµα και του οποίου το µήκος είναι θ(1 − θ)k−1 /2k−1 . ΄Εστω Ak είναι
το σύνολο που αποµένει. Τότε
Εποµένως m(A) = 0.
Τότε
m∗ (A ∪ B) = m∗ (A) + m∗ (B) .
Λύση.
(αʹ) Επειδή το G είναι Lebesgue µετρήσιµο, από τον ορισµό της µετρησι-
µότητας κατά Καραθεοδωρή έχουµε
m∗ (A ∪ B) = m∗ ((A ∪ B) ∩ G) + m∗ ((A ∪ B) ∩ Gc )
= m∗ ((A ∩ G) ∪ (B ∩ G)) + m∗ ((A ∩ Gc ) ∪ (B ∩ Gc ))
= m∗ (A) + m∗ (B) .
5. ∆είξτε ότι για κάθε ε > 0 υπάρχει ανοικτό σύνολο G πυκνό στο R και τέτοιο
ώστε m(G) < ε.
m∗ (A) ≥ m∗ (A ∩ E) + m∗ (A ∩ E c ) , (4.11)
4.12 Ακαδηµαϊκό έτος 2003–4 213
για κάθε A ⊆ R. Επειδή η (4.11) ισχύει στην περίπτωση που είναι m∗ (A) =
∞, υποθέτουµε ότι m∗ (A) < ∞. ΄Εστω ε > 0. Από τις ιδιότητες του
εξωτερικού µέτρου Lebesgue, υπάρχει αριθµήσιµη οικογένεια κλειστών και
S∞
ϕραγµένων διαστηµάτων ([an , bn ]) τέτοια ώστε n=1 [an , bn ] ⊇ A και
∞
X
m∗ ([an , bn ]) < m∗ (A) + ε .
n=1
S∞ S∞
Είναι n=1 [an , bn ] ∩ E ⊇ A ∩ E και n=1 [an , bn ] ∩ E c ⊇ A ∩ E c , οπότε
∞
X
∗
m (A) + ε > m∗ ([an , bn ])
n=1
X∞ ∞
X
∗
= m ([an , bn ] ∩ E) + m∗ ([an , bn ] ∩ E c )
n=1 n=1
(από την (4.9))
∞ ∞
! !
[ [
∗ ∗ c
≥m ([an , bn ] ∩ E) +m ([an , bn ] ∩ E )
n=1 n=1
≥ m∗ (A ∩ E) + m∗ (A ∩ E c ) .
Εποµένως
m∗ (A) + ε > m∗ (A ∩ E) + m∗ (A ∩ E c ) ,
Λύση.
214 Κεφάλαιο 4. Λυµένες Ασκήσεις
b−a
m (A ∩ (a, b)) ≤ ,
2
για κάθε a, b ∈ R, a < b. ∆είξτε ότι m(A) = 0.
όπου (A ∩ (ak , bk )) είναι µια αριθµήσιµη οικογένεια ξένων ανά δύο Lebe-
sgue µετρήσιµων συνόλων. Τότε
∞
X
m (A ∩ (−n, n)) ≤ m (A ∩ (ak , bk ))
k=1
∞
X bk − ak
≤ (από την υπόθεση)
2
k=1
1
= m(G)
2
1
< (m (A ∩ (−n, n)) + ε) (από την (4.12))
2
και ισοδύναµα m (A ∩ (−n, n)) < ε, για κάθε ε > 0. Εποµένως
΄Αρα, m(A) = 0.
Λύση.
3. ΄Εστω η συνάρτηση F : R → R µε
Z ∞
sin(xt)
F (x) = dt .
0 1 + t2
Αν (xn ) είναι πραγµατική ακολουθία µε limn→∞ xn = x ∈ R, δείξτε ότι
limn→∞ F (xn ) = F (x). ∆ηλαδή η F είναι συνεχής συνάρτηση στο R.
f1 ≥ f2 ≥ f3 ≥ · · · ≥ fn ≥ · · · .
R
Αν R f1 dm < ∞ και limn→∞ fn (x) = f (x), ∀x ∈ R, τότε
Z Z
lim fn dm = f dm . (4.13)
n→∞ R R
R
Η (4.13) γενικά δεν ισχύει αν R f1 dm = ∞.
(Θεωρείστε την ακολουθία συναρτήσεων fn = n1 χ[n, ∞) )
Λύση.
sin(ex )1
(αʹ) Οι συναρτήσεις fn (x) = 1+nx2 και g(x) = 1+x 2 είναι συνεχείς µε
|fn (x)| < g(x) και limn→∞ fn (x) = 0, για κάθε x > 0. Επειδή το
γενικευµένο ολοκλήρωµα
Z ∞ Z ∞
1 π
g(x) dx = 2
dx =
0 0 1 + x 2
R ∞ sin(ex )
συγκλίνει, το γενικευµένο ολοκλήρωµα 0 1+nx2 dx συγκλίνει απόλυ-
τα και εποµένως συγκλίνει. Τότε από γνωστό ϑεώρηµα τα ολοκληρώ-
µατα Lebesgue των fn και g υπάρχουν στο [0, ∞) και είναι
Z ∞
sin(ex ) sin(ex )
Z
2
dm(x) = dx ,
[0, ∞) 1 + nx 0 1 + nx2
Z Z ∞
π
g(x) dm(x) = g(x) dx = .
[0,∞) 0 2
΄Αρα, από το ϑεώρηµα κυριαρχηµένης σύγκλισης του Lebesgue
sin(ex ) sin(ex )
Z Z
lim dm(x) = lim dm(x) = 0 .
n→∞ [0, ∞) 1 + nx2 [0, ∞) n→∞ 1 + nx
2
4.12 Ακαδηµαϊκό έτος 2003–4 219
(ϐʹ) Για κάθε x > 0 είναι 0 < e−x < 1. Εποµένως, για κάθε x > 0
∞ ∞
x xe−x −x
X
−x n
X
= = xe (e ) = xe−nx .
ex − 1 1 − e−x
n=0 n=1
Να αποδειχθεί ότι
∞ Z 1 ∞
X X 1
|fn (x)| dx = <∞
(2n + 2)!(2n + 2)
n=0 0 n=0
n x2n+1
P∞
Λύση. Είναι sin x = n=0 (−1) (2n+1)! , για κάθε x ∈ R. Εποµένως, για
κάθε x > 0 είναι
∞
X x2n+1 ln x
sin x ln x = fn (x) , µε fn (x) = (−1)n .
(2n + 1)!
n=0
220 Κεφάλαιο 4. Λυµένες Ασκήσεις
Z 1 Z 1
2n+1
|x ln x| dx = − x2n+1 ln x dx
0 0
Z 1
1 1
= lim x2n+2 ln x + x2n+1 dx
2n + 2 x→0+ 2n + 2 0
1
=
(2n + 2)2
και εποµένως
Z 1
1
|fn (x)| dx = .
0 (2n + 2)!(2n + 2)
Επίσης,
1 1
(−1)n+1
Z Z
n+1
fn (x) dx = (−1) |fn (x)| dx = .
0 0 (2n + 2)!(2n + 2)
Επίσης
1
(−1)n+1
Z Z
fn (x) dm(x) = fn (x) dx = .
(0,1] 0 (2n + 2)!(2n + 2)
Εποµένως
∞ Z ∞ Z 1 ∞
X X X 1
|fn (x)| dm(x) = |fn (x)| dx = < ∞.
(2n + 2)!(2n + 2)
n=0 (0,1] n=0 0 n=0
P∞
Από το ϑεώρηµα B. Levi η συνάρτηση sin x ln x = n=0 fn (x) είναι Lebe-
4.12 Ακαδηµαϊκό έτος 2003–4 221
R∞
Σηµείωση. Γενικά, η σύγκλιση του γενικευµένου ολοκληρώµατος a φ(x) dx
δεν συνεπάγεται ότι limx→∞ φ(x) = 0. Για παράδειγµα, είναι γνωστό ότι
τα γενικευµένα ολοκληρώµατα Fresnel:
Z ∞ Z ∞
√
2 2 2π
sin x dx = cos x dx =
0 0 4
συγκλίνουν. ΄Οµως τα όρια limx→∞ sin x2 και limx→∞ cos x2 δεν υπάρ-
χουν.
4.12 Ακαδηµαϊκό έτος 2003–4 223
όπου E ∈ M.
+∞
X +∞
X +∞
X
k
2 χEk (x) ≤ |f (x)|χEk (x) ≤ 2k+1 χEk (x) .
k=−∞ k=−∞ k=−∞
P+∞ k
(ϐʹ) Να αποδειχθεί ότι f ∈ L1 (E) αν και µόνο αν k=−∞ 2 m(Ek ) < ∞.
+∞
X +∞
X +∞
X
2k χEk (x) ≤ |f (x)| χEk (x) ≤ 2k+1 χEk (x) .
k=−∞ k=−∞ k=−∞
S+∞
(ϐʹ) Είναι E = k=−∞ Ek , όπου τα σύνολα Ek είναι µετρήσιµα και ξένα
ανά δύο. Από γνωστά ϑεωρήµατα
Z Z
|f (x)| dm(x) = S+∞ |f (x)| dm(x)
E k=−∞ Ek
+∞ Z
X
= |f (x)| dm(x)
k=−∞ Ek
+∞ Z
X
= |f (x)|χEk (x) dm(x)
k=−∞ E
Z X+∞
= |f (x)|χEk (x) dm(x) .
E k=−∞
224 Κεφάλαιο 4. Λυµένες Ασκήσεις
΄Οµως
Z +∞
X +∞
X Z +∞
X
k k
2 χEk (x) dm(x) = 2 χEk (x) dm(x) = 2k m(Ek )
E k=−∞ k=−∞ E k=−∞
και παρόµοια
Z +∞
X +∞
X +∞
X
2k+1 χEk (x) dm(x) = 2k+1 m(Ek ) = 2 2k m(Ek ) .
E k=−∞ k=−∞ k=−∞
+∞
X Z +∞
X
k
2 m(Ek ) ≤ |f (x)| dm(x) ≤ 2 2k m(Ek ) .
k=−∞ E k=−∞
Από τις παραπάνω ανισότητες είναι προφανές ότι f ∈ L1 (E) αν και µόνο
P+∞ k
P+∞ k m(E )
αν η σειρά k=−∞ 2 m(Ek ) συγκλίνει, δηλαδή k=−∞ 2 k <
∞.
Κεφάλαιο 5
Θέµατα Εξετάσεων
15 Μαρτίου, 2017
(1 µον.)
(ϐʹ) ∆είξτε ότι το E έχει µέτρο Lebesgue µηδέν αν και µόνο αν υπάρχει α-
κολουθία (Un ) ανοικτών συνόλων στο R τέτοια ώστε limn→∞ m(Un ) =
T∞
0 και E ⊆ n=1 Un . (1 µον.)
Λύση.
225
226 Κεφάλαιο 5. Θέµατα Εξετάσεων
(ϐʹ) ΄Εστω m(E) = 0. Από το (α΄), για κάθε n ∈ N∗ υπάρχει ανοικτό σύνο-
λο Un ⊇ E τέτοιο ώστε m(Un ) < 1/n. Εποµένως limn→∞ m(Un ) =
T∞
0 και E ⊆ n=1 Un .
Αντίστροφα, υποθέτουµε ότι υπάρχει ακολουθία (Un ) ανοικτών συ-
νόλων στο R τέτοια ώστε
∞
\
lim m(Un ) = 0 και E ⊆ Un .
n→∞
n=1
T∞
Τότε E ⊆ n=1 Un⊆ Un για κάθε n ∈ N∗ και εποµένως m∗ (E) ≤
m∗ (Un ) = m(Un ). Επειδή limn→∞ m(Un ) = 0, έπεται ότι m∗ (E) =
0 και κατά συνέπεια το E είναι Lebesgue µετρήσιµο σύνολο µέτρου
µηδέν.
(ϐʹ) ΄Εστω m(X) < ∞ και έστω (fn ) ακολουθία Lebesgue ολοκληρώσι-
R
µων συναρτήσεων στο X µε X |fn | dm ≤ c < ∞. Αν (λn ) είναι
P∞
ακολουθία ϑετικών αριθµών µε n=1 λ−1
n < ∞ και
Z
An = x ∈ X : fn (x) −
|fn (x)| dm(x) ≥ λn ,
X
Λύση.
(2 µον.)
Λύση.
m({f = 1}) = c .
f = χE σ .π . στο [0, 1] .
sin nx
nx
lim fn (x) = lim · x
n→∞ n→∞ 1 + nx2
n
1 sin t 1
= · lim = . (κανόνας L’Hôpital)
x t→0+ t x
Επειδή sin y < y για y > 0, για κάθε x ∈ [1, 2] είναι
n2 sin(x/n) nx 1
|fn (x)| = < <
1 + nx2 1 + nx2 x
και η συνάρτηση f (x) = 1/x είναι ολοκληρώσιµη στο διάστηµα [1, 2].
΄Αρα, από το ϑεώρηµα κυριαρχηµένης σύγκλισης του Lebesgue
2 2 2
n2 sin(x/n) n2 sin(x/n)
Z Z Z
1
lim dx = lim dx = dx = ln 2 .
n→∞ 1 1 + nx2 1 n→∞ 1 + nx2 1 x
Να συµπεράνετε ότι
(2 µον.)
P∞
Τότε από το ϑεώρηµα Beppo Levi η σειρά n=1 (fkn −f ) συγκλίνει σχεδόν
παντού στο X και άρα
3 Οκτωβρίου, 2017
(1 µον.)
(ϐʹ) Αν E ∩K 6= ∅ για κάθε συµπαγές υποσύνολο K του R µε m(K) > 0,
δείξτε ότι m∗ (E) = ∞.
(1 µον.)
Λύση.
Θ3. ΄Εστω X ⊆ R Lebesgue µετρήσιµο σύνολο και έστω (fn ), fn : X → [0, ∞],
ακολουθία µετρήσιµων συναρτήσεων.
∞
Z X ∞ Z
X
fn dm = fn dm .
X n=1 n=1 X
(1 µον.)
R P∞ P∞
(ϐʹ) Αν X n=1 fn dm < ∞, δείξτε ότι n=1 fn < ∞ σ .π . στο X . (0,5
µον.)
P∞ P∞
(γʹ) ΄Εστω M > 0 και έστω n=1 αn , n=1 βn συγκλίνουσες σειρές
ϑετικών όρων. Αν
Z
fn dm ≤ αn και m({fn > M }) ≤ βn , για κάθε n ∈ N∗ ,
{fn ≤M }
P∞
δείξτε ότι n=1 fn < ∞ σ .π . στο X . (1,5 µον.)
Λύση.
Θ4. (αʹ) ΄Εστω X ⊆ R Lebesgue µετρήσιµο σύνολο. Υποθέτουµε ότι η (fn ) εί-
ναι ακολουθία µη αρνητικών µετρήσιµων συναρτήσεων στο X . Χρη-
σιµοποιώντας το ϑεώρηµα µονότονης σύγκλισης δείξτε το λήµµα Fa-
tou, δηλαδή ότι
Z Z
(lim fn ) dm ≤ lim fn dm .
X X
(1 µον.)
(ϐʹ) Αν
1
x + x2 + · · · + xn
Z
In = dx , n ∈ N∗ ,
1/2 x + x2 /2 + · · · + xn /n
εξετάστε αν το όριο limn→∞ In είναι πραγµατικός αριθµός. Αιτιολο-
γήστε την απάντησή σας.
(1,5 µον.)
Λύση.
2 n
(ϐʹ) Για κάθε n ∈ N∗ η fn (x) = x+xx+x +···+x
2 /2+···+xn /n είναι συνεχής και µη
∞ ∞
1 X X xk
= xk και − ln(1 − x) = , για κάθε |x| < 1 .
1−x k
k=0 k=1
Επειδή
και
x2 xn
lim x + + ··· + = − ln(1 − x) , |x| < 1 ,
n→∞ 2 n
είναι
x
lim fn (x) = , |x| < 1 .
n→∞ (1 − x) (− ln(1 − x))
1
x + x2 + · · · + xn
Z
lim 2 n
dx
1/2 x + x /2 + · · · + x /n
Z 1
x + x2 + · · · + xn
≥ lim 2 n
dx
1/2 n→∞ x + x /2 + · · · + x /n
Z 1
x
= dx .
1/2 (1 − x) (− ln(1 − x))
΄Οµως για κάθε x ∈ [1/2, 1) είναι 0 < 1 − x ≤ 1/2 και κατά συνέπεια
5.1 Ακαδηµαϊκό έτος 2015–16 235
και
2
|fn (x)| = fn (x) ≤ , για κάθε x ∈ [0, 1] .
1+x
Επειδή η συνάρτηση f (x) = 2/(1 + x) είναι ολοκληρώσιµη στο διάστηµα
[0, 1], από το ϑεώρηµα κυριαρχηµένης σύγκλισης του Lebesgue
Z 1 Z 1
1 + x2 + · · · + x2n 1 + x2 + · · · + x2n
lim dx = lim dx
n→∞ 0 1 + x + · · · + xn 0 n→∞ 1 + x + · · · + xn
Z 1
1
= dx = ln 2 .
0 1 + x
5.2 Ακαδηµαϊκό έτος 2014–15 237
20 Μαρτίου, 2015
Λύση.
(αʹ) Είναι lim En = [0, 1) και lim En = [0, 1). Εποµένως limn→∞ En =
lim En = lim En = [0, 1). Επειδή m(En ) = 2 αν n περιττός και
m(En ) = 3 αν n άρτιος, το όριο limn→∞ m(En ) δεν υπάρχει.
(ϐʹ) Αν f (0) = g(0), ϑεωρούµε το σύνολο A = {0}c . Το σύνολο A είναι
Borel µετρήσιµο, δ0 (A) = 0 και f = g στο Ac = {0}. Εποµένως,
f = g σχεδόν παντού ως προς το µέτρο Dirac δ0 .
238 Κεφάλαιο 5. Θέµατα Εξετάσεων
Λύση.
n n
!
X (−1)k+1 1 X (−1)k+1
fn = 3 χ[k,k+1) + −3 χ[n,n+1) .
2k n 2k
k=1 k=1
(1 µον.)
R
• Rf dm = 1;
Λύση.
∞
X (−1)k+1 1/2 1
= = .
2k 1 + 1/2 3
k=1
n n
!
X (−1)k+1 1 X (−1)k+1
fn = 3 χ[k,k+1) + −3 χ[n,n+1)
2k n 2k
k=1 k=1
και τη συνάρτηση f µε
∞
X (−1)k+1
f =3 χ[k,k+1) .
2k
k=1
n
(−1)k+1
Z Z Z
X 1
fn dm = 3 χ[k,k+1) dm + χ[n,n+1) dm
R 2k R n R
k=1
n
(−1)k+1
X Z
−3 χ[n,n+1) dm
2k R
k=1
n n
X (−1)k+1 1 X (−1)k+1 1
= 3 k
+ − 3 k
=
2 n 2 n
k=1 k=1
Επειδή
∞ Z ∞
(−1)k+1
Z
X X 1
2k χ[k,k+1) dm = 3 χ[k,k+1) dm
3
R 2k R
k=1 k=1
∞
X 1
=3 = 3,
2k
k=1
(γʹ) ∆ώστε ένα παράδειγµα µετρήσιµης συνάρτησης f στο [a, +∞), a >
/ L1 ([a, +∞)) και f 2 ∈ L1 ([a, +∞)).
0, µε f ∈ (0,5 µον.)
Λύση.
23 Σεπτεµβρίου, 2015
Λύση.
244 Κεφάλαιο 5. Θέµατα Εξετάσεων
(ϐʹ) Επειδή
n
X n
X
n− m(Ei ) = n · m((0, 1)) − m(Ei )
i=1 i=1
n
X
= [(m((0, 1)) − m(Ei )]
i=1
n
X n
X
= m ((0, 1) \ Ei ) = m(Eic ) ,
i=1 i=1
Pn c
από την υπόθεση έχουµε i=1 m(Ei ) < 1 και εποµένως
n n
!
[ X
m Eic ≤ m(Eic ) < 1 .
i=1 i=1
΄Αρα,
n n
! !
\ \
m (0, 1) \ Ei < 1 ⇔ m((0, 1)) − m Ei <1
i=1 i=1
n
!
\
⇔m Ei > 0.
i=1
Θέµα 2. ΄Εστω ο µετρήσιµος χώρος (R, B), όπου B η Borel σ -άλγεβρα και
έστω f : D → [−∞, +∞], D ⊂ R, µια επεκταµένη πραγµατική
συνάρτηση.
Λύση.
{x ∈ D : f (x) ≤ a} ∈ B .
{D0 : f ≤ a} = {D : f ≤ a} ∩ D0 .
(1,5 µον.)
Λύση.
R 2π
΄Επειδή 0 ln |1 + an eiθ | dθ = 0, συµπεραίνουµε ότι το ολο-
R 2π
κλήρωµα 0 ln |1 + eiθ | dθ = 0.
11 Απριλίου, 2014
(ϐʹ) Αποδείξτε ότι υπάρχει αριθµήσιµη οικογένεια (An ) ξένων ανά δύο
υποσυνόλων του R, τέτοια ώστε
∞ ∞
!
[ X
∗
m An < m∗ (An ) .
n=1 n=1
(1,2 µον.)
Λύση.
(ϐʹ) (i) ; (ii) ΄Εστω f = χ[0, +∞) . Η f είναι συνεχής σ.π. στο R (η f δεν
είναι συνεχής στο 0). Υποθέτουµε ότι υπάρχει συνεχής συνάρτηση
g : R → R µε g = χ[0, +∞) σ .π . στο R. Τότε η g παίρνει τις τιµές
0 και 1 και από το ϑεώρηµα ενδιάµεσης τιµής ϑα παίρνει και την
τιµή 1/2. ΄Εστω g(x0 ) = 1/2, για κάποιο x0 ∈ R. Τότε ως γνωστόν
υπάρχει διάστηµα I = (x0 − δ, x0 + δ), δ > 0, τέτοιο ώστε
1 3
< g(x) < , για κάθε x ∈ I .
4 4
Εποµένως, f (x) 6= g(x) για κάθε x ∈ I µε m(I) = 2δ > 0 και αυτό
οδηγεί σε άτοπο. ΄Αρα, δεν υπάρχει συνεχής συνάρτηση g στο R που
να είναι ίση σ .π . µε την f = χ[0, +∞) .
(γʹ) (ii) ; (i) Θεωρούµε τη συνάρτηση f = χQ . Επειδή m(Q) = 0 και
χQ (x) = 1 αν και µόνο αν x ∈ Q, η f = 0 σ .π . στο R. ∆ηλαδή η
f ισούται σ .π . στο R µε τη µηδενική συνάρτηση που είναι συνεχής
στο R. ΄Οµως η συνάρτηση Dirichlet
1 αν x ϱητός
χQ (x) =
0 αν x άρρητος ,
όπου g ∈ L1 (X).
250 Κεφάλαιο 5. Θέµατα Εξετάσεων
(i) ∆είξτε ότι για κάθε f ∈ H, για κάθε n ∈ N∗ και για κάθε µετρή-
σιµο σύνολο A ⊆ X ,
Z Z
|f | dm ≤ g dm + nm(A) .
A {g>n}
(iii) ∆είξτε ότι για κάθε ε > 0, υπάρχει δ > 0 τέτοιο ώστε, για κάθε
µετρήσιµο σύνολο A ⊆ X µε m(A) < δ είναι
Z
sup |f | dm : f ∈ H ≤ ε .
A
(2,5 µον.)
(ϐʹ) (i) Για κάθε f ∈ H, για κάθε n ∈ N∗ και για κάθε µετρήσιµο σύνολο
A ⊆ X έχουµε
Z Z Z
|f | dm = |f | dm + |f | dm
A A∩{|f |>n} A∩{|f |≤n}
Z
≤ g dm + nm(A ∩ {|f | ≤ n}) .
A∩{|f |>n}
R
(iii) ΄Εστω ε > 0. Επειδή limn→∞ {g>n} g dm = 0, υπάρχει n0 ∈
N∗ τέτοιο ώστε Z
ε
g dm < .
{g>n0 } 2
Παίρνουµε δ := 2nε 0 > 0. Από τη (i), για κάθε f ∈ H και για κάθε
µετρήσιµο σύνολο A ⊆ X µε m(A) < δ έχουµε
Z Z
ε ε
|f | dm ≤ g dm + n0 m(A) < + n0 = ε.
A {g>n0 } 2 2n0
(−1)n−1
fn (x) = .
n(1 + x2 )
∆είξτε ότι
+∞ Z
!
X
|fn | dm = +∞
n=1 [0, +∞)
και εξετάστε αν
+∞ Z +∞
! Z !
X X
fn dm = fn dm .
n=1 [0, +∞) [0, +∞) n=1
και εποµένως
+∞ Z +∞
!
X πX1
|fn | dm = = +∞ .
[0, +∞) 2 n
n=1 n=1
είναι
∞
Z ! Z
X 1 π
fn (x) dm(x) = 2
ln 2 dm(x) = ln 2
[0, +∞) [0, +∞) 1+x 2
n=0
και
+∞ Z +∞
!
(−1)n−1
Z
X X 1 π
fn dm = 2
dm(x) = ln 2 .
[0, +∞) n [0, +∞) 1+x 2
n=1 n=1
΄Αρα,
+∞ Z +∞
! Z !
X X
fn dm = fn dm .
n=1 [0, +∞) [0, +∞) n=1
24 Οκτωβρίου, 2014
Θ1. ΄Εστω (X, M, µ) ένας χώρος µέτρου και έστω (An ) αριθµήσιµη οικογένεια
µετρήσιµων υποσυνόλων του X . Ως γνωστόν
∞ \
[ ∞ ∞ [
\ ∞
lim An = Ak και lim An = Ak .
n=1 k=n n=1 k=n
P∞
(γʹ) Αν k=1 µ(Ak ) < ∞, δείξτε ότι µ lim An = 0. (1 µον.)
Λύση.
T∞
(αʹ) ΄Εστω Bn := k=n Ak . Επειδή Bn ⊆ An , είναι µ(Bn ) ≤ µ(An ) και
κατά συνέπεια
lim µ(Bn ) ≤ lim µ(An ) .
S∞
Επειδή Bn % n=1 Bn = lim An , από γνωστή ιδιότητα του µέτρου
έχουµε
lim µ(Bn ) = µ (lim An ) .
n→∞
΄Αρα,
Λύση.
∞
[
En := {x ∈ X : f (x) = rn } και E := En .
n=1
254 Κεφάλαιο 5. Θέµατα Εξετάσεων
g = 1 − χE
Υποθέτουµε ότι
και Z Z
lim gn dm = g dm < ∞ .
n→∞ X X
(1,5 µον.)
Λύση.
R R
(ϐʹ) ΄Εστω ε > 0. Επειδή limn→∞ X gn dm = X g dm < ∞, υπάρχει
N ∈ N∗ τέτοιο ώστε
Z Z
gn dm < g dm + ε , για κάθε n ≥ N .
X X
Λύση.
256 Κεφάλαιο 5. Θέµατα Εξετάσεων
1
|fn (x)| ≤ g(x) := , για κάθε n ∈ N∗ και για κάθε x ∈ [0, ∞) .
1 + x2
Επειδή το γενικευµένο ολοκλήρωµα
Z +∞ Z +∞
1 π
g(x) dx = dx = lim arctan x =
0 0 1 + x2 x→+∞ 2
8 Μαρτίου, 2013
Θ1. (αʹ) ΄Εστω (X, M, µ) χώρος µέτρου και έστω (An ) ακολουθία µετρήσιµων
συνόλων µε
∞
!
[
µ An < ∞ και inf{µ(An ) : n ∈ N∗ } = a ≥ 0 .
n=1
Λύση.
S∞
(αʹ) Αν Bn := k=n Ak , η (Bn ) είναι ϕθίνουσα ακολουθία µετρήσιµων
συνόλων µε µ(B1 ) < ∞. Εποµένως από γνωστή ιδιότητα του µέτρου
έχουµε
∞
!
\
lim µ(Bn ) = µ Bn = µ(lim An ) .
n→∞
n=1
Επειδή
∞
!
[
µ(Bn ) = µ Ak ≥ inf{µ(An ) : n ∈ N} = a ≥ 0 ,
k=n
1 1
µn (Ek ) = µn ([k, k + 1)) = m([k, k + 1)) = ,
n n
οπότε µ(Ek ) = limn→∞ µn (Ek ) = 0. Αποδείξαµε ότι
∞ ∞
!
[ X
µ Ek =∞=
6 0= µ(Ek )
k=1 k=1
(δʹ) ΄Εστω A ένα µη µετρήσιµο υποσύνολο του [0, 1] και έστω C το τρια-
δικό σύνολο Cantor. Αν
Λύση.
= χA + χE\A − 2χA∩(E\A)
= χA + χE\A (A ∩ (E \ A) = ∅)
= χE = 1
(δʹ) Επειδή m(A ∩ C) = 0, είναι h(x) = x2 σχεδόν για κάθε x ∈ [0, 1].
Επειδή η y = x2 είναι µετρήσιµη, από το (γ΄) και η h ϑα είναι
µετρήσιµη στο [0, 1].
Λύση.
=2 f dm − lim |fn − f | dm .
X X
R
Επειδή f ∈ L1 (X), συµπεραίνουµε ότι lim X |fn − f | dm ≤ 0 και
R
άρα limn→∞ X |fn − f | dm = 0.
(1,5 µον.)
(1,5 µον.)
Λύση.
5.4 Ακαδηµαϊκό έτος 2012–13 261
Z Z
f (nt) f (x)
n √ dm(t) = dm(x)
1 + nx
p
[0,1] 1+t [0,n]
Z
f (x)
= χ dm(x) .
1 + nx [0,n]
p
[0,∞)
f (x)
Αν gn (x) := √
1+(x/n)
χ[0,n] , η (gn ) είναι ακολουθία µη αρνητικών
και µετρήσιµων συναρτήσεων. Επίσης εύκολα ϕαίνεται ότι η (gn )
είναι αύξουσα ακολουθία µε limn→∞ gn (x) = f (x) για κάθε x ≥ 0
και εποµένως από το ϑεώρηµα µονότονης σύγκλισης έχουµε
Z
lim n g(x)(1 − n|x|) dm(x)
n→∞ [−1/n, 1/n]
Z Z
f (x)
= lim χ dm(x) = f (x) dm(x) .
1 + nx [0,n]
p
n→∞ [0,∞) [0,∞)
Z Z
t
n g(x)(1 − n|x|) dm(x) = g (1 − |t|) dm(t) .
[−1/n, 1/n] [−1,1] n
t
|gn (t)| = g |1 − |t|| ≤ M (1 + |t|) = 2M ,
n
4 Σεπτεµβρίου, 2013
(0,5 µον.)
(ϐʹ) ∆είξτε ότι για κάθε ε > 0 υπάρχει ανοικτό σύνολο A το οποίο είναι
πυκνό στο R και τέτοιο ώστε m(A) ≤ ε. (0,7 µον.)
(γʹ) ∆είξτε ότι για κάθε ε > 0 υπάρχει κλειστό σύνολο F το οποίο δεν
περιέχει διάστηµα και τέτοιο ώστε m(F ∩ E) ≥ m(E) − ε, για κάθε
E ∈ M. (0,8 µον.)
Λύση.
5.4 Ακαδηµαϊκό έτος 2012–13 263
Θ2. (αʹ) ΄Εστω m∗ το εξωτερικό µέτρο Lebesgue. ∆είξτε ότι υπάρχουν σύνολα
A, B ⊆ R µε A ∩ B = ∅, τέτοια ώστε
(1 µον.)
(ϐʹ) Υποθέτουµε ότι η µετρήσιµη συνάρτηση f : E → R είναι ϕραγµένη
στο Lebesgue µετρήσιµο σύνολο E ⊆ R. ∆είξτε ότι για κάθε ε > 0
υπάρχουν απλές συναρτήσεις sε και tε ορισµένες στο E , τέτοιες ώστε
(1,5 µον.)
(1,5 µον.)
Λύση.
Τότε
Z Z Z
g dm = g dm + g dm
X E X\E
Z Z Z
≤ h dm + h dm = h dm .
E X\E X
Επειδή Z Z
g dm = h dm ,
X X
5.4 Ακαδηµαϊκό έτος 2012–13 265
΄Αρα g = h σ .π . στο X .
(1,5 µον.)
Λύση.
x n
Η fn (x) = 1+x n f (x) είναι αύξουσα ακολουθία µη αρνητικών µε-
xn 1
lim n
f (x) = lim n
f (x) = f (x) ,
n→∞ 1 + x n→∞ 1/x + 1
΄Αρα,
∞
xn
Z
lim f (x) dx
n→∞ 0 1 + xn
Z 1 Z ∞
xn xn
= lim n
f (x) dx + f (x) dx
n→∞ 0 1+x 1 1 + xn
Z ∞
= f (x) dx .
1
5.5 Ακαδηµαϊκό έτος 2011–12 267
17 Μαρτίου, 2012
Θ1. (αʹ) ΄Εστω (X, M, µ) χώρος µέτρου και έστω (En ) µια οποιαδήποτε ακο-
λουθία µετρήσιµων συνόλων. ∆είξτε ότι
∞ ∞
!
[ X
µ En ≤ µ (En ) .
n=1 n=1
Λύση.
και εποµένως
1
1− = m(An ) ≤ m(A) ≤ m([0, 1]) = 1 , για κάθε n ∈ N∗ .
n
΄Αρα m(A) = 1.
∞
Z X ∞ Z
X
fn dm = fn dm .
X n=1 n=1 X
(1 µον.)
1
fn = χ ,
2n (1 + m(An )) An
P∞
δείξτε ότι η f = n=1 fn ∈ L1 (X) µε 0 < f (x) < 1 για κάθε x ∈ X .
(1,5 µον.)
Λύση.
1
χ (x) = 1 , για κάθε n ∈ N∗ .
1 + m(An ) An
Ισοδύναµα, x ∈ An και m(An ) = 0 για κάθε n ∈ N∗ . Επειδή
S∞
X = n=1 An , τότε συνεπάγεται ότι και m(X) = 0 που είναι άτο-
πο. Εποµένως f (x) < 1 για κάθε x ∈ X . ΄Αρα 0 < f (x) < 1 για κάθε
x ∈ X.
270 Κεφάλαιο 5. Θέµατα Εξετάσεων
1 −x/n
fn (x) = e , x ∈ R.
n
Να ϐρεθεί η f (x) = limn→∞ fn (x) για κάθε x ∈ [0, ∞). Συγκλίνει
R
η (fn ) οµοιόµορφα στο [0, ∞); ∆είξτε ότι limn→∞ [0,∞) fn dm 6=
R
[0,∞) f dm. Γιατί δεν εφαρµόζεται το ϑεώρηµα οµοιόµορφης σύ-
γκλισης ;
(1,2 µον.)
Λύση.
(ϐʹ) Επειδή
1
kfn − 0k∞ = sup {|fn (x)| : x ∈ [0, ∞)} ≤ −−−→ 0 ,
n n→∞
limn→∞ fn (x) = f (x) οµοιόµορφα στο [0, ∞) µε f (x) = 0 για κάθε
x ≥ 0. Για κάθε n ∈ N∗ είναι
1 ∞ −x/n
Z Z
fn (x) dm(x) = e dx = 1
[0,∞) n 0
R R
και εποµένως limn→∞ R fn dm = 1 6= 0 = R f dm. ∆εν εφαρµόζε-
ται το ϑεώρηµα οµοιόµορφης σύγκλισης επειδή m([0, ∞)) = ∞.
1
n3 x3/2
Z x
lim sin dx .
n→∞ 0 1 + n2 x3 n
(1,5 µον.)
Λύση.
3
(αʹ) Για κάθε n ∈ N∗ η fn (x) = 1+n n x
2 x3 sin n είναι συνεχής και µη
αρνητική συνάρτηση στο [0, 1]. Είναι fn (0) = 0 και
sin nx
n2 x 1
lim fn (x) = lim · x = 2 , για κάθε x ∈ (0, 1] .
n→∞ n→∞ 1 + n2 x3 x
n
1
n3
Z x
lim inf 2 3
sin dx
n→∞ 0 1+n x n
Z 1 Z 1
n3 x 1
≥ lim inf 2 3
sin dx = 2
dx = +∞ .
0 n→∞ 1 + n x n 0 x
΄Αρα,
1
n3
Z x
lim sin dx = +∞ .
n→∞ 0 1 + n2 x3 n
3 3/2
(ϐʹ) Για κάθε n ∈ N∗ η fn (x) = 1+nn x x
2 x3 sin n είναι συνεχής και µη
αρνητική συνάρτηση στο [0, 1]. Είναι fn (0) = 0 και
n2 x5/2 sin nx
1
lim fn (x) = lim · x = √ , για κάθε x ∈ (0, 1] .
n→∞ n→∞ 1 + n2 x3 x
n
272 Κεφάλαιο 5. Θέµατα Εξετάσεων
Επίσης
n3 x3/2 x
|fn (x)| = sin
1 + n2 x3 n
3
n x 3/2 x n2 x5/2 1
≤ 2 3
· = 2 3
<√ , για κάθε x ∈ (0, 1]
1+n x n 1+n x x
και το γενικευµένο ολοκλήρωµα
Z 1
1
√ dx = 2
0 x
√
συγκλίνει. Αν g(x) := 1/ x, τότε g ∈ L1 ([0, 1]) και |fn (x)| < g(x)
για κάθε n ∈ N∗ και για κάθε x ∈ (0, 1]. ΄Αρα, από το ϑεώρηµα
κυριαρχηµένης σύγκλισης του Lebesgue
1 Z 1
n3 x3/2
Z x 1
lim sin dx = √ dx = 2 .
n→∞ 0 1 + n2 x3 n 0 x
8 Οκτωβρίου, 2012
Λύση.
A = (A \ B) ∪ (A ∩ B)
µε A \ B ∈ M και A ∩ B = B \ (B \ A) ∈ M. ΄Αρα, A ∈ M.
δείξτε ότι
(1 µον.)
Λύση.
΄Αρα,
(1 µον.)
(ii) Αν En := {x ∈ E : |f (x)| ≥ n}, αποδείξτε ότι για κάθε ε > 0
υπάρχει N ∈ N∗ τέτοιο ώστε
Z
για κάθε n ≥ N είναι f dm < ε .
En
(1 µον.)
Λύση.
Z
ϕ(A) := f + dm ,
A
Παρόµοια έχουµε
Z Z
f − dm = lim f − dm .
T∞
En n→∞ E
n=1 n
Λύση.
Επίσης
x
|fn (x)| = n|f (x)| sin
n
x
≤ n|f (x)| ·
n
= x|f (x)| ≤ |f (x)| , για κάθε x ∈ [0, 1] .
4 Μαρτίου, 2011
Θ1. ΄Εστω (R, M, m) ο χώρος µέτρου του Lebesgue και έστω m∗ το εξωτερικό
µέτρο Lebesgue.
(1,5 µον.)
Λύση.
∞ ∞
! !
[ [
m∗ (A) ≤ m∗ Dn = m Dn ≤ m(G)
n=1 n=1
S∞
και κατά συνέπεια m ( n=1 Dn ) = m∗ (A). ΄Αρα,
∞ ∞ ∞
! !
[ [ X
∗ ∗
m An = m (A) = m Dn = m∗ (An ) .
n=1 n=1 n=1
(0,5 µον.)
Λύση.
Θ3. (B. Levi) ΄Εστω X Lebesgue µετρήσιµο υποσύνολο του R και έστω (fn ),
fn : X → R, µονότονη ακολουθία συναρτήσεων µε fn ∈ L1 (X) για
κάθε n ∈ N∗ . Αν f := limn→∞ fn , να αποδειχθεί ότι η f ∈ L1 (X) αν
R
και µόνο αν το όριο limn→∞ X fn dm είναι πεπερασµένο. Αν το όριο
R
limn→∞ X fn dm είναι πεπερασµένο, τότε
Z Z
f dm = lim fn dm .
X n→∞ X
(1,5 µον.)
τελικά έχουµε
Z Z Z
f χA − f1 χA dm = lim fn dm − f1 dm . (5.2)
X n→∞ X X
(1 µον.)
(ϐʹ) ΄Εστω fn ∈ L1 (X) για κάθε n ∈ N∗
µε limn→∞ fn = f σχεδόν πα-
ντού στο X . Υποθέτουµε ότι για κάθε ε > 0 υπάρχει ένα Lebesgue
µετρήσιµο σύνολο A ⊂ X , µια Lebesgue ολοκληρώσιµη συνάρτηση
g ≥ 0 και ένας n0 ∈ N∗ , έτσι ώστε για κάθε n ≥ n0 είναι
Z
|fn | dm < ε και |fn | ≤ g στο A .
X\A
282 Κεφάλαιο 5. Θέµατα Εξετάσεων
Λύση.
(ϐʹ) Είναι
Z Z
|f | dm = lim |fn | dm
X\A X\A n→∞
Z
≤ lim inf |fn | dm (λήµµα Fatou)
n→∞ X\A
≤ ε.
΄Αρα,
Z Z
lim |fn − f | dm = lim sup |fn − f | dm = 0
n→∞ X n→∞ X
Επίσης |fn (x)| ≤ g(x) για κάθε n ∈ N∗ και για κάθε x ∈ [0, ∞) µε
π/2 αν 0 ≤ x ≤ 1 ,
g(x) =
(π/2)e−x αν x > 1 .
22 Οκτωβρίου, 2011
(0,5 µον.)
Λύση.
(ϐʹ) Είναι
και εποµένως
m∗ (A) ≥ 1 − m∗ (B) .
5.6 Ακαδηµαϊκό έτος 2010–11 285
Λύση.
΄Οµως είναι γνωστό ότι αν µια σειρά συγκλίνει, τότε ο γενικός όρος της
σειράς τείνει στο µηδέν. ΄Αρα, fn −→ f σ .π . στο E .
Λύση. Επειδή
Z
|kfn k1 − kf k1 − kfn − f k1 | = (|fn | − |f | − |fn − f |) dm
ZE
≤ ||fn | − |f | − |fn − f || dm ,
E
288 Κεφάλαιο 5. Θέµατα Εξετάσεων
Επίσης είναι
26 Φεβρουαρίου, 2010
S∞
Θ1. ΄Εστω (X, M, µ) χώρος µέτρου και έστω X = n=1 En , όπου (En ) αριθ-
µήσιµη οικογένεια ξένων ανά δύο µετρήσιµων συνόλων µε µ(En ) < ∞
για κάθε n ∈ N∗ . Ορίζουµε το ν : M → [0, ∞] µε
∞
X 1 µ(A ∩ En )
ν(A) = .
2n µ(En ) + 1
n=1
(αʹ) Να αποδειχθεί ότι το ν είναι ένα ϑετικό µέτρο στο µετρήσιµο χώρο
(X, M) µε ν(X) < ∞. (1 µον.)
(0,5 µον.)
Λύση.
∞ ∞
X 1 µ(En ) X 1
ν(X) = n
≤ = 1 < ∞.
2 µ(En ) + 1 2n
n=1 n=1
συνόλων, τότε
∞ ∞
!
1 µ (( ∞
S
k=1 Ak ) ∩ En )
[ X
ν Ak =
2n µ(En ) + 1
k=1 n=1
∞
1 µ( ∞
S
k=1 (Ak ∩ En ))
X
= n
2 µ(En ) + 1
n=1
∞ ∞
X 1 X µ(Ak ∩ En )
=
2n µ(En ) + 1
n=1 k=1
∞ X∞
X 1 µ(Ak ∩ En )
=
2n µ(En ) + 1
k=1 n=1
∞
X
= ν(Ak ) .
k=1
Θ2. Εστω µ ένα ϑετικό µέτρο στη σ -άλγεβρα M των Lebesgue µετρήσιµων
συνόλων, τέτοιο ώστε µ(I) = `(I) για κάθε ανοικτό διάστηµα I (`(I) είναι
292 Κεφάλαιο 5. Θέµατα Εξετάσεων
(ϐʹ) Αποδείξτε τη γενική περίπτωση, δηλαδή ότι µ(E) = m(E) για κάθε
E ∈ M.
Υπόδειξη. Θεωρείστε την αριθµήσιµη οικογένεια συνόλων (En ) µε
(0,5 µον.)
{x ∈ R : f (x) > 1}, {x ∈ R : f (x) < 1}, {x ∈ R : 1/4 ≤ f (x) < 1}.
(0,5 µον.)
Λύση.
5.7 Ακαδηµαϊκό έτος 2009–10 293
(αʹ) Είναι
∅ αν a < 0 ,
(−∞, 0) αν a = 0 ,
1
{x ∈ R : f (x) ≤ a} = (−∞, 0) ∪ [k + 1, ∞) αν 2k+1 ≤ a < 21k ,
k = 0, 1, 2, . . . ,
αν a ≥ 1 .
R
(1 µον.)
294 Κεφάλαιο 5. Θέµατα Εξετάσεων
Λύση.
(ii) ΄Εστω
fn = nχ[0, 1/2n) − nχ[1/2n, 1/n) , n ∈ N∗ .
Είναι
Z Z Z Z
fn dm = fn dm + fn dm + fn dm
[0, 1] [0, 1/2n) [1/2n, 1/n) [1/n, 1]
1 1 1
=n −n − =0
2n n 2n
και
Z Z Z
|fn | dm = |fn | dm + |fn | dm
[0, 1] [0, 1/2n) [1/2n, 1/n)
Z
+ |fn | dm
[1/n, 1]
1 1 1
= n +n − = 1.
2n n 2n
296 Κεφάλαιο 5. Θέµατα Εξετάσεων
και Z Z
lim |fn | dm = 1 6= 0 = |f | dm .
n→∞ E E
1
fn (x) = , x > 0.
(1 + x/n)n x1/n
(1,5 µον.)
Λύση.
ln(x + n) x+n−1
≤ ≤ 1.
n n
Αν
ln(x + n) −x
fn (x) = e cos x και g(x) = e−x ,
n
5.7 Ακαδηµαϊκό έτος 2009–10 297
τότε |fn (x)| ≤ g(x), για κάθε x ∈ [0, 1] και η g ∈ L1 ([0, 1]). Επειδή
για x ≥ 0
(ϐʹ) Είναι
Z Z Z
fn (x) dm(x) = fn (x) dm(x) + fn (x) dm(x) .
(0, ∞) (0, 1] (1, ∞)
1 1
fn (x) = n 1/n
< 1/2 .
(1 + x/n) x x
η g1 ∈ L1 ((0, 1]).
΄Εστω x ∈ (1, ∞). Τότε x1/n > 1, n ∈ N∗ και
x n n(n − 1) x2 n − 1 2 x2
1+ > · 2 = x ≥ , για κάθε n ≥ 2.
n 2 n 2n 4
Εποµένως για κάθε x ∈ (1, ∞) και για κάθε n ≥ 2
1 4
fn (x) = n 1/n
< 2.
(1 + x/n) x x
298 Κεφάλαιο 5. Θέµατα Εξετάσεων
13 Σεπτεµβρίου, 2010
Θ1. (αʹ) ΄Εστω (X, M, µ) χώρος µέτρου µε µ(X) < ∞ και έστω (An ), (Bn )
αριθµήσιµες οικογένειες µετρήσιµων συνόλων µε Bn ⊂ An για κάθε
n ∈ N∗ . Αποδείξτε πρώτα ότι
∞
! ∞ ∞
[ [ [
An \ Bn ⊂ (An \ Bn )
n=1 n=1 n=1
και στη συνέχεια ότι
∞ ∞ ∞
! !
[ [ X
µ An −µ Bn ≤ (µ(An ) − µ(Bn )) .
n=1 n=1 n=1
(1,3 µον.)
5.7 Ακαδηµαϊκό έτος 2009–10 299
Λύση.
S∞ S∞ S∞ S∞
(αʹ) Αν x ∈ ( n=1 An ) \ n=1 Bn , τότε x ∈ n=1 An και x ∈
/ n=1 Bn .
∗
Εποµένως υπάρχει p ∈ N τέτοιο ώστε x ∈ Ap και x ∈ / Bn , για
κάθε n ∈ N∗ . Τότε, x ∈ Ap \ Bp και αυτό συνεπάγεται ότι x ∈
S∞
n=1 (An \ Bn ). ΄Αρα,
∞ ∞ ∞
!
[ [ [
An \ Bn ⊂ (An \ Bn ) .
n=1 n=1 n=1
∞ ∞ ∞ ∞
! ! ! !!
[ [ [ [
µ An −µ Bn =µ An \ Bn
n=1 n=1 n=1 n=1
S∞ S∞
( n=1 Bn ⊂ n=1 An )
∞
!
[
≤µ (An \ Bn )
n=1
∞
X
≤ µ(An \ Bn )
n=1
(ιδιότητα του µέτρου)
∞
X
= (µ(An ) − µ(Bn )) .
n=1
(Bn ⊂ An για κάθε n ∈ N∗ )
300 Κεφάλαιο 5. Θέµατα Εξετάσεων
En := {x ∈ E : (n − 1) ≤ |f (x)| < n} , n ∈ N∗ ,
S∞
είναι µετρήσιµα και ξένα ανά δύο. Είναι E = n=1 En , οπότε
∞
X ∞
X
m(E) = m(En ) = m ({x ∈ E : (n − 1) ≤ |f (x)| < n}) < ∞ .
n=1 n=1
Επειδή
∞
[
{x ∈ E : |f (x)| ≥ N } = {x ∈ E : (n − 1) ≤ |f (x)| < n} ,
n=N +1
5.7 Ακαδηµαϊκό έτος 2009–10 301
τελικά έχουµε
m ({x ∈ E : |f (x)| ≥ N })
X∞
= m ({x ∈ E : (n − 1) ≤ |f (x)| < n}) < ε .
n=N +1
Z ∞ Z
X
f dm = f dm .
X k=1 Ek
(0,7 µον.)
(γʹ) ΄Εστω Z Z
f dm ≤ g dm ,
E E
Αν
E+ = {x ∈ X : f (x) − g(x) ≥ 0} ,
΄Αρα f = g σ .π . στο X .
Z ∞
Z X ∞ Z
X
f dm = fn dm = fn dm .
E E n=1 n=1 E
(1 µον.)
∞
1
ln2 x X (−1)n
Z
dx = 2 .
0 1 + x2 (2n + 1)3
n=0
(1,5 µον.)
Λύση.
(ϐʹ) Είναι
∞
ln2 x X
= (−1)n x2n ln2 x , |x| < 1, x 6= 0 .
1 + x2
n=0
Επειδή
Z 1 Z 1
2n 2 1 2
x ln x dx = − lim x2n+1 ln2 x − x2n ln x dx
0 2n + 1 x→0+ 2n + 1 0
(παραγοντική ολοκλήρωση)
Z 1
2 2
= lim x2n+1 ln x +
2 x→0+ x2n dx
(2n + 1) (2n + 1)2 0
(παραγοντική ολοκλήρωση)
2
= ,
(2n + 1)3
τότε
∞ Z 1 ∞
X
(−1)n x2n ln2 x dx = 2
X 1
< ∞.
(2n + 1)3
n=0 0 n=0
304 Κεφάλαιο 5. Θέµατα Εξετάσεων
΄Αρα,
∞
!
1
ln2 x 1
Z Z X
dx = (−1)n x2n ln2 x dx
0 1 + x2 0 n=0
∞
X Z 1
n
= (−1) x2n ln2 x dx (Θεώρηµα B. Levi)
n=0 0
∞
X (−1)n
=2 .
(2n + 1)3
n=0
Λύση. Είναι
Z Z Z
−t −t
|e ln t| dm(t) = |e ln t| dm(t) + |e−t ln t| dm(t) .
(0, ∞) (0, 1] (1, ∞)
Επειδή
|e−t ln t|
= lim e−t = 1 lim
t→0+ | ln t| t→0+
R1 R1
και το γενικευµένο ολοκλήρωµα 0 | ln t| dt = − 0 ln t dt = 1 συγκλί-
νει, από το οριακό κριτήριο σύγκρισης και το γενικευµένο ολοκλήρωµα
R1
0|e−t ln t| dt ϑα συγκλίνει. Εποµένως f (t) = e−t ln t ∈ L1 ((0, 1]).
Επειδή για κάθε t ≥ 1
lim fn (t) = e−t ln t και |fn (t)| < |e−t ln t| , για κάθε t > 0 .
n→∞
Εποµένως,
Z n n Z
t
lim 1− ln t dt = lim fn (t) dm(t)
n→∞ 0 n n→∞ (0, ∞)
Z
= lim fn (t) dm(t)
(0, ∞) n→∞
(ϑεώρηµα κυριαρχηµένης σύγκλισης του Lebesgue)
Z Z ∞
−t
= e ln t dm(t) = e−t ln t dt .
(0, ∞) 0
306 Κεφάλαιο 5. Θέµατα Εξετάσεων
Λύση.
Επίσης
΄Αρα,
∞
!
\
m∗ An = 0 < m∗ (E) ≤ lim m∗ (An ) .
n→∞
n=1
(0,7 µον.)
Λύση.
308 Κεφάλαιο 5. Θέµατα Εξετάσεων
(ϐʹ) ΄Εστω
(γʹ) ΄Εστω ότι το E δεν είναι σύνολο πυκνό στο I = (0, 1). Τότε υπάρχει
x ∈ I και περιοχή (x − δ, x + δ) του x, τέτοια ώστε
(x − δ, x + δ) ∩ E = ∅ .
P∞
Θ 3. (αʹ) Αν f = όπου οι συναρτήσεις fn : E → [0, ∞], E ∈ M,
n=1 fn ,
είναι µετρήσιµες, δείξτε ότι
Z ∞ Z
X
f dm = fn dm .
E n=1 E
(0,8 µον.)
∞ ∞
X
n1 X 1
(−1) και (−1)n .
n+1 2n + 1
n=0 n=0
(1,2 µον.)
Λύση.
xp−1 xp−1 (1 − xq )
q
=
1+x 1 − x2q
∞
X ∞
X
= xp−1 (1 − xq ) x2qn = (1 − xq )xp−1+2nq .
n=0 n=0
Αν
fn (x) := (1 − xq ) xp−1+2nq , x ∈ [0, 1) ,
310 Κεφάλαιο 5. Θέµατα Εξετάσεων
΄Αρα,
1 ∞
xp−1
Z
X 1 1
q
dx = − .
0 1+x p + 2nq p + (2n + 1)q
n=0
Για p = 1, q = 2 παίρνουµε
∞ Z 1
X
n 1 1 π
(−1) = dx = arctan 1 = .
2n + 1 0 1 + x2 4
n=0
(0,5 µον.)
(γʹ) ΄Εστω f ∈ L1 (E), όπου E ∈ M. ∆είξτε ότι για κάθε ε > 0 υπάρχει
Lebesgue µετρήσιµο σύνολο Aε ⊆ E τέτοιο ώστε m (Aε ) < ∞ και
Z Z
|f | dm < |f | dm + ε .
E Aε
(1,5 µον.)
Υπόδειξη. ΄Εστω
Λύση.
Εποµένως, Z Z
lim |f | dm = |f | dm .
n→∞ A E
n
και ισοδύναµα
Z Z
|f | dm < |f | dm + ε .
E AN
∞ [
\ ∞ ∞ \
[ ∞
lim sup An = Ak και lim inf An = Ak .
n=1 k=n n=1 k=n
χ S∞
k=n Ak
= sup χAk και χT ∞
k=n Ak
= inf χ Ak .
k≥n k≥n
5.8 Ακαδηµαϊκό έτος 2008–9 313
lim sup χAn = χlim sup An και lim inf χAn = χlim inf An .
(0,8 µον.)
Λύση.
(αʹ) Είναι
∞
\
χT ∞
k=n Ak
(x) = 1 ⇐⇒ x ∈ Ak
k=n
⇐⇒ x ∈ Ak , ∀k ≥ n
⇐⇒ χAk (x) = 1 , ∀k ≥ n
2 Σεπτεµβρίου, 2009
(1,2 µον.)
Λύση.
5.8 Ακαδηµαϊκό έτος 2008–9 315
(ϐʹ) Από το (α΄) για κάθε ε > 0 υπάρχει ανοικτό σύνολο G ⊃ E , τέτοιο
ώστε
m(G) − m(E) = m (G \ E) < ε .
∞
X ∞
X
m (G) = m (In ) = ` (In ) < ∞,
n=1 n=1
P∞ ∗
η σειρά n=1 m (In ) συγκλίνει και εποµένως υπάρχει N ∈ N τέ-
P ∞
τοιο ώστε n=N +1 m (In ) < ε. ΄Αρα,
N N
! !
[ [
m E\ In ≤m G\ In
n=1 n=1
∞ ∞
!
[ X
=m In = m (In ) < ε .
n=N +1 n=N +1
S∞
Επειδή G = n=1 In , είναι
N
!
[
m In \ E ≤ m (G \ E) < ε .
n=1
Θ2. (αʹ) ΄Εστω E υποσύνολο του R. Υποθέτουµε ότι για κάθε ε > 0 υπάρχει
κλειστό σύνολο Fε ⊂ E , τέτοιο ώστε
m∗ (E \ Fε ) < ε .
Fc := {x ∈ F : f (x) ≥ c}
Λύση.
Fc := {x ∈ F : f (x) ≥ c} = Ac ∩ F
Να αποδειχθεί ότι
(1,5 µον.)
Υπόδειξη. ΄Εστω ότι δεν ισχύει η (5.3). Τότε υπάρχει ε > 0 τέτοιο
ώστε
Z
∗ 1
∀ n ∈ N , ∃ An ∈ M , m(An ) < n και |f | dm ≥ ε .
2 An
S∞
Αν Bn = k=n Ak , δείξτε ότι
∞
Z !
\
T∞ |f | dm ≥ ε και m Bn = 0.
n=1 Bn n=1
Λύση.
Από την (α΄) το ϕ είναι ένα ϑετικό µέτρο στη σ-άλγεβρα M των Le-
T∞
besgue µετρήσιµων συνόλων. Επειδή Bn & n=1 Bn , µε ϕ(Bn ) =
R
Bn |f | dm < ∞, από γνωστή ιδιότητα του µέτρου
Z Z
|f | dm = lim f | dm ≥ ε .
T∞
Bn n→∞ B
n=1 n
Επειδή m(Bn ) ≤ 1/2n−1 < ∞, από την ίδια ιδιότητα για το µέτρο
Lebesgue
∞
!
\ 1
m Bn = lim m(Bn ) ≤ lim =0
n→∞ n→∞ 2n−1
n=1
T∞
και εποµένως m ( n=1 Bn ) = 0. ΄Αρα,
Z
0= T∞ |f | dm ≥ ε . (άτοπο)
n=1 Bn
∞ ∞
X X 1
m(An ) ≤ = 1,
2n
n=1 n=1
T∞
το ότι m ( n=1 Bn ) = 0 προκύπτει και από το λήµµα των Borel-
Cantelli.
F (t + hn ) − F (t)
Z
lim = −2πi xf (x)e−2πitx dm(x) .
n→∞ hn R
(1,5 µον.)
Λύση.
(αʹ) Επειδή από την υπόθεση kϕk∞ = sup {|ϕ(x)| : x ∈ R} < ∞, είναι
|f (x)ϕ(t − x)| ≤ kϕk∞ |f (x)| ∈ L1 (R) και η F είναι καλά ορισµένη.
Επειδή
Z Z
|F (t)| ≤ |f (x)ϕ(t − x)| dm(x) ≤ kϕk∞ |f (x)| dm(x) ,
R R
fn (x) := f (x)ϕ(tn − x) ,
eiu − e−iu
e−2iu −1 = e−iu (e−iu −eiu ) = −2ie−iu · = −2ie−iu sin u ,
2i
µε u = πhn x ∈ R. Επειδή
sin πhn x −πih x −2πitx = |f (x)| |sin πhn x|
f (x) n
e e
πhn |πhn |
|πhn x|
≤ |f (x)| = |xf (x)| = |g(x)|
|πhn |
και η g ∈ L1 (R), από το ϑεώρηµα κυριαρχηµένης σύγκλισης του
Lebesgue
F (t + hn ) − F (t)
lim
n→∞ h
Z n
sin πhn x −πihn x −2πitx
= −2πi lim f (x) e e dm(x)
n→∞ πhn
ZR
= −2πi xf (x) e−2πitx dm(x) .
R
5.8 Ακαδηµαϊκό έτος 2008–9 321
Ας σηµειωθεί ότι
Z Z
lim f dm = f dm .
N →∞ [a,N ) [a,∞)
(1 µον.)
(ϐʹ) ΄Εστω
∞
X (−1)n
f (x) = χ[n, n+1) (x) .
n
n=1
R R
Εξετάστε αν [1,∞) |f | dm < ∞ και αν το όριο limN →∞ [1,N ) f dm
υπάρχει, N ∈ N∗ . (1 µον.)
Λύση.
(αʹ) Επειδή f χ[a, N ) ≤ |f |, όπου f ∈ L1 ([a, ∞)) και
υπάρχει.
Σηµείωση. Η f (x) = sinx x είναι ένα άλλο παράδειγµα συνάρτησης
για την οποία έχουµε
Z
sin x
x dm(x) = ∞
[0,∞)
και Z Z ∞
sin x sin x π
lim dm(x) = dx = .
N →∞ [0,N ) x 0 x 2
5.9 Ακαδηµαϊκό έτος 2007–8 323
26 Φεβρουαρίου, 2008
Θ1. (αʹ) Από τον ορισµό, η Borel σ -άλγεβρα B παράγεται από τα ανοι-
κτά σύνολα του R. Ζητείται να αποδειχθεί ότι η Borel σ -άλγεβρα
παράγεται επίσης από τα κλειστά και ϕραγµένα διαστήµατα E =
{[a, b] : a < b}. (0,7 µον.)
M = {A ⊆ R : f (A) ∈ B} ,
Λύση.
(αʹ) ΄Εστω σ (E) η σ -άλγεβρα που παράγεται από την E . Επειδή κά-
ϑε ανοικτό σύνολο είναι ένωση αριθµήσιµου το πλήθος κλειστών
και ϕραγµένων διαστηµάτων, τα ανοικτά σύνολα ανήκουν στη σ -
άλγεβρα σ (E) και εποµένως B ⊆ σ (E). ΄Οµως τα κλειστά και
ϕραγµένα διαστήµατα είναι κλειστά σύνολα και εποµένως ανήκουν
στη σ -άλγεβρα B. Εποµένως σ (E) ⊆ B. ΄Αρα, B = σ (E).
E ∈ M, επειδή
f (E c ) = f (R \ E) = R \ f (E) ,
En = {x ∈ E : n − 1 ≤ |f (x)| < n} , n ∈ N∗ ,
Λύση.
∞
X 1
g(x) = χEn (x)
n2 m(En )
n=1
Z Z
|g(x)| dm(x) = S∞ |g(x)| dm(x)
E n=1 En
∞ Z
X
= |g(x)| dm(x) (από τη (ϐ΄))
n=1 En
∞ ∞
X 1 X 1
= m(En ) = < ∞,
n2 m(En ) n2
n=1 n=1
η g ∈ L1 (E).
Επειδή
τότε και
Θ3. (αʹ) (Λήµµα Borel- Cantelli) Αν (En ) είναι ακολουθία Lebesgue µε-
P∞
τρήσιµων συνόλων µε n=1 m(En )
< +∞, να αποδειχθεί ότι το
σύνολο των σηµείων που ανήκουν σε άπειρα το πλήθος En , δηλαδή
T∞ S∞
το lim En := n=1 k=n Ek , έχει µέτρο µηδέν. (1 µον.)
(0,5 µον.)
5.9 Ακαδηµαϊκό έτος 2007–8 327
Λύση.
οπότε
∞ ∞
X X √
m (En ) ≤ cn < ∞ .
n=1 n=1
Εποµένως, από το λήµµα των Borel– Cantelli είναι m lim En = 0.
/ lim En , τότε υπάρχει N = N (x) ∈ N∗ τέτοιο ώστε x ∈
Αν x ∈ /
S∞
Ek και κατά συνέπεια x ∈
k=N / En , για κάθε n ≥ N . ΄Αρα, σχεδόν
√
για όλα τα x ∈ [0, 1] και για κάθε n ≥ N είναι fn (x) ≤ cn .
(1,5 µον.)
Λύση.
(ϐʹ) Επειδή το Z, καθώς επίσης και κάθε υποσύνολο του Z είναι σύνολο
κλειστό, από το (α΄) το A ∈ M. Παρατηρούµε ότι sin π2 f (x) = 1
΄Αρα,
Z 1
π n
lim sin f (x) dx
n→∞ 0 2
Z π n
= m(A) + lim sin f (x) dx
n→∞ [0,1]\A 2
= m(A) .
5.9 Ακαδηµαϊκό έτος 2007–8 329
3 Σεπτεµβρίου, 2008
m (G \ E) < ε .
(1,5 µον.)
Λύση.
(ϐʹ) Από το (α΄) για κάθε n ∈ N∗ υπάρχει ανοικτό σύνολο G0n µε G0n ⊇ E ,
τέτοιο ώστε
1
m(G0n ) < m(E) + .
n
T∞
Κατά συνέπεια m(G0n ) < ∞ και επειδή E ⊆ n=1 G0n ⊆ G0n , είναι
∞
!
\ 1
m(E) ≤ m Gn ≤ m(G0n ) < m(E) + ,
0
n
n=1
T∞
για κάθε n ∈ N∗ . Εποµένως, m ( n=1 G0n ) = m(E).
Tn
Θεωρούµε τώρα τα ανοικτά σύνολα Gn := k=1 G0k . Τότε E ⊆ Gn
και m(Gn ) < ∞ για κάθε n ∈ N∗ . Επειδή
∞
\ ∞
\
Gn & Gn = G0k και m(G1 ) = m(G01 ) < ∞ ,
n=1 k=1
330 Κεφάλαιο 5. Θέµατα Εξετάσεων
τελικά έχουµε
∞ ∞
! !
\ \
lim m(Gn ) = m Gn =m G0k = m(E) .
n→∞
n=1 k=1
Eε := {x ∈ E : |f (x)| ≤ 1 − ε} .
Λύση.
΄Αρα,
f1 + f2
|f1 | ≤ 1 , |f2 | ≤ 1 και f = .
2
Λύση.
(γʹ) ΄Εστω limn→∞ fn = g σχεδόν παντού στο E . Τότε, από γνωστή πρό-
ταση η συνάρτηση g είναι µετρήσιµη στο E και
Z Z
|g − f | dm = lim |fn − f | dm
E E n→∞
Z
≤ lim inf |fn − f | dm (λήµµα Fatou)
n→∞ E
Z
= lim |fn − f | dm = 0 .
n→∞ E
R
Εποµένως E |g − f | dm = 0 και από το (α΄) έπεται ότι g = f σχεδόν
παντού στο E . ΄Αρα, limn→∞ fn = f σχεδόν παντού στο E .
Θ4. (αʹ) Να εξεταστεί αν υπάρχει ακολουθία συναρτήσεων στο [0, 2π] της µορ-
ϕής
fn (x) = an cos(nx) + bn sin(nx) ,
(1 µον.)
Λύση.
(αʹ) ΄Εστω ότι υπάρχει τέτοια ακολουθία συναρτήσεων στο [0, 2π]. Οι fn
είναι συνεχείς συναρτήσεις και
Z 2π Z 2π
fn (x) dx = (an cos(nx) + bn sin(nx)) dx
0 0
x=2π
1
= (an sin(nx) − bn cos(nx)) = 0,
n x=0
Αν
fn (x) := etx ehn x − 1 f (x) ,
lim fn (x) = 0 .
n→∞
Από την υπόθεση g(t) = [0,∞) etx f (x) dm(x) < ∞, για κάθε t ≥ 0.
R
|fn − f |
Z
ε ε
m(En ) ≤ dm ≤ m(En ) + m(E \ En ) .
1+ε E 1 + |fn − f | 1+ε
(5.5)
(1 µον.)
m
(ϐʹ) Αν m(E) < ∞, να αποδειχθεί ότι fn −→ f αν και µόνο αν
|fn − f |
Z
lim dm = 0 .
n→∞ E 1 + |fn − f |
(0,7 µον.)
5.9 Ακαδηµαϊκό έτος 2007–8 335
1
(γʹ) ΄Εστω η ακολουθία συναρτήσεων (fn ), µε fn (x) = nx , ορισµένη στο
m
διάστηµα E = (0, ∞). Να αποδειχθεί ότι fn −→ 0 στο (0, ∞) και
|fn |
Z
lim dm 6= 0 .
n→∞ (0,∞) 1 + |fn |
Τι συµπεραίνετε για το (ϐ΄); (1 µον.)
Λύση.
Εποµένως,
|fn − f | |fn − f |
Z Z
dm ≥ dm
E 1 + |fn − f | 1 + |fn − f |
ZEn
ε ε
≥ dm = m(En ) .
En 1+ε 1+ε
m
(ϐʹ) ΄Εστω fn −→ f , δηλαδή limn→∞ m(En ) = 0. Αν m(E) = c < ∞,
τότε m (E \ En ) ≤ c, για κάθε n ∈ N∗ και από τη δεξιά ανισότητα
της (5.5) προκύπτει ότι
|fn − f |
Z
ε
lim dm ≤ c < cε .
n→∞ E 1 + |fn − f | 1+ε
Εποµένως, για κάθε ε > 0
|fn − f |
Z
lim dm < cε
n→∞ E 1 + |fn − f |
336 Κεφάλαιο 5. Θέµατα Εξετάσεων
9 Φεβρουαρίου, 2005
m(E \ K) < ε .
(1 µον.)
Λύση.
ε ε
m(E) − m (En0 ) < και ισοδύναµα m(E) < m (En0 ) + .
2 2
Από το (α΄) υπάρχει κλειστό σύνολο K µε K ⊆ En0 και m (En0 \ K)
= m (En0 ) − m(K) < ε/2. ∆ηλαδή m (En0 ) < m(K) + ε/2. ΄Αρα,
m(E) < m(K)+ε και ισοδύναµα m (E \ K) < ε. Επειδή K ⊆ En0 ,
το K είναι κλειστό και ϕραγµένο και εποµένως συµπαγές σύνολο.
338 Κεφάλαιο 5. Θέµατα Εξετάσεων
(1 µον.)
∞
\
{x ∈ E : f (x) ≥ a} = {x ∈ E : f (x) ≥ rn }
n=1
Θ3. ΄Εστω f ∈ L1 (E), όπου E είναι ένα Lebesgue µετρήσιµο υποσύνολο του
R.
(1,2 µον.)
R
΄Αρα, limc→∞ Ec |f | dm = 0.
R
(ϐʹ) Από το (α΄), για κάθε ε > 0 υπάρχει c > 0 τέτοιο ώστε Ec |f | dm <
ε/2. ΄Εστω 0 < δ ≤ ε/2c. Αν το A ⊆ E είναι µετρήσιµο σύνολο µε
m(A) < δ , επειδή E \ Ec = {x ∈ E : |f (x)| < c}, τότε
Z Z Z
|f | dm = |f | dm + |f | dm
A A∩Ec A∩(E\Ec )
(ϐʹ) ΄Εστω {r1 , r2 , . . . , rn , . . .} µια αρίθµηση των ϱητών αριθµών στο [0, 1]
P∞
και έστω (an ) πραγµατική ακολουθία µε n=1 |an |
< ∞. ∆είξτε ότι
P∞
η σειρά n=1 an |x − rn |−1/2 συγκλίνει απόλυτα σ .π . στο [0, 1].
(1 µον.)
(1 µον.)
Λύση.
(αʹ) Για την απόδειξη της ισότητας παραπέµπουµε στο [17]. Αν υποθέ-
P∞ R
σουµε ότι n=1 E |fn (x)| dm(x) < ∞, τότε
∞
Z X
|fn (x)| dm(x) < ∞
E n=1
P∞
και αυτό συνεπάγεται ότι η σειρά n=1 |fn (x)|
< ∞ σ .π . στο E .
P∞
΄Αρα, η σειρά n=1 fn (x) συγκλίνει απόλυτα σ .π . στο E .
Εποµένως,
∞ ∞
X Z √ X
|an | |x − rn |−1/2 dm(x) ≤ 2 2 |an | < ∞ .
n=1 [0,1] n=1
P∞ −1/2
΄Αρα, από το (α΄) (Θεώρηµα B. Levi) η σειρά n=1 an |x − rn | ϑα
συγκλίνει απόλυτα σ .π . στο [0, 1].
√ n
(γʹ) Η fn (x) := 1− sin x
cos x είναι ακολουθία µη αρνητικών συ-
νεχών συναρτήσεων στο διάστηµα [0, π/2] και από γνωστό ϑεώρηµα
Z √ n Z π/2 √ n
1− sin x cos x dm(x) = 1− sin x cos x dx .
[0, π/2] 0
5.10 Ακαδηµαϊκό έτος 2004–5 341
nx ln x
Θ5. ΄Εστω fn (x) = , x ∈ (0, 1]. Να υπολογιστεί, αν υπάρχει, το όριο
1 + n2 x2
Z
lim fn (x) dm(x) .
n→∞ (0,1]
nx| ln x| nx| ln x| | ln x|
|fn (x)| = 2 2
≤ =
1+n x 2nx 2
και η συνάρτηση g(x) := | ln x|/2 είναι Lebesgue ολοκληρώσιµη στο
(0, 1]. Πράγµατι, χρησιµοποιώντας παραγοντική ολοκλήρωση εύκολα
αποδεικνύεται ότι το γενικευµένο ολοκλήρωµα
1 1
| ln x|
Z Z
1 1
dx = − ln x dx = ,
0 2 2 0 2
30 Αυγούστου, 2005
(αʹ) ∆είξτε ότι υπάρχει ένα Lebesgue µετρήσιµο σύνολο G (ένα Gδ σύνο-
λο), τέτοιο ώστε
(1 µον.)
(ϐʹ) Αν το A δεν είναι Lebesgue µετρήσιµο, δείξτε ότι για κάθε Lebesgue
µετρήσιµο σύνολο M ⊃ A είναι m∗ (M \ A) > 0. (0,5 µον.)
Λύση.
m∗ (B) = m∗ (B ∩ A) + m∗ (B ∩ Ac ) = m(A) + m∗ (B \ A) .
m∗ (B \ A) = m∗ (B) − m(A) .
Θ2. (αʹ) ΄Εστω το σύνολο A ⊂ R δεν είναι Lebesgue µετρήσιµο και έστω η
συνάρτηση f , µε
x2 αν x ∈ A ,
f (x) =
−x2 αν x ∈ Ac .
Λύση.
En = {x ∈ E : n − 1 ≤ |f (x)| < n} , n ∈ N∗ .
∆ηλαδή η g ∈ L1 (E).
(ϐʹ) Είναι
΄Αρα, Z
|f (x)g(x)| dm(x) = ∞ ,
E
δηλαδή η συνάρτηση f g δεν είναι ολοκληρώσιµη στο E .
346 Κεφάλαιο 5. Θέµατα Εξετάσεων
Λύση.
ln(x + n) x+n
< ≤ 1 + x.
n n
Αν
ln(x + n) −x
fn (x) = e cos x και g(x) = (1 + x)e−x ,
n
τότε |fn (x)| < g(x) για κάθε x > 0. Χρησιµοποιώντας παραγοντική
ολοκλήρωση το γενικευµένο ολοκλήρωµα
Z ∞ Z ∞ Z ∞ Z ∞
−x −x
g(x) dx = e dx + xe dx = 2 e−x dx = 2 ,
0 0 0 0
Z
ln(x + n) −x
lim e cos x dm(x)
n→∞ (0,∞) n
Z
ln(x + n) −x
= lim e cos x dm(x) = 0 .
(0,∞) n→∞ n
∞ Z
X ∞
Z X
fn (x) dm(x) = fn (x) dm(x) .
n=1 E E n=1
(1 µον.)
n π/2 cosn x dx
P∞ R
(ϐʹ) Να αποδειχθεί ότι η σειρά n=0 (−1) 0 συγκλίνει και
να υπολογιστεί το άθροισµά της. (1,5 µον.)
Λύση.
PN
(αʹ) Από την υπόθεση n=1 fn ∈ L1 (E), N ∈ N∗ και εποµένως
∞ ∞ N
Z Z !
X X X
fn (x) dm(x) = fn (x) − fn (x) dm(x)
E n=N +1 E n=1 n=1
∞
Z X N
Z X
= fn (x) dm(x) − fn (x) dm(x)
E n=1 E n=1
Z X ∞ N
XZ
= fn (x) dm(x) − fn (x) dm(x) .
E n=1 n=1 E
348 Κεφάλαιο 5. Θέµατα Εξετάσεων
R P∞
΄Οµως limN →∞ E n=N +1 fn (x) dm(x) = 0, οπότε
∞ Z
X N Z
X
fn (x) dm(x) = lim fn (x) dm(x)
N →∞
n=1 E n=1 E
Z ∞
X
= fn (x) dm(x) .
E n=1
∞
Z Z
π/2 X π/2
cosN +1 x
(−1)n cosn x dx = dx
1 + cos x
0 0
n=N +1
Z π/2
≤ cosN +1 x dx .
0
R π/2 P∞ n n
Εποµένως limN →∞ 0 n=N +1 (−1) cos x dx = 0. Επίσης, για
κάθε x ∈ (0, π/2] είναι
∞
X 1
(−1)n cosn x = (γεωµετρική σειρά)
1 + cos x
n=0
και η σειρά είναι ολοκληρώσιµη στο [0, π/2]. ΄Αρα, από το (α΄) η
n π/2 cosn x dx
P∞ R
σειρά n=0 (−1) 0 συγκλίνει και
∞
X Z π/2 Z ∞
π/2 X
(−1)n cosn x dx = (−1)n cosn x dx
n=0 0 0 n=0
Z π/2
1
= dx
0 1 + cos x
Z π/2
1
= cos−2 (x/2) dx
2 0
x=π/2
= tan(x/2)|x=0 = 1.
5.10 Ακαδηµαϊκό έτος 2004–5 349
Pn
2ος τρόπος. Η fn (x) := k=0 (−1)
k cosk x, n ∈ N∗ , είναι ακολουθία
µη αρνητικών συνεχών συναρτήσεων τέτοια ώστε
1 − (−1)n+1 cosn+1 x 2
fn (x) = ≤ , x ∈ [0, π/2] .
1 + cos x 1 + cos x
Επειδή για κάθε x ∈ (0, π/2]
∞
X 1
lim fn (x) = (−1)k cosk x =
n→∞ 1 + cos x
k=0
4 Μαρτίου, 2004
Θ 1. (αʹ) ΄Εστω E ⊆ R.
(1 µον.)
(ii) ∆είξτε ότι υπάρχει ακολουθία ανοικτών συνόλων (Gn ) µε Gn ⊇
E για κάθε n ∈ N∗ , τέτοια ώστε m∗ (E) = m ( ∞
T
n=1 Gn ).
(1 µον.)
Λύση.
1
R1
Εφαρµογή. Χρησιµοποιώντας το ολοκλήρωµα 0 1+x 2 dx, να υπολο-
P∞ n 1
γιστεί το άθροισµα της σειράς n=0 (−1) 2n+1 .
(1,5 µον.)
∆είξτε ότι η φ είναι ένα ϑετικό µέτρο στη σ -άλγεβρα M των Lebesgue
µετρήσιµων συνόλων. (1 µον.)
Λύση.
∞ ∞
1 X
n 2n
X
= (−1) x = x4n (1 − x2 ) , |x| < 1
1 + x2
n=0 n=0
352 Κεφάλαιο 5. Θέµατα Εξετάσεων
Θ 3. (αʹ) ΄Εστω
n2 x
fn (x) := ,
(1 + n2 x2 ) ln n
για κάθε ϕυσικό αριθµό n ≥ 2 και για κάθε 0 ≤ x ≤ 1,
(i) Να υπολογιστεί το όριο
Z 1
lim fn (x) dx .
n→∞ 0
Λύση.
5.11 Ακαδηµαϊκό έτος 2003–4 353
(αʹ) (i)
1 Z 1
n2 x
Z
1
lim fn (x) dx = lim dx
n→∞ 0 n→∞ ln n 0 1 + n2 x2
ln(1 + n2 )
= lim
n→∞ 2 ln n
ln(1 + t2 )
= lim
t→∞ 2 ln t
t2
= lim = 1 . (κανόνας L’Hôpital)
t→∞ 1 + t2
En := {x ∈ E : n ≤ |f (x)| < n + 1} , n ∈ N,
΄Οµως
∞
Z X ∞
X Z ∞
X
nχEn (x) dm(x) = n χEn (x) dm(x) = nm(En )
E n=0 n=0 E n=0
και παρόµοια
∞
Z X ∞
X
(n + 1)χEn (x) dm(x) = (n + 1)m(En ) .
E n=0 n=0
Από τις παραπάνω ανισότητες είναι προφανές ότι f ∈ L1 (E) αν και µόνο
P∞ P∞
αν η σειρά n=0 nm(En ) συγκλίνει, δηλαδή n=0 nm(En ) < ∞.
An := {x ∈ E : |f (x)| ≥ n} , n ∈ N,
δείξτε ότι
N
X N
X ∞
X
m(An ) = nm(En ) + N · m(En ) , N ∈ N∗ .
n=1 n=0 n=N +1
356 Κεφάλαιο 5. Θέµατα Εξετάσεων
S∞
Απόδειξη. (αʹ) Είναι An = k=n Ek , όπου (Ek ) είναι ακολουθία µετρή-
P∞
σιµων συνόλων ξένων ανά δύο. Εποµένως, m(An ) = k=n m(Ek )
και κατά συνέπεια
N
X N
X ∞
X
m(An ) = nm(En ) + N · m(En ) , N ∈ N∗ .
n=1 n=0 n=N +1
P∞
Αν f ∈ L1 (E), από το προηγούµενο ϑέµα η σειρά n=0 nm(En )
συγκλίνει και εποµένως
∞
X ∞
X
lim N · m(En ) ≤ lim nm(En ) = 0 .
N →∞ N →∞
n=N +1 n=N +1
΄Αρα,
∞
X N
X ∞
X
m(An ) = lim m(An ) = nm(En ) < ∞ .
N →∞
n=1 n=1 n=0
P∞
Αντίστροφα, αν n=0 m(An ) < ∞, τότε
N
X N
X ∞
X ∞
X
nm(En ) = m(An ) − N · m(En ) ≤ m(An ) < ∞
n=0 n=1 n=N +1 n=1
P∞
και εποµένως n=0 nm(En ) < ∞. ΄Αρα από το προηγούµενο ϑέµα
η f ∈ L1 (E).
5.11 Ακαδηµαϊκό έτος 2003–4 357
30 Σεπτεµβρίου, 2004
Λύση.
(ϐʹ) Από την (α΄) η g , καθώς επίσης και οι g + , g − είναι µετρήσιµες στο E .
Οι συναρτήσεις f + , f − και g + , g − είναι µετρήσιµες στα µετρήσιµα
σύνολα A = {x ∈ E : f (x) 6= g(x)} και E \ A. Είναι m(A) = 0 και
g + = f + , g − = f − στο E \ A. Επειδή η f είναι ολοκληρώσιµη στο
E , ϑα είναι
Z Z Z
+ +
g dm = g dm + g + dm
E A E\A
Z
= g + dm
E\A
Z
= f + dm
E\A
Z Z
+
= f dm + f + dm
A E\A
Z
= f + dm < ∞
E
(1 µον.)
Να αποδειχθεί ότι
(1 µον.)
Λύση.
(ϐʹ) Είναι
(ϐʹ) Αν f ∈ L1 (0, 1), δείξτε ότι xn f (x) ∈ L1 (0, 1), για κάθε n ∈ N∗ και
ότι Z
lim xn f (x) dm(x) = 0 .
n→∞ (0,1)
(1 µον.)
Λύση.
(1,5 µον.)
n
Λύση. ΄Εστω fn (x) := (1 − x/n) eαx χ[0,n) (x), για κάθε n ∈ N∗ . Τότε
limn→∞ fn (x) = e(α−1)x , για κάθε x ≥ 0. Επειδή e−x/n ≥ 1 − x/n, για
κάθε x ≤ n ϑα είναι (1−x/n)n ≤ e−x οπότε και (1−x/n)n eαx ≤ e(α−1)x .
Εποµένως, 0 ≤ fn (x) ≤ e(α−1)x , για κάθε x ≥ 0. ΄Οµως
Z ∞ Z r
(α−1)x
e dx = lim e(α−1)x dx
0 r→∞ 0
1 1
= lim e(α−1)r − 1 = .
α − 1 r→∞ 1−α
Λύση.
Εποµένως,
∞ Z ∞
X X 1 1
|fn − fn−1 | dm ≤ +
R n2 (n − 1)2
n=2 n=2
∞ ∞
X 1 X 1
= 2
+ < ∞.
n (n − 1)2
n=2 n=2
P∞
΄Αρα, από το ϑεώρηµα B. Levi η σειρά n=2 (fn (x) − fn−1 (x)) συ-
γκλίνει σχεδόν παντού στο R και το άθροισµά της είναι µια ολοκλη-
ϱώσιµη συνάρτηση.
P∞
(ϐʹ) ΄Εστω g(x) := f1 (x) + k=2 (fk (x) − fk−1 (x)). Από το (α΄) η g ∈
L1 (R) και
n
!
X
lim fn (x) = lim f1 (x) + (fk (x) − fk−1 (x)) = g(x)
n→∞ n→∞
k=2
5.11 Ακαδηµαϊκό έτος 2003–4 363
365
366 ΒΙΒΛΙΟΓΡΑΦΙΑ
[15] G. Letac, Exercises and Solutions Manual for Integration and Probability:
by Paul Malliavin, Springer–Verlag, 1995.
[22] J. Yeh, Problems and Proofs in Real Analysis: Theory of Measure and
Integration, World Scientific Publishing Company, 2014.