В математике , в частности, в дифференциальной и алгебраической топологии , в середине 1950-х годов Джон Милнор [1] стр. 14 пытался понять структуру -связных многообразий размерности (поскольку -связные -многообразия гомеоморфны сферам, это первый нетривиальный случай после) и нашел пример пространства, которое гомотопически эквивалентно сфере, но не было явно диффеоморфным. Он сделал это, рассмотрев вещественные векторные расслоения над сферой и изучив свойства соответствующего дискового расслоения. Оказывается, граница этого расслоения гомотопически эквивалентна сфере , но в некоторых случаях она не диффеоморфна. Это отсутствие диффеоморфизма возникает из изучения гипотетического кобордизма между этой границей и сферой и показа, что этот гипотетический кобордизм делает недействительными некоторые свойства теоремы о сигнатуре Хирцебруха .