¿Pueden algunos elementos infinitesimales ser más grandes que otros?

Senia ha dado una buena respuesta a la pregunta, aunque me gustaría agregar un poco más de ángulo a esta pregunta.

Supongamos que hay un camino dibujado sobre un terreno irregular “montañoso” como se muestra en la figura a continuación.

Si dibujamos una representación gráfica de la ruta, con el eje y representando la altitud y el eje x mostrando el desplazamiento atravesado por la ruta, el gráfico se verá más o menos así.

Para encontrar la longitud de la ruta, necesitamos agregar las longitudes de ruta infinitesimales. Aquí es donde radica el punto raíz de su respuesta: “¿Son todos los elementos infinitesimales iguales?”. Si su respuesta es sí, entonces implica que la longitud de la ruta que calculamos será igual al desplazamiento. Definitivamente no es verdad, ¿verdad? [1]

Una mirada más cercana nos muestra que un elemento infinitesimal [matemático] ds_1 [/ matemático] a lo largo de [matemático] x = 10 [/ matemático], donde la pendiente es despreciable es, de hecho, más pequeño que un elemento infinitesimal [matemático] ds_2 [/ matemático] a lo largo de [math] x = 30 [/ math], donde la longitud del camino es mayor debido a la pendiente.

En geometría diferencial, los coeficientes métricos explican esta aparente diferencia en las longitudes de camino. Para calcular la longitud de la ruta sobre un terreno, la fórmula general es [matemática] ds ^ 2 = g_ {ij} dx_idx_j [/ matemática], de acuerdo con la convención de suma de Einstein, donde se suman los índices repetidos. Las [matemáticas] g_ {ij} [/ matemáticas] son ​​los coeficientes métricos. Para un terreno plano, los componentes [matemática] g_ {ii} [/ matemática] y [matemática] g_ {jj} [/ matemática] son ​​[matemática] 1 [/ matemática], mientras que el resto es cero, por lo que recuperamos nuestra fórmula de Pitágoras [matemáticas] s ^ 2 = {x_1} ^ 2 + {x_2} ^ 2 [/ matemáticas]. Para terrenos irregulares como el que discutimos anteriormente, los coeficientes de [math] g [/ math] pueden ser mayores que [math] 1 [/ math] (como el camino rojo), igual a uno (como el camino rosa), o tal vez tiende al infinito (si la pendiente es infinita).


[1] Creo que podemos decir que si hay un elemento de simetría en el sistema, podemos encontrar un par de regiones donde los elementos infinitesimales son iguales / iguales. Por ejemplo, en un sistema de coordenadas esféricas, a la misma distancia radial del centro, cada elemento infinitesimal será el mismo. En consecuencia, los elementos infinitesimales a diferentes distancias radiales serán diferentes.

No estoy seguro de hasta qué punto los infinitesimales son una buena manera de pensar sobre estas cosas: la linealización y las formas diferenciales capturan de manera más natural los sistemas físicos reales.

Pero, si insiste en trabajar con infinitesimales, no solo pueden ser de diferentes tamaños, sino que en realidad deben ser de diferentes tamaños. De hecho, existe el principio de transferencia , que dice que cualquier afirmación que sea verdadera para los números reales en la lógica de primer orden debe ser verdadera para los números hiperrealistas (esencialmente, los números reales con infinitesimales activados) en la lógica de primer orden.

Entonces, en particular, en los números reales es cierto que

[math] \ displaystyle \ forall x> 0, \ exist y \ text {st} x> y> 0 \ tag * {}, [/ math]

o, traduciendo al inglés, por cada número real mayor que cero, hay otro número real menor que él pero aún mayor que cero. En consecuencia, esta misma afirmación debe ser cierta para los hiperreales, por lo que podemos concluir que para cualquier infinitesimal hay un infinitesimal más pequeño.

Por el contrario, no existe el mayor infinitesimal. Hay todo tipo de formas de probar esto, pero aquí hay una relativamente simple: para los números reales, es cierto que

[matemática] \ displaystyle \ forall 0

de lo cual podemos deducir que para cualquier infinitesimal positivo [matemáticas] \ epsilon [/ matemáticas], [matemáticas] \ sqrt {\ epsilon} [/ matemáticas] está definido y es un hiperreal más grande. Todavía queda por demostrar que es en sí mismo un hiperreal, pero eso es bastante simple: en contradicción, supongamos que para algún número entero [matemáticas] n [/ matemáticas],

[matemáticas] \ displaystyle \ sqrt {\ epsilon}> \ frac {1} {n} \ tag * {}. [/ matemáticas]

Entonces seguiría eso

[matemáticas] \ displaystyle \ epsilon> \ frac {1} {n ^ 2} \ tag * {}, [/ matemáticas]

lo cual es falso por suposición.

Los elementos infinitesimales son el resultado de tomar un límite.

Puede tener cualquier tipo de relación entre diferentes elementos infinitesimales, como dy = 5 * dx, etc. En este ejemplo, eso significaría Delta.y = 5 * Delta.x con un Delta.x pequeño pero no infinitesimal, después de tomar el limite Delta.x-> 0 la relación aún se mantiene, por lo que dy es estrictamente más grande que dx.

Contraejemplo: Delta.y = (Delta.x) ^ 2 – Aquí (desde el lado positivo) Delta.y siempre es más grande que Delta.x, pero este ya no es el caso después de tomar el límite Delta.x-> 0 .

No estoy muy seguro de si eso es pertinente a su problema específico; necesitaría saber más al respecto.

More Interesting

¿Cuál es la prueba más antigua del teorema de Pitágoras?

Cómo demostrar que el centroide y el centro del círculo circun (centro circunferencial) del triángulo equilátero coinciden

¿Cuál es la solución para esta simple pregunta matemática?

Si enumeras el último dígito de las potencias de dos listas, obtienes un patrón repetitivo de 2486. Otros patrones están a continuación. ¿Estos patrones tienen una estructura y se puede encontrar una fórmula para que el cálculo sea más rápido?

¿Es la matemática una obligación como un tema adicional para entrar en DU?

¿Cómo se puede probar que 'la media aritmética es mayor o igual que la media geométrica (para [matemáticas] a_1, a_2,…., A_n [/ matemáticas])' sin usar inducción?

¿Cuál es un buen punto de partida para aprender matemáticas puras?

¿Cuál es el número más pequeño de 3 dígitos con los factores los primeros 3 números primos y los primeros 3 números compuestos?

¿Cuántas matemáticas implica involucrarse y convertirse en piloto de línea aérea?

Si [matemática] a + b + c = n [/ matemática] y [matemática] a ^ 2 + b ^ 2 = c ^ 2 [/ matemática], el producto [matemática] abc [/ matemática] puede tener diferentes números de soluciones . Para qué tipo de número es [math] n [/ math], el producto [math] abc [/ math] solo puede tener 1 solución?

¿Cuál es el significado del teorema de Stone-Weierstrass?

Cómo calcular [matemáticas] \ int_ {2} ^ {3} \ sqrt {2x- \ sqrt {5 (4x-5)}} + \ sqrt {2x + \ sqrt {5 (4x-5)}} dx [/ matemáticas]

Cómo calcular la mediana de conjuntos de números dados cuando se cambia el número de elementos en una lista

9 personas deben estar sentadas en una fila. Dos de ellos, A y B, deben sentarse uno al lado del otro, y otros dos, C y D, no deben sentarse uno al lado del otro. ¿Cuántos arreglos diferentes para sentarse son posibles?

¿Cuál es la raíz cúbica de a -9 (nueve negativos)?