加载中…
We define a simple criterion for a homogeneous, complete metric structure that implies that the automorphism group satisfies all the main consequences of the existence of ample generics: it has the small index property, the automatic continuity property, and uncountable cofinality for non-open subgroups. Then we verify it for the Urysohn space , the Lebesgue probability measure algebra , and the Hilbert space , thus proving that , , , and share these properties. We also formulate a condition for which implies that every homomorphism of into a separable group with a left-invariant, complete metric, is trivial, and we verify it for , and .

生成讲解博客的中文版本

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