6: Infinito - Recursión, Inducción, Descenso Infinito
- Page ID
- 108133
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)La inducción matemática —es decir, prueba por recurrencia— se... nos impone, porque es... la afirmación de una propiedad de la mente misma.
Henri Poincaré (1854—1912)
Allez en avant, et la foi vous viendra. (Presiona adelante, y la comprensión seguirá.)
Jean le Rond D'alembert (1717—1783)
A las matemáticas se le ha llamado “la ciencia del infinito”. Sin embargo, el infinito es una noción resbaladiza, y muchas de las técnicas que son características de las matemáticas modernas se desarrollaron precisamente para domar esta resbaladiza. Este capítulo introduce algunas de las ideas y técnicas relevantes.
Hay aspectos de la historia del infinito en las matemáticas que no abordaremos. Por ejemplo, los astrónomos que estudian el cielo nocturno y los movimientos de los planetas y las estrellas pronto notan su inmensidad, y su naturaleza aparentemente 'fractal', donde aumentar el detalle o la ampliación revela más o menos el mismo nivel de complejidad en diferentes escalas. Y es difícil entonces evitar la cuestión de si el universo estelar es finito o infinito.
En el universo mental de las matemáticas, una vez contando, y el proceso de halving, se convierten rutinariamente en procesos iterativos, las preguntas sobre el infinito y los infinitesimales son casi inevitables. Sin embargo, la matemática reconoce el abismo conceptual entre lo finito y lo infinito (o infinitesimal), y rechaza el uso perezoso del “infinito” como metáfora de lo que simplemente es “muy grande”. Los grandes números finitos siguen siendo números; y las sumas finitas largas son conceptualmente muy diferentes de las sumas que “continúan para siempre”. De hecho, en el siglo III a.C., Arquímedes (c. 287-212 a.C.) escribió un pequeño folleto llamado The Sand Reckoner, dedicado al rey Gelón, en el que introdujo la aritmética de los poderes (aunque los antiguos griegos no tenían notación conveniente para escribir tales números), con el fin de demostrar que — contrario a lo que algunas personas habían reclamado —el número de granos de arena en el universo conocido debe ser finito (derivó un límite superior de aproximadamente 8×10 63 La influencia que ejercen las ideas del infinito en las matemáticas ha sido profunda, aunque ahora veamos algunas de estas ideas como vuelos de fantasía—
- de Zenón de Elea (c. 495 a.C. — c. 430 a.C.), quien presentó sus paradojas para resaltar los peligros inherentes al razonamiento descuidadamente con el infinito,
- a través de Giordano Bruno (1548—1600), quien declaró que había infinitamente muchos universos habitados, y que fue quemado en la hoguera cuando se negó a retraer esta y otras “herejías”,
- a Georg Cantor (1845—1918) cuya labor pionera en el desarrollo de una verdadera “matemática del infinito” estaba inextricablemente ligada a sus creencias religiosas.
En contraste, nos centramos aquí en los placeres de las matemáticas, y en particular en cómo se puede forjar una entrada inicial hacia las “ideas del infinito” a partir de un razonamiento cuidadoso con entidades finitas. Los lectores que quieran explorar lo que pasamos por alto en silencio podrían hacer peor que comenzar con el ensayo sobre “infinito” en el archivo de Historia de las Matemáticas de MActutor:
http://www-history.mcs.st-and.ac.uk/HistTopics/Infinity.html.
Los procesos infinitos más simples comienzan con la recursión —un proceso en el que repetimos exactamente la misma operación una y otra vez (en principio, continuando para siempre). Por ejemplo, podemos comenzar con 0, y repetir la operación “agregar 1”, para generar la secuencia:
0, 1, 2, 3, 4, 5, 6, 7,...
O podemos comenzar con 2 0 = 1 y repetir la operación “multiplicar por 2”, para generar:
O podemos comenzar con 1.000000, y repetir los pasos involucrados en “dividir por 7” para generar el decimal infinito para:
Entonces podemos variar esta idea de “recursión” permitiendo que cada operación sea “esencialmente” (en lugar de exactamente) la misma, como cuando definimos números triangulares “sumando n” en la etapa n para generar la secuencia:
En otras palabras, la secuencia de números triangulares se define por una relación de recurrencia:
y
cuando
Podemos variar esta idea más al permitir relaciones de recurrencia más complicadas, como la que define los números de Fibonacci:
y
cuandoF n - 1 .
Todas estas “imágenes del infinito” se remontan al familiar conteo de números.
- Sabemos cómo comienzan los números de conteo (con 0, o con 1); y
- sabemos que podemos “sumar 1” una y otra vez para obtener números de conteo cada vez mayores.
La intuición de que este proceso es, en principio, interminable (así que nunca se completa en realidad), pero de alguna manera logra contar todos los enteros positivos, es lo que Poincaré llamó una “propiedad de la mente misma”: es decir, la idea de que podemos definir una secuencia infinita, o proceso, o cadena de deducciones (que implican dígitos, o números, u objetos, o declaraciones, o verdades) por
- especificando cómo comienza, y para entonces
- especificando de manera uniforme “cómo construir el siguiente término”, o “cómo realizar el siguiente paso”.
Esta idea es lo que se esconde detrás de la “prueba por inducción matemática”, donde demostramos que alguna aserción P (n) sostiene para todos— demostrando así infinitamente muchas declaraciones separadas de un solo golpe. La validez de este método de prueba depende de una propiedad fundamental de los enteros positivos, o de la secuencia de conteo
a saber:
El Principio de Inducción Matemática: Si un subconjunto S de los enteros positivos
- contiene el entero “1”,
y tiene la propiedad que - cada vez que un entero k está en el conjunto S, entonces el siguiente enterosiempre está en S también,
entonces S contiene todos los enteros positivos.