This short exposition is mainly from [1]}. A Polish space is a separable topological space that can be metrized by a complete metric. For example, the \(n\) -dimensional Euclidean space, any compact metric space, any separable Banach space are Polish spaces.
