Professional Documents
Culture Documents
Pro02-Funcions Mesurables, Integral I Teoremes de Convergència
Pro02-Funcions Mesurables, Integral I Teoremes de Convergència
Pro02-Funcions Mesurables, Integral I Teoremes de Convergència
14) Siguin fm : Rn → R funcions mesurables (m ∈ N). Demostreu que els següents conjunt són
mesurables:
1. A = {x ∈ Rn : ∃ limm→∞ fm (x)}.
19) Sigui f : Rn −→ [0, +∞] integrable tal que f (Rn ) ⊂ N ∪ {+∞}. Es defineixen, per a tot k ∈ N,
Ak = {x ∈ Rn : f (x) = k} i Bk = {x ∈ Rn : f (x) ≥ k}. Demostreu:
Z ∞
X Z ∞
X
a) f= k|Ak | i b) f= |Bk |.
Rn k=1 Rn k=1
21) Siguin fn : R −→ R (n ∈ N) funcions mesurables tals que la successió (fn )n és puntualment
convergent cap a 0. Suposem que, per a tot n ∈ N i tot x ∈ R, es compleix |fn (x)| ≤ |x|−1/2 e−|x| .
Demostreu que és convergent la successió (|An |)n de les mesures dels conjunts An = {x ∈ R :
|fn (x)| ≥ 1} i calculeu el seu lı́mit.
1
22) Sigui (fn )n la successió de funcions de R en R definidesR
per fn (x) = 2n χ[0,n) (|x|), essent χ la
funció caracterı́stica. Calculeu el lı́mit de la successió ( R fn )n , estudieu la convergència de (fn )n i
calculeu la integral del lı́mit. Per què no es pot aplicar cap teorema de convergència?
23) Sigui f : Rm −→ [0, +∞) una funció integrable.
2. Proveu que,
R
per a tot ε > 0 existeix A ⊂ Rm mesurable amb mesura finita tal que f és acotada
sobre A i Rm \A f < ε.
3. Deduı̈u que,
R
per a tot ε > 0, existeix δ > 0 tal que si E és un conjunt mesurable amb µ(E) < δ,
aleshores E f < ε.
R1
24) Siguin fn ∈ L1 [0, 1], fn (x) ≥ 0 tal que fn (x) → f (x) i 0 fn (x) dx = 2, ∀n ∈ N. Pot ser
R1
1. 0 f (x) dx = 3?
R1
2. 0 f (x) dx = 1?
demostreu que Z
lim
n→∞
|fn − f | = 0.
E
29) Digueu si és certa o falsa l’afirmació següent:
Si (fn )n es una successió de funcions integrables a Rm tal que
Z
lim fn (x) = f (x) q.p.t x ∈ Rm i sup |f2k | < ∞
n→∞ k Rm
1. Si f (x) ≤ 1 g.p.t. x ∈ E.
2. Si f (x) ≥ 1 g.p.t. x ∈ E.
3. En el cas general.
1. Demostreu que f és integrable i mostreu, amb un contraexemple, que en general no és cert que
limn→∞ K |fn (x)| dx = K |f (x)| dx.
R R