Kirschbrownova věta o pokračování
Kirschbrownův teorém rozšíření (někdy nazývaný Valentinův teorém ) je teorém o existenci rozšíření Lipschitzovy funkce definované na podmnožině euklidovského prostoru na celý prostor.
Formulace
Nechal libovolnou podmnožinu Euclidean prostoru , pak libovolné krátké mapování může být rozšířeno na krátké mapování ; jinými slovy, existuje krátké mapování takové, že .
![{\displaystyle f:S\to \mathbb {R} ^{m}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e2c525fdccf7e8a432c35439cbe6b38e2203d32)
![{\displaystyle {\bar {f)):\mathbb {R} ^{n}\to \mathbb {R} ^{m))](https://wikimedia.org/api/rest_v1/media/math/render/svg/10abe6d9690bf2e4947b59e908157628fc6accd7)
![{\displaystyle {\bar {f)):\mathbb {R} ^{n}\to \mathbb {R} ^{m))](https://wikimedia.org/api/rest_v1/media/math/render/svg/10abe6d9690bf2e4947b59e908157628fc6accd7)
![{\displaystyle {\bar {f}}|_{S}=f}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d02863fee39e90dbb8263f91a5d2cd6b4b28da28)
Variace a zobecnění
- Přirozeně zobecňuje na
- Podobný výsledek pro zobrazení mezi sférami není pravdivý, ale věta platí pro
- Zobrazení z podmnožiny koule do polokoule se stejným zakřivením.
- Mapování z podmnožiny koule do koule se stejným zakřivením nemenšího rozměru.
- Podobný výsledek pro Banachovy prostory je nesprávný.
Metrická geometrie
- Zobecnění Kirschbrownovy věty na metrické prostory podali Lang a Schröder [1] [2]
- Jakékoli krátké mapování definované na podmnožině libovolného metrického prostoru s hodnotami v injektivním prostoru umožňuje krátké rozšíření na celý prostor. To dává další zobecnění věty na metrické prostory. Mezi injektivní prostory patří skutečné řádkové a metrické stromy a také -mezery.
![L^{\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9ab400cc4dfd865180cd84c72dc894ca457671f)
- Pro metrické prostory s vlastností zdvojení platí slabá verze Kirschbrownovy věty. Konkrétně, pokud je metrický prostor s vlastností zdvojení a je Banachovým prostorem, pak jakékoli mapování -Lipschitz se rozšiřuje na mapování -Lipschitz , kde konstanta závisí pouze na parametru ve vlastnosti zdvojování. [3]
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![A\podmnožina X](https://wikimedia.org/api/rest_v1/media/math/render/svg/826569be03f873b81cdc6f12637ef5520c369d21)
![PROTI](https://wikimedia.org/api/rest_v1/media/math/render/svg/af0f6064540e84211d0ffe4dac72098adfa52845)
![L](https://wikimedia.org/api/rest_v1/media/math/render/svg/103168b86f781fe6e9a4a87b8ea1cebe0ad4ede8)
![{\displaystyle A\to V}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e24518d28b9f06ff6dcc717fe45e6dd42a680630)
![{\displaystyle C\cdot L}](https://wikimedia.org/api/rest_v1/media/math/render/svg/47a176e851da3dc73825934f8584926390931c70)
![{\displaystyle X\to V}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb095dc7a8950e06d29532c8f0fd31b07fd8e6e9)
![C](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fc55753007cd3c18576f7933f6f089196732029)
Historie
Bylo to prokázáno v disertační práci Moizhese Kirshbrauna (obhájené v roce 1930) [4] . Později tento teorém vyvrátil Frederic Valentine [5] .
Viz také
Poznámky
- ↑ Lang, U.; Schroeder, V. Kirszbraunův teorém a metrické prostory omezené křivosti. Geom. Funct. Anální. 7 (1997), No. 3, 535-560.
- ↑ Alexander, Stephanie; Kapovič, Vitali; Petrunin, Anton Alexandrov se setkává s Kirszbraunem. Sborník z Geometry-topologické konference Gökova 2010, 88–109, Int. Press, Somerville, MA, 2011.
- ↑ 4.1.21 v Heinonen, Juha, et al. Sobolevovy prostory na metrických prostorech. sv. 27. Cambridge University Press, 2015.
- ↑ M. D. Kirszbraun. Über die zusammenziehende und Lipschitzsche Transformationen. fond. Math., (22): 77-108, 1934.
- ↑ FA Valentine, "O rozšíření vektorové funkce tak, aby byla zachována Lipschitzova podmínka," Bulletin of the American Mathematical Society, sv. 49, str. 100-108, 1943.