- Unión disjunta
-
En teoría de conjuntos, la unión disjunta de dos o más conjuntos es un conjunto que "prácticamente" contiene copias disjuntas de los conjuntos originales, y nada además de eso.
Un ejemplo trivial es cuando A y B son disjuntos, quedando la unión disjunta entre ellos dada por la unión usual A B.
Por otro lado, sea A ∩ B ≠ ∅, es posible "alterar" A y B, creando conjuntos disjuntos A0 y B1 de modo que la unión disjunta sea A0 ∪ B1. Una forma de hacer esto es construyendo, mediante producto cartesiano, A0 = A × {0} y B1 = B × {1}.
En general, sea Ai una familia de conjuntos (no necesariamente distintos) indexados por índices i ∈ I, entonces la unión disjunta entre ellos está definida por:
Referencias
- Weisstein, Eric W. «Disjoint Union» (en inglés). MathWorld. Wolfram Research.
Wikimedia foundation. 2010.