К задаче Бэнкса еще вернусь, но вот скачок в сторону теормеха. А именно, задача 15 параграфа 36, "Математические методы классической механики" Арнольда. Где требуется доказать формулу гомотопии
. В принципе, для простейших форм проверяется в лоб, сразу видны составляющие из изменения векторов касательного пространства и изменения самой дифференциальной формы. Далее - индукция по внешнему произведению. Но меня интересует, какое решение предполагается в учебнике. В указании предложен т.н. "оператор гомотопии", который нужно как-то использовать в построении и использовать
Понятно, что нужно как-то связать создаваемый векторным полем
поток, соответствующие оператор гомотопии и внутреннее произведение
, но мне не очень ясно, как это делать.
P.S. И вообще, я довольно плохо представляю себе, что такое дифференциальная форма, их производные и произведения, если честно. То есть по формальным правилам играть со значками более-менее научился, но представлять, что в целом происходит, мне на этом уровне абстракции довольно сложно. Вот дивергенция, ротор, объем - это понятно и просто (физически). Есть ли какое-то доступное введение с упором на физический смысл?