Neka su [inlmath]V[/inlmath] i [inlmath]W[/inlmath] vektorski prostori konacne dimenzije nad istim poljem [inlmath]K[/inlmath] i neka je [inlmath]L:\:V\to W[/inlmath] linearno preslikavanje. Ako je [inlmath]U[/inlmath] vektorski potprostor prostora [inlmath]V[/inlmath] i ako je linearno preslikavanje [inlmath]L_1:\:U\to W[/inlmath] definisano sa [inlmath]L_1(x)=L(x)[/inlmath] za svako [inlmath]x[/inlmath] iz [inlmath]U[/inlmath] dokazati:
a) [inlmath]\ker(L_1)=U\cap\ker(L)[/inlmath]
b) [inlmath]\dim\bigl(\text{im}(L_1)\bigr)+\dim(\ker(L))=\dim\bigl(U+\ker(L)\bigr)[/inlmath]
pod a) mi izgleda vrlo logicno [inlmath]\ker(L_1)=\{u\in U\mid L_1(u)=0\text{ tj }L(u)=0\}[/inlmath] po definiciji,a [inlmath]x\in(U\cap\ker L)[/inlmath] je svaki vektor koji zadovoljava uslove da je iz [inlmath]U[/inlmath] i da je [inlmath]L(x)=0[/inlmath] sto znaci da ova dva skupa sadrze iste clanove,je li ja propustam nesto i da li sam uopste na dobrom putu,ovo mi deluje nerealno lako ?