В математике , особенно в области топологии , простая гомотопическая эквивалентность является уточнением понятия гомотопической эквивалентности . Два CW-комплекса являются просто гомотопически эквивалентными, если они связаны последовательностью сжатий и расширений (обратных сжатий), а гомотопическая эквивалентность является простой гомотопической эквивалентностью, если она гомотопна такому отображению.
Препятствием к тому, чтобы гомотопическая эквивалентность была простой гомотопической эквивалентностью, является кручение Уайтхеда ,
Гомотопическая теория, изучающая простые гомотопические типы, называется простой гомотопической теорией .