APLICACIONES DE TEORIA DE CONJUNTOS

http://es.calameo.com/books/00000448476b4e34c9a70

Aplicaciones de la teora de conjuntos al anlisis

Autores: Jordi Lpez Abad Directores de la Tesis: Joan Bagaria i Pigrau Lectura: En la Universitat de Barcelona ( Espaa ) en 2000 Tribunal Calificador de la Tesis: Carlos Augusto Di Prisco (presid.), Enrique Casanovas RuizFornells (secret.), Stevo Todorcevic (voc.),Juan Arias de Reyna Martnez (voc.), Juan Carlos Martnez Alonso (voc.) UNESCO : o 11 Lgica 1101 Aplicaciones de la lgica 12 Matemticas 1202 Anlisis y anlisis funcional Resumen: Consideremos la siguiente situacion: Sea X es un espacio de Banach separable de dimension infinita, y sea B1(X) el conjunto de todas las bases de bloques normalizadas de X, B1(X), con una topologia natural, es un espacio polaco. De modo anlogo al caso clsico en [N]w, nos podemos preguntar cuando un determinado subconjunto o de B1(X) es Ramsey. Esta nocin es, sin embargo, demasiado fuerte. Por ello se estudia la propiedad de ser Dbilmente Ramsey, introducida por W.T.Gowers. Nuestro trabajo est organizado como sigue: En el capitulo 1 introducimos las ideas fundamentales y demostramos algunos resultados basicos que se usaran muy a menudo. En particular, definimos la nocin del conjunto dbilmente Ramsey, empezamos demostrando que todo conjunto D-abierto es debilmente Ramsey y finalizamos con la prueba de que todo conjunto analitico es debilmente Ramsey. En el capitulo 2 probamos, generalizando los metodos usados en capitulo uno y usando una forma del Axioma de Martin, que todas las imgenes continuas de conjuntos co-analiticos son debilmente Ramsey. Algunas aplicaciones de estos resultados estn contenidas en el Capitulo 3. En el capitulo cuatro, demostramos con ayuda del Axioma de Martin que hay conjuntos que no son debilmente Ramsey. En el Capitulo 5 tratamos elc aso co, y obtenemos algunos resultados ms potentes. Finalmente, en el ltimo capitulo demostramos que un modelo de Solovay obtenido al hacer el colapso de Levy de un cardinal Mahlo, todo conjunto proyectivo es debilmente Ramsey, Tambien probamos que el Axioma de Determinacin proyectiva implica que todo conjunto proyectivo es debilmente Ramsey.