Hola feriva.
Hola feriva de nuevo,
Hay algo curioso en esto de las raíces, y en concreto de \( \sqrt[ ]{2} \). No sé si también sucede con los trascendentales.
Hola, RDC. Está bien el método ése, probaré después con él a ver (con "papel y lápiz")
Los números trascendentes no son raíces de ningún polinomio con coeficientes enteros. Pero en algunos casos se pueden aproximar muy fácilmente con sólo dar valores naturales, como en el caso del número “e”, \( e=lim_{n\rightarrow\infty}(1+\dfrac{1}{n})^{n} \).
La cuestión es que \( n\rightarrow\infty \); pero... ¿es ese “n” un número “puntual”? Si fuera así, ¿en qué punto estaría?
Si elegimos un “n” muy grande, ése no es el “n” adecuado para obtener “e”, no existe un “n” máximo, que sería el que nos daría “e” con “exactitud”. ¿Quién tiene la “culpa” de que “e” sea irracional entonces?
Podemos hallar “e” para un “n” muy grande (y digamos que ese “n” muy grande se llama “m”). No sabemos bien quién es “m”, lo hemos definido como “m” y es un natural único. Sí que sabemos, entonces, que existe “m+1” y que también es un natural único y distinto de "m". Por tanto, existe \( lim_{n\rightarrow\infty}(1+\dfrac{1}{n})^{n}\approx e \) para n=m+1.
Al final, me temo, esto es lo que pasa siempre. Cuando propuse semanas atrás lo de "los números naturales tan grandes como queramos" pensaba un poco en los términos que dices. Y Luís comentaba que eso quizás eran otra cosa (similares a los irracionales), pero no eran naturales. Ahora lo estoy reenfocando un poco, gracias a los comentarios de Luís, pero de momento no diré nada más al respecto.
Lo que sí tengo claro es que los naturales son naturales, los racionales son racionales, que el infinito no es un número ni cantidad y que en este caso, el deseado valor de $$e$$ no lo dará ningún número racional y preciso $$n$$. En todo caso imaginamos que la serie converge en un hipotético valor $$e$$, pero que en realidad desconocemos; con lo cual solo podemos "visualizarlo aparentemente" mediante racionalizaciones, o ya luego expresiones decimales. Pero esto ya lo he dicho antes.
El tema de la convergencia es interesante pare tratar este tema. Y curiosamente arithma compartió un texto del Parménides de Platón donde el griego lo trata de la siguiente forma:
Spoiler
El hilo es:
https://foro.rinconmatematico.com/index.php?topic=124783.20EL fragmento se puede traducir mediante un ejemplo, como hace arithma, de este modo:
"Si alguien tenía 3 años de edad cuando yo tenía 2 años, la razón de nuestras edades era 3/2, ahora cuando ese alguien tiene 70 años de edad yo tendría 69, y la razón entre nuestras edades cambió a 70/69, mucho menor que la inicial, tiende a la Unidad."
Es evidente que en la medida que ambas edades crecen con el paso del tiempo su diferencia proporcional disminuye, con lo cual parece que la tendencia es que ambas edades converjan hasta sean proporcionalmente "iguales" en el infinito. Ahora bien, que converjan no significa que lo sean. Por eso se usa el concepto de converger y de límite.
Con los irracionales tenemos lo mismo. Por ejemplo con \( \sqrt[ ]{2}\longrightarrow{x^2-2=0} \). Aquí vamos buscando valores racionales para x con el fin de que \( x^2-2 \), pero como esto es imposible vamos aplicando "aproximaciones", hecho que conlleva iterar y la iteración nos lleva a la idea de límite y por tanto de converger.
Por tanto, mediante iteraciones buscamos una convergencia; que $$x^2$$ converja a 0, sabiendo que nunca va a ser 0 -
por eso usamos el concepto de convergencia. Y me parece plausible y lógico pensar que algo converge a 0, si entendemos que converger a 0 SOLO significa que en cada iteración obtenemos un valor racional menor que el anterior, y nunca cero; nada más.
Por tanto, desde mi parecer, si bien \( x^2-2 \) puede converger a 0 eso significa, más bien, que nunca podrá ser cero. SOLO podemos lograr que en cada iteración su valor racional sea menor que el anterior. Nada más.
Y cuando logramos, mediante iteraciones, que el nuevo valor sea menor que el anterior, eso no significa que sea más próximo a 0, puesto que nunca se alcanzará 0. Por tanto, pienso, es imposible demostrar que con cada iteración nos acerquemos más a un supuesto valor de \( \sqrt[ ]{2} \), porque cada vez nuestro error respecto ese supuesto valor se suponga menor.
Me explico, si comparamos 1 y 1.4142, es evidente que el primer valor es, RESPECTO al segundo, menos preciso. Con lo cual es posible calcular su error relativo. Ahora bien, respecto a un supuesto valor más allá de los racionales de \( \sqrt[ ]{2} \) ahí ya no podemos aplicar cálculo de errores y por tanto eso no tiene sentido.
Por Peano, y por cerradura y lo que sea necesario, existen también naturales únicos m+2, m+3... hasta que llega un momento en que el cardinal de varios de esos naturales se confunde con un valor infinito y ya da igual sumar 1; es el mismo “n”. Y ahí “e” ya es “e”, el único “e”. Si no fuera único, entonces implicaría que ese “n” tendente al infinito, que “rozaría” el infinito de lo numerable, sería distinto de n+1, n+2, n+3... los cuales harían que la función se acercará más a “e”, sin llegar, y que, por tanto, no existiera “e” de alguna manera. Pero eso no se considera así, simplemente, se considera que del cardinal infinito (numerable) no se pasa; por definición.
Viendo esto, un número irracional tendrá que ser tan único o poco único como el cardinal de los naturales. Si tu quieres considerar (para ti, para tus cosas) varios infinitos numerables distintos (unos más grandes que otros) pues bueno. Pero eso no va a ser muy útil.
...
Entiendo que en matemáticas uno puede zafarse de cosas como la paradoja EPR, las desigualdades de Bell y todo ese conocido asunto. La “luna” puede estar ahí cuando no miramos, puede tener una existencia y localización previa, porque hablamos de abstractos de nuestra mente, no de cosas atadas a las leyes del mundo físico y su empírica. Si obtenemos cinco decimales de “e” con la fórmula \( e=lim_{n\rightarrow\infty}(1+\dfrac{1}{n})^{n} \), podemos decir que el sexto, aunque no lo hayamos calculado y no sepamos cuál es, tiene una existencia previa, sólo puede ser el que es. Así que lo mismo pasará con todos los siguientes, por mucho que no acaben. Eso nos lleva a decidir que “e” es único. O sea, que no haya un último decimal no quiere decir que los decimales no sean los que son, no quiere decir que el número no tenga entidad como tal (porque sí, porque lo decimos nosotros; y funciona bien para hacer muchas cosas con los números).
Saludos.
Lo azul lo veo distinto. A ver qué te parece...
No veo que tengamos infinitos decimales en la "nube", por así decirlo. Infinito no es una cantidad. Lo que tenemos es una afirmación, acaso \( x^2-2=0\rightarrow{a^2-2b^2=0} \) que no tiene solución, pero que si la cambiamos por esta otra similar:
\( a^2-2b2=\pm{q} \), con "q" ciertos valores muy característicos, por ejemplo el 1, entonces mediante iteración obtenemos una secuencia determinada de valores racionales que se puede iterar indefinidamente; pues no hay solución final.
Y
lo que caracteriza a semejante secuencia es que el intervalo entre dos valores racionales cada vez es menor que el intervalo anterior, en vez de explotar o seguir otro comportamiento. Esto nos ha llevado a interpretar, pienso que erróneamente, que si cada intervalo es menor que el anterior eso significaría que cada vez nos acercamos más a o, y por ello a un final. Pero entiendo, igual me equivoco, que converger a 0 no significa en el fondo esto; sólo significa que cada iteración da un intervalo menor que el anterior. Nada más.
por tanto, si entendemos que esos intervalos sólo convergen a 0 en el sentido que cada uno es menor que el anterior, y nada más, entonces entendemos, pienso, que con ningún intervalo estaremos jamás más cerca de llegar al supuesto final: hallar el intervalo de valor 0 y por tanto el supuesto valor exacto de \( \sqrt[ ]{2} \).
En este sentido, pues, pienso que SOLO se puede decir "que con cada iteración se converge hacia un valor" cuando tomamos por referencia a los intervalos anteriores. Y por consiguiente, respecto a un hipotético valor absoluto y exacto que nos aguarda en el más etéreo infinito no se puede decir nada, más allá de que siempre tendremos una iteración que nos dará un intervalo mayor que 0.
un saludo