{ "cells": [ { "cell_type": "markdown", "metadata": {}, "source": [ "# Hasta el infinito y más allá" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "*Esta notebook fue creada originalmente como un blog post por [Raúl E. López Briega](http://relopezbriega.com.ar/) en [Matemáticas, análisis de datos y python](http://relopezbriega.github.io). El contenido esta bajo la licencia BSD.*" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "\"Hasta" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "> La línea consta de un número infinito de puntos; el plano, de un número infinito de\n", "líneas; el volumen, de un número infinito de planos; el hipervolumen, de un número\n", "infinito de volúmenes... No, decididamente no es éste... el mejor modo de iniciar mi relato.\n", "\n", "***Jorge Luis Borges - El libro de arena***" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "## Introducción\n", "\n", "El concepto de *[infinito](https://es.wikipedia.org/wiki/Infinito)* ha obsesionado a la mente humana por miles de años. La idea de que las cosas pueden seguir y seguir para siempre, que pueden no tener ni principio ni final, ni centro, ni límites; desafía a la intuición. Científicos, filósofos y teólogos por igual, han tratado de entenderlo, de cortar su tamaño, de averiguar su forma y dimensión; y en última instancia, de decidir si es un concepto bienvenido en nuestras descripciones del Universo que nos rodea.\n", "A pesar de todas las dificultades que puede traer el lidiar con el *[infinito](https://es.wikipedia.org/wiki/Infinito)*, éste sigue siendo un tema fascinante. Se encuentra en el corazón de todo tipo de preguntas fundamentales del hombre. ¿Se puede vivir para siempre? ¿El universo tiene un final? ¿Tuvo un comienzo? ¿Tiene el universo un \"borde\" o simplemente no existen límites a su tamaño? Aunque es fácil pensar en las listas de números o secuencias de 'tics' de un reloj que continúan para siempre, hay otros tipos de *[infinito](https://es.wikipedia.org/wiki/Infinito)* que parecen ser más difíciles de concebir.\n", "\n", "## ¿Qué es el infinito?\n", "\n", "Generalmente existe la tendencia de pensar en el *[infinito](https://es.wikipedia.org/wiki/Infinito)* simplemente como un número muy grande, sólo un poco más grande que el mayor número que se pueda imaginar, siempre fuera de su alcance; pero **el *[infinito](https://es.wikipedia.org/wiki/Infinito)* no es un número**; sino que es un concepto, la idea de ***algo que no tiene fin***. \n", "\n", "## El infinito en la matemáticas\n", "\n", "Si bien el concepto de *[infinito](https://es.wikipedia.org/wiki/Infinito)* parece ser un tema elusivo y complejo, aun así no a escapado a su estudio por parte de las [matemáticas](https://es.wikipedia.org/wiki/Matem%C3%A1ticas). Su estudio ya comenzó en la antigua Grecia, quienes con [teoremas](https://es.wikipedia.org/wiki/Teorema) tales como que la cantidad de [números primos](https://es.wikipedia.org/wiki/N%C3%BAmero_primo) no tiene límites, se enfrentaron ante la perspectiva de lo *[infinito](https://es.wikipedia.org/wiki/Infinito)*. [Aristóteles](https://es.wikipedia.org/wiki/Arist%C3%B3teles) evitó la actualidad del *[infinito](https://es.wikipedia.org/wiki/Infinito)* mediante la definición de una *infinidad potencial*, de forma de permitir que éstos [teoremas](https://es.wikipedia.org/wiki/Teorema) continúen como válidos. Según esta distinción hecha por [Aristóteles](https://es.wikipedia.org/wiki/Arist%C3%B3teles) entre el [infinito actual y el infito potencial](https://es.wikipedia.org/wiki/Infinito_potencial_e_infinito_actual), los [números enteros](https://es.wikipedia.org/wiki/N%C3%BAmero_entero) son potencialmente *[infinitos](https://es.wikipedia.org/wiki/Infinito)* porque siempre puede sumarse uno para conseguir un número mayor, pero el conjunto *[infinito](https://es.wikipedia.org/wiki/Infinito)* de [números enteros](https://es.wikipedia.org/wiki/N%C3%BAmero_entero) como tal, es decir el *[infinito](https://es.wikipedia.org/wiki/Infinito)* actual de números enteros, no existe. Según los griegos el *[infinito](https://es.wikipedia.org/wiki/Infinito)* actual nunca puede existir, sino que solo puede existir el *[infinito](https://es.wikipedia.org/wiki/Infinito)* potencial; como reflejo del pensamiento griego, [Aristóteles](https://es.wikipedia.org/wiki/Arist%C3%B3teles) concluye que el *[infinito](https://es.wikipedia.org/wiki/Infinito)* es imperfecto, inacabado e impensable. Esta definición de un *[infinito](https://es.wikipedia.org/wiki/Infinito)* potencial y no real, funcionó y satisfizo a los matemáticos y filósofos por casi dos milenios.\n", "\n", "### Notación del infinito\n", "\n", "El símbolo $\\infty $ que representa al *[infinito](https://es.wikipedia.org/wiki/Infinito)* se lo debemos al matemático ingles [John Wallis](https://es.wikipedia.org/wiki/John_Wallis), quien fue un precursor del [cálculo infinitesimal](https://es.wikipedia.org/wiki/Infinitesimal) e introdujo la notación $\\infty$, que representa una curva sin fin, en el siglo diecisiete.\n", "\n", "### En camino hacia un mejor entendimiento del infinito\n", "\n", "A medida que se continuaba explorando el concepto del *[infinito](https://es.wikipedia.org/wiki/Infinito)*, nuevas [paradojas](https://es.wikipedia.org/wiki/Paradoja) continuaban apareciendo. En la edad media se entendía que un círculo más grande debería contener más puntos que un círculo más pequeño, sin embargo se puede encontrar una correspondencia de *uno a uno* entre los puntos de ambos círculos, como lo demuestra la siguiente figura:\n", "\n", "\"Paradoja\n", "\n", "En 1600, [Galileo](https://es.wikipedia.org/wiki/Galileo_Galilei) entendió que el problema era el estar utilizando un razonamiento finito sobre cosas infinitas. Postuló que \"Es un error hablar de cantidades infinitas como siendo la mayor o menor o igual que a la otra\" y afirmó que el *[infinito](https://es.wikipedia.org/wiki/Infinito)* no es un noción inconsistente, sino que obedece a reglas diferentes.\n", "\n", "Otro de los temas que confundían a los matemáticos, era el comportamiento de las series infinitas, sobre todo aquellas que no eran [convergentes](https://es.wikipedia.org/wiki/Serie_convergente). Recordemos que una serie es [convergente](https://es.wikipedia.org/wiki/Serie_convergente) cuando la suma de sus términos da como resultado un número finito; en caso contrario, se dice que la serie es [divergente](https://es.wikipedia.org/wiki/Serie_divergente). Así por ejemplo la [serie geométrica](https://es.wikipedia.org/wiki/Serie_geom%C3%A9trica), sabemos que converge en 1, y se puede demostrar geométricamente:\n", "\n", "$$\\sum\\limits_{i=1}^\\infty\\frac{1}{2^n} = \\frac{1}{2} + \\frac{1}{4} + \\frac{1}{8} + \\frac{1}{16} + \\dots = 1$$\n", "\n", "\"demostracion\n", "\n", "Pero en cambio el resultado de la siguiente serie no se puede determinar:\n", "\n", "$$ S = 1 - 1 + 1 - 1 + 1 - 1 + 1 - 1 + 1 \\dots $$\n", "\n", "Si por ejemplo agrupamos los términos de la siguiente forma, el resultado parece ser *obviamente* cero.\n", "\n", "$$ S = (1 - 1) + (1 - 1) + (1 - 1) + (1 - 1) \\dots $$\n", "\n", "Pero si los agrupamos de esta otra forma, el resultado parece ser ahora *claramente* uno.\n", "\n", "$$ S = 1 + (- 1 + 1) + (- 1 + 1) + (- 1 + 1) + (- 1 + 1) \\dots $$\n", "\n", "y no termina acá, ya que incluso podríamos agrupar la serie del siguiente modo y el resultado sería $\\frac{1}{2}$.\n", "\n", "$$ S = 1 - ( 1 - 1 + 1 - 1 + 1 - 1 + 1 - \\dots) \\Rightarrow S = 1 - S \\Rightarrow 2S = 1 \\Rightarrow S = \\frac{1}{2} $$\n", "\n", "es decir que el valor de la serie S, podría ser tanto 1, como 0, como $\\frac{1}{2}$.No es sorprendente que argumentos como éste, hacían que los matemáticos se pusieran muy nerviosos al tratar con los *[infinitos](https://es.wikipedia.org/wiki/Infinito)* y quisieran evitarlos o incluso eliminarlos a toda costa.\n", "\n", "Fuera de toda esta ambigüedad y confusión, la claridad surgió repentinamente en el siglo XIX, debido a los esfuerzos en solitario de un hombre brillante. [Georg Cantor](https://es.wikipedia.org/wiki/Georg_Cantor) produjo una teoría que respondió a todas las objeciones de sus predecesores y reveló la riqueza inesperada escondida en el ámbito de lo *[infinito](https://es.wikipedia.org/wiki/Infinito)*. De repente, los [infinitos actuales](https://es.wikipedia.org/wiki/Infinito_potencial_e_infinito_actual) se convirtieron en parte de las [matemáticas](https://es.wikipedia.org/wiki/Matem%C3%A1ticas).\n", "\n", "## Cantor y la teoría de conjuntos para explicar el infinito\n", "\n", "[Georg Cantor](https://es.wikipedia.org/wiki/Georg_Cantor), aplicando ideas sumamente originales, postuló la [teoría de conjuntos](https://es.wikipedia.org/wiki/Teor%C3%ADa_de_conjuntos) y utilizando el concepto de la [cardinalidad](https://es.wikipedia.org/wiki/Conjunto#Cardinalidad) de los [conjuntos](https://es.wikipedia.org/wiki/Conjunto), se propuso explicar el concepto de *[infinito](https://es.wikipedia.org/wiki/Infinito)*.\n", "\n", "Segun la teoría de [Cantor](https://es.wikipedia.org/wiki/Georg_Cantor), dos [conjuntos](https://es.wikipedia.org/wiki/Conjunto) se dicen que tienen el mismo número de elementos, es decir, que tienen la misma [cardinalidad](https://es.wikipedia.org/wiki/Conjunto#Cardinalidad), si existe una función definida entre ellos de forma tal que a cada elemento le corresponde sólo otro elemento del otro [conjunto](https://es.wikipedia.org/wiki/Conjunto), y viceversa; o sea, que exista una correspondencia de uno a uno entre los elementos de ambos [conjuntos](https://es.wikipedia.org/wiki/Conjunto). A partir de esta definición se puede establecer la idea de [conjunto infinito](https://es.wikipedia.org/wiki/Conjunto_infinito). Se dice que un conjunto es *[infinito](https://es.wikipedia.org/wiki/Infinito)* si existe un subconjunto con la misma [cardinalidad](https://es.wikipedia.org/wiki/Conjunto#Cardinalidad) que él. Esta definición plantea una contradicción con la intuición, pues todo subconjunto como parte del conjunto total parece que deba tener menos elementos. Eso es así, efectivamente, en los [conjuntos finitos](https://es.wikipedia.org/wiki/Conjunto_finito), pero no en los *[infinitos](https://es.wikipedia.org/wiki/Infinito)*.\n", "\n", "### ¿Distintos tipos de infinitos? Infinitos numerables y no numerables\n", "\n", "Otro de los grandes aportes de [Cantor](https://es.wikipedia.org/wiki/Georg_Cantor), fue la distinción entre los *[infinitos](https://es.wikipedia.org/wiki/Infinito)* [numerables](https://es.wikipedia.org/wiki/Conjunto_numerable) y [no numerables](https://es.wikipedia.org/wiki/Conjunto_no_numerable).\n", "[Cantor](https://es.wikipedia.org/wiki/Georg_Cantor) definió a los *[infinitos](https://es.wikipedia.org/wiki/Infinito)* [numerables](https://es.wikipedia.org/wiki/Conjunto_numerable) como aquellos en los que se puede encontrar una correspondencia uno-a-uno con la lista de [números naturales](https://es.wikipedia.org/wiki/N%C3%BAmero_natural) 1, 2, 3, 4, 5, 6,. . . Así, por ejemplo, los números pares son un *[infinito](https://es.wikipedia.org/wiki/Infinito)* [numerable](https://es.wikipedia.org/wiki/Conjunto_numerable), también lo son todos los números impares y ambos tienen el mismo tamaño. Por ejemplo, la correspondencia entre los primeros números impares sería la siguiente:\n", "\n", "$$ \n", "1 \\longrightarrow 3 \\\\\n", "2 \\longrightarrow 5 \\\\\n", "3 \\longrightarrow 7 \\\\\n", "4 \\longrightarrow 9 \\\\\n", "5 \\longrightarrow 11 \\\\\n", "6 \\longrightarrow 13 \\\\\n", "7 \\longrightarrow 15 \\\\\n", "8 \\longrightarrow 17 \\\\\n", "9 \\longrightarrow 19 \\\\\n", "10 \\longrightarrow \\dots \\\\\n", "$$\n", "\n", "Por lo tanto, todos los [conjuntos infinitos numerables](https://es.wikipedia.org/wiki/Conjunto_numerable) tienen el mismo \"tamaño\" o [cardinalidad](https://es.wikipedia.org/wiki/Conjunto#Cardinalidad) en el sentido de [Cantor](https://es.wikipedia.org/wiki/Georg_Cantor). El también pensaba que éstos eran los *[infinitos](https://es.wikipedia.org/wiki/Infinito)* más pequeños que pudieran existir y por lo tanto los representó utilizando la primera letra del alfabeto hebreo, el símbolo [Aleph-cero](https://es.wikipedia.org/wiki/Alef_cero), $\\aleph_{0}$. Un punto importante a tener en cuenta, es que esta definición excluye cualquier [conjunto finito](https://es.wikipedia.org/wiki/Conjunto_finito) de objetos, ya que un [conjunto finito](https://es.wikipedia.org/wiki/Conjunto_finito) sólo puede ponerse en correspondencia uno-a-uno con otro [conjunto](https://es.wikipedia.org/wiki/Conjunto) que contenga el mismo número de miembros.\n", "Este análisis llevó a algunas conclusiones sorprendentes. [Cantor](https://es.wikipedia.org/wiki/Georg_Cantor) mostró que los [números racionales](https://es.wikipedia.org/wiki/N%C3%BAmero_racional), los cuales se forman al dividir un [número entero](https://es.wikipedia.org/wiki/Numeros_enteros) por otro (por ejemplo $\\frac{1}{2}$, o $\\frac{13}{2}$) son también un [conjunto infinito numerable](https://es.wikipedia.org/wiki/Conjunto_numerable). El truco fue encontrar un sistema para poder contarlos sin perderse ninguno. Él utilizó el famoso proceso ahora conocido como la [diagonal de Cantor](https://es.wikipedia.org/wiki/Argumento_de_la_diagonal_de_Cantor) para hacer esto. Fue contando cada uno de ellos de acuerdo al siguiente ordenamiento:\n", "\n", "\"Diagonal\n", "\n", "[Cantor](https://es.wikipedia.org/wiki/Georg_Cantor) también pudo demostrar con un nuevo tipo de argumento matemático que existen *[infinitos](https://es.wikipedia.org/wiki/Infinito)* más grandes y que no se pueden contar. Esto son los que hoy en día se conocen como [infinitos no numerables](https://es.wikipedia.org/wiki/Conjunto_no_numerable). Dentro de esta categoría podemos encontrar al conjunto de los [números reales](https://es.wikipedia.org/wiki/N%C3%BAmeros_reales), los cuales incluyen a los [números irracionales](https://es.wikipedia.org/wiki/N%C3%BAmero_irracional), quienes no se pueden escribir como [fracciones](https://es.wikipedia.org/wiki/Fracci%C3%B3n) y tienen una expansión infinita de sus parte decimal.\n", "\n", "Para demostrar que los [números reales](https://es.wikipedia.org/wiki/N%C3%BAmeros_reales) son un [infinito no numerable](https://es.wikipedia.org/wiki/Conjunto_no_numerable), [Cantor](https://es.wikipedia.org/wiki/Georg_Cantor) comenzó por suponer que se podían contar, lo que significaba que debería ser capaz de elaborar una receta sistemática para contar todos los decimales interminables que no terminaran en una cadena infinita de ceros. Los primeros de estos números podrían parecerse a éstos:\n", "\n", "$$\n", "1 \\longrightarrow 0.\\underline{2}34567891\\dots \\\\\n", "2 \\longrightarrow 0.5\\underline{7}5603737\\dots \\\\\n", "3 \\longrightarrow 0.46\\underline{3}214516\\dots \\\\\n", "4 \\longrightarrow 0.846\\underline{2}16388\\dots \\\\\n", "5 \\longrightarrow 0.5621\\underline{9}4632\\dots \\\\\n", "6 \\longrightarrow 0.46673\\underline{2}271\\dots \\\\\n", " \\dots\n", "$$\n", "\n", "Luego creó un nuevo decimal tomando el primer dígito después del punto decimal del primer número, el segundo dígito del segundo número, y así sucesivamente para siempre(como por ejemplo los dígitos subrayados en la serie de arriba). Siguiendo el ejemplo, el nuevo decimal comenzaría como sigue:\n", "\n", "$0.273292\\dots$\n", "\n", "Por último a este decimal recién creado, le sumó 1 a cada uno de sus infinitos dígitos. Obteniendo el número\n", "\n", "$0.384303\\dots$\n", "\n", "El problema es que este número que acabó creando no puede aparecer en la lista ordenada original de todos los decimales que había asumido debía existir. Deberá ser distinto a cada número de la lista por lo menos en uno de sus dígitos, ya que fue construido expresamente de ese modo. Por lo tanto, los [números reales](https://es.wikipedia.org/wiki/N%C3%BAmeros_reales) (a veces llamados los números decimales o el continuo de números) no se pueden contar y son un [infinito no numerable](https://es.wikipedia.org/wiki/Conjunto_no_numerable). Así mismo, también deben ser más grande que los [números naturales](https://es.wikipedia.org/wiki/N%C3%BAmero_natural) o los [números racionales](https://es.wikipedia.org/wiki/N%C3%BAmero_racional). [Cantor](https://es.wikipedia.org/wiki/Georg_Cantor) representó a este nuevo tipo de *[infinito](https://es.wikipedia.org/wiki/Infinito)* con el símbolo $\\aleph_{1}$; ya que creía que no debía existir otro tipo de *[infinito](https://es.wikipedia.org/wiki/Infinito)* que fuera mayor que el de los [números naturales](https://es.wikipedia.org/wiki/N%C3%BAmero_natural) y menor que el de los [números reales](https://es.wikipedia.org/wiki/N%C3%BAmeros_reales), aunque nunca fue capaz de demostrarlo. Esta es lo que se conoce como la [hipótisis del continuo](https://es.wikipedia.org/wiki/Hip%C3%B3tesis_del_continuo).\n", "\n", "Este descubrimiento de [Cantor](https://es.wikipedia.org/wiki/Georg_Cantor), que existen *[infinitos](https://es.wikipedia.org/wiki/Infinito)* de diferentes tamaños y se pueden distinguir de una manera completamente inequívoca, fue uno de los grandes descubrimientos de las [matemáticas](https://es.wikipedia.org/wiki/Matem%C3%A1ticas). También estaba completamente en contra de la opinión dominante de la época.\n", "\n", "### Una jerarquía de infinitos\n", "\n", "Además de todos los grandes aportes que [Cantor](https://es.wikipedia.org/wiki/Georg_Cantor) realizó a la comprensión del *[infinito](https://es.wikipedia.org/wiki/Infinito)*, su descubrimiento más espectacular fue que los *[infinitos](https://es.wikipedia.org/wiki/Infinito)* no sólo son incontables, sino que son insuperables!. Descubrió que debe existir una jerarquía ascendente interminable de *[infinitos](https://es.wikipedia.org/wiki/Infinito)*. No hay uno más grande que todos que pueda contener a todos ellos. No hay un universo de universos que podemos anotar y capturar.\n", "[Cantor](https://es.wikipedia.org/wiki/Georg_Cantor) fue capaz de demostrar que existe una jerarquía ascendente de *[infinitos](https://es.wikipedia.org/wiki/Infinito)* sin fin, una jerarquía infinita de *[infinitos](https://es.wikipedia.org/wiki/Infinito)*!. Para demostrar este punto, utilizó el concepto de [conjunto potencia](https://es.wikipedia.org/wiki/Conjunto_potencia). \n", "\n", "Recordemos que un [conjunto potencia](https://es.wikipedia.org/wiki/Conjunto_potencia) de un [conjunto](https://es.wikipedia.org/wiki/Conjunto) A, expresado por $P_{A}$, es el [conjunto](https://es.wikipedia.org/wiki/Conjunto) formado por todos los distintos [subconjuntos](https://es.wikipedia.org/wiki/Subconjunto) de A. Así por ejemplo el [conjunto potencia](https://es.wikipedia.org/wiki/Conjunto_potencia) del [conjunto](https://es.wikipedia.org/wiki/Conjunto) $A=\\{1,2,3\\}$; va a ser igual a $P_{A}=\\{\\emptyset,\\{1\\},\\{2\\},\\{3\\},\\{1,2\\},\\{2,3\\}, \\{1,3\\},\\{1,2,3\\}\\}$.\n", "Un teorema importante de la [teoría de conjuntos](https://es.wikipedia.org/wiki/Teor%C3%ADa_de_conjuntos) establece que si A es un [conjunto](https://es.wikipedia.org/wiki/Conjunto) con k elementos, es decir que n(A) = k; entonces el [conjunto potencia](https://es.wikipedia.org/wiki/Conjunto_potencia) de A tiene exactamente $2^k$ elementos. En nuestro ejemplo anterior podemos ver que n(A)=3, por lo tanto $n(P_{A}) = 2^3$, lo que es igual a los 8 elementos que vimos que tiene el [conjunto potencia](https://es.wikipedia.org/wiki/Conjunto_potencia) de A.\n", "\n", "Entonces, si se toma cualquier [conjunto infinito](https://es.wikipedia.org/wiki/Conjunto_infinito), siempre es posible generar una que es infinitamente más grande considerando a su [conjunto potencia](https://es.wikipedia.org/wiki/Conjunto_potencia), es decir, el conjunto que contiene todos sus subconjuntos. \n", "Así, de un [conjunto infinito](https://es.wikipedia.org/wiki/Conjunto_infinito) como $\\aleph_{0}$ podemos crear un conjunto infinitamente más grande mediante la formación de su conjunto potencia, $P_{\\aleph_{0}}$. Luego podemos hacer lo mismo otra vez, formando el conjunto potencia de $P_{\\aleph_{0}}$, el cual será infinitamente más grande que $P_{\\aleph_{0}}$. Y así sucesivamente, sin fin.\n", "De esta forma las [matemáticas](https://es.wikipedia.org/wiki/Matem%C3%A1ticas) crean una jerarquía sin fin de *[infinitos](https://es.wikipedia.org/wiki/Infinito)* ascendentes . El *[infinito](https://es.wikipedia.org/wiki/Infinito)* nunca puede ser capturado por las fórmulas. También muestra que el número de posibles verdades es *[infinito](https://es.wikipedia.org/wiki/Infinito)*.\n", "\n", "\n", "## Hotel infinito\n", "\n", "Una de las imágenes que se suele utilizar para ilustrar el concepto de *[infinito](https://es.wikipedia.org/wiki/Infinito)* es el relato del [hotel infinito](https://es.wikipedia.org/wiki/El_hotel_infinito_de_Hilbert) ideado por el gran matemático [David Hilber](https://es.wikipedia.org/wiki/David_Hilbert), el cual explica de manera simple e intuitiva, las paradojas relacionadas con el concepto del *[infinito](https://es.wikipedia.org/wiki/Infinito)*.\n", "\n", "El [hotel infinito](https://es.wikipedia.org/wiki/El_hotel_infinito_de_Hilbert) es un hotel como cualquier otro, con la única excepción de que cuenta con un número *[infinito](https://es.wikipedia.org/wiki/Infinito)* de habitaciones!\n", "\n", "Tan pronto se abrieron las puertas de este hotel la gente comenzó a abarrotarlo y pronto se encontraron con que el hotel de habitaciones infinitas se encontraba lleno de infinitos huéspedes. En ese momento surgió la primera [paradoja](https://es.wikipedia.org/wiki/Paradoja), así que se tomó como medida que los huéspedes siempre tendrían habitación asegurada pero con el acuerdo previo de que tendrían que cambiar de habitación cada vez que se les pidiera.\n", "Fue entonces cuando llegó un nuevo huesped al hotel que ya se encontraba lleno. El hombre pidió su habitación y el recepcionista, consciente de que no habría ningún problema, tomó un micrófono por el que avisó a todos los huéspedes que por favor revisaran el número de su habitación, le sumaran uno y se cambiaran a ese número de habitación, de esta manera el nuevo huésped pudo dormir tranquilamente en la habitación número 1. Pero, ¿qué pasó entonces con el huésped que se encontraba en la última habitación? Sencillamente no hay última habitación ya que $\\infty + 1$ sigue siendo $\\infty$.\n", "\n", "La segunda [paradoja](https://es.wikipedia.org/wiki/Paradoja) surgió cuando llegó un representante de una agencia de viajes solicitando hospedar a un infinito número de turistas en el hotel de infinitas habitaciones, las cuales ya estaban todas ellas ocupadas. Pero el recepcionista nuevamente no tuvo ningún problema, tomó el micrófono y pidió a todos los huéspedes que se mudaran a la habitación correspondiente al resultado de multiplicar por 2 el número de su habitación actual. De esa forma todos los huéspedes se mudaron a una habitación par, y todas las habitaciones impares quedaron libres. Como hay infinitos números impares, los infinitos turistas pudieron alojarse sin más problemas.\n", "\n", "La tercer [paradoja](https://es.wikipedia.org/wiki/Paradoja) se presentó cuando llegó otro representante de la agencia de viajes aún más preocupado que el primero y avisó que ahora la agencia tenía un infinito número de excursiones con un infinito número de turistas cada una. ¿cómo podrían hospedar a un número infinito de infinitos turistas en un hotel que ya se encontraba lleno?\n", "El recepcionista permaneció inmutable, tomó tranquilamente el micrófono y se comunicó solamente con las habitaciones cuyo número fuera [primo](https://es.wikipedia.org/wiki/N%C3%BAmero_primo) o alguna potencia de éstos ($p^n$), les pidió que elevaran el número 2 al número de la habitación en la que se encontraban ($2^{p^n}$) y se cambiaran a esa habitación.\n", "Entonces asignó a cada una de las excursiones un [número primo](https://es.wikipedia.org/wiki/N%C3%BAmero_primo) (distinto de 2), a cada uno de los turistas de cada una de las excursiones un número impar (t), de manera que la habitación de cada uno de los turistas, se calculaba tomando el [número primo](https://es.wikipedia.org/wiki/N%C3%BAmero_primo) de su excursión (p) y elevandolo al número que les tocó dentro de su excursión (t) lo que da $p^t$.\n", "Existiendo un número infinito de números primos y un número infinito de números impares, fácilmente se logró hospedar a un número infinito de infinitos huéspedes dentro del [hotel infinito](https://es.wikipedia.org/wiki/El_hotel_infinito_de_Hilbert).\n", "\n", "## Las paradojas de Zenón y el concepto de límite\n", "\n", "Como venimos viendo, el concepto de *[infinito](https://es.wikipedia.org/wiki/Infinito)* esta repleto de [paradojas](https://es.wikipedia.org/wiki/Paradoja); y algunas de las más famosas de ellas son también de las más antiguas. Se las debemos a [Zenón de Elea](https://es.wikipedia.org/wiki/Zen%C3%B3n_de_Elea), quien fue discípulo del filósofo [Parménides](https://es.wikipedia.org/wiki/Parm%C3%A9nides_de_Elea) y por lo tanto sostenía, al igual que su maestro, que el universo era intemporal e inmutable y que por lo tanto el movimiento era solo una ilusión.\n", "Para sostener su tesis, [Zenón de Elea](https://es.wikipedia.org/wiki/Zen%C3%B3n_de_Elea) propuso una serie de argumentos que hoy en día se conocen como las [paradojas de Zenón](https://es.wikipedia.org/wiki/Paradojas_de_Zen%C3%B3n).\n", "\n", "La primera [paradoja](https://es.wikipedia.org/wiki/Paradoja) pretende demostrar que el movimiento es imposible, porque si quisiéramos caminar de un punto a otro, primero deberíamos cruzar la mitad de la distancia, luego la mitad de la distancia restante, luego la mitad del resto, y así sucesivamente. O sea, que si los dos puntos están a un kilómetro de distancia, en primer lugar debemos llegar a $\\frac{1}{2}$ km desde su inicio, a continuación, $\\frac{3}{4}$ km desde su inicio, luego a $\\frac{7}{8}$ km y así sucesivamente. Según el argumento de [Zenón](https://es.wikipedia.org/wiki/Zen%C3%B3n_de_Elea) sólo se podría llegar si se toma un número infinito de pasos; y como los griegos rechazaban el *[infinito](https://es.wikipedia.org/wiki/Infinito)*, por lo tanto deberíamos rechazar el movimiento también y concluir que este no es posible.\n", "\n", "\"Paradoja\n", "\n", "En su segunda [paradoja](https://es.wikipedia.org/wiki/Paradoja), [Zenón](https://es.wikipedia.org/wiki/Zen%C3%B3n_de_Elea) crea el escenario de una carrera entre el famoso atleta Aquiles y un rival mucho más lento, una tortuga. Aquiles comienza en la posición 0, mientras que la tortuga, que sólo puede correr a la mitad de la velocidad de Aquiles, tiene una ventaja inicial de un kilómetro. Ambos comienzan a correr al mismo tiempo. De acuerdo al planteamiento de este escenario, podríamos pensar que Aquiles, al correr el doble de rápido que la tortuga, la superaría en la marca de 2 kilómetros. Sin embargo, cuando Aquiles llega a la marca de 1 km, la tortuga ya ha avanzado a $1 + \\frac{1}{2}$ km; cuando Aquiles llega al punto $1\\frac{1}{2}$ km, la tortuga ha alcanzado $1 + \\frac{1}{2} + \\frac{1}{4}$ km; y así sucesivamente. Cuando, después de N pasos, Aquiles alcanza una distancia de $2 - \\frac{1}{2}^{N-1}$ desde el punto inicial, la tortuga se encuentra todavía en la delantera, ya que está a una distancia de $2 - \\frac{1}{2}^{N+1}$. No importa lo grande que sea N (el número de divisiones del viaje), Aquiles nunca se adelanta a la tortuga!\n", "\n", "### Resolviendo las paradojas\n", "\n", "Para poder resolver estas paradojas, debemos recurrir al [cálculo infinitesimal](https://es.wikipedia.org/wiki/C%C3%A1lculo_infinitesimal), y más particularmente al concepto de [límite](https://es.wikipedia.org/wiki/L%C3%ADmite_matem%C3%A1tico). El [límite](https://es.wikipedia.org/wiki/L%C3%ADmite_matem%C3%A1tico) de una sucesión es la noción intuitiva de que la sucesión se aproxima arbitrariamente a un único punto o valor. Es decir, que la sucesión va a [converger](https://es.wikipedia.org/wiki/Serie_convergente) en un valor determinado.\n", "En el caso de las dos [paradojas de Zenón](https://es.wikipedia.org/wiki/Paradojas_de_Zen%C3%B3n), nos encontramos ante [series geométricas](https://es.wikipedia.org/wiki/Serie_geom%C3%A9trica), las cuales ya vimos que tienen un [límite](https://es.wikipedia.org/wiki/L%C3%ADmite_matem%C3%A1tico) y [convergen](https://es.wikipedia.org/wiki/Serie_convergente) en un valor finito.\n", "Por tanto se puede demostrar que Aquiles realmente alcanzará a la tortuga. Los tiempos en los que Aquiles recorre la distancia que lo separa del punto anterior en el que se encontraba la tortuga son cada vez más y más pequeños (hasta el infinito más pequeños), y su suma da un resultado finito, que es el momento en que alcanzará a la tortuga.\n", "\n", "## Límites al infinito\n", "\n", "Como pudimos ver a lo largo de todo el artículo, el *[infinito](https://es.wikipedia.org/wiki/Infinito)* es un concepto muy especial. Sabemos que no podemos llegar a el, pero todavía podemos tratar de averiguar el valor de las funciones o sucesiones que tratan con el *[infinito](https://es.wikipedia.org/wiki/Infinito)*.\n", "Por ejemplo, si quisiéramos saber cual es el resultado de $\\frac{1}{\\infty}$, deberíamos responder que no existe solución, ya que el *[infinito](https://es.wikipedia.org/wiki/Infinito)* no es un número, y por lo tanto no podríamos determinar el resultado de esa operación. \n", "Sin embargo, a pesar de que no podemos trabajar con el *[infinito](https://es.wikipedia.org/wiki/Infinito)* en sí mismo, podemos aproximarnos bastante a el y ver que sucede a medida que vamos dividiendo a uno por valores cada vez más grandes. Por ejemplo, si reemplazamos al $\\infty$, por $x$, tendríamos una ecuación a la que podríamos ir aplicando valores cada vez más grandes de $x$ y ver a que resultado llegamos.\n", "Ayudándonos de nuestro buen amigo [Python](http://python.org/) podríamos ver los resultados fácilmente y comprobar que a medida que $x$ se hace cada vez más grande, el valor de la función $\\frac{1}{x}$ se aproxima cada vez más a cero." ] }, { "cell_type": "code", "execution_count": 1, "metadata": { "collapsed": false, "hide_input": true }, "outputs": [ { "data": { "text/html": [ "
\n", "\n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", "
x1/x
011.000000
120.500000
240.250000
3100.100000
41000.010000
510000.001000
6100000.000100
71000000.000010
810000000.000001
\n", "
" ], "text/plain": [ " x 1/x\n", "0 1 1.000000\n", "1 2 0.500000\n", "2 4 0.250000\n", "3 10 0.100000\n", "4 100 0.010000\n", "5 1000 0.001000\n", "6 10000 0.000100\n", "7 100000 0.000010\n", "8 1000000 0.000001" ] }, "execution_count": 1, "metadata": {}, "output_type": "execute_result" } ], "source": [ "# \n", "%matplotlib inline\n", "\n", "import matplotlib.pyplot as plt\n", "import numpy as np\n", "import pandas as pd\n", "\n", "def f(x):\n", " return x**-1.0 # 1/x == x**-1\n", "\n", "x = np.array([1, 2, 4, 10, 100, 1000, 10000, 100000, 1000000 ])\n", "y = f(x)\n", "\n", "# Construyendo tabla de valores x e y con pandas\n", "tabla = pd.DataFrame(x, columns=['x'])\n", "tabla['1/x'] = y\n", "tabla" ] }, { "cell_type": "code", "execution_count": 2, "metadata": { "collapsed": false, "hide_input": true }, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAgcAAAGNCAYAAACFYtIYAAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAALEgAACxIB0t1+/AAAIABJREFUeJzt3XuYZHV97/v3hxnuFzFeQIYRUNGAeMFERE10oibBiYJb\nT9RJjJedEz1JUDRubyc5Cdk+zz4mOTxbDVuDBo3GCzHq9rI3idsbe8etghdALoMyieAwCCiC3ARm\nmO/5Y62Bqpqu6uru6l7dXe/X86ynq9b6rbW+taq761O/dUtVIUmStMseXRcgSZKWF8OBJEnqYziQ\nJEl9DAeSJKmP4UCSJPUxHEiSpD6GA0mS1MdwIEmS+hgOJK0qSe6X5PlJ3tJ1LdJKZTiQtJskj0py\nUZJbkrw6yaVJnrbENfxdkrfOdb6q+inwLWCvyVclTQfDgbQKJHlxkvOT3Jbk+iRfT/L7C1jkG4Ev\nVtVBVfXXVXVcVf2vSdU7pmoHSUvMcCCtcEleD7wd+AvgkKo6BPi/gKcm2e3bc5K1Yyz2CODyiRY6\nP+m6AGkaGQ6kFSzJ/YA/B36/qj5ZVbcDVNVFVfWSqrq7bXdVkjcm+Q5wa5I1Sd6cZEu76+CyJM9r\n234J2ACc2U47up3/mT3rXZ/kk0luSPLjJH/djp9xmT3zXZXk9UkuTnJzknOS7N1OOz7Jt9t5zwH2\nGZj3mCTnJbmp3c3x3FGbZmFbVppuhgNpZXsysDfw6THavhh4NnBwVd0DbAF+qaoOogkYH0pySFU9\nA/gX4A/b3QpX0tPFn2QN8N+A79P0MKwDPtquY6ZlHtpTQwG/Cfw6cBTwWODlbQ/Hp4APAPcH/hF4\nQc869wQ+C/wz8CDg1cCHkzxy8EUmOaCd9xeSHDfGdpE0wHAgrWwPBH5cVTt3jUjy1fbb9R1Jfqkd\nXcA7q2pbVd0FUFUfr6rr2scfA64ETuhZ9rBv3ycADwHeUFU/q6q7quqrYy6Tto7rquommg/8xwMn\nAmur6h1VdU9VfQL4Rs88JwL7V9XbqmpHVX2ZJqBsGiyuqm6rqjOq6uSqunTk1pM0I8OBtLLdCDww\nyb1/y1X1lKq6fzut9298a++MSV6a5MI2SNwEHEcTNu5d1JB1rgeu7g0ksyzzAQPNrut5fAdwAE3Y\n2DbQ7uqex4cN1t9OXzekRkkLYDiQVravAXcBz5utIT0f9kmOAN4D/CHwc22YuJTx9tVvBR7a7l64\n1wKX+UN2/6A/oufxtcD6JBmYfs3ggpLsHDLcM0YdkjAcSCtaVd1Ms2//XUlekOTAJHskeTyw/4hZ\n96cJCz8G9kjyCppv+b2GfaifT/Nh/rYk+yXZJ8lTgP3GWOagXev4GrAjyWuS7Jnk+cATB9Z5B/DG\ndvoG4DnAOTMscx3wq8DbgNcCv1ZVe1TVmhnaSpqB4UBa4arqr4A/ork2wXXt8Dft868Omedy4Aya\nD+XraD7EvzLYbMi8O4HnAo8AfkDTk/DCqto8xjJ3W1yzyNoOPB94Oc3ukBcCn+hZ593tOp8N/Ag4\nE/idqvreDMtMVX2RZnfGWcCXZ6lB0oBUeY0RSatHkoOAfYFTgb8CqKpbOi1KWmE66zlIclKSK5Jc\nmeRNM0z/+SRfS3Jne5GXXePXJ/lyew71pUles7SVS1rm/oTmOg23A88wGEhz10nPQXsg03eBZ9Ec\nofwNYFPbLbmrzYNoDjh6HnBTVZ3Rjj8UOLSqLmrPZ/4W8LzeeSVJ0vx11XNwArClqq5q9zWeA5zS\n26CqflRV3wS2D4y/rqouah/fBmymOc1JkiRNQFfhYB395yxfwzzOV05yJHA8zZHMkiRpAroKBwve\nl9HuUvg4cFrbgyBJkiZgnLuzLYZtNFdZ22U9M1zMZJj2OuufAD5UVZ8a0sbTMCRJU6WqJnLTsa7C\nwTeBo9vdAtcCL2KGa6S3+l5oe4W0s4HLq+rto1ZSVUm4P/D9Kg5eaNHql+T0qjq96zpWM7fx0nA7\nLz638eKb5JfiTsJBVe1IcirwOWANcHZVbU7yqnb6We1ZCd8ADgJ2JjkNOJbmJi0vAb6T5MJ2kW+p\nqn8esrp72nVIkqQxdNVzQFX9E/BPA+PO6nl8Hf27Hnb5CnM7VsJwIEnSHEzD5ZPvYTpeZxfO67qA\nKXBe1wVMifO6LmAKnNd1ARrfqr18cpJqjznYC7i9ij27rkmSpMWy63NvEsvqbLfCEnK3gpY9z66R\nNBeTCgHDTEM42AkkIVULv76CtFgW+49d0uqwFF8mVv2++DYQ7MTeA0mSxrLqw0HLgxIlSRrTtHxg\n2nMgSdKYpiUceFCiJEljMhxIkqQ+0xQOpuW1ShOX5H5Jnp/kLV3XImnxTcsHpsccSAtQVT8FvgXs\nNdd5k1ya5GmTrwqS/F2Sty7GsnWfwe086j31PVkdpuE6B+BuBWnJJLkK+PdV9SWAqjpuEVdX7aDF\n1bedZ3lPfU9WgWnpOTAcSEunGLjV+iJbERePSrLSv4zNZTuviPdkklbB+9vHcCBpXLP+w0/y98BD\ngc8muTXJG5JcleSZPW0OS/KJJDck+bckr+6ZdlWS1ye5OMnNSc5JsnfP9OOTfDvJLUnOAfYZZ7kz\n1PnmJFva5VyW5HmzvK71ST7ZLvvHSf56nHW2r+eNSb4D3JpkjyTHJDkvyU1t9/xzJ1Fnu67/kOQ7\n7bY/O8khSf4pyU+TfD7JweNsr1HbuWddz5it7Ty2c9+y2uGt7bSdSR7W03ZwV8dY73+Shye5Mcnx\nPfP9aMRukhnf+57tMPj+jtquo5Y19u/vkqiqVTk0L23X47oa6oiua3JwGDb0/r4uxwE4AHg98Bng\nuFnafh94xkzPab6QfAv4E5rdmkcB/wr8Wjv9KuDrwKHA/YHLgVe10/YCrgZOown7LwDuBv4jTXAZ\nutwZavw/gEPbxy8Ebtv1fIa2a4CLgTOAfYG9gaeMs8729XwbWNfOtyewBXhzO8+vALcAj5xAnd8H\nvgo8CDgMuL5d9+PadX8R+NPZ3odR23nwPZ2t7Rzrn21ZO4GH9bR/f8+0kb9XM6zr/wQua9/PzwF/\nOYf3/qkj3t9R23XosuZR/4z/L4aNn9fffNf/dBZroD8cfB/qYV3U4eAwzjDJP+quB0aHgycBVw+0\nfwvwvp62v9Uz7S+Ad7ePnwZsG5j3f9OEg5HLHaPmC4GTh0x7MnADsMfA+FnX2b6el/c8/2XghwPz\nfAT4swnU+X1gU8/zjwP/pef5qcB/na32Udt58D0dp+0c6h+5LGYOB28d972YYX2fBi4BLgL2nMt7\nP+L9HbVdhy5rrvWzBOFgVe0jGcHdClrxkoUf5FXV+b7gI4DDktzUM24N8L96nl/X8/hnNN+CaX9u\nG1je1TTf4B86xnLvleSlwOuAI9tRBwAPGFLzepp/3Dvn8VoAtvY8Pmzg+a7XsG4CdULTW7DLzwae\n39nOP1vtD2H4dh407D2ZT/0jlzXErr+Jcd+LXn9LExB+r6q2D2kz7L3v1ft+jqrj8BHLmk/9i8pw\nIK0QXX6wJ5npH1pV1Ux/V6NCzFbg+1X1yHmU8UN2/xA9gqabfuzlJjkCeA/NN9+vVVUluZDhx1Rs\nBR6aZE1V3dMz/gdjrrN3e1wLrE+Sar/qta/hignUOZNRr2nG2pM8neHbedC1w9q29b+XZtfJOPWP\nen8B7gD265n2EO77YJ7T71WSA4C30wSEP0/yyaq6aYamw977Xr3v79DfiSRPHrGscX+XlowHJEoa\nxzrgV4G3Aa+l2Rc67G/qeuDhQ6adT3Pg1huT7JtkTZLjkvziGDV8DdiR5DVJ9kzyfOCJ7bQL5rDc\n/Wn+of8Y2CPJK4BRp+adT/PB9bYk+yXZJ8lT5rjOXb5O8yH3xvY1bACeA5wzgTrnYlTtX2X4dh40\n6j3Zj2ZXwLj1z7bei4Dfbms9iWY3xDivZybvAC6oqlcC/x34myHthr33w4yqY9Sy5vO7tKimJRzs\nZHpeq7QYUlVfpOkSPgv48oi2/y/wJ2mOxn89/efH76T5MHw88G/Aj2i+HR80ZFn3njNfVXcDzwde\nDtxIc4DbJ+a63Kq6nOagsK/R7MI4DvjKsBfTLvu5wCNovuFtBV44j9dC2339XODZbfszgd+pqu8t\ntM5hqxx4vGtb3jOs9rbGGbfzkNcz7D3ZPJf6hyzrk9zX03Aazba7Cfgt4L/2zDv09QyuJ8kpNAcI\n/n476o+AJyTZNENNM773I17D0N+JUcuaz+/SYst9PVurS9trl+YxFwMvq+KijsuSZtT7+7ocJTmI\n5gjrU4G/AqiqWzotSqtekvcD11TV/9N1LcvJsP8Xk/w/Mi3fpnfgbgVpIf4E2ADcTnPmgcFAS2HZ\nBubVbloOSNzB9LxWaeKq6o1d16Cp5KWYOzItH5g7aC4+IklaIarqFV3XMK2mabfCtAQhSZIWZFrC\nwXYMB5IkjWVawoE9B5IkjclwIEmS+hgOJElSH8OBJEnqMy0fmIYDLXtJPJ9b0rIwLR+YhgMta8v5\n0smSpo+7FSRJUh/DgSRJ6mM4kCRJfQwHkiSpj+FAkiT1MRxIkqQ+hgNJktRnmsLBnl0XIUnSSjBN\n4cCeA0mSxjAt4WA7hgNJksYyLeHAngNJksZkOJAkSX0MB5IkqY/hQJIk9TEcSJKkPp2FgyQnJbki\nyZVJ3jTD9J9P8rUkdyZ5/VzmnYHhQJKkMXUSDpKsAc4ETgKOBTYlOWag2Y3Aq4H/bx7zDjIcSJI0\npq56Dk4AtlTVVVW1HTgHOKW3QVX9qKq+SXONgjnNOwPDgSRJY+oqHKwDtvY8v6Ydt1jzGg4kSRpT\nV+Gglnhew4EkSWPq6gNzG7C+5/l6mh6Aic6b5PTm0S89Cl57CLxgrnVKkrQsJdkAbFiUZVct5Ev8\nPFearAW+CzwTuBa4ANhUVZtnaHs6cGtVnTGXeZNUVaV5zG8Af1DFbyzai5IkqUO9n3sL1UnPQVXt\nSHIq8DlgDXB2VW1O8qp2+llJDgW+ARwE7ExyGnBsVd0207yzrNLdCpIkjamTnoOlMNBz8Ezgj6t4\nRsdlSZK0KCbZc+AVEiVJUp9pCQfbMRxIkjSWaQkH9hxIkjQmw4EkSepjOJAkSX0MB5IkqY/hQJIk\n9TEcSJKkPoYDSZLUx3AgSZL6GA4kSVIfw4EkSepjOJAkSX0MB5Ikqc80hYM9uy5CkqSVYJrCwdqE\nidznWpKk1WwqwkEVO4FiSl6vJEkLMU0fltvxuANJkmY1TeHAgxIlSRqD4UCSJPUxHEiSpD7TFg48\nnVGSpFlMUzi4G8OBJEmzmrZwsFfXRUiStNwZDiRJUh/DgSRJ6mM4kCRJfaYpHGzHcCBJ0qymKRzY\ncyBJ0himLRx4KqMkSbOYtnBgz4EkSbMwHEiSpD6GA0mS1GeawoFnK0iSNIZpCgf2HEiSNIZpCwee\nrSBJ0iymLRzYcyBJ0iwMB5IkqY/hQJIk9ZmmcODZCpIkjWGawoE9B5IkjWHawoFnK0iSNItpCwf2\nHEiSNAvDgSRJ6mM4kCRJfQwHkiSpzzSFA09llCRpDJ2FgyQnJbkiyZVJ3jSkzTvb6RcnOb5n/FuS\nXJbkkiQfSbL3GKu050CSpDF0Eg6SrAHOBE4CjgU2JTlmoM1G4BFVdTTwSuDd7fgjgd8DnlBVjwHW\nAC8eY7WeyihJ0hi66jk4AdhSVVdV1XbgHOCUgTYnAx8AqKrzgYOTHALcQrOLYL8ka4H9gG1jrNOe\nA0mSxtBVOFgHbO15fk07btY2VfUT4AzgB8C1wM1V9YUx1mk4kCRpDF2FgxqzXXYbkTwceC1wJHAY\ncECS3x5jWYYDSZLGsLaj9W4D1vc8X0/TMzCqzeHtuA3AV6vqRoAknwSeAnx4cCVJTr/v2ct/CO83\nHEiSVoUkG2g+Eye/7Kpxv8RPcKXNsQLfBZ5Js2vgAmBTVW3uabMROLWqNiY5EXh7VZ2Y5PHAh4An\nAncCfwdcUFX/ZWAdVVW57zmPBT5cxWMW99VJkrT0Bj/3FqKTnoOq2pHkVOBzNGcbnF1Vm5O8qp1+\nVlWdm2Rjki3A7cAr2mkXJfkg8E1gJ/Bt4D1jrNazFSRJGkMnPQdLYYaeg4cBX6jiYR2WJUnSophk\nz8E0XSHRAxIlSRqD4UCSJPWZpnDgvRUkSRrDNIUDew4kSRrDNIWDu4BxbtAkSdJUm5pwUMUOoJLO\nLvwkSdKKMDXhoHUnsE/XRUiStJwZDiRJUh/DgSRJ6mM4kCRJfQwHkiSpj+FAkiT1MRxIkqQ+hgNJ\nktTHcCBJkvoYDiRJUh/DgSRJ6mM4kCRJfQwHkiSpj+FAkiT1MRxIkqQ+hgNJktTHcCBJkvoYDiRJ\nUh/DgSRJ6mM4kCRJfQwHkiSpj+FAkiT1MRxIkqQ+hgNJktTHcCBJkvoYDiRJUp9pDAf7dl2EJEnL\n2bSFg59hOJAkaaRpCwe3A/t3XYQkScvZgsJBknsmVcgSuQPYr+siJElazhbac5CJVLFEqrgbIGHP\nrmuRJGm5mshuhSSvSLImyZGTWN4iuwN3LUiSNNSs4SDJYUnW9QwvmaHZXsDjgMMnXuHk3Y67FiRJ\nGmrtGG2eCLwMuLh9/ijgQwNtfgAcBjwG+MrEqlsc9hxIkjTCrOGgqj6d5Pyqug4gyYNnaHY1cAXw\n0AnXtxjsOZAkaYSxjjnYFQzaxzckObh9+oB23OVVtbOq3rUINU6aPQeSJI0w3wMSX9b+fOmkCllC\n9hxIkjTCtF0ECbzWgSRJI01rOHC3giRJQ0xjOHC3giRJI3QWDpKclOSKJFcmedOQNu9sp1+c5Pie\n8Qcn+XiSzUkuT3LiHFZtz4EkSSN0Eg6SrAHOBE4CjgU2JTlmoM1G4BFVdTTwSuDdPZPfAZxbVccA\njwU2z2H19hxIkjTCfMPB5wd+ztUJwJaquqqqtgPnAKcMtDkZ+ABAVZ0PHJzkkCT3A365qt7XTttR\nVT+dw7rtOZAkaYR5hYOqurz35zysA7b2PL+mHTdbm8OBo4AfJXl/km8neW+SufQE2HMgSdIIXR1z\nUGO2G7zrY9Fc1fEJwLuq6gk0H/ZvnsO6PZVRkqQRxrm3wmLYBqzveb6epmdgVJvD23EBrqmqb7Tj\nP86QcJDk9J6n51XVeTRhwt0KkqQVLckGYMNiLHvscJBkf+C3geOANcA+wE7gNuDrwD9W1c4xF/dN\n4Oj2Fs/XAi8CNg20+QxwKnBOezbCzVV1fVvL1iSPrKrvAc8CLptpJVV1+gyj7TmQJK147Rfe83Y9\nT/Jnk1r2WOEgya/SnFXw36rqPQPTQnO75j9K8oWqumi25VXVjiSnAp+jCRpnV9XmJK9qp59VVecm\n2ZhkC823/Vf0LOLVwIeT7AX868C02dhzIEnSCKkavfs/yT7A4VW1ZdaFJY+pqksmVdxCJKmqGjxm\ngYSnA2+t4mkdlCVJ0qIY9rk3H7MekFhVd/YGgyQPS7LvkLbLIhjM4lbggK6LkCRpuZrP2QqvB54E\nkOSXkjx1siUtuluBA7suQpKk5Wo+4eAC4KgkR1XVV4AHT7imxXYrcFDXRUiStFzNJxysB+6iOQDx\ny8AvTLakRWfPgSRJI8znOgf/Bnyiqj6S5IHA8ydc02K7A9g7YW0VO7ouRpKk5WY+PQf/ADy6fXwU\ncMjkyll8VRQelChJ0lDjnMq4N3BgVf141oUlD62qH0yquIUYdUpHwlbgqVUsi1olSVqopT6V8S7g\nxCS/NewUxiT3T/JK4IhJFLUEPO5AkqQhxj3mYC3NsQavS/Jgmksn7wncQ7MP/xrgvXO8dXKXDAeS\nJA0xbjh4OvDhqvpPSU6pqk8vZlFLwHAgSdIQ44aDzwJ/3F5Ked8kRwOXAJdW1bZFq27xeK0DSZKG\nGCscVNWXgC8BJHk9zV0VHw2ckuQwmt0Kf11V312sQifsFuw5kCRpRnO+zkFVndE+/J+7xiV5MXAy\n8FcTqmuxuVtBkqQh5nOdg5ncDVwxoWUtBcOBJElDzOcKibupqk9OYjlLyGMOJEkaYlI9ByuNPQeS\nJA0xreHAAxIlSRpiWsPBT4H7dV2EJEnL0bSGg5uBg7suQpKk5Wiaw8H9uy5CkqTlaFrDwU3YcyBJ\n0oymNRy4W0GSpCGmNRzcCuyXTOY6D5IkrSZTGQ6q2ElzOqNnLEiSNGAqw0HLXQuSJM1gmsOBByVK\nkjSDaQ4Hns4oSdIMpj0c2HMgSdKAaQ4H7laQJGkG0xwO3K0gSdIMpjkc3IThQJKk3UxzOPgJhgNJ\nknYzzeHgx8ADuy5CkqTlZprDwY0YDiRJ2s00hwN7DiRJmoHhQJIk9ZnmcHAj8ICEdF2IJEnLydSG\ngyruAu4EDuy6FkmSlpOpDQctD0qUJGnAtIcDjzuQJGmA4cBwIElSH8OB4UCSpD6GA3hQ10VIkrSc\nTHs4uA44pOsiJElaTgwH8JCui5AkaTmZ9nDwQ+DQrouQJGk5mfZwYM+BJEkDOgsHSU5KckWSK5O8\naUibd7bTL05y/MC0NUkuTPLZBZRhz4EkSQM6CQdJ1gBnAicBxwKbkhwz0GYj8IiqOhp4JfDugcWc\nBlwO1AJKuRE4KGGvBSxDkqRVpauegxOALVV1VVVtB84BThloczLwAYCqOh84OMkhAEkOBzYCfwvz\nv3FSFTuBG/CMBUmS7tVVOFgHbO15fk07btw2/xl4A7BzArV43IEkST26Cgfj7goY7BVIkucAN1TV\nhTNMnw+PO5Akqcfajta7DVjf83w9Tc/AqDaHt+NeAJzcHpOwD3BQkg9W1UsHV5Lk9J6n51XVeTPU\nch2GA0nSCpNkA7BhUZZdtZDj+ea50mQt8F3gmcC1wAXApqra3NNmI3BqVW1MciLw9qo6cWA5Twf+\nQ1U9d4Z1VFXN2rOQ8B+Be6r48wW9KEmSOjTu5944Ouk5qKodSU4FPgesAc6uqs1JXtVOP6uqzk2y\nMckW4HbgFcMWt8ByrgMes8BlSJK0anTSc7AU5tBz8O+Al1XxvCUoS5KkRTHJnoNpv0IiNAckHtZ1\nEZIkLReGg+Z0yYd2XYQkScuF4aDpObh/wj5dFyJJ0nIw9eGgvUriNdh7IEkSYDjY5WrgiK6LkCRp\nOTAcNAwHkiS1DAeNq3G3giRJgOFgF3sOJElqGQ4ahgNJklqGg8YPMBxIkgR4+eS2LXsDtwD7VXHP\n4lYmSdLkefnkCaviLuDHwLqua5EkqWuGg/tsAR7RdRGSJHXNcHCf7wGP7LoISZK6Zji4j+FAkiQM\nB70MB5IkYTjoZTiQJAlPZexpz97AT4EDq9i+eJVJkjR5nsq4CNrTGbcBR3VdiyRJXTIc9HPXgiRp\n6hkO+n0P+Pmui5AkqUuGg36XAMd1XYQkSV0yHPS7BHhs10VIktQlz1bom4cDgBuAg6rYsTiVSZI0\neZ6tsEiquI3mjAUPSpQkTS3Dwe6+Azym6yIkSeqK4WB338HjDiRJU8xwsLvvAI/rughJkrpiONjd\nhcATEiZyUIckSSuN4WB3VwNrgXVdFyJJUhcMBwOqKOB84Eld1yJJUhcMBzO7ADih6yIkSeqC4WBm\n9hxIkqaWV0iccV7uD/wAOLiKeyZbmSRJk+cVEhdZFTfRXCnRmzBJkqaO4WC4/wk8vesiJElaaoaD\n4c4DNnRcgyRJS85jDobOz2E0t3B+UBU7J1eZJEmT5zEHS6CKa4Eb8bgDSdKUMRyMdh7wK10XIUnS\nUjIcjPY/gF/vughJkpaSxxyMXAb3A7YCh1Zxx2QqkyRp8jzmYIlU8VPg23jWgiRpihgOZncusLHr\nIiRJWiqGg9n9d+C5CRPpqpEkabkzHMzucuAOvBGTJGlKGA5mUUUB/wC8sOtaJElaCp2FgyQnJbki\nyZVJ3jSkzTvb6RcnOb4dtz7Jl5NcluTSJK9ZgnI/BvxmYpiSJK1+nXzYJVkDnAmcBBwLbEpyzECb\njcAjqupo4JXAu9tJ24HXVdWjgROBPxycd9KquBy4GXjyYq5HkqTloKtvwicAW6rqqqraDpwDnDLQ\n5mTgAwBVdT5wcJJDquq6qrqoHX8bsBk4bAlq/hiwaQnWI0lSp7oKB+toLi60yzXtuNnaHN7bIMmR\nwPHA+ROvcHcfBF6csO8SrEuSpM50FQ7GvSzj4OmD986X5ADg48BpbQ/CoqriauAC4DcXe12SJHVp\nbUfr3Qas73m+nqZnYFSbw9txJNkT+ATwoar61LCVJDm95+l5VXXe/EsG4CzgDTS9CJIkdSbJBhbp\nCr6d3FshyVrgu8AzgWtpvpFvqqrNPW02AqdW1cYkJwJvr6oTk4TmWIQbq+p1I9YxsWtM37dM1gJX\nA79exaWTXLYkSQux4u+tUFU7gFOBz9FcZOgfqmpzklcleVXb5lzg35JsofnG/gft7E8FXgL8SpIL\n2+GkpambHcB7gNOWYn2SJHXBuzLOebk8EPge8Ogqfjjp5UuSNB8rvudgJavix8CHgNd2XYskSYvB\nnoN5LZsjgW8BD6/i5sVYhyRJc2HPQcequAr4NM2ZC5IkrSr2HMx7+awHLgIeU8W1i7UeSZLGYc/B\nMlDFVuBs4E+7rkWSpEmy52BB6+DnaO7t8GtVXLyY65IkaRR7DpaJKn4C/DHwN97OWZK0WviBtnDv\no7nnw+91XYgkSZPgboWJrIvHAF8CntieySBJ0pJyt8IyU8UlwF8Cf5+wput6JElaCMPB5JwBbAfe\n1HUhkiQthLsVJrpO1gPfADZV8eWlXLckabq5W2GZaq998NvARxOO6roeSZLmw3AwYVV8EfhPwKcT\nDuy6HkmS5srdCouybgK8C3gUsLGKO7uoQ5I0PSb5uWc4WLT1swb4MLAP8JtVbO+qFknS6ucxBytA\nFfcALwX2pDkGYe+OS5IkaSyGg0VUxd3A84EAn0nYv+OSJEmaleFgkVVxF/AiYBvwhYQHdVySJEkj\nGQ6WQBU7gN+lucTyNxIe33FJkiQNZThYIlVUFX8MvBH4fMKmrmuSJGkmnq3QgYTHAf8I/G/gNVXc\n2nFJkqQVzrMVVrgqLgaeAOwALkr45Y5LkiTpXvYcdCzhecCZwD8Db6rixo5LkiStQPYcrCJVfAo4\nFrgDuCxIiYjxAAAJbUlEQVThdxPWdlyWJGmK2XOwjCT8Is2tnx8EvAX4TBWr8w2SJE2Ul08ew0oM\nB3DvfRmeDbwNuBV4K/A5Q4IkaRTDwRhWajjYpb03w4toehDuAf4S+Fh7zQRJkvoYDsaw0sPBLj09\nCW8GjgDeC7yvims7LUyStKx4QOIUaS+edG4VTwP+HbCe5sDFTyac5MGLkqRJs+dgBUo4EPgt4N8D\nR9JcUOmjwNeq2NlhaZKkjrhbYQyrORz0Sng48GKasLA/8Cngs8C/tHeFlCRNAcPBGKYlHOzSHptw\nHHAy8FzgUcDnaYLCF6r4YYflSZIWmeFgDNMWDgYlHAL8BvAcYANwPc1dIb8EnOeVGCVpdTEcjGHa\nw0Gv9rTIxwHPaIenAluBrwFfb4fNHq8gSSuX4WAMhoPhEvYEHguc2DM8GLigHS5qh381MEjSymA4\nGIPhYG4SHgQ8CXgiTS/D44EHAJcAF/cMV1RxU1d1SpJmZjgYg+Fg4RIOpulheDxNYHgszYGOPwOu\nAL7b/tz1+Koq7ummWkmaboaDMRgOFkd7VsRDgJ+nCQq9Pw8FfgB8f8hwo/eIkKTFYTgYg+Fg6SXs\nS3OJ56OAh7U/j+p5vga4CrimHbbN8PMmA4QkzZ3hYAyGg+Un4f40V3Rc1w6Hz/BzT5qQsA24juYU\nzBsGfl4P3FDFHUv7CiRp+TIcjMFwsDK1l4beFR4OaYcHD/zcNdxNf2C4EfhJz8/dHlfxsyV8OZK0\nZAwHYzAcrG7tsQ8H0R8aHgD8XDvM9PgBwE76A8NPgJ8OGW6ZYdzP3O0haTkyHIzBcKBBbaDYj93D\nw/16hoNmeb6W3UPDLcDtwG09w+1DHu82zTM8JE2C4WAMhgMthoS92D0wHEhz06sDeoZxn+9Ps3uk\nNzTcQXO66OAw0/i5tL3Ti1pJq5fhYAyGA60EbW/GvvSHh/3acb3DuONGjd8b2A7cCdw1yzCpNne1\n67x74GffY0OLtHCGgzEYDqR+CXsAewH70ASFUcMk2uzTrm/Pdthr4Gfv43uYPUSMM23UuB1dDAYf\nLZVVEQ6SnAS8nebc97+tqr+Yoc07gWfTdJG+vKounMO8hgNpBWh7T9YyPESMGzBGjduL5v/F2iUe\n9gSK0QFi+8Dze4YMO0dMG2dYLvPvHBhmGjdq2K29Bwk3Jvm5t3YSC5mrJGuAM4Fn0ZzP/o0kn6mq\nzT1tNgKPqKqjkzwJeDdw4jjzamkk2VBV53Vdx2o2Ddu4/ce+6xt+JxZzO7c9NruCwrihYs3AsMcM\n4+YyjJp/rwXOP+b6zz0INv6sXdYePcvcYw7DjO3TfByOHSZmGbpqXwM/5/N4YjoJB8AJwJaqugog\nyTnAKUDvB/zJwAcAqur8JAcnOZTmanuzzaulsQE4r+MaVrsNuI2XwgYWaTu3uxXuboeplfzG6VV1\n+uIsmzCHMDFi6KL9Gri3/sGfc308MV2Fg3XA1p7n19DcEXC2NuuAw8aYV5I0Jdrep127L6ZWwp9O\nalkTTRpzMO7+IY8ZkCRpiXXVc7ANWN/zfD1ND8CoNoe3bfYcY16gOThjwZVqpCR/1nUNq53beGm4\nnRef23jl6CocfBM4OsmRwLXAi4BNA20+A5wKnJPkRODmqro+yY1jzItnKkiSND+dhIOq2pHkVOBz\nNAdjnF1Vm5O8qp1+VlWdm2Rjki00V457xah5u3gdkiStRqv2IkiSJGl+ujogcdEkOSnJFUmuTPKm\nrutZqZKsT/LlJJcluTTJa9rxP5fk80m+l+R/JDm4Z563tNv9iiS/1l31K0uSNUkuTPLZ9rnbeMLa\nU6E/nmRzksuTPMntPFntNrssySVJPpJkb7fxwiR5X5Lrk1zSM27O2zTJL7Tvy5VJ3jHOuldVOOi5\nQNJJwLHApiTHdFvVirUdeF1VPRo4EfjDdlu+Gfh8VT0S+GL7nCTH0hz/cSzN9n9XklX1+7WITgMu\n576zeNzGk/cO4NyqOgZ4LHAFbueJaY8B+z3gCVX1GJpdvi/GbbxQ76fZPr3msk13HXv3buB3q+po\nmmP2Bpe5m9X2Ztx7caWq2g7sukCS5qiqrquqi9rHt9FcZGodPRenan8+r318CvDRqtreXqBqC837\noRGSHA5sBP6W+07ddRtPUJL7Ab9cVe+D5rilqvopbudJuoXmC8V+SdbS3PzrWtzGC1JV/wLcNDB6\nLtv0SUkeAhxYVRe07T7YM89Qqy0cDLtwkhag/VZwPHA+cEhVXd9Ouh44pH18GP2nlLrtx/OfgTfQ\nf+lTt/FkHQX8KMn7k3w7yXuT7I/beWKq6ifAGcAPaELBzVX1edzGi2Gu23Rw/DbG2NarLRx4dOWE\nJTkA+ARwWlXd2jutmqNZR21z348RkjwHuKG9odiMp966jSdiLfAE4F1V9QSas5/e3NvA7bwwSR4O\nvBY4kubD6IAkL+lt4zaevDG26byttnAwzsWVNKYke9IEg7+vqk+1o69v73FB2111Qzt+potWbVuq\nWleopwAnJ/k+8FHgGUn+HrfxpF0DXFNV32iff5wmLFzndp6YXwS+WlU3VtUO4JPAk3EbL4a5/H+4\nph1/+MD4Wbf1agsH915cKcleNAdnfKbjmlak9kCWs4HLq+rtPZM+A7ysffwy4FM941+cZK8kRwFH\nAxegoarq/66q9VV1FM3BW1+qqt/BbTxRVXUdsDXJI9tRzwIuAz6L23lSrqC5a+6+7f+OZ9EcZOs2\nnrw5/X9of/9vac/QCfA7PfMM1dUVEheFF0iaqKcCLwG+k+TCdtxbgLcBH0vyu8BVwAsBquryJB+j\n+YewA/iD8iIac7Vre7mNJ+/VwIfbLw3/SnNRtTW4nSeiqi5O8kGaL2g7gW8D7wEOxG08b0k+Cjwd\neGCSrcCfMr//D38A/B2wL81ZO/8867p9PyRJUq/VtltBkiQtkOFAkiT1MRxIkqQ+hgNJktTHcCBJ\nkvoYDiRJUh/DgSRJ6mM4kCRJfQwHkhYsyROTXJxk7yT7J7m0vb+8pBXIKyRKmogkbwX2oblE69aq\n+ouOS5I0T4YDSRPR3sXzm8DPgCd7rXxp5XK3gqRJeSCwP3AATe+BpBXKngNJE5HkM8BHgIcBD6mq\nV3dckqR5WlW3bJbUjSQvBe6qqnOS7AF8NcmGqjqv49IkzYM9B5IkqY/HHEiSpD6GA0mS1MdwIEmS\n+hgOJElSH8OBJEnqYziQJEl9DAeSJKmP4UCSJPX5/wFyrhnR1S1RlQAAAABJRU5ErkJggg==\n", "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "# \n", "# Graficando 1/x\n", "x = np.arange(1, 1000) # Rango de valores de x\n", "plt.figure(figsize=(8,6))\n", "plt.title(r\"Graficando $\\frac{1}{x}$\")\n", "plt.xlabel('x')\n", "plt.ylabel(r\"$f(x) = \\frac{1}{x}$\")\n", "plt.plot(x, f(x), label=r\"$\\frac{1}{x}$ tiende a cero a medida que x crece\")\n", "plt.ylim([0, .12])\n", "plt.legend()\n", "plt.show()" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Como nos muestran tanto los cálculos como el gráfico, a medida que vamos aumentando el valor de $x$, la función $\\frac{1}{x}$ se va aproximando cada vez más a cero. Por tanto podemos conjeturar que la función $\\frac{1}{x}$ tiende a cero.\n", "Si bien, no podemos decir que pasa en el *[infinito](https://es.wikipedia.org/wiki/Infinito)*, si podemos decir que pasa a medida que nos vamos acercando cada vez más a él. Por tanto podríamos decir que a medida que el valor $x$ tiende a $\\infty$, el valor de la función $\\frac{1}{x}$, se aproxima a su [límite](https://es.wikipedia.org/wiki/L%C3%ADmite_matem%C3%A1tico) cero. En el lenguaje de las [matemáticas](https://es.wikipedia.org/wiki/Matem%C3%A1ticas), lo expresaríamos de la siguiente forma:\n", "\n", "$$\\lim_{x\\to \\infty} \\left(\\frac{1}{x}\\right) = 0$$\n", "\n", "El concepto de [Límite](https://es.wikipedia.org/wiki/L%C3%ADmite_matem%C3%A1tico) es una de las herramientas principales sobre las que se sustenta el [cálculo](https://es.wikipedia.org/wiki/C%C3%A1lculo_infinitesimal). Muchas veces, una función puede ser indefinida en un punto, pero podemos pensar en lo que pasa a medida que la función \"se acerca\" cada vez más a ese punto. Otras veces, la función puede ser definida en un punto, pero puede aproximarse a un límite diferente.\n" ] }, { "cell_type": "markdown", "metadata": { "collapsed": true }, "source": [ "Con esto termina este artículo, para concluir cerremos la curva sin fin que representa al *[infinito](https://es.wikipedia.org/wiki/Infinito)* con otra frase de [Borges](https://es.wikipedia.org/wiki/Jorge_Luis_Borges), que fue con quien comenzamos el artículo!\n", "\n", "> Hay un concepto que es el corruptor y el desatinador de los otros. No hablo del Mal cuyo limitado imperio es la ética; hablo del infinito. \n", "\n", "***Jorge Luis Borges - Avatares de la tortuga***\n", "\n", "Espero les haya parecido interesante y no se hayan sentido tan desconcertados al toparse con el concepto de *[infinito](https://es.wikipedia.org/wiki/Infinito)* como la probe serpiente pitón de la cabecera del artículo!.\n", "\n", "Saludos!\n", "\n", "*Este post fue escrito utilizando IPython notebook. Pueden descargar este [notebook](https://github.com/relopezbriega/relopezbriega.github.io/blob/master/downloads/pyInfinity.ipynb) o ver su version estática en [nbviewer](http://nbviewer.ipython.org/github/relopezbriega/relopezbriega.github.io/blob/master/downloads/pyInfinity.ipynb).*" ] } ], "metadata": { "kernelspec": { "display_name": "Python 3", "language": "python", "name": "python3" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 3 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython3", "version": "3.4.3+" } }, "nbformat": 4, "nbformat_minor": 0 }