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

集合・位相入門

学習環境

• 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(添数づけられた族、一般の直積)、問題3.を取り組んでみる。

問題3.

$\begin{array}{l}x\in {\left({\displaystyle \underset{\lambda \in \Delta }{\cup }{A}_{\lambda }}\right)}^c\\ \iff \forall \lambda \in \Delta \left[x\notin A_{\lambda }\right]\\ \iff \forall \lambda \in \Delta \left[x\in A_{\lambda }{}^c\right]\\ \iff x\in {\displaystyle \underset{\lambda \in \Delta }{\cap }{A}_{\lambda }{}^c}\\ \\ x\in {\left({\displaystyle \underset{\lambda \in \Delta }{\cap }{A}_{\lambda }}\right)}^c\\ \iff \exists \lambda \in \Delta \left[x\notin A_{\lambda }\right]\\ \iff \exists \lambda \in \Delta \left[x\in A_{\lambda }{}^c\right]\\ \iff x\in {\displaystyle \underset{\lambda \in \Delta }{\cup }{A}_{\lambda }{}^c}\end{array}$