Википедия
h-кобордизм — бордизм (W; M, Mʹ), где W — компактное дифференцируемое многообразие , край которого ∂W — объединение непересекающихся замкнутых многообразий M и Mʹ, являющихся деформационными ретрактами W. Простейший пример — тривиальный h-кобордизм
(M × [0, 1]; M × 0, M × 1).
Многообразия M и Mʹ называются h-кобордантными, если существует h-кобордизм (W; M, Mʹ) соединяющий их.
Теорема об h-кобордизме утверждает: Если (W; M, Mʹ) — h-кобордизм, а M и Mʹ — односвязные гладкие многообразия и dimW ≥ 6, то W диффеоморфно ( кусочно линейно изоморфно ) тривиальному h-кобордизму. В частности, M диффеоморфно Mʹ.