Complemento de un Conjunto
El complemento de un conjunto $A$ contiene todos los elementos del conjunto universal que NO están en $A$, escrito $A'$ o $A^c$.
Formula
A' = U \setminus A = \{x \in U : x \notin A\}
Definition
El complemento de un conjunto $A$ es todo lo que está en el universo que no está en $A$; si sabes qué está incluido, el complemento es todo lo que queda fuera. Formalmente, $A'$ (o $A^c$) $= \{x \in U : x \notin A\}$, con propiedades clave $(A')' = A$, $A \cup A' = U$, $A \cap A' = \emptyset$, y las leyes de De Morgan $(A \cup B)' = A' \cap B'$ y $(A \cap B)' = A' \cup B'$. En la teoría de la medida, el complemento de un conjunto medible es medible, y las sigma-álgebras son cerradas bajo complementos; en el álgebra booleana, la complementación es la involución que satisface $a \wedge a' = 0$ y $a \vee a' = 1$, y en topología los conjuntos cerrados son complementos de los conjuntos abiertos.
Example
Si $U = \{1,2,3,4,5\}$ y $A = \{1,3,5\}$, entonces $A' = \{2,4\}$: lo que estaba en $A$ ahora está fuera, y lo que estaba fuera ahora está dentro. En probabilidad, $P(A') = 1 - P(A)$: si la probabilidad de lluvia es $0.3$, la probabilidad de que no llueva es $0.7$. El conjunto de los números irracionales es el complemento de $\mathbb{Q}$ en $\mathbb{R}$; es medible en la sigma-álgebra de Lebesgue, con medida $1$ en $[0,1]$.
Key Insight
Piensa en un complemento como el conjunto de "todo lo demás"; en un diagrama de Venn es la región fuera del círculo pero dentro del rectángulo (universo). Las leyes de De Morgan son esenciales para los circuitos lógicos y las consultas de bases de datos: negar una unión se convierte en una intersección de negaciones. La clausura bajo la complementación distingue a las sigma-álgebras de sistemas de conjuntos más simples, precisamente la propiedad necesaria para definir la probabilidad de todos los eventos "observables".