包括関係の証明
今回は包括関係についての問題を扱います!
\(2\) つの集合の関係を知るために、部分集合や集合の相等について知っておきましょう。
部分集合
\(A\) は \(B\) の部分集合である
\(\Longleftrightarrow\) \(A \subset B\)
\(\Longleftrightarrow\) \(x\in A\) ならば \(x\in B\)

集合の相等
\(A\) と \(B\) は等しい
\(\Longleftrightarrow\) \(A=B\)
\(\Longleftrightarrow\) \(A\subset B\) かつ \(B\subset A\)
※全く同じ集合ということ
包括関係の問題
\(Z\) を整数全体の集合とするとき、次の集合 \(A\), \(B\) において、\(A\subset B\) かつ \(A\neq B\) であることを証明しなさい。
(1) \(A=\{4n-1\) | \(n\in Z\}\), \(B=\{2n-1\) | \(n\in Z\}\)
(2) \(A=\{4n+1\) | \(n\in Z\}\), \(B=\{2n-1\) | \(n\in Z\}\)
>>詳細はこちらから
解説
① \(A\subset B\)
② \(B\not\subset A\)
※②に関しては、\(B\subset A\) にならない例を \(1\) つ見つければ良い。
(1) \(A=\{4n-1\) | \(n\in Z\}\), \(B=\{2n-1\) | \(n\in Z\}\)
任意の \(a\in A\) に対して、
\(a=4n-1\) とかける。
\(a=4n-1=2\cdot 2n-1\)
\(2n\in Z\) より
\(a\in B\) となるので、\(A\subset B\)
また、\(5\in B\) だが \(5\notin A\) となるので、\(B\not\subset A\)
よって、\(A\subset B\) であるが、\(A\neq B\) である。
(2) \(A=\{4n+1\) | \(n\in Z\}\), \(B=\{2n-1\) | \(n\in Z\}\)
任意の \(a\in A\) に対して、
\(a=4n+1\) とかける。
\(a=4n+1=2(2n+1)-1\)
\(2n+1\in Z\) より
\(a\in B\) となるので、\(A\subset B\)
また、\(7\in B\) だが \(7\notin A\) となるので、 \(B\not\subset A\)
よって、\(A\subset B\) であるが、\(A\neq B\) である。
おわりに
さいごまで読んでいただきありがとうございました!
- 大学受験数学で困っている学生の方
- 公務員試験の数学で困っている学生/社会人の方
- 統計学(統計検定)の勉強で困っている学生/社会人の方
個人家庭教師やってるので、ぜひコメントやXでご連絡ください。(Xはこちら)
時間や料金などは相談して決められればと思っておりますが、塾に通うよりは高コスパかなと思います。また、基本的にはオンラインでの授業を想定していますが、場所によっては直接の指導が可能です。(プロフィール)
これまでは塾講師や高校で働いていたのですが、現在はデータサイエンティストとして活動しています。社会やビジネスで数学がどのように使われているのか、そういった話も交えながら進められればと思っております。
数学に困っている方の一助になれれば幸いです。
ご連絡お待ちしております。




質問や感想はコメントへ!