Matemáticas discretas: conceptos clave sobre conjuntos, cardinalidad y tipos

Las matemáticas discretas son un área de las matemáticas encargada del estudio de los conjuntos discretos: finitos o infinitos numerables.

En oposición a las matemáticas continuas, que se ocupan del estudio de conceptos como la continuidad y el cambio continuo, las matemáticas discretas estudian estructuras cuyos elementos pueden contarse uno por uno por separado. Es decir, los procesos en matemáticas discretas son contables, como por ejemplo los números enteros, los grafos y las sentencias de la lógica.¹

Conjunto

Un conjunto es una colección de objetos considerada como un objeto en sí. Los objetos de la colección pueden ser cualquier cosa: personas, números, colores, letras, figuras, etc. Cada uno de los objetos en la colección es un elemento o miembro del conjunto.

Conjunto finito

Un conjunto finito es un conjunto que tiene un número finito de elementos. Por ejemplo, {2, 4, 6, 8, 10} es un conjunto finito con cinco elementos. La cardinalidad o número de elementos de un conjunto finito es igual a un número natural.

Conjunto infinito

Un conjunto infinito es un conjunto que no es finito. Algunos ejemplos son:

• Los números enteros Z = {..., -3, -2, -1, 0, 1, 2, 3, ...} forman un conjunto infinito y numerable.
• Los puntos en una recta, representados por un número real, forman un conjunto infinito y no numerable.

Conjunto universal o referencial

Conjunto universal o referencial, que normalmente se denota por las letras , es un conjunto cuyo objeto de estudio son los subconjuntos del mismo.

• Anteriormente se consideraba al conjunto universal como el conjunto de todas las cosas; sin embargo, está demostrado que dicho conjunto no existe. Particularmente, suponer la existencia de ese conjunto conduce a la paradoja de Russell.

Conjunto vacío

En matemáticas, específicamente en teoría de conjuntos, el conjunto vacío es el conjunto que no contiene ningún elemento. Puesto que lo único que define a un conjunto son sus elementos, el conjunto vacío es único.

• En una teoría axiomática de conjuntos, la existencia de un conjunto vacío se postula. Algunas propiedades de los conjuntos son trivialmente ciertas para el conjunto vacío.

Resumen y palabras clave

En resumen, los conceptos de conjunto, cardinalidad, conjunto finito, conjunto infinito, conjunto universal y conjunto vacío son fundamentales en las matemáticas discretas y en la teoría de conjuntos. Estos conceptos son la base para el estudio de estructuras contables como grafos, secuencias y sistemas discretos.

Referencias

¹ Fuente o nota referencial (si procede, añadir bibliografía o enlace).