ESPACIOS VECTORIALES

Definicin 1 Se llama grupo a un conjunto no vaco V provisto de una operacin: +: VxV V (v,w) v + w que satisface los siguientes axiomas: G0 u + v V, u , v V. G1 ( u + v) + w = u + ( v + w ), u , v , w V ( Asociatividad). G2 Existe elemento neutro en V, denotado por 0V o simplemente 0 tal que: v + 0 = 0 + v = v, v V.

G3 Para cada v V existe un elemento en V, llamado opuesto de v, denotado por -v tal que v + (-v) = 0 = (-v) + v. Denotaremos por ( V, + ) al grupo. Si ( V, + ) es un grupo y satisface adems: G4 u + v = v + u, u , v V ( Conmutatividad ). Entonces ( V, + ) se llamar grupo abeliano o conmutativo.

Definicin 2 Se dice que V es un espacio vectorial sobre el cuerpo IK, y se denota VK ( o simplemente V ) , si ( V, + ) es un grupo abeliano provisto de una operacin : IK x V V ( , v ) v llamada producto por escalar, la cual satisface los siguientes axiomas: E0 v V, K, v V E1 (v) = ()v, , K, v V. E2 ( + )v = v + v , , K, v V. E3 (u + v) = u + v, K, u , v V. E4 1v = v , v V, 1 IK elemento neutro para la multiplicacin. Los elementos de un espacio vectorial V se denominan vectores y los elementos de IK escalares .

Proposicin 3 Sea V un espacio vectorial sobre un cuerpo IK. Entonces: a) El neutro aditivo 0V es nico. b) Para cada v V, el opuesto aditivo v es nico. c) 0V = 0V , IK d) 0K v = 0V , v V e) (-1) v = - v , v V. Definicin 4 Sea V espacio vectorial sobre IK, y u , v V. Se define u v = u + (-v).

SUBESPACIOS VECTORIALES
Definicin 5 Sea V un espacio vectorial sobre IK, un subconjunto no vaco S de V se llama subespacio vectorial de V o simplemente subespacio de V si S es un espacio vectorial sobre K con las operaciones adicin y producto por escalar definidas en V. Se denota S V. Teorema 6 Sea V espacio vectorial sobre IK, S V, entonces S V, si y slo si: i) 0V S. ii) s1 + s2 S , K, s1 , s2 S. Teorema 7 Sea V un espacio vectorial sobre IK, si {Si}iI es una coleccin de subespacios de V, entonces Si es un subespacio de V.

Definicin 8 Sea V un espacio vectorial sobre IK y S un subconjunto no vaco de V. El subespacio generado por S se define como la interseccin de todos los subespacios de V que contienen a S y se denota por < S >. Observacin 9 a) Cuando S es un conjunto finito, S = {v1,v2,...,vn}, denotamos < S > = < v1,v2,...,vn >. Los vectores se llaman generadores de < S >. b) Es claro que < S > V, ya que es una interseccin de subespacios de V, adems si TV y ST W entonces < S > = S T. Es decir < S > es el WV menor ( referente a la relacin ) subespacio de V que contiene a S. c) De acuerdo con lo anterior es fcil ver que si S , T son subconjuntos de V tales que S T , entonces < S > < T >.

Definicin 10 Sea V un espacio vectorial y v V. Se dice que el vector v V es una combinacin lineal de los vectores v1,v2 , ..., vn si existen escalares 1 , 2,..., n IK tales que v = 1v1 ++ n vn .

Teorema 11 El subespacio generado por un subconjunto no vaco S de un subespacio vectorial V sobre un cuerpo IK, es el conjunto de todas las combinaciones lineales de los vectores de S. Es decir,

n < S > = isi / i IK , si S , n IN i =1

Observacin 12 a) Sea V espacio vectorial, T V y { v1, ...,vn } T, entonces: < v1, ...,vn > T. Esto es claro de la definicin de subespacio generado. b) Si { v1,...,vn } V y { u1,...,um } V , entonces < v1,...,vn > = < u1,..., um > si y slo si vi < u1,..., um > i y ui < v1,...,vn > i . Definicin 13 Sean S1, ..., Sk subconjuntos no vacos de un espacio vectorial V sobre K. Entonces el conjunto S1+ + Sk = { v1+ + vk / vi Si , i = 1,... , k } se llama suma de los conjuntos S1,.....,Sk.

Proposicin 14 Sean W1, ...,Wk subespacios de un espacio vectorial V sobre un cuerpo IK, entonces W = W1 + + Wk es un subespacio de V que contiene a cada Wi para i = 1, ..., k. Teorema 15 Si W1,...,Wk son subespacios de un espacio vectorial V sobre IK, entonces W1 + + Wk = < W1 Wk > . Definicin 16 Sean S , T subespacios de un espacio vectorial V sobre el cuerpo IK, se dice que V es la suma directa de S y T, si V = S + T y S T ={0V}. Cuando V es la suma directa de S y T, anotamos V = S T.

BASES Y DIMENSIN
Definicin 17 Sean V un espacio vectorial sobre un cuerpo IK y {v1, ..., vn } V. El conjunto {v1 ,... , vn} se dice linealmente dependiente ( o simplemente dependiente) si existen en IK escalares 1,,n , no todos nulos , tales que 1v1+ + nvn = 0V. Un conjunto que no es linealmente dependiente ( l.d.) se llama linealmente independiente ( l.i.). Observacin 18 El conjunto{v1,.......,vn} es linealmente independiente (l.i) si y solo si dada la combinacin lineal 1v1 + .......+nvn = 0V implica i = 0 , i {1,.....,n}. Es decir {v1,.....,vn} es l.i si la nica manera de que el vector 0V se pueda expresar como combinacin lineal de v1,....., vn es que todos los escalares sean 0IK.

Proposicin 19 Sea V un espacio vectorial sobre un cuerpo IK. Entonces. a) Todo subconjunto de V que contiene a 0V es l.d. En particular {0V} es l.d b) El conjunto {v1,.....,vm} es l.d. si y solo si existe vi con i {1,....,m} tal que vi es combinacin lineal de v1,......, vi-1, vi+1 , .......,vm. De esta propiedad se deduce que dos vectores no nulos son l.d. si y slo si uno de ellos es un mltiplo escalar del otro. c) Todo subconjunto de un conjunto l.i. es l.i. d) Todo conjunto que contiene un conjunto l.d es l.d.

Definicin 20 Sean V un espacio vectorial sobre un cuerpo IK y {v1,.....,vn} V, se dice que el conjunto { v1 ,....., vn } genera el espacio V si <v1,.....,vn> = V. Tambin se dice que los vectores v1,.....,vn generan el espacio V. Proposicin 21 Sean V un espacio vectorial sobre un cuerpo IK. Entonces, a) Si S = {v1,....,vn} genera V entonces cualquier subconjunto de V que contenga a S genera V. b) Si V {0V} y S = {v1 ,...,vn} es l. d. y genera V entonces existe un subconjunto l.i .de S que genera V. c) Si S = {v1,....,vn} genera V entonces cualquier subconjunto de V que contenga propiamente a S es l.d.

Definicin 22 Sea V un espacio vectorial sobre un cuerpo IK. Un conjunto de vectores {v1,......,vn} V se llama base de V si es linealmente independiente y genera V. Es decir, {v1,....,vn} es base de V si {v1,.....,vn} es l.i. y < v1,....,vn > = V. Lema 23 Sea V espacio vectorial sobre un cuerpo IK , Si V = <v1,.....,vn > entonces todo subconjunto l.i. de V tiene a lo ms n elementos. Teorema 24 Si V es un espacio vectorial que posee una base de n elementos, entonces toda base de V tiene n elementos.

Definicin 25 Sea V un espacio vectorial sobre un cuerpo IK y B una base de V, se llamar dimensin del espacio V sobre K , al nmero de elementos de B. Se denota por dim IK V o simplemente dim V. Por convencin la dimensin del espacio { 0 } ser 0 y la base es . Lema 26 Sean V un espacio vectorial sobre un cuerpo IK y S un subconjunto l.i. de V. Si v < S > entonces S {v} es l.i.

Teorema 27 (Extensin de una base). Sea V un espacio vectorial de dimensin finita sobre un cuerpo K. Si W V entonces todo subconjunto l.i de W es finito y es parte de una base de W. Corolario 28 Sea W un subespacio propio de un espacio vectorial de dimensin finita V, entonces W es de dimensin finita y dimW < dimV. Corolario 29 Si V es un espacio vectorial de dimensin finita sobre un cuerpo IK, S y T subespacios de V tales que S T entonces dim S dim T. Corolario 30 Sean V un espacio vectorial de dimensin finita sobre el cuerpo IK, S y T subespacios de V tales que S T y dim S = dim T, entonces S = T.

Corolario 31 Sea V un espacio vectorial de dimensin finita sobre un cuerpo IK, entonces todo conjunto l.i de V es parte de una base de V. Corolario 32 Sean V un espacio vectorial de dimensin finita n sobre un cuerpo IK y {v1,...,vn}V entonces : {v1 ...,vn} es l.i. si y solo si {v1,.....,vn} genera V. Corolario 33 Sea A una matriz nxn sobre el cuerpo IK, tal que los vectores fila de A forman un conjunto l.i. en el espacio Kn, entonces A es invertible. Teorema 34 Sean W1 y W2 subespacios de dimensin finita de un espacio vectorial , entonces W1 + W2 es de dimensin finita y dim( W1 + W2 ) = dim W1 + dim W2 - dim ( W1 W2 ).

Definicin 35 Sea A Mnm(IK) , las filas de A pueden ser vistas como los vectores r1, ..., rn y las columnas como los vectores c1,.....,cn . Cada vector fila tiene m coordenadas y cada vector columna tiene n coordenadas , es decir; ri Km , i = 1,....,n y cj Kn, j = 1,....,n . Los vectores fila generan un subespacio de IKm llamado espacio fila de A y los vectores columna generan un subespacio de IKn llamado espacio columna de A. Definicin 36 La dimensin del espacio fila de una matriz A se llama rango de la matriz A. Teorema 37 Sea A Mnxm(IK) y B matriz que se obtiene de A despus de una sola operacin elemental con filas. Entonces el espacio fila A es igual al espacio fila de B y por lo tanto rango A = rango B.

COORDENADAS Definicin 38 Sea V un espacio vectorial de dimensin finita, una base ordenada de V es una sucesin finita de vectores linealmente independiente y que genera V. As una base ordenada de V ser un conjunto de vectores con un orden dado, el cual es una base para V. Se denotar por B = {v1,.....,vn} y se dice que B es una base ordenada de V.

Proposicin 39 Sea B = {v1,.....,vn} una base ordenada de un espacio vectorial V sobre un cuerpo IK, entonces para cada v V, existe una nica n-tupla (1,......,n) IKn tal que n i v i , se llamar la i-sima coordenada v = i i =1 de v con respecto a la base ordenada B. Observacin 40 Cada base ordenada B = {v1,.....,vn} de un espacio vectorial sobre un cuerpo IK determina una funcin biyectiva : V IKn tal que (v) = ( 1,....., n) n donde v = i v i .
i =1

Definicin 41 Sean V un espacio vectorial sobre un cuerpo IK y B = {v1,.....,vn} una base ordenada de V, si V = v V entonces la matriz [ v ]B = Mnx1 (IK)
n i =1
1

se llamar la matriz de las coordenadas de v respecto a la base ordenada B.

2 . . n