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

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

در نگاه اول، یک دانش‌آموز دبیرستانی ممکن است بگوید:

«اینکه کاملاً بدیهی است! صفر ضرب در هر چیزی برابر صفر می‌شود!»

اما یک ریاضیدان هوشیار بلافاصله می‌پرسد:

«چرا؟ عدد صفر یک عدد از میدان اسکالرهاست، در حالی که $v$ یک شیء انتزاعی از فضاست (شاید یک تابع یا یک ماتریس)! چه تضمینی وجود دارد که ضرب این عدد در آن شیء، دقیقاً همان عضو خنثای جمع فضا را تولید کند؟»

تنها پل ارتباطی میان «جمع برداری» و «ضرب اسکالر» در اصول موضوعه فضای برداری، خاصیت توزیع‌پذیری (Distributive Property) است. بنابراین بدون استفاده از خاصیت توزیع‌پذیری، اثبات این گزاره غیرممکن است! این قضیه اثبات می‌کند که رفتار ضرب اسکالر با عقل سلیم ریاضی کاملاً منطبق است.

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)"
  - "v_half = 0.5 * v"
  - "v_small = 0.2 * v"
  - "v_zero = 0 * v"
caption: "انقباض تدریجی بردار v به سمت مبدا مختصات با کاهش ضرایب اسکالر تا رسیدن به 0v = 0"
explain:
  - "با ضرب در ضرایب کوچکتر از ۱ (مانند ۰.۵ و ۰.۲)، اندازه بردار کاهش می‌یابد اما راستای آن تغییر نمی‌کند."
  - "با قرار دادن ضریب صفر (0v)، طول بردار دقیقاً صفر شده و بر نقطه مبدا مختصات Origin = (0, 0) منطبق می‌شود."

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

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

• نوع اثبات: اثبات مستقیم با استفاده از ویژگی‌های جبری میدان و اصل توزیع‌پذیری.
• ایده محوری:
  1. در میدان اعداد می‌دانیم که $0 = 0 + 0$ است.
  2. عدد صفر را به صورت $(0 + 0)$ می‌نویسیم و در بردار $v$ ضرب می‌کنیم: $(0 + 0)v$.
  3. با استفاده از خاصیت توزیع‌پذیری، پرانتز را باز می‌کنیم تا به رابطه $0v = 0v + 0v$ برسیم.
  4. حال یک معادله داریم که $0v$ در هر دو طرف آن ظاهر شده است؛ با افزودن قرینه‌ی $0v$ به دو طرف معادله، یک $0v$ حذف شده و سمت دیگر برابر بردار صفر می‌شود!

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

گام اول (بسط اسکالر صفر در میدان):

فرض کنید $v \in V$ برداری دلخواه باشد. عدد $0$ عضو خنثای جمع در میدان $\mathbb{F}$ است، بنابراین:

طرفین این رابطه اسکالری را در بردار $v$ ضرب می‌کنیم:

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

طبق اصل موضوعه هشتم فضای برداری (تعریف ۲۰.۱)، عمل ضرب اسکالر نسبت به جمع اسکالرها توزیع‌پذیر است: یعنی برای هر دو اسکالر $a, b \in \mathbb{F}$ داریم $(a + b)v = av + bv$. با قرار دادن $a = 0$ و $b = 0$ به دست می‌آوریم:

گام سوم (افزودن وارون جمعی به دو طرف تساوی):

بردار $0v$ عضوی از فضای برداری $V$ است. طبق اصل موضوعه پنجم، هر عضو فضا دارای یک وارون جمعی است که آن را طبق نماد ۲۸.۱ با $-(0v)$ نشان می‌دهیم. این بردار وارون را به هر دو طرف معادله گام دوم اضافه می‌کنیم:

گام چهارم (ساده‌سازی طرف چپ):

طبق تعریف وارون جمعی، حاصل‌جمع هر بردار با وارونش برابر با بردار صفر ($\mathbf{0}$) است:

گام پنجم (ساده‌سازی طرف راست با شرکت‌پذیری):

برای طرف راست، ابتدا از اصل شرکت‌پذیری جمع استفاده می‌کنیم تا پرانتزها را جابه‌جا کنیم:

حال عبارت داخل پرانتز دوم طبق تعریف وارون جمعی برابر بردار صفر می‌شود:

و در نهایت، طبق تعریف عضو همانی جمعی ($u + \mathbf{0} = u$):

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

با برابر قرار دادن نتایج گام چهارم و پنجم:

حکم به طور کامل و بدون هیچ پرش جبری اثبات شد $\blacksquare$

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

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

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