数学 - 集合と写像 - 添数づけられた族、一般の直積(和集合、共通部分、写像、原像、部分集合族)

集合・位相入門

学習環境

• Surface 3 (4G LTE)、Surface 3 タイプ カバー、Surface ペン(端末)
• Windows 10 Pro (OS)
• 数式入力ソフト(TeX, MathML): MathType
• MathML対応ブラウザ: Firefox、Safari
• MathML非対応ブラウザ(Internet Explorer, Google Chrome...)用JavaScript Library: MathJax

集合・位相入門(松坂 和夫(著)、岩波書店)の第1章(集合と写像)、2(添数づけられた族、一般の直積)、問題4.を取り組んでみる。

問題4.

$\begin{array}{l}x\in f\left({\displaystyle \underset{\lambda \in \Delta }{\cup }{P}_{\lambda }}\right)\\ \iff \exists \lambda \in \Delta \left[x\in f\left(P_{\lambda }\right)\right]\\ \iff x\in {\displaystyle \underset{\lambda \in \Delta }{\cup }f\left(P_{\lambda }\right)}\\ \\ x\in f\left({\displaystyle \underset{\lambda \in \Delta }{\cap }{P}_{\lambda }}\right)\\ \Rightarrow \forall \lambda \in \Delta \left[x\in f\left(P_{\lambda }\right)\right]\\ \Rightarrow x\in {\displaystyle \underset{\lambda \in \Delta }{\cap }f\left(P_{\lambda }\right)}\\ \\ x\in f^{-1}\left({\displaystyle \underset{\mu \in M}{\cup }{Q}_{\mu }}\right)\\ \iff f\left(x\right)\in {\displaystyle \underset{\mu \in M}{\cup }{Q}_{\mu }}\\ \iff \exists \mu \in M\left[f\left(x\right)\in Q_{\mu }\right]\\ \iff \exists \mu \in M\left[x\in f^{-1}\left(Q_{\mu }\right)\right]\\ \iff x\in {\displaystyle \underset{\mu \in M}{\cup }{f}^{-1}\left(Q_{\mu }\right)}\\ \\ x\in f^{-1}\left({\displaystyle \underset{\mu \in M}{\cap }{Q}_{\mu }}\right)\\ f\left(x\right)\in {\displaystyle \underset{\mu \in M}{\cap }{Q}_{\mu }}\\ \forall \mu \in M\left[f\left(x\right)\in Q_{\mu }\right]\\ \forall \mu \in M\left[x\in f^{-1}\left(Q_{\mu }\right)\right]\\ x\in {\displaystyle \underset{\mu \in M}{\cap }{f}^{-1}\left(Q_{\mu }\right)}\end{array}$