Se ho un'applicazione lineare[latex:3b74u0x1]F[/latex:3b74u0x1]  da [latex:3b74u0x1]R^n ----&gt; R^k[/latex:3b74u0x1]con k&lt;n tale che

F(x1-----xn) -----&gt; (x1--xk)  (dove le varie xi sono i coefficienti rispetto alla canonica) Cioè che prende in input un vettore e salva solo i primi k elementi lasciandoli così come sono e i restanti li azzera ( quindi una proiezione) posso dire che la dim(Im(F)) = dim([latex:3b74u0x1]R^k[/latex:3b74u0x1])? Cioè che la F è surgettiva e perchè?