Cоедине́ние топологи́ческих простра́нств X и Y (джойн), топологическое пространство, обозначаемое X∗Y и определяемое как факторпространство произведения X×Y×[0,1] по разбиению, элементами котоpoгo служат множества x×Y×O (x∈X) и X×y×1 (y∈Y) и отдельные точки множества X×Y×[0,1]\(X×Y×O∪X×Y×1).
Примеры: если X состоит из одной точки, то X∗Y есть конус над Y; Sn∗Y гомеоморфно (n+1)-кратной надстройке над Y. В частности, Sn∗Sm≈Sn+m+1. Операция соединения коммутативна и ассоциативна. Для вычисления гомологий соединения (с коэффициентами из области главных идеалов) используется аналог формулы Кюннета:
H~r+1(X∗Y)≈i+j=r∑H~i(X)⊗H~j(Y)⊕i+j=r−1∑Tor(H~i(X),H~j(Y)).Соединение r-связного пространства и s-связного пространства является (r+s+2)-связным. Операция соединения лежит в основе конструкции Милнора универсального главного расслоения.
M. Ш. Фарбер. Первая публикация: Математическая энциклопедия под ред. И. М. Виноградова, 1985.