Kern (algebra)
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.

 Kern wordt in de operatorentheorie anders gedefinieerd.

Lineaire algebra