TECNOLOGICO NACIONAL DE MEXICO

Instituto Tecnolgico de Lzaro Crdenas

ALGEBRA LINEAL
INVESTIGACION IV
DEFINICION DE ESPACIO VECTORIAL

NOMBRE DEL ALUMNO:

APELLIDO PATERNO APELLIDO MATERNO
ADAME
RIVERA

CARRERA: ING QUIMICA

GRUPO: 22X
SALON: M6
SEMESTRE: ENERO-JUNIO 2015
FECHA DE ENTREGA: 08/05/2015

NOMBRE
IVN JESS

Espacios Vectoriales. Definicin

Comenzaremos con el estudio de un ente matemtico como son los espacios
vectoriales. Su definicin puede parecer un poco extraa al no entendido, sin
embargo, una idea ha de quedar clara: es una estructura que nos asegura que al
componer dos elementos pertenecientes al espacio (elementos a los que
llamaremos vectores) de acuerdo a una cierta operacin, el resultado sigue siendo
un elemento del espacio. En otras palabras, la suma de vectores ser un vector y
no cualquier otra cosa, como podra ser un punto.
Definicin de espacio vectorial

Sea

Un cuerpo, Diremos que un conjunto mas Dotado de una operacin interna y

otra externa Sobre el cuerpo.
Tiene estructura de espacio vectorial si cumple las siguientes propiedades

Es un grupo Abelino

o es una operacin que va del producto cartesiano en el conjunto

Verificando las siguientes propiedades:

Distributiva respecto de la suma de vectores:

Distributiva respecto de la suma de escalares

Asociativa mixta:

Producto por el elemento unidad del cuerpo:

Siguiendo esta definicin de lo que es un espacio vectorial, a partir de las
propiedades que todos sabemos de la suma y producto de:

Nmeros reales (sabemos que)

Es un cuerpo, lo que implica, en particular, que

Y
Son grupos), se demuestra muy fcilmente que, por ejemplo, el espacio
de los vectores del plano con las operaciones de suma de vectores y producto
de un escalar con un vector definidas como conocemos de cursos anteriores
(esto es, un espacio vectorial sobre

Sub espacio vectorial:

Esto dice que si W es un sub conjunto del espacio vectorial V entonces
este es un sub espacio de V. Si W es un espacio vectorial bajo las
operaciones de suma y multiplicacin por un escalar definidas en V.
Para que W sea un sub espacio de V debe cumplir las propiedades de
cierre de la suma y la multiplicacin por un escalar tambin debe
cumplir la ley del elemento neutro bajo la suma, el inverso bajo la suma
y el neutro bajo la multiplicacin por un escalar.
Combinacin Lineal:
Se denomina combinacin lineal a u vector V en un espacio vectorial U u
un cuerpo h.
Si los vectores v1, v2, v3, ..., vn en u si V puede expresarse como:
V = c1v1 + c2v2 + c3v3 +... + cnvn donde c son escalares del cuerpo h.
Envolvente Lineal:
Este es el conjunto de todas las combinaciones lineales semejantes
denotado por Lin(v1, v2, ..., vn) y se denomina envolvente lineal de u1,
u2, ...,un.
Siendo S un sub conjunto de un espacio vectorial V entonces Lin S es un
sub conjunto de un espacio vectorial V y si W es un subconjunto de V
que contiene a S, necesariamente Lin S es complemento de W.
Conjuntos Generadores:
Si todo vector es un espacio vectorial puede ser expresado como
combinacin lineal como lo vimos anteriormente entonces se dice que la
combinacin lineal es un conjunto generador de un espacio vectorial..
En otras palabras si u1, u2, ..., un generan u entonces u pertenecen a V
si existen escalares c tal que:

V = c1u1 + c2v2 +... + comn entonces V es una combinacin lineal de

u1, u2,..., u3.
Espacio fila y Espacio Columna de una Matriz:
Si A es una matriz m x n en un cuerpo K cualquiera, las filas de A pueden
ser vistas como vectores de Kn llamado espacio fila de U denotado por f
- Lin A.
As haciendo la matriz transpuesta esto quiere decir que si las columnas
las hacemos vectores de Km estos generan un sub espacio de Km
llamado espacio columna de A denotado c-Lin A.
Si hacemos operaciones elementales entre fila a A y obtenemos una
matriz B podemos decir que B es que cada fila de B es una combinacin
lineal de cada fila de A por lo que el espacio fila de B esta contenido al
espacio fila de A y as viceversa, o sea, si efectuamos operaciones entre
fila a B obtenemos A y esto sera convencin lineal de cada fila de B,
esto cumple ciertos teoremas y propiedades:
Las matrices equivalentes por filas tienen el mismo espacio fila.
Dos matrices en forma cannica por fila tienen el mismo espacio fila si
estos tienen las mismas filas no nulas.

Toda matriz es equivalente por fila a una matriz nica en forma

cannica por filas.

Conjuntos Generadores e Independencia Lineal:
Si todo vector puede expresarse como combinacin lineal de vectores en
un conjunto S entonces el conjunto S es un conjunto de un espacio
vectorial.
Dependencia e Independencia Lineal:

Para que un vector tenga dependencia lineal este debe tener una
solucin no trivial esto quiere decir que la combinacin lineal denotado
as: c1v1 + c2v2 + c3v3 = 0 , sea que tiene una solucin nica.
Para comprobar la independencia Lineal.
Sea S = {v1, v2,..., vn} un conjunto de vectores en un espacio vectorial
V entonces partiremos de la ecuacin vectorial c1v1 + c2v2 + c3v3 = 0
(que es la misma que combinacin lineal don de c son escalares) se
escribe un sistema homogneo de ecuaciones lineales en variable c1,
c2,..., ck. Despus se hace Gauss-Jordn a la matriz aumentada para
diagonal izarla si la solucin de la diagonalizacion tiene solamente
solucin trivial c1, c2, c3 entonces S es linealmente independiente.
Si un conjunto S={v1, v2, ..., v3}, k>=2 es linealmente dependiente si
solo si por lo menos uno de los vectores vj puede expresarse como una
combinacin lineal de los dems vectores S.

Combinacin lineal. Independencia lineal.

COMBINACIN LINEAL
Sean v1, v2, , vn, vectores en un espacio vectorial V. entonces cualquier
vector de la forma: a1v1+a2v2++anvn, donde a1,a2,,an son escalares se
denomina una combinacin lineal de v1, v2,,vn.
Una combinacin lineal en M23

Conjunto generador.
Se dice que los vectores v1, v2, , vn de un espacio vectorial V generan a V si
todo vector en V se puede escribir como una combinacin lineal de los mismo.
Es decir, para todo vV, existen escalares a1, a2,, an. tales que
v=a1v1+a2v2++anvn
Cuatro vectores que generan a M22

Espacio generado por un conjunto de vectores.

Sean v, v2, , vk, k vectores de un espacio vectorial V. el espacio generado por
{v1, v2, , vk} es el conjunto de combinaciones lineales v1,

v2,, vk. Es decir

a1, a2, , ak, son escalares arbitrarios.

donde

Teorema: si v1, v2, , vk son vectores en un espacio vectorial V, entonces

gen{v1, v2, , vk} es un subes paci de V.
Ejemplo: el espacio generado por dos vectores en R3
Sea v1=(2,-1,4) y v2=(4,1,6). Entonces H=gen{v1, v2}={v:v=a1(2,1,4)+a2(4,1,6)}. Cul es la apariencia de H? si v=(x, y,z)H, entonces tiene
x=2a1+4a 2, y=-a1+a2 y z=4a 1+6 2. Si se piensa que (x, y, z) esta fijo,
entonces estas ecuaciones se pueden ver como un sistema de tres ecuaciones
con tres incgnitas a1, a2. Este sistema se resuelve en la forma usual:
INDEPENDENCIA LINEAL
En el estudio del algebra lineal, una de las ideas centrales es la de
dependencia o independencia lineal de los vectores. En esta seccin se define
el significado de independencia lineal y se muestra su relacin con la teora de
sistemas homogneos de ecuaciones y determinantes.

Existe una relacin espacial entre los vectores

, se
puede apreciar que v2=2v1; o si se escribe esta ecuacin de otra manera. 2v1v2=0.
En otras palabras, el vector cero se puede escribir como una combinacin no
trivial de v1 y v2 (es decir, donde los coeficientes en la combinacin lineal no
son ambos cero). Qu tienen de especial los vectores

? La respuesta a esta pregunta es

ms difcil a simple vista. Sin embargo, es sencillo verificar que v3=3v1+2v2;
rescribiendo esto se obtiene

Se ha escrito el vector cero como una combinacin lineal de v1, v2, y v3.
Parece que los dos vectores de la ecuacin y los tres vectores de la otra
ecuacin tienen una relacin ms cercana que un par arbitrario de 2-vectores a
una terna arbitraria de 3-vectores. En cada caso, se dice que los vectores son
linealmente dependientes. En trminos generales, se tiene la importante
definicin a continuacin presentada.

Definicin: sean v1, v2, , vn vectores en un espacio vectorial V. entonces se

dice que los vectores son linealmente dependientes si existen n escalares c1,
c2, , cn no todos ceros tales que

Si los vectores no son linealmente dependientes, se dice que son linealmente

independientes.
Para decirlo de otra forma, v1, v2, .., vn son linealmente independientes si la
ecuacin c1v1+c2v2++cnvn=0 se cumple nicamente para c1=c2=
=cn=0. Son linealmente dependientes si el vector cero en V se puede expresar
como una combinacin lineal de v1, v2,,vn con coeficientes no todos iguales
a cero.
Nota. Se dice que los vectores v1, v2, , vn son linealmente independientes (o
dependientes), o que el conjunto de vectores {v1, v2, , vn} es linealmente
independiente (o pendiente). Esto es, se usan las dos frases indistintamente.
Teorema: dependencia e independencia lineal
Dos vectores en un espacio vectorial son linealmente dependientes si y solo si
uno de ellos es un mltiplo escalar del otro.
Demostracin: primero suponga que v2=cv1 para algn escalar c0. Entonces
cv1-v2=0 y v1 y v2 son linealmente dependientes. Por otro parte, suponga que
v1 y v2 son linealmente dependientes. Entonces existen constantes c1 y c2 al
menos uno distinto a cero, tales que
c1v1+c2v2=0. Si c10, entonces dividiendo entre c1 se obtiene v1+

(c2/c1)v2=0, o sea,

Es decir, v1 es un mltiplo escalar de v2. Si c1=0, entonces c20 y, por lo

tanto, v2=0=0v1.

Base y dimensin de un espacio vectorial,

cambio de base.
Se ha visto en R2 conviene escribir vectores como una combinacin lineal de los

vectores

. En R3 se escribieron los vectores en trminos

de

. Ahora se generalizara esta idea.

Basen conjunto finito de vectores

es una base para un espacio

vectorial V si
Todo conjunto de n vectores linealmente independiente en Rn es una base en Rn.

En Rn se define
Puesto que los vectores e, son las columnas d una matriz identidad (que tiene
determinante 1),
es un conjunto linealmente independiente y por
lo tanto, constituye una base en Rn. Esta base especial se denomina base
cannica en Rn. Ahora se encontraran bases para otros espacios.
EJEMPLO: base cannica para M22

Se
a

vio

que

generan

, entonces es evidentemente que

. As, estas cuatro
matrices son linealmente independientes y forman una base para M 22, lo que se
denomina base cannica para M22.

TEOREMA: si
conjunto

es una base para V y si vV, entonces existe un

nico

de

escalares

tales

que

Existe cuando menos un conjunto de dichos escalares porque

genera a V. suponga entonces que v se puede escribir e dos maneras como una
combinacin lineal de los vectores de la base.
Es

decir,

suponga

que

Sea
dos bases para V. debe
demostrarse que m=n. esto se prueba mostrando que si m>n, entonces S es un
conjunto literalmente independiente, lo que contradice la hiptesis de que S es una
bse. Esto demostrara que mn. la misma prueba demostrara que m y esto
prueba el teorema. As, basta demostrar que si m>n, entonces S es independiente.
Como S constituye una base, todo u se puede expresar como una combinacin

lineal de las v. se tiene (1)

TEOREMA: suponga que dimV=n. si
Entonces,
independientes,

As,

restando
esta

se
ecuacin

obtiene
se

la

ecuacin

pero como los v son linealmente

cumple
si
y
solo
si

y el teorema queda demostrado.

TEOREMA: si
son bases en un espacio
vectorial V, entonces m=n; es decir, cualesquiera dos bases en un espacio
vectorial V tienen el mismo nmero de vectores.
Para demostrar que S es dependiente, deben encontrarse escalares

no todos cero, tales que (2)

Sustituyendo (1) en (2) se obtiene (3)

La ecuacin (3) se puede reescribir como

Pero como

son linealmente independientes, se debe tener (5)

El sistema (5) es un sistema homogneo de n ecuaciones con las m incgnitas

y como m>n, el teorema dice que el sistema tiene un nmero
infinito de soluciones. De esta forma, existen escalares
no todos
cero, tales que (2) se satisface y, por lo tanto, S es un conjunto linealmente
dependiente. Esta contradiccin prueba que mn si se cambian los papeles de S1
y S2, se demuestra que nm y la prueba queda completa.
Por este teorema se puede definir uno de los conceptos centrales en el lgebra
lineal.
DIMENSIN
Si el espacio vectorial V tiene una base con un nmero finito de elementos,
entonces la dimensin de V es el nmero de vectores en todas las bases y V se
denomina espacio vectorial de dimensin finita. De otra manera, V se denomina
espacio vectorial de dimensin infinita. Si V={0}, entonces se dice que V tiene
dimensin cero.
Notacin. La dimensin V se denota por dimV.
EJEMPLO: la dimensin de Mmn
En Mmn sea A la matriz de mxn con un uno en la posicin ij y cero en otra parte. Es
sencillo demostrar que las matrices a para i=1,2,,m y j=1,2,,n forman una base
para Mmn. As, dimMmn=mn.

TEOREMA: suponga que dimV=n. si

es un conjunto de m
vectores linealmente independientes en V, entonces mn.
Sea

entonces, igual que la prueba del teorema, se pueden

encontrar constantes
no todas cero, tales que la ecuacin (2) se
satisface. Esto contradice la independencia lineal de los vectores u. as, mn.
TEOREMA: sea H un subes paci de un espacio vectorial de dimensin finita V.
entonces H tiene dimensin finita y (6)
Sea dimV=n. cualquier conjunto de vectores linealmente independientes en H es
tambin linealmente independiente en V. por el teorema anterior, cualquier
conjunto linealmente independiente en H puede contener a lis ms n vectores. Si
H={0}, entonces dimV=0. Si dimH{0}, sea v0 un vector en H y H=gen{v}. si H=H,
dimH=1 y la prueba queda completa. De lo contrario, elija a vH tal que vH y sea
H=gen {v1,v2}, y as sucesivamente. Continuamos hasta encontrar vectores
linealmente independientes
tales que H=gen {
}.
El proceso tiene que terminar porque se pueden encontrar a lo ms n vectores
linealmente independientes en H. entonces H-kn.
EJEMPLO: una base para el espacio de solucin de un sistema homogneo
Encuentre una base (y la dimensin) para el espacio de solucin S del sistema

homogneo

SOLUCIN: aqu
. Como A es una matriz de 2x3, S es un
subes paci de R3. Reduciendo por renglones, se encuentra, sucesivamente,

Entonces y=z y x=-z de manera que todas las soluciones son de la forma

.As,
es una base para S y dimS=1. Obsrvese que S es el conjunto de
vectores que se encuentran en la recta x=-t, y=t, z=t.
TEOREMA: cualquier conjunto de n vectores linealmente independientes en eun
espacio vectorial V de dimensin n constituyen una base apara V.
Sean

, n vector. Si generan el espacio V, entonces constituyen

una base. De lo contrario, existe un vector uV tal que urgen

Esto significa que los n+1 vectores
independientes.
Para
ver

esto

, u donde linealmente
observe
que
si

(8)
Entonces

porque de lo contrario podramos escribir u como una

combinacin lineal de

dividiendo la ecuacin (8) entre

poniendo todos los trminos, excepto u, en el lado derecho. Pero si

entonces (8) es
Lo que significa que
independientes. Ahora sea W=gen{

ya que los v son linealmente

,u}. Como todos los vectores

entre las llaves estn en V, W es un subes paci de V. como

,u
son linealmente independientes, forman una base para W, y dimW=n+1. Pero por
el teorema, dimWn. esta contradiccin muestra que no existe el vector uV tal que
urgen {
}. As,
constituye una base para V.
CAMBIO DE BASE

genera a V y, por lo tanto,

En

R2

se

expresaron

vectores

en

trminos

de

la

. En Rn se defini la base cannica

base cannica

. En Pn

se defini la base estndar como

. Estas bases se usan
ampliamente por la sencillez que ofrecen a la hora de trabajar con ellas. Pero
en ocasiones ocurre que es ms conveniente alguna otra base. Existe un
nmero infinito de bases para elegir, ya que en un espacio vectorial de
dimensin n, cualquier n vector, linealmente independiente, forman una base.
En esta seccin se ver como cambiar de una base a otra mediante el clculo
de cierta matriz. Iniciaremos por un ejemplo sencillo. Sean u

. Entonces,

Sean

es la base cannica en R2.

Como v1 y v2 son linealmente independientes

(porque v1 no es un mltiplo de v2),

R2.

Sea

un

vector

en

es una segunda base en

R2.

Esta

notacin

significa

que

Es decir, x est expresando en trminos de los vectores de la base B. para

hacer hincapi en este hecho, se escribe

en R2, existen escalares c1 y c2 tales que (1)

Como B es otra base

Una vez que

se encuentran estos escalares. Se puede escribir

para indicar
que x esta ahora expresado en trminos de los vectores en B. para encontrar
los nmeros c1 y c2, se escribe la base anterior en trminos de la nueva base.

Es

sencillo

verificar

que

(2)

Entonces,

As, de (1),

Por ejemplo, si

Entonces

es

decir,