Clasificación de discontinuidades

Las funciones continuas son de suma importancia en matemática y en distintas aplicaciones. Sin embargo, no todas las funciones son continuas. Puede ocurrir que una función no sea continua en todo su dominio de definición. Si una función no es continua en un punto, se dice que la función tiene una discontinuidad en ese punto y que la función es discontinua. En este artículo se describe la clasificación de discontinuidades para el caso más simple de funciones de una sola variable real.

Considérese una función y= f(x), de variable real x, definida para todo valor de x excepto posiblemente para un cierto valor x= a. Es decir, f(x) está definida para x < a y para x > a. Definamos también:

Considérese el concepto de tendencia de la función: f(x), en la proximidad de un punto: a, antes de emplear el concepto de límite, más formal.

Se dice que una función f(x) tiende a un valor c, cuando x tiende a a por la izquierda, si a medida que x toma valores más próximos a a, sin llegar nunca a ser a, e inferiores a a, el valor de la función f(x) se aproxima progresivamente a c, siendo c un número real, entonces se dice que la función converge por la izquierda en c, o que la función es convergente por la izquierda.

Si cuando x se aproxima a a, sin llegar al valor de a, y con valores inferiores a a, toma valores cada vez mayores, sin poder determinar un valor real que el valor de la función no pueda superar, se dice que la función tiende a infinito cuando x tiende a a por la izquierda, del mismo modo si cuando x se aproxima progresivamente a a, sin llegar a ser a y con valores inferiores a a, el valor de la función toma valores inferiores cada vez, sin poder determinar un número real mínimo que la función no pueda superar, se dice que la función tiende a menos infinito, cuando la variable tiende a a por la izquierda. En estos dos casos se dice que la función diverge cuando x tiende a a por la izquierda.

Si cuando la variable x toma valores progresivamente más próximos a a, pero distintos de a e inferiores a a, la función oscila entre un valor superior Ls y un valor inferior Li, siendo Ls el valor real más pequeño que la función no puede superar cuando x tiende a a por la izquierda, y Li es el valor más alto para el que la función permanece por encima cuando x tiende a a por la izquierda, se dice que la función oscila entre los valores Ls y Li cuando x tiende a a por la izquierda, y por lo tanto la función, en este caso no tiene límite.

Si para valores de x próximos a a, inferiores a a, no existe por no estar definida o por no existir ningún número real como resultado de f(x), se dice que f(x) no existe a la izquierda de a.

Por el mismo razonamiento se puede determinar la tendencia de la función f(x), cuando x tiende a a, sin llegar a ser a y con valores mayores que a, diciendo que x tiende a a por la derecha, con los mismos resultados que los obtenidos por la izquierda.

Según el caso que f(x) presente cuando x tiende a a por la derecha y por la izquierda y el valor de la función en el punto a: f(a), se podrá determinar la continuidad de la función en el punto a, o los distintos tipos de discontinuidad.

El límite por izquierda en a, es decir, el límite al aproximarse al valor x= a mediante valores menores de a, como:

El límite por derecha en a, es decir, el límite al aproximarse al valor x= a mediante valores mayores de a, como:

Si estos dos límites en el entorno del punto a existen y son iguales se dice que la función tiene límite en este punto.

En cualquier otro caso se dice que la función no tiene límite en ese punto.

A pesar de que una función exista pero no tenga límite en un punto, podemos diferenciar un límite superior e inferior.

Se dice que una función tiene límite superior por la izquierda, en un punto a, si existe una cuota superior: Ls, que el límite no supera cuando se aproxima a a por la izquierda:

Del mismo modo se dice que una función tiene límite inferior por la izquierda, en un punto a, si existe una cuota inferior: Li, por debajo de la cual el límite no puede estar cuando se aproxima a a por la izquierda:

Se dice que una función tiene límite superior por la derecha, en un punto a, si existe una cuota superior: Ls, que el límite no supera cuando se aproxima a a por la derecha:

También se dice que una función tiene límite inferior por la derecha, en un punto a, si existe una cuota inferior: Li, por debajo de la cual el límite no puede estar cuando se aproxima a a por la derecha:

Si el límite superior por la derecha y por la izquierda coinciden, se lo menciona sencillamente de límite superior, del mismo modo, si el límite inferior por la derecha y por la izquierda coinciden se lo menciona como el límite inferior.

Pero esta coincidencia no tiene porque darse en todos los casos.

Si una función tiene límite en un punto y su valor coincide con el valor de la función en ese punto, entonces la función es continua en ese punto:

en cualquier otro caso es discontinua en ese punto.

La discontinuidad de una función en un punto puede ser clasificada en:

Una función presenta discontinuidad evitable en un punto a, si existe el límite en el punto, pero la función en ese punto, f(a), tiene un valor distinto o no existe, veamos estos dos casos.

Si el límite cuando x tiende a a, es c, y el valor de la función evaluada en a es d, la función es discontinua en a.

Si la función tiene por límite cuando tiende a a, pero no existe en ese punto, la función es discontinua en a, el punto no pertenece al dominio.

Sabiendo que una función es continua en un punto, cuando tiene límite en ese punto, y el valor del límite es el mismo que el valor de la función en ese punto, las dos discontinuidades anteriores se pueden evitar asignando a la función, en el punto de discontinuidad, el valor del límite en ese punto.

Se dice que una función presenta una discontinuidad esencial cuando se produce algunas de las siguientes situaciones:

En este tipo de discontinuidad existen tres tipos:

Existen los límites por la derecha y por la izquierda del punto, su valor es finito, pero no son iguales:

A este tipo de discontinuidad de primera especie se le llama salto finito, y el salto (Δy) viene dado por:

Si la función tiende a c, cuando x tiende a a por la izquierda, y tiende a d cuando lo hace por la derecha, en el punto x = a, se presenta un salto, independientemente del valor de la función en ese punto.

Así podemos ver que son discontinuidades de salto finito:

Si uno de los límites laterales es infinito y el otro finito, tanto si el límite por la izquierda es finito y el de la derecha infinito:

Así podemos ver los casos:

como en el caso de que el límite por la izquierda sea infinito y por la derecha finito:

Donde se puede ver:

Se dice que la discontinuidad es de salto infinito.

Si los dos límites laterales de la función en el punto x = a son infinitos:

A este tipo de discontinuidad de primera especie se le llama discontinuidad asintótica, siendo x = a la asíntota.

Si la función no existe en uno de los lados del punto, o no existen alguno, o ambos, de los límites laterales de la función en ese punto, se dice que la función presenta una discontinuidad de segunda especie en ese punto.

NO es una discontinuidad de segunda especie una función definida en un solo punto, o más generalmente, en un conjunto isolado de puntos. Toda función definida en ese tipo de conjuntos es continua.

Si la función existe, pero no tiene límite:

Una función y = f(x) es continua en un punto a, si los límites por la derecha y la izquierda son iguales, y coinciden con el valor de la función en ese punto.

Una función a pesar de ser discontinua en un punto, puede tener lo que se denomina continuidad lateral.

Una función f(x) se dice que tiene continuidad por la izquierda de un punto a, si el límite por la izquierda coincide con el valor de la función en a.

Una función f(x) se dice que tiene continuidad por la derecha de un punto a, si el límite por la derecha coincide con el valor de la función en a.

El punto ${displaystyle x_{0}=1}$ es una discontinuidad evitable. Esta función puede hacerse continua simplemente redefiniendo la función en este punto para que valga ${displaystyle f_{1}(x_{0})=1}$.

El punto ${displaystyle x_{0}=1}$ es una discontinuidad por salto.

El punto ${displaystyle x_{0}=1}$ una discontinuidad esencial, para lo cual hubiese bastado que uno de los dos límites laterales no exista o sea infinito (en este caso se cumple para ambos límites laterales: para el límite por izquierda y para el límite por derecha).

Existen funciones que no son continuas en ningún punto. La más conocida es la función característica de Q, es decir la función que toma como valor 1 cuando x pertenece al conjunto de los racionales, y 0 si no.

Obviamente, no se puede dibujar su curva, que está constituida por una infinidad de puntos en la recta y= 0, y una infinidad (menor) de puntos en la recta y= 1.

Una función presenta un punto de Discontinuidad evitable si en ese punto se cumple que:

Pueden ser transformadas en otra función continua, dándole a f(a) el valor adecuado que la hace continua. Si modificamos una función obtenemos otra función, no la misma, por ello se dice que son evitables.

La función:

Presenta los siguientes límites por la izquierda y por la derecha:

pero la función para x= 2 no está definida:

en este un caso de discontinuidad evitable y además de un modo sencillo:

lo que es lo mismo:

simplificando:

esta función es continua para todo x de valor real y es equivalente a la primera función, excepto en que la primera es discontinua para x= 2.

Una función presenta una discontinuidad de primera especie en un punto x1, si en este punto se cumple que:

se produce un salto en los extremos.

Un ejemplo de función con discontinuidad de este estilo es por ejemplo:

${displaystyle f(x)=sum _{k=1}^{infty }{frac {sin(kx)}{k}}}$

Que es continua (y diferenciable) en todos los puntos, excepto en los puntos ${displaystyle scriptstyle x_{n}=2npi }$ con ${displaystyle scriptstyle nin mathbb {Z} }$.

Son las que tienen puntos para los que existe solo uno de los límites laterales o ninguno.

Por ejemplo la función ${displaystyle f(x)={sqrt {x}}}$. Ésta tiene una discontinuidad de segunda especie en 0 pues no existe el límite:

La discontinuidad viene marcada por una asíntota vertical. Se cumple lo siguiente:

En la gráfica podemos ver la función:

Donde ${displaystyle x_{1}}$ es un valor conocido, que presenta una asíntota vertical para ${displaystyle x=x_{1}}$

---