Als er bij een gegeven vierkante matrix een matrix bestaat zo dat , dan heet de inverse van . De notatie hiervoor is . In dit geval noemen we inverteerbaar of regulier.
Als een matrix niet inverteerbaar is, dan spreken we ook wel van een singuliere matrix.
We spreken van de inverse en niet van een inverse omdat de inverse van een inverteerbare matrix uniek is. Stel maar dat zowel als vierkante matrices zijn die aan de voorwaarden voor een inverse van voldoen: Dan is zodat .
Er bestaat verder nog een bewijs dat voor vierkante matrices met ook geldt dat . Omdat matrixvermenigvuldiging niet commutatief is, is deze eigenschap niet vanzelfsprekend
Er volstaat dus een zwakkere conditie op om te concluderen dat de inverse van een matrix is:
- Als , dan is de inverse van .
- Als , dan is de inverse van .
Immers, Reken dat zelf na.
Net als bij getallen heeft de (vierkante) nulmatrix geen inverse: voor iedere geldt namelijk . Maar in tegenstelling tot het rekenen met getallen zijn er ook matrices ongelijk aan de nulmatrix die geen inverse hebben: Twee voorbeelden van niet-inverteerbare matrices zijn en
- Laat en ()-matrices zijn. Als en inverteerbaar zijn, dan is ook inverteerbaar met inverse Verder geldt dat inverteerbaar is en
- Als een inverteerbare matrix is, dan is de getransponeerde matrix dat ook en .
De eerste regel volgt uit en net zo .
Het tweede onderdeel van deze regel is in feite een andere interpretatie van .
De tweede regel is direct te verifiëren:
Als , dan is dan en slechts dan inverteerbaar als . In dit geval geldt Als , dan is niet inverteerbaar.
De uitdrukking heet de determinant van de matrix en noteren we met . De stelling zegt dus dat de matrix inverteerbaar is dan en slechts dan als .
Om de inverse van de algemene ()-matrix te bepalen moeten we op zoek naar scalairen zodanig dat Oftewel: We hebben dus te maken met twee stelsels vergelijkingen met twee onbekenden, namelijk De bijpassende aangevulde matrices zijn Met elementaire rijoperaties kun je de aangevulde matrices in trapvorm brengen: Merk op dat we links en rechts dezelfde rijoperaties toepassen. Er zijn alleen oplossing als en dan levert de gereduceerde trapvorm de oplossing
De stelling zegt dus dat de matrix inverteerbaar is dan en slechts dan als . Dit is bij de juiste definitie van de determinant ook waar voor vierkante matrices met andere afmetingen.
Om een inverse (mits deze bestaat) van een ()-matrix systematisch te bepalen stellen we de ()-matrix op: We passen elementaire rijoperaties toe op deze aangevulde matrix om tot een gereduceerde trapvorm te komen.
- Als de gereduceerde trapvorm van de vorm is, dat wil zeggen dat links van de verticale streep een eenheidsmatrix is ontstaan, dan is inverteerbaar en .
- Als de gereduceerde trapvorm niet van de vorm is, dat wil zeggen dat links van de verticale streep geen eenheidsmatrix is ontstaan, dan is niet inverteerbaar.
Als je het bewijs van de vorige stelling bekeken hebt, dan heb je misschien een vermoeden hoe we aan de slag gaan. Stel dat we de inverse van de matrix willen bepalen. Dan moeten we dus proberen op te lossen. Vat de onbekende matrix op als een matrix bestaande uit kolomvectoren . De productmatrix heeft dan kolommen , en deze moeten gelijk zijn aan de kolommen van de eenheidsmatrix, dat wil zeggen, gelijk zijn aan de eenheidsvectoren .
We vinden zo stelsels vergelijkingen . Dit zijn allemaal stelsels lineaire vergelijkingen die als coëfficiëntenmatrix hebben. Deze kunnen we in één keer (simultaan) oplossen door de matrix in rijregereduceerde trapvorm te brengen. Als de rang van het stelsel kleiner dan is, dan heeft geen inverse. Als de rang van het stelsel is, dan heeft het gereduceerde stelsel de vorm We vinden zo (unieke) oplossingen van de stelsel , te weten de kolommen van de matrix . De matrix voldoet dus aan .
Is onderstaande matrix inverteerbaar?
De matrix is inverteerbaar en de inverse is
We breiden de matrix uit met een identiteitsmatrix. Rijreductie geeft daarna
Uit de gereduceerde trapvorm volgt dat de gegeven matrix inverteerbaar is en kun je de inverse matrix aflezen (rechts van de identiteitsmatrix in de gereduceerde trapvorm).