Riemannovské ponoření je ponoření mezi Riemannovými varietami , které je infinitesimally ortogonální projekce .
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 .
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,
,