En este artículo me gustaria contar un poco sobre el problema de Dirichlet como herramienta: resolver este problema implica el teorema de uniformización de Riemann y, junto con este, el teorema de Schwartz, que enuncia que una superficie de Riemann homeomorfa a la esfera es biholomorfa a la esfera.
Una función de clase donde es un abierto de es armónica si verifica la siguiente ecuación: Si escribimos
Una versión del teorema de pitágoras para áreas -dimensionales (generalizando el teorema de pitágoras para longitudes de vectores)
Que el máximo estiramiento que produce una transformación lineal sobre el área de un paralelogramo de dimensión está dada por el producto de los valores singulares más grandes (generalizando el hecho de que la norma de una transformación, coincide con el máximo valor singular).
En ambos casos la demostración muestra que la generalización, es simplemente un caso particular de lo que está generalizando (i.e. el pitágoras de áreas se deduce del pitágoras común, el resultado para la norma -dimensional se deduce del resultado para la norma usual).
Para hacer las demostraciones de estos dos hechos a mano, habría que hacer un montón de cuentas y probar una desigualdad que involcraría determinantes.
La demostración que doy evita esto a expensas de tener que construir un formalismo algebraico medio pesado.
Lo bueno es que este formalismo (el producto exterior) sirve para otras cosas (por ejemplo para estudiar las variedades grasmanianas y los espacios de banderas como se discute en este artículo del sambita).
Mi motivación original para tratar de entender todo esto es que estoy estudiando una demostración del teorema de Oseledets que utiliza este formalismo como herramienta.
El objetivo presente es demostrar el famoso Teorema de Convergencia de Martingalas.
Este teorema permite dar una demostración de la ley de grandes números y tiene otras aplicaciones.
La intuición detrás del resultado es que una martingala es una sucesión de variables aleatorias que si bien tienen la misma esperanza, tienden a crecer en tamaño (una forma de darle un sentido preciso a esto es notar que si es una martingala entonces y son submartingalas). Por lo tanto si tenemos algún control sobre:
o incluso sobre
es razonable esperar que la sucesión no varie mucho o incluso que tenga límite.
La prueba consiste en demostrar que para todo intervalo con , el número de veces que la sucesión atraviesa el intervalo de abajo hacia arriba está controlado por el tamaño esperado de la última variable . Este es el llamado lema de cruces, que demostraremos a continuación, luego de una disgresión sobre submartingalas.
Voy a contar un par de resultados que me parecen interesantes de los conjuntos residuales. Pueden parecer un poco banales, pero tienen una aplicacion muy fuerte a la dinamica generica (rama de los sistemas dinamicos que se encarga de estudiar las propiedades de un conjunto residual de difeomorfismos).
Los resultados son los siguientes:
Teorema 1: Sea un espacio de Baire y sea un boreliano. Entonces, existe residual de forma tal que para todo existe un entorno de de forma tal que o bien , o bien .
Este teorema se puede pensar como un Teorema de densidad de Lebesgue topologico.
Teorema 2: Sean y espacios de Baire y sea . Entonces, es residual en si y solo si existe un residual tal que para todo se cumple que es residual en