확률변수 X와 Y가 독립(independent)일 때,
그들의 공동확률밀도함수(Joint PDF) 는 개별 확률밀도함수의 곱으로 표현됩니다.
$$f_{X,Y}(x, y) = f_X(x) f_Y(y)$$
(1) 비음수 조건
$$f_X(x) \geq 0, \quad f_Y(y) \geq 0 \Rightarrow f_{X,Y}(x, y) = f_X(x) f_Y(y) \geq 0$$
(y)≥0 이므로 곱도 항상 0 이상입니다.
(2) 정규화 조건
확률밀도함수는 다음 조건을 만족해야 합니다.
$$\int_{-\infty}^{\infty} \int_{-\infty}^{\infty} f_{X,Y}(x, y) dx dy = 1$$
$$\left( \int_{-\infty}^{\infty} f_X(x) dx \right) \times \left( \int_{-\infty}^{\infty} f_Y(y) dy \right) = 1 \times 1 = 1$$
따라서, 곱은 확률밀도함수가 됩니다. (이변량 확률밀도함수로 해석됨)