セット（集合）のカーディナリティ（濃度）の自然数乗はカーディナリティ（濃度）のその回数分の積であることの記述/証明
話題
About: セット（集合）
この記事の目次
開始コンテキスト
- 読者は、セット（集合）の定義を知っている。
- 読者は、セット（集合）のカーディナリティ（濃度）の定義を知っている。
ターゲットコンテキスト
- 読者は、任意のセット（集合）のカーディナリティ（濃度）に対して、当該カーディナリティ（濃度）の任意の自然数乗は当該カーディナリティ（濃度）の当該自然数回分の積分であるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述
任意のセット（集合）\(S\)および任意の自然数\(n\)に対して、\((card S)^n = card S card S . . . card S\)、それは、\(n\)回分の積分である。
2: 証明
\(n = 1\)に対して、\((card S)^n = card S\)、なぜなら、それはファンクション（関数）たちのセット（集合）\(F:= \{f \in Pow (1 \times S)\vert f: 1 \rightarrow S\}\)、ここで、\(1 = \{0\}\)、のカーディナリティ（濃度）だから。
ある\(n\)に対して、\((card S)^n = card S card S . . . card S\)、それは、\(n\)回分の積である、であると仮定しよう。\((card S)^{n + 1}\)はファンクション（関数）たちのセット（集合）\(F:= \{f \in Pow ((n + 1) \times S)\vert f: (n + 1) \rightarrow S\}\)のカーディナリティ（濃度）である。任意の\(f = f' \cup \{\langle n, s\rangle\}\)、ここで、\(f'\)は任意の\(f' \in F':= \{f' \in Pow (n \times S)\vert f': n \rightarrow S\}\)であり、\(s\)は任意の\(s \in S\)である。他方では、\((card S)^n card S = card F' card S = card (F' \times S)\)、カーディナリティ（濃度）たちの算術の定義によって。\(F' \times S\)の任意の要素は\(\langle f', s\rangle\)、ここで、\(f'\)は任意の\(f' \in F'\)であり、\(s\)は任意の\(s \in S\)である。バイジェクション（全単射）\(g: F \rightarrow F' \times S, f' \cup \{\langle n, s\rangle\} \mapsto \langle f', s\rangle\)がある、したがって、\(card F = card (F' \times S) = card F' card S = card S card S . . . card S\)、それは\(n + 1\)回分の積である。
したがって、数学的帰納法によって、任意の自然数\(n\)に対して、\((card S)^n = card S card S . . . card S\)、それは、\(n\)回分の積である。
3: 注
当命題はそれほど明白ではない、なぜなら、\((card S)^n\)は\(n\)回分積としてではなく、\(\{f \in Pow (n \times S)\vert f: n \rightarrow S\}\)のカーディナリティ（濃度）として定義されているから。
本命題が故にのみ、\((card S)^n\)は\(n\)回分の積とみなすことができる。
