Departamento de matemtica

Profesor Guillermo Smith

Liceo Juan Bautista Contardi

EL INFINITO
Electivo matemtico

29 DE OCTUBRE DE 2017
 Indice:

Pagina 1: ndice- objetivos-planteamiento del problema

Pagina 2: introduccin parte 1
Pagina 3: introduccin parte 2
Pagina 4: teora de los conjuntos
Pagina 5: los tipos de conjuntos parte 1
Pagina 6: los tipos de conjuntos parte 2
Pagina 7: conjunto infinito parte 1
Pagina 8: conjunto infinito parte 2
Pagina 9: conjunto infinito parte 3
Pagina 10: conclusin

Objetivos:

Entender a grandes rasgos las maneras de expresar el infinito en matemticas

Comprender de manera ms especfica las teoras y las propiedades del conjunto

infinito

Definir y comprender a que llamamos infinito en la actualidad

Planteamiento del problema

se podran defender las teoras de George Cantor y Dedekind y algn da, establecerlas
como un hecho, que sean completamente verdicas? se podran comprobar?

1
 Introduccin

El infinito se puede expresarse distintas formas; como en la filosofa, astronoma y en las

matemticas. En esta ultima el infinito est presente de las siguientes formas:

En la geometra proyectiva est presente el infinito en el punto impropio

punto en el infinito; Esta es una entidad geomtrica que se introduce a modo de
cierre o frontera infinita del conjunto de nmeros reales, cuando esto se aade a los
nmeros reales genera una curva cerrada que se conoce como recta proyectiva
real, que no es la misma que la recta real ampliada que tiene dos puntos distintos
en el infinito (-, +).

Recta proyectiva real

se genera una curva con el punto en el infinito

2
En la geometra descriptiva est presente el infinito en el punto de fuga, en el sistema
de proyeccin cnica (es el sistema de representacin grfica en donde unos haces de
rectas proyectivas confluyen en un punto (el ojo del observador)) es el lugar geomtrico
en el cual las proyecciones de las rectas paralelas a una direccin dada en el espacio, pero
no paralelas al plano cartesiano convergen.

En el anlisis matemtico en los lmites infinitos explicando a grandes rasgos cules el

1
valor de ?. La respuesta es indefinida, pero lo que podemos hacer es acercarnos a l, en

vez de calcular el , calculemos x usando valores ms grandes. Al hacer esto veremos
1
que x crece y tiende a 0. No podemos decir que x llegara a infinito y que pasara sera

ideal decir que la respuesta es 0 pero no es posible, por lo tanto, se usa la palabra limite.
1
El lmite de cuando x tiende a es cero.

La teora de los conjuntos y entre estos el conjunto infinito que es el tema que
profundizaremos a continuacin.

3
 Teora de los conjuntos

Los conjuntos numricos usuales en matemticas son:

El conjunto de los nmeros naturales , el conjunto de los enteros , el conjunto de los
nmeros racionales e irracionales *, el conjunto de los nmeros reales y el conjunto
de los nmeros complejos . Cada uno es un subconjunto del siguiente.

Para comprender a cabalidad hay que comprender algunos conceptos como el de

subconjuntos, sera ms fcil con un ejemplo:}

Ej1: el conjunto de todos los hombres(H) es un subconjunto de todas las personas.

{H} {H, M}
Ej2: {1,3} {1,2,3,4}

Subconjunto se puede denotar AB, aunque tambin se utilzala notacin AB

Prosiguiendo con la idea de los conjuntos:

Los conjuntos se representan usando llaves y se pueden escribir por extensin o por
compresin:

Extensin: escribir explcitamente los elementos del conjunto

Ej.: A= {1,2,3,4,5,6,7,8,9,10}

Compresin: escribir las caractersticas que componen al conjunto

Ej.: A= {nmeros naturales menores que 11}

La cardinalidad es la cantidad de elementos en el conjunto

Ej.: A= {1,2,3,4,5} #=5

Existen conjuntos finitos e infinitos

Finitos: A= {1,2,3,4,5}
Infinitos: = {1,2,3,4,5,6, 7, n}

4
 Los tipos de conjuntos

El conjunto vaco o nulo

Es aquel conjunto que no posee elementos y se representa ""= {}
El conjunto vaco se aplicara en situaciones imposibles por ej.: un nmero menor
que 1 pero mayor que 2, no hay, en este caso se aplica el vaco ({x /2 < x <1})

Conjunto unitario:
Es aquel conjunto que posee solo un elemento
M= {x /3<x>5}

Conjunto finito:
Es aquel conjunto que tiene una cantidad determinada de elementos
P= {1,2,3,4,5}

Conjuntos iguales:
Son aquellos conjuntos que tienen la misma cantidad de elementos, es decir:
A=B AByBA
A= {x /2<x6} {3,4,5,6} A y B tienen los mismos datos
B= {x /3x<7}

conjuntos disjuntos:
son aquellos conjuntos que no poseen ningn elemento en comn
A= {x /3<x<7} B= {x /<x<11}
A= {4,5,6} B= {9,10}
Conjuntos totalmente distintos

5
conjuntos universales:
es un conjunto formado por todos los elementos de un contexto dado
A= {alumnos del 3A}
B= {alumnos del 3B}
C= {alumnos del 3C}

A B C = alumnos del 3ergrado

conjunto infinito:
es el conjunto con una cantidad ilimitada de elementos
= {1,2,3,4,5 n} los nmeros naturales.
X= {x /x>7} o x= {-,0,1,2,3,4,5,6,7}

6
 Conjunto infinito

prosiguiendo con el conjunto infinito hay que comprender un poco de su historia y sus
teoras. En esta disciplina es habitual que se presenten casos de propiedades
indemostrables o contradictorias, como la hiptesis del continuo.

El desarrollo histrico de la teora de conjuntos se atribuye a Georg Cantor, que comenz

a investigar cuestiones conjuntistas puras del infinito en la segunda mitad del siglo
XIX, precedido por algunas ideas de Bernhard Bolzano e influido por Richard Dedekind.

Comenzando con los aportes de George Cantor, Georg Cantor dedic gran parte de su
vida al estudio del infinito, los distintos infinitos y el llamado continuo, y en el siglo XIX
desarroll la teora de conjuntos ntimamente relacionada con la teora de nmeros
transititos (nmero translimito es el trmino original que Georg Cantor introdujo para
referirse a los ordinales infinitos (Al igual que con los nmeros naturales, puede pensarse
en los nmeros transititos como cardinales u nmero ordinal, o simplemente ornumeun
representante del tipo de orden de un conjunto bien ordenado),que son mayores que
cualquier nmero natural). George Cantor tambin defini el concepto de "cardinalidad''
o "potencia'' de un conjunto. Dos conjuntos se dice que tienen el mismo nmero de
elementos o sea que tienen la misma cardinalidad o son equipolentes.

A partir de estos conceptos se puede establecer la idea de conjunto infinito. Se dice que
un conjunto es infinito si existe un subconjunto con la misma cardinalidad o que es
equipotente con l. Esta definicin plantea una contradiccin, pues todo subconjunto
como parte del conjunto total parece que deba tener menos elementos. Eso es as,
efectivamente, en los conjuntos finitos, pero no en los infinitos o sea un conjunto infinito
A es un conjunto que tiene un subconjunto propio (uno que no es el mismo A) con el que
puede ponerse en correspondencia biunvoca.

7
 fue propuesta histricamente 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:

Un conjunto A es Dedekind-infinito o D- infinito si existe una aplicacin f: A A

inyectiva y no suprayectiva.
Todo conjunto Dedekind-infinito es infinito ordinario.
tal vez se comprenda mejor con un ejemplo:
en conjunto de los nmeros primos es un subconjunto de los nmeros naturales, el
subconjunto es infinito al igual q los nmeros naturales por lo cual se pueden poner
en correspondencia biunvoca y son equipotentes. Esta es una de las definiciones y
en la que nos enfocaremos, pero tambin es importante conocer la otra.

la otra definicin estipula que un conjunto infinito es un conjunto que no puede

ponerse en correspondencia biunvoca con ningn conjunto {1, 2, 3, ..., n} para
ningn nmero natural n.

Los conjuntos infinitos poseen las siguientes propiedades:

La unin de dos conjuntos es infinita siempre que al menos uno de ellos sea
infinito.
Cualquier conjunto que contenga un conjunto infinito es infinito a su vez.
el conjunto potencial de un conjunto infinito es a su vez infinito. (el conjunto
potencia de un conjunto dado es otro conjunto formado por todos los subconjuntos
del conjunto dado)
estas definiciones son contradictorias, pero nos enfocaremos con la primera, la de Dedekind.

Cantor se dio cuenta de que existen diferentes grados de infinitud comparando los
infinitos de los nmeros naturales N {1,2, 3,...n}, racionales Q (fracciones) y reales R
(racionales + irracionales) y los clasific.

8
 Al igual que con los nmeros naturales, puede pensarse en los nmeros transfinitos como
cardinales u ordinales:
(omega): es el menor ordinal transfinito. Sus elementos son los nmeros
naturales, tal y como son construidos en teora de conjuntos, y representa el tipo de
orden de estos.

0, alef-0: es el primer nmero alef, y el primer cardinal transfinito. Es

conjuntsticamente idntico a ya que sus elementos son lo nmeros naturales.
1, alef-1: es el segundo nmero alef, y el cardinal siguiente a 0.
c = 20: es el cardinal del continuo, el nmero cardinal de los puntos de una recta o de
los nmeros reales.

El cardinal lef 0 representa la cantidad de elementos de un conjunto infinito del como el

de los nmeros naturales, de hecho este cardinal es el nmero transfinito ms pequeo.
Georg Cantor, que inaugur la teora de conjuntos, demostr que existan diferentes tipos
de infinitos inconmensurables entre s, y por tanto no todos los conjuntos infinitos eran
equipotentes. De hecho, Cantor demostr que el conjunto de los nmeros reales (que
introdujo en c = 20) tena "ms elementos" que los nmeros enteros (si bien ninguno de
los dos conjuntos es finito, ambos diferan en su grado de "infinidad"). El nmero de
elementos de la recta real se represent como alef 1. De esta manera se ordena los grados
de infinitud si se acepta la hiptesis del continuo (hiptesis del continuo es un enunciado
relativo a la cardinalidad del conjunto de los nmeros reales, formulado como una
hiptesis por Georg Cantor en 1878. Su enunciado afirma que no existen conjuntos
infinitos cuyo tamao est estrictamente comprendido entre el del conjunto de los
nmeros naturales y el del conjunto de los reales.)

9
 Conclusin

Tras realizar este trabajo no hemos percatado de que el infinito se expresa de distintas maneras
y perspectivas que incluso en un mismo tema hay contradicciones en lo que es el infinito,
consideramos no se podr estipular un infinito completamente verdico porque es una cuestin
de perspectiva.

Esperamos terminar este trabajo satisfactoriamente, consideramos haber logrado nuestros

objetivos dentro de nuestros limitados conocimientos.

10