Apunts d’Anàlisi Real
Anà lisi real - Departament de Matemà tica Aplicada IV - UPC
Anà lisi real - Departament de Matemà tica Aplicada IV - UPC
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
3.2 Funcions mesurables 43<br />
Demostració: Com que A α = B α i C α = D α , tenim que (a) és equivalent a (b) i (c) és<br />
equivalent a (d). Sols falta demostrar, per exemple, que (a) i (c) són equivalents. Tenim que<br />
[α,+∞) =<br />
(α,+∞) =<br />
∞⋂<br />
(α − 1 n , +∞)<br />
n=1<br />
∞⋃<br />
[α − 1 n , +∞),<br />
n=1<br />
i com que<br />
f −1 (A ∪ B) = f −1 (A) ∪ f −1 (B)<br />
f −1 (A ∩ B) = f −1 (A) ∩ f −1 (B),<br />
tindrem<br />
C α =<br />
A α =<br />
∞⋂<br />
A α−1/n (3.1)<br />
n=1<br />
∞⋃<br />
A α+1/n . (3.2)<br />
n=1<br />
De (3.2) es veu, emprant (σ1), que si es verifica (c) es verifica (a). D’altra banda, de (3.1),<br />
∞⋂<br />
∞⋃<br />
C α = A α−1/n =<br />
n=1 n=1<br />
A α−1/n<br />
i per tant (a) implica (c).<br />
Exemples de funcions mesurables:<br />
□<br />
1. Qualsevol funció constant f : X −→ és mesurable. Si f(x) = c ∀x ∈ X, tenim<br />
• si α ≥ c, {x ∈ X , f(x) > α} = ∅ ∈ X.<br />
• si α < c, {x ∈ X , f(x) > α} = X ∈ X.<br />
Fixem-nos que això és independent de la σ−àlgebra.<br />
2. Si E ∈ X, llavors £ E és X-mesurable atès que<br />
• si α ≥ 1, {x ∈ X , f(x) > α} = ∅ ∈ X.<br />
• si α ∈ [0, 1), {x ∈ X , f(x) > α} = E ∈ X.<br />
• si α ∈ (−∞, 0), {x ∈ X , f(x) > α} = X ∈ X.<br />
3. Qualsevol funció contínua f : → és B-mesurable. Efectivament, si f és contínua,<br />
llavors f −1 ((α,+∞)) és un obert, i per tant és unió numerable d’intervals oberts, la qual<br />
pertany a B.<br />
4. Qualsevol funció monòtona f : → és B-mesurable. Suposem per exemple que x ≤ y<br />
implica f(x) ≤ f(y). Aleshores f −1 ((α,+∞)) és, per a a depenent de α, un dels següents<br />
conjunts (a,+∞), [a,+∞), ∅ o , els quals són tots borelians. Feu la gràfica de la funció<br />
corresponent a cada cas.<br />
Carles Batlle i Enric Fossas 2002