Contents
- ¿En qué andamos?
- Primera Semana
- Segunda Semana (28/3-1/4)
- Tercera Semana (4/4-8/4)
- Cuarta Semana (11/4-15/4)
- Quinta Semana (18/4-22/4)
- Sexta Semana (25/4-29/4)
- Séptima Semana (2/5-6/5)
- Octava Semana (9/5-13/5)
- Novena Semana (16/5-20/5)
- Décima Semana (23/5-30/5)
- Décimo Primera Semana (30/5-3/6)
- Décimo Segunda Semana (6/6-10/6)
- Décimo Tercera Semana (13/6-17/6)
- Décimo Cuarta Semana (20/6-24/6)
- Décimo Quinta Semana (27/6-1/7)
¿En qué andamos?
Primera Semana
Fernando: En la única clase de esta semana hice una descripción del curso. Después hablé de álgebras, sigma-álgebras, premedidas y medidas. También hablé de medidas exteriores y de conjuntos medibles para una medida exterior. Incluso llegué a enunciar el teorema de Carathéodory, aunque me abstuve de probarlo, no sé bien por qué. Sí mostré como generar medidas exteriores a partir de, por ejemplo, premedidas. En consecuencia el primer práctico se puede elaborar sobre esas cosas.
Segunda Semana (28/3-1/4)
Fernando: Hoy hice un repaso de lo visto antes de Semana Santa. Después probé el teorema de Carathéodory y probé que toda premedida admite una extensión a una medida. Definí premedidas sigma-finitas y terminé con un par de ejemplos: 1-medida de conteo en la sigma-álgebra de los subconjuntos de R numerables o de complemento numerable; 2-premedida de Lebesgue.
Nico: Vimos que en particular que si la premedida es sigma-finita entonces la extensión es única, y comentamos un contraejemplo (despues va a estar en el práctico). Probamos las propiedades elementales de las medidas (vimos ejemplos donde "no anda" la continuidad por arriba), y después vimos que toda medida se puede completar. Comente algo sobre MBA y les llegue a contar como se contruye una función de distribución para la medida, que propiedades tiene, y en que se parece a las funciones de distribución de probabilidad, pero esto quedo a medio hacer.
Tercera Semana (4/4-8/4)
Fernando: comencé probando el teorema de aproximación: si E es \mu*-medible, donde \mu* es la medida exterior inducida por cierta premedida \mu_0 sobre un álgebra A, entonces para todo \epsilon>0 existe un elemento F\in A tal que la diferencia simétrica de E y F tiene medida (la inducida por \mu* en los \mu*-medibles) menor que \epsilon. Después pasé a las medidas de Lebesgue-Stieltjes: después de un largo rato de cuentas probé que hay una biyección entre las funciones crecientes que se anulan en 0 y son continuas por la derecha, y las medidas de Borel que son finitas sobre subconjuntos acotados de la recta.
Fernando: hoy jueves definí la medida de Lebesgue, vi que es invariante por traslaciones, y que toda tal medida es un múltiplo de la de Lebesgue. Vi que hay conjuntos no medibles Lebesgue. Después divagué un poco con la paradoja de Banach-Tarski.
Cuarta Semana (11/4-15/4)
Fernando (martes): vi algunos ejemplos, entre ellos el conjunto de Cantor. Mostré que el cardinal de los borelianos de R es el de R, mientras que el de los medibles Lebesgue es el de las partes de R. Después vi que si F es creciente y de clase C1, entonces todo medible Lebesgue es medible con respecto a la medida inducida por F.
Nico: Arranque con funciones medibles, definición, propiedades: basta que cumpla para un generador, las continuas son borel medibles. Algunos ejemplos: fns. constantes, y que pasa cuando las sigma-algebras son {Y,0} y \P(X). Sigma-algebra producto y que son medibles si cada coordenada lo es. Aplicación a funciones complejas, suma y producto son medibles. Espacio L+ (funciones medibles a [0,\infty]): sup, inf, liminf, limsup son cerrados en L+. Funciones simples y teorema de aproximación para L+.
Quinta Semana (18/4-22/4)
Fernando (martes): excelente Nico. Me pongo en un rato a preparar la clase para hoy en base a lo que escribiste arriba.
Fernando (martes): bueno, ya di la clase. Primero vi el teorema de aproximación de funciones complejas medibles por funciones simples; luego hablé de propiedades ctp; después definí la integral de las funciones simples no negativas, y más tarde de cualquier función medible no negativa. Vi que en este caso se tiene que \int f=\int g sii f=g ctp; finalmente demostré el TCM y su corolario para series de funciones.
Fernando (jueves): Lema de Fatou, algún ejemplo; integración de funciones complejas, definición de L1.
Sexta Semana (25/4-29/4)
Fernando (martes): "seudoclase", debido a la intergremial.
Fernando (jueves): Identificación entre el L1 de una medida y el L1 de su completación. Teorema de convergencia dominada. Aplicaciones: dependencia de integrales con respecto a parámetros, regla de Leibniz.
Séptima Semana (2/5-6/5)
Fernando (martes): convergencia en medida, ejemplos; la convergencia en L1 implica la convergencia en medida.
Fernando (jueves): convergencia en medida: toda sucesión convergente en medida tiene una subsucesión que converge en casi todo punto a la función límite; convergencia casi uniforme: teorema de Egoroff.
Octava Semana (9/5-13/5)
Fernando (martes): medidas producto: construcción; clases monótonas, lema de la clase monótona.
Fernando (jueves): medidas producto: teorema de Fubini-Tonelli.
Novena Semana (16/5-20/5)
Fernando (martes): repaso sobre espacios topológicos localmente compactos de Hausdorff: lema de Urysohn, teorema de extensión de Tietze, particiones de la unidad, etc. Funcionales positivas sobre Cc(X).
Fernando (jueves): medidas de Radon y teorema de representación de Riesz para funcionales positivas sobre Cc(X).
Décima Semana (23/5-30/5)
Fernando (martes): vi algunos resultados sobre regularidad; en particular: 1 - toda medida de Radon sigma-finita es regular y 2 - toda medida de Borel finita sobre compactos en un espacio sigma-compacto es de regular.
Fernando (jueves): C_c(X) es denso en L1(X) para toda medida de Radon; teorema de Lusin; comencé con medidas signadas; teorema de descomposición de Hahn.
Décimo Primera Semana (30/5-3/6)
Fernando (martes): medidas mutuamente singulares; teorema de descomposición de Jordan de medidas con signo; variaciones positiva, negativa y total de una medida; continuidad absoluta: caracterización para medidas finitas.
Fernando (jueves): teorema de Lebesgue-Radon-Nikodym.
Décimo Segunda Semana (6/6-10/6)
Fernando (martes): generalizaciones a medidas complejas.
Fernando (jueves): teorema de representación de Riesz.
Décimo Tercera Semana (13/6-17/6)
Fernando (martes): Espacios Lp: desigualdades de Hölder y de Minkowski, teorema de Riesz-Fischer.
Fernando (jueves): densidad de las funciones simples en Lp, el espacio L\infty, generalización de resultados, etc. Hacia la dualidad (Lp)*=Lq.
Décimo Cuarta Semana (20/6-24/6)
