تعریف ۱۵.۲: استقلال خطی (Linear Independence)

۱. درک شهودی و انگیزه اصلی آکسلر (یکتایی مختصات)

فرض کنید بردار $v$ در گستره بردارهای $v_1, \dots, v_m$ باشد:

آیا این ضرایب $a_1, \dots, a_m$ (که در واقع مختصات $v$ نسبت به این بردارها هستند) یکتا هستند؟ فرض کنیم یک نمایش دومی با ضرایب $c_1, \dots, c_m$ نیز برای $v$ وجود داشته باشد:

با کم کردن این دو رابطه از یکدیگر به دست می‌آوریم:

این معادله بردار صفر را به صورت ترکیبی خطی از $v_1, \dots, v_m$ نشان می‌دهد.

• حال اگر تنها راه ساختن بردار صفر، صفر بودن تک‌تک ضرایب باشد، آنگاه لزوماً: $$a_1 - c_1 = 0 \implies a_1 = c_1, \quad \dots, \quad a_m - c_m = 0 \implies a_m = c_m$$
• این یعنی نمایش هر بردار کاملاً یکتا خواهد بود! این ویژگی بنیادین که ضامن یکتایی نمایش و عدم اتلاف ابعاد است، استقلال خطی نام دارد.

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

۳. کالبدشکافی شرایط و حالت‌های خاص

• لیست تک‌عضوی ($m = 1$): لیست با طول یک $v_1$ مستقل خطی است اگر و تنها اگر $v_1 \neq 0$. (زیرا اگر $v_1 = 0$ باشد، ضریب $a_1 = 5 \neq 0$ هم رابطه $5(0) = 0$ را ارضا می‌کند).
• لیست دو عضوی ($m = 2$): لیست $v_1, v_2$ مستقل خطی است اگر و تنها اگر هیچ‌یک از دو بردار مضرب اسکالر دیگری نباشد (هم‌خط نباشند).
• حذف اعضا از لیست مستقل: اگر تعدادی بردار از یک لیست مستقل خطی حذف شوند، زیرلیست باقی‌مانده نیز قطعاً مستقل خطی است.

۴. تعبیر هندسی و مدل تعاملی جئوجبرا

در فضای سه بعدی، سه بردار مستقل خطی نباید روی یک صفحه مشترک قرار گیرند.

appName: 3d
width: 700
height: 450
showToolBar: false
showAlgebraInput: true
showMenuBar: false
commands:
  - "Pt1 = (0,0,0)"
  - "Pt2 = (2, 0, 0)"
  - "u = Vector(Pt1, Pt2)"
  - "Pt3 = (0,0,0)"
  - "Pt4 = (0, 2, 0)"
  - "v = Vector(Pt3, Pt4)"
  - "Pt5 = (0,0,0)"
  - "Pt6 = (1, 1, 2)"
  - "w = Vector(Pt5, Pt6)"
caption: "سه بردار مستقل خطی در فضای سه‌بعدی که در یک صفحه قرار ندارند"
explain:
  - "بردارهای u و v در صفحه xy قرار دارند."
  - "بردار w دارای مولفه z مثبت است و از صفحه خارج شده است؛ بنابراین این سه بردار مستقل خطی‌اند."

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

• پیش‌نیاز: تعریف ۲.۲: ترکیب خطی
• نمونه‌های استاندارد: مثال ۱۶.۲: لیست‌های مستقل خطی
• نقطه مقابل: تعریف ۱۷.۲: وابستگی خطی
• پیوند با پایه: تعریف ۲۶.۲: پایه