Lineáris algebra
Vektorterek: lineáris függetlenség, bázis, dimenzió
Mi az a vektortér és az altér, mikor függetlenek a vektorok, mi a bázis és a dimenzió, és hogyan kapjuk meg egy vektor koordinátáit egy adott bázisban.
13 perc olvasás
1. Vektortér és altér
Ez a lecke a lineáris algebra legelvontabb fogalmait szedi össze, ezért minden definíció után egy olyan példát teszek, amit koordinátákkal, kézzel végig tudsz számolni; ha a fogalom nem ül, mindig térj vissza a példához. Vektortér minden olyan halmaz, amiben van összeadás és számmal szorzás, és ezek úgy viselkednek, ahogy a síkbeli vektoroknál megszoktuk (kommutatív, asszociatív, van nullvektor és ellentett, a szorzás disztributív). A lényeg nem a nyíl, hanem a két művelet: vektortér az , a legfeljebb -edfokú polinomok, az -es mátrixok, a -n folytonos függvények halmaza is.
Egy részhalmaz altér, ha maga is vektortér ugyanezekkel a műveletekkel; ehhez elég, hogy zárt legyen a két műveletre:
Altér-kritérium
Altér vagy nem?
- : két ilyen vektor összegének koordinátaösszege , a számszorosé . Altér (egy origón átmenő sík).
- : a nullvektor nincs benne, és két elem összegének koordinátaösszege 2. Nem altér (eltolt sík).
- Az homogén rendszer megoldásai: és . Altér, ez az nulltere.
Elakadtál ennél a résznél?
Egy órán megnézzük, pontosan hol csúszik el, és addig gyakoroljuk, amíg magabiztos nem leszel benne.
2. Lineáris kombináció és függetlenség
A alakú vektorok a -k lineáris kombinációi; az összes ilyen vektor halmaza a generált altér, . A kérdés mindig az, hogy a generátorok közt van-e felesleges, olyan, ami a többiből kikeverhető.
Lineáris függetlenség
Egy egyszerű példa a síkban
Az és a összefüggő, mert a második az első kétszerese: , és ez egy nemtriviális előállítása a nullvektornak. Az és az viszont független: a egyenletrendszer, és , csak a megoldást engedi. Szemléletesen: az első pár egy egyenesen fekszik, a második kifeszíti az egész síkot.
Ha a nullvektor csak a triviális módon áll elő, a rendszer független; ha van nemtriviális előállítás, összefüggő, és valamelyik vektor a többi kombinációja. A gyakorlatban: írd a vektorokat egy mátrix soraiba, és eliminálj; ha csupa nulla sor keletkezik, összefüggők. Négyzetes esetben a determináns is dönt.
Három vektor a térben
.
- A determináns nulla: összefüggők.
- Az összefüggés látszik is: az első kettő összege a harmadik, . A három vektor egy síkban van.
3. Bázis, dimenzió, koordináták
A bázis független generátorrendszer: elég vektor ahhoz, hogy mindent kikeverjünk belőlük, de nincs köztük felesleges. Egy vektortér minden bázisa ugyanannyi elemű; ez a szám a dimenzió. Bázisban minden vektor egyértelműen írható fel, és az együtthatók a vektor koordinátái ebben a bázisban.
Egy egyszerű példa: a szokásos bázis
A síkban az , pár bázis: függetlenek, és minden vektor kikeverhető belőlük, például . A koordináták itt egybeesnek a megszokott koordinátákkal, ezért . De a , pár is bázis, és abban ugyanez a vektor , tehát a koordinátái . A vektor nem változott, csak a „nyelv”, amin leírjuk.
Egy altér bázisa és koordináták benne
.
- Az egyenletből , tehát elemei . Két szabad paraméter, a két vektor független: , bázisa , .
- A benne van (); koordinátái ebben a bázisban: , tehát , , és valóban .
Ugyanaz az altér, más bázis
A és az is bázisa -nek; a koordináták bázisonként mások, a vektor ugyanaz. A bázisválasztás szabadsága a diagonalizálás alapgondolata: keressünk olyan bázist, amiben egy leképezés egyszerű.
4. Rang, nulltér és a dimenziótétel
Egy mátrix rangja a független sorainak (és oszlopainak) száma: az oszlopai által generált altér dimenziója. A nulltere az megoldásaltere; dimenziója a szabad paraméterek száma. A kettő összege mindig az oszlopok száma:
Dimenziótétel
Nulltér bázisa
: a második sor az első kétszerese, a rang 1. A nulltér az sík, dimenziója , bázisa például és (-t és -t szabadon választva).
Ez a tétel az, ami a Gauss–Jordan-eliminációnál a „végtelen sok megoldás, szabad paraméterrel” szabály mögött áll.
5. Tipikus hibák
- Altér nullvektor nélkül. Minden altérben benne van a nullvektor; ha nincs, nem altér, és ezt egy pillanat ellenőrizni.
- „Függetlenek, mert nem párhuzamosak.” Kettőnél több vektornál a páronkénti függetlenség nem elég: három síkbeli vektor mindig összefüggő, hiába nem párhuzamosak.
- Dimenzió = a vektorok koordinátáinak száma. A sík vektorai háromkoordinátásak, a dimenziója mégis 2. A dimenzió a bázis elemszáma.
- Több bázisvektor, mint dimenzió. Ha a bázisjelöltek száma nagyobb a dimenziónál, biztosan összefüggők; ha kisebb, nem generálnak.
Elakadtál menet közben?
Egy tananyag megmutatja, hogyan működik a dolog. Azt viszont, hogy pontosan hol csúszik el nálad, egy óra alatt derítjük ki. Foglalj egy alkalmat, vagy beszéljük meg egy ingyenes konzultáción, mire van szükséged.