En matemáticas, el teorema de Darboux es un teorema en análisis real , llamado así por Jean Gaston Darboux . Afirma que toda función que resulta de la diferenciación de otra función tiene la propiedad de valor intermedio : la imagen de un intervalo también es un intervalo.
Cuando f es continuamente diferenciable ( f en C 1 ([ a , b ])), esto es una consecuencia del teorema del valor intermedio . Pero incluso cuando ƒ ′ no es continuo, el teorema de Darboux impone una severa restricción a lo que puede ser.
Teorema de darboux
Dejar ser un intervalo cerrado ,una función diferenciable de valor real. Luegotiene la propiedad de valor intermedio : Si y son puntos en con , luego para cada Entre y , existe un en tal que . [1] [2] [3]
Pruebas
Prueba 1. La primera prueba se basa en el teorema del valor extremo .
Si es igual a o , luego configurando igual a o , respectivamente, da el resultado deseado. Ahora asuma que está estrictamente entre y , y en particular que . Dejar tal que . Si es el caso que ajustamos nuestra siguiente prueba, en lugar de afirmar que tiene su mínimo en .
Desde es continuo en el intervalo cerrado , el valor máximo de en se alcanza en algún momento de , según el teorema del valor extremo .
Porque , sabemos no puede alcanzar su valor máximo en . (Si lo hizo, entonces para todos , lo que implica .)
Asimismo, porque , sabemos no puede alcanzar su valor máximo en .
Por lo tanto, debe alcanzar su valor máximo en algún momento . Por tanto, según el teorema de Fermat ,, es decir .
Prueba 2. La segunda prueba se basa en combinar el teorema del valor medio y el teorema del valor intermedio . [1] [2]
Definir . Para definir y . Y para definir y .
Por lo tanto, para tenemos . Ahora, define con . es continuo en .
Además, Cuándo y Cuándo ; por lo tanto, del teorema del valor intermedio, si entonces, existe tal que . Vamos a arreglar.
Del teorema del valor medio, existe un punto tal que . Por eso,.
Función Darboux
Una función Darboux es una función real ƒ que tiene la "propiedad valor intermedio": para cualquier par de valores de una y b en el dominio de ƒ , y cualquier y entre ƒ ( una ) y ƒ ( b ), hay una cierta c entre una y b con ƒ ( c ) = y . [4] Según el teorema del valor intermedio , toda función continua en un intervalo real es una función de Darboux. La contribución de Darboux fue mostrar que hay funciones Darboux discontinuas.
Cada discontinuidad de una función de Darboux es esencial , es decir, en cualquier punto de discontinuidad, al menos uno de los límites de la mano izquierda y la derecha no existe.
Un ejemplo de una función de Darboux que es discontinua en un punto es la función de curva sinusoidal del topólogo :
Según el teorema de Darboux, la derivada de cualquier función diferenciable es una función de Darboux. En particular, la derivada de la función es una función de Darboux aunque no sea continua en un punto.
Un ejemplo de una función de Darboux que no es continua en ninguna parte es la función de base 13 de Conway .
Las funciones de Darboux son una clase de funciones bastante general. Resulta que cualquier función de valor real f en la línea real se puede escribir como la suma de dos funciones de Darboux. [5] Esto implica, en particular, que la clase de funciones de Darboux no se cierra con la adición.
Una función fuertemente Darboux es aquella en la que la imagen de cada intervalo abierto (no vacío) es la línea real completa. La función Conway base 13 es nuevamente un ejemplo. [4]
Notas
- ^ a b Apostol, Tom M .: Análisis matemático: un enfoque moderno del cálculo avanzado, segunda edición, Addison-Wesley Longman, Inc. (1974), página 112.
- ↑ a b Olsen, Lars: Una nueva prueba del teorema de Darboux , vol. 111, núm. 8 (octubre de 2004) (págs. 713–715), The American Mathematical Monthly
- ^ Rudin, Walter: Principios de análisis matemático, tercera edición, MacGraw-Hill, Inc. (1976), página 108
- ↑ a b Ciesielski, Krzysztof (1997). Teoría de conjuntos para el matemático que trabaja . Textos estudiantiles de la London Mathematical Society. 39 . Cambridge: Cambridge University Press . págs. 106-111. ISBN 0-521-59441-3. Zbl 0938.03067 .
- ^ Bruckner, Andrew M: Diferenciación de funciones reales , 2 ed, página 6, American Mathematical Society, 1994
enlaces externos
- Este artículo incorpora material del teorema de Darboux sobre PlanetMath , que tiene la licencia Creative Commons Attribution / Share-Alike License .
- "Teorema de Darboux" , Enciclopedia de Matemáticas , EMS Press , 2001 [1994]