行列解析
Andoによる行列版ヤングの不等式
Lidskiiの定理
作用素凸関数に関するLownerの理論
Hansen-Pedersenの方法