تمرین ۵ بخش ۲.۱: جایگزینی شرط وارون جمعی با ضرب در اسکالر صفر

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

• داده‌های مسئله:
  • ساختار جبری با اصول موضوعه تعریف ۲۰.۱ شامل: جابه‌جایی و شرکت‌پذیری جمع، وجود عضو همانی جمعی ($0 \in V$)، همانی ضرب اسکالر ($1v = v$)، شرکت‌پذیری ضرب اسکالر، و دو خاصیت توزیع‌پذیری.
• حکم مسئله:
  • عبارت «می‌توان جایگزین کرد» در منطق ریاضی به معنای هم‌ارزی منطقی (Logical Equivalence) است؛ یعنی باید دو جهت را اثبات کنیم:
    1. جهت رفت ($\implies$): اگر تعریف استاندارد با شرط وارون جمعی برقرار باشد، آنگاه رابطه $0v = 0$ به عنوان یک قضیه نتیجه می‌شود.
    2. جهت برگشت ($\impliedby$): اگر شرط وارون جمعی را حذف کنیم و به جای آن فرض کنیم $0v = 0$ برای هر $v \in V$ برقرار است، آنگاه می‌توانیم اثبات کنیم که هر بردار $v$ دارای وارون جمعی در $V$ است.
• چک‌لیست ابزارهای مورد نیاز:
  • خاصیت توزیع‌پذیری جمع اسکالرها روی بردار: $(a + b)v = av + bv$
  • همانی ضرب اسکالر: $1v = v$
  • قضیه ۳۰.۱: اثبات 0v = 0 در حالت استاندارد

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

• برای جهت اول، همان اثبات کلاسیک کتاب آکسلر (قضیه ۳۰.۱) را می‌آوریم که با استفاده از تساوی عددی $0 = 0 + 0$ و توزیع‌پذیری و سپس حذف با استفاده از وارون جمعی به $0v = 0$ می‌رسد.
• برای جهت دوم (بخش اصلی تمرین)، فرض می‌کنیم هیچ فرضی درباره وجود وارون جمعی نداریم، اما به جایش می‌دانیم $0v = 0$. حال برای هر بردار $v \in V$، کاندیدای طبیعی وارون جمعی چیست؟ کاندیدا بردار $(-1)v$ است! نشان می‌دهیم با افزودن $(-1)v$ به $v$ و به کار بستن توزیع‌پذیری، به عبارت $(1 + (-1))v = 0v = 0$ می‌رسیم که اثبات می‌کند $(-1)v$ دقیقاً همان وارون جمعی مورد نیاز است!

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

جهت اول ($\implies$): با داشتن شرط وارون جمعی، نشان می‌دهیم $0v = 0$

فرض می‌کنیم تمام اصول موضوعه استاندارد تعریف ۲۰.۱ (شامل وجود وارون جمعی) برقرار باشند:

1. در میدان اعداد $\mathbb{F}$، عدد صفر دارای این ویژگی است که $0 + 0 = 0$. بنابراین برای هر $v \in V$: $$0v = (0 + 0)v$$
2. طبق اصل موضوعه توزیع‌پذیری جمع اسکالرها روی بردار: $$(0 + 0)v = 0v + 0v$$ پس تا اینجا داریم: $$0v = 0v + 0v$$
3. چون بردار $0v \in V$ است، طبق فرض استاندارد دارای یک وارون جمعی مانند $-(0v) \in V$ است. این وارون را به طرفین اضافه می‌کنیم: $$0v + \big(-(0v)\big) = (0v + 0v) + \big(-(0v)\big)$$
4. با اعمال تعریف وارون جمعی در سمت چپ و شرکت‌پذیری جمع در سمت راست: $$0 = 0v + \Big(0v + \big(-(0v)\big)\Big) = 0v + 0 = 0v$$
5. در نتیجه $0v = 0$. (این جهت دقیقاً اثبات قضیه ۳۰.۱ است).

جهت دوم ($\impliedby$): با فرض $0v = 0$، وجود وارون جمعی را اثبات می‌کنیم

اکنون فرض می‌کنیم اصل موضوعه وارون جمعی را کنار گذاشته‌ایم و به جای آن، رابطه زیر را به عنوان یک اصل در اختیار داریم:

می‌خواهیم نشان دهیم به ازای هر $v \in V$، عنصری مانند $w \in V$ وجود دارد که $v + w = 0$.

گام ۱ (معرفی کاندیدای وارون جمعی): برای بردار دلخواه $v \in V$، اسکالر $-1 \in \mathbb{F}$ (قرینه عدد یک در میدان) را در نظر بگیرید. بردار $w$ را به صورت زیر تعریف می‌کنیم:

چون میدان $\mathbb{F}$ شامل $-1$ است و فضای برداری تحت ضرب اسکالر بسته است، قطعا $w \in V$.

گام ۲ (محاسبه حاصل جمع $v + w$): حال حاصل جمع این دو بردار را گام‌به‌گام محاسبه می‌کنیم:

• طبق اصل موضوعه همانی ضرب اسکالر، می‌دانیم $v = 1v$. جایگذاری می‌کنیم: $$v + (-1)v = 1v + (-1)v$$
• طبق اصل موضوعه توزیع‌پذیری جمع اسکالرها روی بردار: $$1v + (-1)v = \big(1 + (-1)\big)v$$
• در میدان $\mathbb{F}$، بر اساس تعریف قرینه اعداد، حاصل جمع عدد ۱ با قرینه‌اش برابر صفر است: $1 + (-1) = 0$. پس: $$\big(1 + (-1)\big)v = 0v$$
• حال از شرط فرضی جایگزین ($0v = 0$) استفاده می‌کنیم: $$0v = 0$$

گام ۳ (نتیجه‌گیری): با پیوند زدن زنجیره تساوی‌ها:

این معادله صریحاً نشان می‌دهد که بردار $w = (-1)v$ ویژگی وارون جمعی برای $v$ را داراست ($v + w = 0$).

چون برای هر $v \in V$ چنین عنصری درون $V$ یافت شد، اصل موضوعه وارون جمعی به طور کامل برقرار و اثبات گردید. $\blacksquare$

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

۵. پیوندها

• مفاهیم تئوری مرتبط:
  • تعریف ۲۰.۱: اصول موضوعه فضای برداری
  • قضیه ۳۰.۱: ضرب عدد صفر در بردار
  • قضیه ۳۲.۱: ضرب عدد منفی یک در بردار
• تمرین قبلی: تمرین ۴ بخش ۲.۱ تهی نبودن فضای برداری
• تمرین بعدی: تمرین ۶ بخش ۲.۱ بررسی فضای برداری اعداد حقیقی تعمیم‌یافته