Наложение- такая непрерывная ф-я
p между топологическими пространствами из Y в X, что для любого пункта из X существует открытая окрестность U,

-дизъюнктное объединение открытых множеств, на каждом из которых
p- гомеоморфизм.
Это было определение. Например,

-двойное наложение, так сказать, p не только сурьективно, не только покрывает X (здесь это сфера) целиком, но и покрывает её целиком 2 раза.
Мы доказывали такую теорему (которая мне не ясна):
Если p -это наложение (из Y в X), а w -путь (т.е. непрерывная ф-я из [a,b] в X),
w(a)=x начало пути. Выбираем y из Y, такой что y принадлежит

,т.е. p(y)=x,
тогда существует путь
v-непреревная ф-я из [a,b] в Y, такая что v(a)=y и причём только одна.
Вопрос: если рассмотреть замкнутый путь w(a)=x=w(b) -начало и конец пути ,
и наложение
Будет ли
v тоже замкнут?
Я думаю, нет
