Lie-Gruppe/Reell/Definition

Lie-Gruppe

Eine differenzierbare Mannigfaltigkeit ${}G$, die zugleich eine Gruppe ist, für die die Inversenabbildung und die Gruppenverknüpfung differenzierbare Abbildungen sind, heißt (reelle) Lie-Gruppe.