تعریف ۱۳.۱: عمل جمع برداری در (Addition in F^n)
عمل جمع در به صورت «مؤلفه به مؤلفه» تعریف میشود؛ از دیدگاه هندسی در و ، این عمل همان جابهجایی متوالی یا قانون متوازیالأضلاع است.
۱. درک شهودی و پیشزمینه فیزیکی
در فیزیک پایه دبیرستان، جمع بردارها را به دو روش شهودی آموختهایم:
- روش مثلثی (اتصال نوک به دم): اگر ابتدا به اندازه بردار جابهجا شویم و سپس از همان نقطه انتهایی به اندازه بردار حرکت کنیم، جابهجایی خالص کل از نقطه آغازین تا نقطه پایانی دقیقاً بردار برآیند است.
- قاعده متوازیالأضلاع: اگر دو بردار هممبدأ باشند، قطر متوازیالأضلاعی که بر مبنای این دو ضلع ساخته میشود، حاصلجمع آنها را نشان میدهد.
در جبر خطی، ما این شهود فیزیکی را به زبان جبری دقیق تبدیل میکنیم: کافی است هر مؤلفه را با مؤلفه همنام خود در بردار دوم جمع کنیم.
۲. متن رسمی ریاضی (کتاب آکسلر)
جمع در با جمع کردن مختصاتهای متناظر تعریف میشود:
که در آن و .
۳. کالبدشکافی و ویژگیهای عمل جمع
- بسته بودن (Closure): چون یک میدان است و تحت جمع بسته است ()، بنابراین حاصل جمع یک لیست به طول با عناصر در است؛ یعنی:
- عمل دوتایی داخلی: جمع تابعی است از به درون .
- تعمیم به ابعاد دلخواه: اگرچه فرمول بالا برای هر بعد کار میکند، اما فقط برای و تصویر فیزیکی مستقیم دارد؛ در ابعاد بالاتر (مانند ) همان تعریف جبری حاکم است.
۴. تعبیر هندسی و شبیهسازی جئوجبرا (GeoGebra)
در فضای دوبعدی ، بردارها را میتوان به صورت پیکانهایی با مبدأ مشخص دید. با حرکت دادن موازی بردار دوم بدون تغییر زاویه و طول، هندسه جمع به سادگی آشکار میگردد:
- بردار u (آبی) از مبدأ تا نقطه (3, 1) کشیده شده است.
- بردار v (قرمز) به انتهای u انتقال یافته و به نقطه نهایی (4, 4) میرسد.
- بردار برآیند w = u + v بردار حاصلجمع از مبدأ تا نقطه (4, 4) است.
کد اصلی رسم
appName: classic width: 700 height: 380 showToolBar: false showAlgebraInput: true showMenuBar: false commands: - "O = (0, 0)" - "Pt1 = (3, 1)" - "u = Vector(O, Pt1)" - "Pt2 = (1, 3)" - "v = Vector(O, Pt2)" - "w = u + v" - "Pt3 = (3, 1)" - "Pt4 = (4, 4)" - "v_trans = Vector(Pt3, Pt4)" caption: "نمایش جمع برداری u + v به قاعده متوازیالأضلاع و روش مثلثی در R^2" explain: - "بردار u (آبی) از مبدأ تا نقطه (3, 1) کشیده شده است." - "بردار v (قرمز) به انتهای u انتقال یافته و به نقطه نهایی (4, 4) میرسد." - "بردار برآیند w = u + v بردار حاصلجمع از مبدأ تا نقطه (4, 4) است."
۵. مثال عددی گامبهگام
فرض کنید و دو بردار در باشند. حاصلجمع برابر است با:
۶. ارتباطات و پیوندهای اتمیک
- فضای زمینه: تعریف ۱۱.۱: فضای Fn و مختصات
- اثبات خاصیت جابهجایی این جمع: قضیه ۱۴.۱: اثبات جابهجایی جمع در Fn
- عضو خنثای این عمل: نماد ۱۵.۱: تعریف بردار صفر 0 در Fn
- وارون این عمل: تعریف ۱۷.۱: وارون جمعی -x در Fn