Complemento de un conjunto con diagrama de Venn
Resumen inicial
Definición, leyes de De Morgan, representación en diagrama de Venn y cálculo del complemento absoluto de un conjunto ($A^c$, $\overline{A}$, $A'$).
Explicación en palabras simples
El complemento de un conjunto (escrito como $A^c$, $\overline{A}$ o $A''$) es el conjunto formado por todos los elementos del universo $\mathcal{U}$ que NO están en $A$ (es decir, la diferencia $\mathcal{U} \setminus A$). Por ejemplo, si el universo son los números del 1 al 10 y $A$ son los pares $\{2, 4, 6, 8, 10\}$, su complemento $A^c$ son los impares $\{1, 3, 5, 7, 9\}$. En un diagrama de Venn, el complemento se representa sombreando todo el rectángulo exterior, dejando en blanco el interior del círculo $A$.
Explicación formal
Definición formal
En la teoría axiomática de conjuntos y el álgebra de Boole, el complemento absoluto de un conjunto $A \subseteq \mathcal{U}$ es la operación unaria definida por:
$$A^c = \mathcal{U} \setminus A = \{x \in \mathcal{U} \mid x \notin A\}$$
Notaciones equivalentes: $A^c \equiv \overline{A} \equiv A' \equiv \complement_{\mathcal{U}} A$.
Desglose simbólico
- Conectivo lógico subyacente: Negación proposicional ($\neg$).
- Propiedades fundamentales de complementación:
- Ley del tercero excluido: $A \cup A^c = \mathcal{U}$.
- Ley de no contradicción: $A \cap A^c = \emptyset$.
- Involución (doble complemento): $(A^c)^c = A$.
- Complementos extremos: $\mathcal{U}^c = \emptyset$ y $\emptyset^c = \mathcal{U}$.
- Leyes de De Morgan:
$$(A \cup B)^c = A^c \cap B^c$$
$$(A \cap B)^c = A^c \cup B^c$$
Síntesis didáctica
La complementación invierte la polaridad de membresía respecto al marco de referencia universal, satisfaciendo $|A^c| = |\mathcal{U}| - |A|$.
La alternativa correcta es '$A^c \cap B^c$'. El complemento de la unión es la intersección de los complementos individuales.
Definiciones clave
- Complemento absoluto ($A^c$): Conjunto de todos los elementos del universo referencial que no pertenecen a $A$.
- Leyes de De Morgan: Teoremas que transforman el complemento de una unión en intersección de complementos, y viceversa.
- Ley de involución: Principio que establece que el complemento del complemento devuelve el conjunto original.
Propiedades y relaciones importantes
- Inversión de inclusión: $A \subseteq B \iff B^c \subseteq A^c$.
- Diferencia como intersección complementaria: $A \setminus B = A \cap B^c$.
Ejemplo guiado
Dado el conjunto universal $\mathcal{U} = \{x \in \mathbb{N} \mid x \leq 8\}$ y los subconjuntos $A = \{2, 3, 5, 7\}$ y $B = \{1, 3, 5, 7\}$, determina: (a) $A^c$, (b) $(A \cup B)^c$ usando las Leyes de De Morgan, y descríbelo en un diagrama de Venn.
- Paso 1: Listar el universo por extensión: $\mathcal{U} = \{1, 2, 3, 4, 5, 6, 7, 8\}$.
- Paso 2: Calcular (a) $A^c = \mathcal{U} \setminus A$: - Elementos de $\mathcal{U}$ que no están en $\{2, 3, 5, 7\}$: $1, 4, 6, 8$. - $A^c = \{1, 4, 6, 8\}$.
- Paso 3: Calcular $B^c = \mathcal{U} \setminus B = \{2, 4, 6, 8\}$.
- Paso 4: Aplicar De Morgan para calcular $(A \cup B)^c = A^c \cap B^c$: - Intersección entre $\{1, 4, 6, 8\}$ y $\{2, 4, 6, 8\}$: $\{4, 6, 8\}$. - Por lo tanto, $(A \cup B)^c = \{4, 6, 8\}$.
- Paso 5: En el diagrama de Venn, sombrear toda el área externa a los círculos $A$ y $B$ dentro del rectángulo.
La alternativa correcta es '$32$ elementos ($50 - 18$)'. La cardinalidad del complemento satisface $|A^c| = |\mathcal{U}| - |A| = 50 - 18 = 32$.
Procedimiento
- Paso 1: Delimitar y escribir todos los elementos del conjunto universal $\mathcal{U}$.
- Paso 2: Escribir los elementos del conjunto $A$.
- Paso 3: Seleccionar todos los elementos de $\mathcal{U}$ que no figuran en $A$.
- Paso 4: Escribir el conjunto resultante entre llaves como $A^c$.
- Paso 5: En el diagrama de Venn, sombrear todo el espacio exterior al círculo $A$ dentro del rectángulo.
Errores frecuentes y cómo corregirlos
- Error 1: Intentar calcular el complemento de un conjunto sin conocer el universo $\mathcal{U}$. Cómo corregirlo: El complemento absoluto solo está definido respecto a un universo $\mathcal{U}$; sin este marco de referencia la operación es indeterminada.
- Error 2: Creer que $(A^c)^c = A^c$. Cómo corregirlo: Por la ley de involución booleana, negar dos veces devuelve el conjunto original: $(A^c)^c = A$.
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- $\mathcal{U} \setminus \emptyset = \mathcal{U}$.
- Por el principio de no contradicción, un elemento no puede estar y no estar en $A$ simultáneamente.
- Por la ley de involución booleana, el doble complemento se cancela.
- La complementación invierte el sentido de la relación de orden de inclusión.
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 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.
Esta afirmación describe un error frecuente: es incorrecta.
Al terminar debes poder
Definir, calcular y sombrear en diagramas de Venn el complemento de un conjunto ($A^c$).
Restar el conjunto del universo ($A^c = \mathcal{U} \setminus A$) y aplicar las leyes de De Morgan e involución booleana.
Practica
Preguntas conceptuales
Verificar las ideas clave antes de calcular.
-
Dado un conjunto universal $U$ y un conjunto $A \subseteq U$, ¿cuál es la definición del complemento $A^c$?
El complemento de $A$ respecto al universo $U$ es $A^c = U \setminus A = \{x \in U \mid x \notin A\}$. Depende siempre del conjunto universal de referencia.
Respuesta: A) El conjunto de todos los elementos de $U$ que no pertenecen a $A$.
-
¿Cuál de las siguientes propiedades del complemento es correcta?
La unión de un conjunto con su complemento cubre todos los elementos del universo: $A \cup A^c = U$. Además, $A \cap A^c = \emptyset$ (la intersección es vacía) y $(A^c)^c = A$ (doble complemento).
Respuesta: A) $A \cup A^c = U$
-
Si $U = \{1, 2, 3, 4, 5, 6, 7, 8\}$ y $A = \{2, 4, 6, 8\}$, ¿cuántos elementos tiene $A^c$?
$A^c = U \setminus A = \{1, 3, 5, 7\}$, que tiene 4 elementos. En general, $|A^c| = |U| - |A| = 8 - 4 = 4$.
Respuesta: A) 4
Reconocimiento
Identificar elementos, datos o procedimientos.
-
Si $U = \{a, b, c, d, e\}$ y $A = \{a, c, e\}$, ¿cuál es $A^c$?
El complemento de $A$ contiene los elementos de $U$ que no están en $A$. De $U = \{a,b,c,d,e\}$, excluyendo $\{a,c,e\}$, quedan $b$ y $d$.
Respuesta: A) $\{b, d\}$
Ejercicios básicos
Aplicar el procedimiento principal en casos simples.
-
Para cualquier conjunto $A$ en un universo $U$, se cumple que $(A^c)^c = A$.
El doble complemento devuelve el conjunto original: si $A^c$ contiene lo que no está en $A$, entonces $(A^c)^c$ contiene lo que no está en $A^c$, que es exactamente $A$.
Respuesta: Verdadero
-
Si $U = \{1,2,3,4,5,6\}$ y $A = \{1,3,5\}$, entonces $|A^c| = 4$.
$A^c = \{2, 4, 6\}$, que tiene 3 elementos, no 4. En general, $|A^c| = |U| - |A| = 6 - 3 = 3$.
Respuesta: Falso
-
Si $U = \{1, 2, 3, 4, 5\}$ y $A = \{1, 2, 3\}$, entonces $A^c = \{4, 5\}$.
$A^c = U \setminus A = \{4, 5\}$. Los elementos 1, 2 y 3 están en $A$ y se excluyen; solo quedan 4 y 5.
Respuesta: Verdadero
Preguntas tipo PAES
Resolver preguntas con formato y distractores similares a PAES.
-
En una clase de 35 estudiantes (universo $U$), 22 aprobaron la prueba de matemáticas. ¿Cuántos estudiantes NO aprobaron la prueba?
Si $A$ = conjunto de aprobados, $|A^c| = |U| - |A| = 35 - 22 = 13$. Los reprobados corresponden al complemento del conjunto de aprobados.
Respuesta: A) 13
-
Sea $U = \{1, 2, \ldots, 20\}$ y $A$ el conjunto de números pares en $U$. Si $B = (A \cup \{1, 3\})^c$, ¿cuántos elementos tiene $B$?
$A = \{2,4,6,8,10,12,14,16,18,20\}$ (10 elementos). $A \cup \{1,3\} = \{1,2,3,4,6,8,10,12,14,16,18,20\}$ (12 elementos). $B = (A \cup \{1,3\})^c$ contiene los impares de $U$ distintos de 1 y 3: $\{5,7,9,11,13,15,17,19\}$, es decir, 8 elementos.
Respuesta: A) 8
-
En un universo de 100 personas, 55 usan transporte público y 40 usan automóvil particular. Si 15 usan ambos, ¿cuántas personas no usan ninguno de los dos medios de transporte?
$|T \cup A| = 55 + 40 - 15 = 80$. Los que no usan ninguno son $(T \cup A)^c$: $100 - 80 = 20$ personas.
Respuesta: A) 20