Topologisk grupp

En topologisk grupp är inom matematiken är ett topologiskt rum utrustad med en gruppstruktur. Gruppstrukturen och den topologiska strukturen krävs vara kompatibla genom att gruppoperationerna är kontinuerliga.

En topologisk grupp G är ett topologiskt rum med en gruppstruktur så att gruppoperationen och inverstagning

${\displaystyle G\times G\to G:(x,y)\mapsto xy}$

${\displaystyle G\to G:x\mapsto x^{-1}}$

är kontinuerliga. G × G ses som ett topologiskt rum med produkttopologin. Många författare kräver att topologiska grupper ska vara Hausdorffrum, detta krävs dock inte alltid.

En homomorfi mellan två topologiska grupper är en kontinuerlig grupphomomorfi. En isomorfi är en gruppisomorfi som också är en homeomorfi, dvs en kontinuerlig gruppisomorfi med kontinuerlig invers.

Topologiska grupper, ihop med sina homomorfier, bildar en kategori.

Varje grupp kan göras till en topologisk grupp med den diskreta topologin. En grupp utrustad med den diskreta topologin kallas för en diskret grupp.

De reella talen R och Rⁿ bildar topologiska grupper med sin vanliga topologi och addition. Allmännare bildar alla de additiva grupperna av alla topologiska vektorrum topologiska grupper. Alla dessa exempel är abelska.

Ett exempel på en topologisk grupp som inte är abelsk är den allmänna linjära gruppen GL(n, R) som består av alla inverterbara matriser av format n n, utrustad med underrumstopologin som fås om man betraktar gruppen som en delmängd av R^{n × n}.

De algebraiska egenskaperna hos en topologisk grupp interagerar med varandra på ett icke-trivialt sätt. Exempelvis är enhetskomponenten (den sammanhängande komponenten som innehåller gruppens enhetselement) en sluten normal delgrupp.^[1]

Lokalt kompakta topologiska grupper studeras inom måtteori med hjälp av Haarmått.

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Topological group, 15 december 2009.

• Armstrong, M.A. (1983). Basic Topology. Springer. ISBN 0-387-90839-0 

• Wikimedia Commons har media som rör Topologisk grupp.
  Bilder & media