Riemannovské ponoření

Riemannovské ponoření  je ponoření mezi Riemannovými varietami , které je infinitesimally ortogonální projekce .

Definice

Dovolit a  být Riemannovy variety . Hladké zobrazení se nazývá Riemannovo ponoření , pokud pro jakýkoli bod existuje izometrické lineární vložení takové, že existuje ortogonální projekce. Zde označuje diferenciál zobrazení v bodě .

U vektoru se vektor nazývá horizontální vztlak .

O'Neillův vzorec

Buď  riemannovský ponor. Potom pro jakákoli vektorová pole na , lze hodnotu tenzoru křivosti vypočítat pomocí O'Neillova vzorce

.

kde jsou vodorovné zdvihy polí , v tomto pořadí , a je vertikální složka Lieové závorky vektorových polí na .

Zejména,

,

Poznámky

Důsledky

Variace a zobecnění

Literatura