Un punto de discontinuidad donde una función no tiene límite (ni por un lado ni en general) y no puede hacerse continua redefiniendo su valor en ese punto; la oscilación alrededor del punto no desaparece.

Principio

La discontinuidad esencial se caracteriza por oscilación persistente o divergencia de límites unilaterales; a diferencia de las discontinuidades removibles no existe un valor único que restaure la continuidad, y a diferencia de un salto ordinario el conjunto de valores acumulados es no trivial o denso.

Demostración

La función f(x)=sin(1/x) para x≠0 (con cualquier valor asignado en 0) no tiene límite cuando x→0 y por tanto 0 es una discontinuidad esencial; el conjunto de acumulación es el intervalo [−1,1]. Otro ejemplo extremo es la función de Dirichlet, que vale 1 en los racionales y 0 en los irracionales, discontinua en todas partes.

Aplicación incorrecta

Llamar esencial a una discontinuidad por salto ordinaria (con límites unilaterales distintos), o creer que redefiniendo la función en el punto se puede restablecer la continuidad cuando la oscilación persiste arbitrariamente cerca del punto.

Consecuencia

Las discontinuidades esenciales impiden la extensión puntual a una función continua y complican la aproximación local; afectan propiedades de integrabilidad, modos de convergencia y la aplicabilidad de ciertos teoremas que requieren límites puntuales.

Inversión

Una discontinuidad removible es la inversión: el límite existe y una única redefinición en el punto hace la función continua; los saltos y los polos son otras inversiones con estructura local distinta.

Límite

La noción se aplica a funciones valoradas en reales o complejos de forma puntual; excluye singularidades distribucionales, comportamiento de funciones generalizadas y la clasificación de singularidades en análisis complejo (polos, singularidades esenciales en análisis complejo son distintas aunque análogas).

Tensión semántica

En análisis real, una discontinuidad esencial puede confundirse con una singularidad esencial en análisis complejo; esta última se refiere a singularidades no polares de funciones holomorfas con imagen densa en vecindarios, concepto distinto pero análogo en espíritu.

Síntesis

Una discontinuidad esencial marca un punto donde los valores locales de una función son irreductiblemente inestables: ninguna corrección puntual puede restaurar la continuidad, y la oscilación persistente o conjunto de acumulación denso exige herramientas analíticas diferentes para la aproximación y la integración.