مقدمه
در نظریه مجموعهها، یکی از مهمترین ویژگیهایی که درباره یک مجموعه بررسی میشود، اندازه یا تعداد اعضای آن است. برای مجموعههایی مانند مجموعه روزهای هفته، شمارش اعضا ساده است؛ اما وقتی با مجموعههایی مانند اعداد طبیعی یا اعداد حقیقی روبهرو میشویم، مفهوم «تعداد» شکل عمیقتری پیدا میکند.
مجموعهای مانند \( A=\{2,4,6,8\} \) دقیقاً چهار عضو دارد و بنابراین متناهی است. در مقابل، مجموعه اعداد طبیعی
$$ \mathbb{N}=\{1,2,3,\ldots\} $$
نامتناهی است؛ زیرا هیچ عضو پایانی ندارد.
نکته مهم این است که در ریاضیات، همه مجموعههای نامتناهی الزاماً اندازه یکسانی ندارند. برای مثال، اعداد طبیعی و اعداد حقیقی هر دو نامتناهیاند، اما میان اندازه آنها تفاوت بنیادی وجود دارد. مطالعه همین تفاوت، ما را به مفاهیمی مانند کاردینالیتی، مجموعههای شمارا و مجموعههای ناشمارا میرساند.
پیشنیازها
برای درک مجموعههای متناهی و نامتناهی، آشنایی مقدماتی ��ا مفهوم مجموعه، عضو مجموعه، زیرمجموعه و تابع کافی است.
بهویژه مفهوم تابع یکبهیک و تابع دوسویی اهمیت دارد؛ زیرا در ریاضیات، اندازه دو مجموعه فقط با شمارش مستقیم اعضا مقایسه نمیشود، بلکه میتوان اعضای دو مجموعه را از طریق یک تناظر یکبهیک با یکدیگر مقایسه کرد.
اگر تابعی مانند \( f:A\rightarrow B \) هم یکبهیک و هم پوشا باشد، به آن تابع دوسویی یا بایجکشن گفته میشود. وجود چنین تابعی میان دو مجموعه نشان میدهد که آن دو مجموعه از نظر تعداد اعضا همکاردینال یا هماندازه هستند.
تعریف دقیق مجموعه متناهی
مجموعه \(A\) را متناهی مینامیم اگر تهی باشد یا عدد طبیعی مثبتی مانند \(n\) وجود داشته باشد بهطوریکه بتوان میان \(A\) و مجموعه \( \{1,2,\ldots,n\} \) یک تناظر یکبهیک برقرار کرد.
به بیان رسمی، اگر \(A\neq\varnothing\)، مجموعه \(A\) متناهی است هرگاه عدد طبیعی مثبتی \(n\) وجود داشته باشد بهطوریکه:
$$ A\sim\{1,2,\ldots,n\} $$
در این حالت مینویسیم:
$$ |A|=n $$
نماد \( |A| \) تعداد اعضای مجموعه \(A\)، یا کاردینالیتی آن، را نشان میدهد.
مجموعه تهی نیز متناهی است و کاردینالیتی آن برابر صفر است:
$$ |\varnothing|=0 $$
تعریف دقیق مجموعه نامتناهی
مجموعهای که متناهی نباشد، نامتناهی نامیده میشود. بنابراین تعریف مجموعه نامتناهی بهصورت مستقیم بر مفهوم متناهی بودن تکیه دارد:
$$ A\text{ نامتناهی است} \iff A\text{ متناهی نیست} $$
مجموعه اعداد طبیعی نمونهای بنیادی از یک مجموعه نامتناهی است:
$$ \mathbb{N}=\{1,2,3,\ldots\} $$
این مجموعه عضو پایانی ندارد و برای هر عدد طبیعی \(n\)، عدد طبیعی بزرگتری مانند \(n+1\) نیز وجود دارد.
تفاوت مجموعه متناهی و نامتناهی
تفاوت اصلی این دو نوع مجموعه در این است که برای مجموعه متناهی میتوان تعداد اعضا را با یک عدد صحیح نامنفی مشخص کرد، در حالی که چنین عددی برای تعداد کل اعضای یک مجموعه نامتناهی وجود ندارد.
- در مجموعه متناهی، تعداد اعضا یک عدد صحیح نامنفی مشخص است.
- در مجموعه نامتناهی، هیچ عدد صحیح نامنفی مشخصی تعداد همه اعضای مجموعه را نشان نمیدهد.
- هر مجموعه متناهی دارای کاردینالیتی متناهی است.
- مجموعههای نامتناهی ممکن است کاردینالیتیهای متفاوتی داشته باشند.
برای مثال:
$$ A=\{1,2,3,4,5\} $$
دارای پنج عضو است و بنابراین:
$$ |A|=5 $$
اما مجموعه اعداد طبیعی نامتناهی است و نمیتوان یک عدد صحیح نامنفی مشخص را بهعنوان تعداد کل اعضای آن معرفی کرد.
کاردینالیتی مجموعه
کاردینالیتی یا عدد اصلی یک مجموعه، مفهومی برای بیان اندازه آن مجموعه است. برای مجموعههای متناهی، کاردینالیتی همان تعداد اعضای مجموعه است.
اگر \(A=\{a,b,c,d\}\) باشد، داریم:
$$ |A|=4 $$
اما در مجموعههای نامتناهی، تعریف اندازه دیگر صرفاً به شمارش مستقیم اعضا وابسته نیست. در اینجا از تناظر یکبهیک میان مجموعهها استفاده میشود.
دو مجموعه \(A\) و \(B\) را هماندازه یا همکاردینال مینامیم اگر تابع دوسویی از \(A\) به \(B\) وجود داشته باشد:
$$ |A|=|B| \iff \exists f:A\rightarrow B \quad f\text{ دوسویی باشد} $$
این تعریف در مورد مجموعههای نامتناهی نتایج جالبی ایجاد میکند.
آیا یک مجموعه نامتناهی میتواند با زیرمجموعه حقیقی خودش هماندازه باشد؟
یکی از ویژگیهای شگفتانگیز مجموعههای نامتناهی این است که یک مجموعه نامتناهی میتواند با زیرمجموعه حقیقی خودش تناظر یکبهیک داشته باشد.
برای مثال، مجموعه اعداد طبیعی مثبت را در نظر بگیرید:
$$ \mathbb{N}=\{1,2,3,\ldots\} $$
مجموعه اعداد زوج مثبت را نیز در نظر بگیرید:
$$ E=\{2,4,6,\ldots\} $$
تابع \(f:\mathbb{N}\rightarrow E\) را به شکل زیر تعریف میکنیم:
$$ f(n)=2n $$
این تابع یک تناظر یکبهیک است؛ زیرا هر عدد زوج مثبت دقیقاً به صورت \(2n\) برای یک \(n\in\mathbb{N}\) نوشته میشود. بنابراین:
$$ |\mathbb{N}|=|E| $$
با وجود این، \(E\) زیرمجموعه حقیقی \(\mathbb{N}\) است:
$$ E\subsetneq\mathbb{N} $$
این رفتار با شهود معمول درباره مجموعههای متناهی متفاوت است؛ زیرا یک مجموعه متناهی نمیتواند با زیرمجموعه حقیقی خودش هماندازه باشد.
این ویژگی یکی از نشانههای مهم ساختار مجموعههای نامتناهی است.
مجموعههای شمارای نامتناهی
همه مجموعههای نامتناهی از یک نوع نیستند. یکی از مهمترین انواع آنها، مجموعههای شمارای نامتناهی هستند.
یک مجموعه نامتناهی را شمارای نامتناهی مینامیم اگر بتوان میان اعضای آن و اعداد طبیعی یک تناظر یکبهیک برقرار کرد.
بهصورت رسمی، مجموعه نامتناهی \(A\) شمارای نامتناهی است اگر تابع دوسویی زیر وجود داشته باشد:
$$ f:\mathbb{N}\rightarrow A $$
کاردینالیتی مجموعههای شمارای نامتناهی را معمولاً با نماد \( \aleph_0 \) نشان میدهند:
$$ |A|=\aleph_0 $$
مجموعه اعداد طبیعی خود نمونه اصلی چنین مجموعهای است.
نکته: در برخی منابع، واژه «شمارا» به معنای «متناهی یا شمارای نامتناهی» نیز به کار میرود. در این مطلب، برای جلوگیری از ابهام، از عبارت «شمارای نامتناهی» برای مجموعههایی با کاردینالیتی \( \aleph_0 \) استفاده میکنیم.
مثال: مجموعه اعداد زوج
مجموعه اعداد زوج مثبت را در نظر بگیرید:
$$ E=\{2,4,6,8,\ldots\} $$
تابع \(f(n)=2n\) یک تناظر یکبهیک میان \(\mathbb{N}\) و \(E\) برقرار میکند. بنابراین مجموعه اعداد زوج مثبت، با وجود آنکه فقط بخشی از اعداد طبیعی را تشکیل میدهد، شمارای نامتناهی است:
$$ |E|=\aleph_0 $$
مثال: مجموعه اعداد صحیح
مجموعه اعداد صحیح را بهصورت زیر در نظر بگیرید:
$$ \mathbb{Z}=\{\ldots,-2,-1,0,1,2,\ldots\} $$
این مجموعه نیز شمارای نامتناهی است. برای مشاهده ایده این موضوع، میتوان اعضای آن را در قالب یک فهرست مرتب کرد:
$$ 0,1,-1,2,-2,3,-3,\ldots $$
برای نمونه، میتوان تابعی مانند تابع زیر تعریف کرد:
$$ f(n)= \begin{cases} \dfrac{n+1}{2} & n \text{ فرد باشد},\\[6pt] -\dfrac{n}{2} & n \text{ زوج باشد}. \end{cases} $$
با این تناظر میتوان همه اعداد صحیح را در قالب فهرستی با شمارههای طبیعی قرار داد. در نتیجه:
$$ |\mathbb{Z}|=\aleph_0 $$
مثال: مجموعه اعداد گویا
مجموعه اعداد گویا به شکل زیر تعریف میشود:
$$ \mathbb{Q} = \left\{ \frac{p}{q} \mid p,q\in\mathbb{Z},\ q\neq0 \right\} $$
با وجود اینکه بین هر دو عدد حقیقی متمایز، بینهایت عدد گویا وجود دارد، مجموعه اعداد گویا همچنان شمارای نامتناهی است. دلیل اصلی این است که میتوان کسرها را بهصورت نظاممند فهرست کرد و کسرهای تکراری مانند \( \frac{2}{2} \) و \( \frac{1}{1} \) را در نظر نگرفت.
در نتیجه:
$$ |\mathbb{Q}|=\aleph_0 $$
این مثال نشان میدهد که «تراکم» یک مجموعه روی محور اعداد، بهتنهایی تعیینکننده کاردینالیتی آن نیست.
مجموعههای ناشمارا
در مقابل مجموعههای شمارای نامتناهی، مجموعههایی وجود دارند که نمیتوان اعضای آنها را با اعداد طبیعی در یک تناظر یکبهیک قرار داد. این مجموعهها ناشمارا نامیده میشوند.
مجموعه اعداد حقیقی \( \mathbb{R} \) نمونه بنیادی یک مجموعه ناشماراست.
به بیان رسمی، مجموعه نامتناهی \(A\) ناشمارا است اگر هیچ تابع دوسویی از \(\mathbb{N}\) به \(A\) وجود نداشته باشد.
بنابراین:
$$ |\mathbb{N}|<|\mathbb{R}| $$
این نتیجه نشان میدهد که دو مجموعه نامتناهی میتوانند اندازههای متفاوتی داشته باشند.
قضیه کانتور و ناشمارایی اعداد حقیقی
یکی از مشهورترین نتایج نظریه مجموعهها، اثبات ناشمارا بودن مجموعه اعداد حقیقی است. ایده اصلی این نتیجه با استدلال قطری کانتور شناخته میشود.
فرض کنیم، برخلاف واقع، بتوان همه اعداد حقیقی بازه \( (0,1) \) را در یک فهرست قرار داد:
$$ r_1,r_2,r_3,\ldots $$
هر یک از این اعداد را میتوان با نمایش اعشاری آن نوشت. اکنون عددی جدید میسازیم که رقم اعشاری آن در جایگاه \(n\) با رقم \(n\)-ام عدد \(r_n\) متفاوت باشد.
برای مثال، میتوان رقم \(n\)-ام عدد جدید را طوری انتخاب کرد که اگر رقم \(n\)-ام \(r_n\) برابر ۱ بود، رقم جدید ۲ باشد و در غیر این صورت رقم جدید ۱ باشد. در نتیجه عدد جدید در رقم اول با \(r_1\)، در رقم دوم با \(r_2\)، در رقم سوم با \(r_3\) و به همین ترتیب متفاوت خواهد بود.
بنابراین عدد ساختهشده نمیتواند با هیچیک از اعضای فهرست یکسان باشد؛ زیرا در رقم \(n\)-ام با \(r_n\) تفاوت دارد. پس فهرست اولیه نمیتواند همه اعداد بازه \( (0,1) \) را دربر گرفته باشد.
در نتیجه:
$$ (0,1) \text{ ناشماراست} $$
از آنجا که \( (0,1)\subseteq\mathbb{R} \) و بازه \( (0,1) \) با مجموعه اعداد حقیقی همکاردینال است، نتیجه میگیریم که مجموعه اعداد حقیقی نیز ناشماراست.
تفاوت شمارا و ناشمارا
| ویژگی |
شمارای نامتناهی |
ناشمارا |
| نامتناهی است؟ |
بله |
بله |
| قابل تناظر یکبهیک با \( \mathbb{N} \) است؟ |
بله |
خیر |
| کاردینالیتی |
\( \aleph_0 \) |
بزرگتر از \( \aleph_0 \) |
| نمونه |
\( \mathbb{N},\mathbb{Z},\mathbb{Q} \) |
\( \mathbb{R} \) |
قضایا و ویژگیهای مهم
قضیه ۱: زیرمجموعه یک مجموعه متناهی، متناهی است
اگر \(A\) مجموعهای متناهی باشد و \(B\subseteq A\) باشد، آنگاه \(B\) نیز متناهی است.
ایده اثبات: اگر \(A\) دارای \(n\) عضو باشد، هیچ زیرمجموعهای از آن نمیتواند بیش از \(n\) عضو داشته باشد. در نتیجه \(B\) نیز تعداد محدودی عضو دارد.
قضیه ۲: اجتماع دو مجموعه متناهی، متناهی است
اگر \(A\) و \(B\) متناهی باشند، آنگاه مجموعه
$$ A\cup B $$
نیز متناهی است.
علاوه بر این، تعداد اعضای اجتماع از رابطه زیر پیروی میکند:
$$ |A\cup B| = |A|+|B|-|A\cap B| $$
این رابطه نشان میدهد که اعضای مشترک دو مجموعه نباید دوبار شمرده شوند.
قضیه ۳: مجموعهای که شامل یک زیرمجموعه نامتناهی است، نامتناهی است
اگر \(B\subseteq A\) و \(B\) نامتناهی باشد، آنگاه \(A\) نیز نامتناهی است.
زیرا اگر \(A\) متناهی بود، هر زیرمجموعه آن نیز متناهی میشد؛ بنابراین نامتناهی بودن \(B\) با متناهی بودن \(A\) تناقض داشت.
قضیه ۴: یک مجموعه نامتناهی میتواند با زیرمجموعه حقیقی خود هماندازه باشد
همانطور که در مثال اعداد طبیعی و زوجها دیدیم، برای یک مجموعه نامتناهی ممکن است:
$$ B\subsetneq A \quad\text{و}\quad |A|=|B| $$
این ویژگی برای مجموعههای متناهی امکانپذیر نیست.
قضیه ۵: مجموعه توانی از مجموعه اصلی بزرگتر است
برای هر مجموعه \(A\)، مجموعه توانی آن که با \( \mathcal{P}(A) \) نشان داده میشود، کاردینالیتی بزرگتری از \(A\) دارد:
$$ |A|<|\mathcal{P}(A)| $$
این نتیجه به قضیه کانتور معروف است و یکی از دلایل مهم وجود اندازههای متفاوت برای بینهایتهاست. مجموعه توانی \(A\) شامل همه زیرمجموعههای \(A\) است و قضیه کانتور نشان میدهد که هیچ تابع پوشایی از \(A\) به \( \mathcal{P}(A) \) وجود ندارد.
فرمولها و روابط مهم
مهمترین روابط مرتبط با این موضوع عبارتاند از:
$$ |\varnothing|=0 $$
$$ |A|=n \quad \text{برای یک مجموعه متناهی با }n\text{ عضو} $$
$$ |\mathbb{N}|=\aleph_0 $$
$$ |\mathbb{Z}|=\aleph_0 $$
$$ |\mathbb{Q}|=\aleph_0 $$
$$ |\mathbb{N}|<|\mathbb{R}| $$
$$ |A|<|\mathcal{P}(A)| $$
در مجموعههای متناهی نیز اگر دو مجموعه \(A\) و \(B\) متناهی باشند، رابطه اجتماع آنها بهصورت زیر است:
$$ |A\cup B| = |A|+|B|-|A\cap B| $$
مثالهای حلشده
مثال ۱: تعیین متناهی یا نامتناهی بودن یک مجموعه
مجموعه زیر را بررسی کنید:
$$ A=\{3,6,9,12,15\} $$
اعضای مجموعه را میتوان مستقیماً شمرد. این مجموعه پنج عضو دارد، بنابراین:
$$ |A|=5 $$
پس \(A\) متناهی است.
مثال ۲: مجموعه اعداد طبیعی
مجموعه \( \mathbb{N} \) را در نظر بگیرید:
$$ \mathbb{N}=\{1,2,3,\ldots\} $$
این مجموعه متناهی نیست؛ زیرا برای هر عضو \(n\)، عضو بزرگتر \(n+1\) نیز وجود دارد. بنابراین \(\mathbb{N}\) نامتناهی است.
مثال ۳: آیا مجموعه اعداد زوج متناهی است؟
مجموعه
$$ E=\{2,4,6,8,\ldots\} $$
نامتناهی است. علاوه بر این، تابع \(f(n)=2n\) یک تناظر یکبهیک میان \(\mathbb{N}\) و \(E\) برقرار میکند. بنابراین \(E\) شمارای نامتناهی است.
مثال ۴: آیا اعداد صحیح شمارا هستند؟
میتوان اعداد صحیح را به شکل زیر فهرست کرد:
$$ 0,1,-1,2,-2,3,-3,\ldots $$
از آنجا که این فهرست میتواند بهصورت نظاممند با اعداد طبیعی متناظر شود، مجموعه اعداد صحیح شمارای نامتناهی است:
$$ |\mathbb{Z}|=\aleph_0 $$
مثال ۵: چرا «نامتناهی» به معنای «هماندازه» نیست؟
مجموعههای \( \mathbb{N} \) و \( \mathbb{R} \) هر دو نامتناهی هستند، اما:
$$ |\mathbb{N}|<|\mathbb{R}| $$
بنابراین نمیتوان گفت همه مجموعههای نامتناهی از نظر اندازه یکساناند.
مجموعههای متناهی در مقابل مجموعههای نامتناهی
| ویژگی |
متناهی |
نامتناهی |
| تعداد اعضا |
یک عدد صحیح نامنفی مشخص |
با یک عدد صحیح نامنفی مشخص قابل بیان نیست |
| کاردینالیتی |
یک عدد صحیح نامنفی |
یک کاردینال نامتناهی |
| هماندازه با زیرمجموعه حقیقی خودش |
خیر |
ممکن است |
| نمونه |
\(\{1,2,3\}\) |
\(\mathbb{N}\) |
کاربردها
مفهوم مجموعههای متناهی و نامتناهی فقط یک موضوع مقدماتی در نظریه مجموعهها نیست، بلکه در بخشهای مختلف ریاضیات و علوم کامپیوتر کاربرد دارد.
نظریه مجموعهها
بخش بزرگی از نظریه مجموعهها بر مطالعه اندازه مجموعهها، تناظر میان مجموعهها و مقایسه کاردینالیتی آنها استوار است.
ریاضیات گسسته
در ریاضیات گسسته، مجموعههای متناهی برای شمارش، ترکیبیات، روابط و ساختارهای گرافی اهمیت زیادی دارند. مفاهیم مجموعه، تابع، رابطه و شمارش از مباحث پایه این حوزه محسوب میشوند.
آنالیز حقیقی
تفاوت میان مجموعههای شمارا و ناشمارا در مطالعه اعداد حقیقی، دنبالهها، توابع و ساختار مجموعه اعداد حقیقی نقش بنیادی دارد.
علوم کامپیوتر
بسیاری از مسائل علوم کامپیوتر بر ساختارهای متناهی بنا شدهاند؛ از مجموعه حالتهای یک ماشین متناهی گرفته تا گرافها، الگوریتمها و فضاهای جستوجو. در مباحث نظری علوم کامپیوتر نیز مفاهیم شمارایی و کاردینالیتی برای بررسی اندازه فضاهای مختلف اهمیت دارند.
اشتباهات رایج
اشتباه اول: هر مجموعه نامتناهی را شمارا دانستن
نامتناهی بودن بهتنهایی به معنای شمارا بودن نیست. مجموعه اعداد حقیقی نامتناهی اما ناشماراست.
اشتباه دوم: تصور اینکه زیرمجموعه همیشه کوچکتر است
در مجموعههای متناهی، زیرمجموعه حقیقی اندازه کوچکتری دارد؛ اما برای مجموعههای نامتناهی ممکن است:
$$ B\subsetneq A \quad\text{و}\quad |B|=|A| $$
مانند رابطه میان \( \mathbb{N} \) و مجموعه اعداد زوج.
اشتباه سوم: اشتباه گرفتن «بینهایت» با یک عدد
بینهایت در این بحث یک عدد طبیعی بسیار بزرگ نیست. وقتی میگوییم یک مجموعه نامتناهی است، منظور این نیست که تعداد اعضای آن برابر یک عدد فوقالعاده بزرگ است؛ بلکه هیچ عدد صحیح نامنفی مشخصی تعداد همه اعضای آن را تعیین نمیکند.
اشتباه چهارم: تصور اینکه بین دو عدد حقیقی فقط تعداد محدودی عدد وجود دارد
بین هر دو عدد حقیقی متمایز، بینهایت عدد حقیقی وجود دارد. با این حال، مجموعه اعداد حقیقی نهتنها نامتناهی، بلکه ناشماراست.
اشتباه پنجم: یکی دانستن اعداد گویا و حقیقی از نظر کاردینالیتی
مجموعه اعداد گویا شمارای نامتناهی است، اما مجموعه اعداد حقیقی ناشماراست. بنابراین:
$$ |\mathbb{Q}|=\aleph_0 \quad\text{ولی}\quad |\mathbb{R}|>\aleph_0 $$
نکات مهم
- هر مجموعه متناهی کاردینالیتی مشخص و متناهی دارد.
- مجموعه نامتناهی مجموعهای است که متناهی نیست.
- اعداد طبیعی، صحیح و گویا نمونههایی از مجموعههای شمارای نامتناهی هستند.
- اعداد حقیقی نمونهای از یک مجموعه ناشمارا هستند.
- برای مقایسه اندازه مجموعههای نامتناهی، شمارش مستقیم کافی نیست و از تناظر یکبهیک استفاده میشود.
- ممکن است یک مجموعه نامتناهی با زیرمجموعه حقیقی خودش هماندازه باشد.
- قضیه کانتور نشان میدهد که مجموعه توانی هر مجموعه از خود آن مجموعه کاردینالیتی بزرگتری دارد.
- بنابراین در ریاضیات بیش از یک اندازه برای بینهایت وجود دارد.
جمعبندی
مجموعه متناهی مجموعهای است که بتوان تعداد اعضای آن را با یک عدد صحیح نامنفی مشخص کرد؛ در حالی که مجموعه نامتناهی چنین تعداد متناهی مشخصی ندارد. برای مجموعههای متناهی، کاردینالیتی همان تعداد اعضاست، اما برای مجموعههای نامتناهی مفهوم کاردینالیتی با استفاده از تناظرهای یکبهیک تعریف و مقایسه میشود.
مجموعه اعداد طبیعی نمونهای از یک مجموعه شمارای نامتناهی است. مجموعههای اعداد صحیح و گویا نیز شمارای نامتناهی هستند، زیرا میتوان اعضای آنها را در قالب فهرستی متناظر با اعداد طبیعی قرار داد.
در مقابل، مجموعه اعداد حقیقی ناشماراست. بنابراین دو مجموعه نامتناهی میتوانند اندازههای متفاوتی داشته باشند:
$$ |\mathbb{N}|<|\mathbb{R}| $$
این تمایز، یکی از مهمترین ایدههای نظریه مجموعهها و مبنایی برای مطالعه عمیقتر کاردینالیتی، مجموعههای شمارا و ناشمارا و نظریه مجموعههای نامتناهی است.
موضوعات مرتبط
منابع
منابع کتابی
- Michael Spivak, Calculus, 4th Edition, Publish or Perish. این کتاب از منابع شناختهشده آموزش مبانی آنالیز و حساب دیفرانسیل و انتگرال است و در برخی بخشها به مفاهیم مقدماتی مرتبط با نظریه مجموعهها میپردازد.
- Ralph P. Grimaldi, Discrete and Combinatorial Mathematics: An Applied Introduction, 5th Edition, Pearson. این کتاب از منابع شناختهشده در زمینه ریاضیات گسسته و ترکیبیات است و مباحثی مانند مجموعهها، توابع، روابط و شمارش را پوشش میدهد.
- Kenneth H. Rosen, Discrete Mathematics and Its Applications. این کتاب یکی از منابع شناختهشده آموزش ریاضیات گسسته و مباحث مجموعهها، روابط، توابع، شمارش و ساختارهای گسسته است.
منابع وب
- MIT OpenCourseWare، Basic Analysis I، Massachusetts Institute of Technology. این منبع دانشگاهی مباحث مرتبط با مجموعهها، کاردینالیتی، مجموعههای شمارا و ناشمارا و نمونههایی مانند \( \mathbb{N} \)، \( \mathbb{Z} \)، \( \mathbb{Q} \) و \( \mathbb{R} \) را بررسی میکند.
مشاهده منبع در MIT OpenCourseWare
- OpenStax، Contemporary Mathematics – Basic Set Concepts. این منبع آموزشی مفاهیم پایه مجموعهها، کاردینالیتی مجموعههای متناهی و مفهوم \( \aleph_0 \) برای مجموعههای شمارای نامتناهی را توضیح میدهد.
مشاهده منبع در OpenStax
- Mathematics LibreTexts، Finite Sets. این منبع تعریف رسمی مجموعه متناهی را بر اساس تناظر با مجموعههای \( \{1,2,\ldots,n\} \) و تعریف کاردینالیتی ارائه میکند.
مشاهده منبع در Mathematics LibreTexts
- Mathematics LibreTexts، Countable and Uncountable Sets. این منبع تعریف مجموعههای شمارا و ناشمارا و استدلال قطری کانتور برای اثبات ناشمارایی اعداد حقیقی را بررسی میکند.
مشاهده منبع در Mathematics LibreTexts
- دفتر انتشارات و فناوری آموزشی، «مجموعههای متناهی، نامتناهی، شمارا و ناشمارا». این منبع فارسی به تعریف مجموعههای متناهی و نامتناهی و برخی ویژگیهای مجموعههای شمارا و ناشمارا میپردازد.
مشاهده منبع فارسی
تاریخ بررسی منابع: ۱۳ اوت ۲۰۲۶