El pasado día vimos definiciones de grupo, anillo y cuerpo. Las tres son extensiones para poder construir las estructuras con las que trabajaremos. Otra muy especial es la de Espacio Vectorial sobre un cuerpo.
Así definimos el espacio vectorial y el subesapcio vectorial, y uno en particular, $\mathbb{R}^n$. Haremos hincapié en:
- Sistema generador
- Combinación lineal
- Dependencia lineal
- Base
Para este tema podéis consultar el libro
ÁLGEBRA LINEAL Definiciones, Teoremas y Resultados, Juan De Burgos Román, ingebook
nos planteamos si un vector cualesquiera pertenece a un sistema generador, o si dentro de los vectores que forman el sistema generador hay alguno que a su vez pertenece a un subconjuntos de vectores del sistema.
Cualquier vector perteneciente a un sistema generador,$\vec{v}\in <\vec{v}_1,\ldots, \vec{v}_n>$ decimos que es combinación lineal de los vectores del sistema. En general, un vector $\vec{v}$ decimos que es combinación lineal de un conjunto de vectores $\vec{v}_1,\ldots, \vec{v}_n$,
$$\vec{v}\in <\vec{v}_1,\ldots, \vec{v}_n>$$
Un conjunto de vectores de un espacio vectorial, $\vec{v}_1,\ldots, \vec{v}_n\in V$ , decimos que es libre si ningún vector es combinación vectorial de los restantes; dicho de otro modo, si los únicos escalares, $k_1,k_2,…,k_n\in\mathbb{K}$, tales que justifican,
$$k_1\vec{v}_1+\cdots +k_n \vec{v}_n=\vec{0},$$
son $k_1=k_2=\ldots=k_n=0$.
Indistintamente decimos sistema libre o vectores linealmente independientes. Y un conjunto que no cumple esa propiedad le denominamos linealmente dependientes; es decir, algún vector es combinación lineal de los otros.
Dentro de los espacio vectoriales nos interesan, particularmente, aquellos que pueden ser generados por un conjunto de vectores finitos, los llamamos espacios vectoriales finitamente generados. Estos espacios tienen la peculiaridad de tener un un subconjunto de vectores, de los vectores que generan todo el espacio, que además son linealmente independientes. Este conjunto es muy importante y le llamamos base de un espacio vectorial: es decir, un conjunto de vectores del espacio que es
- sistema generador, y
- linealmente independiente
Al número de vectores de una base de denominamos dimensión del espacio vectorial. Recordemos que siempre estamos tratando con $\mathbb{K}$-e.v finitamente generados.
Uno de los principales resultados es que en todo $\mathbb{K}$-e.v finitamente generados podemos encontrar una base. Así, pues, en un $\mathbb{K}$-e.v finitamente generado de dimensión $n$ un conjunto de $n$ vectores linealmente independiente siempre son base. Además la base no tiene por qué ser única.
| Ejercicio:Probar que en el espacio vectorial sobre los reales de las funciones continuas, $\mathcal{C}[0,\pi]$, conjunto $C=\{f(x)=x^2,g(x)=e^x,h(x)=\sin(x)\}$ es un sistema libre. |