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

یک دستگاه معادلات خطی مجموعه‌ای از شرایط همزمان است که هندسه تقاطع خطوط و صفحات را توصیف می‌کند؛ روش حذفی گاوس ابزار مکانیکی قدرتمندی است که با استفاده از عملیات جبری سطری، مجهول‌ها را یکی پس از دیگری خلع سلاح کرده و به ما می‌گوید آیا بردارها مستقل‌اند یا به هم وابسته‌اند.

دستگاه معادلات خطی و فرم ماتریسی

یک دستگاه شامل $m$ معادله و $n$ مجهول به صورت زیر تعریف می‌شود:

a_{11} x_1 + a_{12} x_2 + \dots + a_{1n} x_n = b_1 \\ a_{21} x_1 + a_{22} x_2 + \dots + a_{2n} x_n = b_2 \\ \vdots \\ a_{m1} x_1 + a_{m2} x_2 + \dots + a_{mn} x_n = b_m \end{cases}$$ فرم ماتریسی فشرده: $$A x = b$$ که در آن $A \in \mathbb{F}^{m \times n}$ ماتریس ضرایب، $x \in \mathbb{F}^n$ بردار مجهولات و $b \in \mathbb{F}^m$ بردار معلومات است. **ماتریس الحاقی (افزوده):** ماتریسی که بردار $b$ در کنار ضرایب قرار می‌گیرد: $[A \mid b]$.

عملیات سطری مقدماتی (Elementary Row Operations)

این عملیات مجموعه جواب‌های دستگاه را تغییر نمی‌دهند: ۱. جابه‌جایی دو سطر: $R_i \leftrightarrow R_j$. ۲. ضرب یک سطر در یک عدد غیرصفر: $R_i \leftarrow c R_i \quad (c \neq 0)$. ۳. افزودن مضربی از یک سطر به سطر دیگر: $R_i \leftarrow R_i + c R_j$.

دستگاه همگن ($Ax = 0$) و استقلال خطی

اگر سمت راست معادلات تماماً صفر باشد ($b = 0$)، دستگاه را همگن (Homogeneous) می‌نامند:

• دستگاه همگن همیشه حداقل یک جواب دارد که همان جواب بدیهی $x_1 = x_2 = \dots = x_n = 0$ است.
• ارتباط با استقلال خطی:
  • اگر دستگاه $Ax = 0$ تنها و تنها جواب بدیهی داشته باشد $\implies$ ستون‌های ماتریس مستقل خطی هستند.
  • اگر دستگاه علاوه بر صفر، جواب‌های غیربدیهی (غیرصفر) داشته باشد $\implies$ ستون‌های ماتریس وابسته خطی هستند.
• قضیه کلیدی: اگر تعداد مجهولات بیشتر از تعداد معادلات باشد ($n > m$)، دستگاه همگن قطعاً متغیر آزاد دارد و جواب‌های غیرصفر بی‌شمار خواهد داشت (این قضیه ستون فقرات اثبات قضیه ۲.۲۳ آکسلر است).

بررسی استقلال خطی با روش حذفی گاوس

مسئله: آیا سه بردار زیر در $\mathbb{R}^3$ مستقل خطی هستند؟

$$v_1 = (1, 1, 2), \quad v_2 = (1, 0, 1), \quad v_3 = (2, 1, 3)$$

حل گام‌به‌گام: ۱. معادله برداری استقلال خطی را می‌نویسیم:

$$c_1 v_1 + c_2 v_2 + c_3 v_3 = (0, 0, 0)$$

۲. ماتریس ضرایب دستگاه را تشکیل می‌دهیم (بردارها به صورت ستونی):

$$A = \begin{bmatrix} 1 & 1 & 2 \\ 1 & 0 & 1 \\ 2 & 1 & 3 \end{bmatrix}$$

۳. اعمال سطری مقدماتی برای رسیدن به فرم پلکانی:

• سطر اول را از سطر دوم کم می‌کنیم ($R_2 \leftarrow R_2 - R_1$): $$\begin{bmatrix} 1 & 1 & 2 \\ 0 & -1 & -1 \\ 2 & 1 & 3 \end{bmatrix}$$
• دو برابر سطر اول را از سطر سوم کم می‌کنیم ($R_3 \leftarrow R_3 - 2R_1$): $$\begin{bmatrix} 1 & 1 & 2 \\ 0 & -1 & -1 \\ 0 & -1 & -1 \end{bmatrix}$$
• سطر دوم را از سطر سوم کم می‌کنیم ($R_3 \leftarrow R_3 - R_2$): $$\begin{bmatrix} 1 & 1 & 2 \\ 0 & -1 & -1 \\ 0 & 0 & 0 \end{bmatrix}$$

۴. تحلیل سطر صفر: سطر سوم تماماً صفر شد ($0 \cdot c_3 = 0$)! این یعنی مجهول $c_3$ یک متغیر آزاد است. اگر قرار دهیم $c_3 = 1$:

• از سطر دوم: $-c_2 - c_3 = 0 \implies c_2 = -c_3 = -1$.
• از سطر اول: $c_1 + c_2 + 2c_3 = 0 \implies c_1 - 1 + 2(1) = 0 \implies c_1 = -1$.

۵. نتیجه‌گیری: ضرایب غیرصفر پیدا شدند:

$$-1 v_1 - 1 v_2 + 1 v_3 = 0 \implies v_3 = v_1 + v_2$$

بنابراین بردارها وابسته خطی هستند و $v_3$ در صفحه دو بردار اول قرار دارد!

اشتباهات متداول در دستگاه معادلات و ماتریس‌ها

• اشتباه ۱: تصور اینکه دستگاه همگن می‌تواند فاقد جواب باشد: یک دستگاه همگن ($Ax = 0$) هرگز بی‌جواب نیست! زیرا بردار صفر ($x=0$) همواره در آن صدق می‌کند. بنابراین یا دقیقاً ۱ جواب دارد (فقط صفر) یا بی‌شمار جواب دارد.
• اشتباه ۲: اشتباه گرفتن سطر صفر ($0=0$) با تناقض ($0=5$): سطر تماماً صفر $\begin{bmatrix} 0 & 0 & \dots & 0 \mid 0 \end{bmatrix}$ به معنای وجود بی‌شمار جواب و متغیر آزاد است؛ اما سطر $\begin{bmatrix} 0 & 0 & \dots & 0 \mid 5 \end{bmatrix}$ به معنای تناقض $0 = 5$ و عدم وجود هیچ جوابی است.
• اشتباه ۳: اشتباهات محاسباتی علامت منفی در سطرهای ماتریس: بیش از ۸۰٪ خطاهای دانشجویان در حذف گاوسی ناشی از فراموش کردن علامت منفی در حین ضرب و تفریق سطرهاست ($R_i - c R_j$). همیشه محاسبات را گام‌به‌گام روی کاغذ یادداشت کنید.