مقدمه
اگر بخواهیم یکی از بنیادیترین ایدههای مشترک در شاخههای مختلف ریاضیات را نام ببریم، «مجموعه» یکی از مهمترین گزینههاست. از اعداد طبیعی و حقیقی گرفته تا نقاط یک صفحه، جوابهای یک معادله، رویدادهای یک فضای احتمال و دادههای یک مسئله در علوم کامپیوتر، همگی میتوانند در قالب مجموعه توصیف شوند.
در دورههای دانشگاهی ریاضیات گسسته نیز مجموعهها در کنار تعریفها، اثباتها، توابع و روابط از مفاهیم بنیادی به شمار میآیند. برای مثال، درس «Mathematics for Computer Science» در مؤسسه فناوری ماساچوست، مجموعهها را در میان مفاهیم پایهای ریاضیات معرفی میکند و آنها را مقدمهای برای مطالعه روابط، توابع و ساختارهای گسسته قرار میدهد.
با وجود سادگی ظاهری، مفهوم مجموعه نکات ظریفی دارد. برای مثال، باید بدانیم که در یک مجموعه ترتیب اعضا اهمیت ندارد، تکرار یک عضو باعث ایجاد عضو جدید نمیشود و رابطه «عضو بودن» با رابطه «زیرمجموعه بودن» تفاوت دارد.
از طرف دیگر، در ریاضیات جدید، مجموعه صرفاً یک «دسته از اشیا» نیست که بتوانیم هر مجموعه دلخواهی را بدون محدودیت تعریف کنیم. در نظریه مجموعههای اصلموضوعی، وجود و ویژگیهای مجموعهها با اصول دقیق ریاضی کنترل میشود. بنابراین میان تعریف شهودی مجموعه برای آموزش مقدماتی و صورتبندی بنیادی آن در ریاضیات مدرن باید تفاوت قائل شد.
پیشنیازها
برای فهم مفهوم مجموعه به پیشنیاز پیچیدهای نیاز ندارید. آشنایی با نمادهای ساده ریاضی و مفهوم یک شیء ریاضی کافی است.
با این حال، یک تمایز مهم باید از ابتدا روشن باشد: در ریاضیات، یک «شیء» میتواند هر چیزی باشد که در چارچوب موردنظر بتوان درباره آن بهصورت دقیق صحبت کرد؛ برای مثال یک عدد، یک نقطه، یک تابع یا حتی یک مجموعه دیگر.
بنابراین وقتی میگوییم «\(x\) عضوی از مجموعه \(A\) است»، صرفاً درباره رابطه میان دو شیء صحبت میکنیم:
$$ x\in A $$
نماد \(\in\) خوانده میشود: «\(x\) عضو \(A\) است» یا «\(x\) به \(A\) تعلق دارد».
تعریف دقیق مجموعه
تعریف شهودی
در آموزش مقدماتی میتوان مجموعه را یک گردایه یا مجموعهای مشخص از اشیای متمایز دانست که اعضای آن را میتوان تشخیص داد.
برای مثال:
$$ A=\{2,4,6,8\} $$
در اینجا مجموعه \(A\) از چهار عضو تشکیل شده است: \(2\)، \(4\)، \(6\) و \(8\).
در منابع تخصصی، مجموعهها معمولاً بهعنوان گردایههایی تعریف میشوند که اعضای آنها مجموعه را بهطور کامل مشخص میکنند. به بیان دقیقتر، دو مجموعه دقیقاً زمانی برابرند که اعضای یکسانی داشته باشند. این اصل در نظریه مجموعهها با عنوان اصل محمولیت یا اصل تساوی مجموعهها بر اساس اعضا شناخته میشود.
در صورتبندی اصلموضوعی، «مجموعه» معمولاً مانند یک مفهوم تعریفنشده اولیه در نظر گرفته میشود و بهجای ارائه یک تعریف ماهوی از اینکه «مجموعه دقیقاً چیست»، اصولی درباره رفتار و روابط مجموعهها بیان میشود. این رویکرد در نظریه مجموعههای اصلموضوعی استاندارد است.
تعریف رسمیتر با رابطه عضویت
مفهوم بنیادی در نظریه مجموعهها رابطه عضویت است. اگر \(x\) عضوی از \(A\) باشد، مینویسیم:
$$ x\in A $$
و اگر \(x\) عضو \(A\) نباشد:
$$ x\notin A $$
به همین دلیل، برای فهم مجموعه لازم نیست ابتدا تصور کنیم مجموعه دقیقاً چه «ماهیتی» دارد؛ کافی است بتوانیم مشخص کنیم چه اشیایی عضو آن هستند و چه اشیایی عضو آن نیستند.
این دیدگاه با ساختار رسمی نظریه مجموعهها سازگار است؛ در صورتبندیهای استاندارد، رابطه عضویت \(\in\) یکی از مفاهیم بنیادی زبان نظریه مجموعههاست.
مجموعه و اعضای آن
اشیایی که در یک مجموعه قرار دارند، اعضای مجموعه یا عناصر مجموعه نامیده میشوند.
برای نمونه:
$$ A=\{1,3,5,7\} $$
داریم:
$$ 1\in A $$ $$ 3\in A $$ $$ 5\in A $$ $$ 7\in A $$
اما:
$$ 2\notin A $$
این رابطه دوطرفه نیست؛ یعنی \(A\) در این مثال یک مجموعه است و \(1\) یک عضو آن، اما از این موضوع نتیجه نمیشود که \(A\) عضو \(1\) باشد.
ویژگیهای بنیادی مجموعه
۱. ترتیب اعضا اهمیت ندارد
در یک مجموعه، ترتیب نوشتن اعضا تعیینکننده مجموعه نیست. بنابراین:
$$ \{1,2,3\}=\{3,2,1\} $$
همچنین:
$$ \{a,b,c\}=\{c,a,b\} $$
این ویژگی مجموعه را از ساختارهایی مانند دنباله یا فهرست مرتب متمایز میکند.
۲. تکرار یک عضو، عضو جدید ایجاد نمیکند
اگر یک عنصر چند بار در فهرست مجموعه نوشته شود، مجموعه همچنان فقط یک بار آن عنصر را در خود دارد:
$$ \{1,1,2,2,3\}=\{1,2,3\} $$
به همین دلیل، مجموعه با یک فهرست معمولی تفاوت دارد. در فهرست ممکن است تعداد دفعات تکرار یا ترتیب عناصر مهم باشد، اما در مجموعه چنین نیست.
۳. اعضای مجموعه لازم نیست همنوع باشند
در تعریف عمومی مجموعه، لازم نیست همه اعضا از یک نوع باشند. برای مثال میتوان مجموعهای مانند زیر در نظر گرفت:
$$ A=\{2,\pi,\text{علی}\} $$
البته در بسیاری از شاخههای ریاضی برای حفظ ساختار و جلوگیری از ابهام، معمولاً مجموعههایی از اشیای همنوع یا دارای ویژگی مشترک مطالعه میشوند.
۴. اعضای یک مجموعه میتوانند خودشان مجموعه باشند
یک مجموعه میتواند مجموعههای دیگری را بهعنوان عضو داشته باشد. برای مثال:
$$ A=\{\{1,2\},\{3,4\}\} $$
در اینجا \(A\) دو عضو دارد و هر دو عضو آن خودشان مجموعهاند.
بنابراین باید میان این دو عبارت دقت کرد:
$$ \{1,2\}\in A $$
و:
$$ 1\in A $$
عبارت اول درست است، اما عبارت دوم نادرست است؛ زیرا \(1\) مستقیماً عضو \(A\) نیست، بلکه عضو مجموعه \(\{1,2\}\) است که خود یکی از اعضای \(A\) است.
تساوی دو مجموعه
دو مجموعه زمانی برابرند که دقیقاً اعضای یکسانی داشته باشند.
اگر \(A\) و \(B\) دو مجموعه باشند، تعریف رسمی برابری آنها چنین است:
$$ A=B \iff \forall x\,(x\in A\leftrightarrow x\in B) $$
یعنی برای هر شیء \(x\)، اگر \(x\) عضو \(A\) باشد و فقط در صورتی که عضو \(B\) نیز باشد، دو مجموعه برابرند.
از این تعریف میتوان نتیجه گرفت که ترتیب نوشتن اعضا و تعداد دفعات تکرار آنها تأثیری بر برابری مجموعهها ندارد.
مثال
آیا دو مجموعه زیر برابرند؟
$$ A=\{1,2,3,4\} $$ $$ B=\{4,3,2,1,1,2\} $$
بله. اعضای متمایز هر دو مجموعه دقیقاً \(1\)، \(2\)، \(3\) و \(4\) هستند؛ بنابراین:
$$ A=B $$
اصل بنیادی برابری مجموعهها
در نظریه مجموعهها، این ایده که «مجموعه را اعضای آن تعیین میکنند» اهمیت اساسی دارد. در نظریه مجموعههای اصلموضوعی، این اصل با نام اصل محمولیت یا Axiom of Extensionality شناخته میشود.
صورت ریاضی آن چنین است:
$$ \forall A\forall B \left[ \left(\forall x\,(x\in A\leftrightarrow x\in B)\right) \Rightarrow A=B \right] $$
به زبان ساده، اگر دو مجموعه دقیقاً اعضای یکسانی داشته باشند، نمیتوان آنها را دو مجموعه متفاوت دانست.
این اصل با تعریف برابری مجموعهها در منابع مقدماتی سازگار است و پایه بسیاری از استدلالهای ساده در نظریه مجموعههاست.
روشهای تعیین یک مجموعه
برای معرفی یک مجموعه باید بهگونهای عمل کنیم که مشخص باشد چه اشیایی عضو آن هستند. دو روش بسیار رایج، نمایش فهرستی و نمایش با ویژگی مشخصکننده هستند.
نمایش فهرستی
در این روش اعضای مجموعه مستقیماً میان آکولاد نوشته میشوند:
$$ A=\{2,4,6,8,10\} $$
این روش برای مجموعههای کوچک و متناهی مناسب است.
مثلاً مجموعه روزهای هفته را میتوان بهصورت زیر نمایش داد:
$$ W=\{\text{شنبه، یکشنبه، دوشنبه، سهشنبه، چهارشنبه، پنجشنبه، جمعه}\} $$
نمایش با ویژگی مشخصکننده
وقتی تعداد اعضا زیاد یا مجموعه نامتناهی باشد، معمولاً بهجای فهرستکردن همه اعضا، ویژگیای را بیان میکنیم که اعضای مجموعه را مشخص میکند.
برای مثال، مجموعه اعداد طبیعی زوج را میتوان چنین نوشت:
$$ E=\{x\in\mathbb{N}\mid x\text{ زوج است}\} $$
یا مجموعه اعداد حقیقی بزرگتر از صفر:
$$ P=\{x\in\mathbb{R}\mid x>0\} $$
در این نوع نمایش، عبارت بعد از خط عمودی شرطی را مشخص میکند که اعضای مجموعه باید داشته باشند.
چگونه مشخص کنیم یک شیء عضو مجموعه است؟
یکی از مهارتهای پایه در کار با مجموعهها، تشخیص عضویت است. برای این کار باید شرط تعریف مجموعه را بررسی کنیم.
مثال ۱: مجموعه فهرستی
فرض کنید:
$$ A=\{2,4,6,8,10\} $$
آیا \(6\) عضو \(A\) است؟
با توجه به نمایش فهرستی، \(6\) در میان اعضای مجموعه قرار دارد. بنابراین:
$$ 6\in A $$
اما:
$$ 7\notin A $$
مثال ۲: مجموعه با شرط
فرض کنید:
$$ B=\{x\in\mathbb{Z}\mid x^2<10\} $$
آیا \(3\) عضو \(B\) است؟
شرط عضویت را بررسی میکنیم:
$$ 3^2=9<10 $$
بنابراین:
$$ 3\in B $$
آیا \(4\) عضو \(B\) است؟
$$ 4^2=16 $$
چون \(16<10\) نادرست است، نتیجه میگیریم:
$$ 4\notin B $$
تفاوت مجموعه با فهرست و دنباله
یکی از اشتباهات رایج این است که مجموعه را صرفاً یک فهرست از عناصر بدانیم. این دو مفهوم دقیقاً یکسان نیستند.
در مجموعه:
$$ \{1,2,3\}=\{3,2,1\} $$
اما در یک دنباله، جایگاه عناصر بخشی از اطلاعات است. برای مثال، دنبالههای:
$$ (1,2,3) $$
و:
$$ (3,2,1) $$
بهطور کلی یکسان نیستند.
همچنین در یک مجموعه:
$$ \{1,1,2\}=\{1,2\} $$
اما در ساختارهایی که تعداد تکرار عناصر را حفظ میکنند، این دو نمایش ممکن است اطلاعات متفاوتی داشته باشند.
مجموعه تهی و مفهوم «هیچ عضو نداشتن»
مجموعهای که هیچ عضوی ندارد، مجموعه تهی نامیده میشود و با نماد زیر نمایش داده میشود:
$$ \varnothing $$
برای مثال، مجموعه اعداد حقیقی \(x\) که همزمان مثبت و منفی باشند، تهی است:
$$ \{x\in\mathbb{R}\mid x>0\land x<0\}=\varnothing $$
مجموعه تهی با مجموعهای که یک عضو دارد متفاوت است:
$$ \varnothing\neq\{\varnothing\} $$
سمت چپ هیچ عضوی ندارد، اما سمت راست دقیقاً یک عضو دارد و آن عضو خود مجموعه تهی است.
مجموعههای عددی بهعنوان نمونههای مهم
یکی از آشناترین کاربردهای مفهوم مجموعه، تعریف مجموعههای عددی است.
اعداد طبیعی
بسته به قرارداد مورد استفاده، اعداد طبیعی ممکن است از \(0\) یا از \(1\) آغاز شوند. برای مثال میتوان نوشت:
$$ \mathbb{N}=\{0,1,2,3,\ldots\} $$
یا در قراردادی دیگر:
$$ \mathbb{N}=\{1,2,3,\ldots\} $$
بنابراین هنگام استفاده از نماد \(\mathbb{N}\) در یک کتاب یا مقاله، بهتر است قرارداد همان منبع را بررسی کنیم.
اعداد صحیح
$$ \mathbb{Z}=\{\ldots,-3,-2,-1,0,1,2,3,\ldots\} $$
اعداد گویا
اعداد گویا را میتوان مجموعه اعدادی دانست که بتوان آنها را به شکل نسبت دو عدد صحیح با مخرج ناصفر نوشت:
$$ \mathbb{Q} = \left\{ \frac{p}{q} \;\middle|\; p,q\in\mathbb{Z},\ q\neq0 \right\} $$
اعداد حقیقی
مجموعه اعداد حقیقی با \(\mathbb{R}\) نمایش داده میشود و شامل اعداد گویا و اعداد گنگ است:
$$ \mathbb{Q}\subseteq\mathbb{R} $$
این مثالها نشان میدهند که مجموعه فقط برای دستهبندی اشیای ساده استفاده نمیشود، بلکه میتواند پایه تعریف نظامهای عددی مهم در ریاضیات باشد.
مجموعههای متناهی و نامتناهی
اگر بتوان تعداد اعضای یک مجموعه را با یک عدد طبیعی مشخص بیان کرد، مجموعه متناهی است. برای مثال:
$$ A=\{1,2,3,4,5\} $$
مجموعهای متناهی با پنج عضو است.
در مقابل، مجموعه اعداد طبیعی نامتناهی است:
$$ \mathbb{N}=\{0,1,2,3,\ldots\} $$
زیرا تعداد اعضای آن با هیچ عدد طبیعی مشخصی تمام نمیشود.
در مجموعههای متناهی، تعداد اعضا را معمولاً با نماد \(|A|\) نمایش میدهیم. بنابراین:
$$ |\{a,b,c,d\}|=4 $$
بحث درباره اندازه مجموعههای نامتناهی به نظریه کاردینالها و نتایج عمیقتر نظریه مجموعهها منتهی میشود. کار گئورگ کانتور در قرن نوزدهم نشان داد که مفهوم «تعداد اعضا» برای مجموعههای نامتناهی ساختاری بسیار غنی دارد و همه مجموعههای نامتناهی الزاماً از نظر اندازه یکسان نیستند.
عضو بودن با زیرمجموعه بودن یکسان نیست
یکی از مهمترین تمایزهای مفهومی در مطالعه مجموعهها، تفاوت میان عضویت و زیرمجموعه بودن است.
رابطه:
$$ x\in A $$
یعنی \(x\) یک عضو \(A\) است.
اما:
$$ A\subseteq B $$
یعنی هر عضو \(A\)، عضو \(B\) نیز هست.
برای مثال، اگر:
$$ A=\{1,2,3\} $$
آنگاه:
$$ 1\in A $$
اما:
$$ \{1\}\subseteq A $$
هر دو عبارت درستاند، ولی معنای متفاوتی دارند. در عبارت اول، \(1\) یک عضو است؛ در عبارت دوم، \(\{1\}\) یک مجموعه است که بهعنوان زیرمجموعه \(A\) در نظر گرفته شده است.
مجموعه میتواند خودش عضو مجموعه دیگری باشد
چون مجموعهها خودشان نیز میتوانند موضوع بحث ریاضی باشند، یک مجموعه میتواند عضو مجموعه دیگری باشد.
فرض کنید:
$$ A=\{1,2\} $$ $$ B=\{A,3\} $$
در این صورت:
$$ A\in B $$
در حالی که:
$$ 1\in A $$
بنابراین یک زنجیره عضویت میتواند ایجاد شود:
$$ 1\in A\in B $$
البته این عبارت باید با دقت خوانده شود: \(1\) عضو \(A\) است و \(A\) عضو \(B\) است؛ از آن نمیتوان نتیجه گرفت که \(1\) مستقیماً عضو \(B\) است.
تفاوت «عضو» و «زیرمجموعه» با یک مثال دقیق
فرض کنید:
$$ A=\{1,2,3\} $$
اکنون چهار عبارت زیر را بررسی کنیم:
$$ 1\in A $$ $$ \{1\}\in A $$ $$ \{1\}\subseteq A $$ $$ A\subseteq A $$
عبارت اول درست است، زیرا \(1\) عضو \(A\) است.
عبارت دوم نادرست است، زیرا \(\{1\}\) در فهرست اعضای \(A\) قرار ندارد.
عبارت سوم درست است، زیرا تنها عضو \(\{1\}\)، یعنی \(1\)، عضو \(A\) است.
عبارت چهارم نیز درست است، زیرا هر مجموعه زیرمجموعه خودش است.
این مثال یکی از بهترین راهها برای تثبیت تفاوت میان دو نماد \(\in\) و \(\subseteq\) است.
قضایا و ویژگیهای مهم
قضیه: معیار برابری دو مجموعه
صورت قضیه: دو مجموعه \(A\) و \(B\) برابرند اگر و فقط اگر دقیقاً اعضای یکسانی داشته باشند.
$$ A=B \iff \forall x\,(x\in A\leftrightarrow x\in B) $$
ایده اثبات: اگر \(A=B\) باشد، هر عضو \(A\) همان عضو \(B\) است و برعکس. در جهت دیگر، اگر هر شیء دقیقاً در یکی از دو مجموعه عضو باشد، هیچ تفاوت عضوی میان آنها وجود ندارد؛ بنابراین دو مجموعه برابرند.
نتیجه: ترتیب اعضا در مجموعه اهمیت ندارد
چون برابری مجموعهها بر اساس اعضای آنها تعیین میشود، ترتیب نوشتن اعضا نمیتواند مجموعه جدیدی ایجاد کند:
$$ \{a,b,c\}=\{c,a,b\} $$
نتیجه: تکرار اعضا مجموعه جدیدی ایجاد نمیکند
از آنجا که مجموعه با اعضای متمایز خود مشخص میشود:
$$ \{a,a,b,c\}=\{a,b,c\} $$
ویژگی مجموعه تهی
مجموعه تهی در نظریه مجموعهها منحصر به فرد است؛ یعنی دقیقاً یک مجموعه وجود دارد که هیچ عضوی ندارد.
بنابراین اگر \(A\) و \(B\) هر دو فاقد عضو باشند، آنگاه:
$$ A=B=\varnothing $$
ویژگی مجموعه نسبت به خودش
هر مجموعه زیرمجموعه خودش است:
$$ A\subseteq A $$
این نتیجه مستقیماً از تعریف زیرمجموعه به دست میآید، زیرا هر عضو \(A\)، طبیعتاً عضو \(A\) است.
مثالهای حلشده
مثال ۱: تشخیص اعضای یک مجموعه
مجموعه زیر را در نظر بگیرید:
$$ A=\{x\in\mathbb{Z}\mid -2\leq x\leq3\} $$
اعضای \(A\) را مشخص کنید.
باید تمام اعداد صحیح بین \(-2\) و \(3\)، با احتساب دو سر بازه، انتخاب شوند:
$$ A=\{-2,-1,0,1,2,3\} $$
بنابراین:
$$ |A|=6 $$
مثال ۲: بررسی عضویت
فرض کنید:
$$ B=\{x\in\mathbb{Z}\mid x^2\leq9\} $$
آیا \(3\)، \(-3\) و \(4\) عضو \(B\) هستند؟
برای \(3\):
$$ 3^2=9\leq9 $$
پس:
$$ 3\in B $$
برای \(-3\):
$$ (-3)^2=9\leq9 $$
پس:
$$ -3\in B $$
برای \(4\):
$$ 4^2=16>9 $$
پس:
$$ 4\notin B $$
در نتیجه:
$$ B=\{-3,-2,-1,0,1,2,3\} $$
مثال ۳: تشخیص برابری دو مجموعه
دو مجموعه زیر را در نظر بگیرید:
$$ A=\{1,2,3,4\} $$ $$ B=\{4,2,1,3,3,2\} $$
چون هر دو مجموعه دقیقاً اعضای \(1\)، \(2\)، \(3\) و \(4\) را دارند:
$$ A=B $$
تکرار \(2\) و \(3\) در نمایش \(B\) باعث ایجاد عضو جدید نمیشود.
مثال ۴: تفاوت عضو و زیرمجموعه
فرض کنید:
$$ A=\{\{1,2\},3\} $$
آیا \(\{1,2\}\) عضو \(A\) است؟
بله، زیرا دقیقاً بهعنوان یکی از اعضای \(A\) نوشته شده است:
$$ \{1,2\}\in A $$
آیا \(1\) عضو \(A\) است؟
خیر:
$$ 1\notin A $$
زیرا \(1\) عضو مجموعه \(\{1,2\}\) است، نه عضو مستقیم \(A\).
اما:
$$ 1\in\{1,2\} $$
و همچنین:
$$ \{1,2\}\subseteq\{1,2,3\} $$
در این مثال تفاوت میان «عضویت مستقیم» و «قرارگرفتن بهعنوان عضو یک مجموعه دیگر» کاملاً روشن میشود.
مثال ۵: ساخت مجموعه از یک شرط
مجموعه زیر را در نظر بگیرید:
$$ C=\{x\in\mathbb{N}\mid x<10,\ x\text{ مضرب }3\} $$
اعداد طبیعی کوچکتر از \(10\) که مضرب \(3\) هستند عبارتاند از:
$$ 3,\ 6,\ 9 $$
پس:
$$ C=\{3,6,9\} $$
و در نتیجه:
$$ 3\in C,\qquad 6\in C,\qquad 9\in C $$
اما:
$$ 4\notin C $$
آیا هر گردایهای یک مجموعه است؟
در آموزش ابتدایی معمولاً با مفهوم شهودی مجموعه کار میکنیم و فرض میکنیم هر گردایهای که بتوان اعضای آن را بهطور مشخص تعیین کرد، میتواند یک مجموعه باشد. اما در سطح بنیادی ریاضیات، این نگاه نیازمند دقت بیشتری است.
در نظریه مجموعههای اصلموضوعی، نمیتوان گفت هر ویژگی دلخواهی مجموعهای از تمام اشیای دارای آن ویژگی میسازد. محدودیتهای اصلموضوعی برای جلوگیری از تناقضهایی که در صورت استفاده بیقیدوشرط از این ایده ایجاد میشوند، ضروری هستند.
یکی از نمونههای تاریخی مهم، پارادوکس راسل است. این مسئله نشان داد که تصور ساده «برای هر ویژگی، مجموعه همه اشیایی که آن ویژگی را دارند وجود دارد» به تناقض منجر میشود.
به همین دلیل، نظریه مجموعههای مدرن از نظامهای اصلموضوعی مانند نظریه زرملو–فرنکل استفاده میکند. در این رویکرد، بهجای تعریف آزادانه هر مجموعه ممکن، اصولی مشخص میکنند که چه مجموعههایی میتوانند وجود داشته باشند و چه عملیاتی روی آنها مجاز است.
نقش گئورگ کانتور در شکلگیری نظریه مجموعهها
مفهوم مجموعه پیش از شکلگیری نظریه مدرن مجموعهها در ریاضیات وجود داشت، اما کارهای گئورگ کانتور در اواخر قرن نوزدهم نقش اساسی در تبدیل مطالعه مجموعهها، بهویژه مجموعههای نامتناهی، به یک حوزه مستقل ریاضی داشت.
کانتور نشان داد که میتوان درباره اندازه مجموعههای نامتناهی بهصورت دقیق ریاضی صحبت کرد و میان اندازههای متفاوت مجموعههای نامتناهی تمایز گذاشت. این تحول یکی از پایههای شکلگیری نظریه مجموعهها بهعنوان یکی از شاخههای مهم ریاضیات مدرن بود.
بنابراین مفهوم امروزی مجموعه حاصل یک مرحله تاریخی طولانی است: ابتدا مجموعه بهصورت شهودی برای گردآوری اشیای مشخص استفاده میشد و سپس با توسعه نظریه مجموعهها، این مفهوم وارد چارچوبهای دقیق اصلموضوعی شد.
مفهوم مجموعه در ریاضیات مدرن
در سطح مقدماتی، مجموعه را میتوان مجموعهای از اشیای مشخص دانست؛ اما در سطح بنیادیتر، نظریه مجموعهها بهطور مستقیم به این پرسش نمیپردازد که «مجموعه از نظر ماهوی چیست؟». در عوض، رفتار مجموعهها را با اصول ریاضی توصیف میکند.
در نظریه زرملو–فرنکل، رابطه عضویت نقش محوری دارد و بسیاری از مفاهیم دیگر از طریق همین رابطه تعریف میشوند. برای نمونه، زیرمجموعه را میتوان با استفاده از عضویت تعریف کرد:
$$ A\subseteq B \iff \forall x\,(x\in A\Rightarrow x\in B) $$
این نکته نشان میدهد که چگونه از یک رابطه بنیادی مانند عضویت میتوان مفاهیم پیچیدهتر را ساخت.
کاربردهای مفهوم مجموعه
در ریاضیات
مجموعهها در تعریف ساختارهای عددی، دامنه و برد تابعها، روابط، فضاهای هندسی، ساختارهای جبری و بسیاری از موضوعات دیگر کاربرد دارند.
در ریاضیات گسسته
مجموعهها نقطه شروع بسیاری از مباحث ریاضیات گسسته هستند. روابط، توابع، گرافها، شمارش و احتمال گسسته همگی بهنحوی از زبان مجموعهها استفاده میکنند.
در علوم کامپیوتر
در علوم کامپیوتر، مجموعهها برای مدلسازی دادهها و ساختارهای گسسته اهمیت دارند. دوره دانشگاهی MIT در ریاضیات برای علوم کامپیوتر نیز مجموعهها را در کنار تعریفها، اثباتها، روابط و توابع در بخش مفاهیم بنیادی قرار میدهد.
در احتمال
در نظریه احتمال، فضای نمونه مجموعهای از نتایج ممکن است و رویدادها بهصورت مجموعههایی از آن نتایج تعریف میشوند. بنابراین درک دقیق مفهوم مجموعه برای مطالعه احتمال ضروری است.
اشتباهات رایج
اشتباه اول: تصور اینکه ترتیب اعضا مهم است
نادرست:
$$ \{1,2,3\}\neq\{3,2,1\} $$
درست:
$$ \{1,2,3\}=\{3,2,1\} $$
اشتباه دوم: تصور اینکه تکرار عضو باعث ایجاد عضو جدید میشود
نادرست است که فکر کنیم:
$$ \{1,1,2\} $$
سه عضو دارد. این مجموعه فقط دو عضو متمایز دارد:
$$ \{1,1,2\}=\{1,2\} $$
اشتباه سوم: اشتباه گرفتن \(\in\) و \(\subseteq\)
برای:
$$ A=\{1,2,3\} $$
داریم:
$$ 1\in A $$
و:
$$ \{1\}\subseteq A $$
اما این دو عبارت معنای یکسانی ندارند.
اشتباه چهارم: تصور اینکه مجموعه تهی و مجموعه شامل مجموعه تهی یکی هستند
این دو متفاوتاند:
$$ \varnothing\neq\{\varnothing\} $$
اشتباه پنجم: فرض اینکه هر ویژگی دلخواه یک مجموعه میسازد
در سطح مقدماتی ممکن است چنین برداشتی ایجاد شود، اما در نظریه مجموعههای اصلموضوعی وجود مجموعهها تابع اصول مشخصی است. این محدودیتها برای جلوگیری از پارادوکسهایی مانند پارادوکس راسل ضروریاند.
نکات مهم
- مجموعه با اعضای خود مشخص میشود، نه با ترتیب نوشتن آنها.
- تکرار یک عضو در نمایش فهرستی، عضو جدید ایجاد نمیکند.
- نماد \(\in\) رابطه عضویت را نشان میدهد.
- نماد \(\notin\) نشاندهنده عدم عضویت است.
- عضویت یک شیء در مجموعه با زیرمجموعه بودن دو مجموعه تفاوت دارد.
- یک مجموعه میتواند مجموعههای دیگر را بهعنوان عضو داشته باشد.
- مجموعه تهی هیچ عضوی ندارد و با \(\varnothing\) نمایش داده میشود.
- برای تعیین یک مجموعه میتوان اعضا را مستقیماً فهرست کرد یا ویژگی مشترک آنها را بیان کرد.
- قرارداد مربوط به مجموعه اعداد طبیعی در منابع مختلف ممکن است متفاوت باشد؛ بنابراین باید مشخص شود آیا \(0\) در \(\mathbb{N}\) منظور شده است یا خیر.
- در نظریه مجموعههای مدرن، مجموعهها در یک چارچوب اصلموضوعی مطالعه میشوند و نمیتوان هر گردایه دلخواهی را بدون محدودیت یک مجموعه دانست.
جمعبندی
مجموعه یکی از بنیادیترین مفاهیم زبان ریاضی است. در سادهترین بیان، مجموعه گردایهای از اشیای مشخص است که این اشیا را اعضای آن مجموعه مینامیم. رابطه اصلی میان یک شیء و مجموعه با نماد \(\in\) نمایش داده میشود:
$$ x\in A $$
درک این رابطه پایه بسیاری از مفاهیم بعدی است.
مجموعهها ویژگیهای مشخصی دارند: ترتیب اعضا در آنها اهمیت ندارد، تکرار اعضا اطلاعات جدیدی ایجاد نمیکند و دو مجموعه زمانی برابرند که دقیقاً اعضای یکسانی داشته باشند:
$$ A=B \iff \forall x\,(x\in A\leftrightarrow x\in B) $$
در عین حال، باید میان عضویت و زیرمجموعه بودن تفاوت گذاشت. یک شیء ممکن است عضو یک مجموعه باشد، در حالی که یک مجموعه دیگر میتواند زیرمجموعه همان مجموعه باشد.
در سطح پیشرفتهتر، مفهوم مجموعه از یک تعریف شهودی فراتر میرود و در قالب نظریه مجموعههای اصلموضوعی بررسی میشود. این رویکرد به ریاضیات اجازه میدهد با مفاهیم بنیادی مانند مجموعه و عضویت، ساختارهای بسیار گستردهای ایجاد کند و در عین حال از تناقضهای ناشی از تعریفهای بیش از حد آزاد جلوگیری شود.
به همین دلیل، یادگیری دقیق مفهوم مجموعه فقط برای حل چند مسئله ساده ضروری نیست؛ بلکه پایهای برای مطالعه زیرمجموعهها، عملیات مجموعهای، مجموعههای عددی، روابط، توابع، احتمال، ریاضیات گسسته و بسیاری از مباحث دیگر ریاضی است.
موضوعات مرتبط
منابع
منابع کتابی
- Kenneth H. Rosen, Discrete Mathematics and Its Applications, 8th Edition, McGraw Hill, 2019.
- Eric Lehman, F. Thomson Leighton, Albert R. Meyer, Mathematics for Computer Science, MIT OpenCourseWare / MIT.
- Paul R. Halmos, Naive Set Theory, Springer, 1974.
- Thomas Jech, Set Theory, Springer, 3rd Millennium Edition, revised and expanded, 2003.
- Patrick Suppes, Axiomatic Set Theory, Dover Publications.
منابع وب و دانشگاهی
- Stanford Encyclopedia of Philosophy, Set Theory.
- Stanford Encyclopedia of Philosophy, Basic Set Theory.
- MIT OpenCourseWare, Mathematics for Computer Science, Massachusetts Institute of Technology.
- MacTutor History of Mathematics, The Origins of Set Theory, University of St Andrews.