En cálculo , la definición de límite ( ε , δ ) (" definición de límite épsilon - delta ") es una formalización de la noción de límite . El concepto se debe a Augustin-Louis Cauchy , quien nunca dio una definición formal ( ε , δ ) de límite en su Cours d'Analyse , pero ocasionalmente usó argumentos ε , δ en las demostraciones. Fue dada por primera vez como una definición formal por Bernard Bolzano en 1817, y la declaración moderna definitiva la proporcionó finalmente Karl Weierstrass .[1] [2] Proporciona rigor a la siguiente noción informal: la expresión dependiente f ( x ) se acerca al valor L cuando la variable x se acerca al valor c si f ( x ) se puede hacer tan cerca como se desee a L tomando x suficientemente cerca de c .
Historia
Aunque los griegos examinaron los procesos limitantes, como el método babilónico , probablemente no tenían un concepto similar al límite moderno. [3] La necesidad del concepto de límite surgió en el siglo XVII, cuando Pierre de Fermat intentó encontrar la pendiente de la recta tangente en un punto. a la gráfica de una función como . Usando una cantidad distinta de cero pero casi cero, Fermat realizó el siguiente cálculo:
La clave del cálculo anterior es que, dado que es distinto de cero, se puede dividir por , pero desde está cerca de 0, Es esencial . [4] Cantidades comose llaman infinitesimales . El problema con este cálculo es que los matemáticos de la época no pudieron definir rigurosamente una cantidad con propiedades de, [5] a pesar de que era una práctica común 'descuidar' los infinitesimales de mayor poder y esto parecía producir resultados correctos.
Este problema reapareció más tarde en el siglo XVII en el centro del desarrollo del cálculo , donde cálculos como el de Fermat son importantes para el cálculo de derivadas . Isaac Newton desarrolló por primera vez el cálculo a través de una cantidad infinitesimal llamada fluxion . Los desarrolló en referencia a la idea de un "momento infinitamente pequeño en el tiempo ..." [6]. Sin embargo, Newton luego rechazó las fluxiones en favor de una teoría de las proporciones que se acerca a la moderna.definición del límite. [6] Además, Newton era consciente de que el límite de la proporción de cantidades que desaparecen no era en sí mismo una proporción, como escribió:
- Esas razones últimas ... no son en realidad razones de cantidades últimas, sino límites ... a los que pueden acercarse tan de cerca que su diferencia es menor que cualquier cantidad dada ...
Además, Newton ocasionalmente explicó los límites en términos similares a la definición épsilon-delta. [7] Gottfried Wilhelm Leibniz desarrolló un infinitesimal propio y trató de proporcionarle una base rigurosa, pero aún así fue recibido con inquietud por algunos matemáticos y filósofos. [6]
Augustin-Louis Cauchy dio una definición de límite en términos de una noción más primitiva que llamó cantidad variable . Nunca dio una definición de límite épsilon-delta (Grabiner 1981). Algunas de las pruebas de Cauchy contienen indicaciones del método épsilon-delta. Si su enfoque fundacional puede o no ser considerado un presagio del de Weierstrass es un tema de controversia entre los académicos. Grabiner cree que sí, mientras que Schubring (2005) no está de acuerdo. [ dudoso ] [1] Nakane concluye que Cauchy y Weierstrass dieron el mismo nombre a diferentes nociones de límite. [8] [ fuente no confiable? ]
Eventualmente, Weierstrass y Bolzano reciben el crédito de proporcionar una base rigurosa para el cálculo, en la forma de la moderna definición del límite. [1] [2] La necesidad de hacer referencia a un infinitesimalluego se eliminó, [6] y el cálculo de Fermat se convirtió en el cálculo del siguiente límite:
Esto no quiere decir que la definición limitante estuviera libre de problemas ya que, aunque eliminó la necesidad de infinitesimales, sí requirió la construcción de los números reales por Richard Dedekind . [6] Esto tampoco quiere decir que los infinitesimales no tengan lugar en las matemáticas modernas, ya que los matemáticos posteriores fueron capaces de crear rigurosamente cantidades infinitesimales como parte de los sistemas numéricos hiperrealistas o surrealistas . Además, es posible desarrollar rigurosamente el cálculo con estas cantidades y tienen otros usos matemáticos. [9]
Declaración informal
Una definición informal viable (es decir, intuitiva o provisional) es que una " función f se acerca al límite L cerca de a (simbólicamente,) si se puede hacer que f ( x ) se acerque arbitrariamente a L al exigir que x esté lo suficientemente cerca, pero no sea igual, a a . " [10]
Decir que dos cosas están cerca (por ejemplo, f ( x ) y L o x y un ) significa que la diferencia (o distancia ) entre ellos es pequeña. Cuando f ( x ) , L , X , y una son números reales , la diferencia / distancia entre dos números es el valor absoluto de la diferencia de los dos. Por lo tanto, decir que f ( x ) está cerca de L significa que | f ( x ) - L | es pequeño. Decir que x y un son medios que cerca | x - a | es pequeño. [11]
Decir que f ( x ) se puede hacer arbitrariamente cerca de L , significa que para todas las distancias distintas de cero, ε la distancia entre f ( x ) y L puede hacerse más pequeña que ε . [11]
Diciendo eso {matemáticas | f ( x )}} se puede hacer arbitrariamente cerca de L requiriendo que x esté lo suficientemente cerca, pero, desigual a, a , significa que para cada distancia ε distinta de cero , hay una distancia δ distinta de cero tal que si la distancia entre x y una es menor que δ entonces la distancia entre f ( x ) y L es menor que ε . [11]
El aspecto informal / intuitivo que debe entenderse aquí es que la definición requiere la siguiente conversación interna (que normalmente se parafrasea con un lenguaje como "tu enemigo / adversario te ataca con una ε , y tú te defiendes / te proteges con una δ "): A uno se le proporciona cualquier desafío ε > 0 para una f , a y L dadas . Se debe responder con un δ > 0 tal que 0 <| x - a | < δ implica que | f ( x ) - L | < ε . Si uno puede dar una respuesta a cualquier desafío, entonces ha demostrado que el límite existe. [12]
Declaración precisa para funciones de valor real
La La definición del límite de una función es la siguiente: [11]
Dejar ser una función de valor real definida en un subconjuntode los números reales . Dejarser un punto límite de y deja ser un número real. Luego
si por cada existe un tal que, para todos , Si , luego . [13]
Simbólicamente:
Si o , entonces la condición de que es un punto límite se puede reemplazar con la condición más simple de que c pertenece a D , ya que los intervalos reales cerrados y la línea real completa son conjuntos perfectos .
Declaración precisa para funciones entre espacios métricos
La definición se puede generalizar a funciones que se asignan entre espacios métricos . Estos espacios vienen con una función, llamada métrica, que toma dos puntos en el espacio y devuelve un número real que representa la distancia entre los dos puntos. [14] La definición generalizada es la siguiente: [15]
Suponer está definido en un subconjunto de un espacio métrico con una métrica y mapas en un espacio métrico con una métrica . Dejar ser un punto límite de y deja ser un punto de . Luego
si por cada , existe un tal que para todos , Si , luego .
Desde es una métrica de los números reales, se puede demostrar que esta definición generaliza la primera definición para funciones reales. [dieciséis]
Negación de la declaración precisa
La negación lógica de la definición es la siguiente: [17]
Suponer está definido en un subconjunto de un espacio métrico con una métrica y mapas en un espacio métrico con una métrica . Dejar ser un punto límite de y deja ser un punto de . Luego
si existe un tal que para todos hay un tal que y . Luego no existe si para todos , .
Para la negación de una función de valor real definida en los números reales, simplemente establezca .
Declaración precisa de límites en el infinito
La declaración precisa para los límites en el infinito es la siguiente:
Suponer es de valor real que se define en un subconjunto de los números reales que contienen valores arbitrariamente grandes. Luego
si por cada , hay un numero real tal que para todos , Si luego . [18]
También es posible dar una definición en espacios métricos generales. [ cita requerida ]
Límites unilaterales
El estandar La definición no permite definir límites en puntos de discontinuidad. Para esto, los límites unilaterales son útiles. El límite "desde la derecha" se define formalmente como
y el límite "desde la izquierda" como
Ejemplos resueltos
Ejemplo 1
Se demostrará que
- .
Dado es . A es necesario de tal manera que implica .
Dado que el seno está acotado por encima de 1 y por debajo de -1,
Por lo tanto, se toma, entonces implica , que completa la prueba.
Ejemplo 2
La declaración
se probará para cualquier número real .
Dado es . A se encontrará de tal manera que implica .
Empezando por factorizar
el termino está delimitado por por lo que se puede presuponer un límite de 1, y luego se puede elegir algo más pequeño que eso para . [19]
Entonces se supone que . Desde se mantiene en general para números reales y ,
Por lo tanto
Así, a través de la desigualdad del triángulo ,
Por tanto, si además se supone que
luego
En resumen, Está establecido.
Así que si , luego
Por lo tanto, un se encuentra tal que implica . Así, se demuestra que
para cualquier número real .
Ejemplo 3
La declaración
será probado.
Esto se muestra fácilmente a través de la comprensión gráfica del límite y, como tal, sirve como una base sólida para la introducción a la prueba. De acuerdo con la definición formal anterior, una declaración de límite es correcta si y solo si confina a unidades de Inevitablemente confinará a unidades de . En este caso específico, esto significa que la afirmación es verdadera si y solo si se limita a las unidades de 5 limitarán inevitablemente
a unidades de 12. La clave general para mostrar esta implicación es demostrar cómo y deben estar relacionados entre sí de manera que la implicación sea válida. Matemáticamente, se demostrará que
Simplificar, factorizar y dividir 3 en el lado derecho de la implicación da como resultado
que da inmediatamente el resultado requerido si
esta elegido.
Por lo tanto, la prueba está completa. La clave de la prueba radica en la capacidad de uno para elegir límites en, y luego concluir los límites correspondientes en , que en este caso se relacionaron por un factor de 3, que se debe enteramente a la pendiente de 3 en la línea
Continuidad
Se dice que una función f es continua en c si está definida en c y su valor en c es igual al límite de f cuando x se acerca a c :
La La definición de una función continua se puede obtener a partir de la definición de un límite reemplazando con , para asegurar que f se define en cy es igual al límite.
Una función f se dice que es continua en un intervalo I si es continua en cada punto c de I .
Comparación con la definición infinitesimal
Keisler demostró que una definición hiperreal de límite reduce la complejidad del cuantificador lógico en dos cuantificadores. [20] A saber,converge a un límite L comotiende a un si y solo si el valorestá infinitamente cerca de L para cada e infinitesimal . (Consulte Microcontinuidad para obtener una definición relacionada de continuidad, esencialmente debido a Cauchy ).
Los libros de texto de cálculo infinitesimal basados en el enfoque de Robinson proporcionan definiciones de continuidad, derivada e integral en puntos estándar en términos de infinitesimales. Una vez que se han explicado a fondo nociones como la continuidad mediante el enfoque que utiliza la microcontinuidad, también se presenta el enfoque épsilon-delta. Karel Hrbáček sostiene que las definiciones de continuidad, derivada e integración en el análisis no estándar de estilo Robinson deben basarse en el método ε - δ , para cubrir también los valores no estándar de la entrada. [21] Błaszczyk y col. argumentan que la microcontinuidad es útil para desarrollar una definición transparente de continuidad uniforme, y caracterizan la crítica de Hrbáček como un "lamento dudoso". [22] Hrbáček propone un análisis no estándar alternativo, que (a diferencia de Robinson) tiene muchos "niveles" de infinitesimales, de modo que los límites en un nivel se pueden definir en términos de infinitesimales en el siguiente nivel. [23]
Familia de definiciones de límites formales
No existe una única definición de límite, existe toda una familia de definiciones. Esto se debe a la presencia del infinito y al concepto de límites "desde la derecha" y "desde la izquierda". El límite en sí mismo puede ser un valor finito,, o . El valor abordado por también puede ser un valor finito, , o , y si es un valor finito, se puede abordar desde la izquierda o desde la derecha. Normalmente, a cada combinación se le da su propia definición, como esta:
Notación | Def. | Ejemplo | |||||||||||||
Ver también
- Función continua
- Límite de una secuencia
- Lista de temas de cálculo
- Teorema del emparedado
Referencias
- ^ a b c Grabiner, Judith V. (marzo de 1983), "¿Quién te dio el épsilon? Cauchy y los orígenes del cálculo riguroso" (PDF) , The American Mathematical Monthly , 90 (3): 185-194, doi : 10.2307 / 2975545 , JSTOR 2975545 , archivado (PDF) desde el original, el 2009-05-04 , recuperada 2009-05-01
- ^ a b Cauchy, A.-L. (1823), "Septième Leçon - Expresiones Valeurs de quelques qui se présentent sous les formes indéterminées ∞ ∞ , ∞ 0 , ... {\ displaystyle {\ frac {\ infty} {\ infty}}, \ infty ^ {0}, \ ldots} Relation qui existe entre le rapport aux différences finies et la fonction dérivée " , Résumé des leçons données à l'école royale polytechnique sur le calcul infinitésimal , París, archivado desde el original el 2009-05-04 , consultado el 2009-05-01 , pág.44 .CS1 maint: posdata ( enlace ). Consultado el 1 de mayo de 2009.
- ^ Stillwell, John (1989). Matemáticas y su historia . Nueva York: Springer-Verlag. págs. 38–39 . ISBN 978-1-4899-0007-4.
- ^ Stillwell, John (1989). Matemáticas y su historia . Nueva York: Springer-Verlag. pp. 104 . ISBN 978-1-4899-0007-4.
- ^ Stillwell, John (1989). Matemáticas y su historia . Nueva York: Springer-Verlag. págs. 106 . ISBN 978-1-4899-0007-4.
- ^ a b c d e Buckley, Benjamin Lee (2012). El debate de la continuidad: Dedekind, Cantor, du Bois-Reymond y Peirce sobre la continuidad y los infinitesimales . pag. 31-35. ISBN 9780983700487.
- ^ Pourciau, B. (2001), "Newton y la noción de límite", Historia Mathematica , 28 (1): 18–30, doi : 10.1006 / hmat.2000.2301
- ^ Nakane, Michiyo. ¿Tenía el cálculo diferencial de Weierstrass un carácter de evitación de límites? Su definición de límite enestilo ε - δ . BSHM Bull. 29 (2014), núm. 1, 51–59.
- ^ Tao, Terence (2008). Estructura y aleatoriedad: páginas del primer año de un blog de matemáticas . Providence, RI: Sociedad Matemática Estadounidense. págs. 95-110. ISBN 978-0-8218-4695-7.
- ^ Spivak, Michael (2008). Cálculo (4ª ed.). Houston, Texas: Publicar o perecer. pag. 90 . ISBN 978-0914098911.
- ^ a b c d Spivak, Michael (2008). Cálculo (4ª ed.). Houston, Texas: Publicar o perecer. pag. 96 . ISBN 978-0914098911.
- ^ "Definición de límite de Epsilon-Delta | Wiki brillante de matemáticas y ciencias" . shiny.org . Consultado el 18 de agosto de 2020 .
- ^ "1.2: Definición Epsilon-Delta de un límite" . LibreTexts de Matemáticas . 2017-04-21 . Consultado el 18 de agosto de 2020 .
- ^ Rudin, Walter (1976). Principios del análisis matemático . Ciencias / Ingeniería / Matemáticas de McGraw-Hill. pag. 30 . ISBN 978-0070542358.
- ^ Rudin, Walter (1976). Principios del análisis matemático . Ciencias / Ingeniería / Matemáticas de McGraw-Hill. pag. 83 . ISBN 978-0070542358.
- ^ Rudin, Walter (1976). Principios del análisis matemático . Ciencias / Ingeniería / Matemáticas de McGraw-Hill. pag. 84 . ISBN 978-0070542358.
- ^ Spivak, Michael (2008). Cálculo (4ª ed.). Houston, Texas: Publicar o perecer. pag. 97 . ISBN 978-0914098911.
- ^ Stewart, James (2016), "Sección 3.4", Cálculo (8 ed.), Cengage
- ^ Spivak, Michael (2008). Cálculo (4ª ed.). Houston, Texas: Publicar o perecer. pag. 95 . ISBN 978-0914098911.
- ^ Keisler, H. Jerome (2008), "Cuantificadores en límites" (PDF) , Andrzej Mostowski y estudios fundacionales , IOS, Amsterdam, págs. 151-170
- ^ Hrbacek, K. (2007), "Análisis estratificado?", En Van Den Berg, I .; Neves, V. (eds.), La fuerza del análisis no estándar , Springer
- ^ Błaszczyk, Piotr; Katz, Mikhail ; Sherry, David (2012), "Diez conceptos erróneos de la historia del análisis y su desacreditación", Foundations of Science , 18 : 43–74, arXiv : 1202.4153 , Bibcode : 2012arXiv1202.4153B , doi : 10.1007 / s10699-012-9285- 8 , S2CID 119134151
- ^ Hrbacek, K. (2009). "Teoría de conjuntos relativos: visión interna" . Revista de Lógica y Análisis . 1 .
Otras lecturas
- Grabiner, Judith V. (1982). Los orígenes del riguroso cálculo de Cauchy . Corporación de mensajería. ISBN 978-0-486-14374-3.
- Schubring, Gert (2005). Conflictos entre generalización, rigor e intuición: conceptos numéricos que subyacen al desarrollo del análisis en Francia y Alemania de los siglos XVII y XIX (edición ilustrada). Saltador. ISBN 978-0-387-22836-5.