تمرین ۶ بخش ۲.۱: بررسی فضای برداری اعداد حقیقی تعمیم‌یافته

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

• داده‌های مسئله:
  • مجموعه بسط‌یافته $\widetilde{\mathbb{R}} = \mathbb{R} \cup \{\infty, -\infty\}$.
  • عمل جمع به گونه‌ای تعریف شده که هر عدد حقیقی جمع‌شده با $\infty$ برابر $\infty$ و با $-\infty$ برابر $-\infty$ می‌شود، و حاصل جمع این دو بی‌نهایت برابر صفر قرار داده شده است.
  • ضرب اسکالر به صورت علامتی بر بی‌نهایت اثر می‌گذارد و اسکالر صفر آن را صفر می‌کند.
• حکم مسئله:
  • باید مشخص کنیم آیا این ساختار تمامی اصول موضوعه ده‌گانه فضای برداری (تعریف ۲۰.۱) را برآورده می‌کند یا خیر.
  • اگر ادعا می‌کنیم فضای برداری نیست، ارائه حتی یک مثال نقض مشخص برای یکی از اصول موضوعه برای رد ادعا کاملاً کافی و الزامی است.
• چک‌لیست ابزارهای مورد نیاز:
  • تعریف ۲۰.۱: آزمون تک‌تک اصول موضوعه به ویژه شرکت‌پذیری جمع

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

در مسائل بررسی فضای برداری، همواره بهترین استراتژی این است که پیش از صرف وقت برای اثبات، اصول موضوعه حساس را با اعضای مرزی و نامتعارف تست کنیم:

• مهم‌ترین اصل موضوعه‌ای که در سیستم‌های شامل بی‌نهایت آسیب می‌بیند، شرکت‌پذیری در عمل جمع (Associativity of Addition) است.
• وقتی $\infty + (-\infty) = 0$ تعریف شده است، اگر یک عدد حقیقی ناصفر مانند $t = 1$ را به این ترکیب اضافه کنیم، تفاوت بین پرانتزبندی سمت چپ و راست خود را آشکار می‌کند:
  • اگر ابتدا $\infty$ و $-\infty$ را جمع کنیم، حاصل $0$ شده و سپس با $1$ جمع می‌شود که حاصل $1$ می‌دهد.
  • اما اگر ابتدا $1$ با $\infty$ جمع شود، حاصل $\infty$ باقی می‌ماند و سپس جمع با $-\infty$ حاصل را $0$ می‌کند!
  • تناقض $1 \neq 0$ کار را تمام می‌کند!

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

پاسخ کوتاه: خیر، مجموعه $\mathbb{R} \cup \{\infty, -\infty\}$ با این عمل‌ها یک فضای برداری روی $\mathbb{R}$ نیست.

ارائه مثال نقض برای اصل موضوعه شرکت‌پذیری در جمع

طبق تعریف ۲۰.۱، در هر فضای برداری عمل جمع باید دارای خاصیت شرکت‌پذیری باشد؛ یعنی برای هر سه عنصر $u, v, w \in V$ باید داشته باشیم:

سه عنصر زیر را از مجموعه $\widetilde{\mathbb{R}}$ انتخاب می‌کنیم:

اکنون دو طرف رابطه شرکت‌پذیری را با توجه به تعاریف ارائه شده در صورت مسئله مستقلاً محاسبه می‌کنیم:

محاسبه سمت چپ: $(u + v) + w$

1. ابتدا حاصل پرانتز اول را حساب می‌کنیم: طبق صورت مسئله، برای هر $t \in \mathbb{R}$ داریم $t + \infty = \infty$. چون $1 \in \mathbb{R}$: $$1 + \infty = \infty$$
2. حال این حاصل را با $w = -\infty$ جمع می‌بندیم: طبق تعریف صورت مسئله، حاصل جمع بی‌نهایت مثبت و منفی برابر صفر است: $$(1 + \infty) + (-\infty) = \infty + (-\infty) = 0$$ بنابراین سمت چپ برابر با $0$ شد.

محاسبه سمت راست: $u + (v + w)$

1. ابتدا حاصل پرانتز داخلی را حساب می‌کنیم: طبق صورت مسئله: $$v + w = \infty + (-\infty) = 0$$
2. حال این نتیجه را با $u = 1$ جمع می‌کنیم: چون جمع در $\mathbb{R}$ جمع معمولی است: $$u + (v + w) = 1 + 0 = 1$$ بنابراین سمت راست برابر با $1$ شد.

مقایسه و نتیجه‌گیری: از آنجا که در اعداد حقیقی $0 \neq 1$ است، داریم:

این مثال نقض نشان می‌دهد که اصل موضوعه شرکت‌پذیری جمع نقض شده است. بنابراین مجموعه $\mathbb{R} \cup \{\infty, -\infty\}$ با عمل‌های داده شده نمی‌تواند یک فضای برداری باشد. $\blacksquare$

تحلیل تکمیلی: شکست قاعده حذف (Cancellation Property)

یک پیامد جالب دیگر این ساختار، نقض قاعده ساده‌سازی است: در فضای برداری اگر $x + z = y + z$ باشد، باید $x = y$ شود. اما در اینجا:

در حالی که قطعا $1 \neq 2$ است! این تناقض دوم نیز نشان می‌دهد چرا بی‌نهایت‌ها نمی‌توانند به عنوان بردارهای یک فضای جبری استاندارد رفتار کنند.

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

۵. پیوندها

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