Un funcional lineal en un espacio vectorial sobre un campo es una función:
que satisface las siguientes dos propiedades para todos y todo escalar :
- Aditividad:
- Homogeneidad:
En otras palabras, un funcional lineal es una transformación lineal cuyo codominio es el campo .
Los funcionales lineales son los elementos del Espacio dual .