همه چیز درباره ی مجموعه ها
مجموعه ها می توانند یک دسته از اعداد را نشان دهند. در این مقاله به بیان تعریف مجموعه ها می پردازیم. نحوه عضویت و زیرمجموعه مجموعه ها را بیان کردیم. به تعریف اجتماع و اشتراک و متمم و تفاضل مجموعه ها پرداختیم. به بیان ضرب دکارتی مجموعه ها، جبر مجموعه ها و قوانین جذب و دمورگان پرداختیم. همچنین در این مقاله می توانید در مورد بازه های اعداد بخوانید. افراز مجموعه ها در این مقاله آموزش داده شده است که در همنهشتی و عاد کردن اعداد صحیح مورد نیاز است.
مجموعه چیست؟
از مجموعه در ریاضی برای بیان و نمایش دسته ای از اشیای مشخص (عضویت این اشیا در مجموعه کاملا معین باشد) و متمایز (غیرتکراری) استفاده می شود.
اگر یک سری عدد را درون دو آکلاد قرار دهیم و آن را با حروف بزرگ انگلیسی نام گذاری کنیم در این صورت یک مجموعه تشکیل داده ایم.
در نوشتن مجموعه ها، ترتیب نوشتن عضوهای مجموعه، مهم نیست و با جابجایی عضوهای یک مجموعه، مجموعه جدیدی ساخته نمی شود؛ همچنین با تکرار عضوهای یک مجموعه، مجموعه جدیدی ساخته نمی شود.
اعضای مجموعه را چطور نشان دهیم؟
اگر مجموعه را داشته باشیم برای نشان دادن اینکه
عضوی از مجموعه
است، می نویسیم
و می خوانیم
عضو
است. و چون
عضو
نیست می نویسیم
و می خوانیم
عضو
نیست.
چطور مجموعه ها را را با نمودار ون نمایش دهیم؟
مجموعه را می توان با استفاده از منحنی ها یا خط های شکسته بسته نمایش داد. به این نوع نمایش (اینکه اعضای مجموعه را درون یک منحنی بسته قرار دهیم) نمایش نمودار وِن می نامند.
مجموعه متناهی و نامتناهی چه تفاوتی با هم دارند؟
مجموعه هایی که تعداد اعضای آنها یک عدد حسابی است، مجموعه های متناهی می نامیم.
به مجموعه هایی که نتوان تعداد اعضای آن را با یک عدد حسابی بیان کرد مجموعه نامتناهی می گویند. در واقع تعداد اعضای این مجموعه از هر عددی که در نظر بگیریم، بزرگتر است.
مجموعه تهی به چه مجموعه ای می گویند؟
اگر در مجموعه ای عضوی وجود نداشته باشد، آن را مجموعه تهی می نامیم و با نماد یا
نمایش می دهیم.
توجه: مجموعه های و
هر کدام یک عضو دارند و تهی نیستند.
چه زمانی دو مجموعه برابرند؟
اگر عضوهای دو مجموعه و
یکسان باشند و هر عضو
، عضوی از
و هر عضو
عضوی از
باشد در این صورت دو مجموعه
و
برابرند و می نویسیم
.
چه زمانی یک مجموعه زیرمجموعه دیگری است؟
اگر همه ی عضوهای مجموعه در مجموعه
قرار داشته باشد می گوییم مجموعه
زیرمجموعه ی مجموعه
است. می نویسیم
.
هر مجموعه زیر مجموعه خودش است مثلا .
اگر بتوانیم عضوی در بیابیم که در
نباشد، می گوییم
زیرمجموعه
نیست و می نویسیم
.
مجموعه تهی زیرمجموعه هر مجموعه ای دلخواه مانند است؛ یعنی
.
تعداد زیرمجموعه های یک مجموعه را چطور بدست آوریم؟
اگر یک مجموعه
عضوی باشد، تعداد زیرمجموعه های
برابر با
است.
مجموعه ی همه ی زیرمجموعه های ، مجموعه توانی
نامیده می شود و آن را با
نمایش می دهیم. اگر
یک مجموعه
عضوی باشد،
است.
اگر ،
عضو داشته باشد، در این صورت
،
عضو دارد.
اگر به طوری که
آنگاه
زیرمجموعه ی محض یا سره ی
نامیده می شود.
تعریف زیرمجموعه به کمک نمادهای ریاضی
فرض کنید و
دو مجموعه باشند به طوری که هر عضو
، عضوی از
باشد، در این صورت
را زیرمجموعه ی
نامیده و می نویسند
.
اگر عضوی در وجود داشته باشد، به طوری که آن عضو در مجموعه ی
نباشد، در این صورت
زیرمجموعه
نیست و می نویسند
. با استفاده از نمادهای ریاضی می توان تعریف های
و
را به صورت زیر نوشت:
روش عضوگیری دلخواه برای اثبات اینکه یک زیرمجموعه مجموعه دیگر است.
هرگاه بخواهیم ثابت کنیم و اعضای مجموعه های
و
در دسترس نباشند، کافی است عضوی دلخواه مانند
از
فرض کنیم، سپس با استفاده از فرض های داده شده نشان دهیم که
در
وجود دارد. از آنجا که
دلخواه بوده است در واقع هر عضو
در
وجود دارد. بنابراین با توجه به تعریف زیرمجموعه ثابت کردیم
.
در ادامه چند ویژگی مهم در مجموعه ها که با روش عضو گیری قابل اثبات است بیان شده است.
ویژگی 1: فرض کنید و
و
سه مجموعه با مرجع
باشند، به طوری که
و
داریم:
ویژگی 2: فرض کنید و
دو مجموعه با مرجع
باشند و
. ثابت کنید
.
ویژگی 3: برای هر مجموعه دلخواه مانند با مجموعه مرجع
داریم:
ویژگی 4: فرض کنید و
دو مجموعه با مرجع
باشند داریم
.
ویژگی 5: فرض کنید و
و
و
جهار مجموعه با مرجع
باشند، به طوری که
و
داریم:
ویژگی 6: فرض کنید و
و
سه مجموعه با مرجع
باشند، به طوری که
و
داریم:
مجموعه های متناهی و نامتناهی چه تفاوتی با هم دارند؟
به مجموعه هایی که بتوان تعداد اعضای آن را مشخص کرد هر چند تعداد اعضا زیاد باشد مجموعه متناهی می گویند. مثل مجموعه درخت های کره زمین. اما اگر نتوان تعداد اعضای یک مجموعه را نتوان مشخص کرد به آن مجموعه نامتناهی می گویند. مثل مجموعه اعداد بزرگتر از 100 .
نمایش مجموعه های اعداد به کمک علائم ریاضی
مجموعه اعداد طبیعی را با نمایش می دهیم و آن را به صورت
می نویسیم.
نمایش اعداد طبیعی زوج : مجموعه اعداد زوج را با نشان می دهند. اعضای این مجموعه خاصیت مشترکی دارند آنها همگی مضرب 2 هستند. در نتیجه می توان مجموعه اعداد طبیعی زوج را به صورت
نمایش داد. می خوانیم
برابر است با مجموعه اعدادی به شکل
به طوری که
متعلق (
) به مجموعه اعداد طبیعی (
) باشد.
نمایش اعداد طبیعی فرد: مجموعه اعداد فرد را با نشان می دهند. اعضای این مجموعه خاصیت مشترکی دارند آنها همگی باقیمانده یک در تقسیم بر 2 دارند. در نتیجه می توان مجموعه اعداد طبیعی فرد را به صورت
نمایش داد. می خوانیم
برابر است با مجموعه اعدادی به شکل
به طوری که
متعلق (
) به مجموعه اعداد طبیعی (
) باشد.
نمایش مضارب طبیعی عدد 3: اعضای این مجموعه خاصیت مشترکی دارند آنها همگی مضرب 3 هستند. در نتیجه می توان مجموعه مضارب عدد سه را به صورت نمایش داد.
مجموعه اعداد حسابی را با نشان می دهیم و اعضای آن به صورت
است.
مجموعه اعداد حسابی را می توان با نمادهای ریاضی به صورت نوشت. هر عدد طبیعی یک عدد حسابی است یعنی مجموعه اعداد طبیعی زیرمجموعه اعداد حسابی است پس داریم:
.
مجموعه اعداد صحیح را با نشان می دهیم و اعضای آن به صورت
است.
مجموعه اعداد صحیح را می توان با نمادهای ریاضی به صورت نوشت. هر عدد طبیعی و هر عدد حسابی یک عدد صحیح است. یعنی مجموعه اعداد طبیعی زیرمجموعه اعداد صحیح است پس داریم: :
.
همه ی اعداد طبیعی و حسابی، عدد صحیح هم هستند پس:
مجموعه اعداد گویا را با نمایش می دهند چون اولین عدد گویای بزرگتر از هر عدد گویا مشخص نیست، نمی توان این مجموعه را با عضوها مشخص کرد؛ به همین دلیل مجموعه اعداد گویا را با نمادهای ریاضی تعریف می کنیم:
مجموعه اعداد گنگ را به صورت یا
نشان می دهیم هر عدد حقیقی که گویا نباشد گنگ محسوب می شود.
مجموعه اعداد حقیقی اجتماع اعداد گویا و گنگ است
اشتراک دو مجموعه را چطور بدست آوریم؟
اشتراک دو مجموعه و
، مجموعه ای شامل همه عضوهایی است که هم عضو
و هم عضو
هستند. این مجموعه را با نماد
نشان می دهیم. در نمودار وِن زیر قسمت هاشور خورده اشتراک دو مجموعه را نشان می دهد. اشتراک دو مجموعه را با نماد ریاضی به صورت زیر نشان می دهیم.
اجتماع دو مجموعه را چطور بدست می آوریم؟
اجتماع دو مجموعه و
، مجموعه ای شامل همه عضوهایی است که حداقل در یکی از دو مجموعه
و
باشند. این مجموعه را با نماد
نشان می دهیم. در نمودار وِن زیر قسمت هاشور خورده اجتماع دو مجموعه را نشان می دهد. اجتماع دو مجموعه را با نماد ریاضی به صورت زیر نشان می دهیم.
تعداد عضوهای اجتماع دو مجموعه
به هر دو مجموعه مثل و
که فاقد عضو مشترک باشند، دو مجموعه جدا از هم یا مجزا می گوییم
اگر و
دو مجموعه متناهی دلخواه باشند داریم:
در سوالات اگر بین دو مجموعه از کلمه ربط “یا” استفاده شده یعنی اجتماع آن دو مجموعه و اگر از کلمه ربط “و” استفاده شده یعنی اشتراک دو مجموعه .
تفاضل دو مجموعه را چطور بدست آوریم؟
مجموعه (
منهای
)، مجموعه ای است شامل همه عضوهایی است که عضو مجموعه
هستند ولی عضو مجموعه
نیستند. این مجموعه را با نماد
نشان می دهیم. در نمودار وِن روبرو قسمت هاشور خورده تفاضل دو مجموعه را نشان می دهد.
قرارداد: تعداد عضوهای هر مجموعه مانند را با
نمایش می دهیم به عنوان مثال اگر
مجموعه ای
عضوی باشد، می نویسیم
نکات:
- اشتراک دو مجموعه زیرمجموعه اجتماع همان دو مجموعه است.
- هر یک از دو مجموعه
و
زیرمجموعه
است.
- اشتراک دو مجموعه
و
زیرمجموعه ی هر یک از دو مجموعه
و
است.
- اجتماع دو مجموعه
و
با مجموعه
مساوی است.
متمم یک مجموعه
در هر مبحث، مجموعه ای را که همه مجموعه های مورد بحث، زیرمجموعه آن باشند، مجموعه مرجع می نامیم و آن را با نشان می دهیم.
هرگاه مجموعه مرجع باشد
، آنگاه مجموعه
را متمم
می نامیم و آن را با نماد
نشان می دهیم. به عبارت دیگر
شامل عضوهایی از
است که در
نیستند.
چطور یک مجموعه را به چند زیرمجموعه افراز کنیم؟
فرض می کنیم یک مجموعه و
زیرمجموعه های
باشند. مجموعه ی
به
زیرمجموعه
افراز شده است، هرگاه سه شرط زیر برقرار باشد.
در نتیجه در بین زیرمجموعه های مجموعه فرضی زیرمجموعه هایی یافت می شوند که سه ویژگی دارند
اول : هیچ کدام تهی نیستند
دوم : دو به دو جدا از هم هستند
سوم : اجتماع آنها برابر می شود.
به آنها افراز های مجموعه می گویند.
جبر مجموعه ها
برای هر دو مجموعه دلخواه و
از مجموعه ی مرجع
داریم:
برای هر سه مجموعه دلخواه و
و
از مجموعه ی مرجع
داریم:
برای هر سه مجموعه دلخواه و
و
از مجموعه ی مرجع
اجتماع نسبت به اشتراک خاصیت توزیع پذیری دارد. داریم:
تذکر
برای هر دو مجموعه دلخواه و
از مجموعه ی مرجع
داریم
قانون جذب یا همپوشانی مجموعه ها
برای هر دو مجموعه دلخواه و
از مجموعه ی مرجع
داریم:
قانون دمورگان مجموعه ها
برای هر دو مجموعه دلخواه از مجموعه مرجع داریم:
چه موقع دو مجموعه با هم برابرند؟
فرض کنیم و
دو مجموعه با مرجع
باشند، به طوری که هر عضو
، عضوی از
و هر عضو
عضوی از
باشد؛ یعنی
و
در این صورت
با
مساوی است و می نویسیم
به عبارت دیگر تساوی دو مجموعه را می توان به صورت زیر نوشت.
فرض کنید و
دو مجموعه با مرجع
باشند، داریم:
فرض کنید و
دو مجموعه با مرجع
باشند، و
آنگاه داریم:
فرض کنید داریم
فرض کنید داریم
فرض کنید و
دو مجموعه با مرجع
باشند و
در اینصورت داریم:
ضرب دکارتی دو مجموعه
هر دو شیئی مانند و
، تشکیل یک زوج می دهند که اگر برای آنها ترتیب قائل باشیم، به آن یک زوج مرتب گفته می شود و با نماد
نشان می دهیم . می دانیم
اگر و تنها اگر
و
(در مقاله تابع چیزهای بیشتری درباره ی زوج های مرتب می آموزید)
عمل ضرب دکارتی بین دو مجموعه و
این امکان را برای ما فراهم می سازد تا مجموعه جدیدی بسازیم که اعضای آن هر کدام یک زوج مرتب باشند و هر یک از این زوجهای مرتب از اعضای
و
ساخته می شوند. بنابراین، مجموعه حاصل دارای اعضایی از جنس زوج مرتب بوده و به اعضای
یا
شبیه نبوده و فقط اعضای
و
در ساختن آنها نقش دارند.
تعریف ضرب دکارتی بین دو مجموعه: اگر و
دو مجموعه دلخواه باشند
مجموعه ای است که بصورت زیر تعریف می شود:
هر متعلق
همواره مولفه اول یعنی
باید از مجموعه
و متناظر با مولفه دوم یعنی
باید از مجموعه
باشد.
اگر و
با استفاده از تعریف عمل ضرب دکارتی و حاصل ضرب داریم:
در حالت کلی
اگر و
دو مجموعه دلخواه باشند در این صورت
همه ی فرمول های مربوط به مجموعه را می توانید در جدول زیر ببینید:
جمع بندی
در این مقاله به تعریف مجموعه ها و نحوه نمایش مجموعه ها با نمودار ون و علائم ریاضی پرداختیم. همچنین به تعریف اجتماع، اشتراک، تفاضل و متمم مجموعه ها پرداختیم. بازه های اعداد را آموزش دادیم. جبر مجموعه ها و ضرب دکارتی مجموعه ها و قوانین دمورگان و قوانین جذب را آموزش دادیم. اگر علاقمند به آموزش در حوزه آمار، ترکیبیات و احتمال هستید به مقالات مربوطه مراجعه کنید. لطفا نظرات خود را در مورد مقاله مجموعه در قسمت کامنت ها بیان کنید.