Advanced Search

Viene annunciato il seguente Teorema: Sia $E$ uno spazio completo separabile metrico di cardinalità $c$. Sia $G$ il gruppo degli automorfismi di Baire di $E$. (Cioè dire che $g\in G$ equivale a dire che $g:E\to E$ è una biiezione e che per ogni insieme di Baire $M$, sia $g(M)$ che $g^{-1}(M)$ sono insiemi di Baire). Sia $\mathrm{\Phi }$ un automorfismo di $G$. Allora $\mathrm{\Phi }$ è interno cioè esiste $x\in G$ tale che per ogni $g\in G$, $\mathrm{\Phi }(g)=x^{-1}gx$.