Kanta (lineaarialgebra)

Oletetaan, että B = { v₁, …, v_n } on vektoriavaruuden V äärellinen osajoukko. Tällöin B on kanta, jos se toteuttaa seuraavat ehdot:

1. v₁, …, v_n ovat lineaarisesti riippumattomia ja

2. jokainen V:n vektori voidaan lausua vektoreiden v₁, …, v_n lineaarikombinaationa. Toisin sanoen vektorit v₁, …, v_n virittävät V:n eli span(v₁, …, v_n) = V.

Lineaarikombinaatio on äärellinen summa muotoa a₁v₁ + … + a_nv_n, missä v_k:t ovat B:n eri vektoreita ja a_k:t ovat skalaareita. Vektorit B:ssä ovat lineaarisesti riippumattomia, jos a₁v₁ + … + a_nv_n = 0, jos ja vain jos a₁ = … = a_n = 0. Joukko B on virittäjäjoukko, jos jokainen V:n vektori on lineaarikombinaatio B:n vektoreista.

Jokaisella vektoriavaruudella on kanta. Kaikilla yhden vektoriavaruuden kannoilla on sama määrä vektoreita. Tätä kannan vektorien lukumäärää kutsutaan vektoriavaruuden dimensioksi dim(V). Käsite kertoo siis samalla minimaali­sen määrän vektoreita, joka riittää virittämään V:n. Tasossa kaksi erisuuntaista vektoria on tason kanta. Kolmi­ulotteisessa avaruudessa kolme vektoria, jotka eivät ole samassa tasossa, muodostavat kannan. Toisin sanoen kantaa voidaan ajatella koordinaattiakselistona.

Kanta on vain joukko vektoreita ilman järjestystä. Usein on kuitenkin kätevää luetella kantavektorit tietyssä järjestyksessä. Tätä järjestettyä kantaa ei määritellä joukoksi, vaan sarjak­si lineaarisesti riippumattomia vektoreita, jotka virittävät V:n. Jos vektorit u, v, w muodostavat avaruuden kannan, se voidaan ilmoittaa järjestettynä kolmikkona (u, v, w). Tällöin jokaista vektoria a vastaa yksikäsitteisesti järjestetty lukukolmikko (r, s, t) siten, että a = ru + sv + tw. Luvut r, s ja t ovat a:n koordinaatit kannan (u, v, w) suhteen ja järjestettyä kolmikkoa (r, s, t) nimitetään vektorin a koordinaattiesitykseksi.

Samalle vektori­avaruudelle voidaan kuitenkin muodostaa kanta monella eri tavalla. Vektorin koordinaatit riippuvat siis käytetystä kannasta ja muuttuvat, kun siirrytään kannasta toiseen eli suoritetaan kannanvaihto.

Minkä tahansa lineaarisesti riippumattoman joukon ja virittävän joukon välissä on kanta. Muodollisemmin sanottuna: jos L on lineaarisesti riippumaton joukko vektoriavaruudessa V ja jouk­ko G virittää V:n ja sisältää joukon L, niin on olemassa V:n kanta, joka sisältää L:n ja joka sisältyy G:hen. Nimenomaan (kun G = V) mikä tahansa lineaarisesti riippumaton joukko L voidaan laajen­taa muodostamaan V:n kannan. Nämä laajennukset eivät ole yksikäsitteisiä. Virittäjäjoukkoa voidaan myös karsia (pudottamalla sopivat vektorit pois), jotta siitä saadaan kanta.

Ajatellaan koordinaattiavaruutta R² kaikkien koordinaattien (a,b) vektoriavaruutena, missä sekä a että b ovat molemmat reaalilukuja. Tällöin helppo kanta on yksinkertaisesti vektorit e₁ = (1,0) ja e₂ = (0,1): oletetaan että v = (a,b) on vektori avaruudessa R², tällöin v = a(1,0)+ b(0,1). Yksi mahdollinen R²:n kanta on v = (-2,1) = (-2)(1,0) + (1)(0,1). Se on esitetty myös koordinaatistoon piirrettynä kuvassa sivun yläreunassa. Kuitenkin mitkä tahansa kaksi lineaarisesti riippumatonta vektoria, kuten (1,1) ja (-1,2), voivat myös muodostaa R²:n kannan.

Yleisemmin vektorit e₁, e₂, ..., e_n ovat lineaarisesti riippumattomia ja virittä­vät avaruuden Rⁿ. Siten ne muodostavat Rⁿ:n kannan ja Rⁿ:n dimensio on n.

• Kivelä, Simo K.: Algebra ja geometria. Helsinki: Otatieto, 1989. ISBN 951-672-103-6.
• Rikkonen, Harri: Matematiikan pitkä peruskurssi I – Vektorialgebra ja analyyttinen geometria. Helsinki: Otakustantamo, 1969. ISBN 951-671-067-0.