MA-3450 LAAJA MAEMAIIKKA 5 amperee teillie yliopisto Risto Silveoie Kevät 2007 äydeämme Lama 2: lieaarialgebraa oheisella Ortogoaalisuus ja projetiot Olemme aiaisemmi jo määritelleet, että asi vetoria ovat ohtisuorassa eli ortogoaaliset, jos iide sisätulo o olla Yleisemmi vetorijouolle tämä yleistetää pareittai määriteltyä: Jos vetorijouo { u,, u } vetorit ovat eseää aii ortogoaalisia eli ui uj = 0 i j, ii vetorijouo o ortogoaalie Jos lisäsi aii vetorit ovat ysiövetoreita, ii vetorijouo o ortoormaali eli ortoormeerattu Samoi saotaa, että vetorit u, u ovat silloi ortoormaaleja eli ortoormeerattuja, Ortoormaalisuusehto voidaa siis esittää muodossa, i = j { u,, u} o ortoormaali ui u j = δ ij = 0, i j Huomataa, että tuetut aat {i, j} ja {i, j, } ovat ortoormaaleja Yleisemmii tämä o aoille toivottava omiaisuus Ortogoaalisuus pitää sisällää jo lieaarise riippumattomuude, sillä joaie ortogoaalie jouo o automaattisesti lieaarisesti riippumato (odistus lueolla) Ortoormaalissa aassa atavetorit ovat lisäsi ysiövetoreita, joa helpottaa oordiaattie tulitaa
2 Vetori oordiaatit o helppo selvittää ortoormaali aa ollessa yseessä Jos W o avaruude aliavaruus ja { u,, u } se ortoormaali ata, ii vetori v W esitys tässä aassa o v= ( v u ) u + + ( v u ) u ämä seuraa siitä, että vetorilla o ysiäsitteie esitys v = cu+ + cu, josta vu= ( cu+ + c u) u= cu u+ c u u= cu u= c Näi tuli äyttöö i i i i i i i i i i = seä ortogoaalisuus u j u i = 0, j i että ormeeraus u u Aliavaruude W ortogoaalie omplemetti W o iide vetoreide jouo :ssä, jota ovat ohtisuorassa joaista W: vetoria vastaa: W = { x x w= 0, w W} Silloi myös W o dimw = dimw : aliavaruus, W W { } = 0 ja Avaruus voidaa yt hajottaa aliavaruude W aalta ahtee osaa siiä mielessä, että joaie vetori v o esitettävissä ysiäsitteisesti summaa v= w+ p, w W, p W ässä esitysessä w o vetori v ortogoaaliprojetio (lyh projetio) aliavaruudelle W ja p vastaavasti v: projetio aliavaruudelle W
3 Vetori v ortogoaaliprojetiosta aliavaruudelle W äytetää meritää vˆ = proj W v Projetiosta ortogoaaliselle omplemetille W äytetää myös meritää proj v perp W v ja yllä maiittu hajotelma saa muodo W = v= proj v+ proj v= proj v+ perp v W W W W Jos aliavaruudessa W o ortoormaali ata { u,, u } projetiolle saadaa esitys, ii vetori y proj y= ( y u u + + ( y u u W ) ) ämä ähdää suoralla lasulla: Jos u = ( y u) u+ + ( y u) u ja w = au+ + au, ii ( y u) w = ( y ( y u) u+ + ( y u ) ) u ( au+ + au) = ( a yu + + a yu ) ( a yu + + a yu ) = 0 Siis y u w w W, jote y u W eli u=proj W y
4 Yllä o siis edellytyseä, että { u,, u } o aliavaruude W ortoormaali ata Jos ata o ortogoaalie, mutta ei välttämättä ortoormaali, projetio aava saa muodo proj W = u u + + yu u u yu y u u Usei puhumme jatossa ortogoaaliprojetio sijaa lyhyesti projetiosta Oheisissa uvissa asiaa o havaiollistettu olmeulotteisessa avaruudessa:
5 Erityisesti, jos W o ysiulotteie aliavaruus, W = spa{ u }, missä u o ysiövetori, ii äytetää saotaa vetori y ortogoaaliprojetio ysiövetorille u ja meritää proj u y : proj uy= ( y uu ) Jos vetori v, jolle projisioidaa, ei ole ysiövetori, ii se o ormeerattava, jolloi aavasi saadaa sijoittamalla u: paialle v/ v : Vetori y ortogoaaliprojetio vetorille v 0 o proj v y = y v v vv Ku u o ysiövetori, pätee vetorie y ja u väliselle ulmalle cosθ = y u y, josta seuraa projuy= y cosθ u ästä ähdää yhteys aleisgeometria projetioo, u tarastellaa suoraulmaista (vetori)olmiota, jossa vetori y o hypoteuusaa ja proj u y ulma θ viereiseä ateettia Korostettaoo vielä, että projetio yllä määritellyssä mielessä o vetori Josus sitä paiotetaa puhumalla "ortogoaalisesta vetoriprojetiosta" Silloi salaariprojetio o vetoriprojetio pituus eli ormi proj u y
6 2 Esim Projisioidaa piste [, 2, 3] suoralle x = t Nyt y = 2, suora 3 ysiösuutavetori (eli vastaava aliavaruude ortoormaali aa aioa 2 vetori) o u = Siis 6 2 2 2 6 6 ½ proj = ( ) = [ 2 3] uy y u u = 6 3 = ½ Esim 2 Projisioidaa piste y=[, 2, 3] tasolle H: x x2 x3 2 + = 0 aso ormaali o siis edellise esimeri vetori [2, -, ], jote perp H y = saadaa 0 projhy = y perphy = 2 ½ = 2½ 3 ½ 2½ ½ ästä ½ Ortogoaaliprojetio proj W y täreimpii omiaisuusii uuluu, että se o projisioitavaa vetoria y lähiä oleva W: vetori (miimiormilause): y proj y = mi y v W v W Jos imittäi v W, yˆ = proj W y, ii y v = y yˆ + yˆ v ja y yˆ W, yˆ v W Kohtisuoruude ja Pythagoraa lausee muaa saadaa siis 2 2 2 2 y v = y yˆ + yˆ v y y ˆ
7 ällä seialla o paljo äyttöä mm umeerisessa approsimoiissa ja tilastotieteessä Vetori y projetio aetulle aliavaruudelle W voidaa siis lasea aavalla proj y= ( y u u + + ( y u u, W ) ) jos W: ortoormaali ata tuetaa Jos yleisemmi avaruudelle W tuetaa ata { a,, a }, joa ei välttämättä ole ortoormaali, ii projetio voidaa lasea seuraavasti: Avaruus W o silloi matriisi A = [ a,, a ] saraeavaruus eli arvoavaruus R( A ) Oloo vetori y projetio aassa { a,, a } lausuttua yˆ = ca + + ca = Ac Silloi ohtisuoruusvaatimusesta seuraa ( A ) A, y c x x eli ( A ) ( A ) = 0, x y c x eli ( ), x A y A A c = 0 x, josta seuraa
8 A Ac= A y ( "ormaaliryhmä"), A A: tapausessa rataista ( ) c = A A A y josta voidaa äätyvä Silloi projetiolle yˆ = Ac saadaa lausee proj W y= Py, missä ( P= A A A) A o projetiomatriisi Matriisi A A o tässä aia symmetrie eliömatriisi (matriisi A itse ei välttämättä ole eliömatriisi) Se o myös äätyvä, jos A: saraeet ovat riippumattomat (todistus sivuutetaa), ute yt o asialaita ämä ataa mahdollisuude rataista s ylimäärättyjä yhtälöryhmiä (overdetermied liear equatios), joissa o eemmä yhtälöitä ui tutemattomia: ax + a2x2 + + a x = b a x + a x + + a x = b a x + a x + + a x = b 2 22 2 2 2 m m2 2 m m missä m> Näillä o äytäössä epähomogeeisessa tapausessa lähes aia raa < ra[a b] eli ei rataisua Mutta rataisu o olemassa pieimmä eliösumma mielessä site, että vasemma ja oiea puole erotuse (eulidise) ormi erotus b Ax = ( b a x a x ) + + ( b a x a x ), 2 2 m m m o mahdollisimma piei Näi o täsmällee silloi, u Ax o oiea puole b projetio matriisi A arvoavaruudelle R(A) Silloi rataisu x LS saadaa edellisellä sivulla maiitusta ormaaliryhmästä AAx = Ab LS
9 Jos matriisi A aste raa=, ii se saraeet ovat lieaarisesti riippumattomat, jolloi LS ( AA) x = Ab Esim3 Haetaa pieimmä eliösumma suora taso pisteide (,4), (-2,5), (3,-) ja (4,) autta Silloi yseessä o suora y=a+bx, joa toteuttaa ylimääräty yhtälöryhmä a+ b = 4 a+ b ( 2) = 5 a+ b 3= a+ b 4= pieimmä eliösumma mielessä Matriisimuodossa 4 2 a 5 = 3 b 4 eli 4 2 a 5 Au= y, A=, u=, 3 = b y 4 Normaaliryhmä o AA u = Ay eli 4 2 a 5 2 3 4 3 b = 2 3 4 4 4 6 a 9 6 30 = b 5, josta ooaismatriisi avulla 25 4 6 9 0 7 37 6 30 5 0 42 25 37 Suora ertoimet ovat siis a = 357, b= 088 7 42