Baza (linearna algebra)

Baza nekog vektorskog prostora $V$ nad poljem $K$ je uređeni skup međusobno linearno nezavisnih i nenul vektora $e=\{e_{1},e_{2},...,e_{n}\},$ čijim se linearnim kombinacijama mogu jednoznačno predstaviti svi ostali vektori iz $V$. Neka je $a$ jedan takav vektor. Vrijedi:

$a=\alpha _{1}e_{1}+\alpha _{2}e_{2}+\cdots +\alpha _{n}e_{n},\;\alpha _{i}\in K$

Odavde slijedi da je ovakav skup također i minimalan, tj. da ne postoji neki drugi skup vektora $f=\{f_{1},f_{2},...,f_{m}\},$ takav da je $m<n$ koji bi također bio baza.

Ako bi pretpostavili da takav skup vektora $f$ postoji, tada bi se svaki od $m$ vektora $f_{i}$ mogao prikazati kao linearna kombinacija $n$ vektora iz skupa $e,$ odnosno

$f_{i}=\alpha _{1}e_{1}+\alpha _{2}e_{2}+\cdots +\alpha _{n}e_{n},i=1,...,m$

Rješavanjem tog sustava $m$ jednadžbi s $n$ nepoznanica, pri čemu je broj jednadžbi manji od broja nepoznanica, daje parametarska rješenja, što znači da se vektor $f_{i}$ ne može jednoznačno prikazati pomoću vektora iz skupa $e$. To je pak u kontradikciji s pretpostavkom da je skup $e$ baza, pa početna pretpostavka da postoji traženi skup $f$ nije točna.

Kako se u vektorskom prostoru dimenzije $n$ može predstaviti $n$ linearno nezavisnih vektora, njegovu bazu mora činiti najmanje $n$ vektora, što zajedno s gornjim zaključkom o minimalnosti baze daje da baza $n$-dimenzionog vektorskog prostora $V$ ima točno $n$ vektora.

Kanonska baza

Jedna od baza $n$-dimenzionog vektorskog prostora $V$ se može definirati na sljedeći način:

$e:=\{e_{i}=(\underbrace {0,\dots ,0} _{i-1},1,\underbrace {0,\dots ,0} _{n-i}),\;\;i=1,\dots ,n\}$

Ova se baza naziva kanonskom bazom tog prostora, a po definiciji je ortonormirana.

Vidjeti također

• Ortonormirana baza

Nedovršeni članak Baza (linearna algebra) koji govori o matematici treba dopuniti. Dopunite ga prema pravilima Wikipedije.