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ídeosEn y Em, 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 H1 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 Rn con la norma máxima y Rm lleva la norma euclidiana.[4] De manera más general, el teorema falla para equipado con cualquier norma () (Schwartz 1969, p. 20).[2]
Para una función con valor R, la extensión es proporcionada por donde 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.
↑ 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 Mathematics67 (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.
teorema, kirszbraun, matemáticas, específicamente, análisis, real, análisis, funcional, teorema, kirszbraun, establece, subconjunto, algún, espacio, hilbert, otro, espacio, hilbert, h2es, mapa, continuo, lipschitz, entonces, mapa, continuo, lipschitz, h2que, e. En matematicas especificamente analisis real y analisis funcional el teorema de Kirszbraun establece que si U es un subconjunto de algun espacio de Hilbert H1 y H2 es otro espacio de Hilbert y f U H2es un mapa continuo de Lipschitz entonces hay un mapa continuo de Lipschitz F H1 H2que extiende f y tiene la misma constante de Lipschitz que f Tengase en cuenta que este resultado en particular se aplica a los espacios euclideos En y Em y fue de esta forma que Kirszbraun formulo y demostro originalmente el teorema 1 La version para espacios de Hilbert se puede encontrar por ejemplo en Schwartz 1969 p 21 2 Si H1 es un espacio separable en particular si es un espacio euclidiano el resultado es cierto en la teoria de conjuntos de Zermelo Fraenkel para el caso completamente general parece necesitar alguna forma del axioma de eleccion el teorema ideal primero de Boole es conocido por ser suficiente 3 La demostracion del teorema utiliza caracteristicas geometricas 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 dimension finita Por ejemplo es posible construir contraejemplos donde el dominio es un subconjunto de Rn con la norma maxima y Rm lleva la norma euclidiana 4 De manera mas general el teorema falla para R m displaystyle mathbb R m equipado con cualquier norma ℓ p displaystyle ell p p 2 displaystyle p neq 2 Schwartz 1969 p 20 2 Para una funcion con valor R la extension es proporcionada por f x inf u U f u Lip f d x u displaystyle tilde f x inf u in U big f u text Lip f cdot d x u big donde Lip f displaystyle text Lip f es la constante de Lipschitz de f en U Historia EditarEl teorema fue probado por Mojzesz David Kirszbraun y mas tarde fue probado de nuevo por Frederick Valentine 5 quien lo demostro por primera vez para el plano euclidiano 6 A veces este teorema tambien se denomina teorema de Kirszbraun Valentine Referencias Editar Kirszbraun M D 1934 Uber 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 ingles 49 2 100 108 ISSN 0002 9904 doi 10 1090 S0002 9904 1943 07859 7 Consultado el 16 de febrero de 2021 Enlaces externos EditarTeorema de Kirszbraun en la Encyclopaedia of Mathematics Datos Q4454954 Obtenido de https es wikipedia org w index php title Teorema de Kirszbraun amp oldid 134497339, wikipedia, wiki, leyendo, leer, libro, biblioteca,
