Двойной (коллектор) - Double (manifold)

В теме теория многообразий в математика, если ${ displaystyle M}$ это многообразие с краем, это двойной получается склейкой двух копий ${ displaystyle M}$ вместе по их общей границе.^[1] Точнее, дубль - это ${ Displaystyle M раз {0,1 } / sim}$ куда ${ Displaystyle (х, 0) sim (х, 1)}$ для всех ${ Displaystyle х в частичном М}$.

Хотя эта концепция имеет смысл для любого многообразия и даже для некоторых немногообразных множеств, таких как Александр рогатый шар, понятие двойной обычно используется в основном в контексте ${ displaystyle partial M}$ не пусто и ${ displaystyle M}$ является компактный.

Двойные связки

Учитывая многообразие ${ displaystyle M}$, то двойной из ${ displaystyle M}$ граница ${ Displaystyle M раз [0,1]}$. Это придает двойникам особую роль в кобордизм.

Примеры

В п-сфера это двойник п-мяч. В этом контексте два шара будут соответственно верхней и нижней полусферой. В более общем смысле, если ${ displaystyle M}$ закрыто, двойник ${ displaystyle M times D ^ {k}}$ является ${ displaystyle M times S ^ {k}}$. В более общем смысле, двойник расслоения дисков над многообразием - расслоение сфер над тем же многообразием. Более конкретно, двойная Лента Мебиуса это Бутылка Клейна.

Если ${ displaystyle M}$ закрытый, ориентированный многообразие и если ${ displaystyle M '}$ получается из ${ displaystyle M}$ удалив открытый шар, затем связанная сумма ${ displaystyle M { mathrel { #}} - M}$ это двойник ${ displaystyle M '}$.

Двойник Мазурский коллектор это гомотопическая 4-сфера.^[2]

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

Этот связанный с топологией статья - это заглушка. Вы можете помочь Википедии расширяя это.