نماد ۲۸.۱: علامت منفی و تفریق بردارها (Notation $-v$ and $w - v$)

۱. درک شهودی و چرایی این نمادگذاری

در ریاضیات دبیرستان، از همان ابتدا چهار عمل اصلی (جمع، تفریق، ضرب، تقسیم) به ما آموزش داده می‌شود. اما در ریاضیات دانشگاهی و ساختارهای جبری متوجه می‌شویم که:

• عمل بنیادین فقط «جمع» است.
• «تفریق» در واقع جمع کردن با یک عدد قرینه است! مثلاً $7 - 3$ یعنی $7 + (-3)$.

در فضاهای برداری نیز دقیقاً همین فلسفه حاکم است: ما دو عمل اصلی تعریف کردیم: «جمع» و «ضرب اسکالر». هیچ نیازی به تعریف عمل سومی به نام تفریق نیست! به لطف قضیه ۲۷.۱، می‌دانیم هر بردار $v$ دقیقاً یک بردار وارون جمعی دارد. پس علامت $-v$ هیچ ابهامی ندارد و مستقیماً به آن عضو یکتا اشاره می‌کند.

۲. متن رسمی ریاضی (کتاب آکسلر)

۳. کالبدشکافی و تعبیر هندسی

این تعریف در صفحه مختصات دو‌بعدی $\mathbb{R}^2$ و سه‌بعدی $\mathbb{R}^3$ تصویری بسیار روشن دارد:

الف) هندسه بردار $-v$

اگر $v$ پیکانی با طول مشخص و جهت معین باشد:

• بردار $-v$ پیکانی با دقیقاً همان طول و در جهت خلاف (زاویه ۱۸۰ درجه) است.
• اگر $v = (x_1, x_2)$ باشد، آنگاه $-v = (-x_1, -x_2)$ است.

ب) هندسه بردار تفریق $w - v$

بردار $w - v$ را می‌توان از دو راه تجسم کرد:

1. روش انتقال و جمع: بردار $-v$ را رسم کرده و با $w$ طبق قاعده جمع متوازی‌الأضلاع جمع می‌کنیم.
2. بردار متصل‌کننده (پیکان اختلاف): اگر هر دو بردار $v$ و $w$ از مبدأ مختصات رسم شوند، بردار $w - v$ پیکانی است که از نوک بردار $v$ شروع شده و به نوک بردار $w$ ختم می‌شود.
   • دلیل: طبق جبر، داریم $v + (w - v) = w$؛ یعنی اگر از $v$ شروع کنیم و بردار $(w - v)$ را طی کنیم، به مقصد یعنی $w$ می‌رسیم!

appName: classic
width: 700
height: 380
showToolBar: false
showAlgebraInput: true
showMenuBar: false
commands:
  - "Origin = Point({0, 0})"
  - "O = (0, 0)"
  - "Pt1 = (4, 3)"
  - "w = Vector(O, Pt1)"
  - "Pt2 = (1, 2)"
  - "v = Vector(O, Pt2)"
  - "neg_v = -v"
  - "diff = w - v"
  - "Pt3 = (1, 2)"
  - "Pt4 = (4, 3)"
  - "connecting = Vector(Pt3, Pt4)"
caption: "تعبیر هندسی تفریق بردارها w - v: جمع w با منفی v و تشکیل پیکان اتصال از انتهای v به انتهای w"
explain:
  - "بردار w به نقطه (4, 3) و بردار v به نقطه (1, 2) وصل است."
  - "بردار diff = w - v از مبدا به نقطه (3, 1) کشیده شده است."
  - "بردار connecting پیکانی است که مستقیماً از انتهای v به انتهای w می‌رود و معادل بردار تفریق است (چون v + (w - v) = w)."

۴. مثال‌ها و ویژگی‌های کلیدی

۵. تعبیر در فضای توابع $\mathbb{F}^S$

اگر $f, g \in \mathbb{F}^S$ دو تابع باشند:

• تابع $-f$ تابعی است که در هر نقطه $x \in S$، خروجی‌اش $-f(x)$ است.
• تابع $f - g$ تابعی است که در هر نقطه $x \in S$، مقدارش برابر با اختلاف مقادیر دو تابع است: $$(f - g)(x) = f(x) - g(x)$$

۶. ارتباطات و پیوندهای اتمیک

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