تعریف ۱۷.۱: وارون جمعی $-x$ در $\mathbb{F}^n$ (Additive Inverse in F^n)

۱. درک شهودی و فیزیکی

تصور کنید شما برداری به نام $x$ دارید که جابه‌جایی شما را به اندازه ۵ کیلومتر به سمت شمال شرق نشان می‌دهد. اگر بخواهید دقیقاً به نقطه مبدأ برگردید، چه حرکتی باید انجام دهید؟ باید برداری با همان اندازه ۵ کیلومتر اما به سمت جنوب غرب طی کنید.

این بردار برگشت، دقیقاً وارون جمعی بردار اولیه است؛ چرا که حاصل ترکیب رفت و برگشت، رسیدن به مبدأ مختصات (بردار صفر) است.

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

۳. کالبدشکافی شرایط ریاضی

• یکتایی وارون جمعی: آکسلر تصریح می‌کند که وارون جمعی هر بردار منحصربه‌فرد است. (اثبات یکتایی عمومی آن برای هر فضای برداری در قضیه ۲۷.۱ فصل اول ارائه خواهد شد).
• تعریف عمل تفریق بردارها: به کمک وارون جمعی، عمل تفریق دو بردار $y$ و $x$ در $\mathbb{F}^n$ به عنوان جمع $y$ با وارون جمعی $x$ تعریف می‌شود: $$y - x = y + (-x) = (y_1 - x_1, \dots, y_n - x_n)$$

۴. تعبیر هندسی و شبیه‌سازی جئوجبرا (GeoGebra)

در صفحه مختصات دو‌بعدی $\mathbb{R}^2$، اگر بردار $x$ از مبدأ به نقطه $(a, b)$ وصل شده باشد، بردار وارون جمعی $-x$ از مبدأ به نقطه $(-a, -b)$ کشیده می‌شود. این دو بردار بر روی یک خط راست قرار داشته و زاویه بین آن‌ها $180^\circ$ (یا $\pi$ رادیان) است:

appName: classic
width: 700
height: 380
showToolBar: false
showAlgebraInput: true
showMenuBar: false
commands:
  - "O = (0, 0)"
  - "Pt1 = (3, 2)"
  - "vx = Vector(O, Pt1)"
  - "neg_x = -vx"
caption: "نمایش هندسی بردار x و وارون جمعی آن -x در صفحه R^2"
explain:
  - "بردار x (سبز) به سمت نقطه (3, 2) جهت‌گیری دارد."
  - "بردار وارون -x (قرمز) دارای همان اندازه و راستا، اما در جهت کاملاً مخالف به سمت (-3, -2) است."
  - "مجموع این دو بردار، بردار صفر در مبدأ مختصات است."

۵. مثال عددی در $\mathbb{F}^n$

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

• مفاهیم پیش‌نیاز: تعریف ۱۳.۱: عمل جمع برداری در Fn | نماد ۱۵.۱: تعریف بردار صفر 0 در Fn
• پیوند با ضرب اسکالر: رابطه بنیادین $(-1)x = -x$ در تعریف ۱۸.۱: عمل ضرب اسکالر در Fn