Metadata
Author: WikiMatrix
Data
English[en]
A fundamental result shows that any two uncountable Polish spaces X and Y are Borel isomorphic: there is a bijection from X to Y such that the preimage of any Borel set is Borel, and the image of any Borel set is Borel.
Spanish[es]
Además, es conocido que dos espacios polacos no numerables cualesquiera X e Y son Borel-isomorfos; existe una biyección desde X a Y tal que la preimagen de cualquier conjunto de Borel es a su vez Borel, y a la inversa, la imagen de cualquier conjunto de Borel es Borel.