Unión (teoría de conjuntos)

Conjunto de elementos en cualquiera de algunos conjuntos.

Unión de dos conjuntos:
${\displaystyle ~A\cup B}$

Unión de tres conjuntos:
${\displaystyle ~A\cup B\cup C}$

La unión de A, B, C, D y E es todo excepto el área blanca.

En 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 las cuales se pueden combinar y relacionar conjuntos entre sí. Aunión nula se refiere a una unión decero () ${\displaystyle 0}$y es, por definición, igual alconjunto 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 tanto en A como en B. ^[2] En notación de constructor de conjuntos ,

${\displaystyle A\cup B=\{x:x\in A{\text{ or }}x\in B\}}$. ^[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}

${\displaystyle A\cup B=\{2,3,4,5,6,\dots \}}$

Como otro ejemplo, el número 9 no está contenido en la unión del conjunto de los números primos {2, 3, 5, 7, 11,...} y el conjunto de los 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}. La aparición múltiple de elementos idénticos no tiene efecto sobre la cardinalidad de un conjunto o su contenido.

Propiedades algebraicas

La unión binaria es una operación asociativa ; es decir, para cualquier conjunto , ${\displaystyle A,B,{\text{ and }}C}$

$${\displaystyle A\cup (B\cup C)=(A\cup B)\cup C.}$$

conmutativa^[5]conjunto vacíoelemento de identidadla disyunción lógica ${\displaystyle A\cup B\cup C}$ ${\displaystyle A\cup \varnothing =A}$ ${\displaystyle A}$ ${\displaystyle A\cup A=A}$

La intersección se distribuye sobre la unión.

$${\displaystyle A\cap (B\cup C)=(A\cap B)\cup (A\cap C)}$$

^[2]

$${\displaystyle A\cup (B\cap C)=(A\cup B)\cap (A\cup C).}$$

conjunto potenciainterseccióncomplementaciónálgebra booleana ${\displaystyle U}$

$${\displaystyle A\cup B=(A^{\complement }\cap B^{\complement })^{\complement },}$$

conjunto universal ${\displaystyle {}^{\complement }}$ ${\displaystyle U}$

Uniones finitas

Se puede realizar 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 hay al menos un elemento A de M tal que x es un elemento de A. ^[8] En símbolos:

${\displaystyle x\in \bigcup \mathbf {M} \iff \exists A\in \mathbf {M} ,\ x\in A.}$

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, a menudo se escribe o . Varias notaciones comunes para uniones arbitrarias incluyen , y . La última de estas notaciones se refiere a la unión de la colección , donde I es un conjunto índice y es un conjunto para cada . En el caso de que el conjunto índice I sea el conjunto de los números naturales , se utiliza la notación , que es análoga a la de las sumas infinitas en serie. ^[8] ${\displaystyle S_{1},S_{2},S_{3},\dots ,S_{n}}$ ${\displaystyle S_{1}\cup S_{2}\cup S_{3}\cup \dots \cup S_{n}}$ ${\textstyle \bigcup _{i=1}^{n}S_{i}}$ ${\textstyle \bigcup \mathbf {M} }$ ${\textstyle \bigcup _{A\in \mathbf {M} }A}$ ${\textstyle \bigcup _{i\in I}A_{i}}$ ${\displaystyle \left\{A_{i}:i\in I\right\}}$ ${\displaystyle A_{i}}$ ${\displaystyle i\in I}$ ${\textstyle \bigcup _{i=1}^{\infty }A_{i}}$

Cuando el símbolo "∪" se coloca antes de otros símbolos (en lugar de entre ellos), generalmente se representa en un tamaño mayor.

Codificación de notación

En Unicode , la unión está representada por el carácter U+222A ∪ UNION . ^[9] En TeX , se representa desde y se representa desde . ${\displaystyle \cup }$\cup ${\textstyle \bigcup }$\bigcup

Ver también

• Portal de matemáticas

• Álgebra de conjuntos  : identidades y relaciones que involucran conjuntos
• Alternancia (teoría del lenguaje formal)  : en la teoría del lenguaje formal y la coincidencia de patrones, la unión de dos conjuntos de cadenas o patrones Páginas que muestran descripciones de wikidata como alternativa- la unión de conjuntos de cadenas
• Axioma de unión  : concepto en teoría de conjuntos axiomáticos
• Unión disjunta  - En matemáticas, operación en conjuntos
• Principio de inclusión-exclusión  – Técnica de conteo en combinatoria
• Intersección (teoría de conjuntos)  : conjunto de elementos comunes a todos algunos conjuntos
• Operación binaria iterada  : aplicación repetida de una operación a una secuencia
• Lista de identidades y relaciones de conjuntos  - Igualdades para combinaciones de conjuntos
• Teoría de conjuntos ingenua  - Teorías de conjuntos informales
• Diferencia simétrica  : elementos en exactamente uno de dos conjuntos

Notas

1. Weisstein, Eric W. "Unión". Wolfram Mathworld. Archivado desde el original el 7 de febrero de 2009 . Consultado el 14 de julio de 2009 .
2. "Operaciones de conjuntos | Unión | Intersección | Complemento | Diferencia | Mutuamente excluyentes | Particiones | Ley de De Morgan | Ley distributiva | Producto cartesiano". Curso de probabilidad . Consultado el 5 de septiembre de 2020 .
3. Vereshchagin, Nikolai Konstantinovich; Shen, Alejandro (1 de enero de 2002). Teoría de conjuntos básica. Sociedad Matemática Estadounidense. ISBN 9780821827314.
4. deHaan, Lex; Koppelaars, dibujo animado (25 de octubre de 2007). Matemáticas aplicadas para profesionales de bases de datos. Presione. ISBN 9781430203483.
5. Halmos, PR (27 de noviembre de 2013). Teoría de conjuntos ingenua. Medios de ciencia y negocios de Springer. ISBN 9781475716450.
6. Dasgupta, Abhijit (11 de diciembre de 2013). Teoría de conjuntos: con una introducción a los conjuntos de puntos reales. Medios de ciencia y negocios de Springer. ISBN 9781461488545.
7. "La unión finita de conjuntos finitos es finita". PruebaWiki . Archivado desde el original el 11 de septiembre de 2014 . Consultado el 29 de abril de 2018 .
8. Smith, Douglas; Eggen, Mauricio; André, Richard St (1 de agosto de 2014). Una transición a las matemáticas avanzadas . Aprendizaje Cengage. ISBN 9781285463261.
9. "El estándar Unicode, versión 15.0 - Operadores matemáticos - Rango: 2200–22FF" (PDF) . Unicódigo . pag. 3.

enlaces externos

• "Unión de conjuntos", Enciclopedia de Matemáticas , EMS Press , 2001 [1994]
• Unión e intersección infinitas en ProvenMath Las leyes de De Morgan formalmente probadas a partir de los axiomas de la teoría de conjuntos.