Topological group

From Maths
Jump to: navigation, search
Stub grade: B
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
This is the initial version, flesh it out, add more examples, so forth!


A topological group (AKA: continuous group[1]) is a [ilmath]3[/ilmath]-tuple, [ilmath](G,*,\mathcal{J})[/ilmath] where [ilmath]G[/ilmath] is a set, [ilmath]*:G\times G\rightarrow G[/ilmath] is a binary operation (a map where we write [ilmath]a*b[/ilmath] rather than [ilmath]*(a,b)[/ilmath]) such that [ilmath](G,*)[/ilmath] is a group and a topology, [ilmath]\mathcal{J} [/ilmath] on [ilmath]G[/ilmath] such that [ilmath](G,\mathcal{J})[/ilmath] is a topological space, with the following two properties[2]:

  1. [ilmath]m:G\times G\rightarrow G[/ilmath] with [ilmath]m:(x,y)\mapsto x*y[/ilmath] is continuous (where [ilmath]G\times G[/ilmath] is considered with the product topology.
  2. [ilmath]i:G\rightarrow G[/ilmath] with [ilmath]i:x\rightarrow x^{-1} [/ilmath] is also continuous
    • where [ilmath]x^{-1} [/ilmath] denotes the inverse element of [ilmath]x[/ilmath], [ilmath]-x[/ilmath] should be used if the group is denoted additively (see group page for more information)


Given a topological group, [ilmath](G,*,\mathcal{J})[/ilmath] we call the parts the following:

  • Underlying set: [ilmath]G[/ilmath].
  • Underlying group: [ilmath](G,*)[/ilmath]
  • Underlying (topological) space: [ilmath](G,\mathcal{J})[/ilmath]


  1. [ilmath](\mathbb{R}^2-\{0\},*)[/ilmath]


  1. Topology - An Introduction with Applications to Topological Groups - George McCarty
  2. Introduction to Topological Manifolds - John M. Lee