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 c...