Las funciones continuas son de suma importancia en matemáticas , funciones y aplicaciones. Sin embargo, no todas las funciones son continuas. Si una función no es continua en un punto de su dominio , se dice que tiene una discontinuidad allí. El conjunto de todos los puntos de discontinuidad de una función puede ser un conjunto discreto , un conjunto denso o incluso todo el dominio de la función.
La oscilación de una función en un punto cuantifica estas discontinuidades de la siguiente manera:
en una discontinuidad removible , la distancia que separa el valor de la función es la oscilación;
en una discontinuidad de salto , el tamaño del salto es la oscilación (asumiendo que el valor en el punto se encuentra entre estos límites de los dos lados);
en una discontinuidad esencial , la oscilación mide la falta de existencia de un límite ; el límite es constante.
El punto es una discontinuidad removible . Para este tipo de discontinuidad:
El límite unilateral de la dirección negativa:
y el límite unilateral de la dirección positiva:
en ambos existen, son finitos y son iguales a En otras palabras, dado que los dos límites unilaterales existen y son iguales, el límite de as aproximaciones existe y es igual a este mismo valor. Si el valor real de no es igual a entonces se llamadiscontinuidad removible . Esta discontinuidad se puede eliminar para hacerlacontinua eno, más precisamente, la función
es continua en
El término discontinuidad removible a veces se amplía para incluir una singularidad removible , en la que los límites en ambas direcciones existen y son iguales, mientras que la función no está definida en el punto [a]. Este uso es un abuso de terminología porque la continuidad y discontinuidad de una función son conceptos definidos sólo para puntos en el dominio de la función.
Discontinuidad de salto
Considere la función
Entonces, el punto es undiscontinuidad de salto .
En este caso, no existe un límite único porque los límites unilaterales, y existen y son finitos, pero no son iguales: desde entonces, el límite no existe. Entonces, se denomina discontinuidad de salto , discontinuidad de paso o discontinuidad de primer tipo . Para este tipo de discontinuidad, la función puede tener cualquier valor en
discontinuidad esencial
Para una discontinuidad esencial, al menos uno de los dos límites unilaterales no existe en . (Observe que uno o ambos límites unilaterales pueden ser ).
Considere la función
Entonces, el punto es undiscontinuidad esencial .
En este ejemplo, ambos y no existen en , satisfaciendo así la condición de discontinuidad esencial. También lo es una discontinuidad esencial, una discontinuidad infinita o una discontinuidad del segundo tipo. (Esto es distinto de una singularidad esencial , que se utiliza a menudo cuando se estudian funciones de variables complejas ).
Suponiendo que es una función definida en un intervalo, la denotaremos por el conjunto de todas las discontinuidades de on. Por nos referiremos al conjunto de todas las que tienen una discontinuidad removible en De manera análoga, por denotaremos el conjunto constituido por todas las que tienen una discontinuidad de salto . at El conjunto de todos los que tienen una discontinuidad esencial en se denotará por Por supuesto, entonces
Contar discontinuidades de una función.
Las dos siguientes propiedades del conjunto son relevantes en la literatura.
El conjunto de es un conjunto . El conjunto de puntos en los que una función es continua es siempre un conjunto (ver [2] ).
Tom Apostol [3] sigue parcialmente la clasificación anterior al considerar sólo discontinuidades removibles y de salto. Su objetivo es estudiar las discontinuidades de funciones monótonas, principalmente para demostrar el teorema de Froda. Con el mismo propósito, Walter Rudin [4] y Karl R. Stromberg [5] estudian también las discontinuidades removibles y de salto utilizando diferentes terminologías. Sin embargo, además, ambos autores afirman que siempre es un conjunto contable (ver [6] [7] ).
El término discontinuidad esencial tiene evidencia de uso en contexto matemático ya en 1889. [8] Sin embargo, el primer uso del término junto con una definición matemática parece haber sido dado en el trabajo de John Klippert. [9] Allí, Klippert también clasificó las discontinuidades esenciales subdividiendo el conjunto en los tres conjuntos siguientes:
Por supuesto , Always se denomina discontinuidad esencial de primer tipo . Se dice de cualquier discontinuidad esencial de segundo tipo. De ahí que amplía el conjunto sin perder su característica de ser contable, al afirmar lo siguiente:
El conjunto es contable.
Reescribiendo el teorema de Lebesgue
Cuando y es una función acotada, es bien conocida la importancia del conjunto con respecto a la integrabilidad de Riemann de De hecho, el teorema de Lebesgue (también llamado teorema de Lebesgue-Vitali) establece que Riemann es integrable en si y sólo si es un conjunto con medida cero de Lebesgue.
En este teorema parece que todo tipo de discontinuidades tienen el mismo peso en la obstrucción de que una función acotada sea integrable de Riemann, ya que los conjuntos contables son conjuntos de medida cero de Lebesgue y una unión contable de conjuntos con medida cero de Lebesgue sigue siendo un conjunto de medida de Lebesgue cero, ahora estamos viendo que no es así. De hecho, las discontinuidades del conjunto son absolutamente neutrales con respecto a la integrabilidad de Riemann. Las principales discontinuidades para ese propósito son las discontinuidades esenciales de primer tipo y, en consecuencia, el teorema de Lebesgue-Vitali puede reescribirse de la siguiente manera:
Una función acotada es integrable de Riemann si y sólo si el conjunto correspondiente de todas las discontinuidades esenciales del primer tipo tiene medida de Lebesgue cero.
El caso donde corresponden las siguientes situaciones clásicas complementarias bien conocidas de integrabilidad de Riemann de una función acotada :
Si tiene límite derecho en cada punto de entonces, Riemann es integrable en (ver [10] )
Si tiene límite por la izquierda en cada punto de entonces, ¿Riemann es integrable en
La función de Thomae es discontinua en todo punto racional distinto de cero , pero continua en todo punto irracional . Se ve fácilmente que todas esas discontinuidades son eliminables. Según el primer párrafo, no existe una función que sea continua en todo punto racional , pero sí discontinua en todo punto irracional.
Consideremos ahora el conjunto ternario de Cantor y su función indicadora (o característica). Una forma de construir el conjunto de Cantor viene dada por dónde se obtienen los conjuntos por recurrencia según
En vista de las discontinuidades de la función supongamos un punto
Por lo tanto existe un conjunto utilizado en la formulación de , que no contiene Es decir, pertenece a uno de los intervalos abiertos que fueron eliminados en la construcción de De esta manera, tiene una vecindad sin puntos de (De otra manera, la misma conclusión se sigue teniendo en cuenta que es un conjunto cerrado y por tanto su complementario respecto de es abierto). Por lo tanto, sólo asume el valor cero en alguna vecindad de Por lo tanto , es continua en
Esto significa que el conjunto de todas las discontinuidades de en el intervalo es un subconjunto de Dado que es un conjunto incontable con medida de Lebesgue nula , también es un conjunto de medida de Lebesgue nula y, por lo tanto, en lo que respecta al teorema de Lebesgue-Vitali, es una función integrable de Riemann.
Más precisamente, uno tiene De hecho, dado que es un conjunto no denso, si entonces ninguna vecindad de puede estar contenida en De esta manera, cualquier vecindad de contiene puntos de y puntos que no son de En términos de la función, esto significa que ambos y no existir. Es decir, donde , como antes, denotamos el conjunto de todas las discontinuidades esenciales del primer tipo de la función .
Discontinuidades de derivados
Consideremos ahora un intervalo abierto y la derivada de una función, , diferenciable en . Es decir, para cada .
Es bien sabido que según el Teorema de Darboux la función derivada tiene la restricción de satisfacer la propiedad del valor intermedio.
Por supuesto, puede ser continuo en el intervalo . Recuerde que cualquier función continua, según el teorema de Bolzano , satisface la propiedad del valor intermedio.
Por otro lado, la propiedad del valor intermedio no impide que haya discontinuidades en el intervalo . Pero el Teorema de Darboux tiene una consecuencia inmediata sobre el tipo de discontinuidades que puede tener. De hecho, si es un punto de discontinuidad de , entonces necesariamente es una discontinuidad esencial de . [11]
Esto significa en particular que no pueden darse las dos situaciones siguientes:
es una discontinuidad removible de .
es una discontinuidad de salto de .
Además, deben excluirse otras dos situaciones (véase John Klippert [12] ):
Observe que siempre que se cumple una de las condiciones (i), (ii), (iii) o (iv) para alguien se puede concluir que no posee una antiderivada, , en el intervalo .
Por otro lado, se puede introducir un nuevo tipo de discontinuidad con respecto a cualquier función: una discontinuidad esencial, , de la función , se dice que es una discontinuidad esencial fundamental de if
y
Por lo tanto, si es una discontinuidad de una función derivada , entonces necesariamente es una discontinuidad esencial fundamental de .
Observe también que cuando y es una función acotada, como en los supuestos del teorema de Lebesgue, tenemos para todos : y
Por lo tanto, cualquier discontinuidad esencial de es fundamental.
Ver también
Singularidad removible : punto indefinido en una función holomorfa que se puede regularizar
Singularidad matemática : punto donde una función, una curva u otro objeto matemático no se comporta regularmentePages displaying short descriptions of redirect targets
Extensión por continuidad : espacio topológico en el que un punto y un conjunto cerrado son, si son disjuntos, separables por vecindades.Pages displaying wikidata descriptions as a fallback
Suavidad – Número de derivadas de una función (matemáticas)
Continuidad geométrica – Número de derivadas de una función (matemáticas)Pages displaying short descriptions of redirect targets
Continuidad paramétrica – Número de derivadas de una función (matemáticas)Pages displaying short descriptions of redirect targets
Notas
^ Véase, por ejemplo, la última frase de la definición dada en Mathwords. [1]
Referencias
^ "Mathwords: discontinuidad removible".
^ Stromberg, Karl R. (2015). Una introducción al análisis real clásico . Sociedad Matemática Estadounidense. págs. 120. Éx. 3c). ISBN978-1-4704-2544-9.
^ Apóstol, Tom (1974). Análisis matemático (segunda ed.). Addison y Wesley. págs.92, sec. 4.22, sec. 4.23 y ej. 4.63. ISBN0-201-00288-4.
^ Walter, Rudin (1976). Principios del análisis matemático (tercera ed.). McGraw-Hill. págs.94, def. 4.26, Thms. 4.29 y 4.30. ISBN0-07-085613-3.
^ Stromberg, Karl R. Op. cit . págs.128, def. 3,87, Thm. 3,90.
^ Walter, Rudin. op. cit . págs.100, ej. 17.
^ Stromberg, Karl R. Op. cit . págs. 131, éx. 3.
^ Whitney, William Dwight (1889). The Century Dictionary: un léxico enciclopédico del idioma inglés. vol. 2. Londres y Nueva York: T. Fisher Unwin y The Century Company. pag. 1652.ISBN9781334153952. Archivado desde el original el 16 de diciembre de 2008. Una discontinuidad esencial es una discontinuidad en la que el valor de la función se vuelve completamente indeterminable.
^ Klippert, John (febrero de 1989). "Cálculo avanzado avanzado: conteo de las discontinuidades de una función de valor real con dominio de intervalo". Revista Matemáticas . 62 : 43–48. doi :10.1080/0025570X.1989.11977410 – vía JSTOR.
^ Metzler, RC (1971). "Sobre la integrabilidad de Riemann". Mensual Matemático Estadounidense . 78 (10): 1129-1131. doi :10.1080/00029890.1971.11992961.
^ Rudin, Walter. Op.cit . págs. 109, Corolario.
^ Klippert, John (2000). "Sobre una discontinuidad de un derivado". Revista Internacional de Educación Matemática en Ciencia y Tecnología . 31: T2: 282–287. doi :10.1080/00207390050032252.
Fuentes
Malik, Carolina del Sur; Arora, Savita (1992). Análisis matemático (2ª ed.). Nueva York: Wiley. ISBN 0-470-21858-4.