Conjunto finito

Un conjunto finito es una colección de elementos que se pueden contar uno por uno hasta llegar a un final. Esto significa que el proceso de enumerar sus miembros concluye en algún momento, a diferencia de lo que ocurre con colecciones ilimitadas como los números enteros o los números reales.

En otras palabras, un conjunto A es finito cuando su cardinal (la cantidad total de elementos que contiene) es igual a un número entero no negativo n. Se denota comúnmente como |A| = n, donde n ≥ 0.

Para formalizar esta idea, decimos que un conjunto no vacío A es finito si es posible establecer una correspondencia biunívoca (o biyección) entre sus elementos y el conjunto de referencia {1, 2, 3, ..., n} para algún entero positivo n. Establecer esta correspondencia significa que a cada elemento de A le asignamos una posición única y ordenada desde el 1 hasta el n, sin que sobre ni falte ninguno.

Por contraposición directa, cuando un conjunto no cumple esta condición, decimos que se trata de un conjunto infinito. En estos conjuntos resulta imposible terminar de contar sus elementos o asociarlos de manera exacta con una lista finita {1, 2, 3, ..., n}, tal como ocurre con el conjunto de los números naturales o los puntos dentro de una recta.

Ejemplos

A continuación, analizamos diferentes colecciones finitas, desde agrupaciones cotidianas definidas por extensión hasta conjuntos numéricos expresados por comprensión:

1. Si consideramos los días que componen la semana, definimos el conjunto D = {lunes, martes, miércoles, jueves, viernes, sábado, domingo}. Al contar sus elementos, verificamos que el recuento concluye con exactitud, teniendo como cardinal |D| = 7.
2. Al clasificar los sonidos vocálicos del alfabeto español, formamos el conjunto V = {a, e, i, o, u}. Dado que contiene exactamente cinco letras bien diferenciadas, se trata de una colección finita con |V| = 5.
3. En el ámbito del calendario, agrupamos los meses del año en el conjunto M = {enero, febrero, marzo,..., diciembre}. La lista de sus miembros tiene un número definido, determinando que |M| = 12.
4. Consideremos los dígitos del sistema numérico decimal definidos por comprensión como S = {x ∈ Z | 0 ≤ x ≤ 9}. Al escribir sus valores por extensión obtenemos S = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, lo que evidencia que es un conjunto finito con cardinal |S| = 10.
5. Dentro del dominio de los números enteros, examinemos el conjunto P = {x ∈ Z | x es primo ∧ 2 ≤ x < 20}. Al listar los números primos que cumplen esta doble acotación obtenemos P = {2, 3, 5, 7, 11, 13, 17, 19}, confirmando que su cardinal es |P| = 8.
6. Al buscar los valores reales que satisfacen una ecuación cuadrática, planteamos el conjunto de soluciones C = {x ∈ R | x² - 9 = 0}. Al resolver la igualdad encontramos únicamente dos valores posibles, por lo que C = {-3, 3} y su cardinal es |C| = 2.

Propiedades

A continuación, detallamos las propiedades más importantes de los conjuntos finitos.

1) Finitud del conjunto vacío: el conjunto vacío Ø es finito por definición, ya que carece por completo de elementos y su cardinal es cero.

|Ø| = 0

2) Subconjuntos de un conjunto finito: cualquier subconjunto extraído de un conjunto finito es obligatoriamente finito, y su cardinal jamás puede superar al del conjunto original.

A ⊆ B → (|A| ≤ |B| ∧ A es finito)

En particular, si A es un subconjunto propio de B (es decir, A ⊂ B), se verifica estrictamente que |A| < |B|.

3) Unión finita de conjuntos finitos: la unión de dos conjuntos finitos da siempre como resultado otro conjunto finito. Si además ambos conjuntos son disjuntos, su cardinal equivale a la suma directa de sus cardinales individuales.

A ∩ B = Ø → |A ∪ B| = |A| + |B|

4) Principio de inclusión-exclusión: cuando dos conjuntos finitos comparten elementos, el cardinal de la unión se obtiene sumando sus tamaños individuales y restando el cardinal de la intersección para no duplicar elementos comunes.

|A ∪ B| = |A| + |B| - |A ∩ B|

5) Intersección con un conjunto finito: la intersección entre un conjunto finito y cualquier otro conjunto (sea este finito o infinito) produce invariablemente un conjunto finito.

A es finito → A ∩ B es finito

Esto se debe a que la intersección A ∩ B es un subconjunto de A, heredando de inmediato su condición de finitud.

6) Diferencia de conjuntos finitos: al restar dos conjuntos donde el minuendo es finito, el resultado es siempre un conjunto finito cuyo tamaño no supera al conjunto de partida.

|A - B| = |A| - |A ∩ B|

Dado que solo eliminamos elementos pertenecientes al conjunto original A, el conjunto resultante preserva un número acotado de elementos.

7) Producto cartesiano finito: el producto cartesiano de dos conjuntos finitos A y B da lugar a un nuevo conjunto finito formado por pares ordenados. El cardinal resultante corresponde al producto aritmético de las cantidades de elementos de cada conjunto participante.

|A × B| = |A| · |B|

8) Finitud del conjunto potencia: si un conjunto A es finito, su conjunto potencia o conjunto de partes P(A) también es finito.

|P(A)| = 2^|A|

El cardinal de P(A) representa la totalidad de subconjuntos posibles que se pueden formar con los elementos de A, incluyendo siempre al conjunto vacío y al propio A.

Ejercicios resueltos

Para determinar el cardinal y verificar la finitud de un conjunto, el procedimiento consiste en identificar de forma explícita sus elementos o aplicar las operaciones algebraicas de conteo correspondientes. A continuación, resolvemos cuatro situaciones prácticas para consolidar estos conceptos.

Ejercicio 1

Dado el conjunto definido por comprensión D = {x ∈ Z⁺ | x es divisor de 36 ∧ x es impar}, determinar sus elementos por extensión, verificar si se trata de un conjunto finito y hallar su cardinal.

Solución

Comenzamos listando la totalidad de los divisores enteros positivos del número 36:

Div(36) = {1, 2, 3, 4, 6, 9, 12, 18, 36}

A continuación, filtramos únicamente aquellos valores que cumplen la segunda condición impuesta en la comprensión, es decir, que sean números impares:

D = {1, 3, 9}

El recuento de sus miembros termina en una cantidad contable de elementos. Por lo tanto, D es un conjunto finito y su cardinal es |D| = 3.

Ejercicio 2

Sean A y B dos conjuntos finitos tales que |A| = 14, |B| = 9 y |A ∪ B| = 18. Calcular el cardinal de la intersección |A ∩ B| y el cardinal de la diferencia relativa |A − B|.

Solución

Para calcular los elementos compartidos, recurrimos al principio de inclusión-exclusión para dos conjuntos finitos:

|A ∪ B| = |A| + |B| − |A ∩ B|

Sustituimos los datos conocidos en la igualdad algebraica:

18 = 14 + 9 − |A ∩ B|

18 = 23 − |A ∩ B|

Despejamos el término de la intersección:

|A ∩ B| = 23 − 18 = 5

Una vez hallada la cantidad de elementos comunes, calculamos el cardinal de la diferencia |A − B|, que representa a los elementos que pertenecen a A pero no a B:

|A − B| = |A| − |A ∩ B| = 14 − 5 = 9

El conjunto intersección posee 5 elementos y la diferencia relativa contiene 9 elementos.

Ejercicio 3

Dado el conjunto numérico A = {x ∈ Z | −1 ≤ x ≤ 2}, escribir sus miembros por extensión, hallar su cardinal y calcular el número de elementos de su conjunto potencia P(A).

Solución

Listamos los valores enteros que verifican la doble desigualdad dada en el enunciado:

A = {−1, 0, 1, 2}

Al contar cada uno de los elementos obtenidos, determinamos que su cardinal es |A| = 4.

Para conocer la cantidad de elementos del conjunto potencia P(A), aplicamos la fórmula del cardinal de partes en función del tamaño de A:

|P(A)| = 2^|A|

Sustituimos el valor del cardinal hallado:

|P(A)| = 2⁴ = 16

De este modo, el conjunto potencia P(A) es una colección finita compuesta por 16 subconjuntos.

Ejercicio 4

Consideremos los conjuntos C = {x ∈ N | 1 ≤ x ≤ 5} y D = {x ∈ R | 1 ≤ x ≤ 5}. Analizar la finitud de cada uno justificando la respuesta según el conjunto numérico de referencia.

Solución

Evaluamos en primer lugar el conjunto C, cuyo universo de referencia son los números naturales. Entre 1 y 5 encontramos un número limitado de enteros, los cuales podemos listar por extensión:

C = {1, 2, 3, 4, 5}

Dado que su proceso de conteo concluye y tiene un tamaño de |C| = 5, C es un conjunto finito.

Por otro lado, examinamos el conjunto D, cuyo dominio corresponde a los números reales. La estructura de la recta real posee la propiedad de densidad, lo que significa que entre dos números reales distintos cualesquiera existen infinitos números reales. Al no ser posible enumerar sus valores mediante una correspondencia biunívoca con una lista limitada, D es un conjunto infinito, a pesar de encontrarse acotado numéricamente entre 1 y 5.