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:
|
Los conjuntos infinitos poseen las siguientes propiedades:
|
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:
|
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:
|
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:
|
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
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, consultado el 12 de abril de 2011..
Enlaces externos
- Esta obra contiene una traducción derivada de «Infinite set» de la Wikipedia en inglés, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 3.0 Unported.