The topological structure of Polish groups and groupoids of measure space transformations (Q1913423): Difference between revisions

Soit \((X,\mu)\) un espace mesuré sans atome et \(\sigma\)-fini. Soit \(\text{Part} (X,\mu)\) le groupoïde des \(\mu\)-isomorphismes d'un sous-ensemble de \(X\) sur un autre sous-ensemble de \(X\), muni de la topologie faible. L'auteur montre que \(\text{Part}(X, \mu)\) est contractile par une homotopie laissant invariant le sous-groupoïde des isomorphismes partiels conservant \(\mu\), ainsi que le groupe \(\text{Aut} (X,\mu)\) des isomorphismes de \((X, \mu)\). Pour un sous-groupe dénombrable \(\Gamma\) de \(\text{Aut}(X, \mu)\), soit \([\Gamma] = \{\theta\in \text{Aut}(X,\mu)/\theta(x) \in \Gamma x\) pour presque tout \(x\}\). L'auteur étudie la contractilité du groupe \([\Gamma]\), muni de la topologie uniforme, ainsi que le type d'homotopie de son normalisateur dans \(\Aut(X,\mu)\).