Si la demostración más simple es la que te he dicho. Si n es la dimensión del espacio, los sistemas de libres de mayor tamaño posible son de n elementos. Lo que pasa es que la demostración de eso no suele darse en estudios no superiores, simplemente dicen que es así y se usa
Veamos de otra forma. Si los n+1 son libres, con más motivo lo son n de ellos. Tomamos los n primeros. Sean ai los escalares y vi los vectores. Y por ser libres se cumple que si:
a1·v1 + a2·v2 + ...+ an·vn = 0 implica a1=a2=...=an=0
En realidad los vectores tienen n componentes, la operación es
a1(v11, v12, ...v1n) + a2(v21, ..., v2n) + ...+ an(vn1, ..., vnn) = (0,0,...0)
Si colocamos los vectores por columnas tendremos:
|V11 v21 ... vn1| |a1| |0|
|v12 v22 ... vn2| |a2| |0|
| . . ... . | x |· | = |0|
| . . ... . | |· | |0|
|v1n v2n ... vnn| |an| |0|
Con lo que (a1,a2, ..., an) es la solución de un sistema de ecuaciones homogéneas y la única solución es (0,0,...,0)
Cuando un sistema de ecuaciones homogéneas tiene (0,0, 0) por única solución la matriz tiene rango máximo.
Ahora tomemos el vector n+1, por la dificultad de escribir subíndice con suma y después otro vamos a llamarlo r en vez de vn+1. Por supuesto que r no es el vector niulo, ya que sería dependiente.
Ahora creamos el sistema de ecuaciones igual que antes pero poniendo r en lugar de los ceros
|V11 v21 ... vn1| |a1| |r1|
|v12 v22 ... vn2| |a2| |r2|
| . . ... . | x |· | = |· |
| . . ... . | |· | |· |
|v1n v2n ... vnn| |an| |rn|
La matriz de coeficientes tenía rango máximo y la ampliada también, luego la solución es única y no puede ser (0,0,0, ..., 0) porque algún ri era distinto de cero.
Entonces eso quiere decir que hemos exprésado el vector n+1 como una combinación lineal de los anteriores con algún ai distinto de cero, luego los n+1 vectores no son independientes.
Esta demostración te sirve si has dado matrices y resolución de ecuaciones a través de ellas.