Топологічна група

Топологі́чна гру́па — це група, яка одночасно є топологічним простором, при цьому множення елементів групи

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

і операція взяття зворотного елементу

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

— неперервні функції. Тут G × G розглядається як топологічний простір з похідною топологією.

Хоча формально такої вимоги нема, але багато авторів вимагають додатково, щоб простір G був гаусдорфовим.

[ред.] Дивись також

П. І. Голод; А. У. Клімик. Математичні основи теорії симетрій (1992) (українська), Київ: Наукова Думка. ISBN 5-12-002743-1.