Definition: vektorrum Ett vektorrum V är en icke-tom mängd av vektorer vilka man kan addera och multiplicera med en skalär enligt reglerna nedan. För vektorerna u, v, w ∈ V , och skalärerna c, d ∈ R ska gälla: 1. u + v ∈ V 2. u + v = v + u 3. (u + v) + w = u + (v + w) 4. Det finns u+0=u en nollvektor 0 så att 5. För alla u ∈ V existerar en vektor −u så att u + (−u) = 0 6. c u ∈ V 7. c(u + v) = c u + c v 8. (c + d)u = c u + d u 9. (c d)u = c(d u) 10. 1 u = u Definition: underrum Ett underrum H till ett vektorrum V är en delmängd av V som har egenskaperna: 1. Nollvektorn i V finns också i H. 2. H är sluten under vektoraddition, dvs u, v ∈ H ⇒ u + v ∈ H. 3. H är sluten under multiplikation med skalär, dvs u ∈ H, c ∈ R ⇒ c u ∈ H. Exempel Ett underrum som spänns upp av två vektorer: x3 v1 v2 0 x1 x2 Sats 1 Om v 1, v 2, . . . v p är i vektorrummet V så är Span{v 1, v 2, . . . v p} ett underrum till V . Definition: nollrum Nollrummet till en m × n-matris A, dvs Nul(A), är mängden av lösningar till den homogena ekvationen A x = 0, dvs Nul(A) = {x ∈ Rn | A x = 0} Sats 2 Nollrummet till en m × n-matris A är ett underrum till Rn. Definition: kolonnrum Kolonnrummet till en m × n-matris A, dvs Col(A), är mängden av alla linjärkombinationer av ikolonnerna i A. Dvs om h A = a1 a2 . . . an så är Col(A) = Span{a1, a2, . . . , an} Sats 3 Kolonnrummet till en m × n-matris A är ett underrum till Rm. Definition: Linjär avbildning En avbildning T är linjär om 1. T (u + v) = T (u) + T (v) för alla u, v i definitionsmängden för T . 2. T (c u) = c (T (u)) skalärer c. för alla u och Definitionen leder till följande egenskaper: T (0 ) = 0 T (c u + d v) = c T (u) + d T (v) T (c1 v1 + c2 v2 + · · · + cp vp) = c1 T (v1) + c2 T (v2) + · · · + cp T (vp)