2023年4月9日日曜日

253: セット(集合)たちのカーディナリティたちの積たちはアソシアティブ(結合的)である

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

セット(集合)たちのカーディナリティたちの積たちはアソシアティブ(結合的)であることの記述/証明

話題


About: セット(集合)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意の、セット(集合)たちのカーディナリティたちのネストされたプロダクトたちはアソシアティブ(結合的)であるという命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 記述


任意のセット(集合)たちS1,S2,S3に対して、カーディナリティたちのネストされたプロダクト(cardS1cardS2)cardS3cardS1(cardS2cardS3)に等しい。


2: 証明


(cardS1cardS2)cardS3=card(S1×S2)cardS3=card((S1×S2)×S3)、カーディナリティたちの算術の定義によって。cardS1(cardS2cardS3)=cardS1card(S2×S3)=card(S1×(S2×S3))任意のセット(集合)たちのネストされたプロダクトたちは'セット(集合)たち - マップ(写像)モーフィズム(射)たち'アイソモーフィズム(同形写像)の意味でアソシアティブ(結合的)であるという命題によって、(S1×S2)×S3)S1×(S2×S3)はお互いに対して'セット(集合)たち - マップ(写像)モーフィズム(射)たち'アイソモーフィック(同形写像)である、したがって、当該カーディナリティたちは同一である。


3: 注


本命題のため、表現cardS1cardS2cardS3が、曖昧さなしに可能である。


参考資料


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