Intersección (teoría de conjuntos)

Intersección

La intersección de dos conjuntos y representada por círculos. está en rojo.${\estilo de visualización A}$${\estilo de visualización B,}$${\displaystyle A\cap B}$
Tipo	Operación establecida
Campo	Teoría de conjuntos
Declaración	La intersección de y es el conjunto de elementos que se encuentran tanto en el conjunto como en el conjunto .${\estilo de visualización A}$${\estilo de visualización B}$${\displaystyle A\cap B}$${\estilo de visualización A}$${\estilo de visualización B}$
Declaración simbólica	${\displaystyle A\cap B=\{x:x\en A{\text{ y }}x\en B\}}$

En la teoría de conjuntos , la intersección de dos conjuntos y denotado por ^[1] es el conjunto que contiene todos los elementos de que también pertenecen a o, equivalentemente, todos los elementos de que también pertenecen a ^[2]${\estilo de visualización A}$${\estilo de visualización B,}$${\estilo de visualización A\cap B,}$${\estilo de visualización A}$${\estilo de visualización B}$${\estilo de visualización B}$${\displaystyle A.}$

La intersección se escribe utilizando el símbolo " " entre los términos; es decir, en notación infija . Por ejemplo: La intersección de más de dos conjuntos (intersección generalizada) se puede escribir como: que es similar a la notación sigma-mayúscula .${\displaystyle \cap}$$${\displaystyle \{1,2,3\}\cap \{2,3,4\}=\{2,3\}}$$$${\displaystyle \{1,2,3\}\cap \{4,5,6\}=\varnada }$$$${\displaystyle \mathbb {Z} \cap \mathbb {N} =\mathbb {N} }$$$${\displaystyle \{x\in \mathbb {R} :x^{2}=1\}\cap \mathbb {N} =\{1\}}$$$${\displaystyle \bigcap _{i=1}^{n}A_{i}}$$

Para obtener una explicación de los símbolos utilizados en este artículo, consulte la tabla de símbolos matemáticos .

La intersección de dos conjuntos y denotado por , ^[3] es el conjunto de todos los objetos que son miembros de ambos conjuntos y En símbolos:${\estilo de visualización A}$${\estilo de visualización B,}$${\displaystyle A\cap B}$${\estilo de visualización A}$${\estilo de visualización B.}$$${\displaystyle A\cap B=\{x:x\en A{\text{ y }}x\en B\}.}$$

Es decir, es un elemento de la intersección si y sólo si es a la vez un elemento de y un elemento de ^[3]${\estilo de visualización x}$${\displaystyle A\cap B}$ ${\estilo de visualización x}$${\estilo de visualización A}$${\estilo de visualización B.}$

Por ejemplo:

• La intersección de los conjuntos {1, 2, 3} y {2, 3, 4} es {2, 3}.
• El número 9 no está en la intersección del conjunto de números primos {2, 3, 5, 7, 11, ...} y el conjunto de números impares {1, 3, 5, 7, 9, 11, ...}, porque 9 no es primo.

Nosotros decimos que${\estilo de visualización A}$se interseca (se encuentra)${\estilo de visualización B}$ si existe algunoque sea elemento de ambosyen cuyo caso también decimos quese interseca (se encuentra) en . Equivalentemente,se intersecasi su intersecciónes un conjunto habitado , lo que significa que existe algunotal que${\estilo de visualización x}$${\estilo de visualización A}$${\estilo de visualización B,}$${\estilo de visualización A}$${\estilo de visualización B}$ ${\estilo de visualización x}$${\estilo de visualización A}$${\estilo de visualización B}$${\displaystyle A\cap B}$${\estilo de visualización x}$${\displaystyle x\en A\cap B.}$

Decimos que y son disjuntos si no se intersecan En lenguaje sencillo, no tienen elementos en común. y son disjuntos si su intersección está vacía , denotado${\estilo de visualización A}$${\estilo de visualización B}$${\estilo de visualización A}$${\estilo de visualización B.}$${\estilo de visualización A}$${\estilo de visualización B}$${\displaystyle A\cap B=\varnothing .}$

Por ejemplo, los conjuntos y son disjuntos, mientras que el conjunto de números pares interseca al conjunto de múltiplos de 3 en los múltiplos de 6.${\estilo de visualización \{1,2\}}$${\estilo de visualización \{3,4\}}$

La intersección binaria es una operación asociativa , es decir, para cualesquiera conjuntos y uno tiene${\estilo de visualización A,B,}$${\estilo de visualización C,}$

$${\displaystyle A\cap (B\cap C)=(A\cap B)\cap C.}$$Por lo tanto, los paréntesis pueden omitirse sin ambigüedad: cualquiera de las anteriores puede escribirse como . La intersección también es conmutativa . Es decir, para cualquier y uno tiene La intersección de cualquier conjunto con el conjunto vacío da como resultado el conjunto vacío; es decir, que para cualquier conjunto , Además, la operación de intersección es idempotente ; es decir, cualquier conjunto satisface que . Todas estas propiedades se siguen de hechos análogos sobre la conjunción lógica .${\displaystyle A\cap B\cap C}$${\estilo de visualización A}$${\estilo de visualización B,}$$${\displaystyle A\cap B=B\cap A.}$$${\estilo de visualización A}$$${\displaystyle A\cap \varnothing =\varnothing }$$${\estilo de visualización A}$${\displaystyle A\cap A=A}$

La intersección se distribuye sobre la unión y la unión se distribuye sobre la intersección. Es decir, para cualquier conjunto y se tiene Dentro de un universo se puede definir el complemento de como el conjunto de todos los elementos de no en Además, la intersección de y se puede escribir como el complemento de la unión de sus complementos, derivada fácilmente de las leyes de De Morgan :${\estilo de visualización A,B,}$${\estilo de visualización C,}$$${\displaystyle {\begin{aligned}A\cap (B\cup C)=(A\cap B)\cup (A\cap C)\\A\cup (B\cap C)=(A\cup B)\cap (A\cup C)\end{aligned}}}$$${\estilo de visualización U,}$ $Estilo de visualización A^{c}}$${\estilo de visualización A}$${\estilo de visualización U}$${\displaystyle A.}$${\estilo de visualización A}$${\estilo de visualización B}$$${\displaystyle A\cap B=\left(A^{c}\cup B^{c}\right)^{c}}$$

La noción más general es la intersección de una colección arbitraria no vacía de conjuntos. Si es un conjunto no vacío cuyos elementos son en sí mismos conjuntos, entonces es un elemento de la intersección de si y sólo si para cada elemento de es un elemento de En símbolos:${\estilo de visualización M}$${\estilo de visualización x}$${\estilo de visualización M}$${\estilo de visualización A}$${\estilo de visualización M,}$ ${\estilo de visualización x}$${\displaystyle A.}$$${\displaystyle \left(x\en \bigcap _{A\en M}A\right)\Leftrightarrow \left(\para todo A\en M,\ x\en A\right).}$$

La notación para este último concepto puede variar considerablemente. Los teóricos de conjuntos a veces escribirán " ", mientras que otros escribirán " ". La última notación se puede generalizar a " ", que se refiere a la intersección de la colección Aquí hay un conjunto no vacío, y es un conjunto para cada${\displaystyle \bigcap M}$${\displaystyle {\bigcap }_{A\in M}A}$${\displaystyle {\bigcap }_{i\in I}A_{i}}$${\displaystyle \left\{A_{i}:i\in I\right\}.}$${\displaystyle I}$$Estilo de visualización A_{i}}$${\displaystyle i\en I.}$

En el caso de que el conjunto índice sea el conjunto de números naturales , se puede ver una notación análoga a la de un producto infinito :${\displaystyle I}$$${\displaystyle \bigcap _{i=1}^{\infty }A_{i}.}$$

Cuando el formato es difícil, también se puede escribir " ". Este último ejemplo, una intersección de un número contable de conjuntos, es en realidad muy común; para ver un ejemplo, consulte el artículo sobre σ-álgebras .${\displaystyle A_{1}\cap A_{2}\cap A_{3}\cap \cdots }$

En la sección anterior, excluimos el caso donde era el conjunto vacío ( ). La razón es la siguiente: La intersección de la colección se define como el conjunto (ver notación de constructor de conjuntos ) Si está vacío, no hay conjuntos en por lo que la pregunta se convierte en "¿cuál de satisface la condición establecida?" La respuesta parece ser cada posible . Cuando está vacío, la condición dada anteriormente es un ejemplo de una verdad vacía . Por lo tanto, la intersección de la familia vacía debería ser el conjunto universal (el elemento de identidad para la operación de intersección), ^[4] pero en la teoría de conjuntos estándar ( ZF ), el conjunto universal no existe.${\estilo de visualización M}$${\displaystyle \varnothing}$${\estilo de visualización M}$$${\displaystyle \bigcap _{A\in M}A=\{x:{\text{ para todos }}A\in M,x\in A\}.}$$${\estilo de visualización M}$${\estilo de visualización A}$${\estilo de visualización M,}$${\estilo de visualización x}$${\estilo de visualización x}$${\estilo de visualización M}$

Sin embargo, cuando se restringe al contexto de subconjuntos de un conjunto fijo dado , la noción de la intersección de una colección vacía de subconjuntos de está bien definida. En ese caso, si está vacío, su intersección es . Dado que todos satisfacen vacuamente la condición requerida, la intersección de la colección vacía de subconjuntos de es todos de En fórmulas, Esto coincide con la intuición de que a medida que las colecciones de subconjuntos se hacen más pequeñas, sus respectivas intersecciones se hacen más grandes; en el caso extremo, la colección vacía tiene una intersección igual a todo el conjunto subyacente.${\estilo de visualización X}$${\estilo de visualización X}$${\estilo de visualización M}$${\displaystyle \bigcap M=\bigcap \varnothing =\{x\in X:x\in A{\text{ para todos }}A\in \varnothing \}}$${\displaystyle x\en X}$${\estilo de visualización X}$${\estilo de visualización X.}$${\displaystyle \bigcap \varnothing = X.}$

Además, en teoría de tipos es de un tipo prescrito por lo que se entiende que la intersección es de tipo (el tipo de conjuntos cuyos elementos están en ), y podemos definir como el conjunto universal de (el conjunto cuyos elementos son exactamente todos los términos del tipo ).${\estilo de visualización x}$${\displaystyle \tau ,}$${\displaystyle \mathrm {conjunto} \ \tau }$${\estilo de visualización \tau}$${\displaystyle \bigcap _{A\in \emptyset }A}$${\displaystyle \mathrm {conjunto} \ \tau }$${\estilo de visualización \tau}$

• Álgebra de conjuntos  – Identidades y relaciones que involucran conjuntos
• Cardinalidad  – Definición del número de elementos de un conjunto
• Complemento  – Conjunto de elementos que no están en un subconjunto dado
• Intersección (Geometría euclidiana)  : Forma formada a partir de puntos comunes a otras formas.Páginas que muestran descripciones breves de los objetivos de redireccionamiento
• Gráfico de intersección  : gráfico que representa intersecciones entre conjuntos dados
• Teoría de intersecciones  – Rama de la geometría algebraica
• Lista de identidades y relaciones de conjuntos  – Igualdades para combinaciones de conjuntos
• Conjunción lógica  – Conjunción lógica AND
• MinHash  – Técnica de minería de datos
• Teoría de conjuntos ingenua  – Teorías de conjuntos informales
• Diferencia simétrica  : elementos en exactamente uno de dos conjuntos
• Unión  – Conjunto de elementos de cualquiera de algunos conjuntos

• Devlin, KJ (1993). El placer de los conjuntos: fundamentos de la teoría de conjuntos contemporánea (segunda edición). Nueva York, NY: Springer-Verlag. ISBN 3-540-94094-4.
• Munkres, James R. (2000). "Teoría de conjuntos y lógica". Topología (segunda edición). Upper Saddle River: Prentice Hall. ISBN 0-13-181629-2.
• Rosen, Kenneth (2007). "Estructuras básicas: conjuntos, funciones, secuencias y sumas". Matemáticas discretas y sus aplicaciones (sexta edición). Boston: McGraw-Hill. ISBN 978-0-07-322972-0.

Wikimedia Commons tiene medios relacionados con Intersección (teoría de conjuntos) .

• Weisstein, Eric W. "Intersección". MathWorld .