La unión de dos o más elementos, en el contexto de la teoría de conjuntos, refiere a la operación que combina todos los elementos presentes en esos conjuntos para formar un nuevo conjunto. Este nuevo conjunto resultante contiene cada elemento que se encuentra en al menos uno de los conjuntos originales, sin duplicados.
Un aspecto clave es la eliminación de duplicados. Si un elemento aparece en múltiples conjuntos, solo se incluirá una vez en el conjunto unión. Esto asegura que la cardinalidad (el número de elementos) del conjunto unión no sea inflada artificialmente.
La notación utilizada para representar la unión es el símbolo '∪'. Por ejemplo, si tenemos dos conjuntos, A y B, su unión se escribe como A ∪ B. Esto significa "el conjunto de todos los elementos que pertenecen a A o a B (o a ambos)".
Must Read
El orden en que se unen los conjuntos no afecta el resultado. Es decir, A ∪ B es equivalente a B ∪ A. Esta propiedad se conoce como la propiedad conmutativa de la unión.
La unión es asociativa. Esto significa que si tenemos tres conjuntos A, B y C, entonces (A ∪ B) ∪ C = A ∪ (B ∪ C). Podemos agrupar la operación de unión como queramos, y el resultado será el mismo.
Un ejemplo sencillo: si A = {1, 2, 3} y B = {3, 4, 5}, entonces A ∪ B = {1, 2, 3, 4, 5}. Notar que el número 3, que aparece en ambos conjuntos, solo se incluye una vez en el conjunto unión.
Otro ejemplo: Si C = {a, b} y D = {c, d, e}, entonces C ∪ D = {a, b, c, d, e}. En este caso, no hay elementos en común entre los conjuntos originales.
La unión de un conjunto con el conjunto vacío (denotado como Ø, un conjunto que no contiene ningún elemento) es el conjunto original en sí mismo. Es decir, A ∪ Ø = A.
En el mundo real, la unión de conjuntos encuentra aplicaciones en bases de datos, programación, y análisis de datos. Por ejemplo, al combinar listas de clientes de diferentes fuentes en una sola lista maestra, la unión de conjuntos asegura que cada cliente se represente solo una vez, evitando redundancia y facilitando el análisis global. También es fundamental en el álgebra booleana y en la lógica digital.
