Conjuntos no disjuntos

Resumen inicial

Definición, características y condición algebraica ($A \cap B \neq \emptyset$) de los conjuntos no disjuntos o secantes.

Explicación en palabras simples

Infografía: Conjuntos secantes, solape de elementos e inclusión-exclusión

Dos conjuntos son no disjuntos (o secantes/solapados) cuando tienen al menos un elemento en común (su intersección no está vacía: $A \cap B \neq \emptyset$). Por ejemplo, si $A = \{1, 2, 3\}$ y $B = \{3, 4, 5\}$, ambos conjuntos comparten el número $3$, por lo que son no disjuntos. En los diagramas de Venn, los conjuntos no disjuntos se dibujan como dos círculos que se cruzan y forman una zona central compartida.

Explicación formal

Definición formal

En la teoría de conjuntos, dos conjuntos $A$ y $B$ son no disjuntos (o secantes) si y solo si su intersección es no vacía:
$$A \cap B \neq \emptyset \quad \iff \quad \exists x \, (x \in A \land x \in B)$$
La existencia de al menos un elemento común $x_0 \in A \cap B$ obliga a aplicar el Principio de Inclusión-Exclusión para el cómputo de la cardinalidad de la unión:
$$|A \cup B| = |A| + |B| - |A \cap B| < |A| + |B|$$

Desglose simbólico

Condición formal: $\exists x_0 \in \mathcal{U}, \, (x_0 \in A \land x_0 \in B)$.
Zona de solapamiento en diagramas de Venn: Región central no vacía $A \cap B$.
Desigualdad de no inclusión en el complemento: $A \cap B \neq \emptyset \iff A \not\subseteq B^c$.

Síntesis didáctica

Los conjuntos no disjuntos estructuran los problemas de probabilidad conjunta y los sistemas de clasificación múltiple donde los objetos comparten características simultáneas.

Definiciones clave

Conjuntos no disjuntos: Dos conjuntos que comparten al menos un elemento común ($A \cap B \neq \emptyset$).
Región de intersección: Conjunto formado por todos los miembros compartidos simultáneamente por $A$ y $B$.
Principio de inclusión-exclusión: Regla de conteo requerida para no duplicar los elementos de la intersección al calcular la unión.

Propiedades y relaciones importantes

Relación con subconjuntos: Si $A \subseteq B$ y $A \neq \emptyset$, entonces $A$ y $B$ son necesariamente no disjuntos ($A \cap B = A \neq \emptyset$).
Diferencia de conjuntos no disjuntos: Si $A \cap B \neq \emptyset$, entonces $A \setminus B \subsetneq A$.

Ejemplo guiado

Diagrama: Intersección de divisores y primos con pares

Determina si los conjuntos $A = \{x \in \mathbb{N} \mid x \text{ es divisor de } 12\}$ y $B = \{x \in \mathbb{N} \mid x \text{ es divisor de } 18\}$ son no disjuntos y halla su intersección.

Paso 1: Escribir el conjunto $A$ por extensión: $A = \{1, 2, 3, 4, 6, 12\}$.
Paso 2: Escribir el conjunto $B$ por extensión: $B = \{1, 2, 3, 6, 9, 18\}$.
Paso 3: Calcular la intersección $A \cap B$ extrayendo los elementos comunes: - Elementos compartidos: $1, 2, 3, 6$. - $A \cap B = \{1, 2, 3, 6\}$.
Paso 4: Comprobar que $|A \cap B| = 4 \neq 0$, por lo que $A \cap B \neq \emptyset$.
Paso 5: Concluir formalmente que $A$ y $B$ son **conjuntos no disjuntos** (secantes).

Procedimiento

Paso 1: Determinar los elementos de ambos conjuntos $A$ y $B$.
Paso 2: Buscar si existe al menos un elemento común en ambos conjuntos.
Paso 3: Si se encuentra al menos un elemento compartido $x_0$, listar la intersección $A \cap B$.
Paso 4: Concluir que los conjuntos son no disjuntos ($A \cap B \neq \emptyset$).
Paso 5: Aplicar la fórmula $|A \cup B| = |A| + |B| - |A \cap B|$ si se requiere calcular cardinalidades.

Errores frecuentes y cómo corregirlos

Error 1: Sumar directamente $|A| + |B|$ para calcular la unión de conjuntos no disjuntos. Cómo corregirlo: En conjuntos no disjuntos los elementos comunes se sumarían dos veces; se debe aplicar la fórmula de inclusión-exclusión: $|A \cup B| = |A| + |B| - |A \cap B|$.
Error 2: Creer que para ser no disjuntos todos los elementos deben coincidir. Cómo corregirlo: La coincidencia total es igualdad ($A = B$); para ser no disjuntos basta que coincida un solo elemento ($|A \cap B| \geq 1$).

Ejemplos

Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.

Ejemplos Verdadero/Falso

Decide si cada afirmación es verdadera o falsa antes de ver la explicación.

"La afirmación de que dos conjuntos deben tener todos sus elementos idénticos para clasificarse como no disjuntos."

"Para conjuntos finitos no disjuntos, el cálculo de la cardinalidad de la unión requiere la deducción de la intersección ($|A \cup B| = |A| + |B| - |A \cap B|$)."

"Dos conjuntos $A$ y $B$ son no disjuntos si y solo si poseen al menos un elemento común en su intersección ($A \cap B \neq \emptyset$)."

"La afirmación de que el conjunto vacío puede ser no disjunto con algún otro conjunto."

"La afirmación de que la diferencia $A \setminus B$ de dos conjuntos no disjuntos es igual al conjunto $A$ completo."

"La afirmación de que la intersección de dos conjuntos no disjuntos es igual al conjunto universal."

"La afirmación de que la cardinalidad de la unión de conjuntos no disjuntos es igual a la suma directa de sus cardinalidades."

Al terminar debes poder

Cuadro resumen: Conjuntos no disjuntos, principio aditivo e inclusión

Identificar, caracterizar y operar con conjuntos no disjuntos ($A \cap B \neq \emptyset$).

Hallar elementos compartidos, representarlos en diagramas de Venn y aplicar el principio de inclusión-exclusión.

Practica

Preguntas conceptuales

Verificar las ideas clave antes de calcular.

¿Qué significa que dos conjuntos $A$ y $B$ sean no disjuntos?
La relación de no disjuntos requiere que haya una superposición en sus elementos, haciendo que su intersección no sea vacía.

Respuesta: Que comparten al menos un elemento en común, por lo que $A \\cap B \\neq \\emptyset$
Al aplicar el principio de inclusión-exclusión para dos conjuntos no disjuntos $A$ y $B$, ¿por qué se resta la cardinalidad de la intersección?
Los elementos comunes pertenecen a $A$ y a $B$. Al sumar $|A| + |B|$, se están contando dos veces, por lo que se debe restar una vez su intersección.

Respuesta: Para evitar contar dos veces los elementos que están en ambos conjuntos
Si $A$ y $B$ son no disjuntos, ¿cuál de las siguientes opciones describe mejor a la intersección $A \\cap B$?
Dado que comparten elementos en común, la intersección no es vacía, lo que significa que tiene al menos un elemento en su interior.

Respuesta: Contiene al menos un elemento

Reconocimiento

Identificar elementos, datos o procedimientos.

¿Cuál de las siguientes parejas de conjuntos no es disjunta (es decir, es no disjunta)?
Ambos conjuntos contienen a los divisores de 6 menores o iguales a 6 (como 1, 2, 3, 6). Como su intersección no es vacía, no son disjuntos.

Respuesta: $A = \\{x \\in \\mathbb{N} : x \\le 6\\}$ y $B = \\{x \\in \\mathbb{N} : x \\text{ es divisor de } 6\\}$

Ejercicios básicos

Aplicar el procedimiento principal en casos simples.

¿Los conjuntos $C_1 = \\{2, 3, 5\\}$ y $C_2 = \\{5, 7, 11\\}$ son no disjuntos?
¿Si la intersección de dos conjuntos es vacía, entonces los conjuntos son no disjuntos?
¿Los conjuntos $A = \\{x \\in \\mathbb{N} : x \\text{ es múltiplo de } 4\\}$ y $B = \\{x \\in \\mathbb{N} : x \\text{ es múltiplo de } 6\\}$ son no disjuntos?

Preguntas tipo PAES

Resolver preguntas con formato y distractores similares a PAES.

En un grupo de 100 personas, 60 leen la revista $A$, 50 leen la revista $B$ y 20 leen ambas revistas. ¿Cómo se clasifican los conjuntos $A$ y $B$ y cuál es el número total de lectores que leen al menos una revista?
Son no disjuntos porque 20 personas leen ambas revistas ($|A \\cap B| = 20 > 0$). El total de lectores de al menos una es $|A \\cup B| = 60 + 50 - 20 = 90$.

Respuesta: Son no disjuntos y el total es 90 lectores.
Sean los conjuntos de números enteros $X = \\{x \\in \\mathbb{Z} : x^2 - 5x + 6 = 0\\}$ y $Y = \\{x \\in \\mathbb{Z} : x^2 - 6x + 8 = 0\\}$. ¿Cuál de las siguientes afirmaciones describe de forma correcta su relación?
Por extensión: $X = \\{2, 3\\}$ e $Y = \\{2, 4\\}$. Tienen en común el elemento 2. Por tanto, no son disjuntos.

Respuesta: Son no disjuntos porque comparten el número 2.
En un curso de 40 estudiantes, 22 estudian inglés y 18 estudian francés. Si se sabe que hay estudiantes que cursan ambos idiomas, ¿qué se puede afirmar sobre la cardinalidad de la unión de los estudiantes de inglés ($I$) y francés ($F$)?
Como hay estudiantes en la intersección ($|I \\cap F| \\ge 1$), la cardinalidad de la unión es $|I \\cup F| = 22 + 18 - |I \\cap F| = 40 - |I \\cap F|$, que es estrictamente menor que 40.

Respuesta: La cardinalidad es estrictamente menor que 40.

Evaluación de dominio

Nivel 1 Definición

Nivel 2 Ejercicios simples

Nivel 3 Problemas de aplicación