UA MATH567 高维统计IV Lipschitz组合9 矩阵函数、半正定序与迹不等式