خلاصه شهودی در یک جمله

نماد سیگما ($\sum$) یک علامت اختصاری فشرده و هوشمند برای نوشتن جمع‌های طولانی است؛ و «ترکیب خطی» شاه‌کلید تمام جبر خطی است که می‌گوید با ضرب کردن چند بردار در ضرایب عددی دلخواه و جمع کردن آن‌ها، چه بردارهای جدیدی می‌توان خلق کرد.

نماد جمع سیگما ($\sum$)

عبارت $\sum_{j=k}^n a_j$ خوانده می‌شود: «مجموع $a_j$ به ازای $j$ از $k$ تا $n$»:

$$\sum_{j=k}^n a_j = a_k + a_{k+1} + a_{k+2} + \dots + a_n$$

• $j$: شمارنده یا متغیر ساختگی (Dummy Index) (نام آن اهمیتی ندارد؛ به جای $j$ می‌توان از $i$ یا $k$ استفاده کرد).
• $k$: حد پایین (Lower limit).
• $n$: حد بالا (Upper limit).

قوانین و خواص جبری سیگما

۱. خاصیت توزیع‌پذیری (بیرون کشیدن اسکالر): اگر $c$ به متغیر شمارنده $j$ وابسته نباشد، می‌توان آن را از سیگما بیرون کشید:

$$\sum_{j=1}^m c \cdot a_j = c \sum_{j=1}^m a_j$$

۲. خاصیت جمع‌پذیری (تفکیک سیگما):

$$\sum_{j=1}^m (a_j + b_j) = \sum_{j=1}^m a_j + \sum_{j=1}^m b_j$$

۳. تفکیک بازه جمع (جدا کردن یک جمله خاص): در اثبات‌های کتاب آکسلر بسیار رایج است که یک بردار خاص (مثلاً بردار $k$-اُم) را از جمع جدا کنند:

$$\sum_{j=1}^m c_j v_j = \sum_{j=1}^{k-1} c_j v_j + c_k v_k + \sum_{j=k+1}^m c_j v_j$$

۴. تغییر اندیس (Index Shift):

$$\sum_{j=1}^m a_j = \sum_{k=0}^{m-1} a_{k+1}$$

ترکیب خطی (Linear Combination) در فضاهای برداری

فرض کنید $v_1, v_2, \dots, v_m$ بردارهایی در فضای برداری $V$ باشند. هر بردار $v \in V$ که بتوان آن را به فرم زیر نوشت:

$$v = c_1 v_1 + c_2 v_2 + \dots + c_m v_m = \sum_{j=1}^m c_j v_j$$

که در آن $c_1, \dots, c_m \in \mathbb{F}$ اعدادی از میدان اسکالرها هستند، یک ترکیب خطی از لیست $(v_1, \dots, v_m)$ نامیده می‌شود.

مثال ۱: بررسی ترکیب خطی در $\mathbb{R}^3$

مسئله: آیا بردار $w = (5, 8, -1)$ یک ترکیب خطی از دو بردار $v_1 = (1, 2, 1)$ و $v_2 = (1, 1, -1)$ است؟

حل گام‌به‌گام: ۱. طبق تعریف باید بررسی کنیم آیا اسکالرهای $c_1, c_2 \in \mathbb{R}$ وجود دارند که:

$$w = c_1 v_1 + c_2 v_2$$

۲. دستگاه مختصاتی را باز می‌کنیم:

$$(5, 8, -1) = c_1 (1, 2, 1) + c_2 (1, 1, -1) = (c_1 + c_2, 2c_1 + c_2, c_1 - c_2)$$

۳. دستگاه معادلات سه مجهولی زیر تشکیل می‌شود:

$$\begin{cases} c_1 + c_2 = 5 & \text{(معادله ۱)} \\ 2c_1 + c_2 = 8 & \text{(معادله ۲)} \\ c_1 - c_2 = -1 & \text{(معادله ۳)} \end{cases}$$

۴. از تفریق معادله ۱ از معادله ۲ داریم:

$$(2c_1 + c_2) - (c_1 + c_2) = 8 - 5 \implies c_1 = 3$$

۵. با جایگذاری در معادله ۱:

$$3 + c_2 = 5 \implies c_2 = 2$$

۶. حال بررسی سازگاری در معادله ۳:

$$c_1 - c_2 = 3 - 2 = 1 \neq -1 \quad \text{❌ تناقض!}$$

۷. نتیجه نهایی: چون جواب معادلات در سطر سوم صدق نکرد، بردار $w$ در صفحه تولید شده توسط $v_1$ و $v_2$ قرار ندارد؛ بنابراین $w$ ترکیب خطی از $v_1$ و $v_2$ نیست ($w \notin \operatorname{span}(v_1, v_2)$).

اشتباهات متداول در نماد سیگما و ترکیبات خطی

• اشتباه ۱: بیرون کشیدن متغیر وابسته به اندیس از سیگما: هرگز متغیری را که اندیس $j$ دارد به بیرون پرانتز نکشید! $$\sum_{j=1}^m j \cdot a_j \neq j \sum_{j=1}^m a_j \quad \text{❌ غلط فاحش!}$$ فقط ضرایبی مجاز به خروج از سیگما هستند که ربطی به شمارنده $j$ نداشته باشند.
• اشتباه ۲: ترکیب خطی بدون اسکالر: ترکیب خطی صرفاً به معنای جمع کردن ساده بردارها ($v_1 + v_2$) نیست؛ بلکه حاصل‌ضرب در هر ضریب دلخواهی ($c_1 v_1 + c_2 v_2$) مدنظر است. حتی اگر همه ضرایب صفر باشند ($c_j = 0$)، بردار صفر همواره یک ترکیب خطی از هر لیستی از بردارهاست.
• اشتباه ۳: سردرگمی در اندیس‌های تو در تو (سیگمای دوگانه): در فصل ۳ هنگام بررسی ماتریس تبدیل‌ها با $\sum_{i=1}^m \sum_{j=1}^n A_{ij} v_j$ روبه‌رو می‌شوید. به یاد داشته باشید که ترتیب جمع‌ها برای مجموع‌های متناهی آزادانه قابل جابه‌جایی است.