¿Cuál es el significado de infinitesimal?

He leído que un infinitesimal es muy pequeño, es impensablemente pequeño, pero no me siento muy cómodo con sus aplicaciones. Mi primera pregunta es que es un infinitesimal un valor estacionario? No puede ser un valor estacionario porque, de ser así, existe un valor más pequeño en la recta numérica real, por lo que debe ser un valor móvil. Mover valor hacia 0 entonces, en la mayoría de los lugares, usamos su magnitud igual a cero, pero al mismo tiempo también sabemos que infinitesimal no es igual, por lo que en todos esos lugares usamos el valor de infinitesimal igual a 0 estamos cometiendo un error infinitesimal y no estamos 100 % preciso, tal vez 99.9999 % preciso, pero no 100 % ! Entonces, explique infinitesimal y sus aplicaciones y metodología en el contexto del párrafo anterior o, de lo contrario, intuitivamente, por favor.

una cantidad distinta de cero puede considerarse infinitesimalmente pequeña (grande) si su mitad es igual a sí misma.
@giorgi Tu ejemplo describe cero...
@Juris gracias. Este ejemplo parece ser útil para cantidades infinitesimalmente grandes.
Su error está aquí: "No puede ser un valor estacionario porque, de ser así, existe un valor más pequeño en la línea de números reales...". Los infinitesimales no son números reales y, por lo tanto, no viven en la recta numérica real en primer lugar. Son parte de una extensión de los números reales, así como los números reales son una extensión de los números racionales, y los números racionales son una extensión de los números enteros.

Respuestas (6)

los numeros reales R es un ejemplo de campo , un espacio donde se pueden sumar, restar, multiplicar y dividir elementos. Además, R es un ejemplo de un campo ordenado , es decir, para cualquier a , b R tenemos cualquiera a < b , a = b , o a > b . Tenga en cuenta que hay algunas condiciones adicionales sobre la interacción entre las desigualdades y las operaciones de campo.

Un infinitesimal positivo en un campo ordenado es un elemento mi > 0 tal que mi < 1 norte para todos norte norte . Un infinitesimal negativo es mi < 0 tal que mi es un infinitesimal positivo. Un infinitesimal es un infinitesimal positivo, un infinitesimal negativo o cero.

En R sólo hay un infinitesimal, cero - esta es precisamente la propiedad de Arquímedes de R . Entonces, mientras que las personas usan la palabra infinitesimal para transmitir intuición, los números reales no tienen infinitesimales distintos de cero, por lo que su explicación es defectuosa.

En los primeros desarrollos del cálculo por parte de Newton y Leibniz, el concepto de infinitesimal se utilizó ampliamente pero nunca se definió explícitamente. La forma en que esto se ha rectificado a lo largo de la historia es a través de la introducción de límites que todavía capturan la intuición, pero que de hecho están perfectamente definidos.

Cabe señalar que otros campos ordenados tienen infinitesimales distintos de cero. Incluso podría intentar encontrar un campo ordenado que contenga todos los números reales que conoce y ama, pero que también tiene infinitesimales distintos de cero. ¡Tal cosa existe! Abraham Robinson mostró por primera vez que existe un campo tan ordenado en 1960 usando la teoría de modelos, pero en realidad se puede construir usando algo llamado construcción de ultrapoder. Esto se llama el campo de los números hiperreales y se denota R . Con los hiperreales a la mano, puedes tomar todas las ideas que usaron Newton y Leibniz e interpretarlas casi literalmente. El cálculo realizado de esta manera a menudo se denomina análisis no estándar .

Acerca del análisis no estándar: tal vez un poco sorprendentemente, tales métodos encuentran uso en el análisis funcional. Para ver un ejemplo, consulte esta publicación de Haskel Curry: math.stackexchange.com/a/263966/30222
Ja, deberías poner comillas alrededor de "Haskel Curry", ya que no creo que ese sea el nombre real del póster, sino un homenaje al verdadero Haskel Curry. @tomasz
@ThomasAndrews: Eso es cierto, pero normalmente me refiero a otros usuarios por sus nombres de usuario. ¿no? :) Sin embargo, cometí un error tipográfico. Es Haskell, por supuesto.
Usted dice que los infinitesimales deben ser mayores que cero, pero luego afirma que cero es un infinitesimal para los números reales. Esto es claramente una contradicción.
@CameronWilliams: dije que un infinitesimal positivo es mayor que cero, no dije que un infinitesimal es mayor que cero.
Ups, me perdí la parte donde incluyeste el cero. Mi error. No estaba leyendo lo suficientemente cerca.
¿Puede alguien explicar por qué los infinitesimales distintos de cero no son números reales?
@dushyanth: Esta es precisamente la propiedad de Arquímedes de los números reales: para todo número real positivo X , hay un entero positivo norte tal que X > 1 norte .
Pienso infinitesimal positivo como el número real positivo más pequeño mayor que 0 ......
@Aatmaj: Esa puede ser su intuición, pero interpretada literalmente, la declaración es falsa. Incluso en campos ordenados que contienen infinitesimales (como los hiperreales), no hay ningún elemento positivo más pequeño mayor que cero. Por ejemplo, siempre puedes dividir por dos para obtener un elemento más pequeño.

En general, es mejor pensar en los infinitesimales como una intuición o motivación que como algo que realmente existe. En la teoría estándar de los números reales, no existe el infinitesimal.

En los primeros días del cálculo, muchas de las ideas se definían en términos de una idea intuitiva de los infinitesimales, pero en el siglo XIX, a medida que las matemáticas se movían cada vez más para asegurarse de que los fundamentos de las matemáticas tuvieran sentido, encontraron problemas con infinitesimales, y una forma de hacer cálculos sin necesidad de los números infinitesimales, y por lo tanto los descartó.

En cálculo, la "idea motivadora" de los infinitesimales permanece en algunas de las notaciones:

d y d X
no es una fracción, pero la representamos como una fracción de infinitesimales. La clave es recordar que en realidad no es una fracción, aunque a menudo actúa como una fracción. Lo mismo con la notación:

a b F ( X ) d X
el d X vuelve a representar una idea intuitiva de un infinitesimal, pero no se trata de un número real, sino de una notación.

Las matemáticas más modernas pueden dar una base rigurosa que incluye infinitesimales. Esto no es estándar y probablemente sea más complicado de lo que necesita.

d y d X es de hecho una fracción, por d y = F ( X ) Δ X y d X = Δ X , entonces d y d X = F ( X ) y d y = F ( X ) d X . Aprende más en este libro
No, d X Δ X . Creo que he aprendido suficiente cálculo, gracias. @iMath
books.google.com.hk/… el libro de texto explica por qué dx=Δx
@ThomasAndrews, la convención habitual con respecto a la variable independiente Δ X es asignar d X = Δ X , mientras que para la variable dependiente Δ y = F ( X + d X ) F ( X ) por supuesto que hay una diferencia entre d y = F ( X ) d X y Δ y .
Lo siento, pero en la notación. d y d X , d X no quiere decir Δ X . Lo mismo es cierto para la mayoría de las otras ocurrencias de d X en integrales, formas diferenciales y similares. d X no es un número en estos sentidos. Es posible desarrollar una teoría de la línea real con infinitesimales, pero no es estándar y no se suele hacer.
¿No puedes "definirlo" usando diferenciales? Quiero decir d F ( X ) F ( X ) Δ X y luego
D F = F ( X ) d X
y luego ir a
d y = F ( X ) d X
Entonces la notación es tal que
d y = d y d X d X
Esa no es una definición. @AndreasStorvikStrauman Esa es lógicamente la motivación de la notación, pero no es una definición.
De acuerdo, abuso de notación y terminología. Culpa mía. Sin embargo, soy un TA en mecánica clásica, y los estudiantes están muy confundidos por el infinitesimal. Estaba pensando en mostrarles algo así, pero no quiero mostrarles algo malo. Una vez que comencé a investigarlo, me di cuenta de que realmente no lo entiendo muy bien. ¿Algún consejo sobre cómo presentar esto?

Los infinitesimales son un producto natural de la imaginación humana y se han utilizado desde la antigüedad, por lo que no los describiría como "impensablemente pequeños". Uno puede pensar en ellos e incluso representarlos gráficamente usando el dispositivo pedagógico de los microscopios, como en el libro de texto clásico de Keisler Elementary Calculus .

En mi experiencia enseñando infinitesimales en el aula, los estudiantes tienden a pensar en los infinitesimales como cantidades que tienden a cero, o en términos de "cantidades variables", como las describieron a menudo los pioneros del cálculo como Leibniz y Cauchy. Esta es una intuición útil que debe fomentarse, pero en última instancia, deben construirse como valores constantes (o como usted dice "estacionarios") si se van a formalizar dentro de un marco matemático moderno.

El "error infinitesimal" al que te refieres parece ser el tipo de técnica que ocurre por ejemplo en el cálculo de la derivada de y = X 2 , dónde Δ y Δ X se simplifica algebraicamente a 2 X + Δ X y uno está desconcertado por la desaparición de lo infinitesimal Δ X término que produce la respuesta final 2 X ; esto se formaliza matemáticamente en términos de la función de parte estándar .

Para responder a su pregunta sobre las aplicaciones de los infinitesimales: son numerosas (consulte el texto de Keisler), pero en lo que respecta a la pedagogía, son una alternativa útil a las complicaciones del épsilon, técnicas delta que se utilizan a menudo para introducir conceptos de cálculo como la continuidad. Las técnicas epsilon, delta implican complicaciones lógicas relacionadas con la alternancia de cuantificadores; Numerosos estudios educativos sugieren que a menudo son un obstáculo formidable para aprender cálculo. Los infinitesimales proporcionan un enfoque alternativo que es más accesible para los estudiantes y no requiere incursiones en complicaciones lógicas necesarias para el enfoque épsilon, delta.

De hecho, ayer hice una encuesta rápida en mi clase de cálculo, presentando (A) una definición épsilon, delta y (B) una definición infinitesimal; al menos dos tercios de los estudiantes encontraron la definición (B) más comprensible.

Para responder al comentario reciente, una diferencia entre nuestro enfoque y el de Keisler es que dedicamos al menos dos semanas a detallar el enfoque épsilon-delta (una vez que los estudiantes ya comprenden los conceptos básicos a través de sus definiciones infinitesimales). Por lo tanto, los estudiantes reciben una exposición significativa a ambos enfoques. Nuestra experiencia educativa y las reacciones de los estudiantes a nuestro enfoque se detallan en esta publicación reciente .

Puede ser que (A)+(B) sea más comprensible que cualquiera de los dos por sí solo.
Hola @Evgeni, respondí en el cuerpo de mi respuesta .

Imagine un número que tiene un valor absoluto más pequeño que el valor absoluto de cualquier número real distinto de cero. Es un número infinitesimal. Así es como lo entiendo.

@ThomasAndrews No lo creo. No son iguales según esta definición (aunque su parte estándar siempre es igual a cero) y pueden definir derivadas rigurosamente (a través de análisis no estándar). Todos los números reales son finitos; esto no los hace iguales.
Oh, me perdí la parte del "número real", no importa, elimino mi objeción. :)

Creo que las matemáticas modernas en su mayoría se mantienen alejadas de los infinitesimales. Preferimos hablar en términos de límites y en oraciones como, "Para todos los números ϵ , por pequeña que sea, se cumple la siguiente propiedad".

Creo que el análisis no estándar define lo infinitesimal: http://en.wikipedia.org/wiki/Non-standard_calculus

Si considera que la geometría algebraica es una rama de las matemáticas modernas, tendrá que reconsiderar su afirmación de que las matemáticas modernas se mantienen alejadas de los infinitesimales.
@ user72694 Punto bien tomado. Espero entenderlo mejor pronto.

Considere el infinito . ¿Es un "valor estacionario"? ¿Dónde está en la recta numérica? El infinito es un concepto. Tiene un valor mayor que cualquier valor que puedas imaginar.

Asimismo, infinitesimal es un concepto; su valor es más pequeño que cualquier valor que puedas imaginar.

Mire este video y apreciará por qué Infinity e Infinitesimal no se pueden "explicar" a alguien que busca encontrar "aplicaciones" / "metodología".

+ es el extremo superior de la recta numérica . El infinito dejó de ser "solo un concepto" hace más de un siglo, los infinitesimales hace al menos 50 años. Ambos pueden haber retrocedido mucho más.