Los conjuntos pueden clasificarse según la cantidad de elementos que contienen y según el contexto en el que se estudian. Esta clasificación ayuda a razonar sobre colecciones pequeñas, infinitas, sin elementos o tomadas como universo de trabajo.
Después de conocer las formas de representar conjuntos, podemos clasificarlos según su cantidad de elementos y según el papel que cumplen dentro de un problema.
En este tema estudiaremos cuatro conceptos fundamentales: conjunto finito, conjunto infinito, conjunto vacío y conjunto universal. Estas ideas aparecen en matemática, programación, bases de datos, lógica y análisis de algoritmos.
Un conjunto es finito cuando tiene una cantidad limitada de elementos. Esto significa que sus elementos pueden contarse y que el conteo termina.
El conjunto A es finito porque contiene exactamente cuatro elementos.
| Conjunto | Representación | Cantidad de elementos |
|---|---|---|
| Vocales | {a, e, i, o, u} | 5 |
| Días de la semana | {lunes, martes, miércoles, jueves, viernes, sábado, domingo} | 7 |
| Tecnologías web básicas | {HTML, CSS, JavaScript} | 3 |
| Números pares menores que 10 | {2, 4, 6, 8} | 4 |
Un conjunto es infinito cuando no tiene una cantidad limitada de elementos. Su conteo no termina.
El conjunto de los números naturales es infinito porque siempre se puede encontrar un número natural más grande que cualquiera que ya hayamos escrito.
| Conjunto | Representación | Motivo |
|---|---|---|
| Números naturales | N = {1, 2, 3, 4, ...} | No hay un último número natural |
| Números enteros | Z = {..., -2, -1, 0, 1, 2, ...} | Se extiende sin límite hacia ambos lados |
| Múltiplos de 5 | M = {5, 10, 15, 20, ...} | Siempre existe otro múltiplo de 5 |
| Cadenas posibles de texto | Todas las cadenas formadas con un alfabeto | La longitud puede crecer indefinidamente |
El conjunto vacío es el conjunto que no tiene elementos. Se representa con el símbolo ∅ o con llaves vacías {}.
El conjunto vacío es importante porque representa resultados sin elementos, búsquedas sin coincidencias o condiciones imposibles dentro de un contexto.
| Descripción | Por qué es vacío |
|---|---|
| Números naturales menores que 0 | No existe ningún número natural menor que 0 si N comienza en 1 |
| Usuarios activos sin registros en una tabla vacía | No hay usuarios que puedan cumplir la condición |
| Números pares que además son impares | Ningún número puede cumplir ambas propiedades al mismo tiempo |
| Productos disponibles en una categoría inexistente | No hay elementos asociados a esa categoría |
El conjunto universal es el conjunto que contiene todos los elementos considerados dentro de un problema. Se suele representar con la letra U.
El conjunto universal depende del contexto. Si estudiamos usuarios, el universo puede ser la lista completa de usuarios. Si estudiamos números naturales menores que 20, el universo será ese conjunto de números.
Un mismo conjunto puede interpretarse de manera diferente según el conjunto universal elegido.
Si el universo es U = {1, 2, 3, 4, 5, 6}, entonces A representa los números pares de ese universo. Si el universo es todos los números naturales, A es solo un conjunto finito de tres elementos dentro de un universo infinito.
| Tipo | Característica principal | Ejemplo |
|---|---|---|
| Finito | Tiene una cantidad limitada de elementos | {HTML, CSS, JavaScript} |
| Infinito | No tiene una cantidad limitada de elementos | {1, 2, 3, 4, ...} |
| Vacío | No tiene elementos | ∅ |
| Universal | Contiene todos los elementos del contexto | Todos los usuarios de una aplicación |
En JavaScript, un Set sin elementos puede representar un conjunto vacío.
const resultados = new Set();
console.log(resultados.size);
console.log(resultados.has("JavaScript"));
La propiedad size vale 0 porque el conjunto no contiene elementos.
En un programa, muchas veces el conjunto universal es la colección total sobre la que estamos trabajando. Luego obtenemos subconjuntos aplicando filtros.
const usuarios = [
{ nombre: "Ana", activo: true },
{ nombre: "Luis", activo: false },
{ nombre: "Carla", activo: true }
];
const usuariosActivos = usuarios.filter(usuario => usuario.activo);
console.log(usuariosActivos.map(usuario => usuario.nombre));
En este ejemplo, usuarios funciona como universo de trabajo y usuariosActivos es un subconjunto definido por una condición.
Clasificar conjuntos como finitos, infinitos, vacíos o universales permite entender mejor el alcance de un problema. En programación, estas ideas ayudan a diferenciar una colección total, un subconjunto filtrado, un resultado sin coincidencias y una secuencia potencialmente ilimitada.
En el próximo tema estudiaremos igualdad y cardinalidad de conjuntos.