WikiDer > Волоконно-гомотопическая эквивалентность

В алгебраическая топология, а послойная гомотопическая эквивалентность это карта над пространством B который имеет обратную гомотопию B (то есть мы требуем, чтобы гомотопия была отображением над B на каждый раз т.) Это относительный аналог гомотопическая эквивалентность между пробелами.

Данные карты п:D→B, q:E→B, если ƒ:D→E является послойной гомотопической эквивалентностью, то для любого б в B ограничение

${ displaystyle f: p ^ {- 1} (b) to q ^ {- 1} (b)}$

является гомотопической эквивалентностью. Если п, q являются расслоениями, это всегда так для гомотопических эквивалентностей согласно следующему предложению.

Доказательство предложения

Следующее доказательство основано на доказательстве предложения в гл. 6, § 5 (Май) ошибка harv: цель отсутствует: CITEREFMay (помощь). Мы пишем ${ displaystyle sim _ {B}}$ для гомотопии над B.

Прежде всего отметим, что достаточно показать, что допускает левую гомотопию, обратную над B. Действительно, если ${ displaystyle gf sim _ {B} operatorname {id}}$ с грамм над B, тогда грамм является, в частности, гомотопической эквивалентностью. Таким образом, грамм также допускает левый гомотопический обратный час над B и тогда формально мы имеем ${ displaystyle h sim f}$; то есть, ${ displaystyle fg sim _ {B} operatorname {id}}$.

Теперь, поскольку - гомотопическая эквивалентность, она имеет гомотопический обратный грамм. С ${ displaystyle fg sim operatorname {id}}$, у нас есть: ${ displaystyle pg = qfg sim q}$. С п является расслоением, гомотопия ${ displaystyle pg sim q}$ поднимает до гомотопии из грамм сказать, грамм' это удовлетворяет ${ displaystyle pg '= q}$. Таким образом, можно предположить грамм кончено B. Тогда достаточно показать граммƒ, который сейчас закончился B, имеет левую гомотопию, обратную B так как это означало бы, что имеет такой левый обратный.

Таким образом, доказательство сводится к ситуации, когда ƒ:D→D кончено B через п и ${ displaystyle f sim operatorname {id} _ {D}}$. Позволять ${ displaystyle h_ {t}}$ быть гомотопией от ƒ до ${ displaystyle operatorname {id} _ {D}}$. Тогда, поскольку ${ displaystyle ph_ {0} = p}$ и с тех пор п является расслоением, гомотопия ${ displaystyle ph_ {t}}$ поднимает до гомотопии ${ displaystyle k_ {t}: operatorname {id} _ {D} sim k_ {1}}$; явно мы имеем ${ displaystyle ph_ {t} = pk_ {t}}$. Обратите внимание также ${ displaystyle k_ {1}}$ кончено B.

Мы показываем ${ displaystyle k_ {1}}$ является левой гомотопией, обратной к над B. Позволять ${ displaystyle J: k_ {1} f sim h_ {1} = operatorname {id} _ {D}}$ - гомотопия, заданная как композиция гомотопий ${ displaystyle k_ {1} f sim f = h_ {0} sim operatorname {id} _ {D}}$. Тогда мы можем найти гомотопию K из гомотопии пДж к постоянной гомотопии ${ displaystyle pk_ {1} = ph_ {1}}$. С п расслоение, мы можем поднять K сказать, L. Мы можем закончить, обойдя край, соответствующий J:

${ displaystyle k_ {1} f = J_ {0} = L_ {0,0} sim _ {B} L_ {0,1} sim _ {B} L_ {1,1} sim _ {B} L_ {1,0} = J_ {1} = operatorname {id}.}$

Рекомендации

• Мэй, J.P. Краткий курс алгебраической топологии, (1999) Чикагские лекции по математике ISBN 0-226-51183-9 (См. Главу 6.)