Applicazioni lineari

[lepre561]

salve,
ho trovato nei miei appunti in mezzo alle applicazioni lineari queste cose. non so cosa siano perchè non trovo niente di simile nel libro. Ora le scrivo nella speranza che qualcuno sappia dirmi cosa sono

f: V$rarr$ V'
S={ v1,...,vn} S'=f(S)={f v1,..., fvn}

1) Se S è dipendente anche S' è dipendente
2)Se S è indipendente ed f un'applicazione lineare iniettiva, allora S è indipendente
3)Se S genera V allora S' genera Imf
4)Se S genera V e f è suriettiva allora S' genera W
5)Se S è una base e f è un isomorfismo allora S' è una base

[anto_zoolander]

Proposizioni(?)