Conjunto definido por extensión
Resumen inicial
Definición, características y reglas para la especificación de conjuntos por extensión (o enumeración explícita de elementos).
Explicación en palabras simples
Definir un conjunto por extensión (o por enumeración) significa escribir y listar uno por uno todos sus elementos dentro de llaves, separados por comas. Por ejemplo, el conjunto de los días del fin de semana definido por extensión es $F = \{\text{sábado}, \text{domingo}\}$, y los números pares menores que 10 son $P = \{2, 4, 6, 8\}$. Si el conjunto es infinito o muy grande pero sigue un patrón claro, se pueden usar puntos suspensivos como en $\mathbb{N} = \{1, 2, 3, \dots\}$.
Explicación formal
Definición formal
Un conjunto $A$ está definido por extensión (o tabulación) cuando su especificación sintáctica consiste en el listado exhaustivo de las constantes individuales que denotan sus elementos:
$$A = \{a_1, a_2, \dots, a_n\}$$
o en el caso infinito numerable mediante el esquema de puntos suspensivos indexados:
$$A = \{a_1, a_2, a_3, \dots\}$$
La pertenencia se decide de forma inmediata por igualdad sintáctica:
$$x \in A \iff \exists i \in \{1, \dots, n\} \text{ tal que } x = a_i$$
Desglose simbólico
- Enumeración finita: $A = \{e_1, e_2, \dots, e_k\}$.
- Puntos suspensivos en conjuntos infinitos o extensos: $\{1, 2, \dots, 100\}$ o $\{2, 4, 6, \dots\}$.
- Invarianza extensional: No importa el orden de enumeración ni la repetición de términos.
Síntesis didáctica
La definición por extensión proporciona la descripción más directa y concreta de un conjunto al exhibir explícitamente a todos sus integrantes.
La alternativa correcta es 'Que sus elementos están enumerados y listados explícitamente entre llaves'. Es la característica distintiva de la extensión.
Definiciones clave
- Definición por extensión: Método de especificación conjuntista mediante la enumeración explícita de sus miembros entre llaves.
- Uso de elipsis ($\dots$): Convención para abreviar secuencias largas o infinitas con un patrón inductivo evidente.
- Forma tabular: Denominación clásica que alude a la presentación directa de datos o elementos.
Propiedades y relaciones importantes
- Dualidad con la comprensión: Todo conjunto definido por extensión $\{a, b, c\}$ puede expresarse por comprensión como $\{x \in \mathcal{U} \mid x = a \lor x = b \lor x = c\}$.
- Limitación en conjuntos no numerables: Los conjuntos no numerables como el intervalo real $(0, 1)$ no pueden especificarse por extensión completa.
Ejemplo guiado
Define por extensión el conjunto $D$ formado por los divisores positivos del número $12$.
- Paso 1: Identificar la condición aritmética: Números enteros positivos que dividen exactamente a $12$.
- Paso 2: Evaluar sistemáticamente los enteros positivos desde $1$ hasta $12$: - $12/1 = 12 \implies 1, 12$ son divisores. - $12/2 = 6 \implies 2, 6$ son divisores. - $12/3 = 4 \implies 3, 4$ son divisores. - $12/5$ no es entero.
- Paso 3: Reunir todos los divisores encontrados: $1, 2, 3, 4, 6, 12$.
- Paso 4: Escribir los elementos entre llaves separados por comas: $D = \{1, 2, 3, 4, 6, 12\}$.
- Paso 5: Concluir que $D$ queda completamente definido por extensión con una cardinalidad de $6$ elementos.
La alternativa correcta es '$\{-3, 3\}$'. Lista explícitamente las dos raíces que satisfacen la ecuación.
Procedimiento
- Paso 1: Determinar la totalidad de los elementos que satisfacen la condición del conjunto.
- Paso 2: Abrir el delimitador de llaves $\{$.
- Paso 3: Escribir cada elemento separándolo del siguiente mediante una coma o punto y coma.
- Paso 4: Si el conjunto es infinito con un patrón claro, escribir al menos tres términos iniciales seguidos de puntos suspensivos $\dots$.
- Paso 5: Cerrar el delimitador de llaves $\}$.
Errores frecuentes y cómo corregirlos
- Error 1: Repetir elementos al escribir la lista por extensión (ej. $\{1, 2, 2, 3\}$). Cómo corregirlo: Aunque matemáticamente no cambia el conjunto, la convención formal exige simplificar omitiendo duplicados: $\{1, 2, 3\}$.
- Error 2: Usar puntos suspensivos sin haber establecido un patrón claro previo. Cómo corregirlo: Si se escribe $\{2, \dots\}$, no se sabe si siguen los pares, los primos o las potencias; se debe escribir $\{2, 4, 6, 8, \dots\}$.
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- Se enumeran todos los 10 dígitos del 0 al 9.
- Se listan los primeros múltiplos de 2 seguidos de puntos suspensivos.
- Resolviendo $x = 6$, se escribe entre llaves: $\{6\}$.
- Sí, el orden de enumeración no altera la identidad del conjunto.
Ejemplos Verdadero/Falso
Decide si cada afirmación es verdadera o falsa antes de ver la explicación.
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.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Al terminar debes poder
Definir, expresar y convertir conjuntos matemáticos mediante la notación por extensión.
Enumerar explícitamente los elementos entre llaves, simplificar duplicados y emplear elipsis ordenadas cuando corresponda.