Skip to main content
2 of 2
deleted 6 characters in body
andpe
  • 59
  • 5

The Tychonov cube $X^X$ of a compact space $X$ is a compact semigroup with the composition operation

Reading a book about Ramsey theory this is the first example of a compact (semitopological) semigroup, which is a nonempty semigroup S with compact Hausdorff topology for which $x \mapsto x*s$ is a continuous map for all $s$ in $S$

If $X$ is a compact Hausdorff space, then the Tychonov cube $X^X$ is a compact (semitopological) semigroup with the composition from the left operation, $f \mapsto f \circ g$. Note that in general the operation of composition from the right $f \mapsto g \circ f$ is not necessarily continuous on $X^{X}$ unless $g: X \rightarrow X$ is continuous.

I've been trying to prove that the composition from the left is continuous but i still cant, a hint would help me a lot

andpe
  • 59
  • 5