En la disciplina matemática de la topología general , un espacio polaco es un espacio topológico separable y completamente metrizable ; es decir, un espacio homeomorfo a un espacio métrico completo que tiene un subconjunto denso contable . Los espacios polacos se denominan así porque fueron estudiados extensamente por primera vez por topólogos y lógicos polacos: Sierpiński , Kuratowski , Tarski y otros. Sin embargo, los espacios polacos se estudian principalmente en la actualidad porque son el entorno principal para la teoría de conjuntos descriptivos , incluido el estudio de las relaciones de equivalencia de Borel . Los espacios polacos también son un entorno conveniente para una teoría de la medida más avanzada , en particular en la teoría de la probabilidad .
Ejemplos comunes de espacios polacos son la línea real , cualquier espacio de Banach separable , el espacio de Cantor y el espacio de Baire . Además, algunos espacios que no son espacios métricos completos en la métrica habitual pueden ser polacos; por ejemplo, el intervalo abierto (0, 1) es polaco.
Entre dos espacios polacos incontables cualesquiera , existe un isomorfismo de Borel , es decir, una biyección que conserva la estructura de Borel. En particular, todo espacio polaco incontable tiene la cardinalidad del continuo .
Los espacios de Lusin , los espacios de Suslin y los espacios de Radon son generalizaciones de los espacios polacos.
Los siguientes espacios son polacos:
Existen numerosas caracterizaciones que indican cuándo un espacio topológico contable en segundos es metrizable, como el teorema de metrización de Urysohn . El problema de determinar si un espacio metrizable es completamente metrizable es más difícil. A los espacios topológicos como el intervalo unitario abierto (0,1) se les pueden dar tanto métricas completas como métricas incompletas que generen su topología.
Existe una caracterización de espacios métricos separables completos en términos de un juego conocido como el juego fuerte de Choquet . Un espacio métrico separable es completamente metrizable si y solo si el segundo jugador tiene una estrategia ganadora en este juego.
Del teorema de Alexandrov se desprende una segunda caracterización: afirma que un espacio métrico separable es completamente metrizable si y sólo si es un subconjunto de su completitud en la métrica original.
Aunque los espacios polacos son metrizables, no son en sí mismos espacios métricos ; cada espacio polaco admite muchas métricas completas que dan lugar a la misma topología, pero ninguna de ellas se distingue o se distingue. Un espacio polaco con una métrica completa distinguida se denomina espacio métrico polaco . Un enfoque alternativo, equivalente al que se da aquí, es definir primero "espacio métrico polaco" como "espacio métrico separable completo", y luego definir un "espacio polaco" como el espacio topológico obtenido a partir de un espacio métrico polaco olvidando la métrica.
Un espacio topológico de Hausdorff es un espacio de Lusin (llamado así por Nikolai Lusin ) si alguna topología más fuerte lo convierte en un espacio polaco.
Existen muchas formas de formar espacios de Lusin. En particular:
Un espacio topológico de Hausdorff es un espacio de Suslin (denominado así por Mikhail Suslin ) si es la imagen de un espacio polaco bajo una aplicación continua. Por lo tanto, todo espacio de Lusin es Suslin. En un espacio polaco, un subconjunto es un espacio de Suslin si y solo si es un conjunto de Suslin (una imagen de la operación de Suslin ). [9]
Los siguientes son espacios de Suslin:
Tienen las siguientes propiedades:
Un espacio de Radon , llamado así por Johann Radon , es un espacio topológico en el que cada medida de probabilidad de Borel en M es regular internamente . Dado que una medida de probabilidad es globalmente finita y, por lo tanto, una medida localmente finita , cada medida de probabilidad en un espacio de Radon también es una medida de Radon . En particular, un espacio métrico completo separable ( M , d ) es un espacio de Radon.
Cada espacio de Suslin es un espacio de Radon.
Un grupo polaco es un grupo topológico G que es también un espacio polaco, en otras palabras homeomorfo a un espacio métrico completo separable. Hay varios resultados clásicos de Banach , Freudenthal y Kuratowski sobre homomorfismos entre grupos polacos. [10] En primer lugar, el argumento de Banach [11] se aplica mutatis mutandis a grupos polacos no abelianos: si G y H son espacios métricos separables con G polaco, entonces cualquier homomorfismo de Borel de G a H es continuo. [12] En segundo lugar, hay una versión del teorema de aplicación abierta o el teorema de grafo cerrado debido a Kuratowski: [13] un homomorfismo inyectivo continuo de un subgrupo polaco G sobre otro grupo polaco H es una aplicación abierta. Como resultado, es un hecho notable acerca de los grupos polacos que las aplicaciones Baire-medibles (es decir, para las que la preimagen de cualquier conjunto abierto tiene la propiedad de Baire ) que son homomorfismos entre ellos son automáticamente continuas. [14] El grupo de homeomorfismos del cubo de Hilbert [0,1] N es un grupo polaco universal, en el sentido de que todo grupo polaco es isomorfo a un subgrupo cerrado del mismo.
Ejemplos:
{{cite book}}: Mantenimiento de CS1: falta la ubicación del editor ( enlace ){{cite book}}: CS1 maint: varios nombres: lista de autores ( enlace )