Propiedad distributiva de la intersección sobre la unión
Aplicar la propiedad distributiva de la intersección sobre la unión para expandir o simplificar operaciones mixtas entre conjuntos.
Introducción
Imagina que eres parte de un grupo de estudiantes de Ciencias ($A$) y quieres identificar a quiénes les gusta también la Música ($B$) O el Arte ($C$). Es decir, buscas a los estudiantes de Ciencias que les gusta la Música o el Arte, lo que se escribe $A \cap (B \cup C)$. La propiedad distributiva nos enseña que esto es exactamente igual a buscar a los de Ciencias que les gusta la Música ($A \cap B$) y juntarlos con los de Ciencias que les gusta el Arte ($A \cap C$), es decir, $(A \cap B) \cup (A \cap C)$. Esta propiedad ayuda a descomponer problemas complejos en partes más sencillas.
Explicación
La propiedad distributiva de la intersección sobre la unión es una ley fundamental en la teoría de conjuntos que permite resolver o expandir expresiones algebraicas donde la intersección se aplica a una unión de conjuntos.
Definición Formal
Sean $A$, $B$ y $C$ tres conjuntos en un universo $U$. Se cumple que:
$$A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$$
Demostración
Esta propiedad se basa en la ley distributiva de la conjunción proposicional sobre la disyunción proposicional en lógica matemática. Por definición de las operaciones de conjuntos:
$$A \cap (B \cup C) = \{x \in U \mid x \in A \land x \in (B \cup C)\}$$
$$= \{x \in U \mid x \in A \land (x \in B \lor x \in C)\}$$
Aplicando la propiedad distributiva de la lógica de proposiciones, donde $p \land (q \lor r) \equiv (p \land q) \lor (p \land r)$, tenemos:
$$= \{x \in U \mid (x \in A \land x \in B) \lor (x \in A \land x \in C)\}$$
$$= \{x \in U \mid x \in (A \cap B) \lor x \in (A \cap C)\} = (A \cap B) \cup (A \cap C)$$
Esto demuestra analíticamente que ambos miembros son iguales.
Representación Gráfica (Diagrama de Venn)
En un diagrama de Venn, el lado izquierdo representa los elementos que están en $A$ y al mismo tiempo en la unión de $B$ y $C$. Esto cubre exactamente la intersección entre $A$ y $B$, más la intersección entre $A$ y $C$. Gráficamente, el área resultante es idéntica en ambos lados.
Cómo hacerlo paso a paso
- Paso 1: Identifica los conjuntos $A$ (el que intersecta por fuera) y los conjuntos $B$ y $C$ (los que se unen adentro).
- Paso 2: Para calcular el lado izquierdo $A \cap (B \cup C)$, obtén primero la unión $B \cup C$ y luego intersecta el resultado con $A$.
- Paso 3: Para calcular el lado derecho $(A \cap B) \cup (A \cap C)$, obtén por separado las intersecciones parciales $A \cap B$ y $A \cap C$, y luego realiza la unión de ambos resultados.
- Paso 4: Compara los conjuntos obtenidos y verifica que tengan exactamente los mismos elementos.
Ejemplos
1 Sean los conjuntos $A = \{1, 2\}$, $B = \{2, 3\}$ y $C = \{2, 4\}$. Comprueba la propiedad distributiva calculando $A \cap (B \cup C)$ y $(A \cap B) \cup (A \cap C)$.
- Paso a: Evaluamos el lado izquierdo. Primero calculamos la unión: $B \cup C = \{2, 3, 4\}$.
- Paso b: Ahora intersectamos $A$ con el resultado anterior: $A \cap (B \cup C) = \{1, 2\} \cap \{2, 3, 4\} = \{2\}$.
- Paso c: Evaluamos el lado derecho. Primero calculamos las intersecciones parciales: $A \cap B = \{2\}$ y $A \cap C = \{2\}$.
- Paso d: Unimos ambos resultados: $(A \cap B) \cup (A \cap C) = \{2\} \cup \{2\} = \{2\}$.
- Paso e: Ambos lados dan como resultado $\{2\}$, confirmando la distributividad de la intersección.
2 Considere los conjuntos $X = \{a, b\}$, $Y = \{c\}$ y $Z = \{d\}$. Comprueba la propiedad distributiva.
- Paso a: Para el lado izquierdo, calculamos primero $Y \cup Z = \{c, d\}$. Luego intersectamos con $X$: $\{a, b\} \cap \{c, d\} = \varnothing$.
- Paso b: Para el lado derecho, calculamos las intersecciones parciales: $X \cap Y = \varnothing$ y $X \cap Z = \varnothing$. Uniendo ambos resultados vacíos obtenemos $\varnothing \cup \varnothing = \varnothing$.
- Paso c: Ambos lados resultan en el conjunto vacío $\varnothing$, confirmando la equivalencia.
3 ¿Es la propiedad distributiva de la intersección sobre la unión válida para conjuntos infinitos?
- Al ser una ley algebraica universal, se cumple para cualquier conjunto, sin importar si es finito o infinito.
4 ¿Si los conjuntos $B$ y $C$ son disjuntos, se cumple la propiedad distributiva?
- La conjetura de que los conjuntos sean disjuntos no invalida la propiedad.
- Si $B \cap C = \varnothing$, se sigue cumpliendo que $A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$. Ambos lados darán el mismo conjunto resultante.
Ejemplos Verdadero/Falso
"Confundir esta propiedad con la distributiva de la unión sobre la intersección, invirtiendo erróneamente los símbolos."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Distribuir incorrectamente los paréntesis como $(A \cap B) \cap (A \cap C)$, olvidando que la operación central es la unión."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Creer que si la intersección $A \cap B$ es vacía, el resultado completo debe ser vacío (se debe seguir uniendo con $A \cap C$)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Intentar aplicar la propiedad distribuyendo de derecha a izquierda sin reordenar adecuadamente los términos."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Confundir la distributiva con la propiedad asociativa, que mantiene la misma operación en toda la cadena."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
La propiedad distributiva de la intersección sobre la unión establece que la intersección de un conjunto con la unión de otros dos es equivalente a la unión de las intersecciones del primer conjunto con cada uno de los otros dos. Formalmente: $A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$.
Practica
Preguntas conceptuales
Verificar las ideas clave antes de calcular.
-
En un diagrama de Venn de tres conjuntos $A$, $B$ y $C$, la región $A \cap (B \cup C)$ representa a:
Representa el área donde el círculo de $A$ se superpone con los círculos de $B$ y $C$ combinados.
Respuesta: Los elementos comunes entre $A$ y la unión de $B$ con $C$
-
La equivalencia lógica $p \land (q \lor r) \equiv (p \land q) \lor (p \land r)$ fundamenta qué propiedad de conjuntos:
Como la intersección se asocia a la conjunción ($\land$) y la unión a la disyunción ($\lor$), esta ley proposicional demuestra la distributividad de la intersección sobre la unión.
Respuesta: La propiedad distributiva de la intersección sobre la unión
-
¿Cuál de las siguientes expresiones representa la propiedad distributiva de la intersección sobre la unión?
La propiedad distributiva de la intersección sobre la unión indica que intersectar un conjunto con una unión es equivalente a unir las intersecciones individuales: $A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$.
Respuesta: $A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$
Reconocimiento
Identificar elementos, datos o procedimientos.
-
Si se expande la expresión $X \cap (Y \cup Z)$ usando la propiedad distributiva, ¿cuál de las siguientes opciones se obtiene?
La intersección externa de $X$ se distribuye a cada conjunto del paréntesis conservando la unión como la operación principal entre los dos términos resultantes.
Respuesta: $(X \cap Y) \cup (X \cap Z)$
Ejercicios básicos
Aplicar el procedimiento principal en casos simples.
-
Sean $A = \{1, 2\}$, $B = \{2, 3\}$ y $C = \{4\}$. ¿Es cierto que $A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$?
Sí, calculando el lado izquierdo: $B \cup C = \{2, 3, 4\}$, entonces $A \cap \{2, 3, 4\} = \{2\}$. Lado derecho: $(A \cap B) = \{2\}$, $(A \cap C) = \varnothing$. Su unión es $\{2\} \cup \varnothing = \{2\}$. Ambos lados son iguales.
Respuesta: Verdadero
-
La propiedad distributiva de la intersección sobre la unión establece que $A \cap (B \cup C) = (A \cap B) \cap (A \cap C)$.
La operación central debe ser la unión: $(A \cap B) \cup (A \cap C)$. La afirmación usa intersección en su lugar, lo cual es incorrecto.
Respuesta: Falso
-
La propiedad distributiva de la intersección sobre la unión es válida incluso si alguno de los conjuntos involucrados es el conjunto vacío.
La distributividad es una ley algebraica general de los conjuntos y se cumple para todos los casos, incluyendo conjuntos vacíos.
Respuesta: Verdadero
Preguntas tipo PAES
Resolver preguntas con formato y distractores similares a PAES.
-
Sean $A$, $B$ y $C$ tres conjuntos de números. Si se sabe que $A$ y $B$ son disjuntos, y que $A$ y $C$ también son disjuntos, ¿cuál es el resultado de evaluar $A \cap (B \cup C)$?
Por la propiedad distributiva, $A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$. Como $A \cap B = \varnothing$ y $A \cap C = \varnothing$, entonces $\varnothing \cup \varnothing = \varnothing$.
Respuesta: $\varnothing$
-
Considere los conjuntos de números reales $A = [3, 7]$, $B = [1, 4]$ y $C = [6, 9]$. Se quiere calcular la intersección de $A$ con la unión de $B$ y $C$. ¿Cuál de los siguientes intervalos representa el resultado obtenido?
Aplicando distributividad: $A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$. Calculamos $A \cap B = [3, 7] \cap [1, 4] = [3, 4]$. Calculamos $A \cap C = [3, 7] \cap [6, 9] = [6, 7]$. La unión de ambos da $[3, 4] \cup [6, 7]$.
Respuesta: $[3, 4] \cup [6, 7]$
-
Una municipalidad organiza talleres de deportes para jóvenes. El conjunto $M$ representa a los inscritos en el taller de natación, $T$ a los de tenis de mesa y $F$ a los de fútbol. Se decide dar una beca a los jóvenes de natación que además practiquen tenis de mesa O fútbol. Expresado en conjuntos, esto es $M \cap (T \cup F)$. Si el software de la municipalidad solo puede buscar 'jóvenes que están en natación y tenis de mesa' ($M \cap T$) por un lado, y 'jóvenes que están en natación y fútbol' ($M \cap F$) por otro, ¿cómo se debe programar la combinación de estas búsquedas para obtener la lista de becados?
Por la propiedad distributiva de la intersección sobre la unión, $M \cap (T \cup F) = (M \cap T) \cup (M \cap F)$. Esto equivale a unir las dos listas parciales.
Respuesta: Realizando la unión de ambas listas: $(M \cap T) \cup (M \cap F)$