En un espacio vectorial, todas las bases tienen el mismo cardinal, lo que hace de la dimensión el primer invariante del álgebra lineal.