Sign up ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Wikipedia defines strongly continuous group action as follows:

A group action of a topological group G on a topological space X is said to be strongly continuous if for all x in X, the map g ↦ g.x is continuous with respect to the respective topologies.

My issue with this is that with this definition, every continuous group action is strongly continuous:

Suppose $G$ acts continuously on the space $X$. Then for all $x\in X$, the map $g\mapsto g\cdot x$ can be decomposed as $$G \xrightarrow{\;r_x\;} G\times X \xrightarrow{\;\alpha\;} X, $$ where $\alpha$ is multiplication and $r_x\colon g\mapsto (g,x)$. But $\alpha$ is continuous by definition, and it's clear that $r_x$ is continuous (if $U\times V$ is a cylinder set in $G\times X$, then $r_x^{-1}(U\times V)=U$, which is open). Thus, the map $g\mapsto g \cdot x$ is continuous for all $x\in X$. Hence, by the definition above, the action of $G$ on $X$ is strongly continuous.

Am I missing something?

share|cite|improve this question
What is meant by respective topologies? –  Berci Feb 27 '13 at 17:18
@Berci You have a topological group $G$ and a topological space $X$. Both of which must have topologies. The action $\alpha : G \times X \to X$ goes from the topological space $G \times X$ to the topological space $X$. The respective topologies are the product topology on $G \times X$ and the topology on $X$. –  Fly by Night Feb 27 '13 at 17:51
See also: –  Martin Apr 12 '13 at 17:08

1 Answer 1

up vote 10 down vote accepted

That's a feature, not a bug. Strong continuity is actually supposed to be a weaker condition than continuity (see also strong operator topology, which is weaker than the norm topology). For example, the action of $\mathbb{R}$ on $L^2(\mathbb{R})$ by translation is strongly continuous if $L^2(\mathbb{R})$ is given the norm topology but not continuous.

share|cite|improve this answer
@Quiaochu But $\mathbb{R}$ is a Polish group and $L^2(\mathbb{R})$ is a metric space, with the norm topology, and it is known that separately continuous actions of Polish groups on metric spaces are continuos. –  Hector Pinedo Jul 31 at 14:29
@Hector: strong continuity is also a weaker condition than separate continuity. –  Qiaochu Yuan Jul 31 at 16:37

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.