2023年4月16日日曜日

254: セット(集合)のカーディナリティ(濃度)の自然数乗はカーディナリティ(濃度)のその回数分の積である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

セット(集合)のカーディナリティ(濃度)の自然数乗はカーディナリティ(濃度)のその回数分の積であることの記述/証明

話題


About: セット(集合)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のセット(集合)のカーディナリティ(濃度)に対して、当該カーディナリティ(濃度)の任意の自然数乗は当該カーディナリティ(濃度)の当該自然数回分の積分であるという命題の記述および証明を得る。

オリエンテーション


本サイトにてこれまで議論された定義の一覧があります。

本サイトにてこれまで議論された命題の一覧があります。


本体


1: 記述


任意のセット(集合)Sおよび任意の自然数nに対して、(cardS)n=cardScardS...cardS、それは、n回分の積分である。


2: 証明


n=1に対して、(cardS)n=cardS、なぜなら、それはファンクション(関数)たちのセット(集合)F:={fPow(1×S)|f:1S}、ここで、1={0}、のカーディナリティ(濃度)だから。

あるnに対して、(cardS)n=cardScardS...cardS、それは、n回分の積である、であると仮定しよう。(cardS)n+1はファンクション(関数)たちのセット(集合)F:={fPow((n+1)×S)|f:(n+1)S}のカーディナリティ(濃度)である。任意のf=f{n,s}、ここで、fは任意のfF:={fPow(n×S)|f:nS}であり、sは任意のsSである。他方では、(cardS)ncardS=cardFcardS=card(F×S)、カーディナリティ(濃度)たちの算術の定義によって。F×Sの任意の要素はf,s、ここで、fは任意のfFであり、sは任意のsSである。バイジェクション(全単射)g:FF×S,f{n,s}f,sがある、したがって、cardF=card(F×S)=cardFcardS=cardScardS...cardS、それはn+1回分の積である。

したがって、数学的帰納法によって、任意の自然数nに対して、(cardS)n=cardScardS...cardS、それは、n回分の積である。


3: 注


当命題はそれほど明白ではない、なぜなら、(cardS)nn回分積としてではなく、{fPow(n×S)|f:nS}のカーディナリティ(濃度)として定義されているから。

本命題が故にのみ、(cardS)nn回分の積とみなすことができる。


参考資料


<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>