## You are here

Hometopological transformation group

## Primary tabs

# topological transformation group

Let $G$ be a topological group and $X$ any topological space. We say that $G$ is a *topological transformation group* of $X$ if $G$ *acts* on $X$ continuously, in the following sense:

1. there is a continuous function $\alpha:G\times X\to X$, where $G\times X$ is given the product topology

2. $\alpha(1,x)=x$, and

3. $\alpha(g_{1}g_{2},x)=\alpha(g_{1},\alpha(g_{2},x))$.

The function $\alpha$ is called the *(left) action* of $G$ on $X$. When there is no confusion, $\alpha(g,x)$ is simply written $gx$, so that the two conditions above read $1x=x$ and $(g_{1}g_{2})x=g_{1}(g_{2}x)$.

If a topological transformation group $G$ on $X$ is *effective*, then $G$ can be viewed as a group of homeomorphisms on $X$: simply define $h_{g}:X\to X$ by $h_{g}(x)=gx$ for each $g\in G$ so that $h_{g}$ is the identity function precisely when $g=1$.

Some Examples.

1. Let $X=\mathbb{R}^{n}$, and $G$ be the group of $n\times n$ matrices over $\mathbb{R}$. Clearly $X$ and $G$ are both topological spaces with the usual topology. Furthermore, $G$ is a topological group. $G$ acts on $X$ continuous if we view elements of $X$ as column vectors and take the action to be the matrix multiplication on the left.

2. If $G$ is a topological group, $G$ can be considered a topological transformation group on itself. There are many continuous actions that can be defined on $G$. For example, $\alpha:G\times G\to G$ given by $\alpha(g,x)=gx$ is one such action. It is continuous, and satisfies the two action axioms. $G$ is also effective with respect to $\alpha$.

## Mathematics Subject Classification

54H15*no label found*22F05

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff
- Corrections