درسنامه آموزشی فصل اول آمار و احتمال کلاس یازدهم ریاضی
درس 2: مجموعه - زیرمجموعه
یادآوری: در سالهای قبل با مفهوم مجموعه آشنا شدهاید؛ برای مثال، مجموعهی اعداد اوّل یک رقمی بهصورت زیر است:
$A=\left\{ 2,3,5,7 \right\}$
میتوان این مجموعه را با نمادهای ریاضی بهصورت $A=\left\{ x\in P\left| x\lt 10 \right. \right\}$ نوشت که در آن P مجموعهٔ اعداد اوّل است. چون عضو 2 متعلق به مجموعهٔ A است، مینویسیم: $2\in A$، از طرفی واضح است که $6\notin A$ یعنی عضو 6 به مجموعهٔ A تعلق ندارد.
کار در کلاس (صفحهٔ 19 کتاب درسی)
1- فرض کنید $A=\left\{ a,b \right\}$، درستی یا نادرستی هر یک از گزارههای زیر را با ذکر دلیل مشخص کنید.
الف) $\left\{ a \right\}\in A$
نادرست، اگر اعضای مجموعهٔ b ، a ، A هستند نه $\left\{ a \right\}$
ب) $\varnothing \in A$
نادرست، زیرا اعضای مجموعهٔ A، فقط a و b هستند.
پ) $\left\{ a \right\}\subseteq A$
درست، زیرا a عضو A میباشد.
ت) $b\subseteq A$
نادرست، زیرا b یک مجموعه نیست و نمیتواند زیرمجموعه باشد.
ث) $a\in A$
درست، زیرا عضو a در مجموعه A وجود دارد.
ج) $\left\{ a,b \right\}\subseteq A$
درست، زیرا اعضای a و b در مجموعه A وجود دارند (هر مجموعهای همواره زیرمجموعهٔ خودش است.)
2- کدامیک از مجموعههای زیر برابر با تهی و کدام یک ناتهیاند؟
الف) $\left\{ x\in \mathbb{Z}\left| {{x}^{2}}=9\,,\,2x=4 \right. \right\}$
باید هر دو شرط $2x=4$ و ${{x}^{2}}=9$ همزمان برقرار باشد، زیرا بین آنها «و» نوشته شده است.
یعنی از طرفی $x=2$ باشد و از طرف دیگر $x=\pm 3$ و این امکانپذیر نیست. بنابراین جواب این مجموعه تهی است. (عددی وجود ندارد که هم در $2x=4$ صدق کند و هم در ${{x}^{2}}=9$)
$\left\{ x\in \mathbb{Z}\left| {{x}^{2}} \right.=9\,,\,2x=4 \right\}=\left\{ \, \right\}$
ب) $\left\{ x\in \mathbb{Z}\left| x+8=8 \right. \right\}$
این مجموعه ناتهی است.
$x+8=8\Rightarrow x=0\Rightarrow \left\{ x\in \mathbb{Z}\left| x+8=8 \right. \right\}=\left\{ 0 \right\}$
دقت داشته باشید که مجموعهٔ $\left\{ 0 \right\}$ تهی نیست، زیرا یک عضو دارد ولی مجموعهٔ تهی $\varnothing =\left\{ \, \right\}$ هیچ عضوی ندارد.
پ) $\left\{ x\in \mathbb{Z}\left| x\ne x \right. \right\}$
این مجموعه میگوید x عددی صحیح است بهطوریکه با خودش برابر نیست! و این ممکن نیست، پس این مجموعه هیچ عضوی ندارد و برابر با تهی است:
$\left\{ x\in \mathbb{Z}\left| x\ne x \right. \right\}=\left\{ \, \right\}$
ت) $\left\{ x\in \mathbb{N}\left| {{x}^{2}}=7x \right. \right\}$
باید معادلهٔ داخل مجموعه را حل کنیم:
${{x}^{2}}=7x\Rightarrow {{x}^{2}}-7x=0\Rightarrow x\left( x-7 \right)=0\Rightarrow \left\{ \begin{align}
& x=0\notin \mathbb{N} \\
& x-7=0\Rightarrow x=7\in \mathbb{N} \\
\end{align} \right.$
از دو جواب بهدست آمده صفر عضو $\mathbb{N}$ نیست، ولی 7 عضو $\mathbb{N}$ است، پس فقط عدد 7 عضو این مجموعه است:
$\Rightarrow \left\{ x\in \mathbb{N}\left| {{x}^{2}}=7x \right. \right\}=\left\{ 7 \right\}$
3- مجموعههای زیر را با نوشتن اعضای آنها مشخص کنید.
$A=\left\{ x\in \mathbb{Z}\left| \left| x \right|\le 2 \right. \right\}$
$\begin{align}
& \Rightarrow A=\left\{ x\in \mathbb{Z}\left| \left| x \right|\le 2 \right. \right\}\Rightarrow \left| x \right|\le 2\Rightarrow -2\le x\le 2 \\
& \xrightarrow{x\in \mathbb{Z}}x=-2,1,0,1,2\Rightarrow A=\left\{ -2,-1,0,1,2 \right\} \\
\end{align}$
$B=\left\{ m\in \mathbb{Z}\left| {{m}^{3}}=m \right. \right\}$
$\Rightarrow {{m}^{3}}=m\Rightarrow {{m}^{3}}-m=0\Rightarrow m\left( {{m}^{2}}-1 \right)=0\Rightarrow m\left( m-1 \right)\left( m+1 \right)=0$
$\Rightarrow \left\{ \begin{align}
& m=0\in \mathbb{Z} \\
& m-1=0\Rightarrow m=1\in \mathbb{Z}\Rightarrow B=\left\{ 0,1,-1 \right\} \\
& m+1=0\Rightarrow m=-1\in \mathbb{Z} \\
\end{align} \right.$
$C=\left\{ k\in \mathbb{R}\left| {{k}^{2}}-1=0 \right. \right\}$
${{k}^{2}}-1=0\Rightarrow {{k}^{2}}=1\Rightarrow k=\pm 1\in \mathbb{R}\Rightarrow C=\left\{ 1,-1 \right\}$
$D=\left\{ a\in S\left| {} \right. \right.$ فضای نمونه پرتاب یک تاس است $\left. S \right\}$
$S=\left\{ 1,2,3,4,5,6 \right\}\xrightarrow{a\in S}D=\left\{ 1,2,3,4,5,6 \right\}$
4- با توجه به مجموعهها در قسمت 3، درستی یا نادرستی عبارتهای زیر را مشخص کنید.
$B\in A$
نادرست، مجموعهٔ B عضو A نیست بلکه زیرمجموعهٔ آن است.
$B\subseteq A$
درست، زیرا تمام عضوهای B عضو A نیز هستند.
$A\cap D\subseteq C$ نادرست
$\left\{ \begin{matrix}
A\bigcap D=\left\{ 1,2 \right\} \\
C=\left\{ 1,1 \right\} \\
\end{matrix} \right.\Rightarrow \left\{ 1,2 \right\}\cancel{\subseteq }\left\{ 1,-1 \right\}$
$B\subseteq C\cup A$ درست
$\left\{ \begin{matrix}
B=\left\{ 0,1,-1 \right\} \\
C\bigcup A=\left\{ -2,-1,0,1,2 \right\} \\
\end{matrix} \right.\Rightarrow \left\{ 0,1,-1 \right\}\subseteq \left\{ -2,-1,0,1,2 \right\}$
$C\cancel{\subseteq }A$ نادرست
$\left\{ 1,-1 \right\}\subseteq \left\{ -2,-1,0,1,2 \right\}$
$B-D\subseteq A$ درست
$\left\{ \begin{align}
& B-D=\left\{ 0,-1 \right\} \\
& A=\left\{ -2,-1,0,1,2 \right\} \\
\end{align} \right.\Rightarrow \left\{ 0,-1 \right\}\subseteq \left\{ -2,-1,0,1,2 \right\}$
تعداد زیرمجموعههای یک مجموعه
فعالیت (صفحهٔ 20 کتاب درسی)
مجموعه $A=\left\{ a,b,c \right\}$ را در نظر بگیرید.
1- همهٔ زیرمجموعههای A را بنویسید.
$\left\{ a \right\},\left\{ b \right\},\left\{ c \right\},\left\{ a,b \right\},\left\{ a,c \right\},\left\{ b,c \right\},\left\{ a,b,c \right\},\varnothing $
2- با دو رقم 0 و 1 میتوانیم زیرمجموعه $B=\left\{ b,c \right\}$ از مجموعهٔ A را با کد سه رقمی 011 مشخص کنیم؛ چون $a\notin B$ متناظر با آن کد 0 و $c\in B$ متناظر با آنها کد 1 را در نظر گرفتهایم. همچنین زیرمجموعهٔ $\left\{ a \right\}\subseteq A$ را با کد 100 متناظر میکنیم. اکنون شما بقیهٔ زیرمجموعههای A را با کدهایی سه رقمی نظیر کنید.
$\begin{align}
& \left\{ a \right\}\to 100\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\left\{ a,b \right\}\to 100\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\left\{ a,b,c \right\}\to 111 \\
& \left\{ b \right\}\to 010\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\left\{ a,c \right\}\to 101\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\left\{ \,\,\, \right\}\to 000 \\
& \left\{ c \right\}\to 001\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\left\{ b,c \right\}\to 011 \\
\end{align}$
3- با این روش کدگذاری و بهکمک اصل ضرب (سال گذشته در فصل شمارش، بدون شمردن خواندهاید) تعداد زیرمجموعههای A را تعیین کنید.
رقم سوم رقم دوم رقم اوّل
2 $\times $ 2 $\times $ 2=8
هر رقم دو حالت دارد (0 یا 1) بنابراین: تعداد زیرمجموعههای مجموعه 3 عضوی A هشت عضوی است.
4- فرض کنید $A=\left\{ {{a}_{1}}\,,\,{{a}_{2}}\,,\,{{a}_{3}}\,,\,{{a}_{4}} \right\}$، با روش کدگذاری با رقمهای 0 و 1 و بهکمک اصل ضرب تعیین کنید که A چند زیرمجموعه دارد.
رقم چهارم رقم سوم رقم دوم رقم اوّل
2 $\times $ 2 $\times $ 2 $\times $ 2=16
مجموعهٔ A شانزده زیرمجموعه دارد.
5- اگر $A = \left\{ {{a_1},{a_2},{a_3},...,{a_n}} \right\}$ در این صورت، با این روش کدگذاری مشخص کنید که A چند زیرمجموعه دارد.
رقم nام رقم سوم رقم دوم رقم اوّل
مثال: مجموعه $A=\left\{ a\,,\,\left\{ a \right\}\,,\,\varnothing \right\}$ را در نظر بگیرید و همهٔ زیرمجموعههای A را در یک مجموعه بنویسید.
مثال: مجموعهٔ متناهی A را در نظر بگیرید، اگر 2 عضو به اعضای A اضافه کنیم، تعداد زیرمجموعههای آن 48 واحد افزایش مییابد، مشخص کنید A چند عضوی است.
حل: فرض کنیم n ، A عضو داشته باشد، پس دارای ${{2}^{n}}$ زیرمجموعه است؛ اگر 2 عضو به اعضای A اضافه شود، در اینصورت تعداد زیرمجموعههای A ، چهل و هشت (48) واحد افزایش مییابد؛ یعنی در این حالت، تعداد زیرمجموعههای این مجموعه برابر با ${{2}^{n}}+48$ است.
از طرفی وقتی 2 عضو به اعضای A اضافه میشود، تعداد زیرمجموعههای مجموعه جدید، برابر است با ${{2}^{n+2}}$ است.
بنابراین داریم:
$\begin{align}
& {{2}^{n}}+48={{2}^{n+2}}={{2}^{n}}\times {{2}^{2}}\Rightarrow {{2}^{n}}+48=4\times {{2}^{n}}-{{2}^{n}}=48 \\
& \Rightarrow 3\times {{2}^{n}}=48\Rightarrow {{2}^{n}}=16={{2}^{4}}\Rightarrow n=4 \\
\end{align}$
در نتیجه مجموعهٔ A، چهار عضوی است.
افراز یک مجموعه
فعالیت (صفحهٔ 21 کتاب درسی)
1- مجموعهٔ $A=\left\{ a,b,c \right\}$ را در نظر بگیرید. تمام زیرمجموعههای A به غیر از $\varnothing $ را بنویسید.
$\left\{ a \right\}\,,\,\left\{ b \right\}\,,\,\left\{ c \right\}\,,\,\left\{ a,b \right\}\,,\,\left\{ a,c \right\}\,,\,\left\{ b,c \right\}\,,\,\left\{ a,b,c \right\}\,$
2- از بین زیرمجموعههای ناتهی A که در بالا نوشتید، دو زیرمجموعه چنان در نظر بگیرید که اوّلاً اشتراکی نداشته باشند و ثانیاً اجتماع آنها برابر با A شود.
$\left\{ a \right\}\,,\,\left\{ b,c \right\}\to \left\{ a \right\}\bigcap \left\{ b,c \right\}=\varnothing \,,\,\left\{ a \right\}\bigcup \left\{ b,c \right\}=A$
3- همهٔ جوابهای ممکن برای قسمت قبل را بهدست آورید.
$\begin{array}{l}
1)\left\{ a \right\},\left\{ {b,c} \right\}\\
2)\left\{ b \right\},\left\{ {a,c} \right\}\\
3)\left\{ c \right\},\left\{ {a,b} \right\}
\end{array}$
4- آیا میتوان سه زیرمجموعه در قسمت 1 چنان یافت که اشتراک دوبه دوی آنها تهی باشد و اجتماع آنها برابر با A شود؟ بله
$\left\{ a \right\}\,,\,\left\{ b \right\}\,,\,\left\{ c \right\}\to \left. \begin{matrix}
\left\{ a \right\}\,\bigcap \,\left\{ b \right\}=\varnothing \\
\left\{ a \right\}\,\bigcap \,\left\{ c \right\}=\varnothing \\
\left\{ b \right\}\,\bigcap \,\left\{ c \right\}=\varnothing \\
\end{matrix} \right\}$ .اشتراک دوبهدوی آنها تهی است
$\left\{ a \right\}\bigcup \left\{ b \right\}\bigcup \left\{ c \right\}=A\to $ .است A اجتماع همه آنها مساوی
فرض کنیم $A\ne \varnothing $ یک مجموعه و ${{A}_{n}}\,,\,...\,,\,{{A}_{2}}\,,\,{{A}_{1}}$ زیرمجموعههای A باشند. مجموعهٔ A به n زیرمجموعه ${{A}_{n}}\,,\,...\,,\,{{A}_{2}}\,,\,{{A}_{1}}$ افراز شده است، هرگاه سه شرط زیر برقرار باشد.
$I)\,\forall 1\le i\le n\,;\,{{A}_{i}}\ne \varnothing$
$II)\forall i,j(i\ne j;{{A}_{i}}\bigcap {{A}_{j}}=\varnothing )$
$III){{A}_{1}}\bigcup {{A}_{2}}\bigcup ...\bigcup {{A}_{n}}=\underset{i=1}{\mathop{\overset{n}{\mathop{U}}\,}}\,{{A}_{i}}=A$

کار در کلاس (صفحهٔ 21 کتاب درسی)
مجموعهٔ $A=\left\{ 1,2,3,...,9 \right\}$ را در نظر بگیرید، کدامیک از حالتهای زیر یک افراز برای A محسوب میشود؟
1- $\left\{ 1,3,5 \right\}\,,\,\left\{ 2,6 \right\}\,,\,\left\{ 4,8,9 \right\}$
نادرست، زیرا اجتماع آنها مساوی مجموعه A نمیشود.
2- $\left\{ 1,3,5 \right\}\,,\,\left\{ 2,4,6,8 \right\}\,,\,\left\{ 5,7,9 \right\}$
نادرست، زیرا اشتراکی دوبهدوی آنها تهی نیست (عضو 5 مشترک است).
3- $\left\{ 1,3,5 \right\}\,,\,\left\{ 2,4,6,8 \right\}\,,\,\left\{ 7,9 \right\}$
درست، زیرا اشتراک دوبهدوی آنها تهی است و اجتماع آنها مساوی A است.
تعریف زیرمجموعه بهکمک نمادهای ریاضی
فرض کنید A و B دو مجموعه باشند بهطوریکه هر عضو A، عضوی از B باشد، در اینصورت A را زیرمجموعهٔ B نامیده و مینویسند $A\subseteq B$. اگر عضوی در A وجود داشته باشد، بهطوریکه آن عضو در مجموعهٔ B نباشد، در اینصورت A زیرمجموعه B نیست و مینویسند $A\cancel{\subseteq }B$. با استفاده از نمادهای ریاضی میتوان تعریفهای $A\subseteq B$ و $A\cancel{\subseteq }B$ را بهصورت زیر نوشت:
$\begin{align}
& A\subseteq B\Leftrightarrow \forall x\,;\,\left( x\in A\Rightarrow x\in B \right) \\
& A\cancel{\subseteq }B\Leftrightarrow \exists x\,;\,\left( x\in A\Rightarrow x\cancel{\in }B \right) \\
\end{align}$
روش عضوگیری دلخواه
هرگاه بخواهیم ثابت کنیم $A\subseteq B$ و اعضای مجموعههای A و B در دسترس نباشند، کافی است عضوی دلخواه مانند x از A فرض کنیم، سپس با استفاده از فرضهای داده شده نشان دهیم که x در B وجود دارد. از آنجا که x دلخواه بوده است در وقاع هر عضو A در B است. بنابراین، با توجه به تعریف زیرمجموعه، ثابت کردهایم $A\subseteq B$. در زیر چند ویژگی مهم در مجموعهها با روش عضوگیری دلخواه ثابت شده است.
ویژگی 1- فرض کنید A و B و C سه مجموعه با مرجع U باشند، بهطوریکه $A\subseteq B$ و $B\subseteq C$ ثابت کنید $A\subseteq C$.
اثبات: برای اثبات $A\subseteq C$، باید ثابت کنیم که: $\forall x\,;\,\left( x\in A\Rightarrow x\in C \right)$
برای این منظور از فرضها یعنی $A\subseteq B$ و $B\subseteq C$ استفاده میکنیم.
$\forall x\,;\,x\in A\overset{A\subseteq B}{\mathop{\Rightarrow }}\,x\in B\overset{B\subseteq C}{\mathop{\Rightarrow }}\,x\in C$
در نتیجه داریم:
$\forall x\,;\,\left( x\in A\Rightarrow x\in C \right)\Rightarrow A\subseteq C$

ویژگی 2- فرض کنید A و B دو مجموعه با مرجع U باشند و $A\subseteq B$. ثابت کنید ${B}'\subseteq {A}'$.
(${A}'$ و ${B}'$ بهترتیب متممهای مجموعههای A و B هستند).
قبل از اثبات این ویژگی، تعریف متمم یک مجموعه را یادآوری میکنیم. فرض کنیم A مجموعهای با مرجع U باشد، متمم مجموعهٔ A برابر با مجموعهٔ اعضایی از U است که متعلق به مجموعهٔ A نباشند و آنرا با ${A}'$ نمایش میدهند.
${A}'=\left\{ x\in U\left| x\notin A \right. \right\}$
از این تعریف نتیجه میگیریم که اگر $x\in A$ آنگاه $x\notin {A}'$ یا اگر $x\in {A}'$ آنگاه $x\notin A$.
اثبات: برای اینکه ثابت کنیم ${B}'\subseteq {A}'$ باید نشان دهیم که: $\forall x\,;\,\left( x\in {B}'\Rightarrow x\in {A}' \right)$
بنابراین داریم:
$\forall x\,;\,\left( x\in {B}'\Rightarrow x\notin B\overset{A\subseteq B}{\mathop{\Rightarrow }}\,x\notin A\Rightarrow x\in {A}' \right)$
در نتیجه داریم:
$\forall x\,;\,\left( x\in {B}'\Rightarrow x\in {A}'\Rightarrow {B}'\subseteq {A}' \right)$

ویژگی 3- برای هر مجموعه دلخواه مانند A با مجموعه مرجع U ثابت کنید: $\varnothing \subseteq A$.
اثبات: برای اثبات $\varnothing \subseteq A$ باید نشان دهیم که ارزش گزاره شرطی $\forall x\,;\,\left( x\in \varnothing \Rightarrow x\in A \right)$ همواره درست است. چون در این گزارهٔ شرطی، ارزش مقدّم یعنی $x\in \varnothing $ نادرست است، پس به انتفای مقدّم ارزش گزارهٔ شرطی درست است و در نتیجه $\varnothing \subseteq A$.
کار در کلاس (صفحهی 23 کتاب درسی)
1- برای مجموعههای A و B با مرجع U ثابت کنید که $A\subseteq A\bigcup B$.
اثبات:
$\forall x\,;\,\left( x\in A\Rightarrow x\in A\,\vee \,x\in B \right)\Rightarrow x\in A\bigcup B$
بنابراین داریم:
$\forall x\,;\,\left( x\in A\Rightarrow x\in A\,\bigcup B \right)\Rightarrow A\subseteq A\bigcup B$
درستی استدلال بالا را توضیح دهید.
بهازای هر عضو دلخواه x که عضو A است، میتوان گفت: «x عضو A است» یا «x عضو B است» چون در اینجا «یا» وجود دارد گزاره «x عضو A است» دست است پس ارزش کل گزاره «x عضو A است» یا «x عضو B است» یا «x عضو B است» درست است.
وقتی $x\in A$ یا $x\in B$ است میتوان نتیجه گرفت x عضو اجتماع آنها نیز هست، یعنی $x\in A\bigcup B$ پس بهازای هر x که عضو A باشد، x عضو $A\bigcup B$ نیز هست، پس $A\subseteq A\bigcup B$
2- فرض کنیم A و B و C و D چهار مجموعه با مرجع U باشند، ثابت کنید: اگر $A\subseteq B$ و $C\subseteq D$ آنگاه $A\bigcup C\subseteq B\bigcup D$.
اثبات: جاهای خالی را پر کنید:
$\forall x;\left[ x\in \left( A\bigcup{C} \right) \right]\Rightarrow \left\{ \begin{align}
& x\in A\Rightarrow x\in B\left( A\subseteq B \right) \\
& \vee \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\vee \Rightarrow x\in B\vee x\in D\Rightarrow .... \\
& x\in C\Rightarrow x\in D\left( C\subseteq D \right) \\
\end{align} \right.$
بنابراین داریم:
$\forall x;\left[ x\in \left( A\bigcup C \right)\Rightarrow x\in \left( B\bigcup D \right) \right]\Rightarrow \left( A\bigcup C \right)\subseteq \left( B\bigcup D \right)$
3- فرض کنیم A و B و C سه مجموعه با مرجع U باشند، ثابت کنید: اگر $A\subseteq C$ و $B\subseteq C$ آنگاه $\left( A\bigcup B \right)\subseteq C$.
راهنمایی: از ویژگی قسمت 2 استفاده کنید.
$\left. \begin{matrix}
A\subseteq C \\
B\subseteq C \\
\end{matrix} \right\}\Rightarrow \left( A\bigcup B \right)\subseteq \left( C\bigcup C \right)\Rightarrow \left( A\bigcup B \right)\subseteq C$
دو مجموعه مساوی
فرض کنیم A و B دو مجموعه با مرجع U باشند بهطوریکه هر عضو A، عضوی از B و هر عضو B عضوی از A باشد؛ یعنی $A\subseteq B$ و $B\subseteq A$، در اینصورت A با B مساوی است و مینویسیم: $A=B$.
به عبارت دیگر میتوان تساوی دو مجموعه را بهصورت زیر نوشت:
$A=B\Leftrightarrow \left[ \left( A\subseteq B \right)\wedge \left( B\subseteq A \right) \right]$
کار در کلاس (صفحهٔ 23 کتاب درسی)
فرض کنید $A=\left\{ 1,2 \right\}$، کدامیک از مجموعههای زیر با A مساوی است؟ (با ذکر دلیل).
الف) $\left\{ x\in \mathbb{Q}\left| {{x}^{2}}-3x+2=0 \right. \right\}$
با مجموعهٔ A مساوی است.
$\begin{align}
& {{x}^{2}}-3x+2=0\Rightarrow \left( x-2 \right)\left( x-1 \right)=0\Rightarrow \left\{ \begin{matrix}
x-2=0\Rightarrow x=2\in Q \\
x-1=0\Rightarrow x=1\in Q \\
\end{matrix} \right. \\
& \Rightarrow \left\{ x\in \mathbb{Q}\left| {{x}^{2}}-3x+2=0 \right. \right\}=\left\{ 1,2 \right\}=A \\
\end{align}$
ب) $\left\{ x\in \mathbb{R}\left| 1\le x\le 2 \right. \right\}$
مساوی مجموعهٔ A نیست:
$\left\{ x\in \mathbb{R}\left| 1\le x\le 2 \right. \right\}=\left[ 1,2 \right]\ne A$
این مجموعه کلیه اعداد حقیقی از 1 تا 2 را شامل میشود. ولی مجموعه A فقط دو عدد 1 و 2 را دارد، پس با هم مساوی نیستند.
پ) $\left\{ x\in \mathbb{Q}\left| 2{{x}^{2}}+3x+1=0 \right. \right\}$
مساوی مجموعهٔ A نیست:
$2{{x}^{3}}+3x+1=0\to x=\frac{-3\pm \sqrt{{{3}^{2}}-4\times 2\times 1}}{2\times 2}=\frac{-3\pm \sqrt{9-8}}{4}=\frac{-3\pm 1}{4}$
$\left\{ \begin{matrix}
x=\frac{-3-1}{4}=\frac{-4}{4}=-1\in \mathbb{Q} \\
x=\frac{-3+1}{4}=\frac{-2}{4}=\frac{-1}{2}\in \mathbb{Q} \\
\end{matrix} \right.$
$\Rightarrow \left\{ x\in \mathbb{Q}\left| 2{{x}^{2}}+3x+1=0 \right. \right\}=\left\{ 1,\frac{-1}{2} \right\}\ne A$
ت) $\left\{ x\in \mathbb{N}\left| 1\le x\le 2 \right. \right\}$
با مجموعه A مساوی است:
تنها اعداد طبیعی که در فاصلهٔ $1\le x\le 2$ قرار دارند، 1 و 2 هستند.
$\left\{ x\in \mathbb{N}\left| 1\le x\le 2 \right. \right\}=\left\{ 1,2 \right\}=A$
مثال: فرض کنیم A و B دو مجموعه با مرجع U باشند، ثابت کنید: $A\bigcap B=B\bigcap A$. (خاصیت جابهجایی اشتراک).
اثبات: برای اثبات حکم باید درستی دو رابطهٔ زیر را نشان دهیم:
$A\bigcap B\subseteq B\bigcap A\,\,\,\,\left( 1 \right)\,\,;\,\,\,\,B\bigcap A\subseteq A\bigcap B\,\,\,\,\,\,\,\,\,\left( 2 \right)$
اثبات (1):
(طبق خاصیت جابهجایی $\wedge $) $\forall x;\,\left[ x\in \left( A\bigcap B \right)\Rightarrow x\in A\wedge x\in B\Rightarrow x\in B\wedge x\in A\Rightarrow x\in B\bigcap A \right]$
به روش مشابه میتوان درستی رابطهٔ (2) را نشان داد.
مثال: فرض کنیم A و B دو مجموعه با مرجع U باشند؛ ثابت کنید که اگر $A\subseteq B$ آنگاه $A-B=\varnothing $.
اثبات:
$\begin{align}
& A-B=\left\{ x\in U\left| x\in A\wedge x\notin B \right. \right\}=\left\{ x\in U\left| x\in B\wedge x\notin B \right. \right\}=\varnothing \\
& \Rightarrow A-B=\varnothing \\
\end{align}$
تمرین (صفحهی 24 کتاب درسی)
1- مجموعههای زیر را که شامل شکلهای هندسی در صفحه هستند، در نظر بگیرید:
$A=\left\{ x| \right.$ یک چهارضلعی است $\left. x \right\}$
$B=\left\{ x| \right.$ یک مستطیل است $\left. x \right\}$
$C=\left\{ x| \right.$ یک لوزی است $\left. x \right\}$
$D=\left\{ x| \right.$ یک مربع است $\left. x \right\}$
کدامیک از روابط زیر درست است؟ (با ذکر دلیل)
الف) $D\subseteq C$
درست، زیرا هر مربعی یک لوزی است (مربع یک نوع لوزی است که زاویههای آن 90 درجه است.)
ب) $B\subseteq D$
نادرست، زیرا هر مستطیلی مربع نیست.
پ) $A\subseteq B$
نادرست، هر چهارضلعی مستطیل نیست.
ت) $D\subseteq A$
درست، زیرا هر مربعی یک چهارضلعی است.
2- فرض کنید $A=\left\{ 1,2,3,...,8,9 \right\}$ و $B=\left\{ 2,4,6,8 \right\}$ و $C=\left\{ 1,3,5,7,9 \right\}$ و $D=\left\{ 3,4,5 \right\}$ و $E=\left\{ 3,5 \right\}$.
در هر یک از حالتهای زیر مشخص کنید: X میتواند کدامیک از این مجموعهها باشد؟
الف) X و B عضو مشترکی ندارند.
مجموعههای C و E
ب) $X\subseteq A$ ولی $X\cancel{\subseteq }C$
مجموعههای A و B و D (این سه مجموعه هر دو شرط را دارند یعنی هم زیرمجموعه A هستند و هم زیرمجموعه C نیستند.
پ) $X\subseteq D$ ولی $X\cancel{\subseteq }B$
مجموعههای D و E (این دو مجموعه هر دو شرط را دارند یعنی هم زیرمجموعه D هستند و هم زیرمجموعهٔ B نیستند.)
ت) $X\subseteq C$ ولی $X\cancel{\subseteq }A$
هیچکدام (زیرا تمام مجموعهها زیرمجموعه A هستند.)
3- درستی یا نادرستی گزارههای زیر را با ذکر دلیل مشخص کنید.
الف) $\varnothing =\left\{ \varnothing \right\}$
نادرست است، زیرا $\varnothing $ هیچ عضوی ندارد ولی $\left\{ \varnothing \right\}$ دارای یک عضو است پس مساوی نیستند.
ب) $\varnothing \subseteq \left\{ \varnothing \right\}$
درست است، زیرا $\varnothing $ زیرمجموعهی همهٔ مجموعههاست.
پ) $\varnothing \notin \left\{ \varnothing \right\}$
نادرست است، زیرا $\varnothing $ در $\left\{ \varnothing \right\}$ وجود دارد و عضو آن است.
ت) $\left\{ \varnothing \,,\,\left\{ \varnothing \right\} \right\}\in \left\{ \varnothing \,,\,\left\{ \varnothing \,,\, \right.\left\{ \varnothing \right\} \right\}\,,\,\left\{ \left. \varnothing \right\} \right\}$
درست است، زیرا همانطور که میبینید مجموعهٔ سمت چپ داخل مجموعهٔ سمت راست قرار دارد، یعنی عضو آن میباشد.
4- کدامیک از مجموعههای زیر با هم مساویاند؟
$A=\left\{ m\in \mathbb{Z}\left| \left| m \right|\lt 2 \right. \right\}$
$\left| m \right|\lt 2\Rightarrow -2\lt m\lt 2\overset{m\in \mathbb{Z}}{\mathop{\Rightarrow }}\,m=-1,0,1\Rightarrow A=\left\{ -1,0,1 \right\}$
$B=\left\{ x\in \mathbb{Z}\left| {{x}^{3}}=x \right. \right\}$
${{x}^{3}}=x\Rightarrow {{x}^{3}}-x=0\Rightarrow x\left( {{x}^{2}}-1 \right)=0\Rightarrow x\left( x-1 \right)\left( x+1 \right)=0$
$\Rightarrow \left\{ \begin{align}
& x=0\in \mathbb{Z} \\
& x-1=0\to x=1\in \mathbb{Z} \\
& x+1=0\to x=-1\in \mathbb{Z} \\
\end{align} \right.\Rightarrow B=\left\{ -1,0,1 \right\}$
$C=\left\{ y\in \mathbb{Z}\left| {{y}^{2}}\le 2y \right. \right\}$
${{y}^{2}}\le 2y\Rightarrow {{y}^{2}}-2y\le 0\Rightarrow y\left( y-2 \right)\le 0$ بهکمک جدول تعیین علامت
$0\le y\le 2\xrightarrow{y\in \mathbb{Z}}y=0,1,2\Rightarrow C=\left\{ 0,1,2 \right\}$
$y\left( y-2 \right)=0\left\{ \begin{matrix}
y=0 \\
y=2 \\
\end{matrix} \right.$

$D=\left\{ m\in \mathbb{Z}\left| {{m}^{2}}\le 1 \right. \right\}$
${{m}^{2}}\le 1\Rightarrow -1\le m\le 1\overset{m\in \mathbb{Z}}{\mathop{\Rightarrow }}\,m=-1,0,1\Rightarrow D=\left\{ -1,0,1 \right\}$
$E=\left\{ m\in \mathbb{Z}\left| {{m}^{3}}+2m=3{{m}^{2}} \right. \right\}$
${{m}^{3}}+2m=3{{m}^{2}}\Rightarrow {{m}^{3}}-3{{m}^{2}}+2m=0\Rightarrow m\left( {{m}^{2}}-3m+2 \right)=0$
اتحاد جملهٔ مشترک $\Rightarrow m\left( m-2 \right)\left( m-1 \right)=0\Rightarrow \left\{ \begin{align}
& m=0\in \mathbb{Z} \\
& m-2=0\to m=2\in \mathbb{Z}\Rightarrow E=\left\{ 0,1,2 \right\} \\
& m-1=0\to m=1\in \mathbb{Z} \\
\end{align} \right.$
$\begin{align}
& A=B=D=\left\{ -1,0,1 \right\} \\
& C=E=\left\{ 0,1,2 \right\} \\
\end{align}$
5- مثالهایی از مجموعههای دلخواه A و B و C بیاورید که برای آنها حکمهای زیر درست باشند.
الف) $A\in B\,,\,B\in C\,,\,A\notin C$
$A=\left\{ 2 \right\}\,,\,B=\left\{ \left\{ 2 \right\} \right\}\,,\,C=\left\{ \left\{ \left\{ 2 \right\} \right\} \right\}$
ب) $A\in B\,,\,B\in C\,,\,A\in C$
$A=\varnothing \,,\,B=\left\{ \varnothing \right\}\,,\,C=\left\{ \varnothing ,\left\{ \varnothing \right\} \right\}$
پ) $A\in B\,,\,A\subseteq B$
$A=\varnothing \,,\,B=\left\{ \varnothing \right\}$
6- اگر دو عضو از مجموعه A حذف کنیم، تعداد زیرمجموعههای آن 384 واحد کم میشود، مجموعهٔ A چند زیرمجموعه دارد؟
فرض میکنیم، مجموعهٔ n ، A عضوی باشد:
${{2}^{n}}-{{2}^{n-1}}=384\Rightarrow {{2}^{n}}\left( 1-{{2}^{-2}} \right)=384\Rightarrow {{2}^{n}}\left( 1-\frac{1}{4} \right)=384$
$\begin{align}
& \Rightarrow {{2}^{n}}\times \frac{3}{4}=384\Rightarrow {{2}^{n}}=384\times \frac{4}{3}=128\times 4 \\
& ={{2}^{7}}\times {{2}^{2}}={{2}^{9}}\Rightarrow n=9 \\
\end{align}$
تعداد زیر مجموعههای A مساوی ${{2}^{19}}=512$ است.
7- اگر $A=\left\{ 2,x+2y,4 \right\}$ و $B=\left\{ 4,5,x-y \right\}$ و $A=B$ در اینصورت، مقادیر x و y را بیابید.
از آنجاییکه A و B مساوی هستند، پس باید عضوهای هر دو با هم مساوی باشند و عضو غیر مشترک نداشته باشند. عدد 5 عضو B است، پس مجموعهٔ A نیز باید عضو 5 را داشته باشد، پس: $x+2y=5\left( 1 \right)$
از طرف دیگر عدد 2 عضو A است، پس مجموعهٔ B نیز باید 2 را داشته باشد، پس:
$x-y=2\left( 2 \right)$
$\left( 1 \right)\,,\,\left( 2 \right)\Rightarrow \left\{ \begin{align}
& x+2y=5 \\
& x-y=2 \\
\end{align} \right.$
دو معادله را از هم کم میکنیم تا x حذف شود.
$\begin{align}
& \left( x+2y \right)-\left( x-y \right)=5-2\to \cancel{x}+2y-\cancel{x}+y=3 \\
& \Rightarrow 3y=3\Rightarrow y=1\Rightarrow x-y=2\xrightarrow[y=1]{}x=3 \\
\end{align}$
8- ثابت کنید برای مجموعههای A و B با مرجع U داریم: $A-B\subseteq A$.
فرض میکنیم x عضو دلخواهی از مجموعهٔ $A-B$ است و ثابت کنیم x عضو A نیز هست:
$\forall x\,;\left[ x\in \left( A-B \right) \right]\Rightarrow \left( x\in A\wedge x\notin B \right)\Rightarrow x\in A$
بنابراین داریم:
$\forall x\,;\left( x\in \left( A-B \right)\Rightarrow x\in A \right)\Rightarrow \left( A-B \right)\subseteq A$
9- فرض کنیم A و B و C سه مجموعه با مرجع U باشند، ثابت کنید: اگر $A\subseteq B$ آنگاه:
الف) $A\bigcup C\subseteq B\bigcup C$
$\forall x\,;\left( x\in A\bigcup C \right)\Rightarrow \left( x\in A\vee x\in C \right)\xrightarrow{A\subseteq B}\left( x\in B\vee x\in C \right)\Rightarrow x\in B\bigcup C$
$\forall x\,;\left( x\in A\bigcup C\Rightarrow x\in B\bigcup C \right)\Rightarrow A\bigcup C\subseteq B\bigcup C$
ب) $A\bigcap C\subseteq B\bigcap C$
$\forall x;\left( x\in A\bigcap C \right)\Rightarrow \left( x\in A\wedge x\in C \right)\xrightarrow{A\subseteq B}\left( x\in B\wedge x\in C \right)\Rightarrow x\in B\bigcap C$
$\forall x;\left( x\in A\bigcap C\Rightarrow x\in B\bigcap C \right)\Rightarrow A\bigcap C\subseteq B\bigcap C$
10- مجموعههای A و B و C و D با مرجع U را در نظر بگیرید، ثابت کنید: اگر $A\subseteq B$ و $C\subseteq D$ آنگاه:
الف) $A\bigcap C\subseteq B\bigcap D$
$\forall x\,;\left( x\in A\bigcap C \right)\Rightarrow \left( x\in A\wedge x\in C \right)\xrightarrow{A\subseteq B\,,\,C\subseteq D}\left( x\in B\wedge x\in D \right)\Rightarrow x\in B\bigcap D$
بنابراین:
$\forall x\,;\left( x\in A\bigcap C\Rightarrow x\in B\bigcap D \right)\Rightarrow A\bigcap C\subseteq B\bigcap D$
ب) $A\bigcap C\subseteq B\bigcup D$
$\forall x;\left( x\in A\bigcup C \right)\Rightarrow \left( x\in A\wedge x\in C \right)\xrightarrow{A\subseteq B,C\subseteq D}\left( x\in B\wedge x\in D \right)$
$\Rightarrow \left( x\in B\vee x\in D \right)\Rightarrow x\in B\bigcup D$
بنابراین:
$\forall x;\left( x\in A\bigcap C\Rightarrow x\in B\bigcup D \right)\Rightarrow A\bigcap C\subseteq B\bigcup D$
دقت داشته باشید که اگر $\left( x\in B\wedge x\in D \right)$ باشد، یعنی x عضو هر دو مجموعه است، پس میتوان گفت $\left( x\in B\vee x\in D \right)$ زیرا ممکن است x فقط عضو B باشد و متعلق به D نباشد.
11- الف) فرض کنید: $A\subseteq \varnothing $ ثابت کنید: $A=\varnothing $.
از یک طرف میدانیم:
$\forall x\,;\left( x\in \varnothing \Rightarrow x\in A \right)\Rightarrow \varnothing \subseteq A$
گزاره شرطی $\left( x\in \varnothing \Rightarrow x\in A \right)$ به انتفای مقدم درست است زیرا Q هیچ عضوی ندارد.
و از طرف دیگر در فرض سؤال آمده است $A\subseteq \varnothing $. بنابراین طبق تعریف تساوی مجموعهها میتوانیم بگوییم:
اگر دو تا مجموعه هر دو زیرمجموعهٔ همباشند آن دو مجموعه با هم مساوی هستند.
$\left. \begin{matrix}
\varnothing \subseteq A \\
A\subseteq \varnothing \\
\end{matrix} \right\}\Rightarrow A=\varnothing $
ب) فرض کنید $U\subseteq A$ ثابت کنید: $A=U$.
U مجموعهٔ مرجع است یعنی A زیرمجموعهٔ U است:
و از طرف دیگر در فرض سؤال آمده است $U\subseteq A$ بنابراین طبق تعریف تساوی مجموعهها میتوانیم بگوییم:
$\left. \begin{matrix}
A\subseteq U \\
U\subseteq A \\
\end{matrix} \right\}\Rightarrow A=U$
12- هرگاه A و B دو مجموعه با مرجع U باشند و $A\bigcap B=\varnothing $ در اینصورت ثابت کنید:
الف) $B-A=B$
برای اثبات این تساوی باید دو قسمت را ثابت کنیم:
1) $B-A\subseteq B$
2) $B\subseteq B-A$
اثبات 1)
$\forall x\,;\left( x\in B-A \right)\Rightarrow \left( x\in B\wedge x\notin A \right)\xrightarrow{A\bigcap B=\varnothing }\left( x\in B\wedge x\in B \right)=x\in B$
بنابراین:
$\forall x\,;\left( x\in B-A\Rightarrow x\in B \right)\Rightarrow B-A\subseteq B\left( I \right)$
اثبات 2)
$\forall x\,;x\in B\Rightarrow x\in B\xrightarrow{A\bigcap B=\varnothing }\left( x\in B\wedge x\notin A \right)\Rightarrow x\in B-A$
بنابراین:
$\forall x\,;\left( x\in B\Rightarrow x\in B-A \right)\Rightarrow B\subseteq B-A\left( II \right)$
از $\left( I \right)$ و $\left( II \right)$ میتوانیم نتیجه بگیریم:
$B-A=B$
ب) $A-B=A$
مانند قسمت الف) برای اثبات این تساوی باید دو قسمت را ثابت کنیم:
1) $A-B\subseteq A$
2) $A\subseteq A-B$
اثبات 1)
$\forall x\,;\left( x\in A-B \right)\Rightarrow \left( x\in A\wedge x\notin B \right)\xrightarrow{A\bigcap B=\varnothing }\left( x\in A\wedge x\in A \right)\Rightarrow x\in A$
بنابراین:
$\forall x\,;\left( x\in A-B\Rightarrow x\in A \right)\Rightarrow A-B\subseteq A\left( I \right)$
اثبات 2)
$\forall x\,;x\in A\Rightarrow x\in A\xrightarrow{A\bigcap B=\varnothing }\left( x\in A\wedge x\notin B \right)=x\in A-B$
بنابراین:
$\forall x\,;\left( x\in A\Rightarrow x\in A-B \right)\Rightarrow A\subseteq A-B\left( II \right)$
از $\left( I \right)$ و $\left( II \right)$ نتیجه میگیریم:
$A-B=A$
13- فرض کنید: $X=\left\{ a,b,c,d,e,f,g \right\}$، کدامیک از حالتهای زیر یک افراز برای X محسوب میشود.
الف) $\left\{ a,c,e \right\}\,\,,\,\,\left\{ b \right\}\,\,,\,\,\left\{ d,g \right\}$
نادرست، زیرا اجتماع آنها مساوی مجموعهٔ X نمیشود. (عضو f وجود ندارد.)
ب) $\left\{ a,e,g \right\}\,\,,\,\,\left\{ c,d \right\}\,\,,\,\,\left\{ b,e,f \right\}$
نادرست، زیرا مجموعههای $\left\{ b,e,f \right\}$ و $\left\{ a,e,g \right\}$ اشتراک دارند.
پ) $\left\{ a,b,e,g \right\}\,\,,\,\,\left\{ c \right\}\,\,,\,\,\left\{ d,f \right\}$
درست، زیرا اشتراک دوبهدوی آنها تهی است و اجتماع آنها مساوی X است.
ت) $\left\{ a,x,c,d,e,f,g \right\}$
درست، زیرا هر مجموعه خودش بهتنهایی نیز یک افراز برای خودش محسوب میشود.
ث) $\left\{ a \right\}\,\,,\,\,\left\{ b,c \right\}\,\,,\,\,\left\{ d \right\}\,\,,\,\,\left\{ f,g \right\}\,\,,\,\,\left\{ e \right\}$
درست، زیرا اشتراک دوبهدوی آنها تهی است و اجتماع آنها مساوی X است.