Demostración
Es importante notar que lo recíproco no es válido; es decir que nada se puede afirmar sobre la derivabilidad de una función continua. Un ejemplo claro de esta situación es la función valor absolutof(x)= |x| que si bien es continua en todo su dominio no es derivable en x= 0. Incluso hay funciones continuas en todo pero no derivables en ningún punto (las funciones del movimiento browniano verifican esto con probabilidad 1). Sobre esto consultar Calculus de Spivak.
Clase de continuidad
Una función , se dice que:
- es de clase cuando es continua en todo el dominio .
- es de clase si está definida en todo el dominio junto con sus derivadas hasta orden y todas ellas son continuas.
- es de clase si tiene derivadas continuas de cualquier orden. Observemos que funciones de este tipo no son nercesariamente analíticas.
- Una función es de clase si es la derivada en el sentido de las distribuciones de una función de clase .
- Una función generalizada se dice de clase si es la derivada k-ésima en el sentido de las distribuciones de una función de clase .
Cualquier función polinómica de una variable es una función de clase . La función generalizada denomiada delta de Dirac es una función de clase ya que es la derivada segunda de la función rampa que es continua, y la derivada primera de la función escalón de Heaviside que es de clase
Se puede dar ejemplos que muestran que hay funciones de clase pero no lo son de clase . Los ejemplos clásicos son .
Ejemplo

No hay comentarios:
Publicar un comentario