DudaL

1. Muestre que una función f : X −→ R (o R) es medible si, y sólo si el conjunto

Aα = {x ∈ X : f (x) > α} ∈ A, ∀α ∈ Q

Demostración.⇒) Es clara.

⇐) Sea a ∈ R. Ya que R es denso en R, existe una sucesión {rn } en Q (sin perdida de

generalidad podemos suponer ) decreciente tal que rn → a. Ahora notemos que
∞
[
{x ∈ X : f (x) > a} = {x ∈ X : f (x) > rn } ∈ A;
n=1

ya que cada {x ∈ X : f (x) > rn } ∈ A y A es una σ-álgebra. 

Observaciones. 1. Si la sucesión {rn } en Q es decreciente y converge a a, nota que a < rn ,.

2. Es fácil probar la igualdad

∞
[
{x ∈ X : f (x) > a} = {x ∈ X : f (x) > rn }
n=1

3. En la demostración, si la sucesión {rn } de números racionales que converge a a se toma

creciente, en este se tiene que
∞
\
{x ∈ X : f (x) > a} = {x ∈ X : f (x) > rn }
n=1

Tambien es fácil probar esta igualdad.