2022年5月29日日曜日

295: セット（集合）たちのインターセクション（共通集合）のマップ（写像）プリイメージ（前像）はセット（集合）たちのマップ（写像）プリイメージ（前像）たちのインターセクション（共通集合）である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
セット（集合）たちのインターセクション（共通集合）のマップ（写像）プリイメージ（前像）はセット（集合）たちのマップ（写像）プリイメージ（前像）たちのインターセクション（共通集合）であることの記述/証明

話題


About: セット（集合）
About: マップ（写像）

この記事の目次

開始コンテキスト

ターゲットコンテキスト



  • 読者は、任意のマップ（写像）に対して、任意の、セット（集合）たちのインターセクション（共通集合）、のマップ（写像）プリイメージ（前像）はそれらセット（集合）たちのマップ（写像）プリイメージ（前像）たちのインターセクション（共通集合）であるという命題の記述および証明を得る。

オリエンテーション


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

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

本体

1: 記述


任意のセット（集合）S1およびS2、任意のマップ（写像）f:S1→S2、S2のある、不可算かもしれない個数のサブセット（部分集合）たちS2i⊆S2に対して、それらサブセット（部分集合）たちのインターセクション（共通集合）のマップ（写像）プリイメージ（前像）f−1(∩iS2i)は、それらサブセット（部分集合）たちのマップ（写像）プリイメージ（前像）たちのインターセクション（共通集合）∩if−1(S2i)である、つまり、f−1(∩iS2i)=∩if−1(S2i)。

2: 証明


任意の要素p∈f−1(∩iS2i)に対して、f(p)∈∩iS2i、したがって、各iに対してf(p)∈S2i、したがって、p∈f−1(S2i)、したがって、p∈∩if−1(S2i)。任意の要素p∈∩if−1(S2i)に対して、各iに対してp∈f−1(S2i)、したがって、f(p)∈S2i、したがって、f(p)∈∩iS2i、したがって、p∈f−1(∩iS2i)。

3: 注


∪iS2i内に"リミット（極限）要素"（それは、どのS2iにも属さないが、ある要素シーケンスが無限にそれに近づくというもの）などというものはないということに留意することが重要である。

本命題の、イメージ（像）（プリイメージ（前像）ではなく）に対する対応するバージョンは成立しない。

参考資料
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
投稿者 時刻:
ラベル: