Soustava Lineárních rovnic, Frobeniova, GEM

BI-SPOL.21-11
  • Soustavy lineárních rovnic.
  • Frobéniova věta a související pojmy
  • Vlastnosti a popis množiny řešení
  • Gaussova Eliminační Metoda GEM

Soustava lineárních rovnic

Předpoklady

#definice Grupa

Nechť  je neprázdná množina a  binární operace. Platí-li

  1. asociativní zákon:
  2. existence neutrálního prvku: existuje 𝑒 ∈𝑀 tak, že
  3. existence inverzních prvků:

pak říkáme, že uspořádaná dvojice  je grupa.

#definice Abelovská Grupa

Pokud je Grupa a pro platí komutativní zákon pak mluvíme o  abelovské grupě.

#definice Těleso

Nechť  je neprázdná množina a , dvě binární operace. Platí li, že

  1. je Abelovská Grupa (Neutrální prvek je 0 a jmenuje se nulový prvek)
  2. je Abelovská Grupa (neutrální prvek je 1 a jmenuje se jednotkový prvek)
  3. Platí levý a pravý Distributivní zákon tj. pak nazýváme uspořádanou trojici Tělesem.

Maticový zápis Soustava Lineárních Rovnic

  • Nechť
  • Rovnici nazýváme soustavou lineárních rovnic pro neznámých
  • Vektor nazýváme vektorem neznámých
  • Vektor nazýváme vektorem pravých stran
  • Matici nazýváme maticí soustavy
  • Matici rozšířenou maticí soustavy
  • Je-li , mluvíme o homogenní soustavě
  • Soustavu nazýváme přidruženou homogenní soustavou lineárních rovnic k soustavě
  • Množinu všech řešení soustavy značíme a množinu řešení přidružené homogenní soustavy

Horní stupňovitý tvar (HST)

  • O matici řekneme, že je v horním stupňovitém tvaru, jestliže jsou všechny řádky nulové , nebo jsou splněny obě následující podmínky:
    • Případné nulové řádky jsou pouze v dolní časti matice: existuje ˆ tak, že řádky 1 až k matice jsou nenulové a ostatní řádky jsou nulové
    • V nenulových řádcích je vždy první nenulový prvek až za prvním nenulovým prvkem z předchozího řádku: máme-li z předchozího bodu a označíme-li pro každé index nejlevějšího nenulového prvku v é řádku jako , tj. potom platí
  • Je-li matice v HST, potom sloupcům , ve kterých se vyskytuje první nenulový prvek řádku, říkáme hlavní sloupce, ostatním říkáme vedlejší sloupce
  • Soustava je v HST, pokud je v HST rozšířená matice soustavy

Operace GEM

#definice GEM

Pro matici s prvky definujeme tyto operace

  • (G1) prohození dvou řádků
  • (G2) vynásobení jednoho řádku nenulovým číslem
  • (G3) přičtení libovolného násobku jednoho řádku k jinému řádku

Gem neovlivňuje hodnost matice!

Vektorový prostor

#definice Vektorový prostor

Nechť je libovolné těleso a . Množinu spolu s operacemi definovaných po složkách takto:

  • a pro položime:

    • Nazýváme Vektorovým prostorem

Podprostor

#definice Podprostor

Nechť . Řekneme že je podprostor vektorového prostoru , Právě když platí

  • Množina je neprázdná, tedy
  • Množina je uzavřená vůči sčítání vektorů v ní, tedy
  • Množina je uzavřená vůči násobení vektorů v ní skalárem, tedy
    Vztah být podprostorem značíme
  • Podprostory a nazýváme triviální podprostory
  • je vlastní podprostor)

Lineární kombinace

#definice Lineární kombinace
  • Nechť a je soubor vektorů z Říkáme že vektor je lineární kombinací souboru právě když existují čísla taková že
  • Čísla nazýváme koeficienty lineární kombinace. Jestliže jsou všechny koeficienty nulové, , nazýváme takovou lineární kombinaci triviální. V opačném případě jde o netriviální lineární kombinaci

Další pojmy

#definice Lineární (ne)závislost

Nechť je soubor vektorů z Řekneme že soubor vektor je lineárně nezávislý (LN) právě když pouze triviální lineární kombinace tohoto souboru je rovna nulovému vektoru . V opačném případě je soubor lineárně závislý (LZ)

#definice Lineární obal

Lineární obal souboru vektorů je množina všech lineárních kombinací, značí se

#definice Generování podprostoru

O soubor vektorů z řekneme že generuje podprostor právě když .
V případě že můžeme říkaž že generuje prostor

#definice Báze

Mějme . Existuje-li v soubor vektorů takový že:
1. je LN
2. generuje P
pak soubor nazýváme bází

#definice Dimenze podprostoru

Buď  podprostor . Řekneme, že dimenze podprostoru  je rovna

  1. 𝟎, pokud neexistuje LN soubor vektorů z  délky 1.
  2. 𝐝 , pokud existuje LN soubor vektorů z  délky 𝐝, ale každý soubor vektorů z  𝑃 délky 𝐝 + 𝟏 už je LZ.
    Dimenzi podprostoru 𝑃 označujeme symbolem dim⁡.

Vztahy dimenze a podprostorů

  • Buď a nechť v existuje LN soubor délky . Potom
  • Buď a nechť je v každý soubor délky LZ. Potom
  • Máme-li soubor vektorů  , který generuje podprostor , potom .
  • Nechť  je soubor vektorů z  a dim⁡𝑃 =𝑑 \in \N. Potom následující tvrzení jsou ekvivalentní:
    1. Soubor  je báze 𝑃.
    2. Soubor  je LN.
    3. Soubor  generuje 𝑃.
  • Nechť  je podprostor  takový, že dim⁡𝑃 =𝑑 \in\$. Potom v 𝑃 existuje d$-členná báze.
  • Nechť  a nechť v  existuje -členná báze. Potom dim⁡P =d.
  • Všechny báze  mají stejný počet prvků, roven .
  • Můžou chtít důkazy možná radši neuvádět

Hodnost Matice

#definice Hodnost matice

Nechť . Hodností matice  nazýváme dimenzi lineárního obalu souboru řádků matice  (kde tyto řádky z   chápeme jako vektory z  ) a značíme ji . Neboli hodnost matice  je rovna

Pokud je matice v HST právě s nenulovými řádky, poté .

Nechť  je matice v horním stupňovitém tvaru s právě 𝑘 \in \N \cup {0} nenulovými řádky. Pak h\mA =k.

Frobeniova věta

#definice Frobéniova věta

Nechť  a . Uvažujme soustavu  lineárních rovnic pro  neznámých  Potom:

  1. Tato soustava je řešitelná právě tehdy, když
  2. Je-li  a  splňuje , pak
  3. Množina řešení homogenní soustavy  je podprostor dimenze .

  • Pokud , pak

  • Pokud , pak existuje LN soubor vektorů z tak, že

  • Jak plyne z Frobeniovy věty, je-li matice soustavy  čtvercová a regulární, existuje pro jakýkoli vektor pravých stran  právě jedno řešení soustavy .

    • Jak vypadá toto řešení? Stačí obě strany rovnice vynásobit zleva inverzní maticí 𝐀−1 a dostaneme

  • Řešení homogenní soustavy se realizuje pomocí a následného GEM rozšířené matice

  • Parciální řešení se hledá pomocí za pravou stranu.

Vytvořeno: 27. 5. 2026, 11:57
Poslední aktualizace: 9. 6. 2026, 12:18