stringtranslate.com

Clasificación de discontinuidades

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 límite (también llamado punto de acumulación o punto de agrupamiento ) 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 el dominio completo de la función.

La oscilación de una función en un punto cuantifica estas discontinuidades de la siguiente manera:

Un caso especial es si la función diverge hacia el infinito o menos infinito , en cuyo caso la oscilación no está definida (en los números reales extendidos , esta es una discontinuidad removible).

Clasificación

Para cada uno de los siguientes, considere una función de valor real de una variable real definida en un entorno del punto en el que es discontinua.

Discontinuidad removible

La función del ejemplo 1, una discontinuidad removible

Considere la función por partes

El punto es una discontinuidad removible . Para este tipo de discontinuidad:

El límite unilateral desde la dirección negativa: y el límite unilateral desde 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 cuando tiende a existe y es igual a este mismo valor. Si el valor real de no es igual a o no está definido, entonces se llama discontinuidad removible . Esta discontinuidad se puede eliminar para hacer quesea continua 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 la terminología porque la continuidad y la discontinuidad de una función son conceptos definidos solo para puntos en el dominio de la función.

Discontinuidad de salto

La función del ejemplo 2, una discontinuidad de salto

Considere la función

Entonces, el punto es quediscontinuidad de salto

En este caso, no existe un límite único porque los límites laterales, y existen y son finitos, pero no son iguales: ya que, el límite no existe. Entonces, se llama discontinuidad de salto , discontinuidad de escalón o discontinuidad de primer tipo . Para este tipo de discontinuidad, la función puede tener cualquier valor en

Discontinuidad esencial

La función del ejemplo 3, una 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, tanto y no existen en , por lo que se satisface la condición de discontinuidad esencial. Por lo tanto, es una discontinuidad esencial, una discontinuidad infinita o una discontinuidad de segundo tipo. (Esto es distinto de una singularidad esencial , que se utiliza a menudo al estudiar funciones de variables complejas ).

Suponiendo que es una función definida en un intervalo denotaremos por el conjunto de todas las discontinuidades de en Por nos referiremos al conjunto de todos los tales que tienen una discontinuidad removible en Análogamente por denotamos el conjunto constituido por todos los tales que tienen una discontinuidad de salto en El conjunto de todos los tales que tienen una discontinuidad esencial en será denotado por Por supuesto entonces

Contar discontinuidades de una función

Las dos siguientes propiedades del conjunto son relevantes en la literatura.

Tom Apostol [3] sigue parcialmente la clasificación anterior al considerar solo 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 discontinuidades removibles y de salto utilizando diferentes terminologías. Sin embargo, además, ambos autores afirman que siempre es un conjunto numerable (ver [6] [7] ).

El término discontinuidad esencial tiene evidencia de uso en un contexto matemático desde 1889. [8] Sin embargo, el uso más temprano 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, cuando se dice que siempre es una discontinuidad esencial de primera especie . Cualquiera se dice que es una discontinuidad esencial de segunda especie. Por lo tanto, amplía el conjunto sin perder su característica de ser numerable, al afirmar lo siguiente:

Reescribiendo el teorema de Lebesgue

Cuando y es una función acotada, es bien conocida la importancia del conjunto en relación con la integrabilidad de Riemann de De hecho, el Teorema de Lebesgue (también llamado Teorema de Lebesgue-Vitali) establece que es integrable de Riemann en si y sólo si es un conjunto con medida de Lebesgue cero.

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 según Riemann. Como los conjuntos numerables son conjuntos de medida cero de Lebesgue y una unión numerable de conjuntos con medida cero de Lebesgue sigue siendo un conjunto de medida cero de Lebesgue, estamos viendo ahora que este no es el caso. De hecho, las discontinuidades en el conjunto son absolutamente neutrales en lo que respecta a la integrabilidad de Riemann de Las discontinuidades principales 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:

El caso donde corresponden a las siguientes situaciones complementarias clásicas bien conocidas de integrabilidad de Riemann de una función acotada :

Ejemplos

La función de Thomae es discontinua en cada punto racional distinto de cero , pero continua en cada 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 cada punto racional , pero discontinua en cada punto irracional.

La función indicadora de los racionales, también conocida como función de Dirichlet , es discontinua en todas partes . Estas discontinuidades son todas esenciales también del primer tipo.

Consideremos ahora el conjunto ternario de Cantor y su función indicadora (o característica). Una forma de construir el conjunto de Cantor está dada por donde los conjuntos se obtienen por recurrencia de acuerdo con

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 se eliminaron en la construcción de De esta manera, tiene un entorno sin puntos de (De otra manera, se sigue la misma conclusión teniendo en cuenta que es un conjunto cerrado y, por lo tanto, su complementario con respecto a es abierto). Por lo tanto, solo supone el valor cero en algún entorno de Por lo tanto es continuo 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, se tiene De hecho, puesto que es un conjunto denso que no es donde, si entonces ningún entorno de puede estar contenido en De esta manera, cualquier entorno de contiene puntos de y puntos que no son de En términos de la función esto significa que tanto y no existen. Es decir, donde por como antes, denotamos el conjunto de todas las discontinuidades esenciales de primer tipo de la función Claramente

Discontinuidades de las derivadas

Sea un intervalo abierto, sea diferenciable en y sea la derivada de Es decir, para cada . Según el teorema de Darboux , la función derivada satisface la propiedad de valor intermedio. La función puede, por supuesto, ser continua en el intervalo , en cuyo caso también se aplica el teorema de Bolzano . Recordemos que el teorema de Bolzano afirma que toda función continua satisface la propiedad de valor intermedio. Por otro lado, la inversa es falsa: el teorema de Darboux no supone que sea continua y la propiedad de valor intermedio no implica que sea continua en

El teorema de Darboux tiene, sin embargo, 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 :

  1. es una discontinuidad removible de .
  2. es una discontinuidad de salto de .

Además, hay que excluir otras dos situaciones (véase John Klippert [12] ):

Obsérvese 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 otra parte, 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 si

y

Por lo tanto, si es una discontinuidad de una función derivada , entonces necesariamente es una discontinuidad esencial fundamental de .

Nótese también que cuando y es una función acotada, como en los supuestos del Teorema de Lebesgue, tenemos para todo : y Por lo tanto, cualquier discontinuidad esencial de es fundamental.

Véase también

Notas

  1. ^ Véase, por ejemplo, la última frase de la definición dada en Mathwords. [1]

Referencias

  1. ^ "Mathwords: Discontinuidad removible".
  2. ^ Stromberg, Karl R. (2015). Introducción al análisis real clásico . American Mathematical Society. págs. 120. Ejemplo 3 (c). ISBN 978-1-4704-2544-9.
  3. ^ Apostol, Tom (1974). Análisis matemático (segunda edición). Addison y Wesley. pp. 92, sec. 4.22, sec. 4.23 y ej. 4.63. ISBN 0-201-00288-4.
  4. ^ Walter, Rudin (1976). Principios del análisis matemático (tercera edición). McGraw-Hill. pp. 94, Def. 4.26, Tesis 4.29 y 4.30. ISBN 0-07-085613-3.
  5. ^ Stromberg, Karl R. Op. cit . págs. 128, Def. 3.87, Teo. 3.90.
  6. ^ Walter, Rudin. Op. cit ., págs. 100, ej. 17.
  7. ^ Stromberg, Karl R. Op. cit . págs. 131, Ex. 3.
  8. ^ Whitney, William Dwight (1889). The Century Dictionary: An Encyclopedic Lexicon of the English Language. Vol. 2. Londres y Nueva York: T. Fisher Unwin y The Century Company. pág. 1652. ISBN 9781334153952. 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.
  9. ^ Klippert, John (febrero de 1989). "Cálculo avanzado avanzado: recuento de las discontinuidades de una función de valor real con dominio de intervalo". Revista de matemáticas . 62 : 43–48. doi :10.1080/0025570X.1989.11977410 – vía JSTOR.
  10. ^ Metzler, RC (1971). "Sobre la integrabilidad de Riemann". American Mathematical Monthly . 78 (10): 1129–1131. doi :10.1080/00029890.1971.11992961.
  11. ^ Rudin, Walter. Op.cit . pp. 109, Corolario.
  12. ^ Klippert, John (2000). "Sobre una discontinuidad de una derivada". Revista Internacional de Educación Matemática en Ciencia y Tecnología . 31:S2: 282–287. doi :10.1080/00207390050032252.

Fuentes

Enlaces externos