Conjunto infinito
En teoría de conjuntos, 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.
Definición de Propiedades
Un conjunto finito A es aquel que tiene un número finito de elementos, o de otro modo, que puede
ponerse en correspondencia biunívoca con un conjunto del tipo {1, 2, 3, …, n}, donde n es un número
natural. Esto significa que podemos emparejar los elementos de A y los de {1, 2, 3, …, n} sin que sobre
ninguno. Si un conjunto no verifica esto, entonces es infinito:
Un conjunto infinito es un conjunto que no puede ponerse
en correspondencia biunívoca con ningún conjunto {1, 2,
3, ..., n} para ningún número natural n.
Los conjuntos infinitos poseen las siguientes propiedades:
La unión de dos conjuntos es infinita siempre que
al menos uno de ellos sea infinito.
Cualquier conjunto que contenga un conjunto
infinito es infinito a su vez.
El conjunto potencia de un conjunto infinito es
infinito a su vez.
Aunque ningún número natural se corresponde con el número de elementos de un conjunto infinito, se
pueden «contar» la cantidad de dichos elementos usando números transfinitos. Puede entenderse entonces
que los conjuntos infinitos «más pequeños» son los conjuntos numerables, como el conjunto de los
números naturales.
Definición alternativa
El número de elementos de un conjunto finito es un número natural, y cualquiera de sus subconjuntos es
también finito y tiene menos elementos. Un conjunto infinito sin embargo puede tener el mismo tamaño
que una parte de sí mismo. Por ejemplo, el conjunto de los números naturales y el conjunto de los
números pares tienen el «mismo número de elementos», ya que sus elementos pueden emparejarse
perfectamente:
1, 2, 3, 4, ...
2, 4, 6, 8, ...
y sin embargo los números pares son un subconjunto de los números naturales, {2, 4, 6, ...} ⊆ {1, 2, 3,
...}. Existe una definición alternativa de conjunto infinito basada en esta propiedad característica:
Un conjunto infinito A es un conjunto que tiene un
subconjunto propio (uno que no es el mismo A) con el que
puede ponerse en correspondencia biunívoca.
Aspectos formales
En teoría de conjuntos, las dos definiciones presentadas para conjunto infinito (y complementariamente
para conjunto finito) son rigurosas. La primera de ellas se basa en la noción de número natural, que puede
definirse con precisión como un ordinal menor que cualquier ordinal límite. Un conjunto finito es
entonces un conjunto equipotente a un número natural:
Un conjunto finito es un conjunto bien ordenable, tal que
cada subconjunto no vacío, además de tener mínimo (por
ser bien ordenable), tiene máximo. Un conjunto infinito es
un conjunto que no es finito.
La segunda de ellas fue propuesta históricamente por Richard Dedekind, y se basa en la propiedad de
tener subconjuntos propios tan grandes como sí mismo. Para distinguirla de la anterior, se denomina en
ocasiones de manera distinta:
Un conjunto A es Dedekind-infinito o D- infinito si existe
una aplicación f : A → A inyectiva y no suprayectiva. Un
conjunto es D-finito si no es D-infinito.
Todo conjunto Dedekind-infinito es infinito «ordinario», y equivalentemente que todo conjunto finito
«ordinario» es Dedekind-finito. Sin embargo, ambos conceptos no son completamente equivalentes. La
implicación inversa puede demostrarse si se asume el axioma de elección (AE), o incluso una versión
más débil como el axioma de elección numerable (AEN). Sin embargo es imposible probarla partiendo
únicamente del resto de axiomas habituales de la teoría de conjuntos. Además, la equivalencia de ambas
definiciones es una propiedad más débil que AE y AEN: es imposible probar estos últimos asumiendo que
todo conjunto infinito es también D-infinito.
Véase también
Número ordinal (teoría de conjuntos)
Número cardinal
Conjunto finito
Conjunto infinito
Conjunto numerable
Espacio compacto
Conjunto no numerable
Hipótesis del continuo
Referencias
Herrlich, Horst (2006). «4.1. Finiteness». Axiom of choice (en inglés). Springer-Verlag.
ISBN 978-3-540-30989-5.
Ivorra, Carlos, Lógica y teoría de conjuntos ([Link]
consultado el 12 de abril de 2011..
Enlaces externos
Esta obra contiene una traducción derivada de «Infinite set» de Wikipedia en inglés,
publicada por sus editores ([Link] bajo la
Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-
CompartirIgual 4.0 Internacional ([Link]
Obtenido de «[Link]