El concepto de 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).

Para el grupo español del mismo nombre, véase Infinito (banda).

El concepto de infinito aparece en varias ramas de la matemática, la filosofía1 y la astronomía,2 en referencia a una cantidad sin límite o final, contrapuesto al concepto de finitud.3

En matématicas el infinito aparece de diversas formas: en geometría, el punto al infinito en geometría proyectiva y el punto de fuga en geometría descriptiva; en análisis matemático, los límites infinitos; y en teoría de conjuntos como números transfinitos. Todos estos conceptos son diferentes y no corresponden todos ellos a la misma noción de infinitud.

Índice [ocultar]

1 Teoría de conjuntos

1.1 Primera definición positiva de conjunto infinito

1.2 Números ordinales infinitos

1.3 Primer ordinal infinito

1.4 Números cardinales infinitos

2 Análisis matemático

2.1 Análisis estándar u ordinario

2.2 Análisis no-estándar

3 Infinito en informática

4 Infinito en metafísica

5 Historia

5.1 El símbolo de infinito

6 Véase también

7 Referencias

8 Más información

Teoría de conjuntos[editar · editar fuente]

Los conjuntos finitos tienen una propiedad "intuitiva" que los caracteriza: "dada una parte propia de los mismos, ésta contiene un número de elementos menor que todo el conjunto". Es decir, no puede establecerse una biyección entre una parte propia del conjunto finito y todo el conjunto. Sin embargo, esa propiedad "intuitiva" de los conjuntos finitos no la tienen los conjuntos infinitos, y formalmente se dice que:

Un conjunto es infinito si existe un subconjunto propio de , es decir, un subconjunto tal que , tal que existe una biyección entre y .

La idea de cardinalidad de un conjunto se basa en la noción anterior de biyección. De dos conjuntos entre los que se puede establecer una biyección se dice que tienen la misma cardinalidad. Para un conjunto finito su cardinalidad puede representarse por un número natural. Por ejemplo, el conjunto {manzana, pera, durazno} tiene 3 elementos. Esto significa de modo más formal que se puede establecer una biyección entre tal conjunto y el número 3 que es el conjunto {0,1,2}:

Dicho de otra forma, es posible hacer parejas (0, manzana), (1, pera), (2, durazno) de modo que cada elemento de los dos conjuntos se utilice exactamente una vez. Cuando es posible establecer tal relación "uno a uno" entre dos conjuntos se dice que ambos conjuntos tienen la misma cardinalidad, lo cual, para conjuntos finitos, equivale a que tengan el mismo número de elementos.

Primera definición positiva de conjunto infinito[editar · editar fuente]

La primera definición positiva de conjunto infinito fue dada por Georg Cantor y se basa en la siguiente observación: Si un conjunto S es finito y T es un subconjunto propio, no es posible construir una biyección entre S y T. Por ejemplo, si S = {1,2,3,4,5,6,7,8} y T = {2,4,6,8} no es posible construir una biyección entre S y T, porque de ser así tendrían la misma cardinalidad (el mismo número de elementos).

Un conjunto es infinito si es posible encontrar un subconjunto propio del mismo que tenga la misma cardinalidad que el conjunto original. Consideremos el conjunto de los números naturales N={1,2,3,4,5,...}, el cual es un conjunto infinito. Para verificar tal afirmación es necesario encontrar un subconjunto propio y construir una biyección entre ambos. Para este caso, consideremos el conjunto de enteros positivos pares P={2,4,6,8,10,...}. El conjunto P es un subconjunto propio de N, y la regla de asignación es una biyección:

ya que a todo elemento de N le corresponde un único elemento de P y viceversa.

Números ordinales infinitos[editar · editar fuente]

Artículo principal: Número ordinal (teoría de conjuntos).

Los números ordinales sirven para notar una posición en un conjunto ordenado (primer, segundo, tercer elemento ...). El ejemplo más elemental es el de los números naturales, que se definen rigurosamente así: Se nota el conjunto vacío:

se nota el conjunto que sólo contiene :

luego se nota el conjunto que sólo contiene y :

Y así sucesivamente:

Por construcción, 0 está incluido en 1, quién a su vez está incluido en 2, ya que obviamente:

La inclusión permite convertir a los ordinales en un conjunto bien ordenado (dos elementos distintos siempre se pueden comparar, y añadiendo la igualdad daría un orden total) entre estos conjuntos que se prefiere, por costumbre, escribir "<", lo que da las relaciones 0 < 1 < 2 < 3. Decir que un ordinal es menor (estrictamente) que otro significa, cuando se les considera a ambos como conjuntos, que está incluido en el otro.

Si a y b son ordinales, entonces aUb, la unión de los conjuntos, también es un ordinal. En particular, si son ordinales finitos (conjuntos finitos) correspondientes a los naturales a y b, entonces aUb corresponde al mayor de los dos, a o b. En general, si los conjuntos ai son ordinales, donde i toma todos los valores de un conjunto I, entonces a = Uai también lo será. Y si el conjunto I no es finito, tampoco lo será a. Así obtendremos ordinales (o sea números) infinitos.

Acabamos de caer en una "trampa", al hablar de conjunto finito sin definir el concepto. Para definirlo rigurosamente, debemos compararlo con los ordinales. Dos conjuntos bien ordenados A y B son isomorfos (con relación al orden) si existe una biyección f entre ambos que respeta el orden: si a < a' en A, entonces f(a) < f(a) en B. Resulta obvio constatar que si A es un conjunto ordenado con n elementos

...