If p ∈ M realizes this infimum, and γ : [0,1] → M is the geodesic loop ... infp∈M inj(p) = min { π√K, 1 2 · (length of shortest closed geodesic) } .
確定! 回上一頁