191: セット(部分集合)たちのインターセクション(共通集合)のマップ(写像)イメージ(像)はセット(集合)たちのマップ(写像)イメージ(像)たちのインターセクション(共通集合)に包含されている
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
セット(部分集合)たちのインターセクション(共通集合)のマップ(写像)イメージ(像)はセット(集合)たちのマップ(写像)イメージ(像)たちのインターセクション(共通集合)に包含されていることの記述/証明
話題
About:
セット(集合)
この記事の目次
開始コンテキスト
ターゲットコンテキスト
-
読者は、任意のセット(集合)間マップ(写像)に対して、任意のサブセット(部分集合)たちインターセクション(共通集合)のマップ(写像)イメージ(像)はサブセット(部分集合)たちのマップ(写像)イメージ(像)たちのインターセクションに包含されているという命題の記述と証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述
任意のセット(集合)たちおよび、任意のマップ(写像)、任意のアンカウンタブルかもしれない数ののサブセット(部分集合)たちに対して、サブセット(部分集合)たちのインターセクション(共通集合)のマップ(写像)イメージ(像)はサブセット(部分集合)たちのマップ(写像)たちのインターセクション(共通集合)に包含されている、つまり、。
2: 証明
任意のに対して、を満たすあるがある、それが意味するのは、各に対して。したがって、各に対して。したがって、。
3: 注
は必ずしも成立しない、別の命題にて証明されているとおり。
は常に成立する、別の命題にて証明されているとおり。
参考資料
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>