Bas (linjär algebra)

En mängd $\{ v_i \} _{i=0} ^{n-1}$ säges vara en bas för ett linjärt rum (eller vektorrum) V om den är linjärt oberoende och spänner upp V, det vill säga varje element i V kan uttryckas som en linjärkombination av element ur basen.

En basvektor v i ett vektorrum V med dimensionen d, är en vektor i den mängd av d stycken vektorer som bildar en bas för rummet. Basvektorerna är linjärt oberoende.

Baser av stor betydelse är de som är ortogonala eller ortonormerade.

Att visa att vektorer utgör en bas

Exemplen utgår från vektorerna (1,1) och (-1,2) som skall visas vara en bas för R² samt att de är linjärt oberoende och spänner upp hela R².

Med hjälp av dimensionssatsen

Då vektorerna är nollskilda och ej multipler av varandra, är de linjärt oberoende och därmed också en bas för R² eftersom båda har dimensionen 2.

Detta är en konsekvens av dimensionssatsen.

Med determinant

Bilda en matris med vektorerna som kolumner och beräkna matrisens determinant:

$\det\begin{bmatrix}1&-1\\1&2\end{bmatrix}=3$

Då determinanten är nollskild bildar kolumnvektorerna en bas för R².

En tredje metod

1. Vektorerna är linjärt oberoende

Vektorerna är linjärt beroende om det finns nollskilda skalärer a och b, som uppfyller ekvationen

$a(1,1)+b(-1,2)=(0,0)$

Då gäller att

$(a-b,a+2b)=(0,0) \,$

  och alltså är  

$a-b=0 \;$

  och  

$a+2b=0$

Subtraheras den första ekvationen från den andra erhålls

$3b=0\quad\Rightarrow\quad b=0$

och sedan från den första ekvationen att

$a=0$

Alltså är vektorerna är linjärt oberoende.

2. Hela R² spänns upp

Vi låter (a, b) beteckna en godtycklig vektor i R² och visar att det finns skalärer x och y sådana att

$x(1,1)+y(-1,2)=(a,b)$

Vi måste alltså lösa ekvationssystemet:

$x-y=a \,$

$x+2y=b$

Dras den första ekvationen från den andra fås

$3y=b-a, \,$

          och sedan

$y=(b-a)/3, \,$

        och slutligen

$x=y+a=((b-a)/3)+a. \,$

Hamelbas

En Hamelbas används i samband med oändligdimensionella vektorrum och då framförallt för att särskilja olika basbegrepp för oändligtdimensionella vektorrum, däribland ortonormerade baser och Schauderbaser. Dessa basbegrepp tillåter oändligt många vektorer i linjärkombinationer, vilket inte Hamelbaser gör.

Låt $X$ vara ett vektorrum och $A\subseteq X$ en linjärt oberoende delmängd. Denna delmängd säges vara en Hamelbas för $X$ om dess linjära spann utgör mängden $X$, det vill säga om

$\operatorname{span}(A) = X.$

Med hjälp av Zorns lemma kan man visa att varje vektorrum $X \neq \{0\}$ har en Hamelbas.