Видео про теорию узлов (knot theory):
https://youtu.be/8DBhTXM_Br4Если я правильно понимаю, теория узлов это раздел топологии. Кто-нибудь пробовал разработать теорию узлов для четырёхмерного пространства?
Любые одномерные узлы (т.е. вложения окружности, для начала хотя бы гладкие или кусочно-линейные) в
развязываются (изотопно вложению незаузленной "круглой" окружности), и вообще, любое зацепление (вложение конечного набора непересекающихся окружностей) изотопно тривиальному (т.е. набору из незаузленных окружностей, отделимых друг от друга набором гиперплоскостей). Есть и более общий результат для вложений любых многообразий в любые многообразия достаточно большой размерности. Естественно, вы не будете с этим разбираться, как и в любой из ваших ранее созданных тем. (Здесь надо начинать с того какую именно эквивалентность вложений хотим рассматривать, они разные бывают с разными исходами).
Теория узлов разрабатывается для пространств разных размерностей. ЕМНИП, в пространствах высоких размерностей проблема классификации узлов оказывается проще, чем в трехмерном.
теория узлов это раздел топологии
Да.
Кто-нибудь пробовал разработать теорию узлов для четырёхмерного пространства?
Теория узлов разрабатывается для пространств разных размерностей. ЕМНИП, в пространствах высоких размерностей проблема классификации узлов оказывается проще, чем в трехмерном.
Что вы под этим подразумеваете? Задача о классификации вложений многообразий имеет свои особенности в разных диапазонах размерностей и даже для вложений сфер в сферы она далеко не всегда проще, чем задача об обычных одномерных узлах в трехмерном, хотя иногда эта классификация действительно известна, в том числе в нетривиальных диапазонах, и уже хотя бы поэтому проще чем узлы.