Damos la definición formal de aplicación lineal y vemos tres propiedades elementales, con sus respectivas demostraciones.