Teorema de Kirszbraun

En matemáticas, específicamente análisis real y análisis funcional, el teorema de Kirszbraun establece que si U es un subconjunto de algún espacio de Hilbert H₁, y H₂ es otro espacio de Hilbert, y

f : U → H₂

es un mapa continuo de Lipschitz, entonces hay un mapa continuo de Lipschitz

F: H₁ → H₂

que extiende f y tiene la misma constante de Lipschitz que f.

Téngase en cuenta que este resultado en particular se aplica a los espacios euclídeos Eⁿ y E^m, y fue de esta forma que Kirszbraun formuló y demostró originalmente el teorema.^[1] La versión para espacios de Hilbert se puede encontrar, por ejemplo, en (Schwartz 1969, p. 21).^[2] Si H₁ es un espacio separable (en particular, si es un espacio euclidiano) el resultado es cierto en la teoría de conjuntos de Zermelo-Fraenkel; para el caso completamente general, parece necesitar alguna forma del axioma de elección; el teorema ideal primero de Boole es conocido por ser suficiente.^[3]

La demostración del teorema utiliza características geométricas de los espacios de Hilbert; el enunciado correspondiente para los espacios de Banach no es cierto en general, ni siquiera para los espacios de Banach de dimensión finita. Por ejemplo, es posible construir contraejemplos donde el dominio es un subconjunto de Rⁿ con la norma máxima y R^m lleva la norma euclidiana.^[4] De manera más general, el teorema falla para $\mathbb {R} ^{m}$ equipado con cualquier norma $\ell _{p}$ ( $p\neq 2$ ) (Schwartz 1969, p. 20).^[2]

Para una función con valor R, la extensión es proporcionada por ${\tilde {f}}(x):=\inf _{u\in U}{\big (}f(u)+{\text{Lip}}(f)\cdot d(x,u){\big )},$ donde ${\text{Lip}}(f)$ es la constante de Lipschitz de f en U.

Historia

El teorema fue probado por Mojżesz David Kirszbraun, y más tarde fue probado de nuevo por Frederick Valentine,^[5] quien lo demostró por primera vez para el plano euclidiano.^[6] A veces, este teorema también se denomina teorema de Kirszbraun-Valentine.

Referencias

↑ Kirszbraun, M. D. (1934). «Über die zusammenziehende und Lipschitzsche Transformationen». Fund. Math. 22: 77-108.
↑ ^a ^b Schwartz, J. T. (1969). Nonlinear functional analysis. New York: Gordon and Breach Science.
↑ Fremlin, D. H. (2011). «Kirszbraun's theorem». Preprint.
↑ Federer, H. (1969). Geometric Measure Theory. Berlin: Springer. p. 202. (requiere registro).
↑ Valentine, F. A. (1945). «A Lipschitz Condition Preserving Extension for a Vector Function». American Journal of Mathematics 67 (1): 83-93. doi:10.2307/2371917.
↑ Valentine, F. A. (1943). «On the extension of a vector function so as to preserve a Lipschitz condition». Bulletin of the American Mathematical Society (en inglés) 49 (2): 100-108. ISSN 0002-9904. doi:10.1090/S0002-9904-1943-07859-7. Consultado el 16 de febrero de 2021.

Enlaces externos

Teorema de Kirszbraun en la Encyclopaedia of Mathematics

Datos: Q4454954

[1] Kirszbraun, M. D. (1934). «Über die zusammenziehende und Lipschitzsche Transformationen». Fund. Math. 22: 77-108.

[Schwartz1969-2] Schwartz, J. T. (1969). Nonlinear functional analysis. New York: Gordon and Breach Science.

[3] Fremlin, D. H. (2011). «Kirszbraun's theorem». Preprint.

[4] Federer, H. (1969). Geometric Measure Theory. Berlin: Springer. p. 202. (requiere registro).

[5] Valentine, F. A. (1945). «A Lipschitz Condition Preserving Extension for a Vector Function». American Journal of Mathematics 67 (1): 83-93. doi:10.2307/2371917.

[6] Valentine, F. A. (1943). «On the extension of a vector function so as to preserve a Lipschitz condition». Bulletin of the American Mathematical Society (en inglés) 49 (2): 100-108. ISSN 0002-9904. doi:10.1090/S0002-9904-1943-07859-7. Consultado el 16 de febrero de 2021.

[1]

[2]

[3]

[4]

[5]

[6]