Los mapas monótonos tienen discontinuidades contables
En el campo matemático del análisis , un conocido teorema describe el conjunto de discontinuidades de una función monótona de valor real de una variable real; todas las discontinuidades de dicha función (monótona) son necesariamente discontinuidades de salto y hay como máximo un número contable de ellas.
Generalmente, este teorema aparece en la literatura sin nombre. En algunos trabajos recientes se lo llama teorema de Froda ; en su tesis de 1929, Alexandru Froda afirmó que el resultado ya era bien conocido y que había proporcionado su propia prueba elemental por conveniencia. [1] Los trabajos previos sobre discontinuidades ya habían sido discutidos en las memorias de 1875 del matemático francés Jean Gaston Darboux . [2]
Definiciones
Denotemos el límite desde la izquierda por
y denotemos el límite desde la derecha por
Si y existen y son finitos entonces la diferencia se llama salto de al menos
Considérese una función de valor real de variable real definida en un entorno de un punto Si es discontinua en el punto entonces la discontinuidad será una discontinuidad removible , o una discontinuidad esencial , o una discontinuidad de salto (también llamada discontinuidad de primer tipo ).
Si la función es continua en entonces el salto en es cero. Además, si no es continua en el salto puede ser cero en si
Declaración precisa
Sea una función monótona de valor real definida en un intervalo. Entonces el conjunto de discontinuidades del primer tipo es como máximo contable .
Se puede demostrar que todos los puntos de discontinuidad de una función monótona de valores reales definida en un intervalo son discontinuidades de salto y, por lo tanto, según nuestra definición, de primera clase. Con esta observación, el teorema adopta la forma más fuerte:
Sea una función monótona definida en un intervalo. Entonces el conjunto de discontinuidades es como máximo contable.
Pruebas
Esta prueba comienza probando el caso especial donde el dominio de la función es un intervalo cerrado y acotado La prueba del caso general se sigue de este caso especial.
Prueba cuando el dominio está cerrado y acotado
Se dan dos pruebas de este caso especial.
Prueba 1
Sea un intervalo y sea una función no decreciente (como una función creciente ). Entonces, para cualquier
Sea y sea puntos dentro de los cuales el salto de sea mayor o igual a :
Para cualquier manera que
En consecuencia,
y por lo tanto
Dado que tenemos que el número de puntos en los que el salto es mayor es finito (posiblemente incluso cero).
Defina los siguientes conjuntos:
Cada conjunto es finito o el conjunto vacío . La unión contiene todos los puntos en los que el salto es positivo y, por lo tanto, contiene todos los puntos de discontinuidad. Dado que cada uno es, como máximo, numerable, su unión también es, como máximo, numerable.
Si no es creciente (o decreciente ), entonces la prueba es similar. Esto completa la prueba del caso especial donde el dominio de la función es un intervalo cerrado y acotado.
Prueba 2
Por lo tanto, sea una función monótona y sea el conjunto de todos los puntos en el dominio de en el que es discontinuo (lo que es necesariamente una discontinuidad de salto).
Debido a que tiene una discontinuidad de salto en , entonces existe algún número racional que se encuentra estrictamente en el medio (específicamente, si entonces elija de modo que mientras que si entonces elija de modo que se cumpla).
Ahora se demostrará que si son distintos, digamos con entonces
Si entonces implica de modo que
Si por otro lado entonces implica de modo que De
cualquier manera,
Por lo tanto, cada uno está asociado con un único número racional (dicho de otra manera, la función definida por es inyectiva ). Como es contable, lo mismo debe ser cierto para
Prueba de caso general
Supóngase que el dominio de (una función monótona de valores reales) es igual a una unión de un número numerable de intervalos cerrados y acotados; digamos que su dominio es (no se imponen requisitos a estos intervalos cerrados y acotados [a] ). Se sigue del caso especial demostrado anteriormente que para cada índice la restricción de al intervalo tiene como máximo un número numerable de discontinuidades; denotemos este conjunto (contable) de discontinuidades por
Si tiene una discontinuidad en un punto de su dominio, entonces o bien es igual a un punto final de uno de estos intervalos (es decir, ) o bien existe algún índice tal que en cuyo caso debe ser un punto de discontinuidad para (es decir, ). Por lo tanto, el conjunto de todos los puntos de en el que es discontinuo es un subconjunto de que es un conjunto numerable (porque es una unión de un número numerable de conjuntos numerables) de modo que su subconjunto también debe ser numerable (porque todo subconjunto de un conjunto numerable es numerable).
En particular, debido a que cada intervalo (incluyendo intervalos abiertos e intervalos semiabiertos/cerrados) de números reales puede escribirse como una unión contable de intervalos cerrados y acotados, se deduce que cualquier función real monótona definida en un intervalo tiene como máximo un número contable de discontinuidades.
Para hacer este argumento más concreto, supongamos que el dominio de es un intervalo que no es cerrado y acotado (y por lo tanto, por el teorema de Heine-Borel, no compacto ). Entonces, el intervalo se puede escribir como una unión numerable de intervalos cerrados y acotados con la propiedad de que dos intervalos consecutivos cualesquiera tienen un punto final en común:
Si entonces donde es una secuencia estrictamente decreciente tal que De manera similar, si o si
En cualquier intervalo hay como máximo un número numerable de puntos de discontinuidad, y dado que una unión numerable de conjuntos como máximo numerables es como máximo numerable, se sigue que el conjunto de todas las discontinuidades es como máximo numerable.
Funciones de salto
Ejemplos. Sea x 1 < x 2 < x 3 < ⋅⋅⋅ un subconjunto numerable del intervalo compacto [ a , b ] y sea μ 1 , μ 2 , μ 3 , ... una sucesión positiva con suma finita.
donde χ A denota la función característica de un intervalo compacto A . Entonces f es una función no decreciente en [ a , b ], que es continua excepto por discontinuidades de salto en x n para n ≥ 1. En el caso de un número finito de discontinuidades de salto, f es una función escalonada . Los ejemplos anteriores son funciones escalonadas generalizadas; son casos muy especiales de lo que se denominan funciones de salto o funciones de salto.
En términos más generales, el análisis de funciones monótonas ha sido estudiado por muchos matemáticos, comenzando por Abel, Jordan y Darboux. Siguiendo a Riesz y Sz.-Nagy (1990), reemplazando una función por su negativo si es necesario, solo se debe considerar el caso de funciones no negativas y no decrecientes. El dominio [ a , b ] puede ser finito o tener ∞ o −∞ como puntos finales.
La tarea principal es construir funciones monótonas (generalizando funciones escalonadas) con discontinuidades en un conjunto numerable dado de puntos y con discontinuidades izquierda y derecha prescritas en cada uno de estos puntos. Sea x n ( n ≥ 1) en ( a , b ) y tomemos λ 1 , λ 2 , λ 3 , ... y μ 1 , μ 2 , μ 3 , ... no negativos con suma finita y con λ n + μ n > 0 para cada n . Definir
- Para para
Entonces la función de salto , o función saltus , definida por
no es decreciente en [ a , b ] y es continua excepto por discontinuidades de salto en x n para n ≥ 1. [10]
Para demostrarlo, nótese que sup | f n | = λ n + μ n , de modo que Σ f n converge uniformemente a f . Pasando al límite, se sigue que
- y
si x no es uno de los x n 's. [10]
Por el contrario, por un teorema de diferenciación de Lebesgue , la función de salto f está determinada de forma única por las propiedades: [14] (1) no ser decreciente y no positiva; (2) tener datos de salto dados en sus puntos de discontinuidad x n ; (3) satisfacer la condición de contorno f ( a ) = 0; y (4) tener derivada cero casi en todas partes .
Como se explica en Riesz y Sz.-Nagy (1990), cada función no decreciente y no negativa F se puede descomponer de forma única como una suma de una función de salto f y una función monótona continua g : la función de salto f se construye utilizando los datos de salto de la función monótona original F y es fácil comprobar que g = F − f es continua y monótona. [10]
Véase también
Notas
- ^ Por ejemplo, estos intervalos no necesitan ser disjuntos por pares ni se requiere que se intersequen solo en los puntos finales. Incluso es posible que para todos
Referencias
- ^ Froda, Alexandre (3 de diciembre de 1929). Sur la Distribution des propriétés de voisinage desfunctions de variables réelles (PDF) (Tesis). París: Hermann. JFM 55.0742.02.
- ^ Jean Gaston Darboux , Mémoire sur les fonctions discontinus, Annales Scientifiques de l'École Normale Supérieure , 2-ème série, t. IV, 1875, Capítulo VI.
- ^ abc Riesz y Sz.-Nagy 1990, págs. 13-15
- ^ Para más detalles, véase
- Riesz y Sz.-Nagy 1990
- Joven y joven 1911
- de Neumann 1950
- Buenas 1961
- Lipinski 1961
- Rublo 1963
- Komornik 2016
- ^abc Rublo 1963
- ^abc Komornik 2016
- ^ Este es un ejemplo simple de cómo la dimensión de cobertura de Lebesgue se aplica en una dimensión real; véase por ejemplo Edgar (2008).
Bibliografía
- Apostol, Tom M. (1957). Análisis matemático: un enfoque moderno para el cálculo avanzado. Addison-Wesley . págs. 162–163. MR 0087718.
- Boas, Ralph P. Jr. (1961). "Diferenciabilidad de funciones de salto" (PDF) . Colloq. Math . 8 : 81–82. doi :10.4064/cm-8-1-81-82. MR 0126513.
- Boas, Ralph P. Jr. (1996). "22. Funciones monótonas". Introducción a las funciones reales. Monografías matemáticas de Carus. vol. 13 (Cuarta ed.). MAA . págs. 158-174. ISBN 978-1-61444-013-0.(se requiere suscripción)
- Burkill, JC (1951). La integral de Lebesgue. Cambridge Tracts in Mathematics and Mathematical Physics. Vol. 40. Cambridge University Press . MR 0045196.
- Edgar, Gerald A. (2008). "Dimensión topológica". Medida, topología y geometría fractal . Textos de pregrado en matemáticas (segunda edición). Springer-Verlag . pp. 85–114. ISBN 978-0-387-74748-4.Sr. 2356043 .
- Gelbaum, Bernard R. ; Olmsted, John MH (1964), "18: Una función monótona cuyos puntos de discontinuidad forman un conjunto numerable arbitrario (posiblemente denso)", Contraejemplos en análisis , The Mathesis Series, San Francisco, Londres, Ámsterdam: Holden-Day, pág. 28, MR 0169961; reimpreso por Dover, 2003
- Hobson, Ernest W. (1907). La teoría de funciones de una variable real y sus series de Fourier. Cambridge University Press . pág. 245.
- Komornik, Vilmos (2016). "4. Funciones monótonas". Lecciones sobre análisis funcional y la integral de Lebesgue . Universitext. Springer-Verlag . pp. 151–164. ISBN 978-1-4471-6810-2.Señor 3496354 .
- Lipinski, JS (1961). "Una simple demostración del teoría sobre la derivación de una función de sauts" (PDF) . Coloq. Matemáticas. (en francés). 8 (2): 251–255. doi :10.4064/cm-8-2-251-255. SEÑOR 0158036.
- Łojasiewicz, Stanisław (1988). "1. Funciones de variación acotada". Introducción a la teoría de funciones reales. Traducido por GH Lawden (tercera edición). Chichester: John Wiley & Sons . pp. 10–30. ISBN 0-471-91414-2.Sr. 0952856 .
- Natanson, Isidor P. (1955), "III. Funciones de variación finita. La integral de Stieltjes", Teoría de funciones de una variable real, vol. 1, traducido por Leo F. Boron, Nueva York: Frederick Ungar, págs. 204–206, MR 0067952
- Nicolescu, M .; Dinculeanu, N.; Marcus, S. (1971), Analizǎ Matematică (en rumano), vol. I (4ª ed.), Bucarest: Editura Didactică şi Pedagogică, p. 783, señor 0352352
- Olmsted, John MH (1959), Variables reales: Introducción a la teoría de funciones , The Appleton-Century Mathematics Series, Nueva York: Appleton-Century-Crofts, Ejercicio 29, pág. 59, MR 0117304
- Riesz, Frigyes ; Sz.-Nagy, Béla (1990). "Funciones Saltus". Análisis funcional . Traducido por Leo F. Boro. Libros de Dover. págs. 13-15. ISBN 0-486-66289-6.Señor 1068530 .Reimpresión del original de 1955.
- Saks, Stanisław (1937). "III. Funciones de variación acotada y la integral de Lebesgue-Stieltjes" (PDF) . Teoría de la integral . Monografie Matematyczne. Vol. VII. Traducido por LC Young. Nueva York: GE Stechert. págs. 96–98.
- Rubel, Lee A. (1963). "Diferenciabilidad de funciones monótonas" (PDF) . Colloq. Math . 10 (2): 277–279. doi :10.4064/cm-10-2-277-279. MR 0154954.
- Rudin, Walter (1964), Principios del análisis matemático (2.ª ed.), Nueva York: McGraw-Hill, MR 0166310
- von Neumann, John (1950). "IX. Funciones monótonas". Operadores funcionales. I. Medidas e integrales . Annals of Mathematics Studies. Vol. 21. Princeton University Press . págs. 63–82. doi :10.1515/9781400881895. ISBN. 978-1-4008-8189-5.Sr. 0032011 .
- Young, William Henry; Young, Grace Chisholm (1911). "Sobre la existencia de un coeficiente diferencial". Proc. London Math. Soc. 2. 9 (1): 325–335. doi :10.1112/plms/s2-9.1.325.