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

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

در تعریف فضای برداری، اصل موضوعه چهارم فقط می‌گوید:

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

دقت کنید! تعریف اولیه فقط «وجود» بردار صفر را تضمین کرد، اما نگفت که آیا ممکن است در گوشه‌ای دیگر از فضا، عضو دیگری مثل $0'$ هم پیدا شود که با هر برداری جمع شود آن را تغییر ندهد؟

اگر چنین چیزی ممکن بود، مفهوم «مبدأ مختصات» بی‌معنا می‌شد؛ چون چند مبدأ مختلف داشتیم! این قضیه به ما آرامش خاطر می‌دهد: به محض اینکه یک عضو خنثای جمع پیدا کردید، مطمئن باشید تنها عضو خنثای ممکن در کل فضا را پیدا کرده‌اید.

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

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

• نوع اثبات: اثبات مستقیم با استفاده از تقارن نقش‌ها (تکنیک استاندارد یکتایی در جبر مجرد).
• ایده محوری: عبارت $0' + 0$ را در نظر می‌گیریم و از دو زاویه به آن نگاه می‌کنیم:
  • یک‌بار فرض می‌کنیم $0$ عضو خنثی است و $0'$ یک بردار معمولی.
  • بار دیگر با استفاده از جابه‌جایی، فرض می‌کنیم $0'$ عضو خنثی است و $0$ یک بردار معمولی. ارتباط این دو زاویه، برابری $0 = 0'$ را اثبات می‌کند!

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

گام اول (فرضیات و نام‌گذاری):

فرض می‌کنیم $V$ یک فضای برداری باشد و فرض کنیم هم $0$ و هم $0'$ دو عضو همانی جمعی در $V$ باشند. این یعنی برای هر بردار دلخواه مانند $x \in V$ روابط زیر برقرار است:

1. چون $0$ همانی جمعی است: $x + 0 = x$
2. چون $0'$ همانی جمعی است: $x + 0' = x$

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

حال بردار $0'$ را در نظر گرفته و زنجیره زیر را تشکیل می‌دهیم:

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

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

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

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

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

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

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

• پیش‌نیازها و قضایای استفاده‌شده:
  • تعریف ۲۰.۱: اصول موضوعه فضای برداری
• پیامدهای مستقیم و قضایای بعدی:
  • قضیه ۲۷.۱: یکتایی وارون جمعی
  • قضیه ۳۰.۱: اثبات 0v = 0
• فهرست مرجع فصل:
  • نقشه راه فصل اول: فضاهای برداری