勉強を進めていて，グラム行列(Gram matrix)というものを知りました．少し調べてみて，Horn and Johnson(2013)にある記述がわかりやすかったので，その定理と証明をメモすることにしました． 問題を設定するため，いくつか準備をします．張る部分空間，ラン…