[行列解析0.3.5]乗法性

行列式関数の重要な性質の一つに、乗法性があります。すなわち、任意の \( A, B \in M_n(F) \) に対して、以下が成り立ちます：

\det(AB) = \det(A) \det(B)

この性質は、基本行操作を用いて \( A \) と \( B \) の両方を行簡約する過程で証明できます。

注：当サイトはCAMBBRIDGE公式サイトとは無関係です。「Matrix Analysis：Second Edition Roger A. Horn　University of Utah Charles R. Johnson」