Lineaarialgebra. Osa 2. Turun yliopisto. Markku Koppinen

Koko: px
Aloita esitys sivulta:

Download "Lineaarialgebra. Osa 2. Turun yliopisto. Markku Koppinen"

Transkriptio

1 Lineaarialgebra Osa 2 Turun yliopisto Markku Koppinen

2 Sisältö 1 Koordinaattivektorit ja kannan vaihdot 1 11 Koordinaattivektorit 1 12 Kannan vaihdot 2 2 Lineaarikuvaukset 6 21 Kuvauksista 6 22 Lineaarikuvaukset 7 23 Lineaarikuvauksen määräytyminen kantavektoreista 9 24 Lineaarikuvauksen matriisi Lineaarikuvauksen matriisin muuntuminen Lineaarikuvauksen ydin ja kuva Injektiiviset ja bijektiiviset lineaarikuvaukset 18 3 Aliavaruuksien suora summa Kahden aliavaruuden summa ja suora summa Kannat suorissa summissa Useamman aliavaruuden summa ja suora summa 26 4 Ominaisarvot ja ominaisvektorit Johdanto Hiukan kompleksiluvuista Matriisin ominaisarvot ja -vektorit Ominaisarvoyhtälö Similaariset matriisit Matriisin diagonalisointi Ominaisavaruudet Ominaisarvon algebrallinen ja geometrinen kertaluku Diagonalisoituvan matriisin potenssit Matriisipolynomit ja CayleynHamiltonin lause Lineaarikuvauksen ominaisarvot ja -vektorit 40 i

3 SISÄLTÖ ii 5 Ortogonaalisuus Ortogonaaliset ja ortonormaaliset vektorijoukot Vektorijoukon ortogonalisointi GraminSchmidtin menetelmällä Lineaarisesti riippumattoman joukon tapaus Yleinen tapaus Ortogonaalikomplementti ja -projektio Ortogonaalimatriisi 47 6 Symmetriset matriisit Symmetrisen matriisin ominaisarvot Ortogonaalinen diagonalisointi Neliömuodon diagonalisointi Sovellus: pääakseliprobleema 55 7 Pinnoista Yleistä Toisen asteen pintojen tyypit 59

4 Luku 1 Koordinaattivektorit ja kannan vaihdot 11 Koordinaattivektorit Vektoriavaruuden R n kantaa E = {e 1,, e n }, missä e 1 = (1, 0,, 0) T,, e n = (0, 0,, 0, 1) T, sanotaan sen luonnolliseksi kannaksi Jokaisella vektorilla x = (x 1,, x n ) T R n on esitys kannassa E, x = x 1 e x n e n (11) Olemme tottuneet käsittelemään R n :n vektoreita luonnollisessa kannassa Toisaalta R n :n aliavaruuksilla ei yleensä luonnollisia kantoja ole, vaan niille joudutaan käyttämään niitä kantoja jotka onnistutaan löytämään Usein R n :ssäkin on edullista käyttää muuta kuin luonnollista kantaa, sillä kulloinenkin tehtävä saattaa yksinkertaistua sopivasti valitun kannan avulla Tämä käy myöhemmin hyvin selväksi lineaarikuvauksien yhteydessä Tässä luvussa selvittelemme kannan vaihtamisen menetelmää Olkoon B = {b 1,, b n } jokin R n :n kanta Jokaisella vektorilla x R n on kantaesitys x = r 1 b r n b n (r 1,, r n R) (12) Kertoimia r 1,, r n sanotaan x:n koordinaateiksi kannan B suhteen Niistä muodostettu pystyvektori ) X B = (13) r n on x:n koordinaattivektori kannan B suhteen Esimerkiksi kannan E suhteen vektorin x = (x 1,, x n ) T koordinaattivektoriksi saadaan ) X E = ( r1 ( x1 1 x n, (14)

5 LUKU 1 KOORDINAATTIVEKTORIT JA KANNAN VAIHDOT 2 toisin sanoen x on sama kuin oma koordinaattivektorinsa luonnollisen kannan suhteen Esimerkki 111 Avaruudella R 2 on kanta B = {b 1, b 2 }, missä b 1 = ( 10 ) ja b2 = ( 11 ) Vektorin ( ) 23 x = kantaesitys kannassa B on x = b1 + 3b 2, joten sen koordinaattivektori tämän kannan ( ) suhteen on 1 X B = 3 Esimerkki 112 Tarkastellaan ( ) edellisen esimerkin tilanteessa yleistä vektoria xy x = Kirjoitetaan se kannassa B ratkaisemalla yhtälö x = r 1 b 1 + r 2 b 2 Vektorien komponenteista tulee yhtälöpari { r1 + r 2 = x, r 2 = y e b 2 2 yb 2 ye x 2 e 1=b 1 (x y)b 1 xe 1 ( ) ( ) ( ( Kirjoitetaan tämä matriisiyhtälönä r1 xy A r = 2, missä 1 1 A = 0 1) Koska A = 0 1), saadaan ( ) ( ) ( ) ( ) r 1 r = A 1 xy x y = 2 y Siis x:n koordinaattivektori on x y XB = y Kannan vaihto voidaan nähdä myös koordinaatiston vaihtona Edellisessä esimerkissä siirryttiin erääseen vinokulmaiseen koordinaatistoon 12 Kannan vaihdot Esimerkissä 112 siirtyminen koordinaattiesityksestä toiseen, siis kuvaus X E X B, saatiin aikaan kertomalla vasemmalta sopivalla matriisilla A 1 Johdamme nyt kannan vaihtoa varten yleiset kaavat Olkoot B = {b 1,, b n } ja C = {c 1,, c n } kaksi R n :n kantaa Kirjoitetaan vektorit c 1,, c n kannassa B: c 1 = p 11 b p n1 b n, (15) c n = p 1n b p nn b n Kertoimista muodostetun matriisin transponoitua matriisia P = P B C = p 11 p 1n (16) p n1 p nn sanotaan kannanvaihdon B C matriisiksi Siis uusi kanta C lausutaan vanhassa kannassa B ja näin syntyvät koordinaattivektorit laitetaan P :n pystyriveiksi Lause 121 Olkoot B = {b 1,, b n } ja C = {c 1,, c n } kaksi R n :n kantaa ja olkoon P B C kannanvaihdon B C matriisi Olkoot vektorin x R n koordinaattivektorit ko kantojen suhteen X B ja X C Silloin X B = P B C X C (17)

6 LUKU 1 KOORDINAATTIVEKTORIT JA KANNAN VAIHDOT 3 Todistus Merkitään X C = (r 1,, r n ) T, toisin sanoen x = r 1 c r n c n Siirrytään tässä kantaan B: x = n r j c j = j=1 n ( n ) r j p ij b i = j=1 i=1 n j=1 i=1 n r j p ij b i = n ( n p ij r j )b i i=1 j=1 Siis X B = n j=1 p 1jr j p 11 p 1n r 1 = = P B C X C n j=1 p njr j p n1 p nn r n Esimerkki 122 Tarkastellaan uudelleen esimerkkiä 112 Kannavaihdon B E matriisi saadaan lausumalla e 1 ja e 2 kannassa B; helposti nähdään, että { e 1 = b 1, e 2 = b 1 + b 2, ( ) ( ) joten kannanvaihdon matriisi on 1 1 P = P B E = 0 1 Olkoot yleisen vektorin xy x = R 2 ( ) ( ) koordinaattivektorit X E ja X B Silloin xy X E =, ja siis x y XB = P X E = y Lemma 123 Olkoot A ja B n n-matriiseja Jos Ax = Bx kaikilla vektoreilla x R n, niin A = B Todistus Identiteettimatriisi on I = ( e 1 e 2 e n ), missä ej :t ovat luonnolliset kantavektorit Laskemalla pystyriveittäin saadaan A = AI = A ( e 1 e 2 e n ) = ( Ae1 Ae 2 Ae n ) Samoin B = ( Be 1 Be 2 Be n ) Koska Aej = Be j j, seuraa A = B Lause 124 Kun B, C ja D ovat R n :n kantoja, niin P B D = P B C P C D (18) Todistus Kun vektorin x R n koordinaattivektoreita ko kannoissa merkitään X B, X C ja X D, niin lauseen 121 mukaan X B = P B D X D ja X B = P B C X C = P B C P C D X D Siis P B D X D = P B C P C D X D Tämä on voimassa kaikilla vektoreilla x, ja kun x käy koko R n :n, niin selvästi X D käy koko R n :n Väite seuraa lemmasta Seuraus 125 P B C = (P C B ) 1 Todistus Lauseen mukaan P B C P C B = P B B, joka selvästi on identiteettimatriisi

7 LUKU 1 KOORDINAATTIVEKTORIT JA KANNAN VAIHDOT 4 Esimerkki 126 Merkitään B = {b 1, b 2, b 3 }, missä b 1 = (1, 1, 2) T, b 2 = (3, 1, 0) T ja b 3 = (2, 0, 1) T Silloin B on R 3 :n kanta, sillä det(b 1 b 2 b 3 ) = 8 0 Etsitään vektorin x = (2, 1, 6) T kantaesitys B:n suhteen Vektorit b j on valmiiksi annettu luonnollisessa kannassa E, joten ja siis Näin ollen P = P E B = , P B E = P 1 = X B = P B E X E = = , toisin sanoen x = 7 8 b b b 3 Tulos on helppo tarkistaa: kun sijoitetaan vektorit b j, pitää tulla (2, 1, 6) T Esimerkki 127 Mikä käyrä on x 2 + y 2 + xy = 1? Siirrymme x y -koordinaatistoon, joka on saatu xy-koordinaatistosta kiertämällä sitä 45 vastapäivään Osoittautuu, että silloin käyrän yhtälö muuntuu tunnistettavaan muotoon (Kysymystä, miten tällainen parempi koordinaatisto löydetään, tutkimme myöhemmin) Tehtävänämme on nyt lausua käyrän yhtälö x y -koordinaattien avulla y y x e 2 b 1 b 2 x ẹ 1 y y x x Kannan E = {e 1, e 2 } sijasta otamme käyttöön kannan B = {b 1, b 2 }, missä b 1 saadaan e 1 :stä ja b 2 saadaan e 2 :sta 45 kierrolla Siis b 1 = 1 2 (1, 1) ja b 2 = 1 2 ( 1, 1) Kannanvaihdon matriisi on P = P E B = 1 ( ) ( ) ( ) Merkitään pisteen xy x = koordinaatteja uudessa koordinaatistossa x y Tämä tarkoittaa, ( ) ( ) että x:n koordinaattivektorit kantojen E ja B suhteen ovat xy X E = ja x XB = y Koska

8 LUKU 1 KOORDINAATTIVEKTORIT JA KANNAN VAIHDOT 5 X E = P X B, niin ( ) x y = 1 ( ) ( x y ), eli { x = 1 2 (x y ), y = 1 2 (x + y ) Nämä ovat koordinaattien väliset muunnoskaavat Sijoitetaan ne yhtälöön x 2 + y 2 + xy = 1: ( 2 ( 2 ( ) ( ) (x y )) + 2 (x + y )) + 2 (x y ) 2 (x + y ) = 1 Sievennettynä tulee 3 2 x y 2 = 1 Kyseessä on siis ellipsi; x y -koordinaatisto on sen ns pääakselikoordinaatisto Esimerkki 128 Kun B on R 2 :n kanta, joka saadaan kiertämällä luonnollinen kanta kulman α verran vastapäivään, niin kannanvaihdon E B matriisi on ( ) cos α sin α sin α cos α Esimerkki 129 Mikä on kannanvaihdon matriisi, kun R 3 :n luonnollinen kanta kierretään kulman α verran vastapäivään a) z-akselin ympäri, b) y-akselin ympäri?

9 Luku 2 Lineaarikuvaukset 21 Kuvauksista Olkoot A ja B joukkoja Vastaavuutta (joka saattaa olla annettuna jollain laskukaavalla tai muulla säännöllä), joka liittää jokaiseen A:n alkioon a yksikäsitteisen B:n alkion f(a), sanotaan kuvaukseksi eli funktioksi f joukosta A joukkoon B Käytetään merkintää f : A B Esimerkki 211 Lausekkeesta x 2 saadaan esimerkiksi kuvaus R R, f(x) = x 2 Tässä jokaiseen alkioon x R liitetään alkio f(x) = x 2 R; siis yo määritelmän vastaavuus on nyt annettu laskukaavalla f(x) = x 2 Sama lauseke x 2 antaa myös esimerkiksi kuvauksen g : R R 0 (= {y R y 0}), g(x) = x 2 Tämä on eri kuvaus kuin f! Esimerkki 212 Olkoon A = {a, b, c} ja B = {p, q, r, s} Määritellään kuvaus f : A B luettelemalla: f(a) = p, f(b) = p, f(c) = q Esimerkki 213 Determinantin otto n n-matriiseista on kuvaus det : M n (R) R Esimerkki 214 n m-matriisien transponointi antaa kuvauksen M n m M m n Olkoon f : A B kuvaus Käytetään seuraavia nimityksiä: A on f:n määrittelyjoukko B on f:n maalijoukko Kun b = f(a), niin b on alkion a kuva f:n arvojoukko eli kuvajoukko on Im(f) = f(a) = {f(a) a A} Osajoukon A 0 A kuva eli kuvajoukko on f(a 0 ) = {f(a) a A 0 } Kun B 0 B, niin f 1 (B 0 ) = {a A f(a) B 0 } on B 0 :n alkukuva Kuvaus f on surjektio (tai surjektiivinen) jos Im(f) = B 6

10 LUKU 2 LINEAARIKUVAUKSET 7 Kuvaus f on injektio (tai injektiivinen) jos aina eri alkioilla on eri kuvat, toisin sanoen jos on voimassa: Kun a 1, a 2 A ja a 1 a 2, niin f(a 1 ) f(a 2 ) Kuvaus f on bijektio (tai bijektiivinen), jos se on sekä injektio että surjektio Esimerkki 215 Tutkitaan, mitkä edellisten esimerkkien kuvaukset ovat injektiivisiä ja mitkä surjektiivisia Edelleen: Kaksi kuvausta f 1, f 2 : A B ovat yhtäsuuria, merkitään f 1 = f 2, jos f 1 (a) = f 2 (a) aina kun a A Huomaa, että yhtäsuurilla kuvauksilla on sama määrittelyjoukko ja sama maalijoukko Identiteettikuvaus A A on kuvaus id A, joka määritellään: id A (a) = a a A Kuvausten f : A B ja g : B C yhdistetty kuvaus eli tulo on kuvaus g f : A C, joka määritellään (g f)(a) = g(f(a)) a A Kuvaukset f : A B ja g : B A ovat toistensa käänteiskuvauksia, jos g f = id A ja f g = id B ; tällöin merkitään g = f 1 ja f = g 1 Jos f on kuvaus A B ja jos A 0 A, niin kuvaus g : A 0 B, joka määritellään g(a) = f(a) a A 0, on f:n rajoittuma eli restriktio A 0 :lle; merkitään g = f A0 Seuraavat seikat on helppo osoittaa: Kun f on kuvaus A B, niin f id A = f = id B f Kun f : A B, g : B C ja h : C D ovat kolme kuvausta, niin h (g f) = (h g) f (kuvauksia A D) Siis kuvaustulo on assosiatiivinen Kun f on kuvaus A A, merkitään f n = f f (n tekijää) On voimassa f i f j = f i+j Kuvauksella f : A B on olemassa käänteiskuvaus tarkalleen silloin, kun f on bijektio Esimerkki 216 Merkitään R 0 = {x R x 0} Kuvaus f : R R, f(x) = x 2, ei ole bijektio, joten sillä ei ole käänteiskuvausta Sama koskee sen restriktiota g = f R 0 : R 0 R Sen sijaan kuvaus h : R 0 R 0, h(x) = x 2, on bijektio ja sillä on käänteiskuvaus h 1 : R 0 R 0, nimittäin h 1 (x) = x x R 0 22 Lineaarikuvaukset Määritelmä 221 Kuvausta f : R n R m sanotaan lineaariseksi, jos se täyttää ehdot L1 f(x 1 + x 2 ) = f(x 1 ) + f(x 2 ) x 1, x 2 R n, L2 f(ax) = af(x) x R n, a R

11 LUKU 2 LINEAARIKUVAUKSET 8 Ehdot L1 ja L2 yhdessä ovat ekvivalentit seuraavan ehdon kanssa: L12 f(a 1 x 1 + a 2 x 2 ) = a 1 f(x 1 ) + a 2 f(x 2 ) x 1, x 2 R n, a 1, a 2 R Induktiolla on helppo näyttää, että lineaarikuvaus säilyttää lineaarikombinaatiot, eli f(a 1 x a k x k ) = a 1 f(x 1 ) + + a k f(x k ) x 1,, x k R n, a 1,, a k R (21) Valitsemalla ehdossa L2 a = 0 todetaan, että f(0) = 0; siis lineaarikuvaus kuvaa nollavektorin nollavektoriksi Esimerkki 222 Nollakuvaus R n R m on kuvaus, joka kuvaa kaikki vektorit 0:ksi Selvästi se on lineaarikuvaus Nollakuvausta merkitään yleensä 0:lla Esimerkki 223 Olkoon c R kiinnitetty Määritellään homotetiakuvaus h c : R n R n asettamalla h c (x) = cx x R n Osoitetaan, että h c on lineaarinen ja tutkitaan sitä c:n eri arvoilla Esimerkki 224 Olkoon x 0 kiinnitetty vektori x 0 0 Translaatiokuvaus t : R n R n, joka määritellään t(x) = x + x 0 x R n, ei ole lineaarikuvaus, koska esimerkiksi t(0) 0 Esimerkki 225 Olkoon f : R n R n kohtisuora peilaus x-akselin suhteen, toisin sanoen f(x, y) = (x, y) x, y R 2 Osoitetaan, että se on lineaarinen Esimerkki 226 Tarkastellaan yleisemmin R 2 :n kohtisuoraa peilausta f suoran ax + by = 0 suhteen, missä (a, b) (0, 0); kts kuvio Miten lasketaan f(x) mielivaltaiselle pisteelle x = (x, y) T? Onko f lineaarinen? Suoran L normaali on n = (a, b) T, joten f(x) = x + tn, missä t R on sellainen, että x + 1 2tn L Koska L:n yhtälö on x n = 0 (missä x n = (x, n) on sisätulo), niin L n y x x f(x) x tn L (x tn) n = 0 x n tn n = 0 t = 2x n n n Sijoittamalla tämä lausekkeeseen f(x) = x + tn saadaan Kun sijoitetaan x ja n, niin sieventämisen jälkeen f(x) = + by) = 2(ax a 2 + b 2 f(x) = x 2x n n 2 n (22) 1 a 2 + b 2 ( ( a 2 + b 2 )x 2aby, 2abx + (a 2 b 2 )y ) T (23) Nyt f voidaan näyttää lineaariseksi käyttäen kumpaa tahansa lausekkeista (22) ja (23) Edellisellä pääsee paljon vähemmällä kirjoittamisella

12 LUKU 2 LINEAARIKUVAUKSET 9 Esimerkki 227 Osoitetaan, että kuvaus f : R 3 R 2, f(x, y, z) = (x + 2y + 3z, 4x + 5y + 6z), on lineaarinen Laskuista pitäisi syntyä havainto, että lineaarisuus seuraa siitä, että komponenttikuvaukset R 3 R, (x, y, z) x + 2y + 3z ja (x, y, z) (4x + 5y + 6z) ovat lineaarisia eli 1 astetta ja ilman vakiotermiä Onkohan tämä sattuma, vai voisikohan tästä muotoilla yleisen tuloksen kuvausten R n R m lineaarisuudesta? Huomautus 228 Tässä kurssissa käsittely rajoittuu avaruuksiin R n Yleiset vektoriavaruudet tulevat Algebran peruskursseissa I ja II Ne määritellään aksiomaattisesti: Vektoriavaruus on joukko, jossa on annettuna yhteenlaskuoperaatio ja skalaarillakertomisoperaatio ja jossa tietty lista aksioomia on voimassa Skalaaritkin voivat olla jotain muuta kuin reaalilukuja, esimerkiksi kompleksilukuja tai jonkin yleisen ns kunnan alkioita Tässä yleisessäkin tilanteessa lineaarikuvaukset määritellään juuri samoin kuin määritelmässä 221, tosin tietenkin R n ja R m korvataan yleisillä vektoriavaruuksilla ja R ko skalaarien kunnalla 23 Lineaarikuvauksen määräytyminen kantavektoreista Esimerkki 231 Olkoot c 1,, c n R kiinnitettyjä lukuja Määritellään kuvaus f : R n R seuraavasti: f(x 1,, x n ) = x 1 c x n c n ((x 1,, x n ) T R n ) Osoitetaan, että f on lineaarinen ja että luonnollisten kantavektorien kuvat ovat f(e i ) = c i (i = 1,, n) Esimerkki 232 Yleistetään edellistä esimerkkiä: Olkoot y 1,, y n R m kiinnitettyjä vektoreita Määritellään kuvaus f : R n R m : f(x 1,, x n ) = x 1 y x n y n ((x 1,, x n ) T R n ) Silloin f on lineaarinen ja f(e i ) = y i (i = 1,, n) Näissä esimerkeissä on kyse siitä, että lineaarikuvaus voidaan aina määritellä yksikäsitteisesti antamalla kantavektorien kuvat Kirjoitamme tämän tosiseikan yleiseksi lauseeksi ja todistamme sen tarkasti Lause 233 Olkoon {x 1,, x n } jokin R n :n kanta, ja olkoot y 1,, y n kiinnitettyjä R m :n vektoreita (eivät ehkä erisuuria) Silloin on yksikäsitteinen sellainen lineaarikuvaus f : R n R m, että f(x i ) = y i (i = 1,, n) (24) Todistus Määritellään kuvaus f seuraavalla tavalla: Jokaisella vektorilla x R n on yksikäsitteinen esitys muodossa x = a 1 x a n x n (a 1,, a n R), joten voidaan asettaa f(x) = a 1 y a n y n

13 LUKU 2 LINEAARIKUVAUKSET 10 Silloin f on hyvin määritelty kuvaus Osoitetaan, että se on lineaarinen Kun vektoreilla x, x R n on kantaesitykset x = n i=1 a ix i ja x = n i=1 a i x i, niin summalla x + x on kantaesitys x + x = n i=1 (a i + a i )x i, joten n n n f(x + x ) = (a i + a i)y i = a i y i + a iy i = f(x) + f(x ); i=1 samoin saadaan, että kun a R, niin ax = n i=1 aa ix i, ja siis n n f(ax) = aa i y i = a a i y i = af(x) i=1 i=1 Näin ollen f on lineaarinen Se toteuttaa myös vaaditun ehdon (24) Lopuksi näytetään yksikäsitteisyys Oletetaan, että g on sellainen lineaarikuvaus R n R m, että g(x i ) = y i (i = 1,, n) Kun x = n i=1 a ix i on mielivaltainen, niin ( n ) g lin n n g(x) = g a i x i = a i g(x i ) = a i y i = f(x) Siis g = f i=1 i=1 Esimerkki 234 Koska R 2 :lla on kanta {(1, 2), (3, 4)}, niin on yksikäsitteinen sellainen lineaarikuvaus f : R 2 R 3, että i=1 i=1 i=1 f(1, 2) = (0, 1, 2), f(3, 4) = (2, 1, 0) Kantavektorien kuvista voidaan helposti johtaa yleisen vektorin (x, y) kuva (kts yo todistusta); tulos on f(x, y) = (2x y, x + y, 4x + 3y) Ennakoiden seuraavan pykälän asiaa panemme merkille, että f(x, y) voidaan kirjoittaa (pystyvektoreita käyttäen) matriisitulona ( ) xy f = ( ) (x Esimerkki 235 Tarkastellaan uudestaan esimerkkiä 226 Siis f : R 2 R 2 on kohtisuora peilaus suoran L : x n = 0 suhteen, missä n = (a, b) T 0 Suoralla L on suuntavektori s = ( b, a) T, koska s n = 0 Nyt {n, s} on R 2 :n kanta: n ja s ovat lineaarisesti riippumattomia ja dim R 2 = 2 Lauseen 233 mukaan f (koska se on lineaarinen) määräytyy jo siitä, miten se kuvaa vektorit n ja s Ilmeisesti f(n) = n, f(s) = s y ) L y n s x f(x) x Yleisen vektorin x kuva f(x) saadaan lausumalla x ensin kannassa {n, s}, siis muodossa x = cn + ds, jolloin f(x) = f(cn + ds) = cf(n) + df(s) = cn + ds (25) Vertaa tätä saman kuvauksen lausekkeeseen (23), jossa vektorit on kaikki lausuttu luonnollisessa kannassa Ilmiselvästi f:n käsittelyssä kannattaa käyttää kantaa {n, s} Vektorit n ja s ovat f:n ominaisvektoreita; näistä puhutaan myöhemmin tarkemmin

14 LUKU 2 LINEAARIKUVAUKSET Lineaarikuvauksen matriisi Esimerkissä 234 saimme lineaarikuvauksen esitetyksi matriisin avulla Tässä pykälässä näytämme, miten sama tehdään yleisestikin Esimerkin 235 mukaisesti ei ole syytä rajoittua luonnollisiin kantoihin vaan kannattaa kehittää teoria koskemaan mielivaltaisia kantoja Määritelmä 241 Olkoon f : R n R m lineaarikuvaus Kiinnitetään R n :lle kanta B = {b 1,, b n } ja R m :lle kanta C = {c 1,, c m } Muodostetaan vektorien f(b 1 ),, f(b n ) kantaesitykset: f(b 1 ) = a 11 c a m1 c m, (26) f(b n ) = a 1n c a mn c m Kertoimista muodostettua (transponoitua) matriisia a 11 a 1n A = (27) a m1 a mn sanotaan lineaarikuvauksen f matriisiksi kantojen B ja C suhteen; sanotaan myös että matriisi A esittää f:ää ko kantojen suhteen Merkitään A = M B,C (f) tai lyhyesti A = M(f) Jos n = m, niin yleensä käytetään samaa kantaa, siis B = C; tällöin merkitään A = M B (f) ja sanotaan, että A on f:n matriisi kannan B suhteen Siis M B,C (f) muodostetaan niin, että määrittelyavaruuden kantavektoreiden kuvat f(b j ) lausutaan maaliavaruuden kannassa C ja syntyvät koordinaattivektorit asetetaan matriisin pystyriveiksi Lause 242 Olkoon f lineaarikuvaus R n R m ja olkoon kiinnitetty R n :n ja R m :n kannat B ja C Kun x R n ja y R m ovat mielivaltaisia vektoreita ja X B ja Y C ovat niiden koordinaattivektorit ko kantojen suhteen, niin y = f(x) Y C = M B,C (f) X B Todistus Riittää todeta, että f(x):n koordinaattivektori kannan C suhteen on M(f)X B Merkitään B = {b 1,, b n } ja C = {c 1,, c m } sekä M(f) = (a ij ) m n Olkoon X B = (x 1,, x n ) T, toisin sanoen x = x 1 b x n b n Lasketaan f(x) kannassa C: f(x) = f(x 1 b x n b n ) = x 1 f(b 1 ) + + x n f(b n ) = x 1 (a 11 c a m1 c m ) + + x n (a 1n c a mn c m ) = (a 11 x a 1n x n )c (a m1 x a mn x n )c m Siis f(x):n koordinaattivektori on a 11 x a 1n x n a 11 a 1n x 1 = = M(f)X B a m1 x a mn x n a m1 a mn x n

15 LUKU 2 LINEAARIKUVAUKSET 12 Lause sanoo siis, että kun kannat B ja C on kiinnitetty, niin lineaarikuvaus f vastaa koordinaattivektoreiden X B kertomista vasemmalta matriisilla M B,C (f) Esimerkki 243 Olkoon f : R 2 R 3 esimerkissä 234 määritelty kuvaus Sille saatiin lauseke f(x, y) = (2x y, x + y, 4x + 3y) Siis luonnollisten kantavektoreiden kuvat ovat f(e 1 ) = f(1, 0) = (2, 1, 4) ja f(e 2 ) = f(0, 1) = ( 1, 1, 3) Nämä ovat valmiiksi kuva-alkioiden koordinaattivektorit R 3 :n luonnollisen kannan suhteen Siis f:n matriisi luonnollisten kantojen suhteen on M(f) = M E,E (f) = ( ) Esimerkissä 234 todettiin, että (luonnollisia kantoja käytettäessä) f saadaan kertomalla vasemmalta juuri tällä matriisilla: f(x) = M(f)x x R 2 Esimerkki 244 Merkitään B = {b 1, b 2 }, missä b 1 = (1, 2) T ja b 2 = (3, 4) T ; tämä on R 2 :n kanta Esimerkin 234 kuvaus määriteltiin antamalla kantavektorien b 1, b 2 kuvat R 3 :n luonnollisessa kannassa E Saadaan heti f:n matriisi näiden kantojen suhteen: M B,E (f) = ( Esimerkki 245 Katsotaan taas R 2 :n peilausta f suoran x n = 0 suhteen Käytetään samoja merkintöjä kuin esimerkeissä 226 ja 235 Kirjoitetaan f:n matriisi sekä luonnollisen kannan suhteen että kannan B = {n, s} suhteen: M E (f) = 1 a 2 + b 2 ( a 2 + b 2 2ab 2ab a 2 b 2 ) ) ( ) 1 0, M B (f) = 0 1 Jos on annettu matriisi A M m n, niin voidaan määritellä kuvaus f : R n R m asettamalla f(x) = Ax Matriisitulon ominaisuuksista seuraa, että f on lineaarinen Sanotaan, että f on matriisin A määräämä tai indusoima lineaarikuvaus (luonnollisten kantojen suhteen) Lisäksi A = M E,E (f) Huomautus 246 Tarkemmin tutkimalla todetaan, että yo vastaavuus f A antaa kääntäen yksikäsitteisen vastaavuuden lineaarikuvausten R n R m ja m n-matriisien välille Esimerkki 247 Matriisin ( ) indusoima lineaarikuvaus f : R 3 R 2 on f((x, y, z) T ) = (x + y, x + y + 4z) T ((x, y, z) T R 3 ) Seuraava tulos on ehkä tärkein syy sille, että matriisitulo määriteltiin niin kuin määriteltiin: matriisitulo vastaa kuvaustuloa eli kuvausten yhdistämistä Lause 248 Olkoon avaruuksilla R n, R m ja R k vastaavasti kannat B, C ja D Jos f : R n R m ja g : R m R k ovat lineaarikuvauksia, niin g f on lineaarikuvaus ja sen matriisi on M B,D (g f) = M C,D (g)m B,C (f)

16 LUKU 2 LINEAARIKUVAUKSET 13 Todistus Yhdistetyn kuvauksen g f lineaarisuus nähdään ehdosta L12: (g f)(a 1 x 1 + a 2 x 2 ) = g(f(a 1 x 1 + a 2 x 2 )) = g(a 1 f(x 1 ) + a 2 f(x 2 )) = a 1 g(f(x 1 )) + a 2 g(f(x 2 )) = a 1 (g f)(x 1 ) + a 2 (g f)(x 2 ) Olkoon x R n Merkitään y = f(x) ja z = g(y) ja käytetään vastaavista koordinaattivektoreista merkintöjä X B, Y C ja Z D Lauseesta 242 saadaan Siis Y C = M(f)X B, Z D = M(g)Y C = M(g f)x B M(g)M(f)X B = M(g f)x B Lemman 123 nojalla M(g)M(f) = M(g f), koska x on mielivaltainen ( ) Esimerkki 249 a) Tutkitaan, millaisen kuvauksen R 2 R 2 matriisi cos α sin α R α = sin α cos α määrää luonnollisten kantojen suhteen b) Trigonometristen kaavojen avulla lasketaan, että R α R β = R α+β Mikä on vastaava lineaarikuvauksia koskeva seikka? Esimerkki 2410 Olkoon f kuvaus R 3 R 3, f(x, y, z) = (y, z, 0) Muodostetaan f:n matriisi A Todetaan, että A 3 = O Päätellään tästä, että f 3 = 0 (eli että f f f on nollakuvaus) Esimerkki 2411 Olkoon π = (j 1, j 2,, j n ) lukujen 1, 2,, n permutaatio Siitä saadaan lineaarikuvaus f π : R n R n asettamalla kantavektorien e i kuviksi f π (e i ) = e ji (i = 1,, n) Mikä R n :n yleisen vektorin kuva on? Millainen matriisi P π = M E (f π ) on? Matriiseja P π sanotaan permutaatiomatriiseiksi 25 Lineaarikuvauksen matriisin muuntuminen Lineaarikuvaus f : R n R m voidaan esittää matriisilla M B,C, kun B ja C ovat kiinnitettyjä R n :n ja R m :n kantoja Aiemmin johdetuista kaavoista saamme nyt helposti selvitetyksi f:n matriisin muunnoksen, kun suoritetaan kannan vaihdot B B R n :ssä ja C C R m :ssä: Lause 251 Olkoon f : R n kannat C ja C Silloin R m lineaarikuvaus Olkoon R n :llä kannat B ja B ja R m :llä M B,C (f) = P C CM B,C (f)p B B (28) Todistus Olkoon x R n mielivaltainen ja olkoon y = f(x) Merkitään x:n ja y:n koordinaattivektoreita ko kantojen suhteen X B, X B, Y C ja Y C Lauseen 242 mukaan Y C = M B,C (f)x B Kun tähän sijoitetaan kannan vaihtoja koskevat kaavat Y C = P C C Y C ja X B = P B B X B (lause 121), saadaan P C C Y C = M B,C (f)p B B X B

17 LUKU 2 LINEAARIKUVAUKSET 14 Kerotaan vasemmalta matriisilla (P C C ) 1 = P C C (seuraus 125): Toisaalta lauseen 242 mukaan Y C = P C CM B,C (f)p B B X B Y C = M B,C (f)x B Väite seuraa nyt lemmasta 123, koska x on mielivaltainen Hyvin tärkeä erikoistapaus on lineaarikuvauksen f : R n R n matriisin M B (f) muuntuminen kannan vaihdossa Muistetaan, että tämä matriisi muodostetaan käyttäen R n :ssä samaa kantaa B, katsottiinpa R n :ää sitten f:n määrittely- tai maaliavaruutena Kannan vaihtaminen B :ksi merkitsee silloin samaa kannan vaihtoa sekä maali- että määrittelyavaruudessa Lauseesta saadaan suoraan: Seuraus 252 Kun f : R n R n on lineaarikuvaus ja B ja B ovat kaksi R n :n kantaa, niin missä P = P B B M B (f) = P 1 M B (f)p, (29) Yleisesti n n-matriiseja A ja B sanotaan similaarisiksi, jos on sellainen säännöllinen matriisi Q, että B = Q 1 AQ Kuvausta M n M n, joka kuvaa jokaisen matriisin A matriisiksi Q 1 AQ, sanotaan similaarisuusmuunnokseksi, jonka matriisi Q välittää Similaarisuudesta meillä tulee tarkemmin puhe matriisien ominaisarvojen yhteydessä Seuraus 252 merkitsee erityisesti, että lineaarikuvauksen matriisi muuntuu kannan vaihdossa similaarisuusmuunnoksella, jonka ko kannanvaihdon matriisi välittää Esimerkki 253 Tarkastellaan taas kerran R 2 :n kohtisuoraa peilausta f suoran L : ax+by = 0 suhteen Johdetaan nyt f:n lauseke toisella tavalla kuin esimerkissä 226 Olkoon n = (a, b) T ja s = ( b, a) T, L:n normaali- ja suuntavektorit, ja merkitään B = {n, s} Koska f(n) = n ja f(s) = s, niin M B (f) = Luonnollisen kannan suhteen f:n matriisi on siis ( ) M E (f) = Q 1 M B (f)q, missä Q on kannanvaihdon matriisi Q = P B E Koska n = (a, b) T ja s = ( b, a) T ovat koordinaattiesityksiä kannassa E, niin ( ) a b P E B = = Q 1, b a joten Q = (P E B ) 1 = ( 1 a a 2 + b 2 b ) b a Laskemalla matriisitulo M E (f) = Q 1 M B (f)q saadaan sama tulos kuin esimerkissä 245 Siitä taas saadaan f:n lauseke (23)

18 LUKU 2 LINEAARIKUVAUKSET 15 Esimerkki 254 Johdetaan samalla tavalla kuin edellisessä esimerkissä M E (f), kun f on kohtisuora projektio suoralle L (Edellisen esimerkin merkinnöin siis f(n) = 0 ja f(s) = s) Todetaan, että M E (f) 2 = M E (f) Miten tämä tulos olisi nähty jo ennalta? Esimerkki 255 Olkoot L 1 ja L 2 kaksi suoraa R 2 :ssa, L 1 L 2 = {0} Määritellään, mitä tarkoittaa (vino) peilaus f suoran L 1 suhteen suoran L 2 suunnassa (kts kuvio) Miten f:n lauseke (tai matriisi) luonnollisessa kannassa laskettaisiin? Mistä tiedetään, jo ennen kuin mitään on laskettu, että M E (f) 2 = I? t L 1 y x f(x) s x Esimerkki 256 Aurinko paistaa vektorin (1, 1, 1) suunnasta Ajatellaan, että sen säteet ovat yhdensuuntaiset Valkoinen taso on asetettu xy-tasoon Jokainen tason yläpuolella oleva pistemäinen esine heittää sille varjon Katsotaan tämä kuvaukseksi f : R 3 R 2 Oletetaan tunnetuksi, että f on lineaarinen Selvitetään, miten sen lauseke luonnollisten kantojen suhteen voidaan johtaa lähtemällä siitä, että ilmeisesti f(1, 0, 0) = (1, 0), f(0, 1, 0) = (0, 1), f(1, 1, 1) = (0, 0) 26 Lineaarikuvauksen ydin ja kuva Lause 261 Olkoon f : R n R m lineaarikuvaus (i) Kun U R n on aliavaruus, niin f(u) on R m :n aliavaruus (ii) Kun V R m on aliavaruus, niin f 1 (V ) on R n :n aliavaruus Todistus Todistetaan ensin (i) Ensinnäkin f(u), sillä 0 U joten f(0) f(u) Olkoot v, w f(u) mielivaltaisia Silloin on sellaiset x, y U, että v = f(x) ja w = f(y) Kuvauksen f lineaarisuuden perusteella v + w = f(x) + f(y) = f(x + y) f(u), sillä x + y U Kun a R, niin av = af(x) = f(ax) f(u) Siis f(u) on aliavaruus Seuraavaksi todistetaan (ii) Koska f(0) = 0 V, niin 0 f 1 (V ), joten f 1 (V ) Olkoot x, y f 1 (V ) mielivaltaisia, toisin sanoen f(x) V ja f(y) V Silloin f(x + y) = f(x)+f(y) V, koska V on aliavaruus; siis x+y f 1 (V ) Kun a R, niin f(ax) = af(x) V, joten ax f 1 (V ) Näin ollen f 1 (V ) on aliavaruus Valitsemalla U = R n ja V = {0} (R m :n nolla-aliavaruus), saadaan kaksi tärkeää erikoistapausta: f(r n ) = Im(f) ja f 1 ({0}) ovat aliavaruuksia, edellinen R m :n ja jälkimmäinen R n :n Näistä käytetään seuraavia nimityksiä Määritelmä 262 Olkoon f : R n R m lineaarikuvaus Silloin R m :n aliavaruutta Im(f) = f(r n ) = {f(x) x R n } sanotaan f:n kuva-avaruudeksi, ja R n :n aliavaruutta sanotaan f:n ytimeksi (engl kernel) Ker(f) = f 1 ({0}) = {x R n f(x) = 0} L 2

19 LUKU 2 LINEAARIKUVAUKSET 16 Esimerkki 263 Esimerkin 256 kuvauksen kuva-avaruus on Im(f) = R 2 ja ydin Ker(f) on suora r = t(1, 1, 1) Esimerkki 264 Tarkastellaan lineaarikuvausta f : R 3 R 2, f(x, y, z) = (x + y, x + y + 4z), joka oli esimerkissä 247 Se todetaan helposti surjektioksi; jos nimittäin (a, b) R 2 on mielivaltainen, niin yhtälöparille { x + y = a x + 4y + z = b löydetään ratkaisu (x, y, z), joten (a, b) kuuluu f:n kuva-avaruuteen Siis Im(f) on koko R 2 Entä mikä f:n ydin on? On löydettävä ne pisteet (x, y, z), jotka f kuvaa 0:ksi Saadaan yhtälöpari { x + y = 0, x + 4y + z = 0 Ratkaisuavaruus koostuu vektoreista ( y, y, 5y) (y R) Siis Ker(f) = L( 1, 1, 5) on yksiulotteinen aliavaruus Näissä esimerkeissä oli dim Im(f) = 2 ja dim Ker(f) = 1, ja huomataan, että = 3 = dim R 3 on f:n määrittelyavaruuden dimensio Tämä on voimassa yleisestikin: Lause 265 (Lineaarikuvauksen dimensioyhtälö) Kun f : R n R m on lineaarikuvaus, niin dim R n = dim Ker(f) + dim Im(f) (210) Todistus Valitaan Ker(f):lle kanta {x 1,, x k } ja Im(f):lle kanta {v 1,, v r } Silloin on sellaiset y 1,, y r R n, että f(y 1 ) = v 1,, f(y r ) = v r Osoitetaan, että {x 1,, x k, y 1,, y r } on R n :n kanta Tämä antaa silloin lauseen väitteen Näytetään ensin, että x 1,, x k, y 1,, y r ovat lineaarisesti riippumattomia Olkoon a 1 x a k x k + b 1 y b r y r = 0, missä a i, b i R Kun tästä otetaan f puolittain, niin f:n lineaarisuuden nojalla a 1 f(x 1 ) + + a k f(x k ) + b 1 f(y 1 ) + + b r f(y r ) = f(0), eli b 1 v b r v r = 0 Koska v i :t ovat lineaarisesti riippumattomia, niin seuraa b 1 = = b r = 0 Silloin a 1 x a k x k = 0, joten x i :den lineaarinen riippumattomuus antaa a 1 = = a k = 0 Osoitetaan toiseksi, että x 1,, x k, y 1,, y r virittävät koko R n :n Olkoon z R n mielivaltainen Silloin f(z) voidaan lausua Im(f):n yo kannan avulla, f(z) = c 1 v c r v r Merkitään z = z c 1 y 1 c r y r R n Silloin f(z ) = f(z) c 1 v 1 c r v r = 0

20 LUKU 2 LINEAARIKUVAUKSET 17 Siis z Ker(f), joten z voidaan lausua Ker(f):n kannassa: z = d 1 x d k x k Nyt saadaan z = z + c 1 y c r y r = d 1 x d k x k + c 1 y c r y r, mikä antaa väitteen Joskus lineaarikuvauksen f kuva-avaruuden dimensiota dim Im(f) sanotaan f:n asteeksi (engl rank, merkitään r(f)) ja ytimen dimensiota dim Ker(f) sanotaan f:n nulliteetiksi Edellistä lausetta kutsutaankin usein aste-nulliteetti-lauseeksi Huomautus 266 Dimensioyhtälön (210) vasemmalla puolella voitaisiin tietysti kirjoittaa dim R n = n, mutta muoto (210) on mukavampi, sikäli että dimensioyhtälö pätee lineaarikuvauksille yleistenkin vektoriavaruuksien tapauksessa (jotka eivät kylläkään kuulu tähän kurssiin) muodossa: Jos f : V W on lineaarikuvaus, niin dim V = dim Ker(f) + dim Im(f) Todistuskin käy oleellisesti samoin kuin edellä Esimerkki 267 Lineaarikuvaus f : R n R n on nilpotentti, jos jokin f k = 0 (Tässä f k = f f ja 0 tarkoittaa nollakuvausta, kts esimerkki 2410) Tutkitaan, mitä nilpotenttisuus merkitsee Olkoon k pienin eksponentti, jolla f k = 0 Oletetaan, että k > 1 (muuten f = 0) Koska f i+1 (R n ) = f i (f(r n )) f i (R n ), niin aliavaruudet f i (R n ) = Im(f i ) muodostavat ketjun R n Im(f) Im(f 2 ) Im(f k 1 ) Im(f k ) = {0} Sovitaan vielä, että f 0 = I, jolloin ketjun ensimmäinen jäsen R n on Im(f 0 ) Osoitetaan, että ketjussa kaikki sisältymiset ovat aitoja eli että Im(f i 1 ) Im(f i ) kun 1 i k Tehdään tämä näyttämällä, että dim Im(f i 1 ) > dim Im(f i ) Lineaarikuvauksen dimensioyhtälöstä, sovellettuna lineaarikuvauksiin f i 1 ja f i, saadaan dim Im(f i 1 ) + dim Ker(f i 1 ) = n = dim Im(f i ) + dim Ker(f i ) Siis epäyhtälön dim Im(f i 1 ) > dim Im(f i ) sijasta voimme yhtä hyvin todistaa epäyhtälön dim Ker(f i 1 ) < dim Ker(f i ) Edelleen, Ker(f i 1 ) Ker(f i ), sillä jos f i 1 (x) = 0, niin f i (x) = f(f i 1 (x)) = f(0) = 0, joten riittää osoittaa, että on sellainen x, että x Ker(f i ) ja x / Ker(f i 1 ) Valitaan y Im(f k 1 ), y 0; tämä on mahdollista, koska k:n valinnasta johtuen f k 1 0 eli Im(f k 1 ) {0} On sellainen z R n, että y = f k 1 (z) Merkitään x = f k i (z) Silloin f i (x) = f i (f k i (z)) = f k (z) = 0 ja f i 1 (x) = f k 1 (z) = y 0 Esimerkki 268 Osoitetaan, että nilpotentin lineaarikuvauksen f : R n R n matriisi on sopivan kannan suhteen alakolmiomatriisi, jonka päälävistäjäalkiot ovat nollia (Käänteinenkin väite pätee Lisäksi alakolmiomatriisien sijasta voitaisiin yhtä hyvin käyttää yläkolmiomatriiseja)

21 LUKU 2 LINEAARIKUVAUKSET 18 Esimerkki 269 Neliömatriisia A sanotaan nilpotentiksi, jos A k = 0 jollain k:lla Päätellään edellisestä esimerkistä, että jos matriisi A on nilpotentti, niin on sellainen säännöllinen matriisi P, että P 1 AP on alakolmiomatriisi, jonka päälävistäjäalkiot ovat nollia (Käänteinenkin pätee) Lause 2610 Olkoon f : R n R m lineaarinen Merkitään A = M E,E (f) Silloin Im(f) = A:n pystyriviavaruus P (A), (211) Ker(f) = yhtälöryhmän Ax = 0 ratkaisuavaruus (212) Todistus Olkoon A = ( a 1 a n ), missä a1, a n R m ovat pystyrivit Käytämme tuttua kaavaa Ax = x 1 a x n a n (x = (x 1,, x n ) T ) Tästä saadaan (211), sillä ja Im(f) = {Ax x R n } P (A) = L(a 1,, a n ) = {x 1 a x n a n x 1,, x n R} Väite (212) on selvä, koska x Ker(f) f(x) = 0 Ax = 0 Seuraus 2611 dim Im(f) = r(a) Siis f:n aste r(f) on sama kuin A:n aste r(a) Koska lisäksi matriisin aste säilyy kerrottaessa sitä säännöllisillä matriiseilla, niin r(f) = r(b), oli B = M B,C (f) muodostettu minkä kantojen B ja C suhteen tahansa; kts lause 251 Nyt näemme, että lineaarikuvauksen dimensioyhtälö onkin ennestään tuttu tulos: Kun A M m n, niin lineaarisen homogeenisen yhtälöryhmän Ax = 0 ratkaisuavaruuden dimensio on n r(a) 27 Injektiiviset ja bijektiiviset lineaarikuvaukset Muistetaan, että kuvaus f : A B on injektiivinen, jos f(a 1 ) f(a 2 ) aina kun a 1 a 2 (a 1, a 2 A) Lineaarikuvausten injektiivisyydelle saadaan yksinkertaisempi kriteeri, kohta (ii) seuraavassa lauseessa Lause 271 Lineaarikuvaukselle f : R n R m seuraavat ehdot ovat ekvivalentit: (i) f on injektio; (ii) Ker(f) = {0}; (iii) dim Im(f) = dim R n ; (iv) jos {x 1,, x n } on R n :n kanta, niin f(x i ) f(x j ) kun i j ja {f(x 1 ),, f(x n )} on Im(f):n kanta

22 LUKU 2 LINEAARIKUVAUKSET 19 Todistus Oletetaan ensin (i) ja todistetaan (ii) Jos x Ker(f), niin f(x) = 0 = f(0), joten f:n injektiivisyyden nojalla x = 0 Siis Ker(f) = {0} Oletetaan nyt (ii) ja todistetaan (i) Olkoot x, y R n sellaisia, että f(x) = f(y) Silloin f(x y) = f(x) f(y) = 0, joten x y Ker(f) Koska Ker(f) = {0}, seuraa x y = 0 eli x = y Näin ollen f on injektio Nyt on osoitettu ehtojen (i) ja (ii) ekvivalenttisuus Dimensioyhtälön nojalla dim Im(f) = dim R n dim Ker(f) = 0 Ker(f) = {0}; siis myös (iii) on ekvivalentti ehtojen (i) ja (ii) kanssa Oletetaan (i) ja todistetaan (iv) Olkoon {x 1,, x n } R n :n kanta Vektorit f(x 1 ),, f(x n ) virittävät kuva-avaruuden Im(f), sillä jokainen f(x) voidaan esittää muodossa f(x) = f(a 1 x a n x n ) = a 1 f(x 1 ) + + a n f(x n ) (a 1,, a n R) Lisäksi f(x 1 ),, f(x n ) ovat lineaarisesti riippumattomia Jos nimittäin a 1 f(x 1 ) + + a n f(x n ) = 0, niin f(a 1 x a n x n ) = 0, joten ehdon (ii) perusteella a 1 x a n x n = 0 Seuraa a 1 = = a n = 0 Näin ollen (iv) on voimassa Vihdoin, jos oletetaan (iv), niin siitä saadaan heti (iii) Injektiivistä lineaarikuvausta sanotaan myös säännölliseksi Lauseen 271 mukaan lineaarikuvaus f : R n R m ei voi olla bijektio, jos m n Lause 272 Lineaarikuvaukselle f : R n R n seuraavat ehdot ovat ekvivalentit: (i) (ii) (iii) f on injektio; f on surjektio; f on bijektio Todistus Surjektiivisuuden määritelmästä ja lauseesta 271 saadaan f surjektio Im(f) = R n dim Im(f) = dim R n f injektio Huomautus 273 Lausetta voi verrata äärellisten joukkojen välisiä kuvauksia koskevaan tosiasiaan: Jos g : A A on kuvaus, missä A on äärellinen joukko, niin g on injektio tarkalleen silloin kun se on surjektio (jolloin se on myös bijektio) Lause 274 Jos f : R n R n on bijektiivinen lineaarikuvaus, niin myös f:n käänteiskuvaus f 1 on lineaarinen Todistus Kun x, y R n ja a, b R ovat mielivaltaisia, niin f:n lineaarisuuden nojalla f ( (af 1 (x) + bf 1 (y) ) = af(f 1 (x)) + bf(f 1 (y)) = ax + by, ja ottamalla puolittain f 1 saadaan af 1 (x) + bf 1 (y) = f 1 (ax + by)

23 LUKU 2 LINEAARIKUVAUKSET 20 Lause 275 Olkoon f : R n R n lineaarikuvaus ja olkoon B jokin R n :n kanta Silloin f on bijektio jos ja vain jos sen matriisi M B (f) on säännöllinen, ja tällöin M B (f) 1 = M B (f 1 ) Todistus Kun f on bijektio, niin f f 1 = id Lauseesta 248 saadaan M B (f)m B (f 1 ) = M B (id) Selvästi M B (id) on identiteettimatriisi I Siis M B (f) on säännöllinen ja M B (f) 1 = M B (f 1 ) Oletetaan nyt, että M B (f) on säännöllinen Lauseen 272 mukaan riittää osoittaa, että f on injektio Olkoon f(x) = 0 ja olkoon X B x:n koordinaattivektori Silloin M B (f)x B = (0,, 0) T (lause 242) Kertomalla vasemmalta M B (f) 1 :llä saadaan X B = (0,, 0) T Siis x = 0 Esimerkki 276 Kuvaus f : R 3 R 3, f((x, y, z) T ) = (x, x + y, y + z) T, on bijektio, sillä se on lineaarinen ja sen matriisi M E (f) = ( ) on säännöllinen (determinantti = 1) Laskemalla käänteismatriisi ( ) M E (f) 1 = saadaan f:n käänteiskuvaukseksi f 1 ((x, y, z) T ) = (x, x + y, x y + z) T (x, y, z R)

24 Luku 3 Aliavaruuksien suora summa 31 Kahden aliavaruuden summa ja suora summa Määritelmä 311 Kun U 1 ja U 2 ovat R n :n aliavaruuksia, niin niiden summa U 1 + U 2 on R n :n aliavaruus U 1 + U 2 = {u 1 + u 2 u 1 U 1, u 2 U 2 } (31) Helposti nähdään, että U 1 + U 2 todella on aliavaruus Lisäksi U 1 U 1 + U 2 ja U 2 U 1 + U 2 ; esimerkiksi jokainen U 1 :n alkio u 1 voidaan kirjoittaa muodossa u 1 = u 1 + 0, missä u 1 U 1 ja 0 U 2 Yhdistämällä nämä huomiot päätellään helposti, että U 1 + U 2 on suppein R n :n aliavaruus, joka sisältää sekä U 1 :n että U 2 :n Sanotaan myös, että U 1 + U 2 on U 1 :n ja U 2 :n yhdessä generoima aliavaruus Esimerkki 312 Tarkastellaan R 3 :n tasoja T 1 : x + y + z = 0, T 2 : x 2y + z = 0 Ne kulkevat origon kautta ja ovat siis aliavaruuksia Lasketaan T 1 + T 2 Väitämme, että T 1 + T 2 = R 3 Koska T 1 + T 2 on R 3 :n aliavaruus, niin väite seuraa, kun osoitetaan, että summa on koko R 3, toisin sanoen että jokainen R 3 :n vektori kuuluu summaan Olkoon v = (a, b, c) R 3 mielivaltainen Jotta se olisi summassa T 1 + T 2, se olisi voitava esittää muodossa v = u 1 + u 2, missä u 1 T 1 ja u 2 T 2 Huomataan, että T 1 :llä on kanta {x 1, x 2 }, missä x 1 = (1, 1, 0) ja x 2 = (1, 0, 1); nimittäin nämä kuuluvat T 1 :een ja ovat lineaarisesti riippumattomia, ja lisäksi dim T 1 = 2 Samoin T 2 :lla on kanta {y 1, y 2 }, missä y 1 = (1, 1, 1) ja y 2 = (1, 0, 1) Siis ehto v = u 1 + u 2 (u i U i ) voidaan kirjoittaa v = r 1 x 1 + r 2 x 2 + s 1 y 1 + s 2 y 2 (r 1, r 2, s 1, s 2 R) Sijoitetaan tähän ko vektorit Komponenteista tulee yhtälöryhmä r 1 + r 2 + s 1 + s 2 = a, r 1 + s 1 = b, r 2 + s 1 s 2 = c, 21

25 LUKU 3 ALIAVARUUKSIEN SUORA SUMMA 22 siis 3 yhtälöä ja 4 tuntematonta Sillä on äärettömän monta ratkaisua, sillä jos esimerkiksi valitaan s 2 :lle jokin arvo, niin tuntemattomille r 1, r 2, s 1 jää neliömäinen yhtälöryhmä, jonka kerroinmatriisin determinantti on 0 Erityisesti ratkaisu on aina olemassa, joten T 1 +T 2 = R 3 Esimerkki 313 Esimerkissä 312 käytettiin aliavaruuksien summan määritelmää Tässä nimenomaisessa esimerkissä päästäisiin helpommalla dimensioita laskemalla Miten? Esimerkki 314 Tarkastellaan taas avaruutta R 3 Lasketaan kahden yksiulotteisen aliavaruuden L 1 = L ( (1, 1, 0) ) ja L 2 = L ( (1, 2, 1) ) summa Saadaan L 1 + L 2 = {u + v u L 1, v L 2 } = {r(1, 1, 0) + s(1, 2, 1) r, s R} = L ( (1, 1, 0), (1, 2, 1) ) = {(r + s, r + 2s, s) r, s R} On selvää, että L 1 + L 2 on origon O ja pisteiden (1, 1, 0) ja (1, 2, 1) kautta kulkeva taso T (Kannattaa piirtää kuvio) Sen yhtälö saadaan vaikkapa muodossa x y z = 0, eli x y + z = 0 Esimerkissä 312 jokaisella R 3 :n vektorilla v oli peräti äärettömän monta hajotelmaa v = u 1 + u 2 (u i T i ) Se, etteivät ratkaisut ole yksikäsitteisiä, johtuu siitä, että T 1 T 2 {0} Tämä näkyy seuraavasta yleisestä lauseesta Määritelmä 315 Olkoot U 1 ja U 2 R n :n aliavaruuksia Niiden summaa sanotaan suoraksi summaksi, merkitään U 1 U 2, jos jokaisella summan vektorilla v on vain yksi esitys muodossa v = u 1 + u 2 (u 1 U 1, u 2 U 2 ) Lause 316 Kun U 1 ja U 2 ovat R n :n aliavaruuksia, niin seuraavat ehdot ovat ekvivalentit: (i) Summa U 1 + U 2 on suora (ii) U 1 U 2 = {0} (iii) Jos u 1 + u 2 = 0, missä u 1 U 1 ja u 2 U 2, niin u 1 = u 2 = 0 Todistus Oletetaan ensin, että summa U 1 +U 2 on suora Olkoon x U 1 U 2 mielivaltainen Sille saadaan kaksi hajotelmaa, x = x+0 = 0+x, joissa kummassakin ensimmäinen yhteenlaskettava on U 1 :ssä ja toinen U 2 :ssa Hajotelman yksikäsitteisyyden nojalla x = 0 Siis U 1 U 2 = {0} Oletetaan toiseksi, että U 1 U 2 = {0} Olkoon u 1 + u 2 = 0, missä u 1 U 1 ja u 2 U 2 Silloin u 1 = u 2 U 1 U 2, joten oletuksen nojalla u 1 = u 2 = 0 Näin ollen (iii) seuraa Oletetaan lopuksi, että ehto (iii) on voimassa Olkoon v U 1 + U 2, ja olkoon sillä kaksi hajotelmaa v = u 1 +u 2 = u 1+u 2, missä u 1, u 1 U 1 ja u 2, u 2 U 2 Yhtälöstä u 1 +u 2 = u 1+u 2

26 LUKU 3 ALIAVARUUKSIEN SUORA SUMMA 23 saadaan (u 1 u 1) + (u 2 u 2) = 0 Koska u 1 u 1 U 1 ja u 2 u 2 U 2, niin oletuksen (iii) mukaan u 1 u 1 = u 2 u 2 = 0 Siis u 1 = u 1 ja u 2 = u 2 Toisin sanoen v:n ko hajotelmat olivatkin samat; siis summa U 1 + U 2 on suora Esimerkki 317 Esimerkissä 314 on voimassa T = L 1 L 2, sillä selvästi L 1 L 2 = {0} Siis jokaisella T :n vektorilla v on yksikäsitteinen hajotelma v = r(1, 1, 0) + s(1, 2, 1) (r, s R) Toisaalta tämähän merkitsee tietenkin juuri sitä, että vektorit (1, 1, 0) ja (1, 2, 1) muodostavat T :n kannan Esimerkki 318 Esimerkissä 312 summa T 1 + T 2 ei ollut suora Voitaisiinko vaikkapa T 2 :n tilalle valita jokin pienempi aliavaruus U, siten että summa T 1 + U olisi suora ja olisi edelleen koko R 3? Käytetään samoja T 1 :n ja T 2 :n kantoja {x 1, x 2 } ja {y 1, y 2 } kuin esimerkissä 312 Nyt x 2 = y 2, ja ilmeisestikin x 2 juuri virittää leikkauksen T 1 T 2 Yritetään U = L(y 1 ) Olkoon v = (a, b, c) R 3 mielivaltainen Samoin kuin esimerkissä 312 ehdosta v = u 1 + u 2 (u 1 T 1, u 2 U) saadaan yhtälöryhmä, ja nyt siksi tulee r 1 + r 2 + s 1 = a, r 1 + s 1 = b, r 2 + s 1 = c Tällä on yksikäsitteinen ratkaisu Siis u 1 ja u 2 ovat olemassa ja yksikäsitteiset Näin ollen R 3 = T 1 U (Piirrä kuvio aliavaruuksista T 1, T 2, U) Esimerkki 319 Olkoon E M n idempotentti matriisi; tämä tarkoittaa, että E 2 = E Merkitään V 1 = {x R n Ex = x}, V 0 = {x R n Ex = 0} Osoitetaan, että R n = V 1 V 0 Esimerkki 3110 Osoitetaan, että U 1 = {(a, a, 0) a R} ja U 2 = {(a, b, b) a, b R} ovat R 3 :n aliavaruuksia ja että R 3 = U 1 U 2 32 Kannat suorissa summissa Olkoot U 1 ja U 2 R n :n aliavaruuksia ja niillä vastaavasti kannat {x 1,, x k } ja {y 1,, y m } Selvästikin nämä kannat yhdessä virittävät summan U 1 + U 2 : ensinnäkin vektorit x i ja y i kuuluvat aliavaruuteen U 1 + U 2, ja toisaalta jokainen u 1 + u 2 (u i U i ) voidaan kirjoittaa niiden lineaarikombinaationa Lause 321 Olkoot U 1 ja U 2 R n :n aliavaruuksia Muodostakoot vektorit x 1,, x k aliavaruuden U 1 kannan ja vektorit y 1,, y m aliavaruuden U 2 kannan Seuraavat ehdot ovat ekvivalentit: (i) Summa U 1 + U 2 on suora (ii) Vektorit x 1,, x k, y 1,, y m muodostavat summan U 1 + U 2 kannan

27 LUKU 3 ALIAVARUUKSIEN SUORA SUMMA 24 Todistus Oletetaan ensin (i) Lauseen edellä todettiin, että x 1,, x k ja y 1,, y m yhdessä virittävät summan U 1 + U 2, joten on vain osoitettava, että vektorit x 1,, x k, y 1,, y m ovat lineaarisesti riippumattomia Oletetaan, että jokin niiden lineaarikombinaatio on 0, r 1 x r k x k + s 1 y s m y m = 0, missä r i, s i R Silloin r 1 x r k x k = 0 ja s 1 y s m y m = 0 lauseen 316 kohdan (iii) mukaan, joten U 1 :n ja U 2 :n kantojen lineaarisesta riippumattomuudesta seuraa r 1 = = r k = 0 ja s 1 = = s m = 0 Tämä antaa väitetyn lineaarisen riippumattomuuden Oletetaan nyt (ii) On osoitettava, että summa U 1 +U 2 on suora; käytetään tähän lauseen 316 kohtaa (iii) Olkoon u 1 + u 2 = 0, missä u 1 U 1 ja u 2 U 2 Lausumalla u 1 ja u 2 ko kannoissa, siis u 1 = p 1 x p k x k, u 2 = q 1 y q m y m, saadaan p 1 x p k x k + q 1 y q m y m = 0, joten kannan {x 1,, x k, y 1,, y m } lineaarisen riippumattomuuden nojalla p 1 = = p k = q 1 = = q m = 0 Siis u 1 = u 2 = 0 Seuraus 322 dim(u 1 U 2 ) = dim U 1 + dim U 2 Esimerkki 323 Esimerkissä 318 oli R 3 = T 1 U Siitä saadaan R 3 :lle kanta {x 1, x 2, y 1 } = {(1, 1, 0), (1, 0, 1), (1, 1, 1)} Esimerkki 324 Olkoon T origon kautta kulkeva R 3 :n taso ja L origon kautta kulkeva R 3 :n suora Näytetään, että jos L T, niin R 3 = T L Ensinnäkin selvästi T L = {0} (Tämän voi perustella tarkastikin: T L on L:n aito aliavaruus, joten sen dimensio on < 1) Seuraa, että summa T + L on suora Sen dimensio on seurauksen 322 mukaan dim(t L) = = 3, joten T L on koko R 3 Esimerkki 325 Muistetaan, että 2 2-matriisien avaruus M 2 on 4-ulotteinen avaruus, jolla on luonnollisena kantana matriisit ( ) ( ) ( ) ( , 0 0, 1 0, 0 1) ; voidaan vaikka katsoa, että M2 on R 4, missä vektorit on vaaka- tai pystyvektorien sijasta kirjoitettu neliömuotoon Matriisia A sanotaan symmetriseksi, jos A T = A (missä A T on A:n transponoitu matriisi), ja vinosymmetriseksi, jos A T = A Merkitään M s 2:llä symmetristen ja M v 2:llä vinosymmetristen 2 2-matriisien joukkoa a) Osoitetaan, että M s 2 ja M v 2 ovat M 2 :n aliavaruuksia b) Osoitetaan, että M 2 = M s 2 M v 2 c) Selvitetään M s 2:lle ja M v 2:lle jotkin kannat ja muodostetaan niistä lauseen 321 mukainen M 2 :n kanta Huomautus 326 Voidaan osoittaa seurausta 322 yleisempi tulos: Jos U 1 ja U 2 ovat R n :n aliavaruuksia, niin dim(u 1 + U 2 ) = dim U 1 + dim U 2 dim(u 1 U 2 ) (32)

28 LUKU 3 ALIAVARUUKSIEN SUORA SUMMA 25 Esimerkki 327 Tarkastellaan R 4 :n aliavaruuksia U 1 ja U 2, jotka määritellään yhtälöpareilla U 1 : { x 1 + x 2 + x 4 = 0, x 1 + 2x 2 + 3x 3 = 0, U 2 : { x 1 x 2 x 4 = 0, x 1 2x 2 3x 3 = 0; siis U 1 ja U 2 ovat yhtälöparien ratkaisuavaruudet Yhtälöparit ovat lineaarisia ja homogeenisia, joten U 1 ja U 2 ovat R 4 :n aliavaruuksia Onko summa U 1 + U 2 suora? Onko se koko R 4? Mitkä ovat aliavaruuksien U 1, U 2, U 1 + U 2 ja U 1 U 2 dimensiot? Ratkaisuavaruuksien dimensiot saadaan kerroinmatriisien asteista: ( ) dim U 1 = 4 r = 4 2 = ja dim U 2 = 4 r ( ) = 4 2 = 2 Leikkaus U 1 U 2 on sen neljän yhtälön ryhmän ratkaisuavaruus, jonka yo yhtälöparit muodostavat yhdessä; siis dim(u 1 U 2 ) = 4 r = 4 3 = Olettaen yhtälö (32) tunnetuksi saadaan Siis U 1 + U 2 R 4 dim(u 1 + U 2 ) = dim U 1 + dim U 2 dim(u 1 U 2 ) = = 3 Esimerkki 328 Olkoot U 1 ja U 2 R 3 :n aliavaruudet U 1 = {(a, a, b) a, b R} ja U 2 = {(a, b, b) a, b R} Selvitetään aliavaruuksien U 1, U 2, U U 2 ja U 1 + U 2 dimensiot Määritelmä 329 Jos R n = U V, niin aliavaruuksia U ja V sanotaan toistensa komplementtiavaruuksiksi (tai komplementeiksi tai suorasummakomplementeiksi) R n :ssä Lause 3210 Jokaisella R n :n aliavaruudella U on komplementtiavaruus R n :ssä Todistus Valitaan U:lle kanta {u 1,, u k } Se on lineaarisesti riippumaton ja voidaan siis täydentää R n :n kannaksi {u 1,, u k, v 1,, v n k } Lauseen 321 mukaan V = L(v 1,, v n k ) on U:n komplementtiavaruus Esimerkki 3211 Etsitään R 4 :ssä vektoreiden (1, 2, 3, 4) ja (0, 1, 0, 1) virittämälle aliavaruudelle jokin komplementtiavaruus Esimerkki 3212 Kun f : R n R n on lineaarikuvaus, niin dimensioyhtälön (210) mukaan dim Ker(f) + dim Im(f) = n Tämä tuo mieleen mahdollisuuden, että ehkä R n olisi Ker(f):n ja Im(f):n suora summa Näin ei yleensä ole! Tarkastellaan esimerkkeinä a) idempotenttia kuvausta, b) nilpotenttia kuvausta

29 LUKU 3 ALIAVARUUKSIEN SUORA SUMMA Useamman aliavaruuden summa ja suora summa Aliavaruuksien summan ja suoran summan käsitteet yleistyvät helposti useamman kuin kahden aliavaruuden tapaukseen: Jos U 1,, U h ovat R n :n aliavaruuksia, niiden summa määritellään U U h = {u u h u 1 U 1,, u h U h }, ja summaa sanotaan suoraksi, merkitään U 1 U h, jos sen jokaisen alkion u esitys muodossa u = u u h (u 1 U 1,, u h U h ) on yksikäsitteinen Todistetaan lauseen 316 ekvivalenssia (i) (iii) vastaava tulos: Lause 331 Aliavaruuksien U 1,, U h summa on suora jos ja vain jos on voimassa: u u h = 0, u 1 U 1,, u h U h = u 1 = = u h = 0 (33) Todistus Jos summa on suora, niin (33) seuraa siitä, että 0:lle tulee kaksi esitystä 0 = u u h = ja näiden tulee olla samat Oletetaan (33) Jos jollain alkiolla u on kaksi esitystä, u = u u h = u u h, missä u i, u i U i, niin vähentämällä nämä toisistaan saadaan (u 1 u 1) + + (u h u h ) = 0 Tässä u i u i U i, joten oletuksen (33) mukaan u i u i = 0 ja siis u i = u i (i = 1,, h) Kantoja koskeva lause 321 yleistyy useamman aliavaruuden tapaukseen ilmeisellä tavalla Kirjoitamme tuloksen lauseeksi, mutta sivuutamme todistuksen, joka olisi hyvin saman tapainen lauseen 321 todistuksen kanssa; tietyissä kohdin vedottaisiin lauseen 316 sijasta lauseeseen 331 Lause 332 Olkoot U 1,, U h R n :n aliavaruuksia, joiden summa on suora Valitaan kullekin U i :lle kanta {x i1,, x ini } (Siis n i = dim U i ) Silloin on summan U 1 U h kanta {x 11,, x 1n1, x 21,, x 2n2, x 31,,, x hnh } Huomautus 333 Lauseen 316 kohtaa (ii) vastaava tulos useamman aliavaruuden tapauksessa on mutkikkaampi kuin ehkä odottaisi: Summa U U h on suora tarkalleen silloin kun kaikki leikkaukset U i (U U i 1 + U i U h ) ovat = {0} (i = 1,, n) Todistus ei ole sen vaikeampi kuin muidenkaan edellä esiintyneiden samantapaisten tulosten Esimerkki 334 Merkitään R 4 :ssä U 1 = L((1, 0, 0, 0)), U 2 = L((1, 1, 0, 0)), U 3 = L((1, 1, 1, 0)), U 4 = L((1, 1, 1, 1)) Koska ko neljä vektoria muodostavat R 4 :n kannan, niin jokaisella vektorilla v R 4 on yksikäsitteinen esitys niiden lineaarikombinaationa, siis myös yksikäsitteinen esitys muodossa v = u 1 + u 2 + u 3 + u 4, missä u i U i Siis R 4 = U 1 U 2 U 3 U 4

Alkeismuunnokset matriisille, sivu 57

Alkeismuunnokset matriisille, sivu 57 Lineaarialgebra (muut ko) p. 1/88 Alkeismuunnokset matriisille, sivu 57 AM1: Kahden vaakarivin vaihto AM2: Vaakarivin kertominen skalaarilla c 0 AM3: Vaakarivin lisääminen toiseen skalaarilla c kerrottuna

Lisätiedot

Ensi viikon luennot salissa X. Lineaarialgebra (muut ko) p. 1/66

Ensi viikon luennot salissa X. Lineaarialgebra (muut ko) p. 1/66 Ensi viikon luennot salissa X Lineaarialgebra (muut ko) p. 1/66 Lineaarialgebra (muut ko) p. 2/66 Redusoitu porrasmuoto 1 1 2 4 1 1 4 6 2 2 5 9 1 1 0 2 0 0 1 1 0 0 0 0 Eli aste r(a) = 2 ja vaakariviavaruuden

Lisätiedot

Demorastitiedot saat demonstraattori Markus Niskaselta Lineaarialgebra (muut ko) p. 1/104

Demorastitiedot saat demonstraattori Markus Niskaselta Lineaarialgebra (muut ko) p. 1/104 Lineaarialgebra (muut ko) p. 1/104 Ensi viikolla luennot salissa X Torstaina 7.12. viimeiset demot (12.12. ja 13.12. viimeiset luennot). Torstaina 14.12 on välikoe 2, muista ilmoittautua! Demorastitiedot

Lisätiedot

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

Määritelmä 1. Olkoot V ja W lineaariavaruuksia kunnan K yli. Kuvaus L : V. Termejä: Lineaarikuvaus, Lineaarinen kuvaus. 1 Lineaarikuvaus 1.1 Määritelmä Määritelmä 1. Olkoot V ja W lineaariavaruuksia kunnan K yli. Kuvaus L : V W on lineaarinen, jos (a) L(v + w) = L(v) + L(w); (b) L(λv) = λl(v) aina, kun v, w V ja λ K. Termejä:

Lisätiedot

802320A LINEAARIALGEBRA OSA III

802320A LINEAARIALGEBRA OSA III 802320A LINEAARIALGEBRA OSA III Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO SYKSY 2016 LINEAARIALGEBRA 1 / 56 Määritelmä Määritelmä 1 Olkoot V ja W lineaariavaruuksia kunnan K yli. Kuvaus L : V

Lisätiedot

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

Kuvaus. Määritelmä. LM2, Kesä /160 Kuvaus Määritelmä Oletetaan, että X ja Y ovat joukkoja. Kuvaus eli funktio joukosta X joukkoon Y on sääntö, joka liittää jokaiseen joukon X alkioon täsmälleen yhden alkion, joka kuuluu joukkoon Y. Merkintä

Lisätiedot

Tällä viikolla viimeiset luennot ja demot. Lineaarialgebra (muut ko) p. 1/162

Tällä viikolla viimeiset luennot ja demot. Lineaarialgebra (muut ko) p. 1/162 Tällä viikolla viimeiset luennot ja demot Lineaarialgebra (muut ko) p. 1/162 Lineaarialgebra (muut ko) p. 2/162 Kertausta Vektorin u = (u 1,u 2 ) R 2 pituus u = u 2 1 +u2 2 Vektorien u ja v = (v 1,v 2

Lisätiedot

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

Osoita, että täsmälleen yksi vektoriavaruuden ehto ei ole voimassa. LINEAARIALGEBRA Harjoituksia 2016 1. Olkoon V = R 2 varustettuna tavallisella yhteenlaskulla. Määritellään reaaliluvulla kertominen seuraavasti: λ (x 1, x 2 ) = (λx 1, 0) (x 1, x 2 ) R 2 ja λ R. Osoita,

Lisätiedot

Ensi viikon luennot salissa X. Lineaarialgebra (muut ko) p. 1/159

Ensi viikon luennot salissa X. Lineaarialgebra (muut ko) p. 1/159 Ensi viikon luennot salissa X Lineaarialgebra (muut ko) p. 1/159 Lineaarialgebra (muut ko) p. 2/159 Operaatiot Vektoreille u = (u 1,u 2 ) ja v = (v 1,v 2 ) Yhteenlasku: u+v = (u 1 +v 1,u 2 +v 2 ) Skalaarilla

Lisätiedot

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

Bijektio. Voidaan päätellä, että kuvaus on bijektio, jos ja vain jos maalin jokaiselle alkiolle kuvautuu tasan yksi lähdön alkio. Määritelmä Bijektio Oletetaan, että f : X Y on kuvaus. Sanotaan, että kuvaus f on bijektio, jos se on sekä injektio että surjektio. Huom. Voidaan päätellä, että kuvaus on bijektio, jos ja vain jos maalin

Lisätiedot

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

(1.1) Ae j = a k,j e k. Lineaarikuvauksen determinantti ja jälki 1. Lineaarikuvauksen matriisi. Palautetaan mieleen, mikä lineaarikuvauksen matriisi annetun kannan suhteen on. Olkoot V äärellisulotteinen vektoriavaruus, n = dim

Lisätiedot

Avaruuden R n aliavaruus

Avaruuden R n aliavaruus Avaruuden R n aliavaruus 1 / 41 Aliavaruus Esimerkki 1 Kuva: Suora on suljettu yhteenlaskun ja skalaarilla kertomisen suhteen. 2 / 41 Esimerkki 2 Kuva: Suora ei ole suljettu yhteenlaskun ja skalaarilla

Lisätiedot

Muistutus: Matikkapaja ke Siellä voi kysyä apua demoihin, edellisen viikon demoratkaisuja, välikoetehtävien selitystä, monisteesta yms.

Muistutus: Matikkapaja ke Siellä voi kysyä apua demoihin, edellisen viikon demoratkaisuja, välikoetehtävien selitystä, monisteesta yms. Lineaarialgebra (muut ko) p. 1/139 Ensi viikon luennot salissa X Muistutus: Matikkapaja ke 14-16 Siellä voi kysyä apua demoihin, edellisen viikon demoratkaisuja, välikoetehtävien selitystä, monisteesta

Lisätiedot

Matikkapaja keskiviikkoisin klo Lineaarialgebra (muut ko) p. 1/210

Matikkapaja keskiviikkoisin klo Lineaarialgebra (muut ko) p. 1/210 Matikkapaja keskiviikkoisin klo 14-16 Lineaarialgebra (muut ko) p. 1/210 Lineaarialgebra (muut ko) p. 2/210 Operaatiot Vektoreille u = (u 1,u 2 ) ja v = (v 1,v 2 ) Yhteenlasku: u+v = (u 1 +v 1,u 2 +v 2

Lisätiedot

2.5. Matriisin avaruudet ja tunnusluvut

2.5. Matriisin avaruudet ja tunnusluvut 2.5. Matriisin avaruudet ja tunnusluvut m n-matriisi A Lineaarikuvaus A : V Z, missä V ja Z ovat sopivasti valittuja, dim V = n, dim Z = m (yleensä V = R n tai C n ja Z = R m tai C m ) Kuva-avaruus ja

Lisätiedot

Lineaarikuvauksen R n R m matriisi

Lineaarikuvauksen R n R m matriisi Lineaarikuvauksen R n R m matriisi Lauseessa 21 osoitettiin, että jokaista m n -matriisia A vastaa lineaarikuvaus L A : R n R m, jolla L A ( v) = A v kaikilla v R n. Osoitetaan seuraavaksi käänteinen tulos:

Lisätiedot

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

Matriisilaskenta, LH4, 2004, ratkaisut 1. Hae seuraavien R 4 :n aliavaruuksien dimensiot, jotka sisältävät vain Matriisilaskenta LH4 24 ratkaisut 1 Hae seuraavien R 4 :n aliavaruuksien dimensiot jotka sisältävät vain a) Kaikki muotoa (a b c d) olevat vektorit joilla d a + b b) Kaikki muotoa (a b c d) olevat vektorit

Lisätiedot

1 Lineaariavaruus eli Vektoriavaruus

1 Lineaariavaruus eli Vektoriavaruus 1 Lineaariavaruus eli Vektoriavaruus 1.1 Määritelmä ja esimerkkejä Olkoon K kunta, jonka nolla-alkio on 0 ja ykkösalkio on 1 sekä V epätyhjä joukko. Oletetaan, että joukossa V on määritelty laskutoimitus

Lisätiedot

Lineaarialgebra (muut ko)

Lineaarialgebra (muut ko) Lineaarialgebra (muut ko) p. 1/103 Lineaarialgebra (muut ko) Tero Laihonen Lineaarialgebra (muut ko) p. 2/103 Operaatiot Vektoreille u = (u 1,u 2 ) ja v = (v 1,v 2 ) Yhteenlasku: u+v = (u 1 +v 1,u 2 +v

Lisätiedot

Lineaarikombinaatio, lineaarinen riippuvuus/riippumattomuus

Lineaarikombinaatio, lineaarinen riippuvuus/riippumattomuus Lineaarikombinaatio, lineaarinen riippuvuus/riippumattomuus 1 / 51 Lineaarikombinaatio Johdattelua seuraavaan asiaan (ei tarkkoja määritelmiä): Millaisen kuvan muodostaa joukko {λv λ R, v R 3 }? Millaisen

Lisätiedot

Insinöörimatematiikka D

Insinöörimatematiikka D Insinöörimatematiikka D M. Hirvensalo mikhirve@utu.fi V. Junnila viljun@utu.fi Matematiikan ja tilastotieteen laitos Turun yliopisto 2015 M. Hirvensalo mikhirve@utu.fi V. Junnila viljun@utu.fi Luentokalvot

Lisätiedot

802320A LINEAARIALGEBRA OSA I

802320A LINEAARIALGEBRA OSA I 802320A LINEAARIALGEBRA OSA I Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO SYKSY 2016 LINEAARIALGEBRA 1 / 72 Määritelmä ja esimerkkejä Olkoon K kunta, jonka nolla-alkio on 0 ja ykkösalkio on 1 sekä

Lisätiedot

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

Kantavektorien kuvavektorit määräävät lineaarikuvauksen Kantavektorien kuvavektorit määräävät lineaarikuvauksen Lause 18 Oletetaan, että V ja W ovat vektoriavaruuksia. Oletetaan lisäksi, että ( v 1,..., v n ) on avaruuden V kanta ja w 1,..., w n W. Tällöin

Lisätiedot

Lineaarialgebra ja matriisilaskenta II. LM2, Kesä /141

Lineaarialgebra ja matriisilaskenta II. LM2, Kesä /141 Lineaarialgebra ja matriisilaskenta II LM2, Kesä 2012 1/141 Kertausta: avaruuden R n vektorit Määritelmä Oletetaan, että n {1, 2, 3,...}. Avaruuden R n alkiot ovat jonoja, joissa on n kappaletta reaalilukuja.

Lisätiedot

6 Vektoriavaruus R n. 6.1 Lineaarikombinaatio

6 Vektoriavaruus R n. 6.1 Lineaarikombinaatio 6 Vektoriavaruus R n 6.1 Lineaarikombinaatio Määritelmä 19. Vektori x œ R n on vektorien v 1,...,v k œ R n lineaarikombinaatio, jos on olemassa sellaiset 1,..., k œ R, että x = i v i. i=1 Esimerkki 30.

Lisätiedot

6. OMINAISARVOT JA DIAGONALISOINTI

6. OMINAISARVOT JA DIAGONALISOINTI 0 6 OMINAISARVOT JA DIAGONALISOINTI 6 Ominaisarvot ja ominaisvektorit Olkoon V äärellisulotteinen vektoriavaruus, dim(v ) = n ja L : V V lineaarikuvaus Määritelmä 6 Skalaari λ R on L:n ominaisarvo, jos

Lisätiedot

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

Lineaarikuvausten. Lineaarikuvaus. Lineaarikuvauksia. Ydin. Matriisin ydin. aiheita. Aiheet. Lineaarikuvaus. Lineaarikuvauksen matriisi Lineaarikuvaukset aiheita ten ten 1 Matematiikassa sana lineaarinen liitetään kahden lineaariavaruuden väliseen kuvaukseen. ten Määritelmä Olkoon (L, +, ) ja (M, ˆ+, ˆ ) reaalisia lineaariavaruuksia, ja

Lisätiedot

Lineaarialgebra ja matriisilaskenta II. LM2, Kesä /310

Lineaarialgebra ja matriisilaskenta II. LM2, Kesä /310 Lineaarialgebra ja matriisilaskenta II LM2, Kesä 2012 1/310 Kertausta: avaruuden R n vektorit Määritelmä Oletetaan, että n {1, 2, 3,...}. Avaruuden R n alkiot ovat jonoja, joissa on n kappaletta reaalilukuja.

Lisätiedot

Vektorien pistetulo on aina reaaliluku. Esimerkiksi vektorien v = (3, 2, 0) ja w = (1, 2, 3) pistetulo on

Vektorien pistetulo on aina reaaliluku. Esimerkiksi vektorien v = (3, 2, 0) ja w = (1, 2, 3) pistetulo on 13 Pistetulo Avaruuksissa R 2 ja R 3 on totuttu puhumaan vektorien pituuksista ja vektoreiden välisistä kulmista. Kuten tavallista, näiden käsitteiden yleistäminen korkeampiulotteisiin avaruuksiin ei onnistu

Lisätiedot

802320A LINEAARIALGEBRA OSA II

802320A LINEAARIALGEBRA OSA II 802320A LINEAARIALGEBRA OSA II Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO SYKSY 2016 LINEAARIALGEBRA 1 / 64 Sisätuloavaruus Määritelmä 1 Olkoon V reaalinen vektoriavaruus. Kuvaus on reaalinen

Lisätiedot

Kanta ja dimensio 1 / 23

Kanta ja dimensio 1 / 23 1 / 23 Kuten ollaan huomattu, saman aliavaruuden voi virittää eri määrä vektoreita. Seuraavaksi määritellään mahdollisimman pieni vektorijoukko, joka virittää aliavaruuden. Jokainen aliavaruuden alkio

Lisätiedot

9. Lineaaristen differentiaaliyhtälöiden ratkaisuavaruuksista

9. Lineaaristen differentiaaliyhtälöiden ratkaisuavaruuksista 29 9 Lineaaristen differentiaaliyhtälöiden ratkaisuavaruuksista Tarkastelemme kertalukua n olevia lineaarisia differentiaaliyhtälöitä y ( x) + a ( x) y ( x) + + a ( x) y( x) + a ( x) y= b( x) ( n) ( n

Lisätiedot

1 Sisätulo- ja normiavaruudet

1 Sisätulo- ja normiavaruudet 1 Sisätulo- ja normiavaruudet 1.1 Sisätuloavaruus Määritelmä 1. Olkoon V reaalinen vektoriavaruus. Kuvaus : V V R on reaalinen sisätulo eli pistetulo, jos (a) v w = w v (symmetrisyys); (b) v + u w = v

Lisätiedot

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

Lineaarialgebra ja differentiaaliyhtälöt Laskuharjoitus 1 / vko 44 Lineaarialgebra ja differentiaaliyhtälöt Laskuharjoitus 1 / vko 44 Tehtävät 1-3 lasketaan alkuviikon harjoituksissa, verkkotehtävien dl on lauantaina aamuyöllä. Tehtävät 4 ja 5 lasketaan loppuviikon harjoituksissa.

Lisätiedot

Seuraava luento ti on salissa XXII. Lineaarialgebra (muut ko) p. 1/117

Seuraava luento ti on salissa XXII. Lineaarialgebra (muut ko) p. 1/117 Seuraava luento ti 31.10 on salissa XXII Lineaarialgebra (muut ko) p. 1/117 Lineaarialgebra (muut ko) p. 2/117 Operaatiot Vektoreille u = (u 1,u 2 ) ja v = (v 1,v 2 ) Yhteenlasku: u+v = (u 1 +v 1,u 2 +v

Lisätiedot

4. LINEAARIKUVAUKSET

4. LINEAARIKUVAUKSET 86 4 LINEAARIKUVAUKSET 41 Määritelmä ja esimerkkejä Olkoot V ja V vektoriavaruuksia Tarkastellaan kuvausta L : V V Tällöin jokaiseen vektoriin v V liittyy tietty, L:n ja v:n yksikäsitteisesti määräämä

Lisätiedot

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 );

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 ); LINEAARIALGEBRA Ratkaisuluonnoksia, Syksy 2016 1. Olkoon n Z +. Osoita, että (R n, +, ) on lineaariavaruus, kun vektoreiden x = (x 1,..., x n ), y = (y 1,..., y n ) identtisyys, yhteenlasku ja reaaliluvulla

Lisätiedot

Matikkapaja keskiviikkoisin klo Lineaarialgebra (muut ko) p. 1/81

Matikkapaja keskiviikkoisin klo Lineaarialgebra (muut ko) p. 1/81 Matikkapaja keskiviikkoisin klo 14-16 Lineaarialgebra (muut ko) p. 1/81 Lineaarialgebra (muut ko) p. 2/81 Operaatiot Vektoreille u = (u 1,u 2 ) ja v = (v 1,v 2 ) Yhteenlasku: u+v = (u 1 +v 1,u 2 +v 2 )

Lisätiedot

802320A LINEAARIALGEBRA OSA III

802320A LINEAARIALGEBRA OSA III 802320A LINEAARIALGEBRA OSA III Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO Syksy 2017 LINEAARIALGEBRA 1 / 59 Määritelmä Määritelmä 1 Olkoot V ja W lineaariavaruuksia kunnan K yli. Kuvaus L : V

Lisätiedot

Lineaariavaruudet. Span. Sisätulo. Normi. Matriisinormit. Matriisinormit. aiheita. Aiheet. Reaalinen lineaariavaruus. Span. Sisätulo.

Lineaariavaruudet. Span. Sisätulo. Normi. Matriisinormit. Matriisinormit. aiheita. Aiheet. Reaalinen lineaariavaruus. Span. Sisätulo. Lineaariavaruudet aiheita 1 määritelmä Nelikko (L, R, +, ) on reaalinen (eli reaalinen vektoriavaruus), jos yhteenlasku L L L, ( u, v) a + b ja reaaliluvulla kertominen R L L, (λ, u) λ u toteuttavat seuraavat

Lisätiedot

Matriisiteoria Harjoitus 1, kevät Olkoon. cos α sin α A(α) = . sin α cos α. Osoita, että A(α + β) = A(α)A(β). Mikä matriisi A(α)A( α) on?

Matriisiteoria Harjoitus 1, kevät Olkoon. cos α sin α A(α) = . sin α cos α. Osoita, että A(α + β) = A(α)A(β). Mikä matriisi A(α)A( α) on? Harjoitus 1, kevät 007 1. Olkoon [ ] cos α sin α A(α) =. sin α cos α Osoita, että A(α + β) = A(α)A(β). Mikä matriisi A(α)A( α) on?. Olkoon a x y A = 0 b z, 0 0 c missä a, b, c 0. Määrää käänteismatriisi

Lisätiedot

802320A LINEAARIALGEBRA OSA III LINEAR ALGEBRA PART III

802320A LINEAARIALGEBRA OSA III LINEAR ALGEBRA PART III 802320A LINEAARIALGEBRA OSA III LINEAR ALGEBRA PART III Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO SYKSY 2017 Contents 1 Lineaarikuvaus 2 1.1 Määritelmä............................ 2 1.2 Matriisiesitys/Matrix

Lisätiedot

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

Päättelyn voisi aloittaa myös edellisen loppupuolelta ja näyttää kuten alkupuolella, että välttämättä dim W < R 1 R 1 Lineaarialgebran kertaustehtävien b ratkaisuista. Määritä jokin kanta sille reaalikertoimisten polynomien lineaariavaruuden P aliavaruudelle, jonka virittää polynomijoukko {x, x+, x x }. Ratkaisu. Olkoon

Lisätiedot

Matemaattinen Analyysi / kertaus

Matemaattinen Analyysi / kertaus Matemaattinen Analyysi / kertaus Ensimmäinen välikoe o { 2x + 3y 4z = 2 5x 2y + 5z = 7 ( ) x 2 3 4 y = 5 2 5 z ) ( 3 + y 2 ( 2 x 5 ( 2 7 ) ) ( 4 + z 5 ) = ( 2 7 ) yhteys determinanttiin Yhtälöryhmän ratkaiseminen

Lisätiedot

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 );

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 ); LINEAARIALGEBRA Harjoituksia, Syksy 2016 1. Olkoon n Z +. Osoita, että (R n, +, ) on lineaariavaruus, kun vektoreiden x = (x 1,..., x n ), y = (y 1,..., y n ) identtisyys, yhteenlasku ja reaaliluvulla

Lisätiedot

802320A LINEAARIALGEBRA OSA III

802320A LINEAARIALGEBRA OSA III 802320A LINEAARIALGEBRA OSA III Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO KEVÄT 2019 LINEAARIALGEBRA 1 / 60 Määritelmä Määritelmä 1 Olkoot V ja W lineaariavaruuksia kunnan K yli. Kuvaus L : V

Lisätiedot

1 Ominaisarvot ja ominaisvektorit

1 Ominaisarvot ja ominaisvektorit 1 Ominaisarvot ja ominaisvektorit Olkoon A = [a jk ] n n matriisi. Tarkastellaan vektoriyhtälöä Ax = λx, (1) 1 missä λ on luku. Sellaista λ:n arvoa, jolla yhtälöllä on ratkaisu x 0, kutsutaan matriisin

Lisätiedot

Johdatus lineaarialgebraan

Johdatus lineaarialgebraan Johdatus lineaarialgebraan Osa II Lotta Oinonen, Johanna Rämö 28. lokakuuta 2014 Helsingin yliopisto Matematiikan ja tilastotieteen laitos Sisältö 15 Vektoriavaruus....................................

Lisätiedot

Määritelmä Olkoon T i L (V i, W i ), 1 i m. Yksikäsitteisen lineaarikuvauksen h L (V 1 V 2 V m, W 1 W 2 W m )

Määritelmä Olkoon T i L (V i, W i ), 1 i m. Yksikäsitteisen lineaarikuvauksen h L (V 1 V 2 V m, W 1 W 2 W m ) Määritelmä 519 Olkoon T i L V i, W i, 1 i m Yksikäsitteisen lineaarikuvauksen h L V 1 V 2 V m, W 1 W 2 W m h v 1 v 2 v m T 1 v 1 T 2 v 2 T m v m 514 sanotaan olevan kuvausten T 1,, T m indusoima ja sitä

Lisätiedot

Lineaarialgebra II P

Lineaarialgebra II P Lineaarialgebra II 89P Sisältö Vektoriavaruus Sisätuloavaruus 8 3 Lineaarikuvaus 5 4 Ominaisarvo 5 Luku Vektoriavaruus Määritelmä.. Epätyhjä joukko V on vektoriavaruus, jos seuraavat ehdot ovat voimassa:.

Lisätiedot

Ortogonaalisen kannan etsiminen

Ortogonaalisen kannan etsiminen Ortogonaalisen kannan etsiminen Lause 94 (Gramin-Schmidtin menetelmä) Oletetaan, että B = ( v 1,..., v n ) on sisätuloavaruuden V kanta. Merkitään V k = span( v 1,..., v k ) ja w 1 = v 1 w 2 = v 2 v 2,

Lisätiedot

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

Kannan vektorit siis virittävät aliavaruuden, ja lisäksi kanta on vapaa. Lauseesta 7.6 saadaan seuraava hyvin käyttökelpoinen tulos: 8 Kanta Tässä luvussa tarkastellaan aliavaruuden virittäjävektoreita, jotka muodostavat lineaarisesti riippumattoman jonon. Merkintöjen helpottamiseksi oletetaan luvussa koko ajan, että W on vektoreiden

Lisätiedot

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt Lineaarikuvaukset Riikka Kangaslampi Matematiikan ja systeemianalyysin laitos Aalto-yliopisto 2015 1 / 16 R. Kangaslampi Vektoriavaruudet Lineaarikuvaus

Lisätiedot

1 Avaruuksien ja lineaarikuvausten suora summa

1 Avaruuksien ja lineaarikuvausten suora summa MAT-33500 Differentiaaliyhtälöt, kevät 2006 Luennot 27.-28.2.2006 Samuli Siltanen 1 Avaruuksien ja lineaarikuvausten suora summa Tämä asialöytyy myös Hirschin ja Smalen kirjasta, luku 3, pykälä 1F. Olkoon

Lisätiedot

Insinöörimatematiikka D

Insinöörimatematiikka D Insinöörimatematiikka D M. Hirvensalo mikhirve@utu.fi V. Junnila viljun@utu.fi Matematiikan ja tilastotieteen laitos Turun yliopisto 2015 M. Hirvensalo mikhirve@utu.fi V. Junnila viljun@utu.fi Luentokalvot

Lisätiedot

Johdatus matemaattiseen päättelyyn

Johdatus matemaattiseen päättelyyn Johdatus matemaattiseen päättelyyn Maarit Järvenpää Oulun yliopisto Matemaattisten tieteiden laitos Syyslukukausi 2015 1 Merkintöjä 2 Todistamisesta 3 Joukko-oppia 4 Funktioista Funktio eli kuvaus on matematiikan

Lisätiedot

Lineaarialgebra b, kevät 2019

Lineaarialgebra b, kevät 2019 Lineaarialgebra b, kevät 2019 Harjoitusta 4 Maplella with(linearalgebra); (1) Tehtävä 1. Lineaarisia funktioita? a) Asetelma on kelvollinen: lähtö- ja maalijoukko on R-kertoiminen lineaariavaruus ja L

Lisätiedot

3x + y + 2z = 5 e) 2x + 3y 2z = 3 x 2y + 4z = 1. x + y 2z + u + 3v = 1 b) 2x y + 2z + 2u + 6v = 2 3x + 2y 4z 3u 9v = 3. { 2x y = k 4x + 2y = h

3x + y + 2z = 5 e) 2x + 3y 2z = 3 x 2y + 4z = 1. x + y 2z + u + 3v = 1 b) 2x y + 2z + 2u + 6v = 2 3x + 2y 4z 3u 9v = 3. { 2x y = k 4x + 2y = h HARJOITUSTEHTÄVIÄ 1. Anna seuraavien yhtälöryhmien kerroinmatriisit ja täydennetyt kerroinmatriisit sekä ratkaise yhtälöryhmät Gaussin eliminointimenetelmällä. { 2x + y = 11 2x y = 5 2x y + z = 2 a) b)

Lisätiedot

Ominaisvektoreiden lineaarinen riippumattomuus

Ominaisvektoreiden lineaarinen riippumattomuus Ominaisvektoreiden lineaarinen riippumattomuus Lause 17 Oletetaan, että A on n n -matriisi. Oletetaan, että λ 1,..., λ m ovat matriisin A eri ominaisarvoja, ja oletetaan, että v 1,..., v m ovat jotkin

Lisätiedot

MS-C1340 Lineaarialgebra ja

MS-C1340 Lineaarialgebra ja MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt Vektoriavaruudet Riikka Kangaslampi kevät 2017 Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Idea Lineaarisen systeemin ratkaiseminen Olkoon

Lisätiedot

MS-C1340 Lineaarialgebra ja

MS-C1340 Lineaarialgebra ja MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt Lineaarikuvaukset Riikka Kangaslampi Kevät 2017 Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Lineaarikuvaukset Lineaarikuvaus Olkoot U ja V

Lisätiedot

Kurssikoe on maanantaina Muista ilmoittautua kokeeseen viimeistään 10 päivää ennen koetta! Ilmoittautumisohjeet löytyvät kurssin kotisivuilla.

Kurssikoe on maanantaina Muista ilmoittautua kokeeseen viimeistään 10 päivää ennen koetta! Ilmoittautumisohjeet löytyvät kurssin kotisivuilla. HY / Avoin ylioisto Johdatus yliopistomatematiikkaan, kesä 05 Harjoitus 6 Ratkaisut palautettava viimeistään tiistaina.6.05 klo 6.5. Huom! Luennot ovat salissa CK maanantaista 5.6. lähtien. Kurssikoe on

Lisätiedot

Matriisialgebra harjoitukset, syksy 2016

Matriisialgebra harjoitukset, syksy 2016 MATRIISIALGEBRA, s, Ratkaisuja/ MHamina & M Peltola 7 Onko kuvaus F : R R, F(x 1,x = (x 1 +x,5x 1, x 1 +6x lineaarinen kuvaus? Jos on, niin määrää sen matriisi luonnollisen kannan suhteen Jos ei ole, niin

Lisätiedot

Insinöörimatematiikka D

Insinöörimatematiikka D Insinöörimatematiikka D M. Hirvensalo mikhirve@utu.fi V. Junnila viljun@utu.fi A. Lepistö alepisto@utu.fi Matematiikan ja tilastotieteen laitos Turun yliopisto 2016 M. Hirvensalo V. Junnila A. Lepistö

Lisätiedot

3.1 Lineaarikuvaukset. MS-A0004/A0006 Matriisilaskenta. 3.1 Lineaarikuvaukset. 3.1 Lineaarikuvaukset

3.1 Lineaarikuvaukset. MS-A0004/A0006 Matriisilaskenta. 3.1 Lineaarikuvaukset. 3.1 Lineaarikuvaukset 31 MS-A0004/A0006 Matriisilaskenta 3 Nuutti Hyvönen, c Riikka Kangaslampi Matematiikan ja systeemianalyysin laitos Aalto-yliopisto 2292015 Lineaariset yhtälöt ovat vektoreille luonnollisia yhtälöitä, joita

Lisätiedot

5.6 Yhdistetty kuvaus

5.6 Yhdistetty kuvaus 5.6 Yhdistetty kuvaus Määritelmä 5.6.1. Oletetaan, että f : æ Y ja g : Y æ Z ovat kuvauksia. Yhdistetty kuvaus g f : æ Z määritellään asettamalla kaikilla x œ. (g f)(x) =g(f(x)) Huomaa, että yhdistetty

Lisätiedot

Kanta ja Kannan-vaihto

Kanta ja Kannan-vaihto 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

Lisätiedot

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

HY / Avoin yliopisto Lineaarialgebra ja matriisilaskenta II, kesä 2015 Harjoitus 1 Ratkaisut palautettava viimeistään maanantaina klo HY / Avoin yliopisto Lineaarialgebra ja matriisilaskenta II, kesä 2015 Harjoitus 1 Ratkaisut palautettava viimeistään maanantaina 10.8.2015 klo 16.15. Tehtäväsarja I Tutustu lukuun 15, jossa vektoriavaruuden

Lisätiedot

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.

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. Vapaus Määritelmä Oletetaan, että v 1, v 2,..., v k R n, missä n {1, 2,... }. Vektorijono ( v 1, v 2,..., v k ) on vapaa eli lineaarisesti riippumaton, jos seuraava ehto pätee: jos c 1 v 1 + c 2 v 2 +

Lisätiedot

Kertausta: avaruuden R n vektoreiden pistetulo

Kertausta: avaruuden R n vektoreiden pistetulo Kertausta: avaruuden R n vektoreiden pistetulo Määritelmä Vektoreiden v R n ja w R n pistetulo on v w = v 1 w 1 + v 2 w 2 + + v n w n. Huom. Pistetulo v w on reaaliluku! LM2, Kesä 2012 227/310 Kertausta:

Lisätiedot

Yleiset lineaarimuunnokset

Yleiset lineaarimuunnokset TAMPEREEN YLIOPISTO Pro gradu -tutkielma Kari Tuominen Yleiset lineaarimuunnokset Matematiikan ja tilastotieteen laitos Matematiikka Toukokuu 29 Tampereen yliopisto Matematiikan ja tilastotieteen laitos

Lisätiedot

Insinöörimatematiikka D

Insinöörimatematiikka D Insinöörimatematiikka D Mika Hirvensalo mikhirve@utu.fi Matematiikan ja tilastotieteen laitos Turun yliopisto 2014 Mika Hirvensalo mikhirve@utu.fi Luentokalvot 3 1 of 16 Kertausta Lineaarinen riippuvuus

Lisätiedot

ominaisvektorit. Nyt 2 3 6

ominaisvektorit. Nyt 2 3 6 Esimerkki 2 6 8 Olkoon A = 40 0 6 5. Etsitäänmatriisinominaisarvotja 0 0 2 ominaisvektorit. Nyt 2 0 2 6 8 2 6 8 I A = 40 05 40 0 6 5 = 4 0 6 5 0 0 0 0 2 0 0 2 15 / 172 Täten c A ( )=det( I A) =( ) ( 2)

Lisätiedot

Insinöörimatematiikka D, laskuharjoituksien esimerkkiratkaisut

Insinöörimatematiikka D, laskuharjoituksien esimerkkiratkaisut Insinöörimatematiikka D, 06 laskuharjoituksien esimerkkiratkaisut Alla olevat esimerkkiratkaisut ovat melko ksitiskohtaisia Tenttivastauksissa ei leensä tarvitse muistaa lauseiden, määritelmien, esimerkkien

Lisätiedot

Ville Turunen: Mat Matematiikan peruskurssi P1 1. välikokeen alueen teoriatiivistelmä 2007

Ville Turunen: Mat Matematiikan peruskurssi P1 1. välikokeen alueen teoriatiivistelmä 2007 Ville Turunen: Mat-1.1410 Matematiikan peruskurssi P1 1. välikokeen alueen teoriatiivistelmä 2007 Materiaali: kirjat [Adams R. A. Adams: Calculus, a complete course (6th edition), [Lay D. C. Lay: Linear

Lisätiedot

{I n } < { I n,i n } < GL n (Q) < GL n (R) < GL n (C) kaikilla n 2 ja

{I n } < { I n,i n } < GL n (Q) < GL n (R) < GL n (C) kaikilla n 2 ja 5. Aliryhmät Luvun 4 esimerkeissä esiintyy usein ryhmä (G, ) ja jokin vakaa osajoukko B G siten, että (B, B ) on ryhmä. Määrittelemme seuraavassa käsitteitä, jotka auttavat tällaisten tilanteiden käsittelyssä.

Lisätiedot

Tensorialgebroista. Jyrki Lahtonen A = A n. n=0. I n, I = n=0

Tensorialgebroista. Jyrki Lahtonen A = A n. n=0. I n, I = n=0 Tensorialgebroista Esitysteorian kesäopintopiiri, Turun yliopisto, 2012 Jyrki Lahtonen Olkoon k jokin skalaarikunta. Kerrataan k-algebran käsite: A on k-algebra, jos se on sekä rengas että vektoriavaruus

Lisätiedot

5 Ominaisarvot ja ominaisvektorit

5 Ominaisarvot ja ominaisvektorit 5 Ominaisarvot ja ominaisvektorit Olkoon A = [a jk ] n n matriisi. Tarkastellaan vektoriyhtälöä Ax = λx, (1) missä λ on luku. Sellaista λ:n arvoa, jolla yhtälöllä on ratkaisu x 0, kutsutaan matriisin A

Lisätiedot

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

Tehtäväsarja I Kerrataan lineaarikuvauksiin liittyviä todistuksia ja lineaarikuvauksen muodostamista. Sarjaan liittyvät Stack-tehtävät: 1 ja 2. HY / Avoin yliopisto Lineaarialgebra ja matriisilaskenta II, kesä 2016 Harjoitus 3 Ratkaisut palautettava viimeistään maanantaina 29.8.2016 klo 13.15. Tehtäväsarja I Kerrataan lineaarikuvauksiin liittyviä

Lisätiedot

2 / :03

2 / :03 file:///c:/users/joonas/desktop/linis II Syksy /Ratkaisuehdotukse / 8 76 3:3 Kysymys Pisteet,, Määritellään positiivisten reaalilukujen joukossa R + = {x R x > } yhteenlasku ja skalaarikertolasku seuraavasti:

Lisätiedot

MS-A0004/A0006 Matriisilaskenta

MS-A0004/A0006 Matriisilaskenta 4. MS-A4/A6 Matriisilaskenta 4. Nuutti Hyvönen, c Riikka Kangaslampi Matematiikan ja systeemianalyysin laitos Aalto-yliopisto..25 Tarkastellaan neliömatriiseja. Kun matriisilla kerrotaan vektoria, vektorin

Lisätiedot

6 MATRIISIN DIAGONALISOINTI

6 MATRIISIN DIAGONALISOINTI 6 MATRIISIN DIAGONALISOINTI Ortogonaaliset matriisit Neliömatriisi A on ortogonaalinen (eli ortogonaalimatriisi), jos sen alkiot ovat reaalisia ja A - = A T Muistutus: vektorien a ja b pistetulo (skalaaritulo,

Lisätiedot

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.

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. Liittomatriisi Määritelmä 16 Olkoon A 2 M(n, n). Matriisin A liittomatriisi on cof A 2 M(n, n), missä (cof A) ij =( 1) i+j det A ij kaikilla i, j = 1,...,n. Huomautus 8 Olkoon A 2 M(n, n). Tällöin kaikilla

Lisätiedot

LINEAARIALGEBRA A 2016 TOMI ALASTE EDITED BY T.M. FROM THE NOTES OF

LINEAARIALGEBRA A 2016 TOMI ALASTE EDITED BY T.M. FROM THE NOTES OF LINEAARIALGEBRA 83A 6 EDITED BY T.M. FROM THE NOTES OF TOMI ALASTE SISÄLTÖ Sisältö Lineaariavaruus eli Vektoriavaruus Sisätuloavaruus 3 Lineaarikuvaus 4 Ominaisarvo 34 5 Esimerkkejä 44 . Lineaariavaruus

Lisätiedot

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

Neliömatriisi A on ortogonaalinen (eli ortogonaalimatriisi), jos sen alkiot ovat reaalisia ja 7 NELIÖMATRIISIN DIAGONALISOINTI. Ortogonaaliset matriisit Neliömatriisi A on ortogonaalinen (eli ortogonaalimatriisi), jos sen alkiot ovat reaalisia ja A - = A T () Muistutus: Kokoa n olevien vektorien

Lisätiedot

JAKSO 2 KANTA JA KOORDINAATIT

JAKSO 2 KANTA JA KOORDINAATIT JAKSO 2 KANTA JA KOORDINAATIT Kanta ja dimensio Tehtävä Esittele vektoriavaruuden kannan määritelmä vapauden ja virittämisen käsitteiden avulla ja anna vektoriavaruuden dimension määritelmä Esittele Lause

Lisätiedot

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt Vektoriavaruudet Riikka Kangaslampi Matematiikan ja systeemianalyysin laitos Aalto-yliopisto 2015 1 / 17 R. Kangaslampi Vektoriavaruudet Vektoriavaruus

Lisätiedot

Insinöörimatematiikka D

Insinöörimatematiikka D Insinöörimatematiikka D M. Hirvensalo mikhirve@utu.fi V. Junnila viljun@utu.fi Matematiikan ja tilastotieteen laitos Turun yliopisto 2015 M. Hirvensalo mikhirve@utu.fi V. Junnila viljun@utu.fi Luentokalvot

Lisätiedot

Insinöörimatematiikka D, laskuharjoituksien esimerkkiratkaisut

Insinöörimatematiikka D, laskuharjoituksien esimerkkiratkaisut Insinöörimatematiikka D, 29.3.2016 4. laskuharjoituksien esimerkkiratkaisut 1. Olkoon u (4,0,4,2) ja v ( 1,1,3,5) vektoreita vektoriavaruudessa R 4. Annetun sisätulon (x,y) indusoima normi on x (x,x) ja

Lisätiedot

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt ja pienimmän neliösumman menetelmä Riikka Kangaslampi Matematiikan ja systeemianalyysin laitos Aalto-yliopisto 2015 1 / 18 R. Kangaslampi QR ja PNS PNS-ongelma

Lisätiedot

2.8. Kannanvaihto R n :ssä

2.8. Kannanvaihto R n :ssä 28 Kannanvaihto R n :ssä Seuraavassa kantavektoreiden { x, x 2,, x n } järjestystä ei saa vaihtaa Vektorit ovat pystyvektoreita ( x x 2 x n ) on vektoreiden x, x 2,, x n muodostama matriisi, missä vektorit

Lisätiedot

Johdatus lineaarialgebraan

Johdatus lineaarialgebraan Johdatus lineaarialgebraan Osa II Lotta Oinonen, Johanna Rämö 25. lokakuuta 2015 Helsingin yliopisto Matematiikan ja tilastotieteen laitos Sisältö 15 Vektoriavaruus... 111 16 Aliavaruus... 117 16.1 Vektoreiden

Lisätiedot

Similaarisuus. Määritelmä. Huom.

Similaarisuus. Määritelmä. Huom. Similaarisuus Määritelmä Neliömatriisi A M n n on similaarinen neliömatriisin B M n n kanssa, jos on olemassa kääntyvä matriisi P M n n, jolle pätee Tällöin merkitään A B. Huom. Havaitaan, että P 1 AP

Lisätiedot

Matematiikan peruskurssi 2

Matematiikan peruskurssi 2 Matematiikan peruskurssi Demonstraatiot III, 4.5..06. Mikä on funktion f suurin mahdollinen määrittelyjoukko, kun f(x) x? Mikä on silloin f:n arvojoukko? Etsi f:n käänteisfunktio f ja tarkista, että löytämäsi

Lisätiedot

Insinöörimatematiikka D

Insinöörimatematiikka D Insinöörimatematiikka D M. Hirvensalo mikhirve@utu.fi V. Junnila viljun@utu.fi A. Lepistö alepisto@utu.fi Matematiikan ja tilastotieteen laitos Turun yliopisto 2016 M. Hirvensalo V. Junnila A. Lepistö

Lisätiedot

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.

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. Matematiikan ja tilastotieteen laitos Lineaarialgebra ja matriisilaskenta II Ylimääräinen harjoitus 6 Ratkaisut A:n karakteristinen funktio p A on λ p A (λ) det(a λi ) 0 λ ( λ) 0 5 λ λ 5 λ ( λ) (( λ) (

Lisätiedot

Koodausteoria, Kesä 2014

Koodausteoria, Kesä 2014 Koodausteoria, Kesä 2014 Topi Törmä Matemaattisten tieteiden laitos 3. Lineaariset koodit Topi Törmä Matemaattisten tieteiden laitos 2 / 22 3.1 Lineaarisen koodin määrittely Olkoon F äärellinen kunta.

Lisätiedot

3.4 Käänteiskuvauslause ja implisiittifunktiolause

3.4 Käänteiskuvauslause ja implisiittifunktiolause 3.4 Käänteiskuvauslause ja implisiittifunktiolause Tässä luvussa käsitellään kahta keskeistä vektorianalyysin lausetta. Esitellään aluksi kyseiset lauseet ja tutustutaan niiden käyttötapoihin. Lause 3.4.1

Lisätiedot

1 Kannat ja kannanvaihto

1 Kannat ja kannanvaihto 1 Kannat ja kannanvaihto 1.1 Koordinaattivektori Oletetaan, että V on K-vektoriavaruus, jolla on kanta S = (v 1, v 2,..., v n ). Avaruuden V vektori v voidaan kirjoittaa kannan vektorien lineaarikombinaationa:

Lisätiedot

pdfmark=/pages, Raw=/Rotate 90 1 Lineaariavaruus eli Vektoriavaruus Sisätuloavaruus Lineaarikuvaus Ominaisarvo 0-68

pdfmark=/pages, Raw=/Rotate 90 1 Lineaariavaruus eli Vektoriavaruus Sisätuloavaruus Lineaarikuvaus Ominaisarvo 0-68 SISÄLTÖ Sisältö pdfmark=/pages, Raw=/Rotate 90 1 Lineaariavaruus eli Vektoriavaruus 0-1 2 Sisätuloavaruus 0-20 3 Lineaarikuvaus 0-41 4 Ominaisarvo 0-68 5 Esimerkkejä 0-88 1. Lineaariavaruus eli V 1 Lineaariavaruus

Lisätiedot