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 tal función (monótona) son necesariamente discontinuidades de salto y, como máximo, hay un número contable de ellas.
Por lo general, este teorema aparece en la literatura sin nombre. Se le llama teorema de Froda en algunos trabajos recientes; En su disertación de 1929, Alexandru Froda afirmó que el resultado era bien conocido y había proporcionado su propia prueba elemental por conveniencia. [1] El trabajo previo sobre discontinuidades ya se había discutido en las memorias de 1875 del matemático francés Jean Gaston Darboux . [2]
Definiciones
Denota el límite desde la izquierda por
![{\displaystyle f\left(x^{-}\right):=\lim _{z\nearrow x}f(z)=\lim _{\stackrel {h\to 0}{h>0}}f (xh)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
límite desde la derecha![{\displaystyle f\left(x^{+}\right):=\lim _{z\searrow x}f(z)=\lim _{\stackrel {h\to 0}{h>0}}f (x+h).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Si y existen y son finitos entonces la diferencia se llama salto de en![{\displaystyle f\left(x^{+}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f\left(x^{-}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f\left(x^{+}\right)-f\left(x^{-}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Considere una función de valor real de una variable real definida en una vecindad 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 del primer tipo ). .
Si la función es continua en entonces el salto en es cero. Además, si no es continuo en el salto puede ser cero en si![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f\left(x^{+}\right)=f\left(x^{-}\right)\neq f(x).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
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 .
![{\displaystyle I.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Se puede probar que todos los puntos de discontinuidad de una función monótona de valor real definida en un intervalo son discontinuidades de salto y, por tanto, según nuestra definición, del primer tipo. Con esta observación el teorema toma 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.![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Pruebas
Esta prueba comienza demostrando el caso especial donde el dominio de la función es un intervalo cerrado y acotado La prueba del caso general se deriva de este caso especial.![{\displaystyle [a,b].}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Prueba cuando el dominio es 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![{\displaystyle I:=[a,b]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f:I\to \mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle a<x<b,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(a)~\leq ~f\left(a^{+}\right)~\leq ~f\left(x^{-}\right)~\leq ~f\left(x^{ +}\right)~\leq ~f\left(b^{-}\right)~\leq ~f(b).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \alpha >0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{1}<x_{2}<\cdots <x_{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \alpha }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f\left(x_{i}^{+}\right)-f\left(x_{i}^{-}\right)\geq \alpha ,\ i=1,2,\ldots ,n }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Para cualquier cosa que
en consecuencia,
![{\displaystyle f\left(x_{i}^{+}\right)\leq f\left(x_{i+1}^{-}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f\left(x_{i+1}^{-}\right)-f\left(x_{i}^{+}\right)\geq 0.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\begin{alignedat}{9}f(b)-f(a)&\geq f\left(x_{n}^{+}\right)-f\left(x_{1}^{ -}\right)\\&=\sum _ {i=1}^{n}\left[f\left(x_{i}^{+}\right)-f\left(x_{i}^{ -}\right)\right]+\sum _ {i=1}^{n-1}\left[f\left(x_{i+1}^{-}\right)-f\left(x_{ i}^{+}\right)\right]\\&\geq \sum _{i=1}^{n}\left[f\left(x_{i}^{+}\right)-f\ left(x_{i}^{-}\right)\right]\\&\geq n\alpha \end{alignedat}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n\leq {\frac {f(b)-f(a)}{\alpha }}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Dado que tenemos que el número de puntos en los que el salto es mayor es finito (posiblemente incluso cero).![{\displaystyle f(b)-f(a)<\infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \alpha }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Defina los siguientes conjuntos:
![{\displaystyle S_{1}:=\left\{x:x\in I,f\left(x^{+}\right)-f\left(x^{-}\right)\geq 1\right \},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S_{n}:=\left\{x:x\in I,{\frac {1}{n}}\leq f\left(x^{+}\right)-f\left(x ^{-}\right)<{\frac {1}{n-1}}\right\},\ n\geq 2.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
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 tanto, contiene todos los puntos de discontinuidad. Dado que cada uno es, como máximo, contable, su unión también es, como máximo, contable.![{\ Displaystyle S_ {n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S=\bigcup _ {n=1}^{\infty}S_ {n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S_{i},\ i=1,2,\ldots }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
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.![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\blacksquare}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Prueba 2
Entonces, sea una función monótona y denotemos el conjunto de todos los puntos en el dominio de at que es discontinuo (que es necesariamente una discontinuidad de salto).![{\displaystyle f:[a,b]\to \mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d\en [a,b]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
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 luego elige de modo que mientras que si entonces elige de modo que se cumpla).![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle y_{d}\in \mathbb {Q}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f\left(d^{-}\right){\text{ y }}f\left(d^{+}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f\nearrow}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle y_{d}\in \mathbb {Q}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f\left(d^{-}\right)<y_{d}<f\left(d^{+}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f\searrow}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle y_{d}\in \mathbb {Q}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f\left(d^{-}\right)>y_{d}>f\left(d^{+}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ahora se demostrará que si son distintos, digamos con entonces
Si entonces implica que
Si por otro lado entonces implica que
De cualquier manera,![{\displaystyle d,e\en D}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d<e,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle y_{d}\neq y_{e}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f\nearrow}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d<e}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f\left(d^{+}\right)\leq f\left(e^{-}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle y_{d}<f\left(d^{+}\right)\leq f\left(e^{-}\right)<y_{e}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f\searrow}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d<e}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f\left(d^{+}\right)\geq f\left(e^{-}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle y_{d}>f\left(d^{+}\right)\geq f\left(e^{-}\right)>y_{e}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle y_{d}\neq y_{e}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Por lo tanto, cada está asociado con un número racional único (dicho de otra manera, el mapa definido por es inyectivo ). Dado que es contable, lo mismo debe ser cierto para![{\displaystyle d\en D}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D\to \mathbb {Q} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d\mapsto y_ {d}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Q} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\blacksquare}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Prueba de caso general
Supongamos que el dominio de (una función monótona de valor real) es igual a una unión de un número contable de intervalos cerrados y acotados; digamos que su dominio es (no se imponen requisitos a estos intervalos cerrados y acotados [a] ). Del caso especial demostrado anteriormente se deduce que para cada índice la restricción de al intervalo tiene como máximo un número contable de discontinuidades; denota este conjunto (contable) de discontinuidades por
Si tiene una discontinuidad en un punto de su dominio, entonces es igual a un punto final de uno de estos intervalos (es decir, ) o existe algún índice tal que, en cuyo caso debe ser un punto de discontinuidad para (es decir, ). Así, el conjunto de todos los puntos de en el cual es discontinuo es un subconjunto del cual es un conjunto contable (porque es una unión de muchos conjuntos contables contables), de modo que su subconjunto también debe ser contable (porque cada subconjunto de un conjunto contable es contable). ).![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \bigcup _ {n} \ left [a_ {n}, b_ {n} \ right]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f{\big \vert }_{\left[a_{n},b_{n}\right]}:\left[a_{n},b_{n}\right]\to \mathbb {R } }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left[a_{n},b_{n}\right]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D_{n}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{0}\in \bigcup _{n}\left[a_{n},b_{n}\right]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{0}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{0}\in \left\{a_{1},b_{1},a_{2},b_{2},\ldots \right\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle a_ {n} <x_ {0} <b_ {n},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{0}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f{\big \vert }_{\left[a_{n},b_{n}\right]}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle x_ {0} \ en D_ {n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left\{a_{1},b_{1},a_{2},b_{2},\ldots \right\}\cup \bigcup _{n}D_{n},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
En particular, debido a que cada intervalo (incluidos los intervalos abiertos y los 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 monótona de valor real definida en un intervalo tiene como máximo valores contables. muchas discontinuidades.
Para hacer este argumento más concreto, supongamos que el dominio de es un intervalo que no está cerrado ni acotado (y por lo tanto, según el teorema de Heine-Borel, no es compacto ). Entonces el intervalo se puede escribir como una unión contable de intervalos cerrados y acotados con la propiedad de que dos intervalos consecutivos cualesquiera tienen un punto final en común:
Si entonces dónde hay una secuencia estrictamente decreciente tal que De manera similar si o si
En cualquier intervalo hay Son como mucho contables muchos puntos de discontinuidad, y dado que una unión contable de conjuntos contables como máximo es contable como máximo, se deduce que el conjunto de todas las discontinuidades es como máximo contable.![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle I_ {n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I=\cup _{n=1}^{\infty }I_{n}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I=(a,b]{\text{ con }}a\geq -\infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I_{1}=\left[\alpha _{1},b\right],\ I_{2}=\left[\alpha _{2},\alpha _{1}\right],\ ldots ,I_{n}=\left[\alpha _{n},\alpha _{n-1}\right],\ldots }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left(\alpha _ {n}\right)_ {n=1}^{\infty}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \alpha _ {n}\rightarrow a.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I=[a,b),{\text{ con }}b\leq +\infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I=(a,b){\text{ con }}-\infty \leq a<b\leq \infty .}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle I_ {n},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\blacksquare}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Funciones de salto
Ejemplos. Sea x 1 < x 2 < x 3 < ⋅⋅⋅ un subconjunto contable del intervalo compacto [ a , b ] y sea μ 1 , μ 2 , μ 3 , ... una secuencia positiva con suma finita. Colocar
![{\displaystyle f(x)=\sum _{n=1}^{\infty }\mu _{n}\chi _{[x_{n},b]}(x)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
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 las 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 las llamadas funciones de salto o funciones saltus.
De manera más general, el análisis de funciones monótonas ha sido estudiado por muchos matemáticos, empezando por Abel, Jordan y Darboux. Siguiendo a Riesz y Sz.-Nagy (1990), reemplazando una función por su negativa si es necesario, sólo 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 (funciones escalonadas generalizadoras) 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 ) estar en ( a , b ) y tome λ 1 , λ 2 , λ 3 , ... y μ 1 , μ 2 , μ 3 , ... no negativos con suma finita y con λ norte + μ norte > 0 para cada norte . Definir
para![{\displaystyle \,\,x<x_{n},\,\,f_{n}(x_{n})=\lambda _{n},\,\,f_{n}(x)=\lambda _{n}+\mu _{n}\,\,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \,\,x>x_{n}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Entonces la función de salto , o función saltus , definida por
![{\displaystyle f(x)=\,\,\sum _{n=1}^{\infty }f_{n}(x)=\,\,\sum _{x_{n}\leq x}\ lambda _{n}+\sum _{x_{n}<x}\mu _{n},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
no es decreciente en [ a , b ] y es continuo excepto por discontinuidades de salto en x n para n ≥ 1. [10]
Para probar esto, tenga en cuenta que sup | f norte | = λ n + μ n , de modo que Σ f n converge uniformemente a f . Pasando al límite, se deduce que
y![{\displaystyle \,\,f(x\pm 0)=f(x)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
si x no es uno de los x n . [10]
Por el contrario, mediante un teorema de diferenciación de Lebesgue , la función de salto f está determinada únicamente por las propiedades: [14] (1) ser no decreciente y no positiva; (2) haber dado datos de salto en sus puntos de discontinuidad x n ; (3) satisfacer la condición de frontera f ( a ) = 0; y (4) tener derivada cero en casi todas partes .
Como se explica en Riesz y Sz.-Nagy (1990), cada función no decreciente y no negativa F puede descomponerse únicamente 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 usando la salta datos de la función monótona original F y es fácil comprobar que g = F − f es continua y monótona. [10]
Ver también
Notas
- ^ Entonces, por ejemplo, estos intervalos no necesitan ser separados por pares ni es necesario que se crucen solo en los puntos finales. Incluso es posible que para todos
![{\displaystyle \left[a_{n},b_{n}\right]\subseteq \left[a_{n+1},b_{n+1}\right]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
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, consulte
- Riesz y Sz.-Nagy 1990
- Joven y joven 1911
- von Neumann 1950
- Boas 1961
- Lipinski 1961
- Rubel 1963
- Komórnik 2016
- ^ abc Rubel 1963
- ^ abc Komornik 2016
- ^ Este es un ejemplo sencillo de cómo se aplica la dimensión de cobertura de Lebesgue en una dimensión real; véase, por ejemplo, Edgar (2008).
Bibliografía
- Apóstol, Tom M. (1957). Análisis matemático: un enfoque moderno del cálculo avanzado. Addison-Wesley . págs. 162-163. SEÑOR 0087718.
- Boas, Ralph P. Jr. (1961). «Diferenciabilidad de funciones de salto» (PDF) . Coloq. Matemáticas . 8 : 81–82. doi :10.4064/cm-8-1-81-82. SEÑOR 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.(requiere suscripción)
- Burkill, JC (1951). La integral de Lebesgue. Cambridge Tracts en Matemáticas y Física Matemática. vol. 40. Prensa de la Universidad de Cambridge . SEÑOR 0045196.
- Edgar, Gerald A. (2008). "Dimensión topológica". Medida, topología y geometría fractal . Textos de Pregrado en Matemáticas (Segunda ed.). Springer-Verlag . págs. 85-114. ISBN 978-0-387-74748-4. SEÑOR 2356043.
- Gelbaum, Bernard R .; Olmsted, John MH (1964), "18: Una función monótona cuyos puntos de discontinuidad forman un conjunto arbitrario contable (posiblemente denso)", Contraejemplos en análisis , The Mathesis Series, San Francisco, Londres, Amsterdam: Holden-Day, p. 28, SEÑOR 0169961; reimpreso por Dover, 2003
- Hobson, Ernest W. (1907). La Teoría de Funciones de una Variable Real y sus Series de Fourier. Prensa de la Universidad de Cambridge . pag. 245.
- Komornik, Vilmos (2016). "4. Funciones monótonas". Conferencias sobre análisis funcional y la integral de Lebesgue . Texto universitario. Springer-Verlag . págs. 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". Una introducción a la teoría de funciones reales. Traducido por GH Lawden (Tercera ed.). Chichester: John Wiley e hijos . págs. 10–30. ISBN 0-471-91414-2. SEÑOR 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: una introducción a la teoría de funciones , The Appleton-Century Mathematics Series, Nueva York: Appleton-Century-Crofts, Ejercicio 29, p. 59, señor 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 . Monografía 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) . Coloq. Matemáticas . 10 (2): 277–279. doi :10.4064/cm-10-2-277-279. SEÑOR 0154954.
- Rudin, Walter (1964), Principios de 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 . Anales de estudios de matemáticas. vol. 21. Prensa de la Universidad de Princeton . págs. 63–82. doi :10.1515/9781400881895. ISBN 978-1-4008-8189-5. SEÑOR 0032011.
- Joven, William Henry; Joven, Grace Chisholm (1911). "Sobre la existencia de un coeficiente diferencial". Proc. Matemáticas de Londres. Soc. 2. 9 (1): 325–335. doi :10.1112/plms/s2-9.1.325.