1.1 Estimatorers egenskaper: forventningsretthet, varians, MSE og konsistens
Hva gjør en estimator god — forventningsretthet, varians, skjevhet, MSE og konsistens — og hvordan to estimatorer sammenlignes og den beste velges.
- Sjanger B (estimator-egenskaper) er arbeidshesten her: vis at en estimator er forventningsrett, regn ut variansen, sammenlign to estimatorer. Sjanger betyr bare «oppgavetype» — boka gir hver type en bokstav (A–P) så du kjenner den igjen; B er «egenskaper ved estimatorer».
- Estimator-sammenligning på varians i cirka 30 % av settene (moment mot ML, eller to andre kandidater).
- Konsistens via Tsjebysjeff i cirka 18 % (typisk et siste deltrinn).
Sensorens hardeste krav her: skill estimator (stor bokstav — en tilfeldig størrelse) fra estimat (liten — ett tall). Å blande dem er den vanligste trekkbelastningen. Vis dessuten forventningsretthet og varians fullstendig — hopp aldri over et ledd. Prioritet: må sitte perfekt.
Du trenger trygg derivasjon og enkel algebra; vil du friske opp, se R1 4.1 Derivasjonsregler. Alt det statistiske forklares her.
Når du har et datasett, vil du gjette verdien av en ukjent parameter — forventet levetid, en sannsynlighet, en varians. Regelen du bruker for å regne gjettet ut av dataene, kalles en estimator. Men hvordan vet du at én regel er bedre enn en annen?
Dette kapitlet gir de fire målestokkene sensor bruker: forventningsretthet (treffer estimatoren i snitt riktig?), varians (hvor mye spriker den?), MSE (hvordan veies bom mot spredning når estimatoren er skjev?) og konsistens (nærmer den seg sannheten når utvalget vokser?). Med dem kan du sammenligne to estimatorer og begrunne valget — nettopp det oppgave 1 spør om.
Kapitlet er bygget som fire læringsløkker: hver går teori → gjennomregnet eksempel → øvingsoppgave, så du arbeider deg gjennom stoffet bit for bit.
Løkke 1 — Estimator, estimat og forventningsretthet (~14 min)
Det aller første sensor ser etter, er om du holder to ting fra hverandre: regelen (en tilfeldig variabel, fordi den avhenger av det tilfeldige utvalget) og tallet den gir på ett konkret datasett. Vi bruker store bokstaver for det tilfeldige og små for tallet — konsekvent gjennom hele boka.
En estimator er en regel — en funksjon av de tilfeldige observasjonene — som vi bruker for å anslå en ukjent parameter . Fordi den er en funksjon av tilfeldige variabler, er estimatoren selv en tilfeldig variabel med sin egen fordeling, forventning og varians. Vi skriver den med hatt og stor bokstav: (eller når konteksten er klar). Eksempel: er en estimator for forventningen .
Et estimat er tallet estimatoren gir når du setter inn de faktisk observerte verdiene . Det er ikke tilfeldig — det er ett fast tall. Skrivemåte med små bokstaver: . Merk skillet: (estimator) har en varians; (estimat) er bare et tall. Å si «variansen til estimatet» er en kategorifeil sensor straffer.
En punktestimator gir ett enkelt tallanslag for parameteren (i motsetning til et intervallestimat, som gir et helt intervall — det kommer i Del 2). Alle estimatorene i dette kapitlet er punktestimatorer.
En god estimator bør treffe riktig i gjennomsnitt over mange tenkte gjentakelser av forsøket. Det er nettopp det forventningsretthet måler.
Tolkning: gjentar du forsøket uendelig mange ganger, blir gjennomsnittet av estimatene lik den sanne verdien. Estimatoren bommer ikke systematisk — den kan spre seg, men sentreres riktig.
Er , er estimatoren forventningsrett. Positiv skjevhet betyr at estimatoren i snitt ligger for høyt, negativ for lavt. Når en oppgave ber om en forventningsrett estimator, skal du kvantifisere skjevheten og korrigere den (gange med en passende konstant).
La være uavhengige med . Vis at er en forventningsrett estimator for .
Siden for enhver , er forventningsrett. Skjevheten er .
Merk språket: (stor bokstav) er estimatoren vi tar forventningen av; ett konkret tallsvar ville vært estimatet.
La være uavhengige med . Betrakt estimatoren (bare de tre første, likt vektet).
a) Er forventningsrett for ?
b) Hva blir skjevheten hvis du i stedet bruker ?
Ikke alle naturlige estimatorer er forventningsrette. Det viktigste eksempelet er variansestimatoren med divisor — den bommer systematisk litt for lavt.
Intuisjon: når du måler spredning rundt i stedet for rundt den ukjente , undervurderer du spredningen litt, fordi ligger nærmere dine egne data enn gjør. Derfor deler vi på , ikke .
Divisoren er (ikke ) nettopp for å nøytralisere at avvikene måles fra og ikke fra den ukjente . Tallet kalles frihetsgrader og går igjen i hele Del 2.
La være uavhengige med varians . Betrakt (divisor — dette er ML-estimatoren fra kap. 1.2). Finn skjevheten og angi en forventningsrett korreksjon.
Skjevheten blir
så ML-estimatoren bommer systematisk for lavt, og bommen krymper som . Den forventningsrette korreksjonen er å gange med :
Tallsjekk (): , skjevhet .
En estimator har .
a) Finn skjevheten .
b) Finn en konstant slik at er forventningsrett for .
Løkke 2 — Varians, standardfeil og effisiens (~14 min)
To forventningsrette estimatorer treffer begge riktig i snitt — men den ene kan sprike langt mer enn den andre fra gang til gang. Målestokken for spriket er variansen, og den avgjør hvilken estimator du bør foretrekke.
Blant to eller flere forventningsrette estimatorer for samme parameter kalles den med minst varians den mest effisiente. Effisiens = presisjon: den effisiente estimatoren utnytter dataene best. Å velge den mest effisiente er standardsvaret på «hvilken estimator foretrekker du, og hvorfor?».
Er to estimatorer begge forventningsrette for , velger du den med minst varians (den mest effisiente). Dette er den korrekte sammenligningen bare når begge er forventningsrette; er den ene skjev, må du bruke MSE i stedet (løkke 3).
La oss se hvorfor er en god idé, ved å sammenligne estimatorer som bruker ulikt antall observasjoner.
Intuisjon: jo flere uavhengige observasjoner du midler over, desto mer utjevnes tilfeldighetene — variansen synker som . En estimator som bare bruker noen få observasjoner, kaster bort informasjon.
La () være uavhengige med , . Sammenlign med . Begge er forventningsrette (løkke 1). Hvilken foretrekker du?
For er , så har minst varians og er mest effisient. Konklusjon: foretrekk — den bruker all informasjonen, mens kaster bort observasjoner.
Tallsjekk (): mot — har tre ganger mindre varians.
a) Vis at er forventningsrett.
b) Regn ut og avgjør med begrunnelse hvilken av og du foretrekker for .
Skal du kombinere to uavhengige, forventningsrette estimatorer med varianser til én forventningsrett estimator , oppnås minst varians ved å vekte omvendt proporsjonalt med variansene: . Den mest presise estimatoren får størst vekt.
To laboratorier måler samme størrelse uavhengig og forventningsrett: med og med (samme enhet). Finn vekten i som gir minst varians, og angi den minste variansen.
Deriver og sett lik null: . Dette stemmer med invers-varians-formelen . Minste varians:
Legg merke til at er mindre enn begge de opprinnelige variansene ( og ) — å kombinere lønner seg alltid.
To uavhengige, forventningsrette estimatorer for har og . Finn den vekten i som minimerer variansen, og regn ut den minste variansen.
Løkke 3 — MSE når estimatoren er skjev (~13 min)
Sammenligning på varians alene forutsetter at begge estimatorene er forventningsrette. Men noen ganger er en litt skjev estimator faktisk bedre — fordi den spriker mye mindre. For å veie bom mot spredning i ett tall bruker vi middels kvadratisk feil (MSE).
Den straffer både spredning og systematisk bom, og er det riktige sammenligningsmålet når estimatorene ikke begge er forventningsrette. Mindre MSE er bedre.
For en forventningsrett estimator () er . Formelen viser avveiingen: en liten skjevhet kan lønne seg hvis den kjøper en stor variansreduksjon. Utledning: , der krysstoget forsvinner fordi .
Når minst én estimator er skjev, sammenlignes de på MSE, ikke varians: velg den med minst . Å sammenligne en skjev og en forventningsrett estimator på varians alene er en klassisk feil — variansen ser da lav ut nettopp fordi estimatoren jukser mot en gal verdi.
Har de to estimatorene ulik skjevhet, er det feil å velge den med minst varians. En sterkt skjev estimator (for eksempel den konstante ) har varians 0, men er ubrukelig. Bruk MSE = når minst én estimator er skjev — det er sensorkravet.
Et slående eksempel: blant alle estimatorer på formen for normalvariansen er verken (divisor ) eller ML-estimatoren (divisor ) den med minst MSE — det er en enda mer skjev estimator.
Intuisjon: ved å krympe estimatoren litt ekstra (mindre ) ofrer du litt forventningsretthet, men kutter variansen mer enn skjevheten koster. MSE-optimum ligger derfor ved en bevisst skjev estimator.
La være uavhengige og . Fra formelsamlingen: , så og (en med frihetsgrader har varians ). Blant estimatorene , finn som minimerer MSE, og sammenlign med og ML-estimatoren for , .
MSE (i enheter av ), med :
Deriver med hensyn på og sett lik null: .
Så den MSE-optimale estimatoren er — skjev (den deler på ). For , (altså ):
| Estimator | MSE | |
|---|---|---|
| (forventningsrett) | ||
| ML () | ||
| MSE-optimal () |
Den forventningsrette har størst MSE av de tre; den bevisst skjeve -estimatoren har minst. Poeng: forventningsretthet er ikke alltid det samme som «best» — MSE avgjør.
To estimatorer for : er forventningsrett med ; har skjevhet og .
a) Regn ut MSE for begge.
b) Hvilken foretrekker du, og hvorfor er varians-sammenligning her misvisende?
Løkke 4 — Konsistens (~14 min)
Den siste egenskapen handler om hva som skjer når utvalget vokser: en god estimator bør nærme seg sannheten når . Dette er konsistens, og standardverktøyet for å vise det er Tsjebysjeffs ulikhet.
Med andre ord: sannsynligheten for å bomme mer enn en vilkårlig liten dør ut når utvalget vokser.
Ulikheten binder sannsynligheten for et stort avvik til variansen — jo mindre varians, desto mindre sjanse for å bomme mye. Det er broen fra «variansen går mot 0» til «estimatoren treffer».
En estimator er konsistent for dersom når . Tommelfingerregel (den du bruker på eksamen): er estimatoren forventningsrett (eller asymptotisk forventningsrett) og , så er den konsistent. Da går nemlig , og Tsjebysjeff gir resten.
Intuisjon: høyresiden er en øvre grense for bomsannsynligheten. Går både variansen og skjevheten mot 0, går hele brøken mot 0 for enhver fast — altså konsistens. Dette er den korte, komplette begrunnelsen. (Den generelle formen av Tsjebysjeff-ulikheten med erstattet av og erstattet av MSE holder fordi per definisjon er MSE.)
La være uavhengige med og . Vis at er en konsistent estimator for .
Altså — er konsistent. (Dette er selve loven om store tall, utledet via Tsjebysjeff.)
En estimator har og .
a) Er forventningsrett? Er den asymptotisk forventningsrett?
b) Vis at er konsistent.
- Blande estimator og estimat. (stor bokstav) er en tilfeldig variabel med varians; (tall) er ett estimat. «Variansen til estimatet» er meningsløst — sensor trekker.
- Glemme å kvantifisere/korrigere skjevhet når oppgaven ber om en forventningsrett estimator. Regn ut og gang med korreksjonsfaktoren.
- Sammenligne estimatorer på varians når de har ulik skjevhet. Bruk MSE .
- Ufullstendig variansutledning. Vis alle ledd: (uavhengige) — ikke bare skriv svaret.
- Divisor mot . er skjev; med er forventningsrett.
Blandet drill (sjanger B, stigende)
Forklar med én setning hver forskjellen på: a) estimator og estimat; b) forventningsrett og konsistent.
a) Vis at er forventningsrett for .
b) Finn og vis at er konsistent.
En forventningsrett estimator har varians . En konkurrent krymper den litt.
a) Finn skjevheten til .
b) Uttrykk ved .
(Kald oppgave — momentliste som fasit.) er uavhengige . Sammenlign ML-variansestimatoren og som estimatorer for : forventningsrett/skjev, og hvem har minst MSE? Bruk der .
Begrepsbank
Å gange en skjev estimator med en konstant som fjerner skjevheten. Har forventning , er forventningsrett. Eksempel: .
En estimator er asymptotisk forventningsrett dersom skjevheten går mot 0 når : . Svakere krav enn forventningsrett, men nok (sammen med ) for konsistens.
Fordelingen til en estimator over alle mulige utvalg av størrelse . Estimatorens forventning og varians er forventning og varians i denne fordelingen — ikke i datafordelingen.
Forholdet mellom variansene til to forventningsrette estimatorer, . Er forholdet , er mer effisient. Et tall på hvor mye informasjon den dårligere estimatoren kaster bort.
Den forventningsrette estimatoren med aller minst varians blant alle forventningsrette. ML-estimatoren når ofte denne grensen i store utvalg. Nedre grense for variansen gis av Cramér–Rao (kap. 1.3). (Prioritet: kjenne til.)
Den inverse variansen . Høy presisjon = liten varians. Invers-varians-vekting er å vekte hver estimator med sin presisjon.
Differansen mellom estimator og sann parameter — selv en tilfeldig variabel med forventning og varians . MSE er forventet kvadrert estimeringsfeil.
Ingen forventningsrett estimator kan ha mindre varians enn , der er Fisher-informasjonen (kap. 1.3). Setter en teoretisk bunn for hvor presis en forventningsrett estimator kan være. (Prioritet: kjenne til — utdypes i kap. 1.3.)
Gjennom hele boka: store bokstaver (, , , ) er tilfeldige variabler; små bokstaver (, , ) er observerte tall. Denne konvensjonen er selve skillet estimator/estimat og et fast sensorpoeng.
At når — utvalgsgjennomsnittet konvergerer mot forventningen. I denne boka utledes den som et spesialtilfelle av konsistens via Tsjebysjeff (eksempel 6).
Et estimat skal ligge i parameterens gyldige område (en varians , en sannsynlighet i ). Ligger estimatet utenfor, er noe galt — en billig, men effektiv selvsjekk sensor forventer.
Dette kapitlet er skrevet av Anthropics toppmodeller (Claude Opus og Claude Fable) og er foreløpig ikke manuelt gjennomgått — kvalitetskontrollen gjøres av uavhengige KI-agenter, og innmeldte feil rettes fortløpende. Funnet en feil? Meld fra, så retter vi den. Les mer om hvordan innholdet lages.
Skolesaga er en uavhengig læringsressurs og er ikke tilknyttet eller godkjent av Universitetet i Oslo. Dette er ikke offisielt studiemateriell. Les mer.