Mat-1.361 Tlastolle päättely 4. Hypoteese testaus Tlastolle päättely 4. Hypoteese testaus 4.1. Johdato Hylkäysalue, Hypotees, Hyväksymsalue, Krtte alue, Nollahypotees, Otos, Parametr, Parametravaruus, Perusjoukko, Päätös, Test, Testsuure, Vahtoehtoe hypotees, Väte 4.. Teste kostruot Hylkäysalue, Hypotees, Hyväksymsalue, Nollahypotees, Normaaljakauma, Osamäärätestsuure, Otos, Parametr, Parametravaruus, Päätös, Suurmma uskottavuude estmaattor, Suurmma uskottavuude estmotmeetelmä, Test, Testsuure, Tyhjetävyys, Uskottavuusfukto, Uskottavuusosamäärä, Vahtoehtoe hypotees 4.3. Teste vertalu 1. laj vrhe,. laj vrhe, Harhato test, Hylkäysalue, Hylkäysvrhe, Hypotees, Hyväksymsalue, Hyväksymsvrhe, Kakssuutae hypotees, Karl ja Rub teoreema, Kelvolle p-arvo, Merktsevyystaso, Mootoe uskottavuusosamäärä, Neyma ja Pearso lemma, Nollahypotees, Osamäärätestsuure, Otos, Parametr, Parametravaruus, p-arvo, Päätös, Suurmma uskottavuude estmaattor, Suurmma uskottavuude estmotmeetelmä, Tasasest vomakka test, Test, Test koko, Test taso, Testsuure, Tyhjetävyys, Uskottavuusfukto, Uskottavuusosamäärä, Vahtoehtoe hypotees, Vrheet testauksessa, Vrhetodeäkösyys, Vomakkuus, Vomakkuusfukto, Yhdstetty hypotees, Ykskertae hypotees, Ykssuutae hypotees @ Ilkka Mell (1) 1/7
Mat-1.361 Tlastolle päättely 4. Hypoteese testaus @ Ilkka Mell (1) /7
Mat-1.361 Tlastolle päättely 4. Hypoteese testaus 4.1. Johdato Hypotees Olkoo X 1, X,, X satuasotos satuasmuuttuja X jakaumasta, joka pstetodeäkösyys- ta theysfukto f(x;) rppuu parametrsta. Tällö havaot X 1, X,, X ovat rppumattoma, dettsest jakautueta satuasmuuttuja, jolla o sama pstetodeäkösyys- ta theysfukto f(x;): Olkoo X, X,, X 1 X f ( x; ), 1,,, X = (X 1, X,, X ) satuasmuuttuje X 1, X,, X muodostama -vektor. Olkoot satuasmuuttuje X 1, X,, X havatut arvot Merktää tätä: x 1, x,, x X 1 = x 1, X = x,, X = x Satuasmuuttuje X 1, X,, X havatut arvot x 1, x,, x määräävät havatopstee x = (x 1, x,, x ) Satuasmuuttuja X pstetodeäkösyys- ta theysfukto f(x;) määrttelemä todeäkösyysjakauma kuvaa satuasmuuttuja X arvoje vahtelua perusjoukossa ja parametr kuvaa jotak perusjouko omasuutta. Tlastolle hypotees o jok parametra koskeva väte. Hypotees testaukse tavotteea o päättää kump kahdesta vastakkasesta perusjouko parametra koskevasta hypoteessta el vätteestä o tos perusjoukosta pomtu otokse perusteella. Huomautus: Tarkastelemme tässä luvussa va todeäkösyysjakauma parametreja koskeve hypoteese testausta. Hypotees testaukse vastakkasa hypoteeseja kutsutaa ollahypoteesks ja vahtoehtoseks hypoteesks. Merktää H : Nollahypotees H 1 : Vahtoehtoe hypotees Olkoo perusjoukkoa kuvaava parametr ja olkoo parametravaruus el mahdollste parametr arvoje joukko. Nollahypotees H ylee muoto o H : @ Ilkka Mell (1) 3/7
Mat-1.361 Tlastolle päättely 4. Hypoteese testaus jossa o jok parametravaruude osajoukko. Tällö vahtoehtoe hypotees H 1 ylee muoto o H : 1 jossa o ollahypotees H määrttelemä jouko komplemett. Esmerkkejä: Olkoo ollahypotees H muotoa H : jossa o parametr jok mahdolle arvo. Tällö vahtoehtoe hypotees H 1 o muotoa H : 1 Olkoo ollahypotees H muotoa H : jossa o parametr jok mahdolle arvo. Tällö vahtoehtoe hypotees H 1 o muotoa H : 1 Olkoo ollahypotees H muotoa H : jossa o parametr jok mahdolle arvo. Tällö vahtoehtoe hypotees H 1 o muotoa H : 1 Test Testauksessa pyrtää päättämää otoksesta saadu formaato perusteella jätetääkö ollahypotees H vomaa (el hyväksytääkö ollahypotees H ) va hylätääkö ollahypotees H ja hyväksytää vahtoehtoe hypotees H 1. Test o päätössäätö, joka jakaa mahdollste havatoarvoje jouko kahtee osajoukkoo: () () Nde havatoarvoje joukko, jotka johtavat ollahypotees H hyväksymsee. Nde havatoarvoje joukko, jotka johtavat ollahypotees H hylkäämsee ja vahtoehtose hypotees H 1 hyväksymsee. Stä otosavaruude osajoukkoa, joka johtaa ollahypotees H hylkäämsee kutsutaa test hylkäysalueeks ta krttseks alueeks. Stä otosavaruude osajoukkoa, joka johtaa ollahypotees H jäämsee vomaa kutsutaa test hyväksymsalueeks. Tlastolle test o ss päätössäätö, joka jakaa otosavaruude hyväksymsalueesee ja hylkäysalueesee. Hylkäysalue pyrtää valtsemaa ste, että ollahypoteessta H vodaa ptää k, elle otoksesta saatu formaato ole kyll vahvaa ollahypotees H hylkäämseks. @ Ilkka Mell (1) 4/7
Mat-1.361 Tlastolle päättely 4. Hypoteese testaus Olkoo X (,,, ) X1 X X perusjoukosta pomttu otos. Test perustetaa aa johok testsuureesee. Testsuure o otokse fukto; merktää testsuuretta ylesest: W X W X1 X X ( ) (,,, ) Esmerkk 1.1: Normaaljakauma Olkoo X (,,, ) X1 X X otos ormaaljakaumasta N(, ) ja olkoo ollahypoteesa H : ja vahtoehtosea hypoteesa H : 1 Koska havatoje artmeette keskarvo X 1 X 1 o tyhjetävä ja paras harhato estmaattor parametrlle, o luotevaa perustaa test ollahypoteeslle H tuuslukuu X. O järkevää valta hylkäysalueeks joukko {( x, x,, x ) x } 1 jollo hyväksymsalue saa muodo {( x, x,, x ) x } 1 Tarkastelemme myöhemm kappaleessa 4.3 stä, mte krtte raja ta arvo o valttava, jotta testsuuree todeäkösyys joutua hylkäysalueelle ollahypotees H pätessä el todeäkösyys Pr {( x, x,, x ) x } 1 ols halutu suurue. @ Ilkka Mell (1) 5/7
Mat-1.361 Tlastolle päättely 4. Hypoteese testaus 4.. Teste kostruot Uskottavuusosamäärätest Uskottavuusosamäärämeetelmä o ylee meetelmä teste kostruomseks ja sllä o lähee kytketä suurmma uskottavuude estmotmeetelmää. Satuasotos Olkoo X 1, X,, X satuasotos satuasmuuttuja X jakaumasta, joka pstetodeäkösyys- ta theysfukto f(x;) rppuu parametrsta. Tällö havaot X 1, X,, X ovat rppumattoma, dettsest jakautueta satuasmuuttuja, jolla o sama pstetodeäkösyys- ta theysfukto f(x;): X, X,, X 1 X f ( x; ), 1,,, Uskottavuusfukto Koska havaot X 1, X,, X muodostavat satuasotokse jakaumasta f(x;), otokse X (,,, ) X1 X X yhtesjakauma pstetodeäkösyys- ta theysfukto o jossa f ( x, x,, x ; ) f ( x ; ) f ( x ; ) f ( x ; ) 1 1 f ( x ; ), 1,,, o yksttäsee havatoo X, = 1,,, lttyvä pstetodeäkösyys- ta theysfukto. Otokse X 1, X,, X uskottavuusfukto L( ; x, x,, x ) f ( x, x,, x ; ) 1 1 o havatoje X 1, X,, X yhtesjakauma pstetodeäkösyys- ta theysfukto f arvo psteessä x 1, x,, x tulkttua parametr arvoje fuktoks. Uskottavuusperaattee mukaa uskottavuusfukto L ssältää kake (stokastse) formaato otoksesta. Osamäärätestsuure ja osamäärätest Olkoo jakaumaa f(x;) kuvaava parametr ja olkoo parametravaruus el mahdollste parametr arvoje joukko. Olkoo ollahypotees H muotoa H : jossa o jok parametravaruude osajoukko ja olkoo vahtoehtoe hypotees H 1 muotoa @ Ilkka Mell (1) 6/7
Mat-1.361 Tlastolle päättely 4. Hypoteese testaus H : 1 jossa o jouko komplemett. Osamäärätestsuure hypoteeslle H hypoteesa H 1 vastaa o Koska ja ste sup L( ; x) ( x) sup L( ; x) sup L( ; x) sup L( ; x) (x) 1 Osamäärätest o päätössäätö, joka hylkäysalue el krtte alue o muotoa { x ( x) } jossa o toteuttaa ehdo 1 Tarkastelemme krttse raja el arvo valtsemsta kappaleessa 4.3. Jos osamäärätestsuure (x) saa pee (lähellä ollaa oleva) arvo, vahtoehtose hypotees H 1 rajottamassa parametravaruude osajoukossa 1 o sellasa parametr arvoja, jotka tekevät havatusta otoksesta uskottavamma ku mkää sellae parametr arvo, joka kuuluu ollahypotees H rajottamaa parametravaruude osajoukkoo. Ste peet (lähellä ollaa olevat) osamäärätestsuuree (x) arvot vttaavat she, että ollahypotees saattaa olla syytä hylätä. Jos osamäärätestsuure (x) saa suure (lähellä ykköstä oleva) arvo, ollahypotees H rajottamassa parametravaruude osajoukossa o sellasa parametr arvoja, jotka tekevät havatusta otoksesta lähes yhtä uskottava ku melvaltae parametr arvo, joka kuuluu vahtoehtose hypotees H 1 rajottamaa parametravaruude osajoukkoo 1. Ste suuret (lähellä ykköstä olevat) osamäärätestsuuree (x) arvot vttaavat she, että ollahypoteesa e ole syytä hylätä. Olkoo ˆ ˆ( x) se parametr arvo, joka maksmo uskottavuusfukto L(;x) koko parametravaruudessa ja olkoo ˆ ˆ ( x ) @ Ilkka Mell (1) 7/7
Mat-1.361 Tlastolle päättely 4. Hypoteese testaus se parametr arvo, joka maksmo uskottavuusfukto L(;x) ollahypotees H rajottamassa parametravaruude osajoukossa. Tällö Huomaa, että L( ˆ ; x) ( x) L( ˆ ; x) ˆ ˆ( X) o parametr rajottamato suurmma uskottavuude estmaattor, joka saadaa maksmomalla uskottavuusfukto L(;x) koko parametravaruudessa ja ˆ ˆ ( X ) o parametr rajotettu suurmma uskottavuude estmaattor, joka saadaa maksmomalla uskottavuusfukto L(;x) ollahypotees H rajottamassa parametravaruude osajoukossa. Esmerkk.1: Osamäärätest ormaaljakauma odotusarvolle Tarkastelemme tässä uskottavuusosamäärätestä ormaaljakauma odotusarvolle, ku jakauma varass o tuettu; vrt. esmerkkä.1. esmerkk.. Satuasmuuttuja X oudattaa ormaaljakaumaa parametre E( X ) Var( X ) E[( X ) ] jos se theysfukto o 1/ 1 f ( x;, ) ( ) exp ( x ),, x Parametr o ormaaljakauma odotusarvo ja parametr o ormaaljakauma varass. Oletetaa, että havaot X 1, X,, X muodostavat satuasotokse ormaaljakaumasta N(,1). Tällö X, X,, X 1 X N(,1), 1,,, Olkoo ollahypotees H muotoa H : ja vahtoehtoe hypotees H 1 muotoa H : 1 Parametravaruus o tässä muotoa { } @ Ilkka Mell (1) 8/7
Mat-1.361 Tlastolle päättely 4. Hypoteese testaus Määrätää osamäärätest hypoteeslle H hypoteesa H 1 vastaa. Osamäärätestsuure (x) o tässä max L( ; x) ( x) max L( ; x) Koska ollahypotees H rajottama parametravaruude osajoukko o muotoa { } osamäärätestsuuree osottaja o L( ; x) Osamäärätestsuuree mttäjä o L( ˆ ; x) parametr suhtee koko parametr- jossa ˆ maksmo uskottavuusfukto L( ; x) avaruudessa. Luvussa 3 o äytetty, että parametr rajottamato suurmma uskottavuude estmaattor ˆ o havatoje artmeette keskarvo X 1 X 1 Ste osamäärätestsuure (x) saa muodo L( ; x) ( x) L( x; x) / 1 ( ) exp ( x ) 1 / 1 ( ) exp ( x x) 1 1 exp ( ) ( ) x x x 1 1 Osamäärätestsuure (x) vodaa krjottaa ykskertasempaa muotoo, ku otetaa huomoo, että koska ( x ) ( x x x ) 1 1 ( x x) ( x x)( x ) ( x ) 1 1 1 ( x x) ( x ) 1 @ Ilkka Mell (1) 9/7
Mat-1.361 Tlastolle päättely 4. Hypoteese testaus ( x x)( x ) ( x ) ( x x) 1 1 ( x ) x x 1 ( x ) x x 1 1 Ste osamäärätestsuure (x) ollahypoteeslle H vahtoehtosta hypoteesa H 1 vastaa vodaa esttää muodossa 1 ( ) exp ( ) x x Osamäärätest o test, joka hylkää ollahypotees H pelle testsuuree (x) arvolle. Hylkäysalue x ( x) vodaa esttää ekvvaletssa muodossa x x log( ) / Ku vahtelee välllä [,1], log( ) / vahtelee välllä [,). Ste osamäärätest hylkää ollahypotees H, jos havatoarvoje artmeette keskarvo x pokkeaa parametr ollahypotees H kttämästä arvosta eemmä ku jok ee test tekemstä ktetty lukuarvo. Olkoo tuusluku T(X) o tyhjetävä parametrlle ja olkoo se pstetodeäkösyys- ta theysfukto g(t;). Tarkastellaa osamäärätestä, joka perustuu tuuslukuu T ja se uskottavuusfuktoo L (; t) = g(t;) Olkoo tuuslukuu T perustuvaa osamäärätestsuure (t). Koska kakk otoksee ssältyvä formaato parametrsta ssältyy tuuslukuu T, tutus luotevalta, että tuuslukuu T perustuva test o yhtä hyvä ku otoksee X perustuva test. Itse asassa ämä testt ovat ekvvaletteja, kute seuraava lause osottaa. Lause: Oletetaa, että tuusluku T(X) o tyhjetävä parametrlle. Olkoo (t) tuuslukuu T perustuva osamäärätest ja olkoo (x) otoksee X perustuva osamäärätest. Tällö ( T ( x)) ( x) jokaselle havatopsteelle x. @ Ilkka Mell (1) 1/7
Mat-1.361 Tlastolle päättely 4. Hypoteese testaus Todstus: Koska tuusluku T o tyhjetävä parametrlle, faktorotteoreemasta (ks. lukua ) seuraa, että otokse X pstetodeäkösyys- ta theysfukto f(x;) vodaa esttää muodossa f ( x; ) g( T ( x); ) h( x) jossa g(t;) o tuusluvu T pstetodeäkösyys- ta theysfukto ja h(x) e rpu parametrsta. Ste sup L( ; x) ( x) sup L( ; x) sup f ( x; ) sup f ( x; ) sup g( T ( x); ) h( x) sup g( T ( x); ) h( x) sup g( T ( x); ) sup g( T ( x); ) sup L ( ; T ( x)) sup L ( ; T ( x)) ( T( x)) Esmerkk.: Osamäärätest ormaaljakauma odotusarvolle Tarkastelemme tässä uskottavuusosamäärätestä ormaaljakauma odotusarvolle, ku jakauma varass e ole tuettu; vrt. esmerkkä.. esmerkk.1. Satuasmuuttuja X oudattaa ormaaljakaumaa parametre E( X ) Var( X ) E[( X ) ] jos se theysfukto o muotoa 1/ 1 f ( x;, ) ( ) exp ( x ),, x Parametr o ormaaljakauma odotusarvo ja parametr o ormaaljakauma varass. @ Ilkka Mell (1) 11/7
Mat-1.361 Tlastolle päättely 4. Hypoteese testaus Oletetaa, että havaot X 1, X,, X muodostavat satuasotokse ormaaljakaumasta N(, ). Tällö X, X,, X 1 X N(, ), 1,,, Olkoo ollahypotees H muotoa H : ja vahtoehtoe hypotees H 1 muotoa H : 1 Parametravaruutea o tässä {,, } Nollahypotees H rajottama parametravaruude osajoukko o {,, } Määrätää osamäärätestsuure hypoteeslle H hypoteesa H 1 vastaa. Parametr o tässä kusaparametr (egl. usae parameter) o kyllä mall lttyvä tutemato parametr, mutta se arvosta e säsä olla kostueta. Osamäärätestsuure (x) o tässä muotoa max L(, ; x) ( x) max L(, ; x) Testsuuree mttäjä o L ˆ ˆ (, ; x) jossa ˆ ja ˆ maksmovat uskottavuusfukto parametre ja suhtee. L(, ; x) koko parametravaruudessa Luvussa 3 o äytetty, että parametr rajottamato suurmma uskottavuude estmaattor ˆ o havatoje artmeette keskarvo X 1 X 1 ja parametr rajottamato suurmma uskottavuude estmaattor ˆ (harhae) otosvarass 1 ˆ ( ) X X 1 o havatoje @ Ilkka Mell (1) 1/7
Mat-1.361 Tlastolle päättely 4. Hypoteese testaus Jos ˆ x, uskottavuusfukto L(, ; x) rajotettu maksm o sama ku se rajottamato maksm, mutta jos ˆ x, se rajotettu maksm o jossa L(, ˆ ; x) 1 ˆ ( ) X 1 Ste osamäärätestsuure (x) saa muodo 1, jos x ( x) L( ˆ, ; x), jos x L( x, ˆ ; x) Tarkastellaa osamäärätestsuuretta (x) lähemm tapauksessa x. Tällö koska ja L(, ˆ ; x) ( x) L( x, ˆ ; x) / 1 ( ˆ ) exp ( ) ˆ x 1 / 1 ( ˆ ) exp ( x ) x ˆ 1 1 ˆ ˆ ( x ) / ˆ 1 ( x x) ˆ Ste osamäärätestsuure (x) saa muodo ˆ ( x) ˆ 1 1 / ( x ) ( x x) / @ Ilkka Mell (1) 13/7
Mat-1.361 Tlastolle päättely 4. Hypoteese testaus Ottamalla huomoo se, että (ks. esmerkkä.1) sekä lsäks se, että ( x ) ( x x) ( x ) 1 1 1 s x x ( ) 1 1 osamäärätestsuure (x) vodaa krjottaa muotoo ( x) 1 1 1 1 ( x ) 1 1 ( x x) / ( x x) ( x ) ( x x) ( x ) 1 ( 1) / t 1 1 / ( x x) ( x ) s / / jossa x t s / o tavaomae t-testsuure ollahypoteeslle H vahtoehtosta hypoteesa H 1 vastaa. Luvussa 1 o äytetty, että t t( 1) jos ollahypotees H pätee. Osamäärätest hylkää ollahypotees H pelle testsuuree (x) arvolle. Hylkäysalue x ( x) vodaa krjottaa ekvvalett muotoo x t / ( 1)( 1) / @ Ilkka Mell (1) 14/7
Mat-1.361 Tlastolle päättely 4. Hypoteese testaus Ku vahtelee välllä [,1], lauseke / ( 1)( 1) vahtelee välllä [,). Ste osamäärätest hylkää ollahypotees H, jos tavaomae t- testsuure saa suuremma arvo ku jok ee test tekemstä ktetty lukuarvo. @ Ilkka Mell (1) 15/7
Mat-1.361 Tlastolle päättely 4. Hypoteese testaus 4.3. Teste vertalu Hylätessää ta hyväksyessää ollahypotees test tekjä vo tehdä vrheellse päätökse. Tavallsest testejä vertallaa vertalemalla vrhede todeäkösyyksä. Vrheet testauksessa, vrhede todeäkösyydet ja test vomakkuus Hylkäysvrhe ja hyväksymsvrhe Olkoo perusjoukkoa kuvaava parametr ja olkoo parametravaruus el mahdollste parametr arvoje joukko. Olkoo ollahypotees H muotoa H : jossa o jok parametravaruude osajoukko. Tällö vahtoehtoe hypotees H 1 vodaa esttää muodossa H : 1 jossa o jouko komplemett. Jos ollahypotees H hylätää sllo, ku se o tos, tehdää 1. laj vrhe el hylkäysvrhe. Jos ollahypotees H hyväksytää sllo, ku se o epätos, tehdää. laj vrhe el hyväksymsvrhe. Vrheet testauksessa Nollahypotees H o tos Maalma tla Nollahypotees H o epätos Test tulos Nollahypotees H hylätää Nollahypotees H hyväksytää 1. laj vrhe el hylkäysvrhe Okea päätös Okea päätös. laj vrhe el hyväksymsvrhe Olkoo test hylkäysalue el se otosavaruude osajoukko, joka johtaa ollahypotees hylkäämsee R. Olkoo x havatopste. Oletetaa, että ollahypotees H : pätee. Tällö test johtaa ollahypotees H vrheellsee hylkäämsee el 1.laj vrheesee, jos x R Ste 1. laj vrhee el hylkäysvrhee todeäkösyys o Pr ( X R) Vastaavast. laj vrhee el hyväksymsvrhee todeäkösyys o Pr ( X R ) @ Ilkka Mell (1) 16/7
Mat-1.361 Tlastolle päättely 4. Hypoteese testaus Huomaa, että Ste todeäkösyys Pr ( X R ) 1 Pr ( X R) Pr ( X R) ssältää parametr fuktoa kake formaato teststä, joka hylkäysalue o R. Nyt Test vomakkuus 1. laj vrhee todeäkösyys, jos Pr ( X R) 1 (. laj vrhee todeäkösyys), jos Olkoo test hylkäysalue R. Tällö todeäkösyyttä Pr ( X R) kutsutaa parametr fuktoa test vomakkuusfuktoks. Merktää: ( ) Pr ( X R) Hyvä test o vomakas, koska se. laj vrhee todeäkösyys o pe. Ideaalse test vomakkuusfukto ols muotoa, ( ) 1, Tällasta deaaltlaetta e kutekaa saavuteta ku trvaalessa erkostapauksssa. Vomme kutek todeta, että hyvällä testllä () = usemmlle ja () = 1 usemmlle. Osamäärätest tapauksessa test vomakkuusfukto o muotoa Test koko ja test taso ( ) Pr ( ( X) ) Kteälle otoskoolle 1. ja. laj vrhede todeäkösyyksä e voda yleesä tehdä samaakasest melvaltase peks. Sks test kostruodaa tavallsest, että es ktetää 1. laj vrhee todeäkösyys ja stte de teste joukosta, jolla sama 1. laj vrhee todeäkösyys valtaa test, jolla. laj vrhee todeäkösyys o mahdollsmma pe. Olkoo 1 ja olkoo () test vomakkuusfukto. Saomme, että test koko o, jos sup ( ) @ Ilkka Mell (1) 17/7
Mat-1.361 Tlastolle päättely 4. Hypoteese testaus Saomme, että test taso o, jos sup ( ) Kakk evät tee eroa terme koko ja taso välllä. Lsäks test tasoa kutsutaa use merktsevyystasoks. O syytä huomata, että kokoa olevat testt muodostavat osajouko tasoa oleve teste joukossa. Kokoa olevaa testä e välttämättä ole olemassa, mutta vakka ä olsk asalata, saattaa slt olla mahdollsta löytää jok tasoa oleva test. Sovelluksssa test taso valtaa use etukätee so. ee test tekemstä. Tavaomasa valtoja ovat =.1,.5,.1,.1 O syytä huomata, että valtsemalla test taso etukätee vodaa kotrolloda va 1. laj vrhee el hylkäysvrhee todeäkösyyttä. Osamäärätest tapauksessa test tasoks tulee, jos vako valtaa ste, että Harhattomat testt sup ( ) sup Pr ( ( X) ) Test taso lsäks saatamme olla kostueta myös musta test omasuukssta. O järkevää tovoa, että ollahypotees H tulee todeäkösemm hylätyks sllo, ku, ku sllo, ku. Jos testllä o tämä omasuus, kutsutaa testä harhattomaks. Saomme, että test o harhato, jos ( ) ( ) kaklle ja kaklle. Tasasest vomakkammat testt Tarkastellaa sellaste teste luokkaa, jode taso o. Edellsessä kappaleessa todett, että kaklla tähä luokkaa kuuluvlla testellä 1. laj vrhee el hylkäysvrhee todeäkösyys o korketaa kaklle. Optmaalsea testä de teste joukossa, jode taso o, vodaa ptää sellasta testä, jolla o mahdollsmma pe. laj vrhee el hyväksymsvrhee todeäkösyys el mahdollsmma suur vomakkuus kaklle. Olkoo C jok sellaste teste luokka, jolla testataa ollahypoteesa H : vahtoehtosta hypoteesa vastaa. H : 1 @ Ilkka Mell (1) 18/7
Mat-1.361 Tlastolle päättely 4. Hypoteese testaus Luokkaa C kuuluva test, joka vomakkuusfukto o (), o tasasest vomakka (egl. uformly most powerful, UMP) luokassa C, jos kaklle ( ) ( ) ja kaklle luokkaa C kuuluve teste vomakkuusfuktolle (). Tässä kappaleessa tarkastelu kohteea oleva teste luokka o kakke de teste luokka C, jode taso o. Tällö vomme puhua tasasest vomakkammasta tasoa olevasta teststä. Tällasta testä e ole aa olemassa, mutta jos sellae o olemassa, stä vodaa ptää parhampaa tasoa oleve teste luokassa. Neyma ja Pearso lemma: Olkoo ollahypoteesa H : ja vahtoehtosea hypoteesa ja olkoo H : 1 1 f ( x; ),,1 otokse X = (X 1, X,, X ) yhtesjakauma pstetodeäkösyys- ta theysfukto, ku parametr saa arvo, =,1. Tarkastellaa testä, joka hylkäysaluee R määrttelee seuraavat ehdot: O olemassa k ste, että (1) ja () x R, jos f ( x; 1) kf ( x; ) x R, jos f ( x; 1) kf ( x; ) Pr ( X R) Tällö pätee seuraava: () () Ehtoje (1) ja () rttävyys: Jos test toteuttaa ehdot (1) ja (), se o tasasest vomakka tasoa oleva test. Ehtoje (1) ja () välttämättömyys: Jos o olemassa test, joka toteuttaa ehdot (1) ja () jollek k >, jokae tasasest vomakka tasoa oleva test o kokoa el toteuttaa ehdo (). Lsäks jokae tasasest vomakka tasoa oleva test toteuttaa ehdo (1) mahdollsest lukuu ottamatta ollamttasta joukkoa A el joukko A toteuttaa ehdot Pr ( X A) Pr ( X A) 1 @ Ilkka Mell (1) 19/7
Mat-1.361 Tlastolle päättely 4. Hypoteese testaus Todstus: Todstamme lausee va jatkuve jakaume tapauksessa. Todstus dskreette jakaume tapauksessa saadaa korvaamalla tässä estety todstukse tegraalt summlla. Toteamme es, että jokae test, joka toteuttaa ehdo () Pr ( X R) o kokoa ja ste myös tasoa, koska ollahypotees H määrttelemässä parametravaruude osajoukossa o va yks pste, jollo sup Pr ( X R) Pr ( X R) Määrtellää merktöje ykskertastamseks testfukto (x) seuraavalla tavalla: 1, x R ( x), x R Testfukto (x) o dkaattorfukto hylkäysalueelle R. Olkoo (x) testfukto testlle, joka toteuttaa ehdot (1) ja () ja olkoo (x) testfukto melvaltaselle tasoa olevalle testlle. Olkoot () ja () vastaavat vomakkuusfuktot. Koska ( x) 1 ehdosta (1) ja stä, että ja seuraa, että Ste ( x) 1, jos f ( x; ) kf ( x; ) 1 ( x), jos f ( x; ) kf ( x; ) 1 [ ( x) ( x)][ f ( x; ) kf ( x; )] 1 [ ( ) ( )][ f ( ; ) kf ( ; )] d ( ) ( ) k[ ( ) ( )] () x x x 1 x x 1 1 () Ehtoje (1) ja () rttävyys. Todetaa es, että ( ) ( ) ( ) koska o tasoa oleva test ja o kokoa oleva test. Ste epäyhtälöstä () ja stä, että k että seuraa, että jote ( ) ( ) k[ ( ) ( )] ( ) ( ) ( ) ( ) 1 1 1 1 1 1 @ Ilkka Mell (1) /7
Mat-1.361 Tlastolle päättely 4. Hypoteese testaus () Ste test o vomakkaamp ku test. Koska ol melvaltae tasoa oleva test ja vahtoehtose hypotees H 1 määrttelemässä parametravaruude osajoukossa 1 o va yks pste 1, o tasasest vomakka tasoa oleva test. Ehtoje (1) ja () välttämättömyys. Olkoo (x) testfukto melvaltaselle tasasest vomakkammalle tasoa olevalle testlle. Kohda () mukaa jokae test, joka toteuttaa ehdot (1) ja () o myös tasasest vomakka tasoa oleva test. Ste ( ) ( ) 1 1 Koska k >, epäyhtälöstä () seuraa, että ( ) ( ) ( ) Koska o tasoa oleva test, ja edellee ( ) ( ) ja ste o kokoa oleva test. Lsäks epäyhtälössä () o vomassa yhtäsuuruus. Epäyhtälö () e-egatvse tegrotava [ ( x) ( x)][ f ( x; ) kf ( x; )] 1 tegraal vo olla olla va, jos test toteuttaa ehdo (1) mahdollsest lukuu ottamatta ollamttasta joukkoa A, jolle f ( x; ) dx,,1 A Ste myös kohda () väte o todstettu. Seuraava korollaar lttää tuusluvu tyhjetävyyde Neyma ja Pearso lemmassa tarkasteltuu testaus-asetelmaa. Korollaar: Olkoo testausasetelma sama ku Neyma ja Pearso lemmassa. Olkoo T(X) parametr tyhjetävä tuusluku ja olkoo g(t; ), =,1 tuusluvu T pstetodeäkösyys- ta theysfukto, ku parametr saa arvo, =,1. Tarkastellaa tuuslukuu T perustuvaa testä, joka hylkäysalue S saadaa seuraavsta ehdosta: O olemassa k ste, että (1) x S, jos g( t; 1) kg( t; ) x S, jos g( t; 1) kg( t; ) @ Ilkka Mell (1) 1/7
Mat-1.361 Tlastolle päättely 4. Hypoteese testaus ja () Todstus: Pr ( T S) Tällö pätee seuraava: Jos test toteuttaa ehdot (1) ja (), se o tasasest vomakka tasoa oleva test. Otokse X suhtee, tuuslukuu T perustuva test hylkäysalue o R { x T ( x) S} Koska tuusluku T o tyhjetävä parametrlle, faktorotteoreemasta (ks. lukua ) seuraa, että otokse X yhtesjakauma pstetodeäkösyys- ta theysfukto f(x; ), =,1 vodaa esttää muodossa f ( x; ) g( T ( x); ) h( x),,1 jollek e-egatvselle fuktolle h(x). Kertomalla ehdo (1) epäyhtälöt fuktolla h(x) ähdää, että x R, jos f ( x; 1) g( T ( x); 1) h( x) kg( T ( x); ) h( x) kf ( x; ) x R, jos f ( x; 1) g( T ( x); 1) h( x) kg( T ( x); ) h( x) kf ( x; ) Lsäks ehdosta () seuraa, että Pr ( X R) Pr ( T ( X) S) Ste Neyma ja Pearso lausee kohdasta () seuraa, että tuuslukuu T perustuva test o tasasest vomakka tasoa oleva test. Kutsumme Neyma ja Pearso lemma hypoteeseja H ja H 1 ykskertasks, koska e kumpk kttävät va yhde todeäkösyysjakauma otokselle X. Tavallsest haluamme kutek ataa kostukse kohteea oleve hypoteese kttää useampa todeäkösyysjakauma otokselle. Tällasa hypoteeseja kutsutaa yhdstetyks. Esmerkkejä yhdstetystä hypoteesesta ovat ykssuutaset hypoteest H : ta H : H : ta H : sekä kakssuutae hypotees H : Koska tasasest vomakkamma test määrtelmässä vaadtaa, että test o oltava vomakka kaklle, Neyma ja Pearso lemmaa vodaa soveltaa use soveltaa myös tlatessa, jossa hypoteest H ja H 1 ovat yhdstettyjä. Sellae teste luokka, jossa ykssuutaselle hypoteeslle vodaa kostruoda tasasest vomakka tasoa oleva test, o de teste luokka, jotka perustuvat mootosee uskottavuusosamäärää. @ Ilkka Mell (1) /7
Mat-1.361 Tlastolle päättely 4. Hypoteese testaus Olkoo { g( t; ); } yksulottese satuasmuuttuja T pstetodeäkösyys- ta theysfuktode perhe, joka rppuu parametrsta. Perheellä o mootoe uskottavuusosamäärä, jos osamäärä g( t; ) g( t; ) 1 o kaklle > 1 muuttuja t mootoe (e-kasvava ta e-väheevä) fukto joukossa Tehdää sopmus, että { t g( t; ) ta g( t; ) } 1 / =, jos > Molla tavallslla jakaumlla o mootoe uskottavuusosamäärä. Tällasa jakauma ovat esmerkks ormaaljakauma, jossa odotusarvoparametr o tutemato ja varass o tuettu, Posso-jakauma ja bomjakauma. Vodaa tse asassa osottaa, että kaklla sääöllsee ekspoettperheesee g( t; ) h( t)exp[ w( ) t] kuuluvlla jakaumlla o mootoe uskottavuusosamäärä, jos w() o parametr e-väheevä fukto. Karl ja Rub teoreema: Todstus: Olkoo ollahypoteesa H : ja vahtoehtosea hypoteesa H : 1 Olkoo tuusluku T tyhjetävä parametrlle ja oletetaa lsäks, että tuusluvu T jakaume perheellä { g( t; ) } o mootoe uskottavuusosamäärä. Valtaa t. Jokae test, joka hylkää ollahypotees H, jos ja va jos T > t o tasasest vomakka tasoa oleva test, jossa Olkoo Pr ( T t ) ( ) Pr ( T t ) test vomakkuusfukto. Valtaa > ja tarkastellaa testä, jossa testataa ollahypoteesa H : vahtoehtosta hypoteesa @ Ilkka Mell (1) 3/7
Mat-1.361 Tlastolle päättely 4. Hypoteese testaus vastaa. H : 1 Koska tuusluvu T jakaume perheellä o mootoe uskottavuusosamäärä, vomakkuusfukto () o e-väheevä. Tästä seuraa: () () sup ( ) ( ) ja test taso o. Jos määrttelemme suuree jossa g( t; ) k f t g( t; ) { t t t ja joko g( t; ) ta g( t; ) } g( t; ) T t k g( t; ) Ste kohdsta () ja () seuraa Neyma ja Pearso lausee korollaar ojalla, että ( ) ( ) jossa () o melvaltase tose tasoa oleva ollahypotees H test vomakkuusfukto el sellase test vomakkuusfukto, jolle ( ) Tosaalta melvaltase tasoa oleva ollahypotees H test vomakkuusfukto toteuttaa ehdo Ste ( ) sup ( ) ( ) ( ) melvaltaselle tasoa oleva ollahypotees H testlle. Koska ol melvaltae, test o tasasest vomakka tasoa oleva test. Vastaavast, jos ollahypotees o muotoa H : ja vahtoehtoe hypotees o muotoa H : 1 @ Ilkka Mell (1) 4/7
Mat-1.361 Tlastolle päättely 4. Hypoteese testaus ja Karl ja Rub lausee ehdot pätevät, jokae test, joka hylkää ollahypotees H, jos ja va jos T < t o tasasest vomakka tasoa oleva test, jossa Pr ( T t ) Test p-arvo Test tekemse jälkee test tuloksesta ptää kertoa jollak tlastollsest merktsevällä tavalla. Eräs mahdollssta tavosta o kertoa test koko ja se hylättkö va hyväksyttkö ollahypotees H. Jos test koko ol pe, päätös hylätä ollahypotees H perustuu suhteellse vahvoh todstes ollahypoteesa vastaa. Se sjaa, jos test koko ol suur, päätös hylätä ollahypotees H e perustu kov vahvoh todstes ollahypoteesa vastaa. Toe mahdolle tapa kertoa test tuloksesta o lmottaa tuusluku, jota kutsutaa test p- arvoks. Test p-arvo p(x) o tuusluku, joka toteuttaa ehdo p( x) 1 jokaselle havatopsteelle x. Pe p-arvo vttaa she, että vahtoehtoe hypotees H 1 o tos. Saomme, että p-arvo o kelvolle, jos Pr ( p( X) ) kaklle ja kaklle, 1. Jos p(x) o kelvolle p-arvo, vodaa helpost kostruoda tasoa oleva test. Test, joka hylkää ollahypotees H, jos ja va jos o tasoa. p( x) Test p-arvo p(x) kertome ssältää aa eemmä formaatota ku se, että kerrotaa va test taso ja se hylättkö va hyväksyttkö ollahypotees H. (Lähes) kakk tlastollset ohjelmstot kertovatk ykyää test p-arvo. Seuraavaa lauseesee ssältyy yles tapa määrtellä kelvolle p-arvo. Lause: Todstus: Olkoo W(X) testsuure, joka suuret arvot vttaavat she, että vahtoehtoe hypotees H 1 pätee. Olkoo p( x) sup Pr ( W ( X) W ( x)) Tällö p(x) o kelvolle p-arvo. Valtaa. Olkoo F ( w) tuusluvu W(X) kertymäfukto ja olkoo p ( x) Pr ( W ( X) W ( x)) Pr ( W ( X) W ( x)) F ( W ( x)) @ Ilkka Mell (1) 5/7
Mat-1.361 Tlastolle päättely 4. Hypoteese testaus Ste satuasmuuttuja p ( x) jakauma o stokastsest suuremp ta yhtä suur ku välllä (,1) määrtelty jatkuva tasae jakauma Uform(,1). Jos satuasmuuttuja p ( x) o jatkuva tämä seuraa stä, että aa pätee seuraava: Olkoo X jatkuva satuasmuuttuja, joka kertymäfukto o F X ja olkoo Tällö Y = F X (X) Y Uform(,1) ts. Pr( Y y) y kaklle y, < y < 1. Väte vodaa perustella myös sllo, ku satuasmuuttuja p ( x) o dskreett. Stokaste suuremmuus: Olkoo X FX ja Y FY. Satuasmuuttuja X o stokastsest suuremp ta yhtä suur ku satuasmuuttuja Y, jos F ( t) F ( t) X kaklle t. Tällö Y Pr( X t) Pr( Y t) kaklle t. Jos X o stokastsest suuremp ku Y, satuasmuuttujalla X o tapumus saada suurempa arvoja ku satuasmuuttujalla Y. Edellä todetusta seuraa, että Koska kaklle, Pr ( p ( X) ) p( x) sup p ( x) p ( x) Pr ( p( X) ) Pr ( p ( X) ) mkä pätee kaklle ja kaklle, 1. Ste p(x) o kelvolle p-arvo. Toe tapa määrtellä kelvolle p-arvo perustuu ehdollstamsee tyhjetävä tuusluvu suhtee. Olkoo tuusluku S(X) tyhjetävä ollahypotees H määrttelemälle malllle { f ( x; ) } Jos ollahypotees H o tos, otokse X ehdolle jakauma ehdolla S = s e rpu parametrsta. Olkoo W(X) testsuure, joka suuret arvot vttaavat she, että vahtoehtoe hypotees H 1 pätee. @ Ilkka Mell (1) 6/7
Mat-1.361 Tlastolle päättely 4. Hypoteese testaus Olkoo p( x) Pr( W ( X) W ( x) S S( x)) Samatapasella argumetlla ku edellsessä lauseessa vodaa todstaa, että Pr( p( X) S s) kaklle, 1. Jos S o dskreett satuasmuuttuja, Pr ( p( X) ) Pr( p( X) S s) Pr ( S s) Pr ( S s) s s jote p(x) o kelvolle p-arvo. Jos S o jatkuva satuasmuuttuja, summalausekkeet yllä olevssa kaavossa o korvattava tegraalella. @ Ilkka Mell (1) 7/7