[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 ,