[Ylempi pääsivu] [Edellinen sivu] [Seuraava sivu]
Lineaarikuvauksen injektiivisyyden tutkiminen voidaan siirtää origoon: ehdosta saadaan nimittäin, että , ja kääntäen. Toisin sanoen vektoreiden ja vertaaminen on yhtäpitävää vektorin nollavektoriin vertaamisen kanssa. Yhtälön sijasta riittääkin siten tarkastella yhtälöä .
Määritellään, että lineaarikuvauksen ydin on joukko
Kuvauksen lineaarisuuden perusteella ytimen vektoreiden summat ja monikerrat ovat edelleen sen vektoreita, sillä jos ja , niin myös
Lineaarikuvauksen ydin on siis aina joidenkin vektorien virittämä aliavaruus. Seuraava tulos on jo oikeastaan edellä perusteltu, mutta todistetaan se vielä uudestaan.
Lineaarikuvaus on injektio, jos ja vain jos .
Todistus. Jos on injektio ja vektori on ytimessä, on , joten injektiivisyyden perusteella .
Jos taas ytimessä on vain nollavektori, ehdosta ja siitä, että
saadaan, että vektorin on oltava ytimen ainoa vektori, nollavektori, ts. saadaan, että . Kuvaus on siten injektio.
Opiskelutehtävän 20 perusteella tiedetään, että kuvaus ,