تعریف ۱۹.۱: جمع و ضرب اسکالر در فضاهای برداری
برای ساختن یک «فضای برداری»، به دو ابزار اصلی نیاز داریم: ۱. یک ماشین جمع که دو عضو از فضا را میگیرد و عضو سومی از همان فضا تحویل میدهد. ۲. یک ماشین ضرب اسکالر که یک عدد (از میدان ) و یک عضو از فضا را میگیرد و عضو مقیاسشدهای از همان فضا تحویل میدهد.
۱. درک شهودی و فیزیکی/هندسی
در دوران دبیرستان یاد گرفتیم که بردارها را میتوان با هم جمع کرد (پیکان اول را رسم کرده و ابتدای پیکان دوم را به انتهای اولی وصل میکنیم) یا اینکه آنها را در یک عدد ضرب کرد (طول پیکان را دو برابر میکنیم یا جهتش را برعکس میکنیم).
در جبر خطی پیشرفته، شلدون آکسلر مفهوم بردار را از قید و بند «پیکانهای فیزیکی» آزاد میکند. بردارها میتوانند توابع ریاضی، ماتریسها، دنبالهها، یا هر شیء انتزاعی دیگری باشند! اما برای اینکه بتوانیم با این اشیاء کار جبری کنیم، حداقل به دو «عملگر» نیاز داریم:
- بتوانیم دو شیء را با هم ترکیب کنیم (جمع).
- بتوانیم یک شیء را مقیاسبندی کنیم (ضرب اسکالر).
نکته حیاتی این است که حاصل این دو عمل نباید از مجموعه بیرون بزند؛ یعنی مجموعه باید نسبت به این دو عمل «بسته» باشد.
۲. متن رسمی ریاضی (کتاب آکسلر)
-
یک جمع (Addition) روی مجموعه ، تابعی است که به هر جفت از عناصر یک عنصر نسبت میدهد:
-
یک ضرب اسکالر (Scalar Multiplication) روی مجموعه ، تابعی است که به هر و هر یک عنصر نسبت میدهد:
۳. کالبدشکافی شرایط و شروط ریاضی
این تعریف بهظاهر ساده شامل دو شرط بنیادی در ریاضیات است:
-
۱. بستهبودن تحت جمع (Closure under Addition): اگر و در باشند، حاصل حتماً و تضمینشده عضوی از است. تابع بودن عمل جمع به این معناست که حاصلجمع همیشه وجود دارد، منحصربهفرد است و هرگز به خارج از پرتاب نمیشود.
-
۲. بستهبودن تحت ضرب اسکالر (Closure under Scalar Multiplication): اگر عددی مثل را از میدان اسکالرها (که معمولاً یا است) برداریم و در برداری از ضرب کنیم، خروجی حتماً برداری در همان مجموعه است.
-
اگر این شرایط برقرار نباشد چه میشود؟ فرض کنید مجموعه تمام بردارهای صفحه مختصات را در نظر بگیریم که مؤلفه اولشان مثبت باشد:
اگر بردار را در عدد منفی ضرب کنیم، حاصل میشود که مؤلفه اولش منفی است و دیگر عضو نیست! بنابراین روی این مجموعه عمل ضرب اسکالر معتبر نیست چون از مجموعه بیرون میافتد.
۴. مثالها و غیرمثالها (Examples & Non-Examples)
روی صفحه دوبعدی :
- اگر و باشند، جمع به صورت مؤلفهبهمؤلفه تعریف میشود:
- اگر اسکالر باشد: هر دو خروجی همچنان اعضای هستند.
ضرب نقطهای دو بردار در :
هشدار: ضرب نقطهای، «ضرب اسکالر» نیست! ضرب نقطهای دو بردار را میگیرد و یک عدد میدهد، در حالی که ضرب اسکالر یک عدد و یک بردار را میگیرد و یک بردار میدهد!
۵. تعبیر هندسی و بصری
- جمع برداری: اگر بردار را جابهجایی اول و را جابهجایی دوم فرض کنیم، برآیند این دو حرکت در صفحه است (قاعده مثلث یا متوازیالأضلاع).
- ضرب اسکالر: عملگر خطِ راستِ گذرنده از مبدأ و بردار را در نظر میگیرد و بردار را روی این خط منبسط ()، منقبض ()، یا معکوس () میکند.
- عمل جمع: دو بردار u و v طبق قاعده متوازیالأضلاع با هم جمع شده و بردار sum را میسازند.
- عمل ضرب اسکالر: بردار scaled_u کشیدگی u با ضریب ۱.۸ است و neg_v قرینه v تحت ضریب ۱- است.
کد اصلی رسم
appName: classic
width: 700
height: 380
showToolBar: false
showAlgebraInput: true
showMenuBar: false
commands:
- "Origin = Point({0, 0})"
- "O = (0, 0)"
- "Pt1 = (2, 1)"
- "u = Vector(O, Pt1)"
- "Pt2 = (1, 2)"
- "v = Vector(O, Pt2)"
- "sum = u + v"
- "scaled_u = 1.8 * u"
- "neg_v = -1 * v"
caption: "نمایش هندسی دو عمل بنیادین فضای برداری: جمع بردارها (u + v) و ضرب اسکالر (کشیدگی و بازتاب)"
explain:
- "عمل جمع: دو بردار u و v طبق قاعده متوازیالأضلاع با هم جمع شده و بردار sum را میسازند."
- "عمل ضرب اسکالر: بردار scaled_u کشیدگی u با ضریب ۱.۸ است و neg_v قرینه v تحت ضریب ۱- است."۶. ارتباطات و پیوندهای اتمیک
- پیشنیازهای مستقیم:
- مفاهیم وابسته و قضایای بعدی:
- فهرست مرجع فصل: