В книге Эдуарда Френкеля "Любовь и математика" рассказывается о таком трюке. Держа ладонь строго параллельно полу (что контролируется, например, если на ладони стоит чашка и нужно её не уронить), можно сделать рукой оборот на 360 градусов, при этом рука вроде бы вернётся в исходное положение, но будет вывернута неестественным образом. Тем не менее, можно сделать ещё один оборот в том же (!) направлении, после чего рука не выворачивается ещё больше, а возвращается в нормальное состояние.
См. рисунок
http://www.screencapture.ru/file/7A091499В книге говорится, что этот трюк демонстрирует тот факт, что в пространстве
вращений трёхмерного пространства (оно гомеоморфно также проективному пространству
) есть нетривиальный замкнутый путь (не гомотопный нулю), двойное прохождение которого уже гомотопно нулю. Типа, первый оборот руки и есть тот самый замкнутый нетривиальный путь по
, а когда мы его удваиваем, рука возвращается в исходное состояние - и значит, такой путь гомотопен нулю.
Кто-нибудь может объяснить более подробно, как именно вращение руки связано с данным математическим фактом о пространстве
? В частности, не очень понятно:
1) Почему неестественная вывернутость руки в конце первого оборота свидетельствует о негомотопности нулю соответствующего пути в
?
2) Смущает также, что на самом деле второй оборот не полностью копирует первый (!) Именно, если при первом обороте ладонь находится ниже остальной части руки, то при втором - выше. Если же попытаться во время второго оборота полностью скопировать движения первого, то рука на самом деле начнёт выворачиваться ещё больше, и в силу этого вряд ли удастся закончить движение. Почему из этих двух способов повторения полного оборота выбирается один, и именно он свидетельствует о гомотопности нулю удвоенного пути? Почему второй вариант повторения полного оборота, когда рука выворачивается ещё больше, не свидетельствует о негомотопности нулю этого удвоенного пути?