積に対するヤングの不等式
安藤毅は複素行列に対するヤングの不等式の一般化(順序はレヴナー順序(英語版)による)を示した。