সংযোগ বিধির প্রতিজ্ঞা দুইটির যাচাইকরন

সেট ও ফাংশন - উচ্চতর গণিত - এসএসসি | NCTB BOOK

804

নিচের বামের চিত্রে গাঢ় অংশটুকু A∪B∪C এবং A∪B∪C উভয় সেটই নির্দেশ করে। সুতরাং এক্ষেত্রে A∪B∪C=A∪B∪C। নিচের ডানের চিত্রে গাঢ় অংশটুকু A∩B∩C এবং A∩B∩C উভয় সেটই নির্দেশ করে। সুতরাং এক্ষেত্রে A∩B∩C=A∩B∩C।

 

উপরে ভেনচিত্রের সাহায্যে যাচাই করা হয়েছে। এবার সুনির্দিষ্ট উদাহরণ দিয়ে দেখা যাক।

মনে করি  এবং  ।

তাহলে, 

এবং A∪B∪C={a,b,c,d} ∪ {b,c,d,f,g}={a,b,c,d,f,g}।

আবার, A∪B={a,b,c,d} ∪ {b,c,f}={a,b,c,d,f}

এবং (A∪B)∪C={a,b,c,d,f} ∪ {c,d,g}={a,b,c,d,f,g}।

সুতরাং এক্ষেত্রে A∪B∪C=A∪(B∪C)।

আবার, B∩C={b,c,f} ∩ {c,d,g}={c}

এবংA∩(B∩C)={a,b,c,d} ∩ {c}={c} ।

আবার,A∩B={a,b,c,d} ∩ {b,c,f}={b,c}

এবংA∩B∩C={b,c} ∩ {c,d,g}={c}।

সুতরাং এক্ষেত্রে A∩(B∩C)=(A∩B)∩C

দ্রষ্টব্য: সেটের সংযোগ ও ছেদ প্রক্রিয়া দুইটির প্রতিটি অপরটির প্রেক্ষিতে বন্টন নিয়ম মেনে চলে।

প্রতিজ্ঞা ১ (ডি মরগ্যানের সূত্র): সার্বিক সেট U এর যেকোনো উপসেট A ও B এর জন্য

ক) A∪B'=A'∩B'                 খ) A∩B'=A'∪B'

প্রমাণ: ( কেবল প্রথমটির প্রমাণ নিচে দেখানো হয়েছে। পরেরটির প্রমাণ নিজে কর।)

ক) মনে করি,x∈A∪B'। তাহলে, x∉A∪B|

               ⇒x∉Aএবং x∉B ⇒x∈A' এবং x∈B' ⇒x∈A'∩B'

∴A∪B'⊆A'∩B'

আবার মনে করি,x∈A'∩B'। তাহলে, x∈A' এবং x∈B'

               ⇒x∉Aএবংx∉B⇒x∉A∪B⇒x∈(A∪B)'

∴A'∩B'=(A∪B)' 

সুতরাং (A∪B)'=A'∩B'।
 

প্রতিজ্ঞা ২. সার্বিক সেট U এর যেকোনো উপসেট A ও B এর জন্য A\B=A∩B'

প্রমাণ: মনে করি, x∈A\B। তাহলে, x∈A এবং x∈B।

                          ⇒x∈A এবং x∈B' ⇒x∈A∩B'

∴A\B⊆A∩B'।
 

আবার মনে করি, x∈A∩B'। তাহলে, x∈A এবং x∈B'।

                          ⇒x∈Aএবং x∉B ⇒x∈A\B

∴A∩B'⊆A\B

সুতরাং, A\B=A∩B'
 

প্ৰতিজ্ঞা ৩. যেকোনো সেট A,B,C এর জন্য

                     ক) A×B∩C=A×B∩(A×C)

                      খ)A×(B∪C)=(A×B)∪(A×C)
 

প্রমাণ:(কেবল প্রথমটির প্রমাণ নিচে দেখানো হয়েছে। পরেরটির প্রমাণ নিজে কর।)

ক) সংজ্ঞানুসারে, A×(B∩C)

 

={x,y: x∈A, x∈B এবং y∈C}

={x,y: x,y∈A×B এবং x,y∈A×C}

 

∴A×(B∩C)⊆A×B∩A×C

আবার, A×B∩A×C

={x,y:x,y∈A×B এবং x,y∈A×C}

={x,y: x∈A, y∈B এবং x∈A, y∈C}

 

 

∴A×B∩A×C⊆A×B∩C

সুতরাং, A×B∩C=A×B∩A×C।

Content added || updated By
Promotion

Are you sure to start over?

Loading...