قضیه ۳۲.۱: ضرب عدد منفی یک در بردار ($(-1)v = -v$)

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

در نگاه اول به نظر می‌رسد که رابطه $(-1)v = -v$ صرفاً یک بازی با علامت منفی باشد! اما اگر عمیق‌تر نگاه کنیم، دو مفهوم کاملاً مجزا در این تساوی وجود دارند:

1. در سمت چپ: ضرب اسکالر عدد $-1$ (که وارون جمعی عدد $1$ در میدان $\mathbb{F}$ است) در بردار $v$.
2. در سمت راست: وارون جمعی بردار $v$ در فضای $V$ (برداری که وقتی با $v$ جمع شود بردار صفر تولید می‌کند).

چرا باید ضرب این عدد خاص دقیقاً قرینه هندسی بردار را به ما تحویل دهد؟ در فیزیک و هندسه می‌دانیم که ضرب در $-1$ جهت بردار را ۱۸۰ درجه معکوس می‌کند. در جبر خطی مجرد، این قضیه نشان می‌دهد که این خاصیت هندسی مستقیماً از اصول موضوعه فضای برداری ناشی می‌شود.

appName: classic
width: 700
height: 380
showToolBar: false
showAlgebraInput: true
showMenuBar: false
commands:
  - "Origin = Point({0, 0})"
  - "O = (0, 0)"
  - "Pt1 = (3, 2)"
  - "v = Vector(O, Pt1)"
  - "neg1_v = (-1) * v"
  - "sum = v + neg1_v"
caption: "معکوس شدن ۱۸۰ درجه‌ای بردار تحت ضرب در اسکالر ۱- و بازگشت به بردار صفر در جمع با خود"
explain:
  - "بردار v از مبدا به سمت نقطه (3, 2) قرار دارد."
  - "ضرب در ۱- بردار neg1_v را تولید می‌کند که دقیقاً همان اندازه را دارد اما با زاویه ۱۸۰ درجه به سمت (-3, -2) جهت‌گیری می‌کند."
  - "حاصل‌جمع بردار اولیه با این بردار معکوس دقیقاً به مبدا بازمی‌گردد: v + (-1)v = 0."

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

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

• نوع اثبات: اثبات بر مبنای تعریف و یکتایی وارون جمعی (قضیه ۲۷.۱).
• ایده محوری: طبق تعریف، وارون جمعی $v$ برداری است که اگر با $v$ جمع شود، حاصل برابر بردار صفر شود ($v + \text{وارون} = \mathbf{0}$). همچنین طبق قضیه ۲۷.۱، این وارون منحصربه‌فرد است. بنابراین کافی است نشان دهیم اگر بردار $(-1)v$ را با خود $v$ جمع کنیم، حاصل برابر با بردار صفر ($\mathbf{0}$) می‌شود! اگر این جمع صفر شد، آنگاه بنا به یکتایی وارون، $(-1)v$ ناگزیر همان $-v$ خواهد بود!

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

گام اول (شروع از جمع بردار با کاندیدای وارون):

فرض کنید $v \in V$ برداری دلخواه در فضای برداری باشد. عبارت $v + (-1)v$ را در نظر می‌گیریم:

گام دوم (استفاده از اصل همانی ضرب اسکالر):

طبق اصل موضوعه ششم فضای برداری (تعریف ۲۰.۱)، برای هر بردار داریم $1v = v$. پس به جای $v$ عبارت $1v$ را قرار می‌دهیم:

گام سوم (اعمال خاصیت توزیع‌پذیری):

طبق اصل موضوعه هشتم فضای برداری، ضرب اسکالر نسبت به جمع اسکالرها توزیع‌پذیر است: یعنی $(a + b)v = av + bv$. با خواندن این رابطه از راست به چپ (فاکتورگیری اسکالری از بردار $v$):

گام چهارم (محاسبه جمع در میدان اسکالرها):

در میدان $\mathbb{F}$، عدد $-1$ وارون جمعی عدد $1$ است، بنابراین حاصل جمع آن‌ها برابر با عدد صفر می‌شود ($1 + (-1) = 0$). پس داریم:

(توجه: این $0$، عدد صفر در میدان $\mathbb{F}$ است).

گام پنجم (استفاده از قضیه ۳۰.۱):

طبق قضیه ۳۰.۱، ضرب عدد صفر در هر برداری برابر با بردار صفر ($\mathbf{0}$) است:

گام ششم (نتیجه‌گیری و بستن اثبات با اصل یکتایی):

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

این معادله با زبان ریاضی می‌گوید که بردار $(-1)v$ وقتی با $v$ جمع می‌شود، حاصل برابر بردار صفر می‌گردد. بنابراین طبق تعریف وارون جمعی، شیء $(-1)v$ یک وارون جمعی برای $v$ است. از طرف دیگر، طبق قضیه ۲۷.۱، وارون جمعی هر بردار کاملاً یکتا و منحصربه‌فرد است و با نماد $-v$ نشان داده می‌شود (نماد ۲۸.۱). بنابراین ناچاراً باید داشته باشیم:

و حکم قضیه با زیبایی و دقت مطلق به اثبات رسید $\blacksquare$

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

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

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