Lipschitz continua
De Wikipedia, la enciclopedia libre
En matemática, una función f : M → N entre espacios métricos M y N es llamada Lipschitz continua (o se dice que satisface una condición de Lipschitz) si existe una constante K > 0 tal que d(f(x), f(y)) ≤ K d(x, y) para todo x y y en M. En tal caso, K es llamada la constante Lipschitz de la función. El nombre viene del matemático alemán Rudolf Lipschitz.
Toda función Lipschitz continua es uniformemente continua y por tanto continua.
Las funciones Lipschitz continuas con constante Lipschitz K = 1 son llamadas funciones cortas y con K < 1 contracciones, estas últimas son el tema del teorema del punto fijo de Banach. La condición de Lipschitz es una hipótesis importante para demostrar la existencia y unicidad de soluciones para las ecuaciones diferenciales ordinarias. Esta condición por si sola nos asegura la existencia de soluciones (Teorema de Peano), pero para poder confirmar también la unicidad de la ecuación necesitamos también continuidad de la función (Teorema de Picard).
Si U es un subconjunto del espacio métrico M y f : U → R es una función Lipschitz continua a valores reales, entonces siempre existe una función Lipschitz continua M → R que extiende f y tiene la misma constante Lipschitz que f.(ver también teorema de Kirszbraun).
Una función Lipschitz continua f : I → R, donde I es un intervalo en R, es casi por todo diferenciable (siempre, excepto en un conjunto de medida de Lebesgue cero). Si K es la constante Lipschitz de f, entonces |f(x)| ≤ K toda vez que la derivada exista. Contrariamente, si f : I → R es una función diferenciable con derivada acotada, |f(x)| ≤ L para toda x en I, entonces f es Lipschitz continua con constante Lipschitz K ≤ L, una consecuencia del teorema del valor medio.