Kanta (lineaarialgebra)

Lineaarialgebrassa **kanta** on pienin mahdollinen joukko vektoreita, joiden lineaarikombinaationa saadaan kaikki annetun avaruuden vektorit. Tarkemmin sanottuna vektoriavaruuden kanta on joukko lineaarisesti riippumattomia vektoreita, jotka virittävät koko avaruuden.

## Määritelmä

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

1. *v*1, …, *v**n* ovat lineaarisesti riippumattomia ja

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

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

## Kannan ominaisuuksia

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* = r*u* + s*v* + t*w*.
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.

## Kannaksi laajentaminen

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.

## Esimerkki

Ajatellaan koordinaattiavaruutta **R**2 kaikkien koordinaattien (*a,b*) vektoriavaruutena, missä sekä *a* että *b* ovat molemmat reaalilukuja. Tällöin helppo kanta on yksinkertaisesti vektorit **e**1 = (1,0)  ja **e**2 = (0,1): oletetaan että *v* = (*a,b*) on vektori avaruudessa **R**2, tällöin 
*v* = *a*(1,0)+ *b*(0,1). Yksi mahdollinen **R**2: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**2:n kannan.

Yleisemmin vektorit **e**1, **e**2, ..., **e***n* ovat lineaarisesti riippumattomia ja virittä­vät avaruuden **R**n. Siten ne muodostavat **R**n:n kannan ja **R**n:n dimensio on n.

## Lähteet

## Kirjallisuutta
* 
*