Pojdi na vsebino

Linearna algebra

Iz Wikipedije, proste enciklopedije
Nekateri predmeti, ki jih proučuje linearna algebra

Vektor

V tridimenzionalnem evklidskem prostoru te tri ravnine predstavljajo rešitve linearnih enačb, njihov presek pa skupek skupnih rešitev: v tem primeru ena točka. Modra črta je skupna rešitev dveh enačb.


Linearne transformacije

Sistemi linearnih enačb

Matrike

Lastne vrednosti in lastni vektorji

Kvadriki

Tenzorji

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]
Glavni članek: Vektorski prostor.

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]
Glavni članek: Linearna transformacija.

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]
Glavni članek: linearni podprostor.
 

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]
Glavni članek: Matrika.
 

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]
Glavni članek: Sistem linearnih enačb.
 

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]

Opombe

[uredi | uredi kodo]
  1. 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]
  1. 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
  2. Strang, Gilbert (19. julij 2005), Linear Algebra and Its Applications (4th izd.), Brooks Cole, ISBN 978-0-03-010567-8
  3. Weisstein, Eric. »Linear Algebra«. From MathWorld--A Wolfram Web Resource. Wolfram. Pridobljeno 16. aprila 2012.
  4. Roman (2005)
  5. Anton (1987, str. 2)
  6. Beauregard & Fraleigh (1973, str. 65)
  7. Burden & Faires (1993, str. 324)
  8. Golub & Van Loan (1996, str. 87)
  9. Harper (1976, str. 57)

Zunanje povezave

[uredi | uredi kodo]

Spletni viri

[uredi | uredi kodo]

Spletne knjige

[uredi | uredi kodo]