Transformaciones Lineales Hiperbólicas

Martes 10, Noviembre, 2009 por Pablo Lessa

Es una boludez total pero me gusta.  En todo el texto V es un espacio vectorial real de dimensión finita y T: V \to V es una tranformación lineal invertible.

Definición (Contracción).

Decimos que T es una contracción si existe un producto interno en V tal que:

\|Tv\| < \|v\|\text{ para todo }v \in V \setminus 0

El ejemplo clásico es la siguiente matriz:

\left(\begin{array}{cc}\frac{1}{2}&10^{10^{10}}\\{}0&\frac{1}{2}\end{array}\right)

que define una contracción de \mathbb{R}^2 pero no para el producto interno usual.

Se puede demostrar el siguiente lemita:

Leer el resto de esta entrada »

Videos

Viernes 4, Septiembre, 2009 por Pablo Lessa

Algunos videos de matemática en youtube que están buenos:

Transformaciones de Moebius (Increíblemente lo vieron más de 1 millón y medio de veces)

http://www.youtube.com/watch?v=JX3VmDgiFnY

Dar vuelta la esfera

Tetris

Lunes 13, Julio, 2009 por Pablo Lessa

Definimos el siguiente producto de matrices:

(AB)_{i,j} = \max\{a_{i,k}+b_{k,j}\}

El producto consiste en hacer el producto usual pero cambiando las multiplicaciones por sumas y las sumas por máximos.

Por ejemplo:

\left(\begin{array}{cc}2&2\\1 &1\end{array}\right)\otimes \left(\begin{array}{cc}2&1\\2 &1\end{array}\right)= \left(\begin{array}{cc}\max\{2+2, 2+2\}&\max\{2+1,2+1\}\\\max\{1+2,1+2\} &\max\{1+1,1+1\}\end{array}\right)= \left(\begin{array}{cc}4&3\\3 &2\end{array}\right)

Leer el resto de esta entrada »

Teorema de Komlos

Martes 7, Julio, 2009 por Pablo Lessa

Teorema Falso del lessa

Sea \{f_n: [0,1] \to \mathbb{R}\}_{n \in \mathbb{N}} una sucesión acotada en L^1.  Entonces existe una subsucesión convergente c.t.p.

Leer el resto de esta entrada »

El problema de Dirichlet

Lunes 15, Junio, 2009 por Andrés Sambarino

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 \textrm{C}^2 u:U\to\mathbb R, donde U es un abierto de \mathbb C, es armónica si verifica la siguiente ecuación: Si escribimos

Leer el resto de esta entrada »

Lema de los Lideres y Teorema Ergódico en el caso ergódico

Domingo 7, Junio, 2009 por Pablo Lessa

Consideremos la siguiente sucesión finita de números reales:

10,-15,2,-1,5,-6,22,-3

Decimos  que un término es “lider” si alguna de las sumas de elementos consecutivos a partir de él es menor o igual a cero.

Los términos -15,-1,-6,-3 son trivialmente lideres, pero también 10 porque 10 - 15 \le 0, 2 porque 2 -1+5-6 \le 0, y por último 5 porque 5 - 6 \le 0.

O sea que la lista de lideres es:

\{10,-15,2,-1,5,-6,-3\}

La observación es que la suma de estos números es menor o igual a cero.

Leer el resto de esta entrada »

Pitágoras y Normas de dimensión mayor

Viernes 8, Mayo, 2009 por Pablo Lessa

Introducción.

En este artículo se demuestran dos resultados:

  1. Una versión del teorema de pitágoras para áreas k-dimensionales (generalizando el teorema de pitágoras para longitudes de vectores)
  2. Que el máximo estiramiento que produce una transformación lineal sobre el área de un paralelogramo de dimensión k está dada por el producto de los k 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 k-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.

Leer el resto de esta entrada »

Teorema de Convergencia de Martingalas

Domingo 26, Abril, 2009 por Pablo Lessa

Este es el último de lo que resultó ser una serie de 3 artículos sobre esperanza condicional y martingalas.

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 X_n es una martingala entonces |X_n| y X_n^+ son submartingalas).  Por lo tanto si tenemos algún control sobre:

\text{sup}_nE(|X_n|)

o incluso sobre

\text{sup}_nE(X_n^+)

es razonable esperar que la sucesión X_n no varie mucho o incluso que tenga límite.

La prueba consiste en demostrar que para todo intervalo [a,b] con a < b, el número de veces que la sucesión X_0, \ldots, X_n atraviesa el intervalo de abajo hacia arriba está controlado por el tamaño esperado de la última variable X_n.  Este es el llamado lema de cruces, que demostraremos a continuación, luego de una disgresión sobre submartingalas.

Leer el resto de esta entrada »

Martingalas

Domingo 26, Abril, 2009 por Pablo Lessa

Este artículo es la continuación de este otro sobre esperanza condicional.

Nuestro objetivo es entender el concepto de martingala.

Leer el resto de esta entrada »

Alguna analogia entre conjuntos de medida uno y residuales.

Martes 21, Abril, 2009 por rpotrie

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 X un espacio de Baire y sea A\subset X un boreliano. Entonces, existe R \subset X residual de forma tal que para todo x \in X existe un entorno U de x de forma tal que o bien R\cap U \subset A, o bien R\cap U \subset A^c.

Este teorema se puede pensar como un Teorema de densidad de Lebesgue topologico.

Teorema 2: Sean X y Y espacios de Baire y sea R \subset X\times Y. Entonces, R es residual en X\times Y si y solo si existe un residual R_X\subset X tal que para todo x \in R_X se cumple que R \cap \{x\} \times Y es residual en \{x\}\times Y

Este ultimo teorema se puede pensar como un Teorema de Fubini topologico. Leer el resto de esta entrada »