Ekvationssystem

Ett ekvationssystem är en mängd av ekvationer av flera variabler. Lösningarna till ekvationssystemet är alla uppsättningar av värden av variablerna som satisfierar alla ekvationer i systemet.

Exempel
Bestäm skärningspunkterna för linjerna  och , med andra ord, sök en lösning till ekvationssystemet
 
Första steget är att reducera de två ekvationerna med de två obekanta till en ekvation som endast innehåller en obekant. Detta kan göras genom att skriva om ekvation (B) till

Genom att sätta in detta värde på y i ekvation (A) övergår ekvation (A) till

Denna ekvation har lösningen  Då  följer att  

Det finns därför bara en skärningspunkt för de två linjerna A och B: den punkt vars x-koordinat är x = 1 och vars y-koordinat är y = 0.

Allmänna ekvationssystem
Givet m stycken funktioner där varje funktion beror av n stycken variabler:

Varje ekvation 
 
beskriver en hyperyta i det n-dimensionella Euklidiska rummet
.

En yta är ett tvådimensionellt objekt medan en hyperyta är en yta av godtycklig dimensionalitet.

Om det finns lösningar till ekvationssystemet
 
så är dessa de punkter i det n-dimensionella rummet som ligger på samtliga m stycken hyperytor. (Systemet har endast lösningar om hyperytorna möts i minst en punkt.)

Innehåller ekvationssystemet färre ekvationer än variabler, det vill säga om m < n, så är systemet underbestämt. Det kan då fortfarande vara lösbart, men lösningen blir inte entydig. Lösningen kan till exempel vara alla tal på en kurva eller linje.

Innehåller systemet fler oberoende ekvationer än variabler, det vill säga om m > n, är systemet överbestämt och är oftast olösbart. Överbestämda ekvationssystem är vanliga inom forskningen, då man behandlar mätdata som innehåller slumpmässiga mätfel.

Linjära ekvationssystem

Den enklaste formen av ekvationssystem består av linjära funktioner:

Var och en av de m ekvationerna

beskriver ett plan i det n-dimensionella rummet: 

Det linjära ekvationssystemet

beskriver skärningspunkterna mellan de m planen. 

En förutsättning för en unik lösning till ekvationssystemet är att det finns lika många icke-parallella plan som det finns variabler i ekvationerna, det vill säga att m = n. 

Ekvationssystemet kan i matrisform skrivas som 

eller mera kortfattat
 
Om A är en inverterbar matris med inversen , kan lösningen till ekvationssystemet skrivas 

För att detta skall vara möjligt måste matrisen A vara kvadratisk, det vill säga matrisen måste ha lika många rader (m) som kolumner (n). Dessutom får dess nollrum, N(A), endast innehålla nollvektorn ; nollrummet till matrisen A består av de vektorer som är lösningar till ekvationssystemet :

Nollrummet N(A) innehåller endast nollvektorn om, och endast om, determinanten till matrisen A inte är noll:

där det(A) betecknar determinanten av matrisen A. 

Sammanfattningsvis:
Varje kvadratisk matris, A, kan associeras med ett speciellt tal, det(A). Det linjära ekvationssystemet Ax = b har en unik lösning om, och endast om, detta tal inte är noll.

Referenser
J. Peterson, Tillämpad linjär algebra, (1993), Jan Peterson
L. Råde och B.Westergren, BETA: mathematics handbook, (1990), Studentlitteratur
P.R. Halmos, Finite-dimensional vector spaces, (1987), Springer-Verlag

Algebra