4.1 Transformasjonsteknikkene og ordningsvariable
CDF-metoden, MGF-teknikken og min/maks av uavhengige variable — verktøyene som identifiserer fordelinger og bygger pivotaler.
*Dette kapitlet gir deg tre verktøy for å finne fordelingen til en ny variabel som er bygget av en gammel — og broen videre til konfidensintervallene i Del 6.
- Transformasjon (sjanger D — en oppgave der du får en variabel med kjent fordeling og skal finne fordelingen til ) er i ≈59 % av settene, stabilt. Den er «nesten alltid broen til konfidensintervallet». Prioritet: kunne (det midterste nivået).
- Ordningsvariable (sjanger K — fordelingen til den minste eller største av flere variable, som første eller siste komponent som svikter) er i ≈22 % av settene, og høyere 2022–24. Prioritet: kjenne (det laveste av de tre nivåene) — men den «gir differensiering på toppkarakterene».
Hva sensor måler: at du bruker fordelingsfunksjonsteknikken (CDF-metoden) aktivt — løser ulikheten, setter inn , deriverer til tetthet — og at du oppgir entydighetsargumentet når du identifiserer en fordeling via MGF («MGF-en bestemmer fordelingen»).
Formelsamlingen (hjelpemiddelkode C — formelsamlingen «Tabeller og formler i statistikk», som alltid er tillatt) har en MGF-katalog du kan slå opp i for å gjenkjenne en sum. Men selve teknikkene — CDF-regningen, produktregelen for MGF-er, min/maks-formlene — må utledes aktivt*. De står ikke som ferdige svar.
Fra matematikken trenger du å kunne derivere sammensatte funksjoner (kjerneregelen) og løse enkle ulikheter for . Vi bygger opp hver teknikk fra bunnen.
Et momentgenererende funksjon (MGF) er en funksjon som er knyttet entydig til fordelingen — vi bruker den bare som et identifikasjonsverktøy her, og slår opp de ferdige MGF-ene i formelsamlingen. Kapitlet er selv forkunnskap for drillen i kap. 4.2 (der utledes fullt ut) og for pivotal-konfidensintervallene i Del 6.
Vi har til nå studert fordelinger «slik de kommer». Men eksamen spør stadig om noe annet: gitt at har en kjent fordeling, hva er fordelingen til en funksjon av den — , , eller minimum av flere levetider? Det er nettopp dette som gjør pivotal-metoden for konfidensintervall mulig, så teknikkene her er broen inn i inferensdelen.
Vi går i tre løkker, hver med teori → eksempel → oppgave. Løkke 1 er hovedverktøyet: CDF-metoden, som finner fordelingen til ved å regne på fordelingsfunksjonen. Løkke 2 er MGF-teknikken, som identifiserer fordelingen til en sum av uavhengige variable. Løkke 3 er ordningsvariable — fordelingen til den minste (min) og største (maks) av flere variable, som styrer serie- og parallellsystemer.
Samlet kjernetid ≈ 60 min. Naturlige pausepunkter er markert mellom løkkene.
Løkke 1 — CDF-metoden (~20 min)
For en voksende (monotont økende) løser vi ulikheten til , slik at
Tettheten får vi ved å derivere: . Tre trinn: (1) skriv , (2) løs ulikheten og sett inn , (3) deriver til tetthet. Metoden virker for enhver monoton — det er standardverktøyet for sjanger D.
Levetiden (i år) til en komponent er eksponensialfordelt med forventning , altså for . Bruk fordelingsfunksjonsteknikken til å finne fordelingen (fordelingsfunksjon og tetthet) til .
Trinn 2 — løs ulikheten og sett inn . Kvadrering er en voksende operasjon for positive tall, så :
Trinn 3 — deriver til tetthet. Med kjerneregelen (deriver til ):
Dette er faktisk en Weibull-fordeling med form og skala — men vi trengte ikke kjenne navnet; CDF-metoden ga svaret direkte. Kontroll: med er , i tråd med .
(Innstegsoppgave.) er uniformt fordelt på , med for . La .
a) Skriv opp og løs ulikheten for .
b) Finn og tettheten , og angi hvilken fordeling har.
Merk komplementet : det er den vanligste fellen i CDF-metoden. Eksempler på avtakende : , , . Sjekk alltid om er voksende eller avtakende før du fjerner -tegnet — det avgjør om du får eller .
Trinn 1–2. For :
Her snudde ulikheten da vi delte på (gikk fra til ). Videre, med på og :
Trinn 3. for .
Dette er en eksponensialfordeling med forventning 1. (Nettopp denne sammenhengen — at av en uniform blir eksponensial — er grunnlaget for inversjonsmetoden i simuleringsdelen.) Hadde vi glemt å snu ulikheten, ville vi feilaktig fått , som ikke engang er en gyldig fordelingsfunksjon (den avtar) — et nyttig varsku.
a) Finn ved CDF-metoden.
b) Finn tettheten og angi støtten (hvilke den gjelder for).
c) Finn .
Løkke 2 — MGF-teknikken for summer (~20 min)
1. Produktregelen: for uavhengige variable er MGF-en til summen produktet av MGF-ene:
2. Entydighet: to fordelinger med samme MGF er den samme fordelingen — «MGF-en bestemmer fordelingen».
Arbeidsflyten: regn (eller slå opp) , gang dem sammen, og kjenn igjen produktet som MGF-en til en kjent fordeling i formelsamlingens MGF-katalog. Entydigheten er det som lar oss konkludere — den må sies eksplisitt, ellers har du bare regnet ut en funksjon uten å ha identifisert noe.
La være uavhengige Bernoulli-variable, hver med og . MGF-en til én slik variabel er . Bruk MGF-teknikken til å finne fordelingen til .
Identifikasjon. I formelsamlingens MGF-katalog står MGF-en til en binomisk variabel nettopp som . Ved entydighetsargumentet — MGF-en bestemmer fordelingen — er derfor
Dette bekrefter tolkningen vi allerede kjenner: antall suksesser i uavhengige forsøk er binomisk. Poenget her er metoden: vi identifiserte fordelingen uten å summere sannsynligheter, bare ved å kjenne igjen MGF-en og påberope entydigheten.
MGF-en til en eksponensialfordelt variabel med forventning er (for ). To komponenter har uavhengige, eksponensialfordelte levetider, hver med forventning . La .
a) Skriv opp ved produktregelen.
b) MGF-en til en gamma-variabel er . Hvilken fordeling har ?
La være uavhengige eksponensialfordelte levetider, hver med forventning , og MGF . La .
a) Bruk MGF-teknikken til å identifisere fordelingen til , med eksplisitt entydighetsargument.
b) Finn og (bruk at gamma har , ).
c) Med og : hva er og ?
Løkke 3 — Ordningsvariable: min og maks (~20 min)
Maksimum. At betyr at alle er . Ved produktregelen for uavhengige:
Minimum. Her er det lettest å gå om halen: at betyr at alle er :
Tettheter fås ved derivasjon. Tolkning: et seriesystem svikter når den første komponenten svikter — samlet levetid er . Et parallellsystem (redundans) lever så lenge minst én komponent holder — samlet levetid er .
Fire pumper står i parallell (systemet virker så lenge minst én pumpe virker). Levetidene (i år) er uavhengige og eksponensialfordelte med forventning år, altså . La være tiden til siste pumpe svikter.
a) Utled fordelingsfunksjonen og tettheten .
b) Finn sannsynligheten for at systemet lever lenger enn 6 år.
Tettheten ved derivasjon (kjerneregel, med ):
b) . Med : .
Merk fellen: her ganger vi fordelingsfunksjonene (), vi legger dem ikke sammen.
a) Skriv opp ved å bruke at alle må være .
b) Hvilken fordeling har ?
Tre lyspærer står i parallell; rommet er opplyst så lenge minst én lyser. Levetidene (i tusen timer) er uavhengige og eksponensialfordelte med forventning , altså . La være tiden til det siste rommet blir mørkt.
a) Er et minimum eller et maksimum? Skriv opp .
b) Finn .
Et system har to komponenter med uavhengige, eksponensialfordelte levetider, hver med forventning år.
a) Koblet i serie (systemet svikter når første komponent svikter): hvilken fordeling har systemlevetiden , og hva er ?
b) Finn for seriesystemet.
c) Koblet i parallell i stedet: skriv opp (du trenger ikke regne ut tallet), og forklar med én setning hvorfor parallellsystemet er sikrere.
- Addere i stedet for å multiplisere fordelingsfunksjoner for maksimum. — et produkt, fordi alle må være . Å legge sammen -ene er galt.
- Bruke der kreves for minimum. For går du om halen: , deretter .
- Glemme å snu ulikheten for en avtakende transformasjon. Er avtakende, blir , som gir . Sjekk alltid om vokser eller avtar først.
- Derivere feil ledd i kjerneregelen. Når du deriverer , må du gange med . En glemt indre derivert gir feil tetthet.
- Identifisere en MGF uten å oppgi entydighetsargumentet. Å regne ut er ikke nok; du må si at MGF-en bestemmer fordelingen for å konkludere .
Begrepsbank til eksamen
Teknikk- og formelkortene for transformasjoner og ordningsvariable, samlet i kortform.
Begrepsbanken er flashcard-/repetisjonsstoff — den gjentar det du nettopp har lest. Hopp trygt over ved førstegangslesing; tidsanslaget gjelder kjernestoffet.
For : (1) skriv ; (2) løs ulikheten for og sett inn (voksende : ; avtakende : ); (3) deriver for å få tettheten . Dette er standardverktøyet for sjanger D — den identifiserer fordelingen til en transformert variabel.
Er avtakende, snur ulikheten: , som gir . Glemmer du dette, får du et uttrykk som avtar med — ikke en gyldig fordelingsfunksjon. Test alltid om vokser eller avtar (f.eks. , , er alle avtakende) før du fjerner -tegnet.
Tettheten til den transformerte variabelen er den deriverte av dens fordelingsfunksjon: . Bruk kjerneregelen — når , blir . Den glemte indre deriverte er en klassisk regnefeil. Angi til slutt støtten (hvilke tettheten gjelder for).
Er variablene identisk fordelte med felles MGF , blir dette . Dette er hovedverktøyet for å identifisere fordelingen til en sum uten å summere sannsynligheter. MGF-en er definert som .
To fordelinger med samme momentgenererende funksjon er den samme fordelingen — «MGF-en bestemmer fordelingen». Når du har regnet ut og kjent den igjen i katalogen, må du si dette eksplisitt for å konkludere. Uten entydighetsargumentet har du bare regnet ut en funksjon; det er entydigheten som gjør identifikasjonen gyldig (en fast sensor-markør).
De tre som går igjen på eksamen: sum av uavhengige Bernoulli binomisk; sum av uavhengige eksponensial gamma; sum av uavhengige kvadrater av . MGF-ene står i formelsamlingen (hjelpemiddelkode C) — tren oppslaget: regn produktet, finn det i katalogen, påberop entydigheten.
Begrunnelse: betyr at alle er , og produktregelen for uavhengige gir produktet. Tettheten ved derivasjon. Maksimum styrer parallellsystemer (systemet lever til siste komponent svikter).
Tettheten . Minimum styrer seriesystemer (systemet svikter når første komponent svikter).
Minimum av uavhengige eksponensiale, hver med forventning , er igjen eksponensialfordelt, med forventning : . Første svikt i et seriesystem kommer altså i snitt ganger raskere enn for én komponent. (Maksimum av eksponensiale er derimot ikke eksponensial — der må du regne med .)
For ordningsvariable multipliseres fordelingsfunksjoner (eller haler), aldri adderes: og . Å skrive eller er feil — det kommer fra produktregelen for uavhengige hendelser, som gir et produkt. Sjekk også at er voksende/avtakende i CDF-metoden før du velger eller .
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 Norges teknisk-naturvitenskapelige universitet. Dette er ikke offisielt studiemateriell. Les mer.