خانه
گاما

درسنامه آموزشی فصل اول آمار و احتمال کلاس یازدهم ریاضی

درس 2: مجموعه - زیرمجموعه

بازدید10/7 K
تاریخ بروزرسانی1401/05/4

یادآوری: در سال‌های قبل با مفهوم مجموعه آشنا شده‌اید؛ برای مثال، مجموعه‌ی اعداد اوّل یک رقمی به‌صورت زیر است:

$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 است.

درس 2: مجموعه- زیرمجموعه