4/3/2021 Unión de conjuntos - Wikipedia, la enciclopedia libre

Unión de conjuntos
En la teoría de conjuntos, la unión de dos (o más) conjuntos es una operación que resulta en otro
conjunto, cuyos elementos son los mismos de los conjuntos iniciales. Por ejemplo, el conjunto de los
números naturales es la unión del conjunto de los números pares positivos P y el conjunto de los
números impares positivos I:

La unión de conjuntos se denota por el símbolo , de modo que por ejemplo:

Índice
Definición
Generalizaciones La unión de los conjuntos A y B es otro
conjunto A ∪ B que contiene todos los
Propiedades
elementos de A y de B.
Cardinalidad
Axioma de la unión
Véase también
Referencias
Bibliografía

Definición
Dados dos conjuntos A y B, su unión es el conjunto que contiene todos los elementos, que pertenecen por lo menos a uno de los conjuntos A o B:

La unión de dos conjuntos A y B es otro conjunto A ∪ B cuyos elementos son todos los
elementos de A y/o de B:

Ejemplo.

Considerando los conjuntos de números naturales C = {n: n es un número primo} y

D = {m: m es un número compuesto}. Su unión es entonces , ya que el único número natural que
no es ni primo ni compuesto es (por definición) 1.

En la unión de conjuntos, los elementos repetidos sólo aparecen una vez, pues los conjuntos no pueden
tener elementos repetidos:n 1

Unión de dos conjuntos A o B.

Generalizaciones

Es posible definir la unión de un número finito de conjuntos, superior a dos:

La unión de una colección finita de conjuntos A1, ..., An es el conjunto que contiene todos los
elementos de cada conjunto en dicha colección:

https://es.wikipedia.org/wiki/Unión_de_conjuntos 1/4
4/3/2021 Unión de conjuntos - Wikipedia, la enciclopedia libre

Y esta se puede calcular utilizando la propiedad asociativa de la unión de dos conjuntos (más abajo). De este modo, para unir varios conjuntos el
orden en el que se haga es irrelevante:

Una definición más general en teoría de conjuntos se refiere a una familia de conjuntos:

Sea M una familia de conjuntos. Su unión ∪M se define como:

Esta definición coincide con las anteriores en el caso de una familia finita de conjuntos:

A ∪ B = ∪M, donde M = {A, B}

A1 ∪ ... ∪ An = ∪M, donde M = {A1, ..., An}

La unión general de conjuntos se denota de diversas maneras:

donde esta última se aplica en el caso de que se utilice un conjunto índice, tomando M como {Ai: i ∈ I}.

Propiedades
De la definición de unión puede deducirse directamente:

Idempotencia. La unión de un conjunto A consigo mismo es el propio A :

Tanto A como B son subconjuntos de su unión:

La unión de un conjunto A con un subconjunto suyo B lo deja inalterado:

La unión de conjuntos posee también propiedades similares a las operaciones con números:

Propiedad asociativa. La unión de los conjuntos A y B ∪ C es igual que la unión de los

conjuntos A ∪ B y C :

Propiedad conmutativa. La unión de los conjuntos A y B es igual a la unión de los

conjuntos B y A :

https://es.wikipedia.org/wiki/Unión_de_conjuntos 2/4
4/3/2021 Unión de conjuntos - Wikipedia, la enciclopedia libre

Elemento neutro. La unión de un conjunto A con el conjunto vacío ∅ es el mismo

conjunto A:

Todas estas propiedades se deducen de propiedades análogas para la disyunción lógica.

En relación con la operación de intersección existen unas leyes distributivas:

Propiedad distributiva

A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C), y por tanto:

A ∪ (A ∩ B) = A
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C), y por tanto:

A ∩ (A ∪ B) = A

Cardinalidad

El número de elementos de la unión de dos conjuntos finitos A y B es la suma de los elementos de A y de B, si no tienen elementos en común.

Si A y B son finitos y disjuntos:

Como en un conjunto los elementos no pueden repetirse, si A y B tienen elementos en común, al sumar sus elementos se contarían los elementos
comunes más de una vez. Por ejemplo:

{1, a, ♠} y {b, a, 5} tienen ambos tres elementos, pero su unión {1, a, ♠, b, 5} tiene cinco elementos y no seis.

Por ello, es necesario eliminar las repeticiones al contar los elementos de A ∪ B:

Dados dos conjuntos finitos A y B :

Esta fórmula se generaliza para el caso más complicado de una unión de un número arbitrario de conjuntos finitos. Por ejemplo en el caso de tres
conjuntos se tiene:

y en general se tiene el llamado principio de inclusión-exclusión:

Dada una colección finita de conjuntos A1, ..., An :

https://es.wikipedia.org/wiki/Unión_de_conjuntos 3/4
4/3/2021 Unión de conjuntos - Wikipedia, la enciclopedia libre

En el caso de que alguno de los conjuntos involucrados sea infinito, las expresiones anteriores siguen siendo válidas, entendiéndolas como
afirmaciones relativas a cardinales infinitos (con ciertas modificaciones).

Axioma de la unión
En teoría axiomática de conjuntos no puede demostrarse la existencia de la unión de conjuntos a partir de propiedades más básicas. Es por ello que
se postula la existencia de la unión, añadiendo como axioma el llamado axioma de unión.

Véase también
Álgebra de conjuntos
Conjunto
Teoría de conjuntos
Intersección de conjuntos

Referencias
1. HALMOS, Paul R. Teoría intuitiva de conjuntos (Naive Set Theory)

Bibliografía
1. A diferencia de los multiconjuntos, que sí permiten repeticiones.
Dorronsoro, José; Hernández, Eugenio (1996). Números, grupos y anillos. Addison-Wesley/Universidad Autónoma de Madrid. ISBN 84-7829-009-
5.
Matoušek, Jiří; Nešetřil, Jaroslav (2008). Invitación a la matemática discreta. Reverte. ISBN 9788429151800. En el capítulo 2.7 detalla el principio
de inclusión-exclusión.
Lipschutz, Seymour (1991). Teoría de conjuntos y temas afines. McGraw-Hill. ISBN 968-422-926-7.

Obtenido de «https://es.wikipedia.org/w/index.php?title=Unión_de_conjuntos&oldid=129655532»

Esta página se editó por última vez el 29 sep 2020 a las 16:13.

El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0; pueden aplicarse cláusulas adicionales. Al usar este sitio, usted acepta nuestros
términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.

https://es.wikipedia.org/wiki/Unión_de_conjuntos 4/4