compact spaces with group structure
Proof. Indeed, all we need to show is that function given by is continuous. Note, that the following holds for the graph of :
where denotes the neutral element in . It follows (from continuity of ) that is closed in . It is well known (see the parent object for details) that this implies that is continuous, which completes the proof.
|Title||compact spaces with group structure|
|Date of creation||2013-03-22 19:15:13|
|Last modified on||2013-03-22 19:15:13|
|Last modified by||joking (16130)|