スクウェア（正方）コミュータティブ（可換）リング（環）マトリックス（行列）に対して、マトリックス（行列）のトランスポーズ（転置）のデターミナント（行列式）はマトリックス（行列）のデターミナント（行列式）であることの記述/証明
話題
About: リング（環）
この記事の目次
開始コンテキスト
ターゲットコンテキスト
- 読者は、任意のスクウェア（正方）コミュータティブ（可換）リング（環）マトリックス（行列）に対して、当該マトリックス（行列）のトランスポーズ（転置）のデターミナント（行列式）は当該マトリックス（行列）のデターミナント（行列式）であるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\(R\): \(\in \{\text{ 全てのコミュータティブ（可換）リング（環）たち }\}\)
\(n\): \(\in \mathbb{N} \setminus \{0\}\)
\(M\): \(\in \{\text{ 全ての } n \times n R \text{ マトリックス（行列）たち }\}\)
//
ステートメント（言明）たち:
\(det M^t = det M\)
//
2: Proof
Whole Strategy: Step 1: see that \(det M^t = \sum_{\sigma \in S_n} sgn (\sigma) M^{\sigma_1}_1 ... M^{\sigma_n}_n = \sum_{\sigma \in S_n} sgn (\sigma) M^1_{\sigma^{- 1}_1} ... M^n_{\sigma^{- 1}_n} = \sum_{\sigma^{- 1} \in S_n} sgn (\sigma^{- 1}) M^1_{\sigma^{- 1}_1} ... M^n_{\sigma^{- 1}_n} = det M\).
Step 1:
\(det M^t = \sum_{\sigma \in S_n} sgn (\sigma) {M^t}^1_{\sigma_1} ... {M^t}^n_{\sigma_n}\), by the definition of determinant, \(= \sum_{\sigma \in S_n} sgn (\sigma) M^{\sigma_1}_1 ... M^{\sigma_n}_n\).
As \((\sigma_1, ..., \sigma_n)\) is a permutation result of \((1, ..., n)\), \(M^{\sigma_1}_1 ... M^{\sigma_n}_n\) can be reordered to be \(M^1_{j_1} ... M^n_{j_n}\), which is possible, because \(R\) is commutative.
For each \(M^l_{j_l}\), \(M^l_{j_l} = M^{\sigma_m}_m\) for an \(m \in \{1, ..., n\}\), so, \(l = \sigma_m = \sigma (m)\) and \(j_l = m\), so, \(j_l = m = \sigma^{- 1} (l) = \sigma^{- 1}_l\), so, \(M^l_{j_l} = M^l_{\sigma^{- 1}_l}\).
So, \(det M^t = \sum_{\sigma \in S_n} sgn (\sigma) M^1_{\sigma^{- 1}_1} ... M^n_{\sigma^{- 1}_n} = \sum_{\sigma \in S_n} sgn (\sigma^{- 1}) M^1_{\sigma^{- 1}_1} ... M^n_{\sigma^{- 1}_n}\), by the proposition that for any permutation of any finite sequence, the sign of the inverse of the permutation is the sign of the permutation.
\(= \sum_{\sigma^{- 1} \in S_n} sgn (\sigma^{- 1}) M^1_{\sigma^{- 1}_1} ... M^n_{\sigma^{- 1}_n}\), by the proposition that for any group, the set of the inverses of the elements of the group is the group with no duplication: for each \(\sigma \in S_n\), indeed \(\sigma^{- 1} \in S_n\), and as \(\sigma\) goes round \(S_n\), \(\sigma^{- 1}\) goes round \(S_n\).
\(= \sum_{\sigma' \in S_n} sgn (\sigma') M^1_{\sigma'_1} ... M^n_{\sigma'_n}\), by the proposition that for any group, the set of the inverses of the elements of the group is the group with no duplication: \(\sigma^{- 1} = \sigma' \in S_n\).
\(= det M\).
