WisFaq!

\require{AMSmath} geprint op donderdag 28 maart 2024

Bewijs onafhankelijkheid

Ik heb een probleem met volgend bewijs. Kan iemand dit even verduidelijken? Ik geef even het volledige bewijs, onderaan staat vermeld welke stap ik niet zie.

De componenten van een tweedimensionale kansvector Z = (X,Y) zijn onafhankelijk als en slechts als de verdelingsfunctie van Z het product is van de marginale verdelingsfuncties.
Bewijs: Veronderstel dat X en Y onafhankelijk zijn. Door in P((a1Xb1)Ç(a2Yb2))=P(a1Xb1) · P(a2Yb2) de limiet te nemen voor a1®-¥ en a2®-¥ volgt dat:
FZ(b1,b2) = FX(b1)FY(b2)

Omgekeerd, veronderstel dat voor alle b1,b2 Î,
FZ(b1,b2) = FX(b1)FY(b2)

dan geldt:
P(a1Xb1),(a2Yb2)
= P(Xb1,Yb2) - P(Xb1,Ya2) - P(Xa1,Yb2) + P(Xa1,Ya2)
=FZ(b1,b2) - FZ(b1,a2) - FZ(a1,b2) + FZ(a1,a2)
=FX(b1)FY(b2) - FX(b1)FY(a2) - FX(a1)FY(b2) + FX(a1)FY(a2)
=(FX(b1) - FY(a1)) · (FY(b2) - FY(a2))
=P(a1Xb1) · P(a2Yb2)
en X en Y zijn dus inderdaad onafhankelijk.


Ik heb het nu voor de volledigheid even helemaal gegeven, maar mijn probleem situeert zich in volgende stap:
P(a1Xb1),(a2Yb2)
= P(Xb1,Yb2) - P(Xb1,Ya2) - P(Xa1,Yb2) + P(Xa1,Ya2)

Hoe kom je daarbij?

S
16-8-2003

Antwoord

Het gaat om een tweedimensionale kansvector. Het gedeelte, dat je niet snapt is overigens niet zo moeilijk. Je kunt dat zien door gewoon de bijbehorende gebieden in het x,y vlak te tekenen.
Het linkerlid is een vierkant tussen a 1 en b1 voor de x en tussen a2 en b2 voor y
Het rechterlid is voor xb1 en voor yb2 - wat je teveel hebt (tekenen dus).
Die volgende twee termen met dat min teken trekken af wat je teveel hebt de laatste term met het plusteken komt omdat je bij de mintekens een stuk dubbel afgetrokken hebt hetgeen je vervolgens weer moet bijtellen.
Probeer dus de bijbehorende gebieden te tekenen en te kijken wat er gebeurt. Met deze toelichting lukt dat vast. Suc6

Met vriendelijke groet

JaDeX

jadex
16-8-2003


© 2001-2024 WisFaq
WisFaq - de digitale vraagbaak voor het wiskunde onderwijs - http://www.wisfaq.nl

#13472 - Kansrekenen - Student Hoger Onderwijs België