Conjuntos disjuntos
Resumen inicial
Definición, características y condición algebraica ($A \cap B = \emptyset$) de los conjuntos disjuntos o mutuamente excluyentes.
Explicación en palabras simples
Dos conjuntos son disjuntos (o mutuamente excluyentes) cuando no tienen absolutamente ningún elemento en común. Es decir, su intersección es el conjunto vacío: $A \cap B = \emptyset$. Por ejemplo, el conjunto de los números pares $P = \{2, 4, 6\}$ y el conjunto de los números impares $I = \{1, 3, 5\}$ son disjuntos, porque ningún número entero puede ser par e impar al mismo tiempo. En un diagrama de Venn, los conjuntos disjuntos se dibujan como dos círculos completamente separados, sin tocarse.
Explicación formal
Definición formal
En la teoría de conjuntos y la probabilidad axiomática, dos conjuntos $A$ y $B$ son disjuntos (o mutuamente disjuntos) si y solo si su intersección es el conjunto vacío:
$$A \cap B = \emptyset \quad \iff \quad \forall x \, \neg(x \in A \land x \in B)$$
Para una familia arbitraria de conjuntos $\{A_i\}_{i \in I}$, se dice que son disjuntos dos a dos (o disjuntos por pares) si:
$$\forall i, j \in I \, (i \neq j \implies A_i \cap A_j = \emptyset)$$
Desglose simbólico
- Condición algebraica: $A \cap B = \emptyset$.
- Principio de Adición exacta: Si $A$ y $B$ son finitos y disjuntos, entonces $|A \cup B| = |A| + |B|$.
- Diferencia de conjuntos disjuntos: $A \setminus B = A$ y $B \setminus A = B$.
- Inclusión en el complemento: $A \cap B = \emptyset \iff A \subseteq B^c$.
Síntesis didáctica
La disyunción de conjuntos representa la exclusión mutua categórica, fundamental para el cálculo de probabilidades de eventos incompatibles.
La alternativa correcta es 'Que su intersección sea el conjunto vacío ($A \cap B = \emptyset$)'. Es la definición formal de conjuntos disjuntos.
Definiciones clave
- Conjuntos disjuntos: Dos conjuntos cuya intersección carece de elementos ($A \cap B = \emptyset$).
- Disjuntos dos a dos (mutuamente disjuntos): Familia de conjuntos donde cualquier par de miembros distintos tiene intersección vacía.
- Eventos mutuamente excluyentes: Denominación equivalente en teoría de probabilidades.
Propiedades y relaciones importantes
- Diferencia simétrica de disjuntos: Si $A \cap B = \emptyset$, entonces $A \bigtriangleup B = A \cup B$.
- Intersección con el vacío: Todo conjunto $A$ es disjunto con el conjunto vacío ($A \cap \emptyset = \emptyset$).
Ejemplo guiado
Determina si los conjuntos $A = \{x \in \mathbb{N} \mid x < 5\}$ y $B = \{x \in \mathbb{N} \mid x \text{ es múltiplo de } 5\}$ son disjuntos.
- Paso 1: Escribir el conjunto $A$ por extensión: $A = \{1, 2, 3, 4\}$.
- Paso 2: Escribir los primeros elementos del conjunto $B$ por extensión: $B = \{5, 10, 15, 20, \dots\}$.
- Paso 3: Calcular la intersección $A \cap B$ buscando elementos compartidos: - Ningún elemento de $\{1, 2, 3, 4\}$ es múltiplo de 5.
- Paso 4: Comprobar el resultado: $A \cap B = \emptyset$.
- Paso 5: Concluir formalmente que los conjuntos $A$ y $B$ son **disjuntos**.
La alternativa correcta es '$12$'. Al ser disjuntos ($|A \cap B| = 0$), se aplica la suma directa: $|A \cup B| = 7 + 5 = 12$.
Procedimiento
- Paso 1: Determinar los elementos de ambos conjuntos $A$ y $B$.
- Paso 2: Calcular la intersección $A \cap B$ buscando elementos comunes.
- Paso 3: Si se encuentra al menos un elemento compartido, declarar que NO son disjuntos.
- Paso 4: Si no existe ningún elemento común ($A \cap B = \emptyset$), declarar formalmente que $A$ y $B$ son disjuntos.
Errores frecuentes y cómo corregirlos
- Error 1: Afirmar que dos conjuntos son disjuntos porque tienen cardinalidades diferentes. Cómo corregirlo: La condición de ser disjuntos depende de la naturaleza de los elementos (que no se repitan entre conjuntos), no de su cantidad.
- Error 2: Creer que $A \setminus B = \emptyset$ para conjuntos disjuntos. Cómo corregirlo: Si son disjuntos, quitarle $B$ a $A$ no le quita nada, por lo que $A \setminus B = A$.
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- Ningún entero puede ser par e impar a la vez.
- La intersección es $\emptyset$, luego son disjuntos.
- Al no compartir elementos con $B$, $A \setminus B = A$.
- Sí, al no estar en $B$, todos los elementos de $A$ residen en el complemento $B^c$.
- Sí, pues $A \cap \emptyset = \emptyset$ para todo $A$.
Ejemplos Verdadero/Falso
Decide si cada afirmación es verdadera o falsa antes de ver la explicación.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación es correcta.
Esta afirmación es correcta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Al terminar debes poder
Definir, verificar y operar con conjuntos disjuntos ($A \cap B = \emptyset$).
Comprobar la ausencia de elementos compartidos, aplicar el principio aditivo de cardinalidad y relacionarlos con el complemento ($A \subseteq B^c$).
Practica
Preguntas conceptuales
Verificar las ideas clave antes de calcular.
-
Si $A$ y $B$ son disjuntos, ¿qué ocurre al calcular la diferencia de conjuntos $A \\setminus B$?
La diferencia $A \\setminus B$ le quita a $A$ todos los elementos de $B$. Como no comparten ningún elemento, no se quita nada de $A$, resultando en el mismo conjunto $A$.
Respuesta: Es igual a $A$
-
¿Qué propiedad define que dos conjuntos sean disjuntos?
Dos conjuntos son disjuntos si y solo si no tienen elementos en común, lo cual equivale a decir que su intersección es el conjunto vacío.
Respuesta: Que su intersección sea vacía ($A \\cap B = \\emptyset$)
-
Si $A$ y $B$ son conjuntos finitos disjuntos, ¿cuál es el resultado de $|A \\cup B|$?
Dado que no hay elementos compartidos entre $A$ y $B$ ($|A \\cap B| = 0$), no es necesario restar ningún término en el principio de inclusión-exclusión.
Respuesta: $|A| + |B|$
Reconocimiento
Identificar elementos, datos o procedimientos.
-
¿Cuál de las siguientes parejas de conjuntos es disjunta?
El conjunto $A$ contiene números impares y $B$ contiene números pares. No comparten ningún elemento, por lo que $A \\cap B = \\emptyset$.
Respuesta: $A = \\{1, 3, 5\\}$ y $B = \\{2, 4, 6\\}$
Ejercicios básicos
Aplicar el procedimiento principal en casos simples.
-
¿Si dos conjuntos no comparten elementos, la cardinalidad de su intersección es cero?
No compartir elementos significa que su intersección es el conjunto vacío, cuya cardinalidad es 0.
Respuesta: Verdadero
-
¿El conjunto de números primos y el conjunto de números compuestos son no disjuntos?
Un número natural (mayor que 1) es primo o compuesto, pero nunca ambos. Por lo tanto, no comparten elementos y son disjuntos.
Respuesta: Falso
-
¿Los conjuntos $M = \\{x \\in \\mathbb{Z} : x < 0\\}$ y $N = \\{x \\in \\mathbb{Z} : x > 0\\}$ son disjuntos?
Ningún número entero puede ser estrictamente menor que cero y estrictamente mayor que cero a la vez. Su intersección es vacía.
Respuesta: Verdadero
Preguntas tipo PAES
Resolver preguntas con formato y distractores similares a PAES.
-
En un centro deportivo, se sabe que el conjunto $F$ de personas que practican fútbol y el conjunto $N$ de personas que practican natación son disjuntos. Si en total hay 25 futbolistas y 18 nadadores, ¿cuántas personas practican al menos uno de estos dos deportes?
Al ser disjuntos, la cardinalidad de la unión de personas que practican al menos uno de los deportes es $|F \\cup N| = |F| + |N| = 25 + 18 = 43$.
Respuesta: 43
-
En una estantería escolar hay libros de literatura ($L$) y libros de ciencias ($C$). Ningún libro de ciencias contiene literatura y viceversa. Si se define el conjunto $T$ como el total de libros en la estantería ($T = L \\cup C$), ¿cuál de las siguientes afirmaciones es correcta?
Como ningún libro es de ambas categorías a la vez, $L$ y $C$ no tienen elementos en común (son disjuntos). Por ende, el tamaño total es la suma de los tamaños individuales.
Respuesta: $L$ y $C$ son disjuntos, por lo tanto $|T| = |L| + |C|$.
-
Sean los conjuntos $A = \\{x \\in \\mathbb{Z} : x^2 - 4 = 0\\}$ y $B = \\{x \\in \\mathbb{N} : x \\text{ es divisor de } 15\\}$. ¿Cuál de las siguientes afirmaciones es verdadera respecto a su intersección?
Por extensión: $A = \\{-2, 2\\}$ y $B = \\{1, 3, 5, 15\\}$. Al buscar elementos en común, vemos que el 2 pertenece a ambos conjuntos. Por lo tanto, no son disjuntos.
Respuesta: No son disjuntos porque comparten el elemento 2.