0.7.8 vec写像
行列 \( A \in M_{m,n}(F) \) をその列によって分割し、
A = [\mathbf{a}_1 \ \cdots \ \mathbf{a}_n]
と表現します。写像 vec
:\( M_{m,n}(F) \rightarrow F^{mn} \) は、
\operatorname{vec} A = [\mathbf{a}_1^T \ \cdots \ \mathbf{a}_n^T]^T
で定義され、これは行列の各列を左から右へと積み重ねたベクトルになります。vec
演算子は、行列方程式を扱う問題において便利な道具となることがあります。
行列解析の総本山

[行列解析]総本山
行列解析の総本山。行列解析の内容を網羅的かつ体系的に整理しています。線形代数の学習を一通り終えた方が、次のステップとして取り組むのに最適です。行列に関する不等式を研究するには、行列解析の知識が欠かせません。
コメント