Vektoriprojektio¶
Tarkastellaan avaruuden Rn vektoreita v ja u seuraavan ongelman näkökulmasta. Tiedetään, että molemmat voidaan esittää luonnollisen kannan vektoreiden e1,e2,…,en lineaarikombinaationa, eli näiden suuntaisten vektoreiden summana. Lisäksi nämä vektorit ovat ortogonaalisia. Onko näin mahdollista tehdä muidenkin vektoreiden suhteen? Voidaanko erityisesti v jakaa kahden vektorin summaksi v=p+w, missä p on vektorin u suuntainen ja w sitä vastaan kohtisuorassa?
Käy ilmi, että vastaus on kyllä silloin, kun u≠0. Oletetaan, että v=p+w, jolloin kahden ehdon on toteuduttava.
Vektorit p ja u ovat yhdensuuntaiset vain, jos p=cu jollakin skalaarilla c. Toisin sanoen on oltava
v=cu+w.Vektorit w ja u ovat kohtisuorat vain, jos u⋅w=0.
Lasketaan vektorin v pistetulo vektorin u kanssa, jolloin edellisten ehtojen toteutuessa
Nyt olettamalla, että u≠0 skalaariksi c voidaan valita
Merkitsemällä nyt p=proju(v) ja w=v−proju(v) nähdään, että p+w=v ja että vektorit p ja u ovat yhdensuuntaisia. Osoitetaan vielä, että näin määriteltynä vektori w on todella ortogonaalinen vektorin u kanssa laskemalla pistetuloksi
Asetettu ongelma on täten ratkaistu. Sivutuotteena on esitelty vektoriprojektion käsite, jonka sovelluksiin lukeutuvat esimerkiksi mekaniikan voimakuviot. Projektiolle voidaan lisäksi todistaa seuraavat ominaisuudet.
Lause.
Olkoot u≠0 ja v avaruuden Rn vektoreita. Tällöin seuraavat väitteet ovat voimassa.
- proju(proju(v))=proju(v), eli projektiota ei voi muuttaa uudella projisoinnilla.
- proju(v−proju(v))=0, eli kohtisuoran komponentin projektio on nollavektori.
- proju(v)=0 täsmälleen silloin, kun u ja v ovat ortogonaaliset.
Nämä vektoriprojektion perusominaisuudet ovat hyödyllisiä geometrisissa sovelluksissa.
Esimerkki.
Olkoon w=(2,7,−11) ja d=(3,0,−4).
- Etsi vektorin w komponentti vektorin d suuntaan, eli vektorin w projektio vektorille d, sekä niihin liittyvä kohtisuora komponentti.
- Laske pisteen w lyhyin etäisyys vektorin d suuntaiselta origon kautta kulkevalta suoralta.
Esimerkki.
Osoita, että jos ‖u0‖=1, niin proju0(v)=(u0⋅v)u0.
Vektoreiden epäyhtälöitä¶
Vektoriprojektion eräs matemaattinen sovellus on Cauchy-Schwarzin epäyhtälön todistus, ja tätä epäyhtälöä voidaan puolestaan käyttää kolmioepäyhtälön todistamiseksi avaruuden Rn vektoreille.
Lause.
Jos u ja v ovat avaruuden Rn vektoreita, niin ne toteuttavat Cauchy-Schwarzin epäyhtälön
Huomautus.
Vertaa Cauchy-Schwarzin epäyhtälöä vektoreiden u ja v välisen kulman määritelmään. Vaikka tiedetään, että reaalisilla θ on voimassa |cosθ|≤1, tätä ei voida hyödyntää epäyhtälön todistamisessa. Kulman määritelmää asetettaessa ei nimittäin voitu olla varmoja siitä, että osamäärä
mikä on Cauchy-Schwartzin epäyhtälön seuraus!
Vihdoin voidaan osoittaa, että vektoreiden etäisyys d(u,v)=‖u−v‖ todellakin määrittelee metriikan.
Lause.
Jos u ja v ovat avaruuden Rn vektoreita, niin ne toteuttavat kolmioepäyhtälön
Kolmioepäyhtälö perustelee sen, että mielivaltaisille avaruuden Rn vektoreille u, v ja w on voimassa
Geometrinen tulkinta on, että kahden pisteen u ja v välinen lyhyin etäisyys mitataan suoraa pitkin. Jos kuljetaan minkä tahansa kolmannen pisteen w kautta, joka ei kuulu pisteet yhdistävälle janalle, kuljetun matkan pituus kasvaa.