gruppo degli omeomorfismi

Definizione

Per ogni spazio $X$ l’insieme

$$\text{Homeo}(X):=\{f:X\to X\mid f\text{ omeomorfismo}\}$$

è un gruppo rispetto a composizione, detto gruppo degli omeomorfismi.

Osservazione

In generale $\text{Hpmeo}(X)$ è un gruppo molto grande e molto complicato, quasi mai abeliano (a parte alcuni casi banali).

Risorse