MATEMATICAS.NET

Sobre la definición de conjunto infinito

Anuncios

La definición clásica de conjunto infinito es sencilla: un conjunto es infinito cuando no es finito. Es claro que llegado a este punto, la pregunta inmediata que nos hacemos es, ¿cuándo un conjunto es finito? Pues también existe una definición clásica y es la siguiente.

Un conjunto es finito si es vacío o existe un subconjunto   de y una biyección  de en .

Sin embargo, existe otra definición menos conocida pero muy interesante atribuida a Dedekind:

Un conjunto se dice que es finito tipo Dedekind o D-finito si no es posible encontrar ninguna biyección entre el conjunto y cualquiera de sus subconjuntos propios. En caso contrario, se dirá que es infinito tipo Dedekind o D-infinito.

Utilizando la propiedad de buena ordenación de los naturales podemos probar que todo conjunto finito es D-finito.  Sin embargo, la única prueba que conozco de la equivalencia de que todo conjunto infinito es D-infinito precisa del axioma de elección.

Anuncios