Espace vectoriel, Applications linéaires