Parece que se sugiere aquí que la secuencia $n\,dx$ para $n=1,2,3,4,\ldots$ debe contener todos los números reales positivos. A los matemáticos actuales esto les parecerá extraño y a primera vista absurdo, por varias razones:
-
A pesar de ser una heurística inmensamente útil, que vale la pena aprender y utilizar, pensar en $dx$ como un infinitesimal, que no suele tomarse literalmente al hacer razonamientos matemáticos hoy en día.
-
Los infinitesimales no son números reales, y $dx, 2\,dx, 3\,dx, \ldots$ son infinitesimales.
-
No todos los infinitesimales están incluidos en la secuencia; por ejemplo, se podría preguntar por $1.3\,dx$ o $dx/20$ etc.
-
Entre los números $n\,dx$ aparentemente propuesto para ser incluido en la secuencia, cada número entero $n$ es finito, por lo que cada miembro de la secuencia es infinitesimal, por lo que ningún número no infinitesimal, como $1$ se alcanzará alguna vez.
-
Si se permitiera algún tipo de entero infinito en el papel de $n$ de modo que para algún valor infinitamente grande de $n$ el número $1$ eran iguales a $n\,dx$ entonces la "secuencia" no sería una secuencia en el sentido en que se entiende ese término cuando se dice que ninguna secuencia contiene todos los números reales. Cada término de una secuencia, en que sentido de la palabra secuencia tiene sólo un número finito de términos antes de ella.
De hecho, hay algunos sistemas en los que se puede hacer cálculo con infinitesimales que son coherentes con los modos de pensamiento estándar actuales. Uno de ellos es el análisis no estándar de Robinson. En el sistema de Robinson, uno podría considerar el conjunto $\{n\varepsilon: n=1,2,3,\ldots \}$ , donde $n$ pasa por la lista de enteros positivos no estándar, que incluye algunos enteros infinitos. Entonces cada número real estaría al menos infinitamente cerca de algunos términos de esta "secuencia" -- más de uno de ellos. Supongamos que se elige un número entero infinitamente grande $n$ tal que $n\varepsilon$ difiere de $\pi$ por un infinitesimal. Entonces $(n\pm1)\varepsilon$ , $(n\pm2)\varepsilon$ etc., también se diferenciaría de $\pi$ por una cantidad infinitamente pequeña, siempre que el número después de " $\pm$ " es finito. Eso no significa que $\pi$ aparecerían en la secuencia; más bien $\pi$ podría estar en algún lugar entre $n\varepsilon$ y $(n+1)\varepsilon$ . Y para valores suficientemente grandes de $n$ el número $n\varepsilon$ sería infinitamente grande, es decir, mayor que todos los números reales. Robinson y sus seguidores llaman a algo así una "secuencia" y son capaces de aplicar algunos de los mismos modos de razonamiento que normalmente aplicamos a lo que normalmente llamamos secuencias, pero dentro del sistema de Robinson ninguna secuencia de este tipo agota el conjunto de números reales no estándar, ya que por ejemplo muchos números reales no estándar están entre $n\varepsilon$ y $(n+1)\varepsilon$ .
Apéndice, citando una respuesta anterior que publiqué:
¿Qué es? $dx$ en la integración?
comenzar a cotizar
Leibniz, que introdujo esta notación en el siglo XVII, pensó en $dx$ como un incremento infinitamente pequeño de $x$ y, al menos como heurística, es una idea inmensamente útil.
Sin embargo, hay que tener en cuenta otros puntos:
- $\displaystyle\int f(x,y)\,dx$ difiere de $\displaystyle\int f(x,y)\,dy$ . En un caso, se integra una función de $x$ y $y$ es constante; en el otro estos papeles se invierten y uno puede estar integrando una función muy diferente.
- Si $f(x)$ está en metros por segundo y $dx$ está en segundos, entonces $f(x)\,dx$ está en metros, y también la integral. Estas cosas deberían ser dimensionalmente correctas, y no lo son sin el " $dx$ ".
- A veces se tiene un producto punto o un producto cruz o un producto matriz o algún otro tipo de producto entre $f(x)$ y $dx$ . ¿Cómo se puede especificar eso sin el " $dx$ ¿"Escrito allí"?
- Al hacer las sustituciones, es importante distinguir entre $dx$ y $du$ etc.
fin de la cita