You are on page 1of 18

Base y dimensin de un espacio vectorial, cambio de base. BASES Y DIMENSIN DEFINICIN Base i. ii. Un conjunto inito de vectores v!

, v", . . ., vn es una base para un espacio vectorial # si v!, v", . . ., vn es linealmente independiente v!, v", . . ., vn $enera #. %odo conjunto de n vectores linealmente independiente & n es una base en &n

En &n se de ine

e1 =

1 0 0 . . 0

e2 =

0 1 0 . . 0

e3 =

0 0 1 . . 0

,........,

en =

0 0 0 . . 1

Base cannica.- Entonces, como los vectores e ! son las columnas de una matri' identidad e!, e", . . ., en es un conjunto linealmente independiente y, por lo tanto, constituye una base en &n. E(E)*+, Base cannica para M22 -ue a )"" .i
C1 C2 C3 C4 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0

1 0

0 0

0 0

1 0

0 1

0 0

0 0

0 1

$eneran

/ C!

0 C"

0 C1

0 C2

entonces es obvio -ue c ! / c"/c1/c2/ 3. 4s5, estas matrices son linealmente independientes y orman una base para )"" . DEFINICIN Dimensin.- .i el espacio vectorial # tienen una base inita, entonces la dimensin de # es el n6mero de vectores en todas las bases y # se llama espacio vectorial de dimensin finita. De otra manera, # se llama espacio de dimensin infinita. .i # / 3 , entonces se dice -ue # tiene dimensin cero. E(E)*+, La dimensin de &n Como n vectores linealmente independientes en Dim &n / n am!io de !ase .ea 7 un vector -ue en base B ! 8de vectores unitarios u!, u", ...9 ser: i$ual a m!u!0 m"u" 0 m1u1 0 ... El mismo vector, utili'ando otra base B " 8de vectores unitarios v!, v", ...9 ser: n!v!0 n"v" 0 n1v1 0 ... .upon$amos -ue u!, u", ... se representan en la base B" de esta orma; u! u" / / a!!v! a!"v! 0 0 a"!v" a""v" 0 0 ... ... 0 0 an!vn an"vn &n constituye una base, se ve -ue

............................................................. un / a!nv! 0 a"nv" 0 ... 0 annvn *or lo tanto, sustituyendo estas ecuaciones en la rmula ori$inal nos -ueda; 7 / m!8a!!v! 0 a"!v" 0 ... 0 an!vn 9 0 m"8a!"v! 0 a""v" 0 ... 0 an"vn9 0 ... &eordenando -ueda;

7 / 8m!a!! 0 m"a!" 0 ... 0 mna!n9v! 0 ... 0 8m!an! 0 m"an" 0 ... 0 mnann9vn Comparando con la rmula 7 / n!v!0 n"v" 0 n1v1 0 ... deducimos -ue; n! n" / / m!a!! m!a"! 0 0 m"a!" m"a"" 0 0 ... ... 0 0 mna!n mna"n

................................................................. nn / m!ann 0 m"an" 0 ... 0 mnann Esto se puede e7presar de orma matricial; n! n" ..... nn a"n 0 an" 0 ... 0 ann mn / a!! a"! 0 0 a!" a"" 0 0 ... ... 0 0 a!n a"n m! m"

........................................

+lamando 4 a la matri' de coe icientes, <= al vector en la base B " y < al vector en la base B! nos -ueda; <= / 4< despejando < nos -ueda; < / 4>!<= Base Un conjunto de vectores ?v!, v", ..., vn@ orma una base para " si i. ?v!, v", ..., vn@ es linealmente independiente. ii.?v!, v", ..., vn@ $enera ". 4si pues, %odo conjunto de n vectores linealmente independientes en n es una base en n

En n de inimos

Como los tArminos ei son las columnas de la matri' identidad 8cuyo determinante es !9, entonces ?e!, e", ..., en@ es linealmente independiente y, por tanto, constituye una base en n. Esta entidad especial se llama base cannica en n. #eorema $. .i ?v!, v", ..., vn@ es una base de " y si v ", entonces e7iste un conjunto 6nico de escalares c!, c", ..., cn tales -ue v/ c!v!, c"v", ..., cnvn. #eorema 2. .i ?%!, %", ..., %n@ y ?v!, v", ..., vn@ son bases del espacio vectorial ", entonces m / nB esto es, cuales-uiera dos bases en un espacio vectorial " poseen el mismo n6mero de vectores. Dimensin .i el espacio vectorial " posee una base inita, la dimensin de " es el n6mero de vectores en la base, y " se llama espacio vectorial de dimensin inita. De otra manera, " se denomina espacio vectorial de dimensin in inita. .i " / ?3@, entonces # se dice -ue es de dimensin cero. Notacin. .e simboli'a la dimensin de " como dim ". #eorema &. .upn$ase -ue dim " / n. .i %!, %", ..., %m es un conjunto de m vectores linealmente independientes en ", entonces m C n. #eorema '. .ea ( un subespacio del espacio vectorial " de dimensin inito. Entonces ( es inito>dimensional y

dim ( C dim " Demostracin. .ea dim " / n. Cual-uier conjunto de vectores en D linealmente independiente, lo es tambien en ". *or el %eorema 1, cual-uier conjunto linealmente independiente en (, cuando m:s, contiene n vectores. 4s5 pues, ( es de dimensin inita. ):s a6n, como una base en ( es un conjunto linealmente independiente, se ve -ue dim ( C n. #eorema ). Cuales-uiera n vectores linealmente independientes en un espacio vectorial " de dimensin n, constituyen una base. E*emplos+

#ransformaciones lineales. Definicin. Una trans ormacin lineal de un espacio vectorial # en un espacio vectorial E es una uncin de # en E, %; # F E, -ue es lineal, esto es para todo u,v G # y todo a,b G & veri ica; %8au 0 bv9 / a%u 0 b%v. Es claro -ue esa condicin es e-uivalente a -ue se veri i-uen, para todo a G & y todo u,v G #, las dos condiciones; %8au9 / a%u y %8u 0 v9 / %u 0 %v. En al$unos te7tos se llaman trans ormaciones lineales las unciones lineales de un espacio vectorial # en s5 mismo. *ara distin$uir el vector cero de # del vector cero de E y del n6mero 3, se indicar: con 3# el vector cero de #, y con 3E el vector cero de E. .e observa -ue para toda trans ormacin lineal de # en E, la ima$en de 3# es 3E, pues; %3# / %833#9 / 3%3# / 3E. *ara todo espacio #, la uncin identidad, I; # F #, -ue a todo vector v G # le asocia el mismo vector v, es una trans ormacin lineal de # en #. .e indicar: esta trans ormacin con la notacin I# cuando sea necesario distin$uirla de la uncin identidad en otro espacio vectorial. Dados dos espacios # y E, la uncin cero, 3; # F E, en la -ue todo vector v G # tiene por ima$en el vector 3E, tambiAn es lineal. .i$uen al$unos ejemplos de trans ormaciones lineales. !. .ea # un espacio de dimensin inita y sea ? v!,...,vm @ una base de # sobre &. .e de ine una uncin %; # F &, asi$nando como ima$en a cada vector v / a!v! 0...0 amvm el n6mero a!. Esta es una trans ormacin lineal por-ue si vH / b!v! 0...0 bmvm, entonces; %8av 0 bvH9 / %I8aa! 0 bb!9v! 0...0 8aam 0 bbm9vmJ / aa! 0 bb! / a%v 0 b%vH. ". Usando la misma notacin del ejemplo anterior, la uncin de inida por; %8a!v! 0...0 amvm9 / 8a!,...,am9, es lineal. %; # F &m

1. +a derivacin de polinomios, D; &I<J F &I<J, es lineal. 2. .ea # el espacio de los vectores de un plano y sea K G # un vector de norma !. +a uncin %; # F # -ue a cada v G # le asocia la proyeccin orto$onal de v sobre K es lineal, por-ue la proyeccin de v es %v / 8v.K9K y %8au 0 bv9 / I8au 0 bv9.KJK / a8u.K9K 0 b8v.K9K / a%u 0b%v. L. .i # / #! M #", todo v G # se escribe en la orma v / v! 0 v", con v! G #! y v" G #" 6nicos. .e de ine entonces la proyeccin de # sobre #! se$6n #", como la uncin %; # F # dada por %v / v! para todo v G #. Esta uncin es lineal por-ue si u / u! 0 u", con u! G #! y u" G #", entonces au 0 bv / au! 0 bv! 0 au" 0 bv" y %8au 0 bv9 / %8au! 0 bv! 0 au" 0 bv"9 / au! 0 bv! / a%u 0 b%v. .e seNal en el cap5tulo anterior -ue puede ocurrir -ue; # / #! M #" / #! M E, con #" O E. En ese caso la proyeccin de # sobre #! se$6n #", es di erente de la proyeccin de # sobre #! se$6n E, por-ue entonces se tendr: para al$unos vectores v de #, v / v! 0 v" / vH! 0 K, con v!,vH! G #!, v" G #" y K G E, donde v" O K y por lo tanto v! O vH!. +ue$o la proyeccin de v sobre #! se$6n #" es v!, mientras -ue la proyeccin de v sobre #! se$6n E es vH! O v!. .i . y % son dos trans ormaciones lineales de # en E, se obtiene otra trans ormacin lineal de # en E, la suma de . y %, de iniendo; 8. 0 %9v / .v 0 %v para todo v G #. *ara todo a G & y toda trans ormacin lineal %; # F E se de ine 8a%9v / a8%v9, para todo v G #. Es claro -ue a% tambiAn es una trans ormacin lineal de # en E. Es simple veri icar -ue con estas operaciones de suma de trans ormaciones y producto de n6meros por trans ormaciones el conjunto de todas las trans ormaciones lineales de # en E es un espacio vectorial. Dadas dos trans ormaciones lineales, .; # F U y %; U F E, tales -ue el conjunto de lle$ada de . coincide con el conjunto de partida de %, est: de inida la composicin de las trans ormaciones, -ue est: dada por 8%.9v / %8.v9 para todo

v G #. Es :cil demostrar -ue si . y % son lineales, la composicin de . con % tambiAn es lineal. En particular, est: de inida la composicin de cual-uier par de trans ormaciones lineales de un espacio vectorial # en s5 mismo. +a composicin es en este caso una operacin en el espacio vectorial de todas las trans ormaciones lineales de # en #. Este es un producto asociativo por-ue la composicin de unciones siempre lo es. *or ejemplo, si D; &I<J F &I<J es la derivacin de polinomios, entonces dados a,b,c G &, D1 0 aD" 0 bD 0 cI es la trans ormacin lineal de &I<J en &I<J -ue a cada polinomio le asocia el polinomio HHH 0 a HH 0 b H 0 c . .i I es la trans ormacin identidad de # en #, ., .!, .", y % son trans ormaciones lineales de # en # y a G &, se veri ican :cilmente las si$uientes i$ualdades; %I / I% / %, a8%.9 / 8a%9. / %8a.9, %8.! 0 ."9 / %.! 0 %.", 8.! 0 ."9% / .!% 0 ."%. Un espacio vectorial con un producto asociativo con estas propiedades, se dice -ue es un :l$ebra sobre &. En la pr7ima seccin se introducir: el :l$ebra )n8&9 de las matrices de n ilas y n columnas de n6meros reales. 4 toda trans ormacin lineal %; # F E, se le asocian un subespacio del dominio # y un subespacio del condominio E.

E*emplo

La matri, de %na transformacin lineal .i 4 es una matri' de mPn y %; &n>&m est: de inida por %7 / 47, entonces, % es una trans ormacin lineal. 4Qora se ver: -ue para toda trans ormacin lineal de & n en &m e7iste una matri' 4 de mPn tal -ue %7 / 47 para todo 7 & n. Este QecQo es de $ran utilidad. .i %7 / 47. Entonces un % / N 4 e Im % / &4. m:s aun, v8%9 / dim un % / v849 y p8%9 / dim Im % / p849. 4s5 se puede determinar el n6cleo, la ima$en, la nulidad y el ran$o de una trans ormacin lineal de & n>&m determinando el espacio nulo y la ima$en de la matri' correspondiente. 4dicionalmente, una ve' -ue se sabe -ue %7 / 47. .e puede evaluar %7 para cual-uier 7 en & n mediante una simple multiplicacin de matrices. *ero esto no es todo. Como se ver:, cual-uier trans ormacin lineal entre espacios vectoriales de dimensin inita se puede representar mediante una matri'.

%eorema ! .ea %;&n >&m una trans ormacin lineal. E7iste entonces una matri' 6nica de mPn, 4% tal -ue

Demostracin .ea K! / %e!,K" / %e",R.,Kn / %en. .ea 4% la matri' cuyas columnas son K!, K", R., Kn y Qa$amos -ue 4% denote tambiAn ala trans ormacin de & n>&m, -ue multiplica un vector en &n por 4%. si

Entonces

De esta orma, 4%ei / Ki para i / !,",R.n., % y la trans ormacin 4 % son las mismas por-ue coinciden en los vectores b:sicos.

4Qora se puede demostrar -ue 4 % es 6nica. .upon$a -ue %7 / 4 %7 y -ue %7 / B%7 para todo 7 &n. Entonces 4%7 / B%7, o estableciendo C%/ 4% S B%, se tiene -ue C%7 / 3 para todo 7 &n. En particular, C%ei es la columna i de C%. 4s5, cada una de las n columnas de C% es el m>vector cero, la matri' cero de mPn. Esto muestra -ue 4% / B% y el teorema -ueda demostrado. Definicin $ )atri' de trans ormacin

+a matri' 4% en el teorema ! se denomina matri' de trans ormacin correspondiente a % o representacin matricial de %. N,%4. +a matri' de trans ormacin 4 % est: de inida usando las bases est:ndar tanto en &n como en &1. .i se utili'an otras bases, se obtendr: una matri' de trans ormacin di erente. %E,&E)4 " sea 4% la matri' de trans ormacin correspondiente a laa I. II. III. I#. Ejemplo ! Im % / Im 4 / C4% *8%9 / p84%9 Un % / N4% v8%9 / v84%

trans ormacin lineal %. entonces.

&epresentacin matricial de una trans ormacin de proyeccin

Encuentre la matri' de trans ormacin 4 % correspondiente ala proyeccin de un vector en &1 sobre el plano 7y. .olucin

#eorema ' .ean # y E espacios vectoriales de dimensin inita con dim # / n. sea %;#>E una trans ormacin lineal y sea 4% una representacin matricial de % respecto a las bases B! en # y B" en E. entonces i. p8%9 /p84%9 ii. #849 / v84%9 iii. #8a9 0 p8%9 / n

%eorema L .ea %;&n>&m una trans ormacin lineal. .upon$a -ue C es la matri' de trans ormacin de % respecto a las bases est:ndar . n y .m en &n y &m, respectivamente. .ea 4! la matri' de transicin de B" a base .m en &m. .i 4% denota la matri' de trans ormacin de % respecto a las bases B ! y B", entonces.

Teometr5a de las trans ormaciones lineales de & " en &". .ea %;&">&" una trans ormacin lineal con representacin matricial 4 % 4Qora de demostrar: -ue si 4% es invertible, entonces % se puede escribir como una sucesin de una o m:s trans ormaciones especiales, denominadas e-pansiones. compresiones. refle-iones / cortes. E-pansiones a lo lar0o de los e*es - o / Una e7pansin a lo lar$o del eje 7 es una trans ormacin lineal -ue multiplica a la coordenada 7 de un vector en &" por una constante C U!. Esto es

De manera similar, una e7pansin a lo lar$o del eje y es una trans ormacin lineal -ue multiplica la coordenada y de todo vector en & " por una constante CU!. Como

antes,

entonces

la

representacin

matricial

de

es

de manera -ue

a9 b9 c9

se comien'a con este rect:n$ulo. E7pansin en la direccin de 7 c / ". E7pansin en la direccin de y con c / 2. Compresin a lo lar$o de los ejes 7 o y. Una compresin a lo lar$o de los ejes 7 o y es una trans ormacin lineal -ue multiplica ala coordenada 7 o y de un vector en & " por una constante positiva 3VcV!, mientras -ue para la e7pansin cV!.

a9 b9 c9

se comien'a con este rect:n$ulo. Compresin a lo lar$o del eje 7 con c /!W1. Compresin a lo lar$o del eje 7 con c/!W".

E*emplo .upon$amos -ue en el plano 7>y la trans ormacin de matri' 4 lleva a cada vector a su re lejo tomando como espejo el eje 7, y la trans ormacin de matri' B lleva a cada vector a su simAtrico respecto del ori$en. Encontrar las matrices 4 y B, usando como base de &" el conjunto ?8!, 39, 83, !9@. a9 X )atri' 4Y %rans ormado de 8!, 39 / 8!, 39 %rans ormado de 83, !9 / 83, >!9 Entonces la matri' la matri' de la trans ormacin es;

b9 X )atri' BY %rans ormado de 8!, 39 / 8>!, 39 %rans ormado de 83, !9 / 83, >!9 Entonces la matri' la matri' de la trans ormacin es;

1 Encontrar 417L asociada a la trans ormacin lineal *L F *1 W % 8*8t99 / d" *8t9 Wdt", trans ormando *L en *1 8polinomios de $rado C 2 en polinomios de $rado C "9. Base en *L; ?!, t, t", t1, t2@. Base en *1; ?!, t, t"@ %rans ormado de 8!, 3, 3, 3, 39 / 8 3, 3, 39 %rans ormado de 83, !, 3, 3, 39 / 8 3, 3, 39 %rans ormado de 83, 3, !, 3, 39 / 8 ", 3, 39 %rans ormado de 83, 3, 3, !, 39 / 8 3, Z, 39 %rans ormado de 83, 3, 3, 3, !9 / 8 3, 3, !"9 Entonces la matri' la matri' de la trans ormacin es;

E*emplo+

virtual.usalesiana.edu.boW...WTRANSFORMACIONES%20LINEALES. www.itescam.edu.mx/principa /s! a"us/#pd"/recurs$s/r%&'().*OC +ttp,//itsa-"asicas." $.sp$t.mx/20/2/00/0&1 a1matri21de1una1trans#$rmaci$n.+tm

You might also like