تمرین ۴ بخش ۲.۱: چرا مجموعه تهی فضای برداری نیست؟

۱. تحلیل اولیه و باز کردن خواسته مسئله

• داده‌های مسئله:
  • مجموعه تهی $V = \emptyset$ (مجموعه‌ای که دارای هیچ عضوی نیست).
  • تعاریف و اصول ده‌گانه یک فضای برداری مطابق تعریف ۲۰.۱.
• حکم مسئله:
  • باید تک‌تک شرایط و اصول موضوعه فضای برداری را روی $V = \emptyset$ بیازماییم.
  • مشخص کنیم دقیقاً کدام شرط نقض می‌شود و چرا سایر شروط همگی از نظر منطق ریاضی برقرار هستند.
• چک‌لیست ابزارهای مورد نیاز:
  • منطق ریاضی: تفاوت سور عمومی ($\forall$) و سور وجودی ($\exists$).
  • مفهوم درستی پیش‌پاافتاده یا صدق تهی (Vacuous Truth) در قضایای شرطی و سور عمومی.
  • تعریف نگاشت/تابع و اعمال دوتایی روی مجموعه تهی.

۲. ایده و استراتژی حل (Problem-Solving Strategy)

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

• هر گزاره با سور عمومی روی مجموعه تهی به صورت پیش‌فرض درست (True) است. مثلاً گزاره «تمام فیل‌های پرنده در این اتاق صورتی هستند» درست است، چون اصلاً فیل پرنده‌ای وجود ندارد که رنگش صورتی نباشد تا گزاره را نقض کند!
• در مقابل، هر گزاره با سور وجودی روی مجموعه تهی نادرست (False) است؛ چون ادعا می‌کند «حداقل یک عنصر با فلان ویژگی وجود دارد»، در حالی که مجموعه تهی مطلقاً خالی از عنصر است!

بنابراین باید در میان اصول موضوعه تعریف فضای برداری به دنبال تنها اصلی بگردیم که با سور وجودی ($\exists$) آغاز می‌شود.

۳. حل تشریحی گام‌به‌گام (Step-by-Step Solution)

گام اول: بررسی وجود اعمال جمع و ضرب اسکالر

• عمل جمع: جمع یک تابع است از $V \times V$ به $V$. برای $V = \emptyset$: $$\emptyset \times \emptyset = \emptyset$$ در نظریه مجموعه‌ها، تابع تهی ($\emptyset \to \emptyset$) یک تابع کاملاً معتبر و خوش‌تعریف است.
• ضرب اسکالر: ضرب اسکالر تابعی است از $\mathbb{F} \times V$ به $V$. چون $\mathbb{F} \times \emptyset = \emptyset$، تابع تهی باز هم معتبر است.

گام دوم: بررسی اصول موضوعه دارای سور عمومی (صدق پیش‌پاافتاده)

تمام قوانین زیر با عبارت «به ازای هر عنصر در $V$» ($\forall v \in V$) آغاز می‌شوند:

1. جابه‌جایی در جمع: $\forall u, v \in \emptyset, \quad u + v = v + u$ (درست به صدق تهی).
2. شرکت‌پذیری در جمع: $\forall u, v, w \in \emptyset, \quad (u + v) + w = u + (v + w)$ (درست به صدق تهی).
3. شرکت‌پذیری در ضرب اسکالر: $\forall a, b \in \mathbb{F}, \forall v \in \emptyset, \quad (ab)v = a(bv)$ (درست به صدق تهی).
4. وارون جمعی: این اصل می‌گوید: «به ازای هر $v \in V$، عنصری مانند $w \in V$ وجود دارد به طوری که $v + w = 0$». چون اصلاً عضوی مانند $v$ در $\emptyset$ وجود ندارد، هیچ موردی پیدا نمی‌شود که وارون نداشته باشد! پس این شرط نیز به صورت پیش‌پاافتاده (Vacuously) برقرار است!
5. همانی ضرب اسکالر: $\forall v \in \emptyset, \quad 1v = v$ (درست به صدق تهی).
6. توزیع‌پذیری‌ها: هر دو قانون توزیع‌پذیری نیز به دلیل نبود عضو نقض‌کننده، صادق هستند.

گام سوم: شناسایی اصل موضوعه نقض‌شده (وجود همانی جمعی)

تنها اصلی که ساختار منطقی متفاوتی دارد، اصل موضوعه وجود همانی جمعی (Additive Identity) است:

متن اصل: «عنصری به نام $0 \in V$ وجود دارد به طوری که برای هر $v \in V$ داریم $v + 0 = v$». به نماد ریاضی:

$$\exists 0 \in V \text{ such that } \forall v \in V, \, v + 0 = v$$

• برای اینکه این شرط برقرار باشد، در وهله اول باید حداقل یک عنصر درون مجموعه $V$ وجود داشته باشد تا نقش عضو صفر ($0$) را بازی کند.
• اما مجموعه تهی بنا به تعریف، هیچ عضوی ندارد: $$\forall x, \quad x \notin \emptyset$$
• بنابراین ادعای وجود عنصری مانند $0 \in \emptyset$ یک گزاره صریحاً غلط (False) است!

نتیجه‌گیری نهایی:

تنها شرطی که مجموعه تهی آن را برآورده نمی‌کند، شرط وجود عضو همانی جمعی (وجود بردار صفر) است. به همین دلیل، کوچک‌ترین فضای برداری ممکن نمی‌تواند تهی باشد، بلکه فضای تک‌عضوی متشکل از بردار صفر یعنی $\{0\}$ است. $\blacksquare$

۴. دام‌های رایج در حل این تیپ مسئله

۵. پیوندها

• مفاهیم تئوری مرتبط:
  • تعریف ۲۰.۱: اصول موضوعه فضای برداری
  • قضیه ۲۶.۱: یکتایی همانی جمعی
• تمرین قبلی: تمرین ۳ بخش ۲.۱ یکتایی جواب معادله خطی برداری
• تمرین بعدی: تمرین ۵ بخش ۲.۱ جایگزینی شرط وارون جمعی با ضرب در صفر