Conjunto infinito

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. Propiedades

Un conjunto finito A es aquel 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 o más (incluso una cantidad infinita) de conjuntos infinitos es un conjunto 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.

El cardinal de un conjunto finito es un número natural, y cualquiera de sus subconjuntos es finito y con menor número de elementos. A los conjuntos infinitos les ocurre lo contrario:

Un conjunto infinito A tiene subconjuntos propios S tales que S y A pueden ponerse en correspondencia biyectiva.

En realidad esta propiedad depende de los axiomas que se asuman para los conjuntos (véase más abajo).

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.

Aspectos formales

En teoría axiomática de conjuntos, puede definirse con precisión el concepto de número natural, como aquellos ordinales sucesores menores que cualquier ordinal límite. De este modo, identificando los cardinales finitos con los números naturales así definidos, se obtiene la definición usual de conjunto finito o infinito: aquel cuyo cardinal sea o no un número natural. En otras palabras:

Un conjunto es finito si es bien ordenable y cada subconjunto no vacío, además de tener mínimo (por ser bien ordenable), tiene máximo.

La definición propuesta históricamente por Dedekind se basa en la propiedad mencionada anteriormente: un conjunto A es Dedekind-infinito si existe una aplicación f : AA inyectiva y no suprayectiva. Es posible demostrar que todo conjunto Dedekind-infinito es infinito "ordinario", y equivalentemente que todo conjunto finito "ordinario" es Dedekind-finito.

Sin embargo, para demostrar la implicación inversa y establecer la equivalencia entre ambos conceptos es necesario adoptar el axioma de elección o una versión más débil, como el axioma de elección numerable. En cualquier caso, la equivalencia entre infinitud e Dedekind-infinitud es una propiedad más débil que ambos axiomas.

Referencias


Wikimedia foundation. 2010.

Игры ⚽ Поможем сделать НИР

Mira otros diccionarios:

  • Conjunto infinito — Llamamos conjunto infinito a cualquier conjunto que puede ponerse en biyección con un subconjunto propio de sí mismo. Por ejemplo, ℕ es un conjunto infinito, pues puede ponerse en biyección con ℙ (conjunto de naturales pares), el cual es un… …   Enciclopedia Universal

  • Infinito — El símbolo de infinito ∞ (Unicode U+221E), también llamado lemniscata, en diferentes fuentes. Para el canal de televisión por cable, véase Infinito (canal de televisión). El concepto de infinito aparece en varias ramas de la filosofía …   Wikipedia Español

  • Conjunto numerable — En matemáticas, un conjunto es numerable o contable cuando sus elementos pueden ponerse en correspondencia uno a uno con el conjunto de los números naturales o un subconjunto finito del mismo. Algunos autores toman una definición alternativa de… …   Wikipedia Español

  • Conjunto — (Derivado de junto < lat. junctus, part. de jungere, juntar.) ► adjetivo 1 Que está unido a otra cosa: ■ realizaron un esfuerzo conjunto; la conjunta consecución de los hechos ayudó a la resolución del conflicto. SINÓNIMO anexo complejo junto… …   Enciclopedia Universal

  • Conjunto — Los diversos polígonos en la imagen constituyen un conjunto. Algunos de los elementos del conjunto, además de ser polígonos son regulares. La colección de estos últimos los polígonos regulares en la imagen es otro conjunto, en particular, un… …   Wikipedia Español

  • Conjunto finito — En matemática, 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… …   Wikipedia Español

  • Conjunto de Julia — Conjunto de Julia, un fractal. C = [0.285, 0.01]. Los conjuntos de Julia, así llamados por el matemático Gaston Julia, son una familia de conjuntos fractales que se obtienen al estudiar el comportamiento de los números complejos al ser iterados… …   Wikipedia Español

  • conjunto — adj. 1. Intimamente unido. 2. Ligado, próximo, anexo. • s. m. 3. Resultado da união das partes de um todo. 4. Reunião de pessoas, de coisas que formam um todo. 5. Coleção de objetos com uma característica comum. 6. Agrupamento. 7. Complexo,… …   Dicionário da Língua Portuguesa

  • Conjunto de Mandelbrot — Representación matemática del conjunto de Mandelbrot como subconjunto del plano complejo. Los puntos del conjunto se muestran en negro. Obsérvese cómo 1 pertenece al conjunto mientras que 1 no …   Wikipedia Español

  • Infinito — (Del lat. infinitus.) ► adjetivo 1 Que no tiene fin: ■ la capacidad de la imaginación humana es infinita; el universo es infinito. SINÓNIMO interminable ANTÓNIMO finito 2 Que es muy grande o numeroso: ■ su sabiduría es infinita; se equivocó… …   Enciclopedia Universal

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”