En matemáticas, el teorema de Kirszbraun afirma que si "U" es un subconjunto del espacio euclídeo E y f: "U" → E es un función lipschitziana, entonces existe otra función lipschitziana f':E → E que extiende a "f" y que tiene la misma constante de Lipschitz que "f".