Conjunto definido por comprensión
Resumen inicial
Definición, sintaxis constructora ($\{x \in \mathcal{U} \mid P(x)\}$) y reglas para la especificación de conjuntos por comprensión o propiedad.
Explicación en palabras simples
Definir un conjunto por comprensión (o por propiedad) significa describir la regla o condición que deben cumplir sus elementos, en lugar de listarlos uno por uno. Se escribe con la estructura: $\{x \in \mathcal{U} \mid P(x)\}$, que se lee: "el conjunto de todos los $x$ que pertenecen al universo $\mathcal{U}$ tales que cumplen la propiedad $P(x)$". Por ejemplo, en lugar de listar los pares $\{2, 4, 6, 8\}$, escribimos por comprensión: $\{x \in \mathbb{N} \mid x \text{ es par } \land x < 10\}$.
Explicación formal
Definición formal
En la teoría axiomática de conjuntos, un conjunto está definido por comprensión mediante el Esquema Axiomático de Separación (o Especificación):
$$A = \{x \in \mathcal{U} \mid P(x)\} \quad \text{o} \quad A = \{x \in \mathcal{U} : P(x)\}$$
donde $\mathcal{U}$ es un conjunto previamente existente (dominio de discurso) y $P(x)$ es una fórmula bien formada con una variable libre $x$.
La regla de pertenencia asociada es bicondicional:
$$\forall y \, (y \in A \leftrightarrow (y \in \mathcal{U} \land P(y)))$$
Desglose simbólico
- Delimitadores: $\{$ y $\}$.
- Variable generadora y dominio: $x \in \mathcal{U}$.
- Barra vertical o dos puntos ($\mid$ o $:$): Se lee "tal que" (such that).
- Predicado discriminador: $P(x)$ (fórmula lógica evaluable como $V$ o $F$).
Síntesis didáctica
La comprensión es la forma más potente y general de definir conjuntos, permitiendo especificar conjuntos infinitos, continuos o no enumerables con absoluta precisión matemática.
La alternativa correcta es '"Tal que" (o "tales que")'. Introduce la condición o predicado característico de los elementos.
Definiciones clave
- Definición por comprensión: Especificación de un conjunto mediante una propiedad o predicado característico.
- Axioma de separación: Principio de $\text{ZFC}$ que garantiza que $\{x \in \mathcal{U} \mid P(x)\}$ es un conjunto legítimo sin caer en paradojas.
- Notación constructora de conjuntos (set-builder notation): Estructura formal $\{x \in \mathcal{U} \mid P(x)\}$.
Propiedades y relaciones importantes
- Paradoja de Russell: Intentar definir conjuntos por comprensión sin un conjunto acotado previo ($\{x \mid x \notin x\}$) genera contradicciones formales en la teoría intuitiva.
- Conversión entre representaciones: Un conjunto finito definido por comprensión puede expandirse a su forma por extensión evaluando $P(x)$ en todos los elementos de $\mathcal{U}$.
Ejemplo guiado
Dado el conjunto $A = \{x \in \mathbb{Z} \mid x^2 \leq 4\}$, determina su definición equivalente por extensión.
- Paso 1: Identificar el dominio de discurso: $\mathcal{U} = \mathbb{Z}$ (números enteros).
- Paso 2: Identificar el predicado o condición: $P(x): x^2 \leq 4$.
- Paso 3: Resolver la inecuación cuadrática en los enteros: - $x^2 \leq 4 \iff -2 \leq x \leq 2$.
- Paso 4: Extraer todos los enteros en el intervalo $[-2, 2]$: Los valores enteros son $-2, -1, 0, 1, 2$.
- Paso 5: Escribir el conjunto resultante por extensión: $A = \{-2, -1, 0, 1, 2\}$, con una cardinalidad de $5$ elementos.
La alternativa correcta es '$\{3, 4, 5\}$'. La condición estricta $2 < n < 6$ en los naturales selecciona al 3, 4 y 5.
Procedimiento
- Paso 1: Delimitar el universo o conjunto de partida $\mathcal{U}$ (ej. $\mathbb{N}, \mathbb{Z}, \mathbb{R}$).
- Paso 2: Escribir la variable genérica ligada al universo: $x \in \mathcal{U}$.
- Paso 3: Añadir el separador de condición $\mid$ o $:$.
- Paso 4: Redactar con rigor el predicado $P(x)$ que deben satisfacer los elementos.
- Paso 5: Encerrar toda la estructura entre llaves $\{\dots\}$.
Errores frecuentes y cómo corregirlos
- Error 1: Omitir el conjunto universo (escribir $\{x \mid x > 0\}$). Cómo corregirlo: Sin especificar el universo, no se sabe si $x$ es un número natural, real o una matriz; siempre se debe indicar el conjunto base: $\{x \in \mathbb{R} \mid x > 0\}$.
- Error 2: Confundir desigualdades estrictas ($<$) con no estrictas ($\leq$). Cómo corregirlo: Si la condición es $x < 5$, el $5$ no pertenece al conjunto; si es $x \leq 5$, el $5$ sí pertenece.
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- Establece la regla algebraica $x = 5k$ para $k \in \mathbb{N}$.
- Describe los reales continuos mayores o iguales a 0 y estrictamente menores que 1.
- Ningún número real cumple $x^2 = -1$, por lo que el conjunto carece de elementos.
- Sí, los dos puntos son una variante sintáctica estándar de la barra vertical.
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 describe un error frecuente: es incorrecta.
Esta afirmación es correcta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación es correcta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Al terminar debes poder
Definir, interpretar y convertir conjuntos matemáticos mediante la notación por comprensión ($\{x \in \mathcal{U} \mid P(x)\}$).
Formular predicados rigurosos sobre dominios explícitos y resolver las condiciones lógicas para obtener sus elementos.