Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 ·...

38
A vueltas con el infinito Miguel Mart´ ın (Universidad de Granada) http://www.ugr.es/local/mmartins UAM, Madrid, 9 de Febrero de 2012

Transcript of Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 ·...

Page 1: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

A vueltas con el infinito

Miguel Martın (Universidad de Granada)http://www.ugr.es/local/mmartins

UAM, Madrid, 9 de Febrero de 2012

Page 2: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

Organizacion de la conferencia

1 Preliminares

2 Los procesos infinitos y sus paradojas

3 ¿Cuantos infinitos hay?

4 ¿Como se miden areas?

5 Para saber mas

Page 3: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

¿Que es el infinito?. . . intentamos, con nuestras mentes finitas, discutir sobre el infinito,asignandole propiedades que damos a lo finito y limitado; peropienso que esto es incorrecto, dado que no podemos hablar decantidades infinitas como si fuesen mayores, menores o iguales aotras.

Galileo Galilei (1564–1642)

¡El infinito! Ninguna cuestion ha conmovido tan profundamente elespıritu del hombre.

David Hilbert (1862–1943)

Para mı, el infinito comienza a partir de mil pesetas [6€].Julio Rey Pastor (1888–1962)

El infinito tiene poco respeto por la logica. De hecho establece unafrontera que, en cierta forma, separa las matematicas de la logica,o, al menos, de lo que clasicamente se ha entendido por logica. Elinfinito es como un nido de vıboras, y al intelecto humano le hallevado varios milenios y muchas picaduras poder meter mano ahı.

Antonio J. Duran (1962–)

Page 4: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

Definiciones de infinito I

Actualización delDiccionario de la

Lengua Española en CD-ROMpara las últimas versiones delos sistemas operativos.

PRESENTACIÓN

AVANCE DE LA 23.ª EDICIÓN

¿Quién hace el Diccionario?¿Cómo se actualiza?¿Cómo se muestran lasenmiendas y adiciones?¿Cómo se revisan losamericanismos del Diccionario?¿Con qué medios informáticos serevisa el Diccionario?Cifras de actualización

LA 22.ª EDICIÓN (2001)

El Diccionario en cifras¿Qué novedades presenta la22.ª edición?Advertencias para el uso de esteDiccionario

Real Academia Española © Todos los derechos reservados

Page 5: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

Definiciones de infinito II

Algebra

Applied Mathematics

Calculus and Analysis

Discrete Mathematics

Foundations of Mathematics

Geometry

History and Terminology

Number Theory

Probability and Statistics

Recreational Mathematics

Topology

Alphabetical Index

Interactive Entries

Random Entry

New in MathWorld

MathWorld Classroom

About MathWorld

Contribute to MathWorld

Send a Message to the Team

MathWorld Book

13,044 entriesLast updated: Fri Feb 25 2011

Foundations of Mathematics > Set Theory > Cardinal Numbers >History and Terminology > Mathematica Commands >

Infinity

Infinity, most often denoted as , is an unbounded quantity that is greaterthan every real number. The symbol had been used as an alternative toM ( ) in Roman numerals until 1655, when John Wallis suggested it beused instead for infinity.

Infinity is a very tricky concept to work with, as evidenced by some of thecounterintuitive results that follow from Georg Cantor's treatment of infinitesets.

Informally, , a statement that can be made rigorous using thelimit concept,

Similarly,

where the notation indicates that the limit is taken from the positive sideof the real line.

Other Wolfram Web

Resources »

Infinity

unbounded quantity greaterthan every real number.

very tricky concept to work with,

SEARCH MATHWORLD

En Espanol:El infinito es una cantidad no acotada mayor que todos losnumeros reales.Es un concepto difıcil de trabajar.

Page 6: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

Sobre el sımbolo ∞

Origen inciertoTiene la forma de la lemniscata

(x2 + y2)2 = x2 − y2

que no tiene principio ni finFue John Wallis (1616–1703) elprimero en utilizarlo. Lo llamo ellazo del amorPudo tomar el sımbolo del numeroromano M (1000) que en etruscotenıa cierto parecido, o de la letragriega omega

Page 7: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

Definicion actual del infinito matematico (¡mejor no mirar!)

Bernard Bolzano (1781–1848):Una multitud infinita es aquella dela cual cualquier multitud finitasolamente puede ser parte y no eltotal.

Richard Dedekind (1831–1916):Un sistema S se llama infinitocuando es semejante a una partepropia de sı mismo; en casocontrario se dice que S es finito.

Georg Cantor (1845–1918):Primer estudio sistematico delinfinito, aritmetica del infinito,numeros transfinitos. . . No todoslos infinitos son iguales.

Page 8: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

Los procesos infinitos y sus paradojas

2 Los procesos infinitos y sus paradojasAquiles y la tortugaSobre la invencion del ajedrezManejando el infinito (1)

Page 9: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

La paradoja de Aquiles y la tortuga

Aquiles, el de los pies ligeros, nunca alcanzara a latortuga que avanza lentamente unos cuantos metrospor delante de el. Pues cuando Aquiles alcance elpunto donde estaba la tortuga, esta ya estara unpoco mas adelante; y cuando de nuevo Aquilesalcance ese lugar, la tortuga habra avanzado unpoco mas. Sin desanimarse, sigue corriendo, pero alllegar de nuevo donde estaba la tortuga, esta haavanzado un poco mas. . . De este modo, la tortugaestara siempre por delante de Aquiles.

Zenon de Elea (490 ac – 425 ac)

Page 10: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

Aquiles y la tortuga II

Zenon, discıpulo de Parmenides, pretendıa demostrar queel ser es uno, eterno, continuo, indivisible e inmutable, cuyoscambios son meras apariencias que no responden a realidadalguna.

La paradoja de Zenon se basa en la idea de queel “infinito” no puede ser alcanzado:

Cada movimiento de Aquiles es una distancia positiva (cierto),se necesita una cantidad infinita de movimientos (cierto),La suma de todas esas distancias tiene necesariamente que serinfinita, no puede alcanzarse (¡falso!)

Aristoteles tildo de falacias las paradojas de Zenon, pero nopudo refutarlas con la logica.

Hay que saber queuna “suma infinita” de cantidades positivas puede ser finita.

Page 11: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

Sumando cunas de queso I

Teorema12 + 1

4 + 18 + 1

16 + 132 + 1

64 + · · · = 1

Graficamente: Demostracion:Tomamos un queso

y lo vamos partiendo. . .

Page 12: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

Sumando cunas de queso I

Teorema12 + 1

4 + 18 + 1

16 + 132 + 1

64 + · · · = 1

Otra demostracion:

Page 13: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

Sumando cunas de queso II

Teorema12 + 1

3 + 14 + 1

5 + 16 + 1

7 + 18 + · · · vale infinito.

Demostracion:12 + 1

3 + 14 + 1

5 + 16 + 1

7 + 18 + · · ·

= 12 +

(13 + 1

4

)+

(15 + 1

6 + 17 + 1

8

)+ · · ·

>12 +

(14 + 1

4

)+

(18 + 1

8 + 18 + 1

8

)+ · · ·

= 12 + 1

2 + 12 + · · ·

Page 14: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

Una ultima cita sobre Aquiles y la Tortuga

Aquiles alcanzo a la tortuga y se sento confortablementesobre su espalda. ¿De modo que has llegado al final denuestra carrera? – dijo la tortuga –. ¿A pesar de querealmente consiste en una serie infinita de distancias? Yocreıa que algun necio habıa demostrado que esto nopodıa hacerse.

Lewis Carroll, Lo que la Tortuga le dijo a Aquiles, 1894

Page 15: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

La leyenda del origen del ajedrez

Cuenta la leyenda, que un rey indio llamadoIadava (s. VI ac), tras perder a suprimogenito en una batalla, andaba triste ydecaıdo y nada le hacıa sonreır.Un dıa llego a palacio un pobre brahmanllamado Sessa con un juego que habıainventado para traer la alegrıa a la vida delrey, el chaturanga, antecesor del ajedrez.El rey, encantado con el juego, quisoagradecer a Sessa con palacios, joyas,regalos. . . que el joven brahman siemprerechazaba cortesmente.

Page 16: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

La leyenda del origen del ajedrez II

Finalmente, Sessa pidio al rey que le pagaracon arroz, de la siguiente forma:En la primera casilla ponemos un grano dearroz, en la segunda dos, en la terceracuatro. . . y ası vamos doblando la cantidadal avanzar de casilla.El rey accedio encantado a tan humildepeticion y ordeno que trajesen arroz paraentregar allı mismo la cantidad que pedıa elbrahman.Pronto se descubrio que peticion era menoshumilde y mas complicada de lo que sepensaba: al ir avanzando en las casillas, lacantidad de arroz era inmanejable.

Page 17: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

El calculo de la cantidad de arroz

Los contables del reino fueron capaces de calcular lacantidad exacta de arroz que se necesitaba:

18446744073709551615 ' 18 ∗ 1018 granos de arroz

¡mas que todo el arroz cosechado en la India durante losproximos 100 anos!

Calculemos la cantidad de arroz para Sessa (que llamamos X):

X = 1 + 2 + 22 + 23 + · · ·+ 263

X − 1 = 2 + 22 + 23 + · · ·+ 263 = 2(1 + 2 + 22 + 23 + · · ·+ 262)

X − 1 = 2(X − 263)

Por tanto, X = 264 − 1 ' 18 ∗ 1018.

Page 18: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

El final de la historiaA partir de aquı, hay varias versiones sobre el final de la historia:

UNO: El rey mando decapitar a Sessa.DOS: Sessa renuncia a su recompensa y el rey le nombraprimer ministro.TRES: El rey, que querıa cumplir su promesa, consulto a unmatematico, que le dio la siguiente solucion:

Propuso a Sessa considerar un tablero infinitoHizo el siguiente calculo (X es la cantidad de arroz para Sessa)

X = 1 + 2 + 22 + 23 + 24 + 25 + · · ·X − 1 = 2 + 22 + 23 + 24 + 25 + · · ·X − 1 = 2

(1 + 2 + 22 + 23 + 24 + · · ·

)X − 1 = 2X

Por tanto, ¡X = −1! y el rey pidio a Sessa que le entregaraun grano de arroz :-)

Page 19: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

Manejando el infinito

La historia de las Matematicas puede explicarse en gran partepor el intento de encontrar herramientas para domar alinfinito.Casi en cualquier razonamiento matematico aparece,escondido o no, el concepto de infinito.Esto es especialmente claro en el Analisis Matematicomoderno, donde casi cualquier razonamiento es, en el fondo,calcular un lımite.

La herramienta mas sencilla para domar alinfinito es, probablemente, la induccionmatematica, que consiste en llegar al infinitopasito a pasito, como en un efecto domino.

Page 20: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

La induccion matematica

Formalmente, el principio de induccion es un axioma queestablece que

cualquier subconjunto de numeros naturalesque contenga al 1 y al sucesor de cualquierelemento coincide, de hecho, con el conjuntode todos los numeros naturales.

Es equivalente al principio de buena ordenacion de losnumeros naturales:

cualquier subconjunto de numeros naturalestiene mınimo.

Parece ser que hay “razonamientos por induccion” en laantigua Grecia, en las matematicas india y arabe de laEdad Media. . . pero la primera formulacion explıcita delprincipio de induccion parece deberse a Blaise Pascal.

Page 21: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

La induccion matematica II

Se demuestran por induccion cosas tan diversas comola suma de los n primeros impares es n2,hay infinitos numeros primos (usando numeros de Fermat),el binomio de Newton,el ultimo teorema de Fermat. . .

Tambien hay paradojas que proceden de la induccion:Si una persona pobre recibe n euros, seguira siendo pobre.

Consideremos la afirmacion: Sn = una persona pobre siguesiendo pobre tras recibir n euros.Claramente, S1 es cierta e, igualmente, si Sn es cierta es claroque Sn+1 es cierta.

La induccion tambien se utiliza en otras Ciencias como laFısica para deducir resultados generales de una serie limitadade observaciones.

Page 22: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

¿Cuantos infinitos hay?

3 ¿Cuantos infinitos hay?El hotel de HilbertCantor y el continuoManejando el infinito (2)

Page 23: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

El hotel de Hilbert

Esta es una historia inventada por David Hilbert(1862–1943) para explicar que muchos infinitosson iguales.Imaginemos un hotel con infinitas habitaciones.Su lema es

“Siempre estamos completos, pero siempretenemos una habitacion para ti”.

Page 24: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

Infinito mas uno igual a infinito

El hotel esta completo pero queremos alojar a un nuevo huesped.¿Se puede hacer?Claro que sı:

movemos cada huesped a la habitacion siguiente,lo que deja una habitacion libre,que sera ocupada por el nuevo huesped.

Repitiendo el proceso, podemos alojar a cualquier cantidad finita denuevos huespedes.

Page 25: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

Infinito mas infinito igual a infinitoImaginemos que el hotel sigue completo pero llega un autobus coninfinitos nuevos huespedes.¿Se pueden alojar? Claro que sı:

hay infinitas habitaciones pares,movemos al huesped de la habitacion n a la habitacion 2n,quedan vacıas las habitaciones impares, que son infinitas,colocamos a los nuevos huespedes en las habitaciones impares.

Se puede hacer lo mismo con cualquier cantidad finita de autobuses.

Page 26: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

¡Mas difıcil todavıa!

El hotel sigue completo y lleganinfinitos autobuses, cada uno coninfinitos nuevos huespedes.¿Se pueden alojar?Pues tambien:

Dejamos libres las infinitashabitaciones impares,solo queda ordenar losinfinitos pasajeros de losinfinitos autobuses,esto es mala idea. . .mejor lo hacemos ası.

Page 27: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

¿Son todos los infinitos iguales?

Hasta ahora hemos visto que “muchos” infinitos sonsorprendentemente iguales.No obstante, Georg Cantor (1845–1918) probo que notodos los infinitos son iguales y sistematizo un algebra delos conjuntos infinitos.Para presentar el ejemplo de Cantor, necesitamos ponernombre a los conjuntos de numeros:

N = {1, 2, 3, 4, . . .} numeros naturales;

Z = {. . . ,−2,−1, 0, 1, 2, . . .} numeros enteros;

Q = {p/q : p ∈ Z, q ∈ N} numeros racionales;

R numeros reales.

El Hotel de Hilbert prueba que N, Z y Q son infinitosequivalentes, se pueden enumerar, poner en una listainfinita.¿Pasara lo mismo con R?

Page 28: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

El ejemplo de Cantor

Cantor demostro que no es posible enumerar R:Consideremos cualquier lista de numeros reales entre 0 y 1:

1 −→ 0, 1 2567894 . . .

2 −→ 0, 8 3 809823 . . .

3 −→ 0, 99 9 90023 . . .

4 −→ 0, 000 1 2785 . . .

. . .

Consideremos un numero en el que cambiamos las cifrasencerradas en los cuadrados (eligiendo dıgitos de 0 a 8):

0, 3870 . . .

¡Este numero no esta en la lista!Por tanto, ninguna lista recoge a todos los numeros realesentre 0 y 1. Luego, R no es equivalente a N.

Page 29: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

La hipotesis del continuo

Despues del trabajo de Cantor, los matematicos han vuelto apasarlo mal: ni el infinito es unico ni estaba domado.Uno de los primeros problemas que se pueden plantear es sientre los dos infinitos que conocemos (el cardinal de N y elcardinal de R) hay algun otro.Cantor conjeturo que no, y esta afirmacion se conoce como

la hipotesis del continuo.Cantor intento, en vano, probarla durante muchos anos.Un problema de apariencia tan sencilla trajo de cabeza a losmatematicos de los siglos XIX y XX.Es el Problema 1.a de los problemas del milenio de Hilbert.La solucion de este problema ha necesitado un cambio radicalen la forma de entender las matematicas.

Page 30: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

La hipotesis del continuo II

La curiosa solucion al problema del continuo sedebe a Kurt Godel y Paul Cohen.Godel probo en 1940 que la hipotesis delcontinuo es consistente con la axiomaticaelemental de la teorıa de conjuntos;Cohen probo en 1963 que la negacion de lahipotesis del continuo es tambien consistentecon la axiomatica elemental de la teorıa deconjuntos.Por tanto, es un ejemplo de indecible, que elpropio Godel habıa demostrado que tenıan queexistir en 1931.La demostracion de Cohen necesita una tecnicalogica inventada por el mismo llamada “forcing”.

Page 31: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

¿Como se miden areas?

4 ¿Como se miden areas?Los griegosNewton y la cuadratura del cırculoLa medida en el siglo XXUna paradojas del siglo XX

Page 32: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

Las cuadraturas en la matematica griega

Los problemas de cuadratura en la matematicagriega consisten en dada una figura geometrica,calcular un cuadrado con el mismo area usandouna serie de procesos elementales.El problema de cuadratura mas famoso es lacuadratura del cırculo.Los griegos sabıan cuadrar triangulos y por tantocualquier polıgono.A partir de aquı, idearon un proceso llamadoexhaucion para poder deducir la cuadratura defiguras que se aproximan por polıgonos.

√π

r=1

Page 33: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

Newton y la cuadratura del cırculo

Isaac Newton (1643–1727) resolvio la cuadratura delcırculo (aunque no en el sentido de la Grecia clasica).Probo el Teorema Fundamental del Calculo, que relacionacalculo de areas con calculo de tangentes.Para cuadrar el cırculo, se calcula el area de la regionABC escribiendo la funcion y como una suma infinita(binomio de Newton).

Se deduce que

π = 3√

34 +24

( 23 · 23 −

15 · 25 −

128 · 27 −

172 · 29 − · · ·

)y con veintidos terminos del desarrollo se obtienendieciseis cifras decimales de π.En 1882, Ferdinand Lindemann (1852–1939) prueba laimposibilidad de la cuadratura del cırculo en el sentido dela Grecia clasica.

Page 34: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

¿Como se mide en la actualidad?

La teorıa actual sobre medicion de areas se debe aHenri Lebesgue (1875 – 1941).En pocas palabras, consiste en recubrir con una cantidadinfinita de rectangulos;sumamos las areas de los rectangulos (suma infinita);nos quedamos con la mejor de las mediciones.

Es un proceso doblemente infinito:cada recubrimiento tiene infinitos rectangulos,hay infinitos recubrimientos, por lo quetomar la mejor medicion requiereun proceso infinito

Page 35: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

¿Podemos medir aproximando por dentro?

Para los “conjuntos razonables”, podemos medir su areacontando los rectangulos que contienen.En pocas palabras, consiste en “medir con un papelmilimetrado” cada vez mas preciso:

marcamos los cuadrados de lado 1contenidos en la figura: 13;marcamos los cuadrados de lado 1/2contenidos en el resto: 21;marcamos los cuadrados de lado 1/4contenidos en el resto: 54;obtenemos una aproximacion del area

Area ' 13 + 21 · 12 + 54 · 1

4 = 37u2.

Podemos seguir el proceso hasta elinfinito. . . obteniendo, en los casos razonables, elarea de la figura.

Page 36: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

La Teorıa de la Medida de Lebesgue

Las ideas de Lebesgue revolucionaron la Matematica.Lo novedoso es la idea de tomar recubrimientos infinitosy es la clave para obtener una teorıa solida.Todo el Analisis Matematico de los siglos XX y XXI sefundamenta en las ideas de Lebesgue.Otros campos cientıficos como la Fısica Cuantica no seentienden sin este lenguaje.

Aunque la Teorıa de la Medida de Lebesgue es completa,no permite medir todos los conjuntos. Esto no podrıaresolverlo ninguna otra forma de medir.

Page 37: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

La paradoja de Banach-Tarski

Banach–Tarski (1924)Una esfera puede ser partida en una cantidad finita de piezas de tal forma queestas pueden ser movidas para ser reagrupadas produciendo dos esferas deidentico tamano, cada una de ellas, a la esfera original.

Las piezas no son deformadas en absoluto.Al reagrupar las piezas no se producen solapamientos ni tampoco se dejanhuecos vacıos.Es imposible que el volumen de todas las piezas pueda ser medido.

Page 38: Miguel Mart´ın (Universidad de Granada)mmartins/material/2012_Infinito_UAM.pdf · 2013-03-26 · Preliminares Los procesos infinitos y sus paradojas ¿Cu´antos infinitos hay?

Preliminares Los procesos infinitos y sus paradojas ¿Cuantos infinitos hay? ¿Como se miden areas? Para saber mas

Para saber mas. . .

Pagina web–blog sobre Matematicas en generalGaussianoshttp://gaussianos.com/

Pagina web sobre historia de las MatematicasThe MacTutor History of Mathematics archivehttp://www-history.mcs.st-and.ac.uk/

Pagina web personal deJavier Perez Gonzalez (Universidad de Granada)http://www.ugr.es/local/fjperez

Pagina web personal deCarlos Ivorra (Universidad de Valencia)http://www.uv.es/ivorra/

Hans EnzensbergerEl diablo de los numerosEdiciones Siruela, 1998