2009-08-21 ■ cond-num 研究 条件数に関する(おそらく既知の)等式の証明を、きちんと書きました。 Let A be a positive definite matrix, then min(κ(SAS^T):κ(S)<=C)=max(κ(A)/C^2,1).