同一長マルチディメンショナル（複数次元）アレイ（配列）の、シンメトライズド（対称化された）後にアンチシンメトライズド（反対称化された）ものまたは同一長マルチディメンショナル（複数次元）アレイ（配列）の、アンチシンメトライズド（反対称化された）後にシンメトライズド（対称化された）ものは0であることの記述/証明
話題
About: セット（集合）
この記事の目次
開始コンテキスト
- 読者は、同一長マルチディメンショナル（複数次元）アレイ（配列）の定義を知っている。
- 読者は、同一長マルチディメンショナル（複数次元）アレイ（配列）の、インデックスたちのセット（集合）に関してシンメトライズド（対称化された）ものの定義を知っている。
- 読者は、同一長マルチディメンショナル（複数次元）アレイ（配列）の、インデックスたちのセット（集合）に関してアンチシンメトライズド（反対称化された）ものの定義を知っている。
- 読者は、任意のファイナイト（有限）要素たちの任意のシーケンス（列）に対して、パーミュテーション（並べ替え）たちのセット（集合）は同一数の偶パーミュテーション（並べ替え）たちと奇パーミュテーション（並べ替え）たちを持つという命題を認めている。
ターゲットコンテキスト
- 読者は、任意の同一長マルチディメンショナル（複数次元）アレイ（配列）およびインデックスたちの任意のセット（集合）に対して、シンメトライズド（対称化された）後にアンチシンメトライズド（反対称化された）アレイ（配列）またはアンチシンメトライズド（反対称化された）後にシンメトライズド（対称化された）アレイ（配列）は0であるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
0: 注1
任意の\(n\)長2ディメンショナル（次元）アレイ（配列）は\(n \times n\)マトリックス（行列）である。
任意の\((p-q)\)テンソルの任意のベーシス（基底）たちに関するコンポーネントたちは、ベクトルたちスペース（空間）ディメンション（次元）長(p + q)ディメンショナル（次元）アレイ（配列）である、しかし、ある同一長マルチディメンショナル（複数次元）アレイ（配列）は必ずしもあるテンソルのコンポーネントたちではない: 同一長マルチディメンショナル（複数次元）アレイ（配列）は、一般的に、必ずしも何らのテンソルにも関係しない単なる数字たちのコレクションである。
当該同一長マルチディメンショナル（複数次元）アレイ（配列）のディメンション（次元）たちは、私たちの目的のためには、同一長を持たなければならない、なぜなら、そうでなければ、インデックスたちのあるパーミュテーション（並べ替え）は意味をなさないであろう。
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\(M\): \(\in \{\text{ 全ての同一長 } n \text{ ディメンショナル（次元）アレイ（配列）たち }\}\), \(= \begin{pmatrix} M_{j_1, ..., j_n} \end{pmatrix}\)
\(S\): \(\subseteq \{1, ..., n\}\), \(= \{l_1, ..., l_k\}\)
\(M'\): \(= M \text{ の } S \text{ に関してシンメトライズド（対称化された）後にアンチシンメトライズド（反対称化された）もの }\), \(= \begin{pmatrix} M'_{j_1, ..., j_n} \end{pmatrix}\)
\(M''\): \(= M \text{ の } S \text{ に関してアンチシンメトライズド（反対称化された）後にシンメトライズド（対称化された）もの } \), \(= \begin{pmatrix} M''_{j_1, ..., j_n} \end{pmatrix}\)
//
ステートメント（言明）たち:
\(M' = 0\).
\(\land\)
\(M'' = 0\).
//
2: 自然言語記述
任意の同一長\(n\)ディメンショナル（次元）アレイ（配列）\(M = \begin{pmatrix} M_{j_1, ..., j_n} \end{pmatrix}\)、任意のサブセット（部分集合）\(S \subseteq \{1, ..., n\}\), \(= \{l_1, ..., l_k\}\)、\(M\)の\(S\)に関してシンメトライズド（対称化された）後にアンチシンメトライズド（反対称化された）もの\(M' = \begin{pmatrix} M'_{j_1, ..., j_n} \end{pmatrix}\)、\(M\)の\(S\)に関してアンチシンメトライズド（反対称化された）後にシンメトライズド（対称化された）もの\(M'' = \begin{pmatrix} M''_{j_1, ..., j_n} \end{pmatrix}\)に対して、\(M' = 0\)および\(M'' = 0\)。
3: 証明
全体戦略: ステップ1: \(M'_{j_1, ..., j_n}\)を、\(M\)の\(S\)に関してシンメトライズド（対称化された）\(N'\)で表現し、\(M' = 0\)であることを見る; ステップ2: \(M''_{j_1, ..., j_n}\)を、\(M\)の\(S\)に関してアンチシンメトライズド（反対称化された）\(N''\)で表現し、\(M'' = 0\)であることを見る。
ステップ1:
\(N'\)は、\(M\)の\(S\)に関してシンメトライズド（対称化された）ものとしよう。
\(M'_{j_1, ..., j_n} = 1 / k! \sum_\sigma sgn \sigma N'_{\sigma ((j_1, ..., j_n))_1, ..., \sigma ((j_1, ..., j_n))_n}\)、ここで、\(\sigma\)は、\((j_1, ..., j_n)\)の以下を満たす各パーミュテーション（並べ替え）、つまり、\((j_{l_1}, ..., j_{l_k})\)だけが並べ替えられる、である。しかし、\(N'_{\sigma ((j_1, ..., j_n))_1, ..., \sigma ((j_1, ..., j_n))_n} = N'_{j_1, ..., j_n}\)、なぜなら、それがシンメトライゼーション（対称化）の目的である。したがって、\(= 1 / k! \sum_\sigma sgn \sigma N'_{j_1, ..., j_n} = 1 / k! N'_{j_1, ..., j_n} \sum_\sigma sgn \sigma = 0\)、任意のファイナイト（有限）要素たちの任意のシーケンス（列）に対して、パーミュテーション（並べ替え）たちのセット（集合）は同一数の偶パーミュテーション（並べ替え）たちと奇パーミュテーション（並べ替え）たちを持つという命題によって。
ステップ2:
\(N''\)は、\(M\)の\(S\)に関してアンチシンメトライズド（反対称化された）ものであるとしよう。
\(M''_{j_1, ..., j_n} = 1 / k! \sum_\sigma N''_{\sigma ((j_1, ..., j_n))_1, ..., \sigma ((j_1, ..., j_n))_n}\)、ここで、\(\sigma\)は、\((j_1, ..., j_n)\)の以下を満たす各パーミュテーション（並べ替え）、つまり、\((j_{l_1}, ..., j_{l_k})\)だけが並べ替えられる、である。しかし、\(N''_{\sigma ((j_1, ..., j_n))_1, ..., \sigma ((j_1, ..., j_n))_n} = sgn \sigma N''_{j_1, ..., j_n}\)、なぜなら、それがアンチシンメトライゼーション（反対称化）の目的である。したがって、\(= 1 / k! \sum_\sigma sgn \sigma N''_{j_1, ..., j_n} = 1 / k! N''_{j_1, ..., j_n} \sum_\sigma sgn \sigma = 0\)、任意のファイナイト（有限）要素たちの任意のシーケンス（列）に対して、パーミュテーション（並べ替え）たちのセット（集合）は同一数の偶パーミュテーション（並べ替え）たちと奇パーミュテーション（並べ替え）たちを持つという命題によって。
