Vâng, đúng là những giả định này ngụ ý và Y là độc lập.XY
Đơn giản hóa các ký hiệu bằng cách viết . Theo định nghĩa,F=FX,Y
F(x,y)=Pr(X≤x,Y≤y).
Do đó, giới hạn của khi y tăng mà không bị ràng buộc tồn tại và là cơ hội mà X không vượt quá x :F(x,y)yXx
FX(x)=Pr(X≤x)=limy→∞F(x,y)=G1(x)limy→∞G2(y).
Chọn bất kỳ mà F X ( x ) ≠ 0 show G ∞ 2 = lim y → ∞ G 2 ( y ) là khác không. (Một như vậy x phải tồn tại theo luật pháp của tổng xác suất, trong đó khẳng định lim x → ∞ F X ( x ) = 1 ). Như vậyxFX(x)≠0G∞2=limy→∞G2(y)xlimx→∞FX(x)=1
G1(x)=FX(x)G∞2
cho tất cả . Trao đổi vai trò của X và Y và sử dụng ký hiệu tương tự,xXY
G2(y)=FY(y)G∞1
cho tất cả các . Lấy giới hạn chung khi cả x và y tăng trưởng mà không hiển thị ràng buộcyxy
1=limx,y→∞F(x,y)=G∞1G∞2.
vì thế
F(x,y)=G1(x)G2(y)=FX(x)FY(y)G∞1G∞2=FX(x)FY(y),
chứng tỏ và Y là độc lập.XY