Un espacio vectorial es una estructura algebraica formada por un conjunto no vacío, una operación de suma y una operación de producto escalar que cumplen con siete propiedades fundamentales. Un subespacio vectorial cumple con las propiedades de cierre bajo suma y producto escalar. La dependencia e independencia lineal de vectores se definen en términos de si existe una combinación lineal no trivial que iguale a cero. La dimensión de un espacio vectorial es el número máximo de vectores linealmente independientes en una base.