Polish Spaces and Analytic Sets
Description:
A Polish space is a separable topological space that can be metrized by means
of a complete metric. A subset A of a Polish space X is analytic if there is a Polish
space Z and a continuous function f : Z —> X such that f(Z)= A. After proving that
each uncountable Polish space contains a non-Borel analytic subset we conclude that there exists a universally measurable non-Borel set.
Date:
August 1997
Creator:
Muller, Kimberly (Kimberly Orisja)