Ley de De Morgan para el complemento de una unión
Aplicar la ley de De Morgan para el complemento de una unión para simplificar y resolver operaciones de complementación en conjuntos.
Introducción
Imagina que en una pastelería hay tortas que tienen chocolate ($A$) o manjar ($B$). Si un cliente dice: "No quiero ninguna torta que tenga chocolate o manjar", esto equivale exactamente a decir: "No quiero chocolate ($A^c$) Y tampoco quiero manjar ($B^c$)". En matemáticas, esta equivalencia entre "no (A o B)" y "no A y no B" se conoce como la primera Ley de De Morgan para el complemento de una unión, y nos ayuda a cambiar una operación de unión por una de intersección al aplicar complementos.
Explicación
Las leyes de De Morgan son un par de reglas de transformación que relacionan la unión, la intersección y el complemento de conjuntos. La primera de estas leyes describe cómo se comporta el complemento con respecto a la unión.
Definición Formal
Sean $A$ y $B$ dos conjuntos contenidos en un conjunto universal $U$. El complemento de su unión, denotado por $(A \cup B)^c$ o $(A \cup B)'$, se expresa como:
$$(A \cup B)^c = A^c \cap B^c$$
Demostración
Esta propiedad se fundamenta directamente en las leyes de De Morgan de la lógica proposicional, las cuales establecen que la negación de una disyunción es lógicamente equivalente a la conjunción de las negaciones: $\neg(p \lor q) \equiv \neg p \land \neg q$.
Por definición de las operaciones de conjuntos:
$$(A \cup B)^c = \{x \in U \mid x \notin (A \cup B)\}$$
$$= \{x \in U \mid \neg(x \in A \lor x \in B)\}$$
Aplicando la ley lógica de De Morgan:
$$= \{x \in U \mid x \notin A \land x \notin B\}$$
$$= \{x \in U \mid x \in A^c \land x \in B^c\} = A^c \cap B^c$$
Por lo tanto, se demuestra la equivalencia.
Representación Gráfica (Diagrama de Venn)
En un diagrama de Venn, la unión $A \cup B$ corresponde a la zona interna de ambos círculos. El complemento $(A \cup B)^c$ es toda la región exterior a ambos círculos. Por otro lado, la intersección de la región fuera de $A$ ($A^c$) con la región fuera de $B$ ($B^c$) cubre exactamente esta misma área exterior, verificando gráficamente la propiedad.
Cómo hacerlo paso a paso
- Paso 1: Identifica los conjuntos $A$ y $B$, el conjunto universal $U$, y calcula los complementos individuales $A^c$ y $B^c$.
- Paso 2: Para calcular el lado izquierdo $(A \cup B)^c$, primero obtén la unión $A \cup B$ y luego determina todos los elementos de $U$ que no pertenecen a dicha unión.
- Paso 3: Para calcular el lado derecho $A^c \cap B^c$, toma los conjuntos $A^c$ y $B^c$ previamente calculados e identifica sus elementos comunes.
- Paso 4: Compara ambos resultados para comprobar que contienen los mismos elementos.
Ejemplos
1 Dado el universo $U = \{1, 2, 3, 4, 5\}$ y los conjuntos $A = \{1, 2\}$ y $B = \{3, 4\}$, comprueba la ley de De Morgan calculando $(A \cup B)^c$ y $A^c \cap B^c$.
- Paso a: Calculamos el lado izquierdo. Primero hallamos la unión: $A \cup B = \{1, 2, 3, 4\}$.
- Paso b: Determinamos el complemento de esta unión respecto al universo $U$: $(A \cup B)^c = \{5\}$.
- Paso c: Calculamos el lado derecho. Primero hallamos los complementos individuales: $A^c = \{3, 4, 5\}$ y $B^c = \{1, 2, 5\}$.
- Paso d: Intersectamos ambos complementos buscando elementos comunes: $A^c \cap B^c = \{5\}$.
- Paso e: Comparamos ambos resultados y vemos que $\{5\} = \{5\}$, lo que comprueba la ley de De Morgan.
2 Si el universo es $U = \{a, b, c, d\}$, el conjunto $X = \{a, b, c\}$ e $Y = \{c, d\}$, comprueba la ley de De Morgan para el complemento de la unión.
- Paso a: Para el miembro izquierdo, calculamos $X \cup Y = \{a, b, c, d\} = U$. Por lo tanto, el complemento de la unión es $(X \cup Y)^c = U^c = \varnothing$.
- Paso b: Para el miembro derecho, calculamos los complementos individuales: $X^c = \{d\}$ y $Y^c = \{a, b\}$. Su intersección es $X^c \cap Y^c = \{d\} \cap \{a, b\} = \varnothing$.
- Paso c: Ambos lados resultan en el conjunto vacío $\varnothing$, confirmando la equivalencia.
3 ¿Es el complemento de la unión $(A \cup B)^c$ equivalente a $A^c \cap B^c$ para cualquier par de conjuntos?
- La Ley de De Morgan para la unión es una tautología matemática.
- Se cumple siempre, sin importar cómo estén definidos los conjuntos o la composición del universo.
4 ¿Si los conjuntos $A$ y $B$ son disjuntos, el complemento de su unión es igual al conjunto vacío?
- Que sean disjuntos significa que $A \cap B = \varnothing$, pero su unión $A \cup B$ no es necesariamente igual al universo $U$.
- Por lo tanto, el complemento de la unión $(A \cup B)^c$ solo será vacío si la unión de ambos cubre todo el universo $U$, independientemente de si son disjuntos o no.
Ejemplos Verdadero/Falso
"Distribuir el complemento de forma errónea escribiendo $(A \cup B)^c = A^c \cup B^c$, olvidando cambiar el símbolo de unión ($\cup$) por intersección ($\cap$)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Calcular los complementos sin definir un conjunto universal de referencia, lo cual hace imposible determinar los elementos externos."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Confundir la ley de De Morgan con la propiedad distributiva."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Pensar que la ley solo se aplica a conjuntos disjuntos."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"No cambiar el sentido de las operaciones al pasar el complemento de afuera hacia adentro de los paréntesis."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
La Ley de De Morgan para el complemento de una unión establece que el complemento de la unión de dos conjuntos es igual a la intersección de los complementos de cada conjunto. Formalmente: $(A \cup B)^c = A^c \cap B^c$.
Practica
Preguntas conceptuales
Verificar las ideas clave antes de calcular.
-
La Ley de De Morgan para la unión se fundamenta en cuál equivalencia de la lógica proposicional para la negación?
La unión corresponde a la disyunción ($\lor$) y el complemento a la negación ($\neg$). La negación de una disyunción da la conjunción de las negaciones.
Respuesta: $\neg(p \lor q) \equiv \neg p \land \neg q$
-
¿Cuál de las siguientes igualdades algebraicas define la Ley de De Morgan para el complemento de una unión?
La Ley de De Morgan para la unión establece que el complemento de la unión de dos conjuntos es igual a la intersección de sus complementos individuales: $(A \cup B)^c = A^c \cap B^c$.
Respuesta: $(A \cup B)^c = A^c \cap B^c$
-
En un diagrama de Venn, la región exterior a dos círculos $A$ y $B$ representa algebraicamente a:
El área exterior a ambos círculos representa lo que no está en la unión de los conjuntos, que por De Morgan equivale a la intersección de sus complementos.
Respuesta: $(A \cup B)^c$ o $A^c \cap B^c$
Reconocimiento
Identificar elementos, datos o procedimientos.
-
Si el complemento de la unión $(X \cup Y)^c$ da como resultado el conjunto vacío $\varnothing$, ¿qué se puede afirmar sobre $X^c \cap Y^c$?
Por la ley de De Morgan, $(X \cup Y)^c = X^c \cap Y^c$. Si uno es vacío, el otro debe ser idénticamente vacío.
Respuesta: Es igual al conjunto vacío $\varnothing$
Ejercicios básicos
Aplicar el procedimiento principal en casos simples.
-
Si $U = \{1, 2, 3, 4\}$, $A = \{1, 2\}$ y $B = \{3\}$, ¿se cumple que $(A \cup B)^c = A^c \cap B^c = \{4\}$?
Sí, $A \cup B = \{1, 2, 3\}$, su complemento es $\{4\}$. Por otro lado, $A^c = \{3, 4\}$, $B^c = \{1, 2, 4\}$. Su intersección es $\{4\}$. Coinciden.
Respuesta: Verdadero
-
La ley de De Morgan establece que el complemento de la unión es igual a la unión de los complementos, es decir, $(A \cup B)^c = A^c \cup B^c$.
Falso. El complemento de la unión es igual a la INTERSECCIÓN de los complementos: $A^c \cap B^c$. El símbolo de operación debe invertirse.
Respuesta: Falso
-
Para calcular el complemento de la unión de dos conjuntos, es indispensable conocer la composición del conjunto universal de referencia.
Sí, el complemento de un conjunto se define siempre respecto a un universo $U$. Sin el universo no podemos determinar qué elementos están afuera.
Respuesta: Verdadero
Preguntas tipo PAES
Resolver preguntas con formato y distractores similares a PAES.
-
En un estudio de mercado, el universo $U$ es el grupo de clientes encuestados. El conjunto $A$ prefiere la marca de bebida X, y el conjunto $B$ la marca Y. Un analista quiere identificar al grupo que NO prefiere la marca X ni la marca Y, es decir, $(A \cup B)^c$. Sin embargo, su base de datos solo permite filtrar por clientes que no prefieren X ($A^c$) y que no prefieren Y ($B^c$). ¿Cómo puede obtener la información solicitada?
Por la Ley de De Morgan, $(A \cup B)^c = A^c \cap B^c$. Por lo tanto, intersectar los complementos da exactamente el grupo buscado.
Respuesta: Buscando la intersección de los clientes que no prefieren X y los que no prefieren Y: $A^c \cap B^c$.
-
Un sistema de seguridad aérea supervisa vuelos comerciales. El conjunto $D$ representa a los vuelos con retrasos en el despegue y $A$ a los vuelos con retrasos en el aterrizaje. El supervisor del aeropuerto solicita la lista de vuelos que operaron a tiempo (sin retraso en el despegue y sin retraso en el aterrizaje). ¿Qué igualdad matemática justifica que este conjunto se puede calcular como el complemento de la unión de los retrasos?
La condición 'sin retraso en el despegue ($D^c$) Y sin retraso en el aterrizaje ($A^c$)' es la intersección $D^c \cap A^c$. Por De Morgan, esto equivale a $(D \cup A)^c$ (el complemento de tener al menos un retraso).
Respuesta: $(D \cup A)^c = D^c \cap A^c$
-
Considere los conjuntos de números reales $A = ]-\infty, 2]$ y $B = [5, +\infty[$ en el universo $\mathbb{R}$. ¿Cuál de los siguientes intervalos representa de manera correcta a $A^c \cap B^c$?
Por De Morgan, $A^c \cap B^c = (A \cup B)^c$. La unión es $A \cup B = ]-\infty, 2] \cup [5, +\infty[$. El complemento de esta unión respecto a $\mathbb{R}$ es el intervalo abierto $]2, 5[$.
Respuesta: $]2, 5[$