Kanta ja Kannan-vaihto

Samankaltaiset tiedostot
Kannan vektorit siis virittävät aliavaruuden, ja lisäksi kanta on vapaa. Lauseesta 7.6 saadaan seuraava hyvin käyttökelpoinen tulos:

Matriisialgebra harjoitukset, syksy x 1 + x 2 = a 0

Lineaarialgebra, kertausta aiheita

Matriisilaskenta, LH4, 2004, ratkaisut 1. Hae seuraavien R 4 :n aliavaruuksien dimensiot, jotka sisältävät vain

Insinöörimatematiikka D

Lineaarialgebra II, MATH.1240 Matti laaksonen, Lassi Lilleberg

Osoita, että täsmälleen yksi vektoriavaruuden ehto ei ole voimassa.

Matemaattinen Analyysi / kertaus

Ominaisarvo-hajoitelma ja diagonalisointi

Insinöörimatematiikka D, laskuharjoituksien esimerkkiratkaisut

(1.1) Ae j = a k,j e k.

Lineaarikuvausten. Lineaarikuvaus. Lineaarikuvauksia. Ydin. Matriisin ydin. aiheita. Aiheet. Lineaarikuvaus. Lineaarikuvauksen matriisi

802320A LINEAARIALGEBRA OSA I

1 Lineaariavaruus eli Vektoriavaruus

Lineaarialgebra ja differentiaaliyhtälöt Laskuharjoitus 1 / vko 44

Insinöörimatematiikka D

MS-C1340 Lineaarialgebra ja

Liittomatriisi. Liittomatriisi. Määritelmä 16 Olkoon A 2 M(n, n). Matriisin A liittomatriisi on cof A 2 M(n, n), missä. 1) i+j det A ij.

5 OMINAISARVOT JA OMINAISVEKTORIT

Kanta ja dimensio 1 / 23

Ominaisvektoreiden lineaarinen riippumattomuus

Päättelyn voisi aloittaa myös edellisen loppupuolelta ja näyttää kuten alkupuolella, että välttämättä dim W < R 1 R 1

Määritelmä 1. Olkoot V ja W lineaariavaruuksia kunnan K yli. Kuvaus L : V. Termejä: Lineaarikuvaus, Lineaarinen kuvaus.

802320A LINEAARIALGEBRA OSA III

JAKSO 2 KANTA JA KOORDINAATIT

Lineaarikombinaatio, lineaarinen riippuvuus/riippumattomuus

Lineaarikuvauksen R n R m matriisi

Avaruuden R n aliavaruus

C = {(x,y) x,y R} joiden joukossa on määritelty yhteen- ja kertolasku seuraavasti

Vapaus. Määritelmä. jos c 1 v 1 + c 2 v c k v k = 0 joillakin c 1,..., c k R, niin c 1 = 0, c 2 = 0,..., c k = 0.

Similaarisuus. Määritelmä. Huom.

Vapaus. Määritelmä. jos c 1 v 1 + c 2 v c k v k = 0 joillakin c 1,..., c k R, niin c 1 = 0, c 2 = 0,..., c k = 0.

Matriisilaskenta Luento 12: Vektoriavaruuden kannan olemassaolo

Vapaus. Määritelmä. Vektorijono ( v 1, v 2,..., v k ) on vapaa eli lineaarisesti riippumaton, jos seuraava ehto pätee:

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt

Ominaisarvo ja ominaisvektori

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt

2.8. Kannanvaihto R n :ssä

MS-C1340 Lineaarialgebra ja

MS-A0004/A0006 Matriisilaskenta

Tehtäväsarja I Kerrataan lineaarikuvauksiin liittyviä todistuksia ja lineaarikuvauksen muodostamista. Sarjaan liittyvät Stack-tehtävät: 1 ja 2.

Ortogonaaliset matriisit, määritelmä 1

Lineaarialgebra ja matriisilaskenta I

Ratkaisuehdotukset LH 3 / alkuvko 45

Ortogonaalisen kannan etsiminen

Numeeriset menetelmät TIEA381. Luento 8. Kirsi Valjus. Jyväskylän yliopisto. Luento 8 () Numeeriset menetelmät / 35

9. Lineaaristen differentiaaliyhtälöiden ratkaisuavaruuksista

Matriisilaskenta Luento 16: Matriisin ominaisarvot ja ominaisvektorit

Ominaisarvot ja ominaisvektorit 140 / 170

1 Ominaisarvot ja ominaisvektorit

Insinöörimatematiikka D

Insinöörimatematiikka D

1 Kannat ja kannanvaihto

6 Vektoriavaruus R n. 6.1 Lineaarikombinaatio

1 Avaruuksien ja lineaarikuvausten suora summa

ominaisvektorit. Nyt 2 3 6

8 KANNAT JA ORTOGONAALISUUS. 8.1 Lineaarinen riippumattomuus. Vaasan yliopiston julkaisuja 151

3 Lineaariset yhtälöryhmät ja Gaussin eliminointimenetelmä

Vektorien virittämä aliavaruus

MS-A0003/A0005 Matriisilaskenta Malliratkaisut 5 / vko 48

x = y x i = y i i = 1, 2; x + y = (x 1 + y 1, x 2 + y 2 ); x y = (x 1 y 1, x 2 + y 2 );

3 Lineaariset yhtälöryhmät ja Gaussin eliminointimenetelmä

Lineaarialgebra ja matriisilaskenta II Syksy 2009 Laskuharjoitus 1 ( ) Ratkaisuehdotuksia Vesa Ala-Mattila

Lineaarialgebra ja matriisilaskenta I

HY / Avoin yliopisto Lineaarialgebra ja matriisilaskenta II, kesä 2015 Harjoitus 1 Ratkaisut palautettava viimeistään maanantaina klo

Ominaisarvoon 4 liittyvät ominaisvektorit ovat yhtälön Ax = 4x eli yhtälöryhmän x 1 + 2x 2 + x 3 = 4x 1 3x 2 + x 3 = 4x 2 5x 2 x 3 = 4x 3.

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt

MS-A0003/A0005 Matriisilaskenta Laskuharjoitus 3 /

5 Ominaisarvot ja ominaisvektorit

Bijektio. Voidaan päätellä, että kuvaus on bijektio, jos ja vain jos maalin jokaiselle alkiolle kuvautuu tasan yksi lähdön alkio.

Matematiikka B2 - TUDI

x = y x i = y i i = 1, 2; x + y = (x 1 + y 1, x 2 + y 2 ); x y = (x 1 y 1, x 2 + y 2 );

Matriisi-vektori-kertolasku, lineaariset yhtälöryhmät

Numeeriset menetelmät TIEA381. Luento 5. Kirsi Valjus. Jyväskylän yliopisto. Luento 5 () Numeeriset menetelmät / 28

Vektoreiden virittämä aliavaruus

MS-C1340 Lineaarialgebra ja

2.5. Matriisin avaruudet ja tunnusluvut

MS-C1340 Lineaarialgebra ja

Neliömatriisi A on ortogonaalinen (eli ortogonaalimatriisi), jos sen alkiot ovat reaalisia ja

Numeeriset menetelmät

6 MATRIISIN DIAGONALISOINTI

Matematiikka B3 - Avoin yliopisto

MS-A0003/A Matriisilaskenta Laskuharjoitus 6

Kantavektorien kuvavektorit määräävät lineaarikuvauksen

Matemaattinen Analyysi, s2016, L2

3.4 Käänteiskuvauslause ja implisiittifunktiolause

Lineaarialgebra ja matriisilaskenta I, HY Kurssikoe Ratkaisuehdotus. 1. (35 pistettä)

Kuvaus. Määritelmä. LM2, Kesä /160

Johdatus lineaarialgebraan

Matematiikka B2 - Avoin yliopisto

Neliömatriisin adjungaatti, L24

2 / :03

7 Vapaus. 7.1 Vapauden määritelmä

Matriisialgebra harjoitukset, syksy 2015

Ortogonaaliprojektio äärellisulotteiselle aliavaruudelle

Käänteismatriisi 1 / 14

Insinöörimatematiikka D

Lineaarialgebra ja differentiaaliyhtälöt Harjoitus 4 / Ratkaisut

MS-A0004/MS-A0006 Matriisilaskenta Laskuharjoitus 6 / vko 42

tyyppi metalli puu lasi työ I II III metalli puu lasi työ

Transkriptio:

ja Kannan-vaihto

1 Olkoon L vektoriavaruus. Äärellinen joukko L:n vektoreita V = { v 1, v 2,..., v n } on kanta, jos (1) Jokainen L:n vektori voidaan lausua v-vektoreiden lineaarikombinaationa. (Ts. Span(V ) = L) (2) V on lineaarisesti riippumaton.

2 Jos vektori u L voidaan lausua kantavektoreiden lineaarikombinaationa u = c 1 v 1 + c 2 v 2 + + c n v n, niin sanomme, että lineaarikombinaation kertoimet (c 1,c 2,...,c n ) ovat vektorin koordinaatit kannassa V. Koordinaateista muodostettu sarakevektori c 1 c 2. c n V = ũ V on vektorin u koordinaattivektori kannassa V.

3 Lause 1. Olkoon V = { v 1, v 2,..., v n } lineaariavaruuden L kanta. Silloin jokainen L:n vektori voidaan lausua tasan yhdellä tavalla kantavektoreiden lineaarikombinaationa. Perustelu: Olkoon u L, u = a 1 v 1 + a 2 v 2 + + a n v n. Oletamme, että vektorilla on myös toiset koordinaatit u = b 1 v 1 + b 2 v 2 + + b n v n. Silloin (a 1 b 1 ) v 1 + (a 2 b 2 ) v 2 + + (a n b n ) v n = u u = 0 Koska kantavektorit muodostavat lineaarisesti riippumattoman systeemin on ylläoleva mahdollista vain, jos a k = b k kaikilla k. Siis koordinaattivektori on yksikäsitteinen.

4 Lause 2. Olkoon L lineaariavaruus ja olkoon V = { v 1, v 2,..., v n } L:n kanta. Olkoon lisäksi S = { s 1, s 2,..., s q } lineaarisesti riippumaton systeemi L:n vektoreita.silloin q n. Perustelu: Koska V on kanta, voidaan s 1 lausua muodossa s 1 = c i v i, jossa ainakin yksi kerroin eroaa nollasta. (Yksinkertaisuuden vuoksi oletamme nyt, että c 1 0.) Voimme nyt ratkaista v i :n v 1 = 1 c 1 s 1 n j=2 c j c 1 v j

5 Seuraavaksi perustelemme, että uusi vektorisysteemi V 1 = { s 1, v 2,..., v n } on L:n kanta. mypause (Uusi kanta virittää L:n): Olkoon a = n j=1 a j v j mikä tahansa L:n vektori. Silloin suoralla sijoituksella saamme ( 1 a = a 1 s 1 c 1 n j=2 c j c 1 v j ) + n j=2 a j v j joten a voidaan lausua kannan V 1 kantavektoreiden lineaarikombinaationa. Siis V 1 virittää L:n

6 (Uusi kanta V 1 = { s 1, v 2,..., v n } on lineaarisesti riippumaton.) On vain yksi tapa lausua vektori s 1 edellisen kannan V kantavektoreiden lineaarikombinaationa. Siinä tarvitaan vektoria v 1, joka ei ole enää käytettävissä. Siis vektoria s 1 ei voi lausua muiden V 1 :n kantavektoreiden lineaarikombinaationa. Vastaavasti jos vektori v 2 voidaan lausua muiden V 1 :n kantavektoreiden lineaarikombinaationa, niin on selvää, että s 1 on mukana nollasta eroavalla kertoimelle. v 2 = g 1 s 1 + g 3 v 3 + g 4 v 4 + + g n v n, g 1 0 0 = g 1 c 1 v 1 + (g 1 c 2 1) v 2 + n j=3 (g 1 c j + g j ) v j g 1 c 1 0 Tämä on mahdotonta, sillä V = { v 1, v 2,..., v n } on lineaarisesti riippumaton. Siis V 1 = { s 1, v 2,..., v n } on vapaa!

7 Edellä kuvattua menettelyä voidaan toistaa niin kauan kun uusia vektoreita riittää. Jos olisi q > n niin syntyisi tilanne, jossa (1) V n = { s 1, s 2,..., s n } on L:n kanta jolloin (2) s q voidaan lausua kantavektoreiden { s 1, s 2,..., s n } lineaarikombinaationa. Tämä on ristiriita, koska oletimme, että S = { s 1, s 2,..., s q } on lineaarisesti riippumaton. Siis q n ja todistus on valmis.

8 Lause 3. Olkoon L lineaariavaruus. Kaikissa L:n kannoissa on sama määrä kantavektoreita. Jos siis V = { v 1, v 2,..., v n } ja U = { u 1, u 2,..., u m } ovat kaksi L:n kantaa, niin m = n. Perustelu: Käytämme lausetta 2 ensin niin, että V on kanta ja U on lineaarisesti riippumaton. Silloin lauseen 2 mukaan m n. Toiseksi vaihdamme kantojen roolit niin, että U on kanta ja V on lineaarisesti riippumaton, joten lauseen 2 mukaan n m. Edellä sanottu on mahdollista vain jos m = n.

9 Määritelmä. Jos lineaariavaruuden L kannassa on n vektoria, niin sanomme, että lineaariavaruuden L dimensio on n. Esimerkki 1. Vektoriavaruuden R 3 dimensi on 3, sillä avaruuden kannassa 1 0 0 E = 0, 1, 0, 0 0 1 on kolme kantavektoria.

10 Esimerkki 2. Toisen asteen polynomi-funktiot muodostavat lineaariavaruuden, jonka dimensio on 3. Sillä voimme valita kannaksi kolmikon { P0 (x) = 1,P 1 (x) = x,p 2 (x) = x 2} Esimerkki 3. Symmetriset 2 2 matriisit {( ) a b S = a,b,c R} b c muodostavat lineaariavaruuden, jonka kanta voidaan muodostaa vektoreista {( ) ( ) ( )} 1 0 0 1 0 0,, 0 0 1 0 0 1

11 Joskus joudumme vaihtamaan kantaa. Jos esimerkiksi laskemme pisteen paikkaa näytöllä, kun VR-kamera näkee valopisteen (eli siis renderöimme videokuvaa), kannattaa kantavektoreiksi valita kameran optinen akseli, kameran vasen ja kameran ylös. Erottelu-analyysissä haetan sellaiset kantavektorit, että havaintopisteet erottuvat toisistaan mahdollisimman selkeästi kantavektoreiden suunnassa. Nyt kannan vaihto tuntuu melko turhalta touhulta. Opettelemme sen silti.

12 Esimerkki 4: kaksi kantaa. Seuraavassa esitämme R 2 :n vektoreita kahdessa kannassa, {( ) ( )} 1 1 U = { u 1, u 2 } =,, ja 0 1 {( ) ( )} 1 3 V = { v 1, v 2 } =, 3 1 Muodostetaan kantavektoreista vastaavat matriisit ( ) ( ) 1 1 1 3 U =, V = 0 1 3 1

13 U = { u 1, u 2 } = {( ) 1 0, ( 1 1 )}, V = { v 1, v 2 } = {( 1 3 ) ( )} 3, 1 Jos vektorin ( ) a koordinaattivektori kannassa U on b1 ã U =, niin b 2 a = b 1 u 1 + b 2 u 2 = ( 1 1 0 1 )( b1 b 2 ) = Uã U Toisaalta ( ) jos vektorin a koordinaattivektori kannassa V on c1 ã V =, niin c 2 ( 1 3 a = c 1 v 1 + c 2 v 2 = 3 1 )( c1 c 2 ) = V ã V

14 U = { u 1, u 2 } = {( ) 1 0, ( 1 1 )}, V = { v 1, v 2 } = {( 1 3 ) ( )} 3, 1 ( ) 5 Esimerkiksi vektorin a = koordinaattivektorit 5 esimerkin kannoissa ovat ( )( ) ( ) Uã U = a ã U = U 1 1 1 5 10 a = = 0 1 5 5 U ( )( ) ( ) V ã V = a ã V = V 1 0.1 0.3 5 1 a = = 0.3 0.1 5 2 V

15 U = { u 1, u 2 } = {( ) 1 0, ( 1 1 )}, V = { v 1, v 2 } = {( 1 3 ) ( )} 3, 1 Esimerkin kannoille on voimassa yhtälöt (tarkista) { v1 = 2 u 1 + 3 u 2 v 2 = 4 u 1 u 2 ( ) 2 4 siis V = U = UA 3 1 { u1 = 0.1 v 1 + 0.3 v 2 u 2 = 0.4 v 1 + 0.2 v 2 ( ) 0.1 0.4 siis U = V = V A 1 0.3 0.2 Matriisia A sanotaan kannan-vaihto -matriisiksi. Huomaa, että se on kantavektoreita koskevan yhtälöryhmän kerroinkaavion transpoosi!

16 Kannan-vaihto -matriisin avulla voimme siirtyä helposti kannasta toiseen: a = V ã V = U Aã }{{} V ã U = Aã V ã U a = Uã U = V A 1 ã }{{ U } ã V = A 1ã U ã V Jos kantavektorit tiedetään, niin kannan-vaihto -matriisia ei kannata hakea monimutkaisesti, vaan yksinkertaisesti V = UA U 1 V = A

17 Esimerkin tapauksessa: ( ) ( ) 1 1 1 3 U =, V = 0 1 3 1 ( ) 1 ( ) A = U 1 1 1 1 3 V = 0 1 3 1 ( )( ) 1 1 1 3 = 0 1 3 1 ( ) 2 4 = 3 1

18 Esimerkki 5. Vektori eri kannassa Olkoot U = { u 1, u 2 } ja V = { v 1, v 2 } kaksi R 2 :n kantaa, joille { u1 = 2 v 1 + 4 v 2 u 2 = 3 v 1 + 5 v 2 a) laske vektorin a = 3 u 1 + 4 u 2 koordinaatit kannassa V. b) laske vektorin b = 4 v 1 + 2 v 2 koordinaatit kannassa U. Ratkaisu: Huomaa, että a-kohta on hyvin yksinkertainen sijoitus ja sievennys! a = 3 u 1 + 4 u 2 = 3(2 v 1 + 4 v 2 ) + 4(3 v 1 + 5 v 2 ) = 18 v 1 + 32 v 2

19 { u1 = 2 v 1 + 4 v 2 u 2 = 3 v 1 + 5 v 2 b-kohdassa joutuu tekemään enemmän töitä. Kannanvaihtomatriisi on ( ) 2 3 A =, U = V A, UA 1 = V. 4 5 Nyt ( ) ( ) 4 b = 4 v 1 + 2 v 2 = V = UA 1 4 2 2 ( )( ) ( ) 2.5 1.5 4 7 = U = U 2 1 2 6 = 7 u 1 + 6 u 2 Tarkistus: 7 u 1 + 6 u 2 = 7(2 v 1 + 4 v 2 ) + 6(3 v 1 + 5 v 2 ) = 4 v 1 + 2 v 2 OK

20 U = { u 1, u 2 } = {( ) 1 0, ( 1 1 )}, V = { v 1, v 2 } = {( 1 3 ) ( )} 3, 1 Esimerkki 6. Lineaarikuvauksen matriisi eri kannassa Käytämme nyt samoja kantoja kuin esimerkissä 4. Tutkimme lineaarikuvausta L : R 2 R 2, x U ỹ U, missä ( ) 1.8 3.2 ỹ U = x 1.2 3.8 U. }{{} =F U Kannassa V sama kuvaus toimii seuraavasti ỹ V = A 1 ỹ U = A 1 F U x U = A 1 F U A x }{{} V =F V

21 Esimerkin matriiseilla F V = A 1 F U A ( ) 1 ( )( ) 2 4 1.8 3.2 2 4 = 3 1 1.2 3.8 3 1 ( )( )( ) 0.1 0.4 1.8 3.2 2 4 = 0.3 0.2 1.2 3.8 3 1 ( ) 3 0 = 0 1 Kuvaus on siis helppo kannassa V.

22 Esimerkki 8. Ratkaistaan differentiaaliyhtälö y (x) + 4y (x) + 3y(x) = 0 (DY ) merkitään z(x) = y (x) z (x) = y (x) = 4y (x) 3y(x) Kaikki differentiaaliyhtälön (DY) tieto voidaan nyt kirjoittaaa kahdeksi ensimmäisen kertaluvun yhtälöksi { y (x) = z(x) z (x) = 3y(x) 4z(x) ( ) ( )( ) y 0 1 y z = 3 4 z }{{} =A

23 Esimerkki 8B. Ominaisarvohajoitelma Kesken esimerkin 8 teemme matriiille A ominaisarvohajoitelman. Suora (helppo) lasku osoittaa, että matriisin A ominaisarvot ovat λ 1 = 1 ja λ 2 = 3. Vastaavat ominaisvektorit ovat λ 1 = 1 x 1 = ( ) 1 1 ; λ 2 = 3 x 2 = ( ) 1 3 Teemme ominaisarvoista diagonaalimatriisin D ja ominaisvektoreista neliömatriisin X seuraavasti ( ) ( ) ( ) 1 0 1 1 D =, X =, X 1 1.5 0.5 = 0 3 1 3 0.5 0.5 Matriisi A voidaan nyt esittää ominaisarvohajoitelmana seuraavasti

24 A = X DX 1 ( ) ( )( )( ) 0 1 1 1 1 0 1.5 0.5 = 3 4 1 3 0 3 0.5 0.5 Nyt viimeinen matriisi-yhtälö voidaan laskemalla tarkistaa. Se on tosi. Sen totuus ei perustu sopivasti valittuihin numeroihin, vaan siihen miten A, D, ja X liittyvät toisiinsa. ( ) b1 Olkoon b = b 1 x 1 + b 2 x 2 = X. Silloin b 2 A b = A(b 1 x 1 + b 2 x 2 ) = b 1 x 1 3b 2 x 2 ( ) ( X DX 1 b = X DX 1 b1 1 0 X = X 0 3 b 2 )( b1 b 2 ) = b 1 x 1 3b 2 x 2

25 Jatkamme nyt n käsittelyä ( ) ( ) y y z = A z ( y z ( ) X 1 y z ) = X DX 1 ( y z ) ( ) ( ) 1 0 = X 1 y 0 3 z Otetaan käyttöön uudet funktiot { u(x) = 1.5y(x) + 0.5z(x) v(x) = 0.5y(x) 0.5z(x) { u (x) = 1.5y (x) + 0.5z (x) v (x) = 0.5y (x) 0.5z (x) ( u v ( ) u v ) ( ) = X 1 y z ( ) = X 1 y z

26 Uusien funktioiden avulla ratkaisu saadaan helposti ( ) ( ) ( ) X 1 y 1 0 z = X 1 y 0 3 z ( ) ( )( ) u 1 0 u v = 0 3 v { u = u u = C 1 e x v = 3v v = C 2 e 3x ( ) y = X z ( ) ( )( u 1 1 C1 e = x ) ( C1 e v 1 3 C 2 e 3x = x + C 2 e 3x ) C 1 e x 3C 2 e 3x Siis y(x) = C 1 e x + C 2 e 3x