С точки зрения чисто логической, непрерывная или, что то же самое, топологическая группа представляет собой простое соединение двух основных математических понятий: группы и топологического пространства, именно, элементы одного и того же множества составляют группу и в то же время топологическое пространство.
Ясно, что такое объединение не имело бы никакого смысла, если бы алгебраические и топологические операции, определенные на одном и том же множестве, не были связаны между собой. Связь эта существует и заключается в том, что групповые операции умножения и взятия обратного элемента непрерывны в смысле заданной топологии.
