Джойн

Реализация джойна двух отрезков (синего и зелёного) как подмножества в трёхмерном пространстве. Джойном является весь трёхмерный многогранник.

Джойн (от Шаблон:Lang-en — «соединение») — конструкция в топологии, по двум топологическим пространствам дающая третье. Интуитивная интерпретация джойна — это множество всех отрезков, начинающихся в любой точке первого множества и заканчивающихся в любой точке второго.

Определение

Для двух топологических пространств $A$ и $B$ джойн $A\ast B$ определяется как факторпространство

$(A\times B\times [0,1])/\sim ,$

по минимальному отношению эквивалентности «$\sim$» такому, что

$(a,b_1,0)\sim (a,b_2,0)\text{при}a\in A\text{и}{b}_1,b_2\in B,$

$(a_1,b,1)\sim (a_2,b,1)\text{при}{a}_1,a_2\in A\text{и}b\in B.$

Таким образом, отображение из $(A\times B\times [0,1])/\sim ,$ в джойн стягивает $A\times B\times \{0\}$ на $A$ и $A\times B\times \{1\}$ на $B$.

Примеры

• Джойн пространства $A$ и точки $pt$ называется конусом над $A$ и обозначается $C(A)$.
• Джойн пространства $A$ и нуль-мерной сферы ${𝕊}^0$ (то есть дискретного пространства из двух точек) называется надстройкой над $A$ и обозначается $𝕊(A)$.
• Джойн двух сфер ${𝕊}^m$ и ${𝕊}^n$ — это сфера ${𝕊}^{m+n+1}$.

Свойства

• Конус над джойном двух пространств $A$ и $B$ гомеоморфен произведению их конусов. Иначе говоря,

  $C(A\ast B)\cong C(A)\times C(B).$

Литература

• Васильев В. А. Введение в топологию. — М. : Фазис, 1997. — 132 с.
• Хатчер А. Алгебраическая топология = Algebraic Topology. — М. : МЦНМО, 2011. — 688 с.