定義
( M , g )をリーマン多様体とする。
- Mの部分集合Cは、 C内の任意の 2 点に対して、それら 2 点を結ぶ唯一の最小化測地線がC 内に存在する場合、測地的に凸な集合であると言われる。
- CをMの測地線凸部分集合とする。関数
合成関数が(厳密に)測地線凸関数であると言われるのは、
- :[0,T]\to \mathbf {R} }
![{\displaystyle f\circ \gamma :[0,T]\to \mathbf {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/251667321d433c2202c4188da99f4b4fca77b055)
- は、 Cに含まれるすべての単位速度測地線弧γ : [0, T ] → Mに対して、通常の意味での(厳密に)凸関数である。
参考文献
- Rapcsák, Tamás (1997). R nにおける滑らかな非線形最適化. 非凸最適化とその応用. 第 19 巻. ドルドレヒト: Kluwer Academic Publishers. ISBN 0-7923-4680-7. MR 1480415 .
- Udriste, Constantin (1994).リーマン多様体上の凸関数と最適化手法. 数学とその応用. 第 297巻. ドルドレヒト: Kluwer Academic Publishers. ISBN 0-7923-3002-1。