En teoría de conjuntos , un conjunto infinito es un conjunto que no es finito . Los conjuntos infinitos pueden ser contables o incontables . [1]
El conjunto de los números naturales (cuya existencia postula el axioma del infinito ) es infinito. [1] Es el único conjunto que los axiomas exigen directamente que sea infinito. La existencia de cualquier otro conjunto infinito puede demostrarse en la teoría de conjuntos de Zermelo-Fraenkel (ZFC), pero sólo demostrando que se deriva de la existencia de los números naturales.
Un conjunto es infinito si y sólo si para todo número natural, el conjunto tiene un subconjunto cuya cardinalidad es ese número natural. [2]
Si se cumple el axioma de elección , entonces un conjunto es infinito si y sólo si incluye un subconjunto infinito contable.
Si un conjunto de conjuntos es infinito o contiene un elemento infinito, entonces su unión es infinita. El conjunto potencia de un conjunto infinito es infinito. [3] Cualquier superconjunto de un conjunto infinito es infinito. Si un conjunto infinito se divide en un número finito de subconjuntos, entonces al menos uno de ellos debe ser infinito. Cualquier conjunto que pueda asignarse a un conjunto infinito es infinito. El producto cartesiano de un conjunto infinito y un conjunto no vacío es infinito. El producto cartesiano de un número infinito de conjuntos, cada uno de los cuales contiene al menos dos elementos, es vacío o infinito; si se cumple el axioma de elección, entonces es infinito.
Si un conjunto infinito es un conjunto bien ordenado , entonces debe tener un subconjunto no vacío y no trivial que no tenga elemento mayor.
En ZF, un conjunto es infinito si y sólo si el conjunto potencia de su conjunto potencia es un conjunto infinito de Dedekind , que tiene un subconjunto propio equinumero a sí mismo. [4] Si el axioma de elección también es cierto, entonces los conjuntos infinitos son precisamente los conjuntos infinitos de Dedekind.
Si un conjunto infinito es un conjunto bien ordenable , entonces tiene muchos buenos ordenamientos que no son isomorfos.
Las ideas importantes analizadas por David Burton en su libro La historia de las matemáticas: una introducción incluyen cómo definir "elementos" o partes de un conjunto, cómo definir elementos únicos en el conjunto y cómo demostrar el infinito. [5] Burton también analiza pruebas de diferentes tipos de infinito, incluidos conjuntos contables e incontables. [5] Los temas utilizados al comparar conjuntos infinitos y finitos incluyen conjuntos ordenados , cardinalidad, equivalencia, planos de coordenadas , conjuntos universales , mapeo, subconjuntos, continuidad y trascendencia . [5] Las ideas establecidas de Cantor fueron influenciadas por la trigonometría y los números irracionales. Otras ideas clave en la teoría de conjuntos infinitos mencionadas por Burton, Paula, Narli y Rodger incluyen números reales como π , números enteros y el número de Euler . [5] [6] [7]
Tanto Burton como Rogers utilizan conjuntos finitos para comenzar a explicar conjuntos infinitos utilizando conceptos de prueba como mapeo, prueba por inducción o prueba por contradicción. [5] [7] Los árboles matemáticos también se pueden utilizar para comprender conjuntos infinitos. [8] Burton también analiza las pruebas de conjuntos infinitos, incluidas ideas como uniones y subconjuntos. [5]
En el capítulo 12 de La historia de las matemáticas: una introducción , Burton enfatiza cómo matemáticos como Zermelo , Dedekind , Galileo , Kronecker , Cantor y Bolzano investigaron e influyeron en la teoría de conjuntos infinitos. Muchos de estos matemáticos debatieron sobre el infinito o ampliaron las ideas de conjuntos infinitos. Las posibles influencias históricas, como la historia de Prusia en el siglo XIX, dieron como resultado un aumento del conocimiento matemático académico, incluida la teoría de los conjuntos infinitos de Cantor. [5]
Una posible aplicación de la teoría de conjuntos infinitos es la genética y la biología. [9]
El conjunto de todos los números enteros , {..., -1, 0, 1, 2, ...} es un conjunto infinito contable. El conjunto de todos los números enteros pares también es un conjunto contablemente infinito, incluso si es un subconjunto propio de los números enteros. [3]
El conjunto de todos los números racionales es un conjunto contablemente infinito ya que existe una biyección en el conjunto de los números enteros. [3]
El conjunto de todos los números reales es un conjunto incontablemente infinito. El conjunto de todos los números irracionales es también un conjunto incontablemente infinito. [3]