قضیه ۲۷.۱: یکتایی وارون جمعی (Unique Additive Inverse)

۱. تصویر کلان و معنای شهودی

در اصل موضوعه پنجم از تعریف فضای برداری، آمده است که برای هر بردار $v$، عنصری به نام $w$ وجود دارد به طوری که $v + w = 0$.

اما این شرط تنها وجود «حداقل یک» قرینه را تضمین کرد. آیا ممکن است یک بردار، دو یا چند قرینه مختلف داشته باشد؟ اگر چنین بود، فاجعه‌ای در جبر رخ می‌داد! مثلاً وقتی می‌گفتیم $-v$، معلوم نبود کدام بردار منظورمان است و معادلات جبری چندجوابه یا مبهم می‌شدند.

این قضیه تضمین می‌کند که برای هر بردار $v$، بردار خنثی‌کننده آن کاملاً بی‌همتا است؛ بنابراین با خیال آسوده می‌توانیم به آن «عضو قرینه $v$» بگوییم و نماد مشخصی برایش برگزینیم.

۲. صورت دقیق ریاضی قضیه

۳. نقشه راه و استراتژی اثبات (Proof Strategy)

• نوع اثبات: اثبات مستقیم جبری.
• ایده محوری: بردار $w$ را در نظر می‌گیریم. با افزودن بردار صفر به آن ($w = w + 0$)، هیچ تغییری در مقدارش ایجاد نمی‌شود. سپس به جای بردار صفر، عبارت $(v + w')$ را جایگزین می‌کنیم. حال با استفاده از خاصیت شرکت‌پذیری، پرانتزها را جابه‌جا می‌کنیم تا $w$ و $v$ در کنار هم قرار گیرند و یکدیگر را صفر کنند؛ در نتیجه تنها $w'$ باقی می‌ماند!

۴. اثبات دقیق گام‌به‌گام (Step-by-Step Proof)

گام اول (فرضیات اولیه):

فرض کنید $V$ یک فضای برداری و $v \in V$ برداری دلخواه باشد. فرض کنید دو بردار $w, w' \in V$ وجود دارند که هر دو وارون جمعی $v$ هستند. این بدان معناست که:

1. $v + w = 0$ (و به دلیل جابه‌جایی: $w + v = 0$)
2. $v + w' = 0$ (و به دلیل جابه‌جایی: $w' + v = 0$)

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

محاسبه را با نوشتن بردار $w$ آغاز کرده و زنجیره زیر را تشکیل می‌دهیم:

گام سوم (تحلیل و دلیل تک‌تک تساوی‌ها):

• دلیل تساوی (۱) [$w = w + 0$]: طبق تعریف عضو همانی جمعی (اصل چهارم)، جمع هر بردار با بردار صفر، خود آن بردار را نتیجه می‌دهد.
• دلیل تساوی (۲) [$w + 0 = w + (v + w')$]: چون $w'$ وارون جمعی $v$ است، داریم $v + w' = 0$. پس به جای بردار صفر، مقدار مساوی آن یعنی $(v + w')$ را قرار می‌دهیم.
• دلیل تساوی (۳) [$w + (v + w') = (w + v) + w'$]: طبق اصل موضوعه شرکت‌پذیری جمع (اصل دوم)، نحوه پرانتزگذاری در جمع سه بردار تأثیری در حاصل ندارد.
• دلیل تساوی (۴) [$(w + v) + w' = 0 + w'$]: چون $w$ نیز وارون جمعی $v$ است، حاصل جمع $w + v$ برابر با بردار صفر ($0$) می‌شود.
• دلیل تساوی (۵) [$0 + w' = w'$]: باز هم به دلیل خاصیت عضو همانی جمعی، حاصل جمع بردار صفر با هر برداری برابر خود آن بردار است.

گام چهارم (نتیجه‌گیری):

با مقایسه ابتدای زنجیره با انتهای آن به دست می‌آوریم:

این برابری اثبات می‌کند که هر عنصر در فضای برداری نمی‌تواند بیش از یک وارون جمعی داشته باشد؛ یعنی وارون جمعی کاملاً منحصر‌به‌فرد است $\blacksquare$

۵. نکات کلیدی و هشدارهای امتحانی

۶. پیوندها و گام‌های بعدی

• پیش‌نیازها و قضایای استفاده‌شده:
  • تعریف ۲۰.۱: اصول موضوعه فضای برداری
  • قضیه ۲۶.۱: یکتایی همانی جمعی
• پیامدهای مستقیم و قضایای بعدی:
  • نماد ۲۸.۱: نماد منفی و تفریق بردارها
  • قضیه ۳۲.۱: اثبات رابطه (-1)v = -v
• فهرست مرجع فصل:
  • نقشه راه فصل اول: فضاهای برداری