论 Effros 定理的适用范围

所有空间（和群）均假定为可分且可度量化的。Jan van Mill 证明了每个解析群 $G$ 都是 Effros 的（即 $G$ 在非贫集空间上的每个连续传递作用都是微传递的）。我们通过获得以下结果来完善这一图景：在 $\mathsf{AC}$ 下，存在一个非 Effros 群；在 $\mathsf{AD}$ 下，每个群都是 Effros 的；在 $\mathsf{V=L}$ 下，存在一个余解析的非 Effros 群。上述反例将是不连续同态的图。