Lec 14: The Soul Theorem

Lec 14: 本节讲了用来证明Soul Theorem的一个重要的引理, 其自身也是重要的定理, 该定理证明了对于非负截面曲率的流形, 对于其凸子集边界的距离函数是凹函数(Concave). 该定理由Berger's Comparison Theorem推出, 我们也证明了Berger的比较定理.