Linearna algebra
|
Linearna algebra je matematična disciplina, ki se ukvarja s proučevanjem vektorjev, vektorskih prostorov (ali linearnih prostorov), linearnih transformacij in sistemov linearnih enačb. Konkretno upodobitev linearne algebre najdemo v analitični geometriji. Vektorski prostori so osrednja tema sodobne matematike; torej se linearna algebra na široko uporablja v abstraktni algebri in funkcionalni analizi. Zelo je uporabna tudi v naravoslovnih in družboslovnih znanostih.
Nanaša na linearne enačbe, kot so:
linearne transformacije, kot so:
in njihove predstavitve v vektorskih prostorih in skozi matrice.[1][2][3]
Linearna algebra je osnova za skoraj vsa področja matematike. Na primer, linearna algebra je temeljna v sodobnih predstavitvah geometrije, vključno z definicijami osnovnih objektov, kot so črte, ravnine in rotacije. Tudi funkcionalno analizo, vejo matematične analize, lahko razumemo kot aplikacijo linearne algebre v prostorih funkcij.
Linearna algebra se uporablja tudi v velikem številu znanostih in področij tehnike, saj omogoča modeliranje številnih naravnih pojavov in učinkovito računanje s takšnimi modeli. Za nelinearne sisteme, ki jih ni mogoče modelirati z linearno algebro, se pogosto uporabljajo približki prvega reda.
Vektorski prostori
[uredi | uredi kodo]Do 19. stoletja je bila linearna algebra predstavljena s sistemi linearnih enačb in matrik. V sodobni matematiki se na splošno prednostno uporablja z vektorskimi prostori, ker je bolj aksiomatična, bolj splošna (ni omejena na končnorazsežne primere) in konceptualno enostavnejša, čeprav bolj abstraktna.
Vektorski prostor nad poljem F (pogosto polje realnih števil) je množica V opremljena z dvema binarnima operacijama, ki izpolnjujeta sledeče aksiome. Elementi V se imenujejo vektorji, elementi F pa skalarji. Prva operacija, seštevanje vektorjev, vzame katera koli dva vektorja v in w in rezultat je tretji vektor v + w. Druga operacija, skalarno množenje, vzame kateri koli skalar a in kateri koli vektor v in rezultat je nov vektor av. Aksiomi, ki jih morata zadovoljiti seštevanje in skalarno množenje, so navedeni spodaj. (Na spodnjem seznamu so u, v in w poljubni elementi V, a in b sta poljubna skalarja v polju F)[4]
Aksiom | Označevanje |
Asociativnost seštevanja | u + (v + w) = (u + v) + w |
Komutativnost seštevanja | u + v = v + u |
Identiteta seštevanja | Obstaja element 0 znotraj V, imenovan ničelni vektor (ali preprosto nič), tako da v + 0 = v za vse v znotraj V |
Inverzni elementi seštevanja | Za vsak v znotraj V obstaja element −v znotraj V, imenovan nasprotna vrednost od v, tako da je v + (−v) = 0 |
Distributivnost skalarnega množenja glede na vektorsko seštevanje | a(u + v) = au + av |
Distributivnost skalarnega množenja glede na seštevanje polj | (a + b)v = av + bv |
Združljivost skalarnega množenja z množenjem polja | a(bv) = (ab)v [a] |
Identiteta skalarnega množenja | 1v = v, kjer 1 označuje multiplikativno identiteto F |
Prvi štirje aksiomi pomenijo, da je V abelova grupa pri seštevanju.
Element določenega vektorskega prostora ima lahko različno naravo; lahko je na primer zaporedje, funkcija, polinom ali matrika. Linearna algebra se ukvarja s tistimi lastnostmi objektov, ki so skupni vsem vektorskim prostorom.
Linearne preslikave
[uredi | uredi kodo]Linearne preslikave so preslikave med vektorskimi prostori, ki ohranjajo strukturo vektorskega prostora. Če obstajata dva vektorska prostora V in W nad poljem F, potem je linearna preslikava (v nekaterih kontekstih imenovana tudi linearna transformacija) preslikava
to je združljivo z seštevanjem in skalarnim množenjem, tj.
za vse vektorje u,v znotraj V in skalar a, b znotraj F
To pomeni, da za katerikoli vektorje u, v znotraj V in skalarje a, b znotraj F, ima eden
Kadar sta V = W isti vektorski prostor, je linearna preslikava znan tudi kot linearni operator na V
Bijektivna linearna preslikava med dvema vektorskima prostoroma (torej je vsak vektor iz drugega prostora povezan z natanko enim v prvem) je izomorfizem. Ker izomorfizem ohranja linearno strukturo, sta dva izomorfna vektorska prostora "v bistvu enaka" z vidika linearne algebre, v smislu, da ju z lastnostmi vektorskega prostora ni mogoče razlikovati. Bistveno vprašanje linearne algebre je preizkusiti, ali je linearna preslikava izomorfizem ali ne, in če ni izomorfizem, najti njegovo sliko in niz elementov, ki se preslikajo v ničelni vektor, imenovano jedro preslikave. Vsa ta vprašanja je mogoče rešiti z Gaussovo eliminacijo ali kakšno različico tega algoritma.
Podprostori, linearna ogrinjača in baze
[uredi | uredi kodo]Proučevanje tistih podskupin vektorskih prostorov, ki so sami po sebi vektorski prostori pri induciranih operacijah, je temeljno, podobno kot pri mnogih matematičnih strukturah. Te podskupine imenujemo linearni podprostori. Natančneje, linearni podprostor vektorskega prostora V nad poljem F je podmnožica W od V, tako da sta u + v in au v W za vsak u, v znotraj W in vsak a znotraj F. (Ti pogoji zadoščajo, da je W vektorski prostor.)
Na primer, glede na linearno preslikavo , slika T(V) od V in inverzna slika T−1(0) od 0 (imenovana jedro ali ničelni prostor) sta linearna podprostora od W in V
Drug pomemben način oblikovanja podprostora je obravnava linearnih kombinacij množice S vektorjev: množice vseh vsot
kjer v1, v2, ..., vk v S in a1, a2, ..., ak v F tvorijo linearni podprostor, imenovan ogrinjača S Ogrinjača S je tudi presečišče vseh linearnih podprostorov, ki vsebujejo S Z drugimi besedami, to je najmanjši (za vključitveno razmerje) linearni podprostor, ki vsebuje S
Množica vektorjev je linearno neodvisna, če noben ni v ogrinjači drugih. Enako je množica S vektorjev linearno neodvisna, če je edini način za izražanje ničelnega vektorja kot linearne kombinacije elementov S vzemanje ničle za vsak koeficient
Niz vektorjev, ki obsega vektorski prostor, se imenuje linearna ogrinjača ali generator množic. Če je linearna ogrinjača S linearno odvisen, potem je nek element w od S v ogrinjači drugih elementov od S, in ogrinjača ostane enaka, če odstranimo w iz S. Z odstranjevanjem elementov S lahko nadaljujemo, dokler ne dobimo linearno neodvisne linearne ogrinjače. Taka linearno neodvisna množica, ki obsega vektorski prostor V, se imenuje baza V. Če je S linearno neodvisna množica in je T linearna ogrinjača, tako da potem je baza B takšna, da
Kateri koli dve bazi vektorskega prostora V imata enako kardinalnost, ki se imenuje dimenzija V; to je dimenzijski izrek za vektorske prostore. Poleg tega sta dva vektorska prostora nad istim poljem F izomorfna izključno takrat, ko imata enako dimenzijo.
Če ima katera koli baza V (in zato vsaka baza) končno število elementov, je V končnorazsežni vektorski prostor. Če je U podprostor od V, potem je dim U ≤ dim V V primeru, ko je V končnorazsežni, enakosti dimenzij implicira U = V
Če sta U1 in U2 podprostora od V, potem
Matrike
[uredi | uredi kodo]Matrike omogočajo eksplicitno manipulacijo s končnorazsežnimi vektorskimi prostori in linearnimi transformacijami. Njihova teorija je tako bistven del linearne algebre.
Naj bo V končnrazsežnini vektorski prostor nad poljem F , in (v1, v2, ..., vm) je baza V (torej je m dimenzija V). Po definiciji baze je transformacija
je bijekcija iz množica zaporedij m elementov od F na V To je izomorfizem vektorskih prostorov, če ima svojo standardno strukturo vektorskega prostora, kjer se vektorsko seštevanje in skalarno množenje izvajata po komponentah.
Ta izomorfizem omogoča predstavljanje vektorja z njegovo inverzno podobo pod tem izomorfizmom, to je s koordinatami vektorjev ali po stolpcu matrike.
Če je W še en končnorazsežni vektorski prostor (po možnosti enak) z bazo linearno transformacijo f od W do V je dobro opredeljen z vrednostmi na baznih elementih, tj Tako je f dobro predstavljen s seznamom ustreznih stolpcev matrike. Se pravi, če
za j = 1, ..., n, potem je f predstavljeno z matriko
z m vrsticami in n stolpci.
Linearni sistemi
[uredi | uredi kodo]Končna množica linearnih enačb v končni množici spremenljivk, na primer: ali se imenuje sistem linearnih enačb ali linearni sistem.[5][6][7][8][9]
Sistemi linearnih enačb so temeljni del linearne algebre. V preteklosti so se za reševanje takih sistemov uporabljale linearna algebra in teorija matrik. V sodobni predstavitvi linearne algebre s pomočjo vektorskih prostorov in matrik je mogoče številne probleme razložiti z linearnimi sistemi.
Na primer, naj bo
-
(S)
-
(S)
linearni sistem.
Takšnemu sistemu se lahko poveže njegova matrika
in njegov desni vektor
Naj bo T linearna transformacija povezana z matriko M Rešitev sistema (S) je vektor
tako, da je
ki je element predslika od v z T
Naj bo (S') pridruženi homogeni sistem, kjer so desne strani enačb postavljene na nič:
-
(S')
-
(S')
Rešitve (S') so elementi jedra T ali, enako, M
Gaussova eleminacija je sestavljena iz izvajanja elementarnih vrstičnih operacij na razširjeni matriki
za postavitev v vrstični kanonični formi. Te vrstične operacije ne spremenijo nabora rešitev sistema enačb. V zgledu, vrstična kanonična forma
prikazuje, da ima sistem (S') eno rešitev
Iz te matrične interpretacije linearnih sistemov izhaja, da se iste metode lahko uporabijo za reševanje linearnih sistemov in za številne operacije na matrikah in linearnih transformacijah, ki vključujejo izračun rangov, jeder, obrnljive matrike.
Glej tudi
[uredi | uredi kodo]- Linearna ogrinjača
- Linearna regresija, statistična metoda ocenjevanja
- Numerična linearna algebra
- Linearno programiranje
- Matrika preslikave
Opombe
[uredi | uredi kodo]- ↑ This axiom is not asserting the associativity of an operation, since there are two operations in question, scalar multiplication: bv; and field multiplication: ab.
Sklici
[uredi | uredi kodo]- ↑ Banerjee, Sudipto; Roy, Anindya (2014), Linear Algebra and Matrix Analysis for Statistics, Texts in Statistical Science (1. izd.), Chapman and Hall/CRC, ISBN 978-1420095388
- ↑ Strang, Gilbert (19. julij 2005), Linear Algebra and Its Applications (4th izd.), Brooks Cole, ISBN 978-0-03-010567-8
- ↑ Weisstein, Eric. »Linear Algebra«. From MathWorld--A Wolfram Web Resource. Wolfram. Pridobljeno 16. aprila 2012.
- ↑ Roman (2005)
- ↑ Anton (1987, str. 2)
- ↑ Beauregard & Fraleigh (1973, str. 65)
- ↑ Burden & Faires (1993, str. 324)
- ↑ Golub & Van Loan (1996, str. 87)
- ↑ Harper (1976, str. 57)
Viri
[uredi | uredi kodo]- Anton, Howard (1987), Elementary Linear Algebra (5th izd.), New York: Wiley, ISBN 0-471-84819-0
- Axler, Sheldon (18. december 2014), Linear Algebra Done Right, Undergraduate Texts in Mathematics (3. izd.), Springer Publishing (objavljeno 2015), ISBN 978-3-319-11079-0
- Beauregard, Raymond A.; Fraleigh, John B. (1973), A First Course In Linear Algebra: with Optional Introduction to Groups, Rings, and Fields, Boston: Houghton Mifflin Company, ISBN 0-395-14017-X
- Burden, Richard L.; Faires, J. Douglas (1993), Numerical Analysis (5th izd.), Boston: Prindle, Weber and Schmidt, ISBN 0-534-93219-3
- Golub, Gene H.; Van Loan, Charles F. (1996), Matrix Computations, Johns Hopkins Studies in Mathematical Sciences (3. izd.), Baltimore: Johns Hopkins University Press, ISBN 978-0-8018-5414-9
- Halmos, Paul Richard (1974), Finite-Dimensional Vector Spaces, Undergraduate Texts in Mathematics (1958 2nd izd.), Springer Publishing, ISBN 0-387-90093-4, OCLC 1251216
- Harper, Charlie (1976), Introduction to Mathematical Physics, New Jersey: Prentice-Hall, ISBN 0-13-487538-9
- Katznelson, Yitzhak; Katznelson, Yonatan R. (2008), A (Terse) Introduction to Linear Algebra, American Mathematical Society, ISBN 978-0-8218-4419-9
- Roman, Steven (22. marec 2005), Advanced Linear Algebra, Graduate Texts in Mathematics (2. izd.), Springer, ISBN 978-0-387-24766-3
Zunanje povezave
[uredi | uredi kodo]Spletni viri
[uredi | uredi kodo]- Video predavanja linearne algebre MIT, serija 34 posnetih predavanj profesorja Gilberta Stranga (pomlad 2010)
- Mednarodno društvo linearne algebre
- »Linear algebra«. Encyclopedia of Mathematics. EMS Press. 2001 [1994].
- Linearna algebra na MathWorld
- Matrix and Linear Algebra Terms on Earliest Known Uses of Some of the Words of Mathematics
- Earliest Uses of Symbols for Matrices and Vectors on Earliest Uses of Various Mathematical Symbols
- Bistvo linearne algebre, video predstavitev 3Blue1Brown o osnovah linearne algebre s poudarkom na razmerju med geometrijskim, matričnim in abstraktnim stališčem
Spletne knjige
[uredi | uredi kodo]- Margalit, Dan; Rabinoff, Joseph (2019). Interactive Linear Algebra (v angleščini). Georgia Institute of Technology, Atlanta, Georgia: Self-published.
- Beezer, Robert A. (2004). A First Course in Linear Algebra (v angleščini). Gainesville, Florida: University Press of Florida. ISBN 9781616100049.9781616100049
- Connell, Edwin H. (1999). Elements of Abstract and Linear Algebra (v angleščini). University of Miami, Coral Gables, Florida: Self-published.
- Hefferon, Jim (2020). Linear Algebra (v angleščini) (4. izd.). ISBN 978-1-944325-11-4. OCLC 1178900366. OL 30872051M.
- Matthews, Keith R. (1991). Elementary Linear Algebra (v angleščini). University of Queensland, Brisbane, Australia: Self-published.
- Mikaelian, Vahagn H. (2017). Linear Algebra: Theory and Algorithms (v angleščini). Yerevan, Armenia: Self-published – prek ResearchGate.
- Sharipov, Ruslan, Tečaj linearne algebre in večdimenzionalne geometrije
- Treil, Sergei, Linear Algebra Done Wrong