Группа Ли: различия между версиями

'''Группой Ли''' над полем <math>K</math> (<math>K=\R</math> или <math>\mathbb C</math>) называется [[группа (математика)|группа]] <math>G</math>, снабжённая структурой [[Дифференцируемое многообразие|дифференцируемого]] (гладкого) [[многообразие|многообразия]] над <ttmath>K</ttmath>, причём отображения <math>\operatorname{mul}</math> и <math>\operatorname{inv}</math>, определённые так: