[josanagui]

Hola, tengo la siguiente duda. Si alguien pudiese resolvérmela se lo agradecería:

Sea \( x \) la variable independiente de una función \( f(x) \). Se define un infinitésimo cuando \( {x\to a} \) en una función \( f(x) \) si se cumple \( \displaystyle\lim_{x\to a}{f(x)}=0 \). Se define \( dx \), diferencial de \( x \), como un número tan pequeño que casi es 0 pero que no llega a ser 0, es decir, un número infinitamente pequeño, o dicho de otra manera, como una variación infinitamente pequeña de esa \( x \). Mi duda es: ¿infinitésimo es sinónimo de diferencial de \( x \)? ó ¿todos los infinitésimos son \( dx \) pero no todos los \( dx \) son infinitésimos? ó ¿todos los \( dx \) son infinitésimos pero no todos los infinitésimos son \( dx \)? ó ¿son dos cosas totalmente distintas?

Gracias.

[Masacroso]

Hola, tengo la siguiente duda. Si alguien pudiese resolvérmela se lo agradecería:

Sea \( x \) la variable independiente de una función \( f(x) \). Se define un infinitésimo cuando \( {x\to_a} \) en una función \( f(x) \) si se cumple \( \displaystyle\lim_{x\to_a}{f(x)}=0 \).

¿En esa definición que es lo que sería exactamente el infinitésimo? ¿El límite funcional, el número \( a \), una sucesión convergente a \( a \)? No queda nada claro.

Se define \( dx \), diferencial de \( x \), como un número tan pequeño que casi es 0 pero que no llega a ser 0, es decir, un número infinitamente pequeño, o dicho de otra manera, como una variación infinitamente pequeña de esa \( x \).

No existe un número real que cumpla con esas condiciones. Para definir algo parecido rigurosamente hay que utilizar el análisis no estándar. En ese contexto un infinitesimal sería uno de los tipos de números del cuerpo de los hiperreales.

Mi duda es: ¿infinitésimo es sinónimo de diferencial de \( x \)? ó ¿todos los infinitésimos son \( dx \) pero no todos los \( dx \) son infinitésimos? ó ¿todos los \( dx \) son infinitésimos pero no todos los infinitésimos son \( dx \)? ó ¿son dos cosas totalmente distintas?

Gracias.

En general se entiende por diferencial un tipo de vector en geometría diferencial (un vector en el fibrado cotangente de una variedad diferencial) y no tiene nada que ver con los números hiperreales.

[ciberalfil]

El infinitesimo es la función cuyo limite es cero, pero para entender el concepto es necesario realizar algunas matizaciones de forma previa:

1.- El concepto de infinitesimo exige la existencia previa de un proceso de paso al limite, de forma que todas las funciones que en dicho proceso tengan limite cero serán infinitesimos. La condición de infinitesimo esta pues supeditada a un proceso de paso al limite que debe ser establecida previamente, así pues habrá funciones que podrá ser infinitesimos o no dependiendo de cual sea el proceso de paso al limite en el que se consideren.

2.- Los infinitesimos no existen de forma absoluta, su existencia es simplemente una consideración dependiendo del uso que se asigne a la función que lo genera. \( Sen(x) \) solo es un infinitesimo si nos encontramos en un proceso de paso al limite en el que \( x \) tiende a 0. (Para ser exactos que dicha función solo sera un infinitésimo si nos encontramos en un proceso que haga que se cumpla la:

\( \displaystyle\lim{Sen (x)}=0 \)

Es claro que no solo \( x\to 0 \) convierte a la función seno en un infinitésimo.

[ciberalfil]

En general se entiende por diferencial un tipo de vector en geometría diferencial (un vector en el fibrado cotangente de una variedad diferencial) y no tiene nada que ver con los números hiperreales.

Masacroso, contestar esto a alguien que plantea la pregunta que da origen al debate no sirve de nada, porque seguro que no sabe lo que es un fibrado, ni tan siquiera sepa lo que es la geometría diferencial.

Hay una frase que afirma que si no puedes explicarselo a tu abuela es que no lo entiendes, imagina pues que quien pregunto era tu abuela. Piensa que los diferenciales ya se usan actualmente a niveles de secundaria, asi que creo que un poco menos de nivel sería un poco más didactico. Tambien estoy personalmente interesado en ver la respuesta que das, no porque no sepa lo que es un diferencial, sino por ver como se lo explicas a alguien que no tiene ni pajolera idea de que es la geometría diferencial ni los fibrados. Me tienes sobre ascuas.


 

[ciberalfil]

Bastaria para iniciar una sucinta explicación que respondieras a algunas de estas preguntas:

1.- dx que representa, un numero u otra cosa distinta

2.- dx que valores toma:

a) valores en el campo de los reales
b) otros valores (cuales)

3.- Cuantos valores puede tomar, uno solo o mas de uno?

4.- Que significado tiene la expresion:

dy=y'dx

[josanagui]

El infinitesimo es la función cuyo limite es cero, pero para entender el concepto es necesario realizar algunas matizaciones de forma previa:

1.- El concepto de infinitesimo exige la existencia previa de un proceso de paso al limite, de forma que todas las funciones que en dicho proceso tengan limite cero serán infinitesimos. La condición de infinitesimo esta pues supeditada a un proceso de paso al limite que debe ser establecida previamente, así pues habrá funciones que podrá ser infinitesimos o no dependiendo de cual sea el proceso de paso al limite en el que se consideren.

2.- Los infinitesimos no existen de forma absoluta, su existencia es simplemente una consideración dependiendo del uso que se asigne a la función que lo genera. \( Sen(x) \) solo es un infinitesimo si nos encontramos en un proceso de paso al limite en el que \( x \) tiende a 0. (Para ser exactos que dicha función solo sera un infinitésimo si nos encontramos en un proceso que haga que se cumpla la:

\( \displaystyle\lim{Sen (x)}=0 \)

Es claro que no solo \( x\to 0 \) convierte a la función seno en un infinitésimo.

Hola, gracias a todos por contestar. La verdad que no tengo mucha idea de lo que me quieres decir Masacroso ya que mi nivel es de bachillerato y poco más, aún así te doy las gracias por participar. Gracias Ciberalfil, ya me ha quedado más claro la definición de infinitésimo, y entiendo que es algo distinto a \( dx \), aunque no tengo claro lo que significa \( dx \). Por \( dx \) (me refiero al dx que aparece por ejemplo al final de una integral) entiendo que es un número infinitamente pequeño pero que no llega a ser cero, aunque claro, esta es una definición muy poco formal.

[geómetracat]

Este es un tema recurrente en este foro sobre el que se ha hablado extensamente. No me quiero meter en discusiones sobre esto, pero creo que es importante para josanagui dejar clara una cosa.

En el análisis matemático ortodoxo actual, es decir, tal como lo hacen los matemáticos, no existen ni los infinitésimos ni las diferenciales \( dx \), salvo en el contexto que ya ha mencionado Masacroso de geometría diferencial, donde tienen un significado muy preciso, pero que no tiene nada que ver con números infinitamente pequeños ni nada parecido. Desde el punto de vista ortodoxo, la respuesta de Masacroso es impecable.

Ahora bien, los físicos y los ingenieros usan infinitésimos y diferenciales a menudo, de una manera un tanto informal. Otro tema es si se pueden dar justificaciones totalmente rigurosas al uso que hacen, en lo que no voy a entrar.

En cualquier caso, rigurosamente hablando, esto:

Por \( dx \) (me refiero al dx que aparece por ejemplo al final de una integral) entiendo que es un número infinitamente pequeño pero que no llega a ser cero, aunque claro, esta es una definición muy poco formal.

es un sinsentido: no existe ningún número real que sea "infinitamente pequeño" (¿qué quiere decir eso?) y no sea cero. La única forma que conozco de dar sentido riguroso a esto, son los hiperreales y cosas parecidas, pero no creo que sea muy bueno meterse en esos jaleos.

En resumen: para los matemáticos actuales, no hay ni diferenciales ni infinitésimos, aunque físicos e ingenieros los usen contínuamente de forma "informal".

[ciberalfil]

Podemos intentar evitar el uso de los infinitésimos y de los infinitos (me refiero a las funciones que en un proceso de paso al límite tienden a 0 e infinito respectivamente) pero negar su existencia es como negar que el sol sale todos los días por el horizonte, basta con levantar los ojos para ver que esta ahí.

Quizás la razón de evitar este uso es que históricamente han sido muy conflictivos y que han tenido muchos detractores a lo largo de la historia, pero usarlos es tan lícito como usar el calor del sol para calentarnos y aprovechar su energía.

Decir que para los matemáticos los infinitésimos no existen es una solemne barbaridad, podemos aceptar que la ortodoxia evite su uso y prefiera otros métodos para desarrollar la teoría pero decir que no existen, venga hombre que la ciencia y el dogma son cosas bien distintas, hoy, hace 500 años y hace 3.000 años también.

Parece mentira que alguien que se muestra como moderador global deje aqui, en este foro, una afirmación tan claramente falsa sobre lo que piensan los matemáticos.

[geómetracat]

Cuando digo que "no existen" únicamente me refiero a que no encontrarás ninguna referencia a ellos si lees un libro moderno de análisis matemático ortodoxo  o asistes a clases en una facultad de matemáticas, y que cualquier cosa que puedas hacer con ellos la puedes hacer igualmente sin ellos usando la teoría ortodoxa.

No entro en ningún otro sentido de la existencia, que son asuntos ya más filosóficos que matemáticos.

[ciberalfil]

Bien, pero es "licito" estudiarlos, y aprovechar sus propiedades siempre que se haga de forma rigurosa o debe evitarse su estudio?