Lineáris algebra

matematika egyik tudományága

A lineáris algebra a matematika (konkrétan az algebra) egyik tudományága, mely jelentős geometriai, fizikai és mérnöki alkalmazásokkal rendelkezik, sőt születtek próbálkozások még a társadalomtudományokban való alkalmazására is[1] (pl.: a modern közgazdaság-tudomány elképzelhetetlen lenne lineáris algebra nélkül). Tárgya a vektorok, vektorterek vagy lineáris terek, és lineáris leképezések (a vektorterek homomorfizmusainak) vizsgálata.

A „linearitás” fogalma szerkesztés

Matematikai meghatározás a linearitásra szerkesztés

A lineáris algebra a lineáris terek avagy vektorterek algebrája. A megszokott valós számok körében maradva, egy változókat is tartalmazó betűkifejezés akkor lineáris, ha a változóknak egymással csak az algebrai összege (összeadása/kivonása) szerepel: szorzása nem (tehát: változó konkrét számmal való szorzása megengedett, de változóval való szorzása nem; ide értve az önmagával való szorzást is). Tehát például, ha x és y a valós számok halmazán értelmezett változók, akkor (3/4)x és 3x+4ey lineáris betűkifejezései ezen változóknak, míg x2 = xx és xy nem. A linearitás így tulajdonképpen a fő változók magasabb hatványainak hiányát jelenti - ez mind számolástechnikai, mind elméleti szempontból jelentős egyszerűsítés.

Mindez precízebben absztrakt algebrai eszközökkel és axiomatikus módon, a vektortér (lineáris tér) fogalmára alapozva mondható el. A lineáris terek ún. operátorstruktúrák, két halmazból állnak, a skalárok vagy operátorok Ω halmazából és egy (L,+) csoportból, és értelmezve van még egy f:Ω×L→Ω művelet, az ún. operátorral vagy skalárral való szorzás, a + és f művelet tulajdonságait pedig a vektortéraxiómák adják meg. Ha ω∈Ω és x∈L, akkor az f(ω,x) elemet röviden csak ωx jelöli.

A „lineáris” szó mindent egybevéve arra utal, hogy az ilyen, T halmaz feletti „lineáris” L algebrai operátorstruktúrák algebrai kifejezései az x1, x2,…, xn, … ∈L változókból és ω1, ω2, … , ωn, … ∈Ω skalárokból úgy épülnek fel, hogy a kifejezésekben e változók nem szerepelhetnek 1-nél magasabb fokú hatványon,[2] tehát a következő alakúak:

ω1x12x2+…+ωjxj

Példák és motiváció szerkesztés

Valószínűleg a legismertebb példa a valós számok halmaza feletti lineáris kifejezéseké. Itt mind az Ω operátortartomány, mind az L csoport maga (R,+), az f(ωx) függvény pedig az ωx valós számok hagyományos összeszorzása. Ez esetben a fenti meghatározás alapján ellenőrizhetően lineáris kifejezés például

2x1+4x2+5x3 ,

viszont nem lineáris a következő:

2x12+4x2+5x3 ,

mivel az első változó négyzetre van emelve, holott mindegyik változó csak a 0 vagy az 1 hatványon szerepelhet.

Hasonló, de talán fontosabb példát kapunk, ha valós számok (~ egydimenziós valós vektorok) helyett n dimenziós (n∈N természetes szám) valós vektorokat tekintünk alaphalmaznak.

 
A sík koordinátázása vektorok segítségével, hasonló módon a tér leírása is lehetséges. Az ábrán az O kezdőpontból két bázisvektor indul ki, a választott C célpont koordinátái 2 és 2/3, mivel az első vektornak a kétszeresét, majd a másodiknak a kétharmadszorosát kell felmérni, hogy a kezdőpontból a célpontba jussunk. Ez azt jelenti, az O-ból C-be mutató vektor lineáris kifejezése a piros bázisvektoroknak: OC = 2v1+(2/3)v2.

Az ilyen kifejezések tanulmányozásához a fő motivációt a hétköznapokban háromdimenziósnak megszokott terünk felépítése adhatja. Terünk leírható úgy, hogy rögzítünk egy pontot (kezdőpont) és három belőle kiinduló páronként merőleges irányított szakaszt (vektort),[3] majd bármely ebből a pontból egy másik célpontba történő elmozdulást leírható mint ezen vektorok valahányszorosának összege (tehát bármely két pont közti elmozdulás felbontható három összetevő összegére). A „(vala)hányszor” kérdésre válaszoló valós szorzótényezők a célpont koordinátái (természetesen ezek más-más alapvektorokat és kezdőpontot választva mások lesznek még rögzített célpont esetében is). A matematikában máshol is megfigyeltek hasonló jelenségeket, például egy közönséges vagy egy parciális n-edrendű differenciálegyenletnek általában végtelen sok megoldása van, de ezek „teret alkotnak”, koordinátázhatóak úgy, hogy kiválasztunk n db. megoldást, és valamilyen valós együtthatóval megszorozva, összeadjuk őket. Részben az ilyesfajta észrevételek vezettek a lineáris kifejezések tanulmányozásához és a lineáris tér fogalmának megalkotásához.

Történelem szerkesztés

A lineáris algebrát a lineáris egyenletrendszerek (ide értve nemcsak a valós algebrai, hanem a valós differenciálegyenlet-rendszereket is) megoldásának szüksége hívta életre. Két lineáris egyenletből álló kétismeretlenes egyenletrendszerhez vezető problémákat már az ókori babiloni matematikai szövegek is tárgyaltak (egy ilyen, földterületek nagyságát kérdező feladat, mely mai jelölésekkel az x+y=1800 és (2/3)x-(1/2)y=500 egyenletrendszerre vezet, az x=y feltételezés segítségével, tehát az ún. hamis feltevés módszerével oldották meg).[4]

Kevés számú (2-3) ismeretlent és egyenletet tartalmazó lineáris egyenletrendszert a fenti módszerrel vagy egyéb ad hoc módon (valamilyen ügyes okoskodással, de az általános, minden egyenletrendszerre működő megoldások mellőzésével) is könnyű megoldani, de a nagyobb rendszereknek már a felírása, áttekintése is csak valamilyen rendszeresség vagy algoritmus útján célszerű.

Az első ilyen próbálkozás a 2000 évvel ezelőtti Kínából ismert: a Jiuzhang Suanshu (九章算術, magyarul „A matematikai művészet kilenc fejezete”) c. könyvben az együtthatókat négyzetes táblázatokba rendezték (ezeket „fang-cseng”-nek nevezték), ezek pedig a modern mátrix-fogalom előképének számíthatóak.

Neves lineáris algebristák:
 
C. F. Gauss (elimináció, determinánsok, 1809)
 
A. L. Cauchy (determinánselmélet, 1812)
 
W. R. Hamilton (lineáris terek, kvaterniók, 1843)
 
Arthur Cayley (mátrixalgebra, 1857)

A kínaiak ismertek azon eljáráshoz hasonló megoldási módszert is, amelyet ma Gauss-eliminációnak nevezünk Gauss (17771855) német „matematikusfejedelem” után . Ezt Gauss a Ceresz nevű törpebolygó pályájának számításakor fedezte fel újra (ennek során 6 ismeretlenes lineáris egyenletrendszerek vizsgálatára kényszerült), és „eliminatio” (~ „kiküszöbölés”) néven említve, a Theoria Motus Corporum Coelestium c. könyvében (1809) publikálta.[5] Néhány évvel korábbról, de szintén Gausstól származik a determináns elnevezés is (1801), noha keleten a japán Seki azt már 1683-ban is definiálta. A determinánselmélet első összefoglaló és rendszeres kifejtése Augustin Cauchy érdeme (1812).

A modern lineáris algebra születése két 19. századi évszámhoz kötődik (1843 és 1844). A lineáris tér fogalmára már Leibniz is tett utalásokat, azonban írásai csak jóval halála után, 1883-ban jelentek meg. Gondolatainak továbbfejlesztésére pályázatot írtak ki. Az ez irányban tett első jelentős lépés 1843-ban William Rowan Hamilton (a vektor kifejezés megalkotója) nevéhez fűződik a kvaterniók bevezetésével. Hamilton már 1841 körül is írt a komplex számok kapcsán n dimenziós vektorterekről; a komplex számokat mint a valós test feletti kétdimenziós vektorteret írta le (ennek a leírásnak n dimenziós általánosítása vezetett a kvaterniófogalomhoz, mikor is n=4). A Leibniz-pályázatot mégis Hermann Günther Grassmann nyerte meg. 1844-ben kiadta a Die lineale Ausdehnungslehre c. könyvét, amelyben (és más munkáiban) Hamiltontól függetlenül tárgyalta a vektorterek és a lineáris függetlenség fogalmát, de munkája már az általánosabb moduluselméletből is tartalmazott fogalmakat. Az ő munkássága azonban nem gyakorolt azonnali hatást, mivel csak egészen szűk körben (ide tartozott maga Hamilton is) ismerték fel eredményei fontosságát.

Bár a determináns fogalma (lényegében a kifejtési tételre alapozott induktív definícióval) már korábban is ismert volt, az egyik legalapvetőbb lineáris algebrai fogalom, a mátrixé (amely igazából alapvetőbb a determinánsénál), a mátrixműveleti szabályokkal együtt, csak 1857-ben nyert polgárjogot Arthur Cayley nyomán (aki a 2×2-es mátrixokat és műveleteit vezette be).[6] James Sylvester 1884-ben definiálta a rang fogalmát mátrixokra.

A huszadik században a lineáris algebra rengeteg alkalmazást nyert, nemcsak a matematikán belül, de a fizikában is. A „műszaki” életben pedig megkerülhetetlenek. Ha egy mérnök a folytonosság szemléletétől és problémáitól mentes (azaz diszkrét jellegű) feladat elé kerül, igen valószínű, hogy a megoldásban előbb-utóbb megjelennek valahol a lineáris algebrai fogalmak is - ezek megjelenése természetesen a „folytonosság” megléte esetén sem kizárt.

A lineáris algebra főbb területei, fogalmai szerkesztés

Elemi lineáris algebra szerkesztés

E terület foglalkozik a valós/komplex számok teste feletti elsőfokú egyenletrendszerek, vektorok, mátrixok, geometriai transzformációk vizsgálatával. Fontosabb fogalmak:

Strukturális lineáris algebra szerkesztés

A lineáris algebrai fogalmakat absztrakt algebrai szemléletben tárgyalja. Fontosabb fogalmak:

Mátrixalgebra szerkesztés

A műszaki alkalmazásokban kiemelt szerepet játszó mátrixok vizsgálata. Annyira fontos szerepet játszik és oly hatalmas terület, hogy érdemes elkülöníteni. Fontosabb fogalmak:

Alkalmazások szerkesztés

Matematikán belül szerkesztés

A lineáris algebra matematikai alkalmazásai. Fontosabb fogalmak:

Matematikán kívüli alkalmazások szerkesztés

  • Rengeteg alkalmazást találhatunk a matematikán belül.
    • Például, minthogy fogalmai előkerülnek a differenciálegyenletek elméletében, ezért a lineáris algebra igen fontos a műszaki életben, bármilyen fajta mérnöki elméleti tevékenység nagy valószínűséggel differenciálegyenletek kezelését is jelenti.
  • A lineáris algebra a „valódi”, fizikai tér és az abban végzett mozgás leírásának egyik elsődleges eszköze, a lineáris algebra bizonyos fogalmai (vektor, transzformáció) ezek leírására szolgálnak. Így lévén, a lineáris algebra nyelve arra szolgál, hogy folytonos vagy annak gondolt mozgásokat diszkrét adatokká alakítsunk át (koordinátázzuk). Például ez teszi alkalmassá a „diszkrét gondolkodású” számítógépeket is, hogy a teret segítségükkel rekonstruáljuk, ami részint hasznos, részint szórakoztató (gondoljunk a vektorgrafikus módszerrel készült képekre, a fotóretusáló programok mátrixalapú szűrőire, vagy a modern számítógépes játékok grafikájára). A lineáris egyenletrendszerek azonban nemcsak a köznapi életben fordulnak elő. Aligha túlzás azt mondani, hogy a tudományos vagy műszaki életben előforduló számítások legnagyobb része lineáris algebrai jellegű. Lásd még számítógépes képfeldolgozás.
  • A lineáris algebra az elméleti fizika egyik alapvető eszköze lett (gondoljunk a kvantummechanikában alapvető a Hilbert-tér fogalmára).

Jegyzetek szerkesztés

  1. „A kiinduló ötlet igen egyszerű: minden színdarabhoz hozzárendelek egy bináris mátrixot, amelynél az oszlopok m száma megegyezik a színek számával, míg a sorok n száma a színdarab szereplőinek számával. Az i-edik oszlop és a j-edik sor keresztezésénél lévő elem értéke 1, ha a j-edik szereplő jelen van az i-edik színben, ha nem, akkor az elem értéke 0. E bináris mátrix vizsgálatával a szerepek stratégiájának és a konfliktusok kifejlődésének sok jellemzőjét megtalálhatjuk. Tovább gazdagíthatjuk a kiinduló szerkezetet, ha figyelembe vesszük a dialógusokat és játékelméleti vagy automataelméleti szemléletmódot is alkalmazunk … ” – A matematika és a költészet vonzásában Archiválva 2005. november 19-i dátummal a Wayback Machine-ben (beszélgetés Solomon Marcus román származású matematikussal), Természet világa; 130. évf. 12. sz. 1999. december, 544–548. o.)
  2. A lineáris tér fogalma valójában nem is tartalmazza az L elemeinek egymással való szorzását, tehát a valós betűkifejezésekkel ellentétben itt fölösleges kikötni, hogy változók ne lehessenek egymással szorozva, s ennek megfelelően tkp. a hatványozás lehetetlenségének kikötése is felesleges, mégis ez világít rá, hogy mi az a linearitás tulajdonképpen: nem más, mint "elsőfokúság".
  3. Egyik se legyen 0 hosszúságú.
  4. Filep László: A tudományok királynője (A matematika története), Typotex, Bp. – Bessenyei Kiadó, Nyíregyháza; 1997. ISBN 963-7546-83-9 ; 52. old.
  5. A legtöbb pontos történelmi adat forrása Simonovits András Matematikatörténeti vázlat c. PDF-je.
  6. Filep: A tudományok királynője; 266. o.

Ajánlott irodalom szerkesztés

A magyar Wikikönyvekben
további információk találhatók