Extended mapping class group

From Topospaces

Definition

Suppose is a locally connected locally compact Hausdorff space. The extended mapping class group of , denoted , is defined as the zeroth homeotopy group of .

Explicitly, it is defined as follows: let denote the self-homeomorphism group of , viewed as a topological space with the compact-open topology. With this topology, it becomes a T0 topological group (see here). We define: