0
$\begingroup$

Let $G$ be a topological group acts on the topological space $X$, for an elememt $g\in G$, let's define the map $f:X\rightarrow X, f(x)=g*x$.

I am trying to find if $f$ is continuous?

my best thanks

  • 4
    Because $h_g:X\to G\times X$ defined as $h_g(x)=(g,x)$ is continuous. And $f_g=\phi \circ h_g$2012-10-19

1 Answers 1

1

When we say $G$ acts on some object $X$, we usually mean that each group element $g$ is assigned a map $f_g:X\to X$. The nature of this map depends on the context of the object. We should ask: To which category does $X$ belong? The category determines what the objects and maps are, and how maps are composed with one another. If $X$ is a set, the maps are ordinary functions. If $X$, however, is a topological space, the maps we are interested in are usually the continuous maps. So when $G$ acts on a topological space $X$, it is usually assumed that each $f_g$ is continuous.

This is automatic if the group action is continuous, meaning that the map $G\times X\xrightarrow \mu X, (g,x)\mapsto f_g(x)$, is continuous. In that case, for a fixed $g\in G$, the function $f_g$ is the composite $\mu\circ\text{in}_g$, where $\text{in}_g(x)=(g,x)$.