2023年2月5日日曜日

191: セット(部分集合)たちのインターセクション(共通集合)のマップ(写像)イメージ(像)はセット(集合)たちのマップ(写像)イメージ(像)たちのインターセクション(共通集合)に包含されている

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

セット(部分集合)たちのインターセクション(共通集合)のマップ(写像)イメージ(像)はセット(集合)たちのマップ(写像)イメージ(像)たちのインターセクション(共通集合)に包含されていることの記述/証明

話題


About: セット(集合)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のセット(集合)間マップ(写像)に対して、任意のサブセット(部分集合)たちインターセクション(共通集合)のマップ(写像)イメージ(像)はサブセット(部分集合)たちのマップ(写像)イメージ(像)たちのインターセクションに包含されているという命題の記述と証明を得る。

オリエンテーション


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

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


本体


1: 記述


任意のセット(集合)たちS1およびS2、任意のマップ(写像)f:S1S2、任意のアンカウンタブルかもしれない数のS1のサブセット(部分集合)たちS1αS1に対して、サブセット(部分集合)たちのインターセクション(共通集合)のマップ(写像)イメージ(像)f(αS1α)はサブセット(部分集合)たちのマップ(写像)たちのインターセクション(共通集合)αf(S1α)に包含されている、つまり、f(αS1α)αf(S1α)


2: 証明


任意のpf(αS1α)に対して、p=f(p)を満たすあるpαS1αがある、それが意味するのは、各αに対してpS1α。したがって、各αに対してpf(S1α)。したがって、pαf(S1α)


3: 注


f(αS1α)=αf(S1α)は必ずしも成立しない、別の命題にて証明されているとおり。

f(iS1i)=if(S1i)は常に成立する、別の命題にて証明されているとおり。


参考資料


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