是这样的，我看到两个公式：
当 X1,X2 为两个随机变量且相互独立时，有
E[X_1X_2] = E[X_1][X_2]$$
请问以上的 $(X_1X_2)(x)$ 指什么？是 $X_1(x) \times X_2(x)$ 的意思吗？
另外，期望的线性性质中写到：
$$ E[a X_1 + bX_2] = aE[X_1] + bE[X_2]$$
其中 $a, b$ 为常数，$X_1, X_2$ 为随机变量。
请问以上的 $(aX_1)(x)$ 和 $(X_1 + X_2)(x)$ 分别指什么？对 $X_1, X_2$ 所在的样本空间有限制吗？
麻烦给出这些定义的具体来源，萌新感激不尽