сладко стянул

теорема Райдемейстера: если один и тот же узел двумя способами изображён на плоскости, то одну диаграмму можно перевести в другую за несколько движений Райдемейстера (+ шевелением диаграммы, т.е. планарными изотопиями)

Проще всего придумать и "формализовать" комбинаторно-топологическое доказательство: приблизить узел ломаной, а его объемлющую изотопию разбить на элементарные операции типа "заменили отрезок на два отрезка".

Но хочется порассуждать "гладко", в терминах общего положения. Это красивее, но нужно владеть соответствующей техникой; её формализовали сильно позже, чем "триангулированный" подход. В тексте
https://arxiv.org/abs/2406.18203
рассказывается, как устроено гладкое доказательство и какая там нужна теорема трансверсальности (спойлер: без струй не обойтись). Инструменты, которые стоит освоить

#чётамнаархиве

www.group-telegram.com/cn/sweet_homotopy.com/2005

7.3K viewsedited  Jun 29, 2024 at 22:03

теорема Райдемейстера: если один и тот же узел двумя способами изображён на плоскости, то одну диаграмму можно перевести в другую за несколько движений Райдемейстера (+ шевелением диаграммы, т.е. планарными изотопиями)

Проще всего придумать и "формализовать" комбинаторно-топологическое доказательство: приблизить узел ломаной, а его объемлющую изотопию разбить на элементарные операции типа "заменили отрезок на два отрезка".

Но хочется порассуждать "гладко", в терминах общего положения. Это красивее, но нужно владеть соответствующей техникой; её формализовали сильно позже, чем "триангулированный" подход. В тексте
https://arxiv.org/abs/2406.18203
рассказывается, как устроено гладкое доказательство и какая там нужна теорема трансверсальности (спойлер: без струй не обойтись). Инструменты, которые стоит освоить

#чётамнаархиве

BY сладко стянул