Grupos fundamentales de variedades y grupos finitamente presentados.

por Rafael Potrie

Me gustaría en este post discutir un poco la relación entre grupos y variedades para mostrar un poco como a veces cosas que parecen ejemplos de una estructura abstracta, en realidad la contienen. Un buen ejemplo, son los grupos de simetrías de espacios finitos, que de hecho contienen absolutamente todos los posibles grupos finitos (y de esa manera, nos permite comprender los grupos desde un punto de vista más geométrico).

En este post, voy a ver la relación entre los grupos finitamente presentados y los grupos fundamentales de variedades. Vamos a mostrar que un grupo es finitamente presentado si y solamente si es el grupo fundamental de una variedad. De hecho, mostraremos esto para variedades (pero es válido para variedades de cualquier dimensión mayor o igual a ).

Antes de empezar, mismo antes de definir grupo finitamente presentado, voy a dar un argumento (rápido) de porque en dimensiones dos y tres esto no es posible. Lo único a decir sobre los grupos finitamente presentados, es que naturalmente, los grupos finitos lo son.

En dimensión dos, tenemos bien definida una lista de variedades, con lo cual es fácil ver que grupos como no son grupo fundamental de ninguna superficie.

En dimensión tres, argumentos parecidos pueden ser hechos, uno rápido es tener en cuenta que toda -variedad con grupo fundamental finito tiene que ser cubierta por la -esfera (esto lo sabemos gracias a que recientemente la conjetura de Poincare en dimensión fue demostrada) y se sabe que no todo grupo finito puede actuar libre y discontinuamente en la -esfera (esto hay que chequearlo, pero a mi al menos me resulta suficientemente convincente).

Convergencia de funciones y medidas.

por Pablo Lessa

Quiero escribir un poco sobre la relación entre convergencia puntual de funciones medibles y convergencia débil de medidas de probabilidad en el contexto de espacios métricos completos y separables.

Para simplificar la discusión voy a tomar como espacio de probabilidad con la -álgebra de Borel (i.e. la generada por los abiertos).   Vamos a considerar diferentes medidas de probabilidad en este espacio pero utilizaremos para denotar la medida de Lebesgue restringida al intervalo (i.e. la distribución uniforme en ).

Posiblemente el primer punto interesante de la teoría de la medida es que los limites puntuales de funciones medibles también son medibles.  Esto es una mejora sobre la teoría de integración Riemann en la cual, por ejemplo, existen funciones derivables cuya derivada no es integrable.

Teorema. Si es Borel-medible para todo y existe entonces es Borel-medible.

Demostración. Todo abierto se puede escribir como unión creciente y numerable de abiertos cuya clausura está contenida en .   Una vez hecho esto se ve que si y sólamente si existe tal que a partir de cierto se cumple que para todo .  Esto implica que se puede escribir con uniones e intersecciones numerables a partir de los que son medibles.  Explícitamente se obtiene:

Si es medible, y consideramos en la medida de probabilidad , entonces da origen a una nueva medida de probabilidad llamada la medida «push-forward» o la distribución de .   Esta medida se define a traves de la ecuación:

Para sucesiones de funciones convergentes. ¿Cual es la relación entre las distribuciones de la sucesión y la de su límite?

El conjunto no errante para iterados de una dinámica.

por Rafael Potrie

En general, en sistemas dinámicos nos interesa estudiar el comportamiento asintótico de una transformación del espacio. Por lo tanto, es razonable esperar en general que los conceptos que estudiamos no dependerán de si estamos estudiando una dinámica o un iterado de esta, digamos .

Claramente, el conjunto de puntos periódicos de coincide con el de , sin embargo, el conjunto de puntos fijos difiere en ambos casos si existen orbitas periódicas de cuyo período es mayor que uno y divide a .

El objetivo de este post es estudiar el conjunto no errante y probar que si este es todo el espacio, entonces lo será también para todos los iterados de .