19-3-2015

Anlisis Matemtico II
Unidad 2
Laura Pontn Becerril
Instrucciones: Compara los conceptos previos de medida con los de la Medida de Lebesgue, para lograrlo,

En la primera lista identifica las definiciones que deberan pertenecer a los conceptos previos de la
medida.
En la otra lista, debers identificar los conceptos que deben formalizar las definiciones de la medida
A partir de la identificacin de las definiciones, dentro del foro, presenta las definiciones formales de la
Teora de la Medida.

Ya que nuestro objetivo es generalizar la integral sobre los nmeros reales, nos centraremos en propiedades sobre
los reales.
Nos gustara que una medida satisfaga:
1. Queremos medir todos los conjuntos de nmeros reales.
Aparentemente todo lo podemos medir, sin embargo sto es slo una apreciacin. Si consideramos como medida
los trminos como longitud, rea, volumen, probabilidad o carga pues pareciera que todo se puede medir, pero
para que algo sea medible, en el contexto de anlisis matemtico, debern cumplirse ciertas consideraciones.
Definimos medida
Por medida, se debe entender una funcin no negativa dentro de un espacio medible.
Sea : [0, ]
Que satisface:
) () = 0
) Es numerable aditiva, es decir si dados 1 , , , disjuntos y cuya unin est en ,

( ) = ( )
=1

=1

Siendo que un espacio de medida (, , ) es completo si para cada , con y () = 0, tambin

es . Se tiene que cumplir forzosamente la definicin para que todo sea medible, por lo que uno podra
pensar que podemos medir el volumen de cualquier subconjunto del espacio tridimensional, pero no es as.

2. La medida de un subconjunto no debe exceder la medida del conjunto.

S, as es, dado que tal afirmacin forma parte de los conceptos previos de medida dado que un subconjunto
de un espacio medible debe ser menor o igual a dicho espacio medible
3. Un punto debe tener medida cero.
Si el punto no cumple con las caractersticas de un espacio de medida completo, entonces no podra
medirse; pero si ese punto contiene un anillo que a su vez sea un y que tenga una cerrada
para uniones numerables (es decir, que sea ) entonces dicho punto es medible no siendo relevante
si tiene medida cero, lo realmente importante es que es medible. Teniendo el caso de un subconjunto dentro de
un conjunto y que a este subconjunto lo denotemos con un punto, entonces sera irrelevante si tiene medida cero
o no.
4. La medida de un intervalo debe ser su longitud.
Por definicin Si A es un intervalo cerrado [a, b], su medida de Lebesgue es la longitud ba.
Ahora que no necesariamente es verdad dicha afirmacin ya que, suelen existir espacios topolgicos con sus
funciones continuas y que nos son medibles en el sentido estricto que tomamos como longitud de medida
4. La traslacin de un conjunto de nmeros reales no debe alterar su medida.
Si A es Lebesgue-medible y x es un elemento de Rn, la traslacin definida por A + x =
{a + x : a A}
es tambin Lebesgue-medible y, ms an, tiene la misma medida que A
Tcnicamente no..
5. La medida de un todo debe ser la suma de las medidas de sus partes.Si A es una
unin disjunta de finitos o contables conjuntos Lebesgue-medibles, A mismo es Lebesgue-medible y (A)
es igual a la suma (o serie infinita) de las medidas de los conjuntos correspondientes.
No necesariamente, Supongamos que en un espacio tridimensional existe un subconjunto que no lo
podemos medir y como no se puede medir no se cumplira que la medida de un todo debe ser la suma de
la medida de sus partes.
A qu problema nos llevan los puntos tres y seis?
1. Un punto debe tener medida cero.
2. La medida de un todo debe ser la suma de las medidas de sus partes.
Primero, que debemos pensar de manera ms abstracta para poder dilucidar lo que aparentemente en el
mundo que nos movemos es vlido.
En segundo lugar debemos considerar como se forma un anillo, un y cuando esta se
convierte en .

Unidad 2

Adems, debemos tener presente cuando un subconjunto de se pueda medir para poder hacer vlidos los
puntos 3 y 6.

Qu se puede decir acerca del punto uno?

No todo se puede medir, necesitan cumplirse ciertas condiciones para que algo sea medible.
Y de los otros?
Se deben cumplir y demostrar los teoremas y definiciones para que le demos la categora de vlido a lo expuesto
en aquellos puntos.
Ahora otra lista que adaptamos a la medida exterior de Lebesgue.
1. Todo conjunto de nmeros reales tiene una medida exterior de Lebesgue.
Definicin 12

Si definimos a la Medida exterior de Lebesgue en

Sea = {(, ]: } y (, ] = , entonces

()

= {( ): , ( , ]}
=1

=1

Es una medida exterior. Se cumple

Unidad 2

2. Ya que cualquier cubierta de un conjunto ser una cubierta de un subconjunto, la propiedad del nfimo
nos la monotona.(???)

la propiedad del nfimo no es la monotona. la propiedad del nfimo nos da la monotona.

Si por sucesin montona entendemos aquellas sucesiones crecientes o decrecientes, entonces, la propiedad del
nfimo Para todo conjunto de nmeros reales no vaco y minorado se verifica que el conjunto de sus minorantes
tiene un mximo y, por definicin, Dado un conjunto , no vaco y minorado, se llma nfimo o extremo
inferior de .
Por lo que todo conjunto de nmeros reales no vaco y minorado tiene nfimo, aunque el nfimo no
necesariamente debe pertenecer al conjunto.
Ahora que si el texto dice al final la propiedad del nfimo nos da la monotona, entonces no porque no sera
un conjunto acotado necesariamente.
Pero s lo que dice la propiedad del nfimo no es la monotona,
es vlido
3. El conjunto vaco es un subconjunto de todo conjunto medible; {} ( , + ); y la
medida exterior del conjunto vaco, o un conjunto unitario (de un solo elemento) es
cero.
Ya sabemos que el conjunto vaco es subconjunto propio de todo conjunto e, inclusive, es medible. Por la
|
definicin 12 del Programa Desarrollado, pg. 12, Entonces Una medida exterior es conjuntista : ()
() = 0 Siendo que adems es subaditiva.
4. Ya que (, ) es cubierta para (, ), ((, )) .
S, cualquier cubierta de un conjunto ser una cubierta de un subconjunto e inclusive de s mismo
si esta es menor o igual a su medida exterior.
5. La invariancia bajo traslacin no es un problema.
Por el Teorema 7 del programa desarrollado
Si () = (()) es vlido ya que si existen las condiciones para que los conjuntos o subconjuntos sean
medibles, entonces la traslacin no es problema
6. Permanece la aditividad.
S, siempre y cuando sea .
De los puntos anteriores cuales son satisfechos por la medida exterior de Lebesgue? En particular
debes poner ms atencin a los puntos 4, 5 y 6, debes usar las definiciones y teoremas para
explicar en qu circunstancias son o no vlidas.

Unidad 2

Pues casi todos, aunque queda la duda en el dos debido a la redaccin