Linjärkombinationer och linjärt oberoende

Efter denna lektion kommer du att kunna avgöra om en uppsättning vektorer är linjärt oberoende samt förstå och analysera vad ett linjärt hölje (span) representerar geometriskt och algebraiskt.

Vad är en linjärkombination?

Inom linjär algebra är en linjärkombination ett sätt att bilda en ny vektor genom att skala och addera existerande vektorer.

Om vi har en mängd vektorer v₁, v₂, ..., vₖ i samma vektorrum och kombinerar dem med hjälp av skalärer (reella tal) c₁, c₂, ..., cₖ, får vi ett uttryck på formen:

v = c₁v₁ + c₂v₂ + ... + cₖvₖ

Vektorn v kallas då för en linjärkombination av vektorerna v₁, ..., vₖ.

Exempel i R²

Låt v₁ = (1, 0) och v₂ = (0, 1). Om vi vill skapa vektorn v = (3, -2), kan vi välja c₁ = 3 och c₂ = -2:

v = 3(1, 0) + (-2)(0, 1) = (3, 0) + (0, -2) = (3, -2)

Faktum är att *varje* vektor (x, y) i planet R² kan skrivas som x v₁ + y v₂. Det innebär att vi kan nå vilken punkt som helst i planet med hjälp av linjärkombinationer av dessa två vektorer.

Om två vektorer istället pekar i samma riktning, till exempel u₁ = (1, 2) och u₂ = (2, 4), är alla deras linjärkombinationer låsta till linjen y = 2x. Vi kan då inte täcka hela planet.

Linjärt hölje (Span)

Mängden av *alla* möjliga linjärkombinationer som kan bildas av en samling vektorer kallas för vektorernas linjära hölje (på engelska: *span*).

Om V = {v₁, v₂, ..., vₖ} är en mängd vektorer, betecknas det linjära höljet med Span(v₁, v₂, ..., vₖ) eller Hölj(v₁, v₂, ..., vₖ).

Geometrisk tolkning

Det linjära höljet beskriver det geografiska eller geometriska "rum" som vektorerna spänner upp:

1. En enstaka nollskild vektor spänner upp en 1D-linje genom origo.

2. Två icke-parallella vektorer spänner upp ett 2D-plan genom origo.

3. Tre icke-koplanära vektorer spänner upp hela 3D-rummet R³.

Om vi lägger till ytterligare en vektor som redan ligger i det linjära höljet av de tidigare (t.ex. en tredje vektor som ligger i samma plan som de två första), så förstoras inte det linjära höljet. Mängden spänner fortfarande bara upp samma plan.

Linjärt oberoende och linjärt beroende

En central fråga i linjär algebra är om en mängd vektorer innehåller "överflödig" information.

Formell definition

Vektorerna v₁, v₂, ..., vₖ kallas linjärt oberoende om vektorekvationen:

c₁v₁ + c₂v₂ + ... + cₖvₖ = 0

endast har den triviala lösningen c₁ = c₂ = ... = cₖ = 0.

Om det finns minst en lösning där någon koefficient cᵢ ≠ 0, kallas vektorerna linjärt beroende.

Vad innebär detta i praktiken?

• Linjärt beroende: Minst en av vektorerna kan skrivas som en linjärkombination av de andra. Den tillför ingen ny dimension till det linjära höljet.
• Linjärt oberoende: Ingen vektor kan täckas av de övriga. Varje vektor pekar ut en helt ny, unik riktning.

Metod för att testa linjärt oberoende

Placera vektorerna som kolumner i en matris A och lös det homogena ekvationssystemet A c = 0:

• Om den enda lösningen är c = 0, är vektorerna linjärt oberoende.
• Om det finns fria variabler (oändligt många lösningar), är vektorerna linjärt beroende.

Samband med determinanter och rang

Det finns kraftfulla verktyg från matristeorin för att snabbt avgöra om en mängd vektorer är linjärt oberoende.

1. Determinantkriteriet (Kvadratiska matriser)

Om vi har n stycken vektorer i ett n-dimensionellt rum Rⁿ, bildar de en kvadratisk n × n-matris A när vi sätter dem som kolumner.

• Om det(A) ≠ 0: Vektorerna är linjärt oberoende (och spänner upp hela Rⁿ).
• Om det(A) = 0: Vektorerna är linjärt beroende (och spänner inte upp hela Rⁿ).

2. Matrisens rang (Rank)

För en godtycklig matris A med storlek m × n (där n är antalet vektorer):

• Vektorerna är linjärt oberoende om och endast om rang(A) = n (dvs. matrisen har full kolumnrang, inga fria variabler).
• Om antalet vektorer n är större än rummets dimension m (n > m), finns det fler kolumner än rader. Då måste rang(A) ≤ m < n, vilket innebär att vektorerna ALLTID är linjärt beroende.

Till exempel är 4 vektorer i R³ eller 3 vektorer i R² alltid linjärt beroende!