এই উপবিভাগটি সম্পূর্ণ ঐচ্ছিক হিসেবে ধরা যেতে পারে। পরবর্তী পাঠ্যক্রমের বিষয়গুলো বোঝার জন্য এখানে আলোচনা করা গাণিতিক প্রক্রিয়াগুলো সরাসরি জানার কোনো প্রয়োজন নেই।
গণিতশাস্ত্রে একটি নির্দিষ্ট সেটকে বহুবিধ উপায়ে বর্ণনা বা সংজ্ঞায়িত করা সম্ভব।
নিচে একটি মাত্র সেটের দুটি ভিন্নধর্মী গাণিতিক বর্ণনা উপস্থাপন করা হলো:

উদাহরণস্বরূপ বলা যেতে পারে যে, আলোচ্য এই সেটটির অভ্যন্তরে নিচের ভেক্টরটি অন্তর্ভুক্ত রয়েছে:

(এক্ষেত্রে যদি আমরা
এবং
হিসেবে গ্রহণ করি তবে সমীকরণটি সিদ্ধ হয়) তবে এটি নিচের ভেক্টরটিকে কোনোভাবেই ধারণ করে না:

(এখানে প্রথম উপাদানটি বিশ্লেষণ করলে আমরা
পাই, কিন্তু এই মানটি তৃতীয় উপাদানের সাথে সরাসরি সাংঘর্ষিক বা অমিল তৈরি করে; একইভাবে প্রথম উপাদান থেকে
পাওয়া গেলেও তৃতীয় উপাদানটি সম্পূর্ণ ভিন্ন একটি ফলাফল প্রদান করে)।
পাঠকদের সুবিধার্থে একই সেটের একটি তৃতীয় বিকল্প বর্ণনা এখানে প্রদান করা হলো:

আমাদের এখন এটি সুনির্দিষ্টভাবে নির্ধারণ করা প্রয়োজন যে, ঠিক কোন পরিস্থিতিতে দুটি ভিন্ন গাণিতিক বর্ণনা প্রকৃতপক্ষে একই সেটকে নির্দেশ করে।
বিষয়টিকে যদি আরও ব্যবহারিক বা প্রায়োগিক দৃষ্টিকোণ থেকে ব্যাখ্যা করা হয়, তবে প্রশ্ন জাগে—একজন শিক্ষার্থী কীভাবে নিশ্চিতভাবে বুঝতে পারবেন যে তার সমাধানকৃত বাড়ির কাজের (homework) উত্তরটি পাঠ্যবইয়ের উত্তরপত্রে প্রদত্ত সেটের বর্ণনার সাথে হুবহু মিলে যাচ্ছে কি না?
দুটি সেটকে তখনই এবং কেবল তখনই সমান বলা যাবে, যদি তাদের অন্তর্গত প্রতিটি সদস্য বা উপাদান একে অপরের সাথে হুবহু মিলে যায় অর্থাৎ তারা অভিন্ন হয়।
দুটি নির্দিষ্ট সেট, যেমন
এবং
, যে একে অপরের সমান তা প্রমাণ করার একটি অত্যন্ত সাধারণ ও কার্যকর পদ্ধতি হলো তাদের 'পারস্পরিক অন্তর্ভুক্তি' (mutual inclusion) প্রদর্শন করা: অর্থাৎ,
-এর যেকোনো সদস্য অবশ্যই
-এর অন্তর্ভুক্ত হতে হবে এবং একইভাবে
-এর প্রতিটি সদস্যকেও
-এর অন্তর্ভুক্ত হতে হবে।[১]
- উদাহরণ ৪.১
এটি প্রমাণ করার উদ্দেশ্যে যে,

নিচের সেটের সমান

আমাদের প্রমাণের প্রথম ধাপে এটি দেখাতে হবে যে
এবং পরবর্তী ধাপে প্রমাণ করতে হবে যে
।
প্রমাণের প্রথম অর্ধাংশের জন্য আমাদের এটি নিবিড়ভাবে যাচাই করতে হবে যে,
সেট থেকে সংগৃহীত যেকোনো ভেক্টর অবশ্যই
সেটের মধ্যেও অবস্থান করছে।
মূল গাণিতিক যুক্তিতে প্রবেশের আগে আমরা মডেল হিসেবে দুটি প্রাথমিক উদাহরণ বিবেচনা করতে পারি যা আমাদের সাধারণ যুক্তি গঠনে সহায়তা করবে।
যদি আমরা
এবং
মানগুলো গ্রহণ করে
সেটের একটি সদস্য তৈরি করি, তবে সেটি
-এ বিদ্যমান থাকার জন্য আমাদের এমন
এবং
এর মান খুঁজে পেতে হবে যাতে নিচের সমীকরণটি সিদ্ধ হয়:

সহজ কথায়,
এবং
চলক দুটির মধ্যে নিচের গাণিতিক সম্পর্কটি বিদ্যমান থাকে:

একইভাবে, আমরা যদি
এবং
মানগুলো বিবেচনা করি, তবে
সেটের অন্তর্ভুক্ত ফলাফলস্বরূপ প্রাপ্ত সদস্যটি যে
সেটেরও একটি অংশ হবে, তা প্রমাণ করার জন্য আমাদের এমন
এবং
এর মান খুঁজে বের করতে হবে যাতে নিচের সমীকরণটি সিদ্ধ হয়:

অর্থাৎ, গাণিতিক ভাষায় এই সম্পর্কটি বজায় থাকে:

সাধারণ প্রেক্ষাপটে বিবেচনা করলে,
সেটের যেকোনো ভেক্টর যে
সেটেরও একজন সদস্য, তা প্রদর্শন করার জন্য আমাদের এটি প্রমাণ করতে হবে যে,
এবং
এর যেকোনো মানের জন্যই উপযুক্ত
এবং
এর মান বিদ্যমান রয়েছে। আমরা পূর্ববর্তী উদাহরণগুলোর ধারা অনুসরণ করে অগ্রসর হব; ধরা যাক,
এর একটি নির্দিষ্ট ভেক্টর হলো:

এবং এখন আমাদের এমন
ও
এর মান অনুসন্ধান করতে হবে যাতে নিচের সমীকরণটি সত্য প্রমাণিত হয়:

সহজ কথায়, নিচের এই গাণিতিক সম্পর্কটি সঠিক হতে হবে:

এখানে গাউসের পদ্ধতি (Gauss' method) প্রয়োগ করার মাধ্যমে আমরা পাই:
![{\displaystyle {\begin{array}{rcl}{\begin{array}{*{2}{rc}r}4m&-&n&=&c+d\\m&-&3n&=&-c+d\end{array}}&{\xrightarrow[{}]{-(1/4)\rho _{1}+\rho _{2}}}&{\begin{array}{*{2}{rc}r}4m&-&n&=&c+d\\&&-(11/4)n&=&-(5/4)c+(3/4)d\end{array}}\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a77e02189911ac183e08399164ce4904545b0618)
এই সমাধান প্রক্রিয়া থেকে
এবং
মানগুলো পাওয়া যায়। এই ফলাফলটি স্পষ্টভাবে নির্দেশ করে যে,
এবং
এর যেকোনো পছন্দের মানের জন্যই যথাযথ
এবং
এর মান খুঁজে পাওয়া সম্ভব। সুতরাং আমরা এই সিদ্ধান্তে উপনীত হতে পারি যে,
সেটের যেকোনো সদস্যই প্রকৃতপক্ষে
সেটেরও অন্তর্ভুক্ত, কারণ সেটিকে নিচের গাণিতিক উপায়ে পুনরায় বিন্যস্ত করে লেখা সম্ভব:

বিপরীতমুখী অন্তর্ভুক্তির ক্ষেত্রে, অর্থাৎ
প্রমাণ করার জন্য আমাদের ঠিক এর উল্টো প্রক্রিয়াটি অনুসরণ করতে হবে। এক্ষেত্রে আমাদের লক্ষ্য হলো এটি দেখানো যে,
এবং
এর যেকোনো মানের সাপেক্ষে উপযুক্ত
এবং
এর মান বিদ্যমান থাকে। তাই
এবং
কে নির্দিষ্ট ধরে নিয়ে আমরা
এবং
এর মান নির্ণয়ের জন্য সমাধান করি:
![{\displaystyle {\begin{array}{rcl}{\begin{array}{*{2}{rc}r}c&+&d&=&4m-n\\-c&+&d&=&m-3n\end{array}}&{\xrightarrow[{}]{\rho _{1}+\rho _{2}}}&{\begin{array}{*{2}{rc}r}c&+&d&=&4m-n\\&&2d&=&5m-4n\end{array}}\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/426f6fd6b84615075a38081be952831d9c1858ba)
এই সমীকরণটি প্রদর্শন করে যে,
এবং
। ফলশ্রুতিতে,
সেট থেকে নেওয়া যেকোনো ভেক্টর:

সেটি
সেটের জন্য নির্ধারিত গাণিতিক কাঠামোর সাথেও সামঞ্জস্যপূর্ণ হয়:

- উদাহরণ ৪.২
গাণিতিক আলোচনার ক্ষেত্রে এটি অত্যন্ত স্বাভাবিক যে, সব সময় দুটি সেট পরস্পর সমান হবে না। পূর্ববর্তী উদাহরণে আমরা যে পদ্ধতিটি অনুসরণ করেছি, সেটি আমাদের বর্তমান এই দুটি সেটের মধ্যকার পারস্পরিক সম্পর্ক গভীরভাবে অনুধাবন করতে বিশেষভাবে সহায়তা করবে। নিচে বর্ণিত সেট দুটি লক্ষ্য করা যাক:

প্রকৃতপক্ষে, এই সেট দুটি পরস্পর সমান নয়। যদিও গাণিতিক বিশ্লেষণে দেখা যায় যে
হলো
-এর একটি উপসেট (subset), তবে এটি মূলত
-এর একটি প্রকৃত উপসেট (proper subset)। এর কারণ হলো,
সেটটি
-এর উপসেট হিসেবে গণ্য হওয়ার শর্ত পূরণ করে না।
এই বিষয়টি স্পষ্টভাবে বোঝার জন্য প্রথমে লক্ষ্য করুন যে,
সেট থেকে নেওয়া যেকোনো একটি ভেক্টরকে আমরা
সেটের সাধারণ আকারে প্রকাশ করতে পারি কি না। যদি আমরা
এবং
-এর মান নির্দিষ্ট করে দিই, তবে আমরা উপযুক্ত
,
, এবং
-এর মান নির্ণয় করার জন্য সমীকরণ সমাধান করতে সক্ষম হব:

উপরিউক্ত সমীকরণ ব্যবস্থাটি এটিই প্রদর্শন করে যে, যেকোনো ভেক্টর

যাকে
,
, এবং
ধরে
সেটের একটি সদস্য হিসেবে অনায়াসেই প্রকাশ করা সম্ভব:

ফলশ্রুতিতে, আমরা এই সিদ্ধান্তে উপনীত হতে পারি যে,
। অর্থাৎ,
সেটটি
সেটের একটি উপসেট হিসেবে প্রমাণিত হয়।
তবে বিপরীত দিক থেকে বিবেচনা করলে বিষয়টি ভিন্ন রূপ ধারণ করে। যখন আমরা
,
, এবং
-এর মান নির্দিষ্ট করে দিয়ে
এবং
-এর মান খোঁজার চেষ্টা করি, তখন রো-রিডাকশন (row reduction) বা সারি-হ্রাসকরণ পদ্ধতির মাধ্যমে প্রাপ্ত ফলাফল নিম্নরূপ হয়:
![{\displaystyle {\begin{array}{rcl}{\begin{array}{*{2}{rc}r}x&+&y&=&m+p\\2x&&&=&n\\&&y&=&p\end{array}}&{\xrightarrow[{}]{-2\rho _{1}+\rho _{2}}}&{\begin{array}{*{2}{rc}r}x&+&y&=&m+p\\&&-2y&=&-2m+n-2p\\&&y&=&p\end{array}}\\&{\xrightarrow[{}]{(1/2)\rho _{2}+\rho _{3}}}&{\begin{array}{*{2}{rc}r}x&+&y&=&m+p\\&&-2y&=&-2m+n-2p\\&&0&=&m+(1/2)n\end{array}}\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f31f6502a17d50bba5d6db09993eef416f025f30)
এই গাণিতিক বিশ্লেষণটি স্পষ্টভাবে দেখিয়ে দেয় যে,
সেটের অন্তর্ভুক্ত সকল ভেক্টর

যাদেরকে

আকারে প্রকাশ করা সম্ভব, তাদের ক্ষেত্রে অবশ্যই
এই শর্তটি পূরণ হতে হবে। উদাহরণস্বরূপ বলা যায় যে,

ভেক্টরটি
সেটের অন্তর্ভুক্ত হলেও এটি কোনোভাবেই
সেটের সদস্য হতে পারে না, কারণ এটি উল্লিখিত শর্তটি সিদ্ধ করে না।
- সমস্যা ১
নিচে প্রদত্ত প্রতিটি ক্ষেত্রে, নির্দিষ্ট ভেক্টরটি সংশ্লিষ্ট সেটের অন্তর্ভুক্ত বা সদস্য কি না তা গাণিতিক বিশ্লেষণের মাধ্যমে নির্ধারণ করুন।
-
,
-
,
-
,
-
,
-
,
-
,
- সমস্যা ২
নিচে যে সেটটি উল্লেখ করা হয়েছে, সেটির এমন দুটি ভিন্নধর্মী গাণিতিক বর্ণনা বা উপস্থাপনা তৈরি করুন যা বর্তমানে বিদ্যমান বর্ণনাটি থেকে সম্পূর্ণ স্বতন্ত্র।

এই অনুশীলনীটি সকল পাঠকেরই করা উচিত
- সমস্যা ৩
এই উপ-পরিচ্ছেদের প্রারম্ভে যে তিনটি ভিন্ন বর্ণনা বা সংজ্ঞা প্রদান করা হয়েছে, গাণিতিক যুক্তির মাধ্যমে প্রমাণ করে দেখান যে তারা প্রত্যেকেই আসলে একই সেটকে নির্দেশ করছে।
এই অনুশীলনীটি সকল পাঠকেরই করা উচিত
- সমস্যা ৪
গাণিতিকভাবে প্রদর্শন করুন যে নিচে উল্লিখিত সেট দুটি পরস্পর সমান:

এবং আরও প্রমাণ করুন যে, এই উভয় সেটই আসলে সংশ্লিষ্ট সমীকরণ জোট বা সিস্টেমের সমাধান সেটকে (solution set) সঠিকভাবে বর্ণনা করছে।

}}
এই অনুশীলনীটি সকল পাঠকেরই করা উচিত
- সমস্যা ৫
নিচে বর্ণিত ভেক্টর সেটগুলো (vector sets) কি প্রকৃতপক্ষে একে অপরের সমান? গাণিতিক বিশ্লেষণের মাধ্যমে আপনার সিদ্ধান্ত গ্রহণ করুন এবং প্রতিটি ক্ষেত্রে আপনার উত্তরের সপক্ষে যুক্তি প্রদান করুন।
-
এবং
-
এবং
-
এবং
-
এবং
-
এবং
Solutions
- ↑ More information on set equality is in the appendix.