![$f:[0,1]\to \mathbb{R}^2$ $f:[0,1]\to \mathbb{R}^2$](https://dxdy-03.korotkov.co.uk/f/e/3/d/e3dfabb10c9d70ceecb573d60082587b82.png)
- гладкая замкнутая кривая.

.
Точки самопересечения - простые и трансверсальные.

- не точка самопересечения.

- класс в

кривой
![$f':[0,1]\to \mathbb{R}^2\setminus \left\lbrace 0\right\rbrace$ $f':[0,1]\to \mathbb{R}^2\setminus \left\lbrace 0\right\rbrace$](https://dxdy-04.korotkov.co.uk/f/b/d/a/bda5d7137ee8512096203c81a17383b682.png)
.
Знак точки самопересечения

если при

базис

- правоориентированный, иначе

. (

)
Для произвольной

примем

- класс петли
![$f:[0,1]\to \mathbb{R}^2\setminus \left\lbrace c\right\rbrace$ $f:[0,1]\to \mathbb{R}^2\setminus \left\lbrace c\right\rbrace$](https://dxdy-02.korotkov.co.uk/f/d/e/4/de471a0450fccd2de1b57d4cfcac268782.png)
в группе

.
1) Пусть

- точки вблизи образа

, по разные его стороны, далеко от точек самопересечения. Доказать, что

и

отличаются на 1;
2) Пусть

находятся близко к

. Доказать, что

.
С предыдущей вариацией теоремы Уитни пока не совладал, может, здесь получится.
1) к чему-то пришёл.
Для точки

введём отображение

.
Возьмём композицию

.

- верно ведь?
А эта степень равна сумме знаков прообразов регулярной точки отображения

.
Пусть

- точка пересечения отрезка

с

. И пусть

- регулярное значение отображения

. (если нет, то можно слегка подвинуть

).
Тогда

и

будут различаться как раз на знак

, так как для одной из точек

будет в прообразе, а для другой - нет.
Верные рассуждения? (хотя бы в целом?)
2) не получается привязать

к сумме знаков прообразов. Может кто подсказать?