Liite. Matriisilaskentaa

Samankaltaiset tiedostot
Matriisien tulo. Matriisit ja lineaarinen yhtälöryhmä

1.1. Määritelmiä ja nimityksiä

MS-A0004/A0006 Matriisilaskenta

1 Matriisit ja lineaariset yhtälöryhmät

Insinöörimatematiikka D

Johdatus tekoälyn taustalla olevaan matematiikkaan

5 OMINAISARVOT JA OMINAISVEKTORIT

Insinöörimatematiikka D

Käänteismatriisi 1 / 14

Ominaisarvo-hajoitelma ja diagonalisointi

Lineaarialgebra ja matriisilaskenta I

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

Kompleksianalyysi, viikko 5

Lineaarikuvauksen R n R m matriisi

1 Ominaisarvot ja ominaisvektorit

5 Ominaisarvot ja ominaisvektorit

Matematiikka B2 - Avoin yliopisto

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.

Ominaisarvo ja ominaisvektori

Numeeriset menetelmät

Numeeriset menetelmät

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

Ortogonaalinen ja ortonormaali kanta

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

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt

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

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

Insinöörimatematiikka D

1 Rajoittamaton optimointi

Ominaisarvot ja ominaisvektorit 140 / 170

BM20A0700, Matematiikka KoTiB2

Matriisipotenssi. Koska matriisikertolasku on liitännäinen (sulkuja ei tarvita; ks. lause 2), voidaan asettaa seuraava määritelmä: ja A 0 = I n.

ominaisvektorit. Nyt 2 3 6

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

Moniulotteisia todennäköisyysjakaumia

1 Ominaisarvot ja lineaariset di erenssiyhtälöt

Inversio-ongelmien laskennallinen peruskurssi Luento 2

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

9 Matriisit. 9.1 Matriisien laskutoimituksia

Iteratiiviset ratkaisumenetelmät

(0 desimaalia, 2 merkitsevää numeroa).

Lineaarialgebra II, MATH.1240 Matti laaksonen, Lassi Lilleberg

Matematiikan tukikurssi

Matematiikka B2 - TUDI

6 MATRIISIN DIAGONALISOINTI

8 Potenssisarjoista. 8.1 Määritelmä. Olkoot a 0, a 1, a 2,... reaalisia vakioita ja c R. Määritelmä 8.1. Muotoa

Ennakkotehtävän ratkaisu

4.0.2 Kuinka hyvä ennuste on?

Analyysi III. Jari Taskinen. 28. syyskuuta Luku 1

Funktion raja-arvo ja jatkuvuus Reaali- ja kompleksifunktiot

Ilkka Mellin Todennäköisyyslaskenta Osa 3: Todennäköisyysjakaumia Moniulotteisia todennäköisyysjakaumia

Insinöörimatematiikka D

3.2 Matriisien laskutoimitukset. 3.2 Matriisien laskutoimitukset. 3.2 Matriisien laskutoimitukset. 3.2 Matriisien laskutoimitukset

MS-C1340 Lineaarialgebra ja

Funktiot. funktioita f : A R. Yleensä funktion määrittelyjoukko M f = A on jokin väli, muttei aina.

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

Tehtävä 2. Osoita, että seuraavat luvut ovat algebrallisia etsimällä jokin kokonaislukukertoiminen yhtälö jonka ne toteuttavat.

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.

1 Johdanto. y t = (y 1t ; :::; y nt ) ; t = 1; :::; T;

Matriisialgebra harjoitukset, syksy 2016

Luento 9: Yhtälörajoitukset optimoinnissa

Vastausehdotukset analyysin sivuainekurssin syksyn välikokeeseen

Determinantti. Määritelmä

MS-A0003/A0005 Matriisilaskenta Malliratkaisut 4 / vko 47

2.2.1 Ratkaiseminen arvausta sovittamalla

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

5.1. Normi ja suppeneminen Vektoriavaruus V on normiavaruus, jos siinä on määritelty normi : V R + = [0, ) jolla on ominaisuudet:

Inversio-ongelmien laskennallinen peruskurssi Luento 3

Numeeriset menetelmät

Determinantti 1 / 30

Insinöörimatematiikka D

Ominaisarvo ja ominaisvektori

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

Matematiikan tukikurssi, kurssikerta 3

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

Matematiikan tukikurssi

PERUSASIOITA ALGEBRASTA

MS-A0003/A Matriisilaskenta Laskuharjoitus 6

Talousmatematiikan perusteet: Luento 13. Rajoittamaton optimointi Hessen matriisi Ominaisarvot ja vektorit Ääriarvon laadun tarkastelu

LU-hajotelma. Esimerkki 1 Matriisi on yläkolmiomatriisi ja matriisi. on alakolmiomatriisi. 3 / 24

Talousmatematiikan perusteet: Luento 10. Lineaarikuvaus Matriisin aste Determinantti Käänteismatriisi

Moniulotteisia todennäköisyysjakaumia. Moniulotteisia todennäköisyysjakaumia. Moniulotteisia todennäköisyysjakaumia: Mitä opimme?

Lineaarialgebra ja matriisilaskenta I

Determinantti. Määritelmä

MS-C1340 Lineaarialgebra ja

Antti Rasila. Kevät Matematiikan ja systeemianalyysin laitos Aalto-yliopisto. Antti Rasila (Aalto-yliopisto) MS-A0204 Kevät / 16

Lineaarikombinaatio, lineaarinen riippuvuus/riippumattomuus

A = a b B = c d. d e f. g h i determinantti on det(c) = a(ei fh) b(di fg) + c(dh eg). Matriisin determinanttia voi merkitä myös pystyviivojen avulla:

1 Avaruuksien ja lineaarikuvausten suora summa

MS-A0003/A0005 Matriisilaskenta Malliratkaisut 5 / vko 48

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt

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

Esimerkki 4.4. Esimerkki jatkoa. Määrää matriisin ominaisarvot ja -vektorit. Ratk. Nyt

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

Talousmatematiikan perusteet: Luento 11. Lineaarikuvaus Matriisin aste Käänteismatriisi

MS-C1340 Lineaarialgebra ja

1. Viikko. K. Tuominen MApu II 1/17 17

Matriisilaskenta Laskuharjoitus 5 - Ratkaisut / vko 41

1 Reaaliset lukujonot

IV. TASAINEN SUPPENEMINEN. f(x) = lim. jokaista ε > 0 ja x A kohti n ε,x N s.e. n n

Transkriptio:

Liite A Matriisilaskentaa A. Matriisinormi Jos A = [a ij ] on dimensiota n m oleva reaalinen matriisi, niin sen (Euklidinen) normi on määritelmän mukaan v u nx kak = t a ij : i= On selvää, että määritelmä voidaan esittää vaihtoehtoisesti muodostamalla matriisin A alkioista nm vektori ja käyttämällä tavallista (Euklidisen) vektorinormin määritelmää. Tähän (ja muuhunkin) liittyen määritellään matriisin vektorointioperaattori vec () seuraavasti. Ositetaan A = [a : : a m ] sarakkeittain, jolloin siis a i (n ) on A:n i. sarake ja määritellään vektori (eli vektoroitu A) vec (A) = 4 a. a m j= 5 (nm ) : Tällöin on selvää, että kak on vektorin vec (A) normi eli q kak = vec (A) 0 vec (A): Jälkimmäisestä määritelmästä ja vektorinormin tunnetuista ominaisuuksista nähdään, että matriisinormilla on vektorinormin tavanomaiset ominaisuudet (i) kak 0 ja kak = 0 jos ja vain jos A = 0 (ii) kcak = c kak kaikilla c R (iii) ka + Bk kak + kbk kaikilla n m matriiseilla B (kolmioepäyhtälö). Näiden lisäksi pätee (iv) kabk kak kbk kaikilla m l matriiseilla B (ns. submultiplikatiivsuus). Edellä määritellyn matriisinormin lisäksi käytetään useita muitakin matriisinormeja, joilta vaaditaan edellä mainitut neljä ehtoa (joissakin lähteissä neljättä ehtoa ei vaadita). Näitä matriisinormeja ei kuitenkaan tarvita tällä kurssilla.

Joissakin tapauksissa on kätevää esittää (Euklidinen) matriisinormi käyttäen neliömatriisin jälkeä eli diagonaalialkioden summaa. Jos B = [b ij ] on n n matriisi, niin sen jälki tr (B) on määritelmän mukaan nx tr (B) = b ii : Määritelmästä seuraa helposti, että matriisin jäljellä on seuraavat ominaisuudet tr (B + C) = tr (B) + tr (C) ja tr (BD) = tr (DB) : Edellisessä yhtälössä C on nn matriisi, mutta jälkimmäisessä B voi olla yleisemmin n m matriisi ja D puolestaan m n matriisi. Jäljen määritelmää käyttäen voidaan todeta, että matriisin A (n m) normi voidaan kirjoittaa kak = p tr (A 0 A): Liitteessä A. nähdään miten matriisinormia voidaan käyttää tarkasteltaessa matriisijonojen ja sarjojen konvergenssia. A. Matriisin ominaisarvot ja Jordanin hajotelma Neliömatriisin A (n n) ominaisarvot ; :::; n toteuttavat determinanttiyhtälön det (A I n ) = 0. Vastaavat ominaisvektorit u ; :::; u n (u i = 0) saadaan yhtälöistä i= (A i I n ) u i = i u i () Au i = i u i, i = ; :::; n: Jos A (n n) ja ; :::; n ovat kuten edellä, on olemassa epäsingulaarinen (eli kääntyvä) matriisi P (n n) siten, että A = P P : Tässä (n n) on lohkodiagonaalinen ja täsmällisemmin n 0 0 0 = n. 4.... 0 5 := diag [ n nk ] ; 0 0 nk jossa n + + n k = n ja i 0 0 0 i 0........... ni =.......... 0 : 4. 0 i 5 0 0 i

Matriisin ni päädiagonaalillla on siis ominaisarvo i ; päädiagonaalin yläpuolella olevalla diagonaalilla ja muualla 0 (sama ominaisarvo saattaa esiintyä yhtä useammassa :n lohkossa). Matriisin A edellä esitettyä esitystä sanotaan Jordanin (kanoniseksi) muodoksi tai Jordanin hajotelmaksi. Jos A:n ominaisarvot ovat erisuuria, on diagonaalinen diagonaalialkioina A:n ominaisarvot ja matriisin P (lineaarisesti riippumattomat) sarakkeet ovat A:n ominaisvektoreita Laskemalla voidaan todeta seuraava kurssin kannalta hyödyllinen tulos, jossa k j = 0, jos j > k: k n i = 4 k i 0 k k k i j k j i.......... 0. 0. 0 k n i k n i + i.................. 0 0 jossa diagonaaleilla on aina sama alkio (ja päädiagonaalin alapuolella nolla). A. Matriisijonot ja matriisisarjat Matriisijonon A N = [a ij;n ], N = ; ; :::; konvergenssi kohti (samaa dimensiota olevaa) matriisia A = [a ij ] voidaan määritellä vaatimalla, että a ij;n! a ij kaikilla i; j; kun N! : Tällöin merkitään lim N! A N = A tai A N! A (kun N! ). Matriisiarvoinen sarja S = P i= A i määritellään osajonon S N = P N i= A i rajaarvona eli vaaditaan sellaisen matriisin S olemassaolo, että S N! S, jolloin siis S = P i= A i: Jos A = [a ij ] on nm matriisi, niin matriisinormin määritelmästä seuraa max fja ij jg kak p nm max fja ij jg ; jossa maksimi on yli arvojen i = ; :::; n ja j = ; :::; m. Käyttäen tätä ja reaalilukujonojen konvergenssin määritelmää nähdään, että matriisijonolle A N pätee A N! A jos ja vain jos ka N Ak! 0. Vastaava vaihtoehtoinen määritelmä voidaan tietysti esittää myös matriisisarjoille. Edellä todetun ja reaalisten sarjojen suppenemista koskevien tulosten perusteella on myös selvää, että matriisisarjan suppenemiselle on riittävää, että reaalinen sarja P i= ka ik suppenee (eli itseinen suppeneminen pätee). Olkoon nyt A (n n) neliömatriisi ja ; :::; n sen ominaisarvot. Oletetaan, että := max in j i j <. Jaksossa A. esitetyn Jordanin hajotelman avulla nähdään, että A N = P P N = P N P : Jos C eli = x + iy i =, niin jj = p x + y on :n itseisarvo....... ; 5

Koska tunnetusti N k N! 0, kun N! kaikilla k 0, saadaan jaksossa A. todetusta N! 0; joten edellä todetusta yhtälöstä seuraa A N! 0; kun N! : Valitaan nyt 0 < < siten, että < < (tällainen voidaan aina löytää). Tällöin N k N = N k = N N, jossa N k = N! 0. Näin ollen, N k N < N kaikilla tarpeeksi suurilla N:n arvoilla. Konvergenssi N! 0 on siten geometrista eli on olemassa vakiot C < ja r < siten, että matriisin N alkioille N ij pätee N Cr N. Sama pätee siten matriisille A N = P N P. Matriisinormin ij submultiplikatiivisuudesta seuraa lisäksi, että A N = P N P kp k P N ; joten myös A N! 0 geometrisesti (jos A:n ominaisarvot ovat erisuuria, on diagonaalinen diagonaalialkioina A:n itseisarvoltaan ykköstä pienemmät ominaisarvot ja tämän tuloksen perustelu yksinkertaistuu). Edellä todetusta seuraa, että sarja P i=0 Ai suppenee (A 0 = I n ). Nähdään helposti, että (perustelu jätetään tehtäväksi) A i = (I n A). A.4 Polynomit, polynomimatriisit ja potenssisarjat i=0 Astetta m oleva polynomi on funktio p (z) = a k z k ; jossa a k ja z ovar reaali- tai kompleksilukuja ja a m = 0. Kompleksitapauksessa z C voidaan kirjoittaa algebran peruslauseen mukaan p (z) = a m (z ) (z m ) ; jossa ; :::; m ovat p (z):n nollakohdat tai juuret eli pätee p ( k ) = 0. Tapaus k = l (k = l) on mahdollinen ja reaalikertoimisessa tapauksessa a k R kaikilla k kompleksiset juuret esiintyvät liittolukuina eli jos k = x k + iy k (i = ), niin jollain l = k pätee l = x l iy l =: l : Polynomimatriisi on matriisi, jonka alkiot ovat polynomeja: m ij X P (z) = [p ij (z)] ; p ij (z) = a ij;k z k : 4

Asettamalla m = max fm ij g voidaan vaihtoehtoisesti kirjoittaa P (z) = A k z k ; jossa A k = [a ij;k ] ja a ij;k = 0, kun k > m ij. Tämän esitystavan perusteella voidaan puhua myös matriisipolynomeista eli polynomeista, joiden kertoimet ovat matriiseja. Laskutoimitukset A (z)+b (z) ja A (z) B (z) sekä determinantti det (A (z)) määritellään kuten tavanomaisilla reaalilukumatriiseilla. Samoin käänteismatriisi eli polynomimatriisin A (z) (m m) käänteismatriisi A (z) toteuttaa A (z) A (z) = A (z) A (z) = I m. Kuten reaalilukumatriiseilla voidaan käänteismatriisi laskea myös kaavalla A (z) = det (A (z)) A (z) (det (A (z)) = 0) ; jossa A (z) = a ij (z) on A (z):n ns. adjungaattimatriisi eli a ij (z) = ( ) i+j kertaa determinantti siitä A (z) :n alimatriisista, joka saadaan poistamalla A (z) :sta i. rivi ja j: sarake. Koska determinantti voidaan muodostaa summaamalla matriisin alkioista laskettuja tuloja, ovat sekä det (A (z)) että a ij (z) polynomeja. Käänteismatriisin A (z) alkiot ovat siten rationaalifunktioita eli tyyppiä P q j=0 a jz j = P r j=0 b jz j (q; r < ). Palataan nyt tavalliseen polynomiin p (z) = P m a kz k. On helppo todeta, että p (z) voidaan kirjoittaa p (z) = p () + ( z) q (z) ; (A.) jossa q (z) = Vastaavanlainen vaihtoehtoinen esitys on jossa r (z) = b k z k ; b k = j=k+ p (z) = p () z + ( z) r (z) ; (A.) c k z k ; c 0 = a 0 ja c k = j=k+ a k : a k ; k = ; :::; m : Nämä esitykset voidaan yleistää edelleen potenssisarjoille eli tapaukseen Jos oletetaan, että p (z) = a k z k (jzj ) : k ja k j < ; k= 5

voidaan helposti todeta, että yhtälöt (A.) ja (A.) pätevät, kun jzj ja m korvataan symbolilla : Lisäksi pätee P k= jb kj < ja P k= jc kj <. Edellä esitetty yleistyy matriisitapaukseen. Olkoon P (z) = [p ij (z)] = jossa A k = [a ij;k ] toteuttaa ehdon A k z k (jzj ) ; k ka k k < : k= Soveltamalla aikaisempaa polynomeihin p ij (z) saadaan tuloksen (A.) yleistys P (z) = P () + ( z) Q (z) ; (A.) jossa Q (z) = B k z k ; B k = j=k+ Vastaavasti saadaan tuloksen (A.) yleistys A j ja kb k k < : k= P (z) = P () z + ( z) R (z) ; (A.4) jossa R (z) = C k z k ; C 0 = A 0, C k = A j ; k ja kc k k < : j=k+ k= Jos P (z) on astetta m oleva polynomimatriisi eli A k = 0 kaikilla k > m, niin Q (z) ja R (z) ovat astetta m olevia polynomimatriiseja. A.5 Ositetut matriisit ja Kroneckerin tulo Ositettu matriisi on matriisi, jonka alkiot ovat matriiseja eli A A m A = [A ij ] = 4.. 5 : A n A nm Jos A = [A ij ] ja B = [B ij ], niin (olettaen, että dimensiot täsmäävät laskutoimitusten määritelmien kanssa) " # X A + B = [A ij + B ij ] ja AB = A ik B kj : k

Nämä tulokset seuraavat tavanomaisista matriisien yhteen- ja kertolaskukaavoista. Lisäksi, kun det (A) = 0 ja det (A ii ) = 0 (i = ; ), A A A A = A A A A A A A A jossa A ij = A ii A ij A jj A ji. Matriisien A (n m) ja B (p q) Kroneckerin tulo on np mq matriisi A B = 4 a B a m B.. a n B a nm B 5 = [a ij B] : Kroneckerin tulolla on seuraavat ominaisuudet, jotka voidaan todeta jokseenkin suoraan määritelmästä (olettaen, että laskutoimitukset ovat määriteltyjä). (A B) (C D) = (AC BD) (A B) 0 = A 0 B 0 (A B) = A B A (B + C) = A B + A C Jos matriisien A (n n) ja B (m m) ominaisarvot ovat ; :::; n ja ; :::; m, niin matriisin (A B) ominaisrarvot ovat i j (i = ; :::; n; j = ; :::; m) vec (ABC) = (C 0 A) vec (B) A. Ehdollisen odotusarvon ominaisuuksia Tarkastellaan lyhyesti yleistä ennustustilannetta, jossa (reaalisen) satunnaismuuttujan Y arvoa halutaan ennustaa satunnaisvektorin (sv) X saaman arvon X = x avulla. Todennäköisyyslaskennasta tiedetään, että keskineliövirheen mielessä optimaalinen ennuste on Y :n ehdollinen odotusarvo ehdolla X = x eli pätee E (Y E (Y jx = x)) E (Y g (x)) olipa g (x) mikä tahansa x:n funktio (tässä odotusarvojen äärellisyys oletetaan). Jatkuvien jakaumien tapauksessa määritellään ehdollinen odotusarvo kaavalla E (Y jx = x) = Z yf Y jx (y; x) dy = Z ; y f Y;X (y; x) dy; f X (x)

jossa f Y;X (y; x) on sv:n (Y; X) yhteistiheysfunktio, f X (x) = R f Y;X (y; x) dy on X:n reunajakauman tiheysfunktio ja f Y jx (y; x) = f Y;X (y; x) =f X (x) on Y :n ehdollinen tiheysfunktio ehdolla X = x. Näissä määritelmissä, samoin kuin seuraavissa tarkasteluissa, Y voi olla vektoriarvoinen. Kun x vaihtelee yli satunnaisvektorin X mahdollisten arvojen määrittelee x:n funktio E (Y jx = x) satunnaismuuttujan, josta on luonteva käyttää merkintää E (Y jx ). Kehittyneessä todennäköisyyslaskennassa ehdollinen odotusarvo määritelläänkin suoraan satunnaismuuttujana ja siellä se yleistetään myös tapaukseen, jossa satunnaisvektori X voi olla ääretönulotteinen. Tämä tilanne tulee vastaan, kun tarkastellaan stokastisen prosessin ennustamista olettaen, että prosessin fy t ; t = 0; ; :::g kaikki ennusteajankohtaa edeltävät arvot tunnetaan. Ehdollisesta odotusarvosta riittää kuitenkin tietää vain sen tavanomaiset ominaisuudet, jotka pätevät tällöinkin. Erityisesti, että EO E (ay + by jx ) = ae (Y jx ) + be (Y jx ), kun a ja b ovat vakioita (lineaarisuus) EO E (Y jx ) = E (Y ), kun Y k X. EO E (Y ) = E [E (Y jx )] (ns. iteroidun odotusarvon laki) EO4 E [g (X) Y jx ] = g (X) E (Y jx ) mille tahansa funktiolle g (jolla tulo g (X) Y on määritelty ja sen odostusarvo on äärellisenä olemassa). A. Derivointikaavoja Kun f : R n! R on derivoituva, merkitään x f (x) = f (x) x 0 f (x) (n ) x n ja x f (x) = f (x) 0 x On helppo todeta, että a 0 x=x = a (a n ) ja f (x) x n ( n) : x x0 Ax = (A + A 0 )x = Ax; kun A = A 0 (A n n) : Kun B = B 0 ; saadaan näiden avulla edelleen x (c Ax)0 B (c Ax) = A 0 Bc + A 0 BAx: 8

Mainitaan lisäksi tulokset A x0 Ax := a ij x 0 Ax = [x i x j ] = xx 0 (x n ja A n n) ja A log det (A) = A 0 = (A 0 ) : Viimeksi mainittu perustuu determinantin tunnettuun kehityskaavan det (A) = P k a ika ik, jossa A:n adjungaattimatriisin A (ks. Liite A.4) alkio a ik ei riipu A:n alkiosta a ij. Ketjusääntöä soveltaen saadaan näin ollen, a ij log det (A) = det (A) = det (A) a ij det (A) a ij = A h = ji A i 0 ; ij jossa viimeistä edellinen yhtälö perustuu käänteismatriisin laskukaavaan A = (det (A)) A. B Asymptoottisia tuloksia Seuraavassa esitetään lyhyesti stokastiseen konvergenssiin ja jakaumakonvergenssiin liityviä tuloksia (mainitut konvergenssikäsitteet oletetaan tunnetuiksi). Ensimmäinen tulos kertoo miten stokastinen konvergenssi käyttäytyy jatkuvissa muunnoksissa. Tässä kuten myöhemminkin tarkoitetaan vakiolla ei-satunnaista (äärellistä) suuretta. Lause B.. Jos jono sv:ta X ; X ; ::: (k ) konvergoi stokastisesti kohti vakiovektoria c eli X n! c ja g : R k! R l jatkuva pisteessä c, niin g (X n )! p p g(c). Tulos pätee myös matriisitapauksessa, joka voidaan palauttaa lauseen tilanteeseen suorittamalla vektorointi (ks. Liite A.). Sama pätee seuraaviin jatkuvan kuvauksen lauseisiin, joista ensimmäinen koskee jakaumakonvergensia. Lause B.. Jos jono sv:ta X ; X ; ::: (k ) konvergoi jakaumaltaan kohti sv:ia Z eli X d n! Z ja g : R k! R l on jatkuva, niin g (X n )! d g(z). Mainittakoon, että tämän lauseen jatkuvuusoletusta voidaan lieventää. Funktion g jatkuvuus riittää vaatia vain joukossa C g, jolle pätee P fz C g g =. Koska jakaumakonvergenssista kohti vakiota seuraa stokastinen konvergenssi, seuraa Lauseesta B. Lauseen B. tulos, kun Z = c on vakio. Seuraava lause sisältää edellä mainitut erikoistapauksenaan. Lause B.. Oletetaan, että sv jonoille X ; X ; ::: (k ) ja Y ; Y ; ::: (l ) pätee X n d! Z ja Y n p! c, jossa c on vakiovektori. Tällöin (Xn ; Y n ) d! (Z; c): Stokastisessa konvergenssista (mahdollisesti kohti satunnaista suuretta) seuraa aina jakaumakonvergenssi, mutta käänteinen tulos päteee vain, kun jakaumakonvergenssissa raja arvo on vakio. 9

Lauseiden. ja.4 suorina seurauksia saadaan mm. seuraavat tulokset. Seuraus B.. Oletetaan Lauseen B. tilanne eli X n d! Z ja Y n p! c (vakio) ja lisäksi että k = l =. Tällöin, (i) X n + Y n d! Z + c (ii) X n Y n d! Zc (iii) X n =Y n d! Z=c, kun c = 0: Tässä ensimmäinen tulos pätee tietysti myös vektoritapauksessa, jota tarkastellaan seuraavassa, jossa Y n on k l matriisi. Seuraus B.. Olkoon X ; X ; ::: ja Z (k ) kuten Lauseessa.4 eli X d n! Z ja p Y ; Y ; ::: jono l k matriiseja, jolle pätee Y n! A, jossa A (l k) on vakiomatriisi. Tällöin, (i) Y n X n d! AZ Jos k = l, pätee myös (ii) X 0 ny n X n d! Z 0 AZ (iii) X 0 ny n X n d! Z 0 A Z, kun A on epäsingulaarinen (eli kääntyvä). Nämä tulokset seuraavat funktioiden (A; x)! Ax, (A; x)! x 0 Ax ja A! A (A epäsingulaarinen) jatkuvuudesta ja Lauseista B. ja B.. Kun Z on vakio, voidaan jakaumakonvergenssi korvata (vahvemmalla) stokastisella konvergenssilla. Käänteismatriisin jatkuvuus voidaan perustella seuraavasti. Todetaan ensin, että determinanttifunktio A! det(a) on jatkuva, koska determinantti voidaan muodostaa summaamalla matriisin alkioista laskettuja tuloja (katso tapausta). Koska käänteismatriisin A alkiot voidaan lausua A:n ja sen alimatriisien determinanttien osamäärien avulla (ks. Liite A.4 ja A.), on funktio A! A jatkuvien funktioiden yhdisteenä jatkuva. Seurauksessa B.(iii) on implisiittisesti oletettu, että Y n = 0 kaikilla n (vastaavasti Seurauksessa B.(iii) on oletettu Y n :n epäsingulaarisuus kaikilla n). Vaikka oletuksista Y n! c ja c = 0 seuraa, että tapahtuman fyn = 0g todennäköisyys lähestyy p ykköstä, ei ehdon Y n = 0 toteutuminen äärellisillä n:n arvoilla ei ole kuitenkaan taattu ilman lisäoletuksia (kuten Y n :n jakauman jatkuvuutta). Tämä teoreettinen hankaluus voitaisiin ottaa huomioon määrittelemällä =Y n jollain (mielivaltaisella) 0

tavalla ilman, että esitetty jakaumakonvergenssi muuttuisi mitenkään. Kuten kirjallisuudessa yleensäkin, ei tätä seikkaa oteta yksinkertaisuuden vuoksi eksplisiittisesti huomioon, vaan Seurauksen B.(iii) kaltaisissa tilanteissa Y n = 0 oletetaan, jos Y n :n stokastinen raja-arvo on nollasta poikkeava. Vastaava tulkinta tehdään ilman eri mainintaa Seurauksen.(iii) kaltaisissa tilanteissa. Edellä esitettyjen tulosten ja väliarvolauseeseen avulla voidaan perustella ns. deltamenetelmä, joka reaaliarvoisessa tapauksessa on seuraava. Olkoon R estimoitava parametri ja 0 sen todellinen arvo. Oletetaan (yksinkertaisuuden vuoksi), että parametrivaruus on avoin väli ja tarkastellaan 0 :n asymptoottisesti normaalia estimaattoria ^ n eli p n(^n 0 ) d! N 0; ( 0 ) ( 0 ) > 0. Jos h :! R on jatkuvasti derivoituva funktio ja h 0 ( 0 ) = 0, niin muunnoksen h ( 0 ) estimaattorille h(^ n ) pätee p n(h(^n ) h( 0 )) d! N 0; [h 0 ( 0 )] ( 0 ). Yleistys vektoriparametrin tapaukseen on seuraava. Olkoon R d avoin ja konveksi ja h :! R jatkuvasti derivoituva funktio. Oletetaan, että gradienttivektori h()= 0 = [h()= h()= d ] toteuttaa h( 0 )= = 0 ja että estimaattorille ^ n (d ) pätee p n(^n 0 )! d N d (0; ( 0 )) ; ( 0 ) positiivisesti de niitti. Tällöin, p n(h(^n ) h( 0 )) d! N (0; V ( 0 )), V ( 0 ) = [h()= 0 ] ( 0 ) [h()=]: Deltamenetelmä voidaan yleistää edelleen tapaukseen, jossa h on vektoriarvoinen. Väliarvolausetta täytyy tällöin soveltaa erikseen funktion h kuhunkin komponenttiin.