A metric version of Schlichting's Theorem

Itaï Ben Yaacov (1) , Frank O Wagner (1)

1 ICJ - Institut Camille Jordan

If F is a type-definable family of commensurable subsets, subgroups or sub-vector spaces in a metric structure, then there is an invariant subset, subgroup or sub-vector space commensurable with F. This in particular applies to type-definable or hyper-definable objects in a classical first-order structure.

Mots clés: commensurable; invariant; metric structure; Schlichting's Theorem

Domaines: Logique [math.LO]

Itaï Ben Yaacov, Frank O Wagner. A metric version of Schlichting's Theorem. 2017. ⟨hal-01523644v1⟩