En la teoría de conjuntos , la unión (denotada por ∪) de una colección de conjuntos es el conjunto de todos los elementos de la colección. [1] Es una de las operaciones fundamentales mediante la cual los conjuntos se pueden combinar y relacionar entre sí. Aunión nular se refiere a una unión decero () conjuntos y, por definición, es igual al conjunto vacío .
Para obtener una explicación de los símbolos utilizados en este artículo, consulte la tabla de símbolos matemáticos .
Unión de dos conjuntos
La unión de dos conjuntos A y B es el conjunto de elementos que están en A , en B , o en ambos A y B . [2] En símbolos,
- . [3]
Por ejemplo, si A = {1, 3, 5, 7} y B = {1, 2, 4, 6, 7} entonces A ∪ B = {1, 2, 3, 4, 5, 6, 7}. Un ejemplo más elaborado (que involucra dos conjuntos infinitos) es:
- A = { x es un número entero par mayor que 1}
- B = { x es un número entero impar mayor que 1}
Como otro ejemplo, el número 9 no está contenido en la unión del conjunto de números primos {2, 3, 5, 7, 11, ...} y el conjunto de números pares {2, 4, 6, 8, 10 , ...}, porque 9 no es ni primo ni par.
Los conjuntos no pueden tener elementos duplicados, [3] [4] por lo que la unión de los conjuntos {1, 2, 3} y {2, 3, 4} es {1, 2, 3, 4}. Las apariciones múltiples de elementos idénticos no tienen ningún efecto sobre la cardinalidad de un conjunto o su contenido.
Propiedades algebraicas
La unión binaria es una operación asociativa ; es decir, para los conjuntos A , B y C ,
Así, los paréntesis pueden omitirse sin ambigüedad: cualquiera de los anteriores se puede escribir como A ∪ B ∪ C . Además, la unión es conmutativa , por lo que los conjuntos se pueden escribir en cualquier orden. [5] El conjunto vacío es un elemento de identidad para el funcionamiento de la unión. Es decir, un ∪ ∅ = A , para cualquier conjunto A. Además, la operación de unión es idempotente: A ∪ A = A . Todas estas propiedades se derivan de hechos análogos sobre la disyunción lógica .
La intersección se distribuye sobre la unión
y la unión se distribuye sobre la intersección
El conjunto de potencias de un conjunto U , junto con las operaciones dadas por unión, intersección y complementación , es un álgebra booleana . En este álgebra de Boole, la unión se puede expresar en términos de intersección y complementación mediante la fórmula
donde el superíndice denota el complemento en el conjunto universal U .
Uniones finitas
Se puede tomar la unión de varios conjuntos simultáneamente. Por ejemplo, la unión de tres conjuntos A , B y C contiene todos los elementos de A , todos los elementos de B y todos los elementos de C , y nada más. Por lo tanto, x es un elemento de A ∪ B ∪ C si y sólo si x está en al menos uno de A , B , y C .
Una unión finita es la unión de un número finito de conjuntos; la frase no implica que el conjunto de unión sea un conjunto finito . [6] [7]
Uniones arbitrarias
La noción más general es la unión de una colección arbitraria de conjuntos, a veces llamada unión infinita . Si M es un conjunto o clase cuyos elementos son conjuntos, entonces x es un elemento de la unión de M si y sólo si existe al menos un elemento A de M tal que x es un elemento de A . [8] En símbolos:
Esta idea incluye las secciones anteriores, por ejemplo, A ∪ B ∪ C es la unión de la colección { A , B , C }. Además, si M es la colección vacía, entonces la unión de M es el conjunto vacío.
Notaciones
La notación del concepto general puede variar considerablemente. Para una unión finita de conjuntos uno escribe a menudo o . Varias notaciones comunes para uniones arbitrarias incluyen, , y . [9] La última de estas notaciones se refiere a la unión de la colección., donde I es un conjunto de índices y es un conjunto para cada . En el caso de que el conjunto de índices I sea el conjunto de números naturales , se usa la notación, que es análogo al de las sumas infinitas en serie. [8]
Cuando el símbolo "∪" se coloca antes de otros símbolos (en lugar de entre ellos), generalmente se representa con un tamaño mayor.
Codificación de notación
En Unicode, la unión está representada por el carácter U + 222A ∪ UNION . En TeX , se renderiza a partir de \ cup.
Ver también
Notas
- ^ Weisstein, Eric W. "Unión" . Mathworld de Wolfram. Archivado desde el original el 7 de febrero de 2009 . Consultado el 14 de julio de 2009 .
- ^ a b "Establecer operaciones | Unión | Intersección | Complemento | Diferencia | Mutuamente excluyentes | Particiones | Ley de De Morgan | Ley distributiva | Producto cartesiano" . www.probabilitycourse.com . Consultado el 5 de septiembre de 2020 .
- ^ a b Vereshchagin, Nikolai Konstantinovich; Shen, Alexander (1 de enero de 2002). Teoría básica de conjuntos . American Mathematical Soc. ISBN 9780821827314.
- ^ deHaan, Lex; Koppelaars, Toon (25 de octubre de 2007). Matemáticas aplicadas para profesionales de bases de datos . Presione. ISBN 9781430203483.
- ^ Halmos, PR (27 de noviembre de 2013). Teoría de conjuntos ingenua . Springer Science & Business Media. ISBN 9781475716450.
- ^ Dasgupta, Abhijit (11 de diciembre de 2013). Teoría de conjuntos: con una introducción a conjuntos de puntos reales . Springer Science & Business Media. ISBN 9781461488545.
- ^ "La unión finita de conjuntos finitos es finita - ProofWiki" . proofwiki.org . Archivado desde el original el 11 de septiembre de 2014 . Consultado el 29 de abril de 2018 .
- ^ a b Smith, Douglas; Eggen, Maurice; Andre, Richard St (1 de agosto de 2014). Una transición a las matemáticas avanzadas . Aprendizaje Cengage. ISBN 9781285463261.
- ^ "Lista completa de símbolos de la teoría de conjuntos" . Bóveda de matemáticas . 2020-04-11 . Consultado el 5 de septiembre de 2020 .
enlaces externos
- "Unión de conjuntos" , Enciclopedia de Matemáticas , EMS Press , 2001 [1994]
- Unión e intersección infinitas en las leyes de ProvenMath De Morgan probadas formalmente a partir de los axiomas de la teoría de conjuntos.