Una construcción que produce un nuevo espacio X * Y uniendo cada punto de X con cada punto de Y mediante una copia de un intervalo parametrizado, de modo que X y Y aparecen como subespacios en extremos opuestos; intuitivamente una unión tipo cono cuyos puntos son tríos (x,y,t) con t ∈ [0,1] y las identificaciones en t = 0 o 1.

Principio

Interpolar entre dos espacios formando todos los segmentos que los conectan; el join incrementa la conectividad y la dimensión de forma controlada y fonctorial.

Demostración

Para espacios discretos con m y n puntos, el join es un complejo simplicial homeomorfo a la frontera de un (m+n−1)-símplice: el join de S^k y S^l es homeomorfo a S^{k+l+1}, por tanto S^0 * S^n ≅ S^{n+1}.

Aplicación incorrecta

Usar el producto cartesiano en lugar del join o no colapsar las identificaciones en los extremos; intentar formar un join sin una topología que haga t continua puede romper propiedades clave como la compacidad local o las afirmaciones sobre conectividad.

Consecuencia

El join eleva la conectividad: si X es p‑conectado e Y es q‑conectado (complejos CW), entonces X * Y es (p+q+2)‑conectado; los joins transforman datos homológicos y homotópicos de manera predecible y son centrales para construir suspensiones y conos.

Inversión

Descomponer una esfera como un join no trivial permite recuperar sus factores de menor dimensión sólo en casos rígidos especiales; la operación inversa no es única—muchos pares pueden tener el mismo join.

Límite

Definido para espacios topológicos con operaciones de producto y cociente; excluye 'joins' en los que las identificaciones no son continuas o cuando se intenta unir espacios sin especificar la topología del parámetro intervalo; las consecuencias homotópicas habituales suponen contextos CW o compactogenéricos.

Tensión semántica

Está próximo a las construcciones de suspensión y cono y a veces se confunde con wedge o producto; a diferencia del producto, conecta cada punto de un factor con cada punto del otro mediante segmentos, y a diferencia del wedge no obliga a que los puntos base coincidan, sino que interpola continuamente.

Síntesis

El join topológico conecta dos espacios por todos los segmentos parametrizados, dando lugar a un espacio de mayor dimensión y conectividad cuyas propiedades de homotopía y homología obedecen reglas aditivas previsibles y que fundamenta construcciones como suspensiones y descomposiciones de esferas.