ПОИСК Статьи Чертежи Таблицы Сама лемма А получается из этого утверждения в частном случае, когда X = — фазовое пространство свободной частицы в К”, гиперповерхность У образована ортами (задается условием = 1, т. е. является поверхностью уровня гамильтониана свободной частицы), гиперповерхность Е образована всеми векторами, приложенными в точках изучаемой поверхности в К”. В этом случае В есть многообразие всех ориентированных прямых евклидова пространства, а 2 — многообразие касательных ортов. Отображение 2 -> 5 сопоставляет касательному орту содержащую его касательную прямую. Многообразие С есть пространство (ко)касательного расслоения изучаемой поверхности. 2 С — вложение в это пространство пространства расслоения единичных сфер (в иных терминах вложение гиперповерхности уровня кинетической энергии, т. е. гамильтониана движения со связями). [Выходные данные]