Інфінітезимальний оператор

Інфінітезимальні оператори групи G — елементи, що утворюють базис алгебри Лі групи G, або, в загальному випадку, базис алгебри Лі образу групи G.

Це оператор, який є похідною операційного (або матричного) представлення елемента групи за деяким параметром представлення при нульовому значенні всіх параметрів (передбачається, без обмеження загальності, що при нульових значеннях параметрів оператор, який представляє даний елемент, дорівнює одиничному і відповідає одиничному елементу групи). Представлення довільного елемента групи, досить близького до одиничного елемента, виражається лінійним чином через інфінітезимальні оператори групи (інфінітезимальні оператори — це члени першого порядку в розкладі оператора представлення в ряд за параметрами). Більш того, при певних слабких припущеннях будь-який елемент групи (його представлення) можна виразити через інфінітезимальні оператори, оскільки члени другого і більш високого порядку виражаються через інфінітезимальні оператори.

Означення поняття ред.

Нехай довільний елемент групи   має  -параметричне представлення (операторна функція   параметрів, оператори діють на деякому векторному просторі)  , причому одиничному елементу групи відповідає значення операторної функції при нульових значеннях параметрів. Тоді інфінітезимальними операторами групи є величини:

 

Тоді довільний елемент   з даного околу (де параметри   малі) може бути розкладений поблизу одиничного перетворення з точністю до членів другого порядку малості:

 

Приклади генераторів ред.

Посилання ред.