Suppose(M,F) is a convex complex Finsler manifold. We prove that geodesics of(M,F) are locally minimizing. Hence, F introduces a distance function d such that(M,d) is a metric space from topology. Next, we prove the c...Suppose(M,F) is a convex complex Finsler manifold. We prove that geodesics of(M,F) are locally minimizing. Hence, F introduces a distance function d such that(M,d) is a metric space from topology. Next, we prove the classical Hopf-Rinow Theorem holds on(M,F).展开更多
基金Supported by the National Natural Science Foundation of China(Grant No.12001165).
文摘Suppose(M,F) is a convex complex Finsler manifold. We prove that geodesics of(M,F) are locally minimizing. Hence, F introduces a distance function d such that(M,d) is a metric space from topology. Next, we prove the classical Hopf-Rinow Theorem holds on(M,F).
