加载中…
We prove that if is a Polish space and is a face of with the Baire property, then is either a meager or a co-meager subset of . As a consequence we show that for every abelian Polish group and every analytic Haar-null set , the set of test measures of is either meager or co-meager. We characterize the non-locally-compact groups as the ones for which there exists a closed Haar-null set with is meager. Moreover, we answer negatively a question of J. Mycielski by showing that for every non-locally-compact abelian Polish group and every -compact subgroup of there exists a -invariant subset of which is neither prevalent nor Haar-null.

生成讲解博客的中文版本

生成AI智能校验的中文版本