En topología general y áreas relacionadas de las matemáticas , la unión disjunta (también llamada suma directa , unión libre , suma libre , suma topológica o coproducto ) de una familia de espacios topológicos es un espacio formado al equipar la unión disjunta de los conjuntos subyacentes con una topología natural llamada topología de unión disjunta . En términos generales, en la unión disjunta los espacios dados se consideran como parte de un único espacio nuevo donde cada uno se ve como si estuviera solo y están aislados entre sí.
El nombre coproducto se origina del hecho de que la unión disjunta es el dual categórico de la construcción del espacio del producto .
Sea { X i : i ∈ I } una familia de espacios topológicos indexados por I . Sea
sea la unión disjunta de los conjuntos subyacentes. Para cada i en I , sea
sea la inyección canónica (definida por ). La topología de unión disjunta en X se define como la topología más fina en X para la cual todas las inyecciones canónicas son continuas (es decir: es la topología final en X inducida por las inyecciones canónicas).
Explícitamente, la topología de unión disjunta puede describirse de la siguiente manera. Un subconjunto U de X es abierto en X si y solo si su preimagen es abierta en X i para cada i ∈ I . Otra formulación más es que un subconjunto V de X es abierto con respecto a X si y solo si su intersección con X i es abierta con respecto a X i para cada i .
El espacio de unión disjunto X , junto con las inyecciones canónicas, se puede caracterizar por la siguiente propiedad universal : Si Y es un espacio topológico, y f i : X i → Y es una función continua para cada i ∈ I , entonces existe precisamente una función continua f : X → Y tal que el siguiente conjunto de diagramas conmutan :
Esto demuestra que la unión disjunta es el coproducto en la categoría de espacios topológicos . De la propiedad universal anterior se deduce que una función f : X → Y es continua sólo si f i = f o φ i es continua para todo i en I .
Además de ser continuas, las inyecciones canónicas φ i : X i → X son funciones abiertas y cerradas . De ello se deduce que las inyecciones son incrustaciones topológicas , de modo que cada X i puede considerarse canónicamente como un subespacio de X .
Si cada X i es homeomorfo a un espacio fijo A , entonces la unión disjunta X es homeomorfa al espacio producto A × I donde I tiene la topología discreta .