Notación de Conjuntos por Comprensión
La notación de conjuntos por comprensión describe un conjunto indicando la propiedad o condición que deben cumplir sus elementos, escrita como {x | condición} o {x : condición}.
Formula
\{x \mid \text{condition on } x\}
Definition
La notación de conjuntos por comprensión es una manera de describir un grupo de números escribiendo una regla que todos esos números cumplen. Usa llaves $\{ \}$ y una barra vertical $\mid$ (o dos puntos) que significa "tal que", con la forma $\{\text{variable} \mid \text{condition}\}$; describe con precisión los conjuntos solución sin enumerar cada elemento y es equivalente a la notación de intervalos para desigualdades sencillas, aunque es más flexible porque puede describir condiciones complejas. Formalmente, $\{x \in D \mid P(x)\}$ define el conjunto de elementos del dominio $D$ que satisfacen el predicado $P$; en la teoría axiomática de conjuntos (ZFC), el esquema de axiomas de separación garantiza que este conjunto exista cuando $P$ es una fórmula de primer orden, y la notación se generaliza a familias indexadas, $\{f(x) \mid x \in D\}$, que define la imagen de una función.
Example
$\{x \mid x > 5\}$ se lee "el conjunto de todos los $x$ tales que $x$ es mayor que $5$", es decir, todo número mayor que $5$. $\{x \mid -3 \le x < 7\}$ equivale a $[-3, 7)$ en notación de intervalos, y $\{x \mid x^2 < 4 \text{ and } x > 0\} = \{x \mid 0 < x < 2\} = (0, 2)$ muestra cómo maneja condiciones más complejas. $\{n \in \mathbb{Z} \mid n^2 - 5n + 6 = 0\} = \{2, 3\}$, y $\{(x, y) \in \mathbb{R}^2 \mid x^2 + y^2 = 1\}$ define el círculo unitario.
Key Insight
La notación de conjuntos por comprensión es como dar una regla de membresía para un club: cualquier número que cumpla la regla entra. La paradoja de Russell, el conjunto de todos los conjuntos que no se contienen a sí mismos, muestra que la comprensión de conjuntos sin restricciones es inconsistente; el axioma de separación en ZFC restringe la notación de conjuntos por comprensión a subconjuntos de un conjunto existente, resolviendo la paradoja.