同時分布
joint distribution
写像$ (X,Y):\Omega\to\Omega_X\times\Omega_Yが、$ (X,Y)(\omega)=(X(\omega),Y(\omega))で定義される
また$ A\sub\Omega_X\times\Omega_Yに対して$ P_{(X,Y)}(A)=P((X,Y)^{-1}(A))=P((X,Y)\in A)
$ A\sub\Omega_X\times\Omega_Y=\{(x,y)|x\in\Omega_X,y\in\Omega_Y\}
$ \Omega_X\times\Omega_Y上の確率測度$ P_{(X,Y)}を$ X,Yの同時分布という