De kern of nulruimte van een lineaire afbeelding is het deel van het domein dat op de nulvector wordt afgebeeld. Zoals de naam nulruimte al suggereert, is die kern zelf een lineaire deelruimte van het domein.
In de lineaire algebra beeldt een lineaire afbeelding een ruimte met een zekere dimensie af in een andere ruimte. Daarbij hoeft de dimensie van het beeld niet gelijk te zijn aan de dimensie van het domein, maar kan kleiner zijn, er zijn als het ware dimensies verdwenen. De oorzaak daarvan is dat een deel van het domein op de nulvector wordt afgebeeld. Dat deel is een lineaire deelruimte van het domein en wordt de kern of nulruimte van de lineaire afbeelding genoemd.
Definitie
De kern of nulruimte van een lineaire afbeelding is de verzameling van alle vectoren uit die onder op de nulvector van worden afgebeeld:
De kern is een lineaire deelruimte van .
De kern is voor matrices op dezelfde manier gedefinieerd. Het is de kern van de als lineaire afbeelding opgevatte matrix, dus is de kern van een matrix de verzameling van vectoren waarvoor geldt dat :
De nulruimte van een lineaire afbeelding of matrix wordt in sommige werken ook met aangeduid. ker daarin is de Engelse afkorting van kernel.
Voorbeelden
- De loodrechte projectie van de 'gewone' driedimensionale euclidische ruimte op het -vlak is een lineaire afbeelding. Het domein is de hele ruimte , maar het beeld is alleen het -vlak, dus tweedimensionaal. De kern van deze afbeelding is de -as, die in op de oorsprong, op de nulvector van wordt afgebeeld.
- De dimensie van de kern van een lineaire afbeelding of matrix wordt de nulliteit van die lineaire afbeelding of matrix genoemd. Dit begrip is als volgt te duiden: een matrix die uit alleen maar nullen bestaat, heeft meer nulliteit dan een matrix waarvan de determinant nul is, maar waarvan alle minoren verschillend van nul zijn.
- De som van de dimensie van de kern en van het bereik van een lineaire afbeelding van een vectorruimte op zichzelf, dus ook van een vierkante matrix is volgens de dimensiestelling gelijk aan de dimensie van die vectorruimte.