Función lipschitziana

En matemática, una función f : MN entre espacios métricos (M,dM) y (N,dN) se dice que es lipschitziana (o se dice que satisface una condición de Lipschitz o que es Lipschitz continua) si existe una constante K > 0 tal que:[1]

En tal caso, K es llamada la constante Lipschitz de la función. El nombre viene del matemático alemán Rudolf Lipschitz. Para funciones definidas sobre espacios euclídeos la relación anterior puede escribirse:

Características y resultados principales

  • Si U es un subconjunto del espacio métrico M y f : UR es una función Lipschitz continua a valores reales, entonces siempre existe una función Lipschitz continua MR que extiende f y tiene la misma constante Lipschitz que f.(ver también teorema de Kirszbraun).
  • Una función Lipschitz continua f : IR, donde I es un intervalo en R, es diferenciable casi en todas partes (siempre excepto en un conjunto de medida de Lebesgue cero). Además, si K es la constante Lipschitz de f, entonces |(f')(x)| ≤ K toda vez que la derivada exista. Recíprocamente, si f : IR es una función diferenciable con derivada acotada, |(f')(x)| ≤ L para toda x en I, entonces f es Lipschitz continua con constante Lipschitz KL, como consecuencia del teorema del valor medio.
Other Languages