Polish space

GPTKB entity

Statements (22)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:definedIn a separable completely metrizable topological space
gptkbp:example gptkb:Hilbert_space
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 space
gptkbp:importantFor gptkb:probability_theory
gptkb:descriptive_set_theory
functional analysis
gptkbp:introduced gptkb:Kazimierz_Kuratowski
gptkbp:namedAfter gptkb:Poland
gptkbp:property Borel sets are well-behaved
continuous image of Polish space is analytic
countable product of Polish spaces is Polish
every closed subspace is Polish
every open subspace is Polish
gptkbp:bfsParent gptkb:topology
gptkb:Topology
gptkbp:bfsLayer 5