Take the 2-minute tour ×
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.

I am learning about the compact-open topology and have a small proposition I am struggling to prove. Let $G$ be a topological group, $X$ a compact, Hausdorff space, and $H(X)$, the homeomorphisms of $X$, have the compact open topology. I want to show that an action of $G$ on $X$, call it $\gamma_1:G\times X\rightarrow X$ is continuous iff its associated homomorphism $\gamma_2:G\rightarrow H(X)$, where $g\mapsto \phi_g$ (left-translation by $g$), is continuous.

I can do the $\Leftarrow$ direction: assuming $\gamma_2$ is continuous, the map $(g,x)\mapsto (\phi_g,x)$ is continuous. Since the evaluation map $(\phi_g,x)\mapsto \phi_g(x)$ is continuous, and $\gamma_1$ is the composition of these two, $\gamma_2$ is continuous.

The other direction is where I'm not sure how to proceed. We can take $\phi_g\in H(X)$ and a subbasis set $S(C,U)=\{f:f(C)\subseteq U\}$ for $C$ compact, $U$ open, such that $\phi_g\in S(C,U)$. So $\gamma_2^{-1}(S(C,U))=\{h\in G:h\cdot C\subseteq U\}$. This is all true, but I am not sure it is helpful. I am not sure what the right approach is; in particular I don't see how/when to leverage the fact that $\gamma_1$ is continuous.

Thanks for any hints, direction, insight, etc.

share|improve this question

1 Answer 1

up vote 4 down vote accepted

I think, it is quite important to carefully write down what one is supposed to do in a situation like this one, as it is really easy to get confused.

You are given a subbasis element $S(C,U)$ with $C\subset X$ compact, and $U\subset X$ open. To prove continuity of $\gamma_2$ it suffices to show that for any $g\in G$ satisfying $g(C)\subset U$ there exists a neighbourhood $V\subset G$ of $g$ such that $$ h\in V \implies h(C) \subset U$$ Luckily we are only given one information about the action of $G$ on $X$, so we immediately now where to start: Fix $g\in G$ as above. We know that for any $x\in C$ we have $g(x) \in U$. Also fix $x$ for the moment.

By assumption on the continuity of $\gamma_1$ there are neighbourhoods $W_x \subset X$ of $x$ and $V_x\subset G$ of $g$ such that $$(h,y)\in V_x\times W_x \implies h(y) = \gamma_1(h,y)\in U$$ Now finitely many of these $W_x$ cover $C$, say $C\subset W_{x_1}\cup\dots\cup W_{x_n}$.

Let $V = V_{x_1}\cap \dots \cap V_{x_n}$. Then $V$ is an open neighbourhood of $g$ in $G$ and I'll leave it to you to verify that $\gamma_2(V)\subset S(C,U)$.

share|improve this answer

Your Answer

 
discard

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.