論理と集合 (演習)・レポート 11 回目 (集合族 1) ・評 以下今回のレポート

論理と集合 (演習)・レポート 11 回目 (集合族 1) ・評
以下今回のレポートのいくつかに書いたコメント等をまとめておく.
• ∅ と {∅} は異なる集合. ∅ ⊂ R だが, {∅} ̸⊂ R.
∪
∩
• A, A について, 図示が可能な区間や領域ならば実際に描いてみるとよ
い. また, そうでないならば集合族の和集合と共通部分の定義に立ち返って,
術語論理の記法を用いて書き下してみるとよい
.
∪
• 例えば y ∈
Aλ ⇔ (∃λ ∈ Λ)[y ∈ Aλ ]
λ∈Λ
• A ⊂ X のとき {x ∈ X | x ∈ A} = A.
• min{p, q} や max{p, q} については p > q, p = q, p < q で場合分けして考え
るとよい.