Given a topological group GG, a (continuous) GG-set is a set XX equipped with a continuous group action μ:G×XX\mu: G \times X \to X, where XX is given the discrete topology.

In the case where GG is a discrete group, the continuity requirement is void, and this is just a permutation representation of the discrete group GG.

Note that since XX must be given the discrete topology, this behaves rather unlike topological G-spaces. In particular, a topological group does not act continuously on itself, in general. Thus this notion is not too useful when GG is a “usual” topology group like SU(2)SU(2). Instead, the topology on the group acts as a filter of subgroups (where the filter contains the open subgroups), and each element of a continuous GG-set is required to have a “large” stabilizer.

The GG-sets form a category, where the morphisms are the GG-invariant maps. See category of G sets.



Let GG be a topological group, and XX be a set with a GG action μ:G×XX\mu: G \times X \to X. Then the action is continuous if and only if the stabilizer of each element is open.


Suppose μ\mu is continuous. Since XX has the discrete topology, {x}\{x\} is an open subset of XX. So μ 1({x})\mu^{-1}(\{x\}) is open. So we know the stabilizer

I x={gG:gx=x}={gG:(g,x)μ 1({x})} I_x = \{g \in G: g \cdot x = x\} = \{g \in G: (g, x) \in \mu^{-1}(\{x\})\}

is open.

Conversely, suppose each such set is open. Given any (necessarily open) subset AXA \subseteq X, its inverse image is

μ 1(A)= aAμ 1({a}). \mu^{-1}(A) = \bigcup_{a \in A} \mu^{-1}(\{a\}).

So it suffices to show that each μ 1({a})\mu^{-1}(\{a\}) is open. We have

μ 1({a})= xX{gG:gx=a}×{x}. \mu^{-1}(\{a\}) = \bigcup_{x \in X}\{g \in G: g \cdot x = a\} \times \{x\}.

Thus we only have to show that for each a,xXa, x \in X, the set {gG:gx=a}\{g \in G: g \cdot x = a\} is open. If there is no such gg, then this is empty, hence open. Otherwise, let g 0g_0 be such that g 0x=ag_0 \cdot x= a. Then we have

{gG:gx=a}=g 0I x. \{g \in G: g \cdot x = a\} = g_0 \cdot I_x.

Since g 0g_0 is a homeomorphism, and I xI_x is open, this is open. So done.


Discrete groups

In the following examples, all groups are discrete.

Continuous groups

  • The group Σ N\Sigma_N of permutations of the natural numbers can be given the topology generated by the stabilizers of finite subsets of NN. This acts continuously on NN. This is used in the construction of the basic Fraenkel model.


Last revised on December 29, 2018 at 10:39:56. See the history of this page for a list of all contributions to it.