pdf:
1
Sea un y un conjunto finito de vectores linealmente independientes, entonces cualquier subconjunto de este conjunto es l.i.
\begin{proof}
Sean
PD es l.i.
sup que
Llamemos …
Como es l.i. Entonces Por lo tanto es l.i.
\end{proof}
2
Matriz, con tiene solución no trivial.
\begin{proof}
Sea R la forma de Hermit de A. Como A y R son equivalentes por filas, los sistemas Ax = 0 y Rx = 0 son equivalentes. Esto es, tienen el mismo conjunto de soluciones.
Probaremos que el sistema tiene solución no trivial.
Sea el rango por filas de que es igual al número de renglones no nulos de .
El número de renglones de
El número de columnas de
Por HI
Por lo que el sistema tiene solución no trivial.
\end{proof}
3
Def
Sea un finítamente generado y un conjunto de generadores de . Entonces cualquier subconjunto linealmente independiente de tiene a lo más vectores.
\begin{proof}
Probaremos que cualquier subconjunto de con más de vectores es linealmente dependiente.
Sea un subconjunto de y supongamos que .
PD es l.d.
Como los vectores generan a , entonces para cada , el vector
…
existen escalares tales que
Consideremos la matriz:
La columna 1 es , la última columna es .
Ahora bien, el sistema homogéneo tiene solución no trivial, ya que .
Sea una solución no trivial de
Entonces
Esta es una combinación lineal no trivial de los vectores ya que al menos uno de los escalares es no nulo. De aqui que es l.d.
\end{proof}
4
Sea un finitamente generado, entonces, cualesquiera dos bases de tienen el mismo número de elementos.
\begin{proof}
Supongamos que y son bases de .
PD
Tenemos que: a) genera a y es l.i. por (3) b) genera a y es l.i. por (3)
Por lo tanto .
\end{proof}
5
Dimensión de V sobre F
Sea un espacio finitamente generado. Definimos la dimensión de sobre como el número de vectores de cualquier base de . Y lo denotamos como
6
Ejemplos:
a)
ya que la base canónica de tiene elementos.
b)
Un caso particular sería
Las matrices canónicas de generan una dimensión de 6 vectores.
De manera general: