c
 

De Wikipedia, la enciclopedia libre

Saltar a navegación, búsqueda

El símbolo de infinito ’ (Unicode U+221E) en diferentes fuentes.


  

 
   

  



El concepto de 
  aparece en varias ramas de la filosofía,1 la matemática y la

astronomía.2 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, o límites al infinito;
y en matemática dentro de las teorías de números y de conjuntos. En todos los casos denota
que el ente en cuestión no es finito en algún aspecto.

  
[ocultar]

ÔY 1 Teoría de conjuntos
|Y 1.1 Primera definición positiva de conjunto infinito
|Y 1.2 Números ordinales infinitos
|Y 1.3 Primer ordinal infinito
|Y 1.4 Números cardinales infinitos
ÔY 2 Análisis matemático y topología
|Y 2.1 El símbolo de infinito
|Y 2.2 Infinito en informática
ÔY 3 Véase también
ÔY 4 Referencias
ÔY D Más información

0

  
]os 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 decimos que:

ë 






  


    
 



  

]a 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     

 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
 
 

 
 , lo cual, para conjuntos finitos, equivale a que tengan el mismo
número de elementos.

0



     
 

]a primera definición positiva de conjunto infinito fue dada por Georg Cantor y se basa en
la siguiente observación: Si un conjunto O es finito y es un subconjunto propio, no es
posible construir una biyección entre O y . Por ejemplo, si O = {1,2,3,4,D,6,7,8} y =
{2,4,6,8} no es posible construir una biyección entre O y , 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
={0,1,2,3,4,D,...}, 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 ={0,2,4,6,8,10,...}. El conjunto
 es un subconjunto propio de
, y la regla de asignación