موضوع مقاله: نظریه طبیعی مجموعه‌ها | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # نظریه طبیعی مجموعه‌ها | مقدمه: نظریه طبیعی مجموعه‌ها، یکی از چندین تئوری مجموعه هاست که در بحث بنیان‌های ریاضیات مطرح می‌شود. | ## بخش 1: نظریه طبیعی مجموعه‌ها | مقدمه عبارت نظریهٔ طبیعی مجموعه‌ها یا نظریهٔ شهودی مجموعه‌ها، که نباید آن را با نظریه اصل موضوعی مجموعه‌ها اشتباه گرفت، در سال‌های حدود ۱۹۴۰ گه‌گاه مورد استفاده قرار می‌گرفت و در سال ۱۹۵۰ رسماً مورد استفاده قرار گرفت. در ریاضیات محض، نظریهٔ طبیعی مجموعه‌ها اولین پیشرفت و گسترش در نظریه مجموعه‌ها است، که بعدها به صورت دقیق‌تر در قالب نظریهٔ اصل موضوعی مجموعه‌ها بیان شد. نظریهٔ طبیعی مجموعه‌ها بر پایهٔ درکی غیررسمی و بی‌قاعده از مفهوم مجموعه به عنوان گردایه‌ای از اشیا (که عنصر یا عضو گفته می‌شوند) استوار است. در حالی که نظریه اصل موضوعی مجموعه‌ها تنها از واقعیت‌هایی در مورد مجموعه‌ها و عضویت استفاده می‌کند که از طریق تعدادی اصل موضوع قابل اثبات هستند و یکی از اهداف تنظیم این اصول موضوع (نه تمام اهداف آن‌ها) دوری از پارادکس‌هایی‌ست که در این زمینه مطرح شده‌اند (ر. چرا که نظریهٔ طبیعی مجموعه‌ها در آغاز کار خود، با پارادکس‌های متعددی از جمله پارادکس معروف راسل مواجه شد. در واقع در ریاضیات جدید، بخش عمده‌ای از ابزارهای ریاضی همچون اعداد، رابطه‌ها، توابع بر پایهٔ مجموعه‌ها تعریف شده‌اند. نظریهٔ طبیعی مجموعه‌ها نظریهٔ طبیعی مجموعه‌ها در اواخر قرن نوزدهم به وسیله گئورگ کانتور پایه‌گذاری شد تا به ریاضیدانان اجازه دهد که با مجموعه‌های نامتناهی کار کنند. نتیجهٔ چنین نظریه‌ای این بود که می‌توان بر روی مجموعه‌ها هر عملی را بدون محدودیت انجام داد یا هر مجموعه‌ای را بدون محدودیت در نظر گرفت که این ما را به سوی پارادکس‌هایی چون پارادکس راسل سوق می‌دهد. در حقیقت در ادامهٔ گسترش این نظریه، این سؤال برای ریاضیدانان پیش آمد که آیا چیزهایی که به عنوان مجموعه در نظر گرفته می‌شوند، واقعاً مجموعه هستند؟ در جواب به این پرسش‌های اساسی، نظریه اصل موضوعی مجموعه‌ها گسترش یافت که در آن تعدادی اصل موضوع مطرح می‌شود و سایر نتیجه‌گیری‌ها و قضایای موجود بر اساس این اصول استخراج می‌شوند و به‌طور دقیق معلوم می‌شود که چه اعمالی را می‌توان در مجموعه‌ها انجام داد و چه چیزی را می‌توان به عنوان یک مجموعه در نظر گرفت. امروزه وقتی ریاضیدانان از نظریه مجموعه‌ها به عنوان یک شاخهٔ ریاضیات صحبت می‌کنند، به صورت معمول منظور آن‌ها نظریه اصل موضوعی مجموعه‌ها است. در استفاده‌های غیررسمی از نظریهٔ مجموعه‌ها در رشته‌های دیگر همانند رشته‌های مهندسی، معمولاً از نظریه طبیعی مجموعه‌ها استفاده می‌شود. البته لازم به توضیح است که برخی معتقدند که نظریهٔ مجموعه‌های جرج کانتور عملاً درگیر پارادکس‌ها نمی‌شود که خود مطلبی قابل بحث است. او از برخی از این پارادکس‌ها آگاه بود ولی آن‌ها را بیان نکرد چرا که معتقد بود این پارادکس‌ها نظریهٔ مجموعه‌های او را بی‌اعتبار می‌سازد. اطمینان در مورد این مطلب دشوار است چرا که او اصل موضوع یا قاعده‌ای را بیان نکرده‌است. فرگه به صورت صریح یک نظریهٔ اصل موضوعی ارائه داد که می‌توان آن را به عنوان شکل فرمول‌بندی شدهٔ نظریهٔ طبیعی مجموعه‌ها دانست. این همان تئوری فرمول‌بندی شده‌ای‌ست که برتراند راسل هنگامی که پارادکس خود را بیان کرد، به این تئوری استناد کرد. اهمیت نظریهٔ طبیعی مجموعه‌ها مطالعهٔ مجموعه‌ها از دیدگاه طبیعی (یا به عبارت دیگر مطالعه به صورت غیر صوری) به منظور بررسی و گسترش کاربردهای مجموعه‌ها و امکاناتی که به ما می‌دهند بسیار مفید است. به علاوه دانستن مفاهیم نظریهٔ مجموعه‌ها از دیدگاه طبیعی به عنوان قدم اول در فهم نظریه اصل موضوعی مجموعه‌ها، دارای اهمیت است. در نظریهٔ طبیعی مجموعه‌ها و مطالعه مجموعه‌ها از دیدگاه شهودی، به این که «واقعاً مفهوم مجموعه چیست؟» یا «چه اصول موضوعه‌ای برای آن می‌توان تعریف کرد؟» کاری نداریم و فرض می‌کنیم فردی که مجموعه‌ها را به صورت طبیعی مطالعه می‌کند یک درک معمولی و شهودی (و غالباً نادرست) از مجموعه‌ها را دارد. در اینجا هدف از تشریح نظریه، توصیف کارهایی است که با مجموعه‌ها به عنوان یک ابزار ریاضی می‌توان انجام داد. همانند خط و نقطه در هندسه که ما از آن‌ها تعریفی ارائه نمی‌دهیم و به بررسی کارهایی که با این ابزارها می‌توان انجام داد می‌پردازیم. در انتها به این نکته توجه کنید که نظریهٔ طبیعی مجموعه‌ها همواره به نظریهٔ ناسازگار فرگه یا کانتور گفته نمی‌شود. این نظریه می‌تواند به نظریهٔ مجموعه‌ها به صورت غیررسمی و دقیق اشاره داشته باشد، مانند کتاب معروف پل ریچارد هالموس، «نظریه طبیعی مجموعه‌ها» که در آن مقداری به بیان غیررسمی نظریه اصل موضوعی مجموعه‌ها پرداخته است. ما در اینجا سعی می‌کنیم به اصول موضوعه‌ای که در زمینهٔ مجموعه‌ها بیان شده‌اند هم اشاره کنیم و در مواقع لازم خواننده را به آن‌ها ارجاع دهیم. مجموعه‌ها، عضویت و تساوی در نظریهٔ طبیعی مجموعه‌ها، مجموعه‌ها به عنوان یک دسته از اشیا مشخص توصیف می‌شوند. عضوهای مجموعه می‌توانند هر چیزی باشند: اعداد، افراد جامعه، مجموعه‌ها یا هر چیز دیگر. همین موضوع نشان می‌دهد که لزومی ندارد که همهٔ مجموعه‌ها متناهی باشند (تعداد متناهی عضو داشته باشند). اگر x یک شی متعلق به مجموعهٔ دلخواه A باشد می‌گوییم «مجموعهٔ A شامل عضو x است.» یا «x متعلق به مجموعه A است.» در این صورت می‌نویسیم x∈A که نماد تعلق یا عضویت (membership) است که از حرف اپسیلون یونانی گرفته شده و به وسیلهٔ پئانو معرفی شده‌است. | ## بخش 2: نظریه طبیعی مجموعه‌ها | به بیان دیگر هر عضو دلخواه مجموعهٔ A، در مجموعه B باشد و هر عضو دلخواه B در مجموعهٔ A موجود باشد (ر. به عنوان مثال مجموعهٔ اعداد ۲٫۳٫۵ با مجموعهٔ تمام اعداد اول کوچکتر از ۶ برابر است. از آنجا که مجموعه دقیقاً با اعضایش شناخته می‌شود، می‌توان یکتا بودن مجموعهٔ تهی را تضمین کرد (ر. اگرچه مجموعهٔ تهی هیچ عضوی ندارد، با این‌حال، خود می‌تواند عضو مجموعه‌های دیگری قرار گیرد. مشخص نمودن یک مجموعه معمولاً یک مجموعه را در صورت امکان به وسیلهٔ نوشتن اعضایش میان دو آکولاد { } مشخص می‌کنند که این روش روش تفضیلی یا نمایش با اعضا نام دارد. در نمایش مجموعه به دو نکته توجه داشته باشید: در نمایش عضوهای یک مجموعه، ترتیب اعضا اهمیت ندارد و لذا: {b,a}={a,b} در نمایش مجموعه‌ها تکرار اعضا تغییری در مجموعه ایجاد نمی‌کند. به عنوان مثال: {a,b}={a,b,b}={a,a,b} همچنین می‌توان یک مجموعه را با بیان خاصیت مشترک میان اعضایش مشخص کرد. برای این منظور از نماد مجموعه ساز x:P(x} یا x|P(x} استفاده می‌کنیم که مفهوم آن عبارت است از مجموعهٔ همهٔ عناصری مانند x که شرط (P(x برای آن‌ها برقرار است یا به عبارت دیگر گزاره‌نمای (P(x برای آن‌ها به گزاره‌ای درست تبدیل می‌شود. به عنوان مثال مجموعهٔ {x عددی حقیقی است :x}، مجموعهٔ اعداد حقیقی را معین می‌کند و مجموعهٔ {n عددی طبیعی؛ x: x=2n} مجموعهٔ اعداد طبیعی زوج را معین می‌کند. این شیوهٔ نمایش مجموعه‌ها نمایش با علایم ریاضی یا نمایش توصیفی نامیده می‌شود و بیشتر برای مجموعه‌های نامتناهی یا مجموعه‌هایی که با اعضا قابل نمایش نمی‌باشند به کار می‌رود. نمونه‌های زیر بیانگر حالات مختلف نمایش مجموعه‌ها با علایم ریاضی است: به مجموعهٔ همه عضوهای متعلق به مجموعه A که دارای شرط (P(x هستند اشاره دارد. به عنوان مثال اگر مجموعهٔ اعداد صحیح باشد، مجموعهٔ همهٔ اعداد صحیح زوج را به صورت نشان می‌دهیم. (در این خصوص اصل موضوع جداسازی را ببینید) نماد به مجموعهٔ همه عناصری اشاره دارد که از قرار دادن عناصر مجموعهٔ A در فرمول F به‌دست می‌آیند. به عنوان مثال اگر (F(x خاصیت اول بودن x باشد و (P(x خاصیت متقارن بودن x باشد مجموعه به مجموعه همه اعداد اول متقارن دلالت داد. زیرمجموعه‌ها اگر A و B دو مجموعه باشند، می‌گوییم A زیرمجموعه یا جز B است هرگاه هر عضو A در B نیز موجود باشد. در این صورت می‌گوییم مجموعهٔ A زیرمجموعه یا جز B است یا B یک ابرمجموعه یا حاوی مجموعهٔ A است. همچنین اگر A زیرمجموعهٔ B باشد و در عین حال B دارای عضوی غیرمتعلق به A باشد، می‌گوییم A یک زیرمجموعهٔ حقیقی یا محض (سره) B است یا B یک ابر مجموعه حقیقی A است. گزارهٔ «A زیرمجموعهٔ B است» را به صورت نمایش می‌دهیم، همچنین گزارهٔ «B یک ابرمجموعهٔ A است» را به صورت می‌نویسیم و اگر A یک زیرمجموعهٔ محض B باشد می‌نویسیم یا . از تعریف زیرمجموعه نتیجه می‌شود که گزارهٔ «A زیرمجموعهٔ B است» معادل با گزارهٔ زیر است: نقیض گزارهٔ را با نشان می‌دهیم و معادل با این مطلب است که عضوی در A هست که متعلق به B نمی‌باشد یا به زبان منطق ریاضی . با استفاده از مفهوم زیر مجموعه می‌توان تساوی دو مجموعه را به این صورت بیان کرد: (A=B)است اگر و فقط اگر ( و ) همچنین اگر X یک مجموعه باشد، مجموعهٔ همه زیرمجموعه‌های X را مجموعهٔ توانی X می‌گوییم و آن را با(P(X نشان می‌دهیم. مجموعهٔ مرجع و متمم‌ها در هر بحث خاص مجموعه همهٔ عناصر مورد بحث را عضو یک مجموعهٔ کلی می‌گیریم و به آن مجموعهٔ جهانی(Universal set) یا مرجع (عام) می‌گوییم. توجه به این نکته لازم است که مجموعهٔ جهانی را نباید به عنوان مجموعه‌ای از همهٔ مجموعه‌ها در نظر گرفت چرا که در ادامه متوجه می‌شویم که چنین مجموعه‌ای وجود ندارد و فرض وجود آن ما را به تناقضاتی چون پارادکس راسل سوق می‌دهد. اگر U مجموعهٔ جهانی باشد و A یک زیرمجموعهٔ U باشد، در این صورت مجموعهٔ همه عناصری از U را که متعلق به A نباشند متمم یا مکمل مجموعهٔ A می‌گوییم و آن را با نمادهای AC یا یا نشان می‌دهیم. پس و اجتماع، اشتراک و تفاضل اگر A و B دو مجموعه باشند می‌توانیم اعضای A و B را به‌طور همزمان در یک مجموعهٔ جدید به نام اجتماع دو مجموعهٔ A و B قرار دهیم. اجتماع دو مجموعهٔ A و B عبارت است از مجموعهٔ همهٔ عناصری که به حداقل یکی از دو مجموعهٔ A یا B متعلق باشند (ر. اجتماع دو مجموعهٔ A و B را با نماد نشان می‌دهیم و مطابق تعریف داریم: پس: به همین صورت اشتراک دو مجموعهٔ A و B عبارت است از مجموعهٔ همهٔ عناصری که به هر یک از دو مجموعهٔ A و B متعلق باشند. حال می‌توانیم مفهوم متمم یک مجموعه را تعمیم دهیم و متمم یک مجموعهٔ مفروض را نسبت به یک مجموعهٔ دیگر بررسی کنیم. اگر A و B دو مجموعه باشند، مجموعهٔ همهٔ عناصری از A را که در مجموعهٔ B وجود ندارند متمم A نسبت به B یا تفاضل B از A می‌گوییم و به صورت A-B نشان می‌دهیم. به این ترتیب و لذا نکتهٔ جالب توجه این است که برای هر مجموعهٔ X، مجموعه توانی X یک جبر بول تحت اعمال اجتماع و اشتراک است. | ## بخش 3: نظریه طبیعی مجموعه‌ها | زوج‌های مرتب و ضرب دکارتی در مورد زوج مرتب می‌توان بسیار بحث کرد اما در نظریهٔ طبیعی مجموعه‌ها برای هر دو شی a و b زوج (a,b) را که در آن ترتیب قرار گرفتن مؤلفه‌های اول و دوم مهم است یک زوج مرتب می‌گوییم. این تعریف نیاز ما را برای ادامه مطلب بر طرف می‌کند (برای بررسی این که واقعاً یک زوج مرتب چیست می‌توانید به مقالهٔ زوج مرتب یا نظریه اصل موضوعی مجموعه‌ها مراجعه کنید). اگر A و B دو مجموعه باشند، آنگاه حاصل ضرب دکارتی دو مجموعهٔ A و B را با نماد نشان می‌دهیم و به صورت مجموعهٔ همهٔ زوج مرتب‌هایی که مؤلفهٔ اول آن‌ها عضو A و مؤلفهٔ دوم آن‌ها عضو B هستند تعریف می‌کنیم. مفهوم ضرب دکارتی را می‌توان توسعه داد و به تعداد نامتناهی از مجموعه‌ها هم نسبت داد. معرفی چند مجموعهٔ مهم برای برخی از مجموعه‌های خاص، اسامی خاصی به کار می‌بریم که باید آن‌ها را به خاطر سپرد: مجموعهٔ اعداد طبیعی را با نشان می‌دهیم و داریم . مجموعهٔ اعداد طبیعی نابیشتر از عدد طبیعی k را قطعه‌ای از اعداد طبیعی می‌گوییم و به صورت نشان می‌دهیم و داریم . مجموعهٔ همهٔ اعداد حقیقی بین دو عدد a و b را که شامل خود a و b نیز باشد، بازهٔ بستهٔ a و b می‌گوییم و آن را به صورت نمایش می‌دهیم. مجموعهٔ همهٔ اعداد حقیقی بین دو عدد حقیقی a و b را بازهٔ باز a و b می‌گوییم و آن را به صورت نشان می‌دهیم. مجموعهٔ اعداد حقیقی بین دو عدد حقیقی a و b را که شامل a باشد، به صورت نشان می‌دهیم. پارادکس‌ها در مقدمه و ادامهٔ بحث بیان کردیم که در نظریه مجموعه‌ها و بعد از ارائهٔ نظریهٔ طبیعی مجموعه‌ها، ریاضیدانان به یک سری تناقضات و پارادکس‌ها برخورد کردند که باعث شد در نظریهٔ مجموعه‌ها تجدید نظر کنند و نیاز به یک دستگاه اصل موضوعی برای بیان نظریهٔ مجموعه‌ها احساس شد. دستگاه اصل موضوعی که نظریهٔ مجموعه‌ها را بتوان بر پایهٔ اصول آن بنا کرد و دیگر برداشت‌های شهودی و طبیعی در آن تأثیر نداشته باشد. در نظریه‌ای که ارائه شد، برداشتی که از یک مجموعه می‌شود مانند کیسه‌ای است که تعدادی (متناهی یا نامتناهی) عضو را در آن قرار می‌دهیم. آیا به راستی هرچه که در بین دو { } قرار دهیم یک مجموعه نام دارد، یا به‌طور دقیق‌تر آیا می‌توانیم هر مجموعه‌ای را به دلخواه خودمان تشکیل بدهیم؟ آیا مجموعه مانند یک کیسه است که هر چه در آن قرار دهیم و اسم آن را یک مجموعه بگذاریم؟ خوب ریاضیدانان در آغاز پیدایش نظریهٔ مجموعه‌ها که بر پایهٔ شهود بنیان گذاشته شده بود، یعنی در زمان ریاضیدانانی چون جرج کانتور و فرگه چنین تصور می‌کردند. یعنی آن‌ها یک مجموعهٔ بزرگ را در نظر می‌گرفتند که همهٔ مجموعه‌ها در آن قرار داشت. ممکن است در نگاه اول برداشت شهودی ما از مجموعه به این سؤال پاسخ مثبت بدهد ولی در ادامه متوجه می‌شوید که فرض وجود چنین مجموعهٔ بزرگی ما را به تناقض سوق می‌دهد که این تناقض را نخستین بار برتراند راسل، تحت عنوان پارادکس راسل مطرح کرد. برای هر مجموعه ما می‌توانیم این سؤال عجیب را مطرح کنیم که آیا این مجموعه عضو خودش است یا نه؟ حال بر اساس فرضی که کردیم بیاید همهٔ مجموعه‌هایی را که شامل خودشان نیستند در یک مجموعه قرار دهیم. این مجموعه را A نام‌گذاری می‌کنیم پس {X مجموعه‌ای باشد که عضو خودش نیست :A={X A نیز یک مجموعهٔ قابل قبول است و حق داریم سؤال را در مورد A نیز مطرح کنیم. اگر در این صورت چون A عضو خودش است، بنابر تعریف مجموعه A باید داشته باشیم که این تناقض است. اگر در این صورت A عضوی از خودش است و لذا مطابق تعریف مجموعه A باید داشته باشیم که این نیز تناقض است. بنابراین با سؤالی روبرو می‌شویم که نمی‌توانیم به آن پاسخ بدهیم و هر پاسخ به آن ما را به تناقض سوق می‌دهد و نتیجه می‌گیریم که اساساً چنین مجموعه‌ای را نمی‌توان تعریف کرد زیرا در مورد اعضای آن ابهام وجود دارد. حال در نگاهی دیگر با همان فرض قبلی که می‌توان هر مجموعه‌ای را تشکیل داد بیاید فرض کنیم مجموعهٔ همهٔ مجموعه‌ها وجود دارد. در مورد اعضای مجموعهٔ نیز می‌توان این سؤال را مطرح کرد که اگر A عضوی از باشد آیا A عضو خودش است یا نه؟ به عبارت دیگر گزاره‌نمای یا خاصیت «عضو خود نبودن» را اختیار می‌کنیم و با اعمال آن روی اعضای زیرمجموعه‌ای از اعضای مشخص می‌شود. ما را به تناقض سوق می‌دهد و لذا که این با توجه به اینکه مجموعهٔ همهٔ مجموعه‌ها است، یک تناقض آشکار است چرا که مجموعه‌ای چون B یافت شد که عضو نیست. پس اساساً فرض وجود مجموعهٔ همهٔ مجموعه‌ها نیز ما را به تناقض می‌کشاند و چنین مجموعه‌ای خوش تعریف نیست. | ## جمع‌بندی | برای اطلاعات بیشتر در مورد این پارادکس‌ها به پارادکس راسل یا پارادکس‌های نظریه مجموعه‌ها رجوع کنید.