Polish spaces

GPTKB entity

Statements (24)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:defines A separable completely metrizable topological space
gptkbp:example gptkb:Baire_space
gptkb:Cantor_set
real numbers with standard topology
gptkbp:field gptkb:topology
mathematical analysis
https://www.w3.org/2000/01/rdf-schema#label Polish spaces
gptkbp:importantFor gptkb:probability_theory
gptkb:descriptive_set_theory
functional analysis
gptkbp:namedAfter gptkb:Kazimierz_Kuratowski
gptkbp:property countable product of Polish spaces is Polish
every closed subspace is Polish
every open subspace is Polish
Borel isomorphism between uncountable Polish spaces
continuous image of a Polish space need not be Polish
gptkbp:relatedTo gptkb:Borel_sets
complete metric space
separable space
analytic sets
gptkbp:bfsParent gptkb:set-theoretic_topology
gptkb:descriptive_set_theory
gptkbp:bfsLayer 6