Мой профессор упомянул: Простой способ проверить, является ли отображение к является каноническим, исследуя:
и если он равен (дифференциал), то оно канонично.
Однако мне интересно, почему это так, поскольку требования к канонической карте таковы, что сначала
Имейте в виду, что существуют разные определения канонического преобразования (КТ), ср. например, этот пост Phys.SE.
Ваше последнее определение КТ согласуется, например, с определением Ландау и Лифшица и Гольдштейна, в то время как ваш профессор перечисляет достаточное условие для симплектоморфизма, который , например, Арнольд называет КТ.
Дэвид З.