𝑛𝑛 × 𝑛𝑛-es lineáris egyenletrendszer egyértelmű megoldhatóságának jellemzése a
determinánssal, kapcsolat a lineáris egyenletrendszerek, az Rn-beli generált altérhez tartozás kérdése, illetve a mátrixszorzáson alapuló mátrixegyenletek között, kapcsolat a négyzetes mátrix determinánsa, illetve a sorok és oszlopok lineáris függetlensége között
Mátrixok és lineáris egyenletrendszerek kapcsolata
𝑎𝑎1,1 ⋯ 𝑎𝑎1,𝑛𝑛 𝑥𝑥1 𝑏𝑏1 • 𝐴𝐴𝑥𝑥 = 𝐵𝐵; 𝐴𝐴: 𝑛𝑛 × 𝑛𝑛-es mátrix, 𝐵𝐵: 𝑛𝑛 × 1-es mátrix � ⋮ ⋱ ⋮ �∙� ⋮ �=� ⋮ � 𝑎𝑎𝑛𝑛,1 ⋯ 𝑎𝑎𝑛𝑛,𝑛𝑛 𝑥𝑥𝑛𝑛 𝑏𝑏𝑛𝑛 • ilyenkor a mátrix oszlopainak egy lineáris kombinációját kapjuk, melynek együtthatói az oszlopvektor koordinátái • ha A-t valami 𝐵𝐵: 𝑛𝑛 × 𝑘𝑘-s mátrixszal szorozzuk be, akkor A különböző lineáris kombinációit kapjuk, amelyek együtthatói a B megfelelő oszlopában álló elemek • T: Ha �𝐴𝐴�𝑏𝑏� 𝑛𝑛 × 𝑛𝑛-nek egyértelmű megoldása van, akkor: det 𝐴𝐴 ≠ 0 • Biz: ilyenkor a Gauss-elimináció során nem kaphatunk csupa0 vagy tilos sort, tehát tényleg lesz egyértelmű megoldás, mivel a sorekvivalens átalakítások alatt változhat a determináns, de ha az nem 0 volt az elején, akkor később nem lehet belőle 0 (mivel 0- val beszorzás nem sorekvivalens átalakítás) • T: Legyen 𝐴𝐴 ∈ ℝ𝑘𝑘×𝑛𝑛 , 𝑏𝑏 ∈ ℝ𝑘𝑘 , a következő állítások ekvivalensek: o �𝐴𝐴�𝑏𝑏� megoldható o 𝐴𝐴 ∙ 𝑥𝑥 = 𝐵𝐵 megoldható, tehát ∃𝑥𝑥, melyre teljesül o Ha 𝑎𝑎1 ⋯ 𝑎𝑎𝑛𝑛 az A oszlopai: 𝑏𝑏 ∈ 〈𝑎𝑎1 ⋯ 𝑎𝑎𝑛𝑛 〉 • Biz: o 1-2: át tudjuk írni olyan alakúra az egyenletet és a mátrixot, hiszen ha elvégezzük a mátrixszorzást, a kapott egyenletrendszert átírhatjuk a kibővített együtthatómátrixba o 2-3: mivel megoldható az egyenlet, lesz olyan lineáris kombináció, ami kiadja a 𝑏𝑏 -t: 𝑏𝑏 = 𝜆𝜆1 𝑎𝑎1 + ⋯ + 𝜆𝜆𝑛𝑛 𝑎𝑎𝑛𝑛 , 𝑎𝑎ℎ𝑜𝑜𝑜𝑜 𝜆𝜆1 ⋯ 𝜆𝜆𝑛𝑛 az egyenlet megoldásai, tehát igaz U
• T: Legyen 𝐴𝐴 ∈ ℝ𝑘𝑘×𝑛𝑛 , ekkor ha 𝐴𝐴 ∙ 𝑥𝑥 = 0-nak csak 𝑥𝑥 = 0 a megoldása, akkor:
o A oszlopai függetlenek • Biz: o ez a lineáris függetlenség definíciójából könnyen következik, ugyanis ekkor csak a triviális lineáris kombináció adja ki a 0-t, mivel 𝐴𝐴 ∙ 𝑥𝑥 = 𝑎𝑎1 ∙ 𝑥𝑥1 + ⋯ + 𝑎𝑎𝑛𝑛 ∙ 𝑥𝑥𝑛𝑛 o ebben az esetben ez: 0 = 𝑎𝑎1 ∙ 0 + ⋯ + 𝑎𝑎𝑛𝑛 ∙ 0 • T: Legyen 𝐴𝐴 ∈ ℝ𝑛𝑛×𝑛𝑛 o A oszlopai függetlenek o A sorai függetlenek o det 𝐴𝐴 ≠ 0 • Biz: o 1-3: 𝐴𝐴𝑥𝑥 = 0-nak egyértelmű megoldása van ↔ (𝐴𝐴|0)-nak egyértelmű megoldása van ↔ det 𝐴𝐴 ≠ 0 o 2-3: A sorai ftl-ek ⇔ 𝐴𝐴𝑇𝑇 oszlopai ftl-ek ⇔ det 𝐴𝐴𝑇𝑇 ≠ 0 ⇔ det 𝐴𝐴 ≠ 0