Funciones Medibles
Funciones Medibles
Funciones Medibles
Michelle Audirac
2
Capı́tulo 1
Conjuntos y funciones
n
X
sn = Li (xi − xi−1 ).
i=1
Es claro que Ui siempre es mayor o igual a Li por lo que siempre se cumplirá que
Sn ≥ sn . Además, al aumentar el número de divisiones sobre (a, b), el valor de
Sn decrece mientras que el de sn crece. Entonces, si existe un lı́mite común para
Sn y sn cuando n se aproxima al infinito, se dice que f (x) es Riemann integrable
y al valor lı́mite de las sumas se le llama integral de Riemann. Debe recordarse
3
4 CAPÍTULO 1. CONJUNTOS Y FUNCIONES
Ek = {x : yk−1 ≤ f (x) ≤ yk },
donde l(Ek ) pertenece a los reales y la entenderemos por ahora como la “longi-
tud” del conjunto Ek .
Como resultado de este aparentemente simple cambio de punto de vista,
Lebesgue llegó a la definición de otro método de integración más general que el
de Riemann con la llamada integral de Lebesgue. Es importante no perder de
vista que el propósito no es dar una definición precisa de integral de Lebesgue;
si no, ir desenvolviendo conceptos de teorı́a de medida para llegar a entender las
1.2. LA MEDIDA DE LEBESGUE 5
∞
[
En ∈ E
n=1
se tiene que
∞
[ ∞
X
φ( En ) = φ(En ),
n=1 n=1
, %demostración
Derivemos algunas propiedades de la definición de un anillo. Dado un anillo
R, entonces:
2. Sean A y B en R, entonces A ∩ B ∈ R.
Demostración: Sabemos que A − B ∈ R y como A ∩ B = A − (A − B),
entonces A ∩ B ∈ R.
3. Sean E1 , E2 , . . . , EN ∈ R, entonces
N
[
En ∈ R.
n=1
, %demostración
%demostración
Una vez presentados los conceptos anteriores podemos proceder a la defin-
ció de una medida.
N
[
E= In .
n=1
N
X N
X
µ(E) = µ(In ) = (bn − an ).
n=1 n=1
N
X X
µf (E) = µf (In ) = [f (bn ) − f (an )].
n=1
8 CAPÍTULO 1. CONJUNTOS Y FUNCIONES
Tal vez no resulte claro como el problema del dominio de µ se relaciona con
la definición de una función medible. Igual que al principo de la sección sigamos
hablando de los conjuntos Ek = {x : yk−1 ≤ f (x) ≤ yk } y supongamos que f es
medible. Como los conjuntos Ek cumplen que
Ek = {x : yk−1 ≤ f (x) ≤ yk }
= {x : yk−1 ≤ f (x)} ∩ {x : f (x) ≤ yk }
= [f ≥ yk−1 ] ∩ [f ≤ yk ]
y como f es medible entonces [f ≥ yk−1 ] y [f ≤ yk ] son medibles. Por otro
lado, ya vimos en la sección 1.2 que el dominio de una medida debe ser un anillo
entonces la intersección de elementos en el dominio debe pertenecer a este. Por
lo tanto obtenemos como resultado que los conjuntos Ek son también medibles
y será posible integrar f según la “fórmula de integració” en (1.1).
Se incluye a continuación una proposición básica:
Proposición 1
∞
\
[f ≥ y] = [f > y − n1 ]
n=1
Demostración:
i) Sea Tx ∈ [f ≥ y] y n ∈ N entonces f (x) ≥ y > y − n1 . Por lo tanto
∞
x ∈ n=1 [f > y − n1 ].
T∞
ii) Sea x ∈ n=1 [f > y − n1 ] para toda n. Supongamos que no se cumple
que x ∈ [f ≥ y], entonces se tiene que f (x) < y y por la propiedad de
Arquı́mides ∃ n tal que f (x) < y − n1 , se llega a una contradicción y por
lo tanto x ∈ [f ≥ y].
10 CAPÍTULO 1. CONJUNTOS Y FUNCIONES
Demostración:
Esta proposición se sigue inmediatamente de que [f = y] = [f ≥ y] ∩ [f ≤ y].
Dadas las igualdades anteriores, las funciones medibles pueden ser definidas
usando cualquiera de los siguientes conjuntos: [f ≥ a],[f > a] y [f ≤ a].
Hagamos una pequeña observación, si se usa una función f que pertenece a
la clase de funciones continuas en R entonces a través de las proposiciones 1 y
2 se obtiene una clara relación entre intervalos abiertos y cerrados en la recta
de los reales.
Al principio de la sección se expuso la pregunta: ¿qué colección de conjuntos
medibles resulta un dominio “útil” para una medida? Ya podemos hacer más
claro a que nos referimos con la palabra útil. Si lo que buscaba Lebesgue era que
un más amplio tipo de funciones pudieran integrarse, entonces para la “fórmula
de integración” en (1.1) la “utilidad” del dominio de µ tiene que ver con que
los conjuntos Ek = {x : yk−1 ≤ f (x) ≤ yk } que pertenecen al dominio de µ
permitan la integrabiliad de una amplia colección de funciones. Con lo anteri-
or, ya sabemos que obtener una amplia colección de funciones para las que la
ecuación (1.1) tenga sentido significa obtener una amplia colección de funciones
medibles.
En los ejemplos 7 y 8 se puede observar como en general los conjuntos [f < a]
son conglomeraciones de subconjuntos. Mientras más rica sea la variedad de
conglomeraciones que puedan ser incluidas en el dominio de una medida µ se
sigue que la clase de funciones µ-medibles será también más variada como lo
muestra el siguiente ejemplo.
Ejemplo 9 Dado un espacio Ω, supongamos que se tiene un anillo R que solo
incluye dos conjuntos Ø y Ω. Sea µ una medida definida en R, la única clase
de funciones que serán medibles dada la poca variedad de conglomeraciones in-
cluidas en R es la clase de funciones constantes {f = a}.
Por último haremos un pequeño comentario. Aunque hasta la próxima sección
se presentarán los conceptos de algebras y σ-algebras se le pedirá al lector que
recuerde que la colección de conjuntos R presentado en el ejemplo anterior no
solo es un anillo, también es la σ-algebra más pequeña que puede ser construida
a partir de un espacio Ω.
1.4. CONJUNTOS DE BOREL 11
Demostración: S∞
Sean A = [f > a] y B = n=1 [fn > a],
ii) Si x ∈ A entonces f (x) > a. Dado que la sucesión {fn (x)} converge a
f (x) entonces para toda > 0 debe de existir una N tal que para toda
n ≥ N se cumpla que fn (x) − f (x) < , que es fn (x) > f (x) − . Sea
= (f (x) − a)/2 entonces
Supongamos que se tiene una función lı́mite f (x) que cumple los supuestos
de la proposición anterior. Se desea determinar si f (x) es µ-medible, para esto
se debe determinar si [f > a] es un conjunto µ-medible. Sabemos que para toda
n las funciones fn (x) son µ-medibles por lo que los conjuntos [fn > a] son µ-
medibles. Dada la igualdad en la ecuación 1.4, si R admite todas las uniones
numerables posibles de sus elementos, entonces [f > a] pertenece a R que es
el dominio de µ y la función lı́mite f (x) es µ-medible. Ahora, un sigma-anillo
es un anillo que admite todas las uniones numerables de sus elementos. Por
lo tanto, al trabajar con una medida definida sobre un σ-anillo podemos estar
12 CAPÍTULO 1. CONJUNTOS Y FUNCIONES
Ejemplo 10 Sea R el anillo del ejemplo 3, observemos que todos los intervalos
en R son cerrados. Sea B la colección de todos los conjuntos de Borel que se
pueden obtener a partir de los intervalos en R, B es el σ-anillo de todos los
conjuntos de Borel en la recta de los reales.
Lo que se puede decir del conocimiento de Alicia es que ella puede distinguir
si en el Paı́s de las maravillas está soleado o lluvioso mientras que no puede
distinguir si en Oxford está soleado o lluvioso. A los elementos de una partición
se les llama átomos. Para el conocimiento de Alicia se tienen dos átomos.
De forma equivalente el conocimiento que posee la hermana de Alicia, que
se encuentra en Oxford, está dado por otra partición que es
{(s, s), (l, s)}, {(l, l), (s, l)} ,
1.6. Filtraciones
Retomemos de la sección anterior la interpretación que se le dio a las sigma-
algebras como representaciones de “información” y supongamos que se tienen
dos sigma-algebras X y Y, entonces podemos decir que si X contiene toda la
información de Y resulta que la información en Y es redundante lo que nos lleva
a la siguiente definición.
por lo que sólo pueden responder las preguntas ¿está lluvioso y soleado en el
Paı́s de las maravillas? y ¿está lluvioso o soleado en el Paı́s de las maravillas?
con un no y un sı́ respectivamente.
Supongamos que Tweedledee y Tweedledum deciden ir a visita a Alicia y
le preguntan sobre el clima en el Paı́s de las Maravillas,
la nueva información
que poseen Tweedledee y Tweedledum es X = Ø, {(s, s), (s, l)}, {(l, s), (l, l)}, Ω .
Después
van a visitar a la hermana de Alicia que posee la información dada por
Y = Ø, {(s, s), (l, s)}, {(s, l), (l, l)}, Ω . Ahora Tweedledee y Tweedledum poseen la
información tanto de Alicia como de su hermana y está información se manifiesta
en la sigma-algebra dada por P(Ω). Asi, Tweedledee y Tweedledum pasaron de
un estado de total ignorancia a otro de total omniciencia y pueden responder a
cualquier pregunta sobre el estado del clima en el Paı́s de las Maravillas y en
Oxford.
La adquisición de información de Tweedledee y Tweedledum la plasmaremos
en la siguiente secuencias de refinamientos de sigma-algebras
{Ø, Ω} ⊂ X ⊂ P(Ω).