Conjunto finito
Resumen inicial
Definición, características y propiedades de los conjuntos finitos como aquellos cuyos elementos pueden contarse y agotarse en un número natural $n$.
Explicación en palabras simples
Un conjunto finito es aquel cuya cantidad de elementos se puede contar uno por uno hasta llegar a un final. Su cardinalidad (número de elementos) es un número entero exacto: $0, 1, 2, 3\dots$ Por ejemplo, las letras del abecedario, los días del año o los granos de arena en una playa son conjuntos finitos (aunque sean muchos, tienen un número total fijo). El conjunto vacío también se clasifica como un conjunto finito (con $0$ elementos).
Explicación formal
Definición formal
En la teoría de conjuntos, un conjunto $A$ es finito si y solo si existe un número natural $n \in \mathbb{N}_0 = \{0, 1, 2, \dots\}$ y una función biyectiva $f$:
$$f: A \to \{1, 2, \dots, n\} = \mathbb{I}_n$$
(con el convenio de que para $n = 0$, $\mathbb{I}_0 = \emptyset$ y $A = \emptyset$).
La cardinalidad de un conjunto finito es el único número natural $n = |A| \in \mathbb{N}_0$.
Desglose simbólico
- Existencia de biyección: $A \sim \mathbb{I}_n$.
- Cardinalidad natural: $|A| = n < \infty$.
- Subconjuntos propios: Según el teorema de Dedekind, un conjunto finito jamás es equipotente (biyectable) a ninguno de sus subconjuntos propios:
$$\forall B \subsetneq A, \quad |B| < |A|$$
Síntesis didáctica
En los conjuntos finitos se cumple el principio del palomar y la propiedad de que añadir o quitar elementos altera estrictamente su cardinalidad.
La alternativa correcta es 'Estar en biyección con el conjunto $\{1, 2, \dots, n\}$ para algún número natural $n \in \mathbb{N}_0$'. Es la definición conjuntista formal.
Definiciones clave
- Conjunto finito: Conjunto en biyección con un segmento inicial finito de los números naturales $\mathbb{I}_n$.
- Cardinalidad finita ($|A| \in \mathbb{N}_0$): Conteo exacto y acotado de elementos distintos.
- No equipotencia con subconjuntos propios: Criterio de finitud de Dedekind.
Propiedades y relaciones importantes
- Clausura bajo operaciones finitas: La unión, intersección, diferencia y producto cartesiano de conjuntos finitos es siempre un conjunto finito.
- Conjunto potencia finito: Si $|A| = n$, entonces $|\mathcal{P}(A)| = 2^n$, que también es estrictamente finito.
Ejemplo guiado
Demuestra que el conjunto $A = \{x \in \mathbb{N} \mid x^2 < 30\}$ es un conjunto finito y calcula su cardinalidad $|A|$.
- Paso 1: Identificar el dominio: $\mathcal{U} = \mathbb{N} = \{1, 2, 3, \dots\}$.
- Paso 2: Probar los números naturales cuyos cuadrados sean estrictamente menores que 30: - $1^2 = 1 < 30$ ($V$). - $2^2 = 4 < 30$ ($V$). - $3^2 = 9 < 30$ ($V$). - $4^2 = 16 < 30$ ($V$). - $5^2 = 25 < 30$ ($V$). - $6^2 = 36 \not< 30$ ($F$).
- Paso 3: Listar los elementos por extensión: $A = \{1, 2, 3, 4, 5\}$.
- Paso 4: Establecer la biyección canónica $f: A \to \{1, 2, 3, 4, 5\}$ mediante $f(x) = x$.
- Paso 5: Concluir que $A$ es un conjunto finito con cardinalidad $|A| = 5$.
La alternativa correcta es 'Sí, es un conjunto finito con cardinalidad $n = 0$'. El 0 es un número natural de conteo.
Procedimiento
- Paso 1: Delimitar el conjunto mediante su definición por extensión o comprensión.
- Paso 2: Comprobar si el proceso de conteo de sus elementos finaliza en un número natural $n$.
- Paso 3: Si los elementos no se agotan, clasificar como conjunto infinito.
- Paso 4: Si se agotan en un número $n \in \mathbb{N}_0$, declarar formalmente que es un conjunto finito de cardinalidad $n$.
Errores frecuentes y cómo corregirlos
- Error 1: Creer que un conjunto con muchísimos elementos (como los granos de arena del planeta) es infinito. Cómo corregirlo: Un conjunto muy grande pero con un número contable fijo $N < \infty$ es estrictamente finito; infinito significa sin límite o cota numérica.
- Error 2: Creer que el conjunto vacío no es finito. Cómo corregirlo: El conjunto vacío tiene exactamente $0$ elementos; al ser $0$ un número natural ($0 \in \mathbb{N}_0$), $\emptyset$ es formalmente finito.
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- Se cuentan exactamente 5 elementos, por lo que es finito.
- Sí, la unión de conjuntos finitos es siempre finita, con $|A \cup B| \leq 7$.
- Sí, tiene $2^n$ elementos, que es un número natural finito.
- No, una biyección entre conjuntos finitos exige que ambos tengan exactamente la misma cardinalidad.
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 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 describe un error frecuente: es incorrecta.
Al terminar debes poder
Definir, identificar y calcular la cardinalidad de conjuntos finitos.
Comprobar la existencia de una biyección con un segmento natural $\mathbb{I}_n$ y aplicar propiedades de clausura bajo operaciones conjuntistas.