En lgebra lineal, un conjunto de vectores es linealmente independiente si

ninguno de ellos puede ser escrito con una combinacin lineal de los restantes.
Por ejemplo, en R3, el conjunto de vectores (1, 0, 0), (0, 1, 0) y (0, 0, 1) es
linealmente independiente, mientras que (2, 1, 1), (1, 0, 1) y (3, 1, 2) no lo es,
ya que el tercero es la suma de los dos primeros.
Definicin
Dado un conjunto finito de vectores
son linealmente dependientes si existen nmeros
iguales a cero, tales que:

, se dice que estos vectores

, no todos

Ntese que el smbolo a la derecha del signo igual no es cero, sino que simboliza
al vector nulo . El conjunto de vectores nulos forma la matriz nula. Si tales
nmeros no existen, entonces los vectores sonlinealmente independientes. La
definicin anterior tambin puede extenderse a un conjunto infinito de vectores,
concretamente un conjunto cualquiera de vectores es linealmente dependiente si
contiene un conjunto finito que sea linealmente dependiente.
Utilizando conceptos de espacios vectoriales podemos redefinir la independencia
lineal as:
Un conjunto de vectores

de un espacio vectorial es linealmente independiente

si
Esta idea es importante porque los conjuntos de vectores que son linealmente
indepedientes, generan un espacio vectorial y forman una base para dicho espacio.
Entre las propiedades de los vectores linealmente dependientes e independientes
encontramos:
Un conjunto de vectores es linealmente dependiente si y solamente si alguno de
los vectores es combinacin lineal de los dems.
Si un conjunto de vectores es linealmente independiente cualquier subconjunto
suyo tambin lo es. Obviamente, si tenemos un conjunto de vectores tales que
ninguno de ellos es combinacin de los dems, escogiendo solamente unos
cuantos, no podrn ser combinacin de los otros.
Si un conjunto de vectores es linealmente dependiente, tambin lo es todo
conjunto que lo contenga.
Un conjunto de vectores son linealmente dependientes si y slo si son paralelos.

Un conjunto de vectores son linealmente dependientes si los componentes entre

ellos son proporcionales, bien sea directa o inversamente proporcional. Ya que un
conjunto de vectores es linealmente dependiente si y solo si tiene algn vector que
es combinacin lineal de los dems, si metemos este conjunto de vectores en otro
ms grande, seguimos teniendo el vector que es combinacin lineal de otros, por
tanto, el conjunto ms grande ser linealmente dependiente.
Significacin geomtrica
Geomtricamente, dos vectores son independientes si no tienen la misma
direccin. Esta definicin supone que el vector nulo tiene todas las direcciones, en
otras palabras este debe generar un rea.
Tres vectores son independientes si y solo si no estn contenidos en el mismo
plano vectorial, o sea si ninguno de ellos es una combinacin lineal de los otros
dos (en cuyo caso estara en el plano generado por estos vectores) en otras
palabras este debe generar un volumen.
El espacio generado por un sistema de vectores es el conjunto de todas las
combinaciones lineales de estos vectores. Es un espacio vectorial. El espacio
generado por un vector no nulo es la recta vectorial dirigido por este vector. El
espacio generado por dos vectores independientes es el plano que los contiene.
Resulta fcil comprobar que el espacio generado por un sistema de vectores es el
menor (por la inclusin) espacio vectorial que los contiene a todos. Se le
denomina vect A, donde A es el sistema de vectores. Si n vectores son
independientes, el espacio generado es de dimensin n (dimensin en el sentido
usual: 0 para un punto, 1 para una recta, 2 para un plano...).
BASES Y DIMENSIN
Definicin: Base. Se llama base de un espacio (o subespacio) vectorial a un
sistema
generador de dicho espacio o subespacio, que sea a la vez linealmente
independiente.
Propiedades de las bases.
1. Una base de S es un sistema generador minimal de S (lo ms pequeo posible).
2. Adems es un conjunto independiente maximal dentro de S (lo ms grande
posible).

3. Una base de S permite expresar todos los vectores de S como combinacin

lineal de ella,
de manera nica para cada vector.
Teorema y definicin: Dimensin
Todas las bases de un mismo espacio o subespacio tienen el mismo nmero de
vectores.
Se llama dimensin de dicho espacio o subespacio.

Ejemplos de dimensin.

Propiedades de la dimensin.
1. Significado fsico de la dimensin: el espacio tiene dimensin 3, los planos
dimensin 2,
las rectas dimensin 1, el punto dimensin 0. El subespacio {0} es el nico de
dimensin 0.
2. La dimensin de un subespacio en n
, coincide con el nmero de parmetros libres en
su forma paramtrica. (1 parmetro=recta, 2 parmetros= plano...)
3. Si S y T son subespacios y S est contenido en T, entonces dim S dim T.

Adems, si se da la igualdad, dim S = dim T, entonces ambos espacios han de

coincidir.
4. El rango de una familia de vectores, es igual a la dimensin del subespacio que
generan.
Es decir: si v1,v2,. . . vn generan un cierto subespacio S, y si el rango de dicho
conjunto es r,
entonces dim S = r.
(Si un cierto conjunto de vectores tienen rango 2, entonces generan un plano; etc.)

Teorema de la base incompleta

Si E es un espacio vectorial de dimensin n y F = {u1, , ur } (r < n) un
sistema libre de E, existen n - r vectores de E que aadidos a F forman una base
de E. Consecuencia: El espacio vectorial generado por los n - r vectores aadidos
a F son base del subespacio suplementario del L(F).

Teorema y definicin: Dimensin.

Todas las bases de un mismo espacio o subespacio tienen el mismo
nmero de vectores. Se llama dimensin de dicho espacio o subespacio.
Por tanto, la dimensin es el mximo nmero de vectores independientes
que podemos tener en el espacio o subespacio. En otras palabras, es el mximo
rango que puede tener un Es tambin el rango de cualquier sistema generador de
dicho espacio. Conjunto de vectores de dicho espacio.
Teorema:.
Sea S un espacio o subespacio de dimensin m. Entonces,
Si tenemos m vectores linealmente independientes en S, tambin sern
sistema generador de S.
Si tenemos m vectores que generan S, tambin sern linealmente
independientes.

Por tanto, si tenemos un conjunto formado por tantos vectores como indica
la dimensin, dichos vectores sern a la vez linealmente independientes y sistema
generador, o bien ninguna de las dos cosas.
As pues, para probar que son base, bastara probar solamente una de las
dos cosas: que son linealmente independientes, o que son sistema generador.
Esto solamente se puede aplicar cuando conocemos la dimensin del
espacio y cuando tenemos tantos vectores como indica la dimensin.
Proceso de ortogonizacion de Gram-Schidt
En lgebra lineal, el proceso de ortogonalizacin de GramSchmidt es
un algoritmo para construir, a partir de un conjunto de vectores de un espacio
prehilbertiano (usualmente, el espacio eucldeo Rn), otro conjunto ortonormal de
vectores que genere el mismo subespacio vectorial.
Se define, en primer lugar, el operador proyeccin mediante

donde los corchetes angulares representan el producto interior. Es evidente que

es un vector ortogonal a . Entonces, dados los vectores

algoritmo de GramSchmidt construye los vectores ortonormales
la manera siguiente:

, el
de

A partir de las propiedades de la proyeccin y del producto escalar, es sencillo

probar que la sucesin de vectores
es ortogonal.

Repblica Bolivariana de Venezuela

Ministerio del Poder Popular para la Defensa
Universidad Nacional Experimental de
La Fuerza Armada Bolivariana
Ncleo Carabobo-Extensin Bejuma

Integrante:
Luis Hernndez

Bejuma, Junio de 2011