Theorem

image of random vector under measurable map


If 𝐗=(X1,,Xn)\mathbf{X} = (X_1, \dots , X_n) is a random vector and g:ng: \mathbb{R}^{n} \to \mathbb{R} satisfies g(n)/()g \in \mathcal{B}(\mathbb{R}^{n})/\mathcal{B}(\mathbb{R}) then g(𝐗)g(\mathbf{X}) is a random variable. In particular, if gg is continuous then g(𝐗)g(\mathbf{X}) is a random variable.