مقدمه

در نظریه مجموعه‌ها، گاهی با مجموعه‌ای روبه‌رو می‌شویم که هیچ عضوی ندارد. چنین مجموعه‌ای را مجموعه تهی می‌نامیم. در نگاه نخست ممکن است «مجموعه‌ای که هیچ چیزی در آن نیست» مفهومی ساده یا حتی بی‌اهمیت به نظر برسد، اما مجموعه تهی یکی از عناصر بنیادی زبان ریاضی است و در بسیاری از تعریف‌ها و استدلال‌های ریاضی حضور دارد.

برای مثال، اگر بخواهیم مجموعه اعداد حقیقی‌ای را در نظر بگیریم که هم‌زمان بزرگ‌تر از \(5\) و کوچک‌تر از \(3\) باشند، هیچ عددی چنین شرطی را برآورده نمی‌کند. بنابراین مجموعه جواب این مسئله مجموعه تهی است:

در منابع آموزشی دانشگاهی نیز مجموعه تهی به‌عنوان مجموعه‌ای بدون عضو تعریف می‌شود و نماد استاندارد \( \emptyset \) برای آن به کار می‌رود. LibreTexts و یادداشت‌های درس ریاضیات برای علوم کامپیوتر MIT نیز همین مفهوم و نمادگذاری را ارائه می‌کنند.

پیش‌نیازها

برای درک مجموعه تهی، آشنایی مقدماتی با مفهوم مجموعه و عضو کافی است. اگر \(A\) یک مجموعه و \(x\) یکی از اعضای آن باشد، رابطه عضویت را به صورت \(x \in A\) می‌نویسیم. اگر \(x\) عضو \(A\) نباشد، می‌نویسیم \(x \notin A\).

برای مثال، اگر

\( A = \{1,2,3\} \)

آنگاه \(2 \in A\)، اما \(5 \notin A\).

این مفهوم عضویت برای فهم تعریف دقیق مجموعه تهی ضروری است؛ زیرا مجموعه تهی مجموعه‌ای است که هیچ شیئی در آن رابطه عضویت برقرار نمی‌کند.

تعریف دقیق مجموعه تهی

تعریف رسمی

مجموعه‌ای که هیچ عضوی ندارد، مجموعه تهی نامیده می‌شود. مجموعه تهی را معمولاً با نماد \( \emptyset \) نشان می‌دهند.

به زبان نمادین می‌توان این ویژگی را چنین بیان کرد:

$$ \forall x\;(x \notin \emptyset) $$

یعنی برای هر شیء \(x\)، این گزاره برقرار است که \(x\) عضو مجموعه تهی نیست.

یک روش دیگر برای نمایش همین مفهوم استفاده از تعریف مجموعه به کمک یک شرط است. برای مثال:

$$ A=\{x\in\mathbb{R}\mid x>2 \land x<1\} $$

هیچ عدد حقیقی نمی‌تواند هم‌زمان بزرگ‌تر از \(2\) و کوچک‌تر از \(1\) باشد؛ بنابراین:

$$ A=\emptyset $$

تعریف مجموعه تهی در منابع آموزشی دانشگاهی نیز دقیقاً بر نبودن هرگونه عضو استوار است. Mathematics LibreTexts مجموعه تهی را مجموعه‌ای تعریف می‌کند که هیچ عضوی ندارد و تأکید می‌کند که گزاره «\(x\) عضوی از مجموعه تهی است» برای هر \(x\) نادرست است.

توضیح شهودی

می‌توان مجموعه را مانند یک ظرف در نظر گرفت که اعضای مجموعه در آن قرار دارند. در مجموعه‌های معمولی، این ظرف دست‌کم یک عضو دارد؛ اما در مجموعه تهی هیچ عضوی در آن وجود ندارد.

نکته مهم این است که مجموعه تهی همچنان یک مجموعه است. «تهی بودن» به این معنا نیست که چنین مجموعه‌ای وجود ندارد؛ بلکه به این معناست که تعداد اعضای آن صفر است.

نماد مجموعه تهی

دو نمایش رایج برای مجموعه تهی عبارت‌اند از:

\( \emptyset \)

و

\( \{\} \)

این دو نماد یک مجموعه را نشان می‌دهند:

$$ \emptyset=\{\} $$

نماد \( \emptyset \) در منابع دانشگاهی و متون استاندارد ریاضی بسیار رایج است. در یادداشت‌های درس MIT نیز همین نماد برای مجموعه بدون عضو استفاده شده است. منبع MIT

مجموعه تهی و عدد صفر چه تفاوتی دارند؟

یکی از رایج‌ترین اشتباه‌ها، یکی دانستن مجموعه تهی و عدد صفر است. این دو مفهوم یکسان نیستند.

عدد صفر یک عدد است، در حالی که مجموعه تهی یک مجموعه است.

برای نمونه:

$$ 0\neq\emptyset $$

همچنین مجموعه‌ای که تنها عضو آن صفر است با مجموعه تهی تفاوت دارد:

$$ \{0\}\neq\emptyset $$

مجموعه \( \{0\} \) دقیقاً یک عضو دارد؛ آن عضو عدد \(0\) است. بنابراین:

$$ |\{0\}|=1 $$

اما مجموعه تهی هیچ عضوی ندارد و:

$$ |\emptyset|=0 $$

یادداشت‌های دانشگاه MIT نیز به‌صراحت بر تفاوت مجموعه تهی با صفر تأکید می‌کنند: صفر تعداد اعضای مجموعه تهی را مشخص می‌کند، اما خود مجموعه تهی عدد صفر نیست. MIT OpenCourseWare

تفاوت \( \emptyset \) و \( \{\emptyset\} \)

این تفاوت اهمیت زیادی دارد و یکی از اشتباهات رایج در یادگیری مجموعه‌هاست.

مجموعه \( \emptyset \) هیچ عضوی ندارد، اما مجموعه \( \{\emptyset\} \) دقیقاً یک عضو دارد و آن عضو خود مجموعه تهی است.

بنابراین:

$$ |\emptyset|=0 $$

اما:

$$ |\{\emptyset\}|=1 $$

به عبارت دیگر:

• \( \emptyset \): هیچ عضوی ندارد.
• \( \{\emptyset\} \): یک عضو دارد و آن عضو، مجموعه تهی است.

در نتیجه:

$$ \emptyset\neq\{\emptyset\} $$

مجموعه تهی و زیرمجموعه‌ها

یکی از مهم‌ترین ویژگی‌های مجموعه تهی این است که مجموعه تهی زیرمجموعه هر مجموعه‌ای است.

برای هر مجموعه \(A\) داریم:

$$ \emptyset\subseteq A $$

دلیل این نتیجه از تعریف زیرمجموعه به دست می‌آید. مجموعه \(B\) زیرمجموعه \(A\) است اگر هر عضو \(B\) عضو \(A\) نیز باشد:

$$ B\subseteq A \iff \forall x\;(x\in B\Rightarrow x\in A) $$

برای \(B=\emptyset\)، هیچ عضوی وجود ندارد که بتواند شرط را نقض کند. بنابراین:

$$ \emptyset\subseteq A $$

این ویژگی در منابع دانشگاهی مختلف نیز به‌عنوان یکی از خواص پایه مجموعه تهی ذکر شده است؛ از جمله در OpenStax و MIT OpenCourseWare.

آیا مجموعه تهی زیرمجموعه خودش است؟

بله. هر مجموعه زیرمجموعه خودش است، بنابراین:

$$ \emptyset\subseteq\emptyset $$

اما اگر از نماد زیرمجموعه سره استفاده کنیم، وضعیت متفاوت است. زیرمجموعه سره باید با مجموعه اصلی یکسان نباشد. بنابراین مجموعه تهی زیرمجموعه سره خودش نیست.

$$ \emptyset\not\subset\emptyset $$

توجه داشته باشید که در برخی منابع برای زیرمجموعه و زیرمجموعه سره از نمادگذاری‌های متفاوتی استفاده می‌شود؛ بنابراین هنگام مطالعه یک کتاب، تعریف نمادهای همان منبع را بررسی کنید.

چرا مجموعه تهی زیرمجموعه هر مجموعه است؟

برای فهم دقیق این موضوع، فرض کنید بخواهیم نشان دهیم:

$$ \emptyset\subseteq A $$

طبق تعریف باید نشان دهیم هر عضو مجموعه تهی در \(A\) نیز قرار دارد. اما مسئله اینجاست که مجموعه تهی اصلاً عضوی ندارد.

پس هیچ عضوی از مجموعه تهی وجود ندارد که بتواند شرط زیرمجموعه بودن را نقض کند.

این نوع استدلال در منطق ریاضی با مفهوم درستی تهی یا صدق تهی ارتباط دارد. به همین دلیل، از یک گزاره کلی درباره همه اعضای مجموعه تهی می‌توان بدون پیدا کردن هیچ عضو مشخصی نتیجه گرفت که گزاره برقرار است.

قضایا و ویژگی‌های مهم

قضیه ۱: مجموعه تهی زیرمجموعه هر مجموعه است

صورت قضیه:

برای هر مجموعه \(A\):

$$ \emptyset\subseteq A $$

ایده اثبات:

از تعریف زیرمجموعه داریم:

$$ \emptyset\subseteq A \iff \forall x\;(x\in\emptyset\Rightarrow x\in A) $$

چون هیچ \(x\)ای وجود ندارد که \(x\in\emptyset\) باشد، گزاره فوق برقرار است.

قضیه ۲: مجموعه تهی تنها یک مجموعه مشخص است

در نظریه مجموعه‌ها، دو مجموعه زمانی برابرند که دقیقاً اعضای یکسانی داشته باشند. اگر \(A\) و \(B\) هر دو هیچ عضوی نداشته باشند، هر دو همان مجموعه تهی هستند.

بنابراین اگر:

$$ \forall x\;(x\notin A) $$

و

$$ \forall x\;(x\notin B) $$

آنگاه:

$$ A=B=\emptyset $$

این نتیجه با اصل تعیین مجموعه از طریق اعضای آن سازگار است: اگر دو مجموعه دقیقاً اعضای یکسانی داشته باشند، برابرند.

قضیه ۳: اجتماع مجموعه تهی با هر مجموعه، همان مجموعه است

برای هر مجموعه \(A\):

$$ A\cup\emptyset=A $$

زیرا اجتماع شامل عناصری است که در \(A\) یا در مجموعه دوم قرار دارند و مجموعه تهی هیچ عضوی به \(A\) اضافه نمی‌کند.

قضیه ۴: اشتراک مجموعه تهی با هر مجموعه، مجموعه تهی است

برای هر مجموعه \(A\):

$$ A\cap\emptyset=\emptyset $$

دلیل آن روشن است: برای عضویت در اشتراک، یک عنصر باید هم در \(A\) و هم در مجموعه تهی باشد؛ اما مجموعه تهی هیچ عضوی ندارد.

بنابراین:

$$ \emptyset\cap A=\emptyset $$

قضیه ۵: تفاضل هر مجموعه از خودش تهی است

مجموعه \(A\setminus A\) شامل عناصری از \(A\) است که در \(A\) قرار ندارند. چنین عنصری وجود ندارد؛ بنابراین:

$$ A\setminus A=\emptyset $$

فرمول‌ها و روابط مهم مجموعه تهی

مهم‌ترین روابطی که باید به خاطر سپرد عبارت‌اند از:

$$ |\emptyset|=0 $$

$$ \emptyset\subseteq A $$

$$ A\cup\emptyset=A $$

$$ A\cap\emptyset=\emptyset $$

$$ A\setminus A=\emptyset $$

اگر مجموعه مرجع \(U\) باشد، متمم مجموعه تهی برابر کل مجموعه مرجع است:

$$ \emptyset^c=U $$

و متمم مجموعه مرجع، مجموعه تهی است:

$$ U^c=\emptyset $$

این روابط بخشی از قوانین پایه عملیات روی مجموعه‌ها هستند.

مثال‌های حل‌شده

مثال ۱: تشخیص مجموعه تهی

مجموعه زیر را در نظر بگیرید:

$$ A=\{x\in\mathbb{N}\mid 4

هیچ عدد طبیعی‌ای وجود ندارد که هم بزرگ‌تر از \(4\) و هم کوچک‌تر از \(5\) باشد. بنابراین:

$$ A=\emptyset $$

در این مثال مجموعه تهی به دلیل ناسازگار بودن شرط‌ها ایجاد شده است.

مثال ۲: یک مجموعه تهی از اعداد حقیقی

فرض کنید:

$$ B=\{x\in\mathbb{R}\mid x^2+1=0\} $$

برای هر عدد حقیقی \(x\)، داریم:

$$ x^2\geq0 $$

بنابراین:

$$ x^2+1\geq1 $$

در نتیجه معادله \(x^2+1=0\) در مجموعه اعداد حقیقی جواب ندارد و:

$$ B=\emptyset $$

نکته مهم این است که اگر دامنه را به اعداد مختلط گسترش دهیم، نتیجه تغییر می‌کند؛ زیرا در آن صورت \(x=i\) و \(x=-i\) جواب‌های معادله هستند. بنابراین تهی بودن یک مجموعه می‌تواند به دامنه مورد نظر وابسته باشد.

مثال ۳: اشتراک با مجموعه تهی

فرض کنید:

$$ A=\{1,2,3,4\} $$

آنگاه:

$$ A\cap\emptyset=\emptyset $$

زیرا هیچ عددی وجود ندارد که هم عضو \(A\) و هم عضو مجموعه تهی باشد.

مثال ۴: آیا \( \emptyset \) عضو مجموعه است؟

فرض کنید:

$$ A=\{1,2,3\} $$

آیا می‌توان گفت:

$$ \emptyset\in A $$

خیر. اعضای \(A\) عبارت‌اند از \(1\)، \(2\) و \(3\) و مجموعه تهی در میان آن‌ها نیست.

اما می‌توان گفت:

$$ \emptyset\subseteq A $$

این دو رابطه یکسان نیستند. اولی درباره عضویت صحبت می‌کند و دومی درباره زیرمجموعه بودن.

مثال ۵: تفاوت \( \emptyset \) و \( \{\emptyset\} \)

دو مجموعه زیر را مقایسه کنید:

$$ A=\emptyset $$

و

$$ B=\{\emptyset\} $$

مجموعه \(A\) هیچ عضوی ندارد، در حالی که مجموعه \(B\) یک عضو دارد و آن عضو \( \emptyset \) است.

بنابراین:

$$ |A|=0 \qquad\text{و}\qquad |B|=1 $$

پس:

$$ A\neq B $$

کاربردهای مجموعه تهی

مجموعه تهی فقط یک مفهوم آموزشی برای شروع نظریه مجموعه‌ها نیست؛ بلکه در بسیاری از شاخه‌های ریاضی به‌طور طبیعی ظاهر می‌شود.

حل معادلات و نامعادلات

مجموعه جواب یک معادله یا نامعادله ممکن است هیچ عضوی نداشته باشد. در این حالت مجموعه جواب برابر مجموعه تهی است.

برای نمونه، در اعداد حقیقی:

$$ x^2+1=0 $$

مجموعه جواب آن برابر \( \emptyset \) است.

تقاطع مجموعه‌ها

اگر دو مجموعه هیچ عضو مشترکی نداشته باشند، اشتراک آن‌ها مجموعه تهی است:

$$ A\cap B=\emptyset $$

چنین مجموعه‌هایی را معمولاً مجموعه‌های جدا از هم یا متباین می‌نامند.

منطق ریاضی

مفهوم مجموعه تهی با استدلال‌های منطقی درباره گزاره‌های کلی نیز ارتباط دارد. وقتی درباره «همه اعضای یک مجموعه» صحبت می‌کنیم و مجموعه هیچ عضوی ندارد، هیچ نمونه‌ای وجود ندارد که بتواند شرط را نقض کند. این ایده یکی از پایه‌های مهم درک استدلال‌های ریاضی است.

احتمال

در نظریه احتمال، مجموعه تهی می‌تواند به‌عنوان رویدادی با هیچ نتیجه ممکن نمایش داده شود. در یک فضای احتمال استاندارد، احتمال مجموعه تهی برابر صفر است:

$$ P(\emptyset)=0 $$

این نتیجه را نباید با این گزاره اشتباه گرفت که هر رویداد با احتمال صفر الزاماً مجموعه تهی است؛ در فضاهای احتمال، ممکن است رویدادهایی وجود داشته باشند که تهی نباشند اما احتمالشان صفر باشد.

مجموعه تهی در نظریه مجموعه‌های اصل‌موضوعی

در صورت ورود به مباحث رسمی‌تر نظریه مجموعه‌ها، مجموعه تهی جایگاه بنیادی خود را حفظ می‌کند. در دستگاه‌های اصل‌موضوعی مانند نظریه مجموعه‌های زرملو–فرنکل، وجود مجموعه تهی به‌صورت یکی از نتایج یا اصول پایه نظریه قابل صورت‌بندی است.

همچنین در برخی صورت‌بندی‌های نظریه مجموعه‌ها می‌توان از مجموعه تهی برای ساخت مجموعه‌های دیگر استفاده کرد. برای نمونه، در ساخت عددهای طبیعی به روش فون نویمان، یکی از صورت‌بندی‌های استاندارد از این ایده استفاده می‌کند:

$$ 0=\emptyset $$

در اینجا \(0\) به‌عنوان یک عدد طبیعی تعریف‌شده در چارچوب نظریه مجموعه‌ها است؛ بنابراین این رابطه به این معنا نیست که «عدد صفر و مجموعه تهی در همه زمینه‌های ریاضی یک مفهوم هستند». بلکه بیانگر یک تعریف مجموعه‌ای خاص از عددها در چارچوب فون نویمان است. MathWorld این ساخت را در بحث ساخت اعداد طبیعی در نظریه مجموعه‌ها توضیح می‌دهد.

اشتباهات رایج

۱. یکی دانستن صفر و مجموعه تهی

نادرست:

\(0=\emptyset\)

در ریاضیات مقدماتی، این دو مفهوم باید کاملاً جدا در نظر گرفته شوند.

۲. یکی دانستن \( \emptyset \) و \( \{\emptyset\} \)

این دو مجموعه تعداد اعضای متفاوتی دارند:

$$ |\emptyset|=0 \qquad |\{\emptyset\}|=1 $$

۳. تصور اینکه مجموعه تهی «وجود ندارد»

مجموعه تهی وجود دارد و یک مجموعه معتبر است. تهی بودن فقط تعداد اعضای آن را مشخص می‌کند.

۴. اشتباه گرفتن عضویت و زیرمجموعه بودن

عبارت‌های زیر دو معنای کاملاً متفاوت دارند:

\(x\in A\)

و

\(B\subseteq A\)

اولی می‌گوید \(x\) یک عضو از \(A\) است؛ دومی می‌گوید \(B\) یک مجموعه است که همه اعضایش در \(A\) قرار دارند.

۵. نادیده گرفتن دامنه مسئله

یک مجموعه جواب ممکن است در یک دامنه تهی و در دامنه‌ای دیگر ناتهی باشد. برای مثال:

$$ \{x\in\mathbb{R}\mid x^2+1=0\}=\emptyset $$

اما:

$$ \{x\in\mathbb{C}\mid x^2+1=0\}=\{i,-i\} $$

بنابراین هنگام بررسی تهی بودن یک مجموعه تعریف‌شده با شرط، باید دامنه متغیر را دقیقاً مشخص کرد.

نکات مهم

• مجموعه تهی مجموعه‌ای بدون عضو است.
• نماد استاندارد آن \( \emptyset \) است و \( \{\} \) نیز همین مجموعه را نمایش می‌دهد.
• \( |\emptyset|=0 \) است.
• \(0\) با \( \emptyset \) یکسان نیست.
• \( \{\emptyset\} \) با \( \emptyset \) متفاوت است.
• مجموعه تهی زیرمجموعه هر مجموعه است.
• مجموعه تهی زیرمجموعه خودش نیز هست.
• \(A\cup\emptyset=A\) است.
• \(A\cap\emptyset=\emptyset\) است.
• \(A\setminus A=\emptyset\) است.
• تهی بودن یک مجموعه تعریف‌شده با شرط می‌تواند به دامنه متغیر وابسته باشد.

جمع‌بندی

مجموعه تهی مجموعه‌ای است که هیچ عضوی ندارد و با نماد \( \emptyset \) نمایش داده می‌شود. با وجود سادگی، این مفهوم در ساختار نظریه مجموعه‌ها نقشی بنیادی دارد.

مهم‌ترین نکته این است که مجموعه تهی را نباید با عدد صفر یا مجموعه تک‌عضوی \( \{\emptyset\} \) اشتباه گرفت. همچنین از تعریف زیرمجموعه نتیجه می‌شود که:

$$ \emptyset\subseteq A $$

برای هر مجموعه \(A\). مجموعه تهی همچنین عنصر خنثی اجتماع و عنصر نابودکننده اشتراک است:

$$ A\cup\emptyset=A $$

و

$$ A\cap\emptyset=\emptyset $$

در مسائل ریاضی، هرگاه شرایط تعریف یک مجموعه هیچ عضوی را مجاز نکنند، نتیجه یک مجموعه تهی خواهد بود. به همین دلیل تشخیص مجموعه تهی یکی از مهارت‌های پایه برای مطالعه مباحث بعدی نظریه مجموعه‌ها، منطق، احتمال و ریاضیات گسسته است.

موضوعات مرتبط

• مفهوم مجموعه
• نمایش مجموعه
• عضویت و زیرمجموعه
• مجموعه‌های متناهی و نامتناهی
• اجتماع مجموعه‌ها
• اشتراک مجموعه‌ها
• تفاضل مجموعه‌ها
• متمم مجموعه
• مجموعه توانی

منابع

منابع کتابی و دانشگاهی

1. Halmos, Paul R., Naive Set Theory, Springer-Verlag / Dover Publications.
2. Enderton, Herbert B., Elements of Set Theory, Academic Press, 1977.
3. Munkres, James R., Topology, 2nd Edition, Prentice Hall, 2000.
4. MIT OpenCourseWare, Mathematics for Computer Science — Predicates & Sets. مشاهده منبع

منابع وب

1. Mathematics LibreTexts, An Introduction to Sets. مشاهده صفحه مرجع
2. Mathematics LibreTexts, Defining Sets — Empty Set. مشاهده صفحه مرجع
3. OpenStax, Contemporary Mathematics — Subsets. مشاهده صفحه مرجع
4. Wolfram MathWorld, Set. مشاهده صفحه مرجع
5. Wolfram MathWorld, Subset. مشاهده صفحه مرجع
6. Wolfram MathWorld, Axiom of Infinity. مشاهده صفحه مرجع

تاریخ دسترسی منابع وب: ۱۳ اوت ۲۰۲۶.