 Hilbert-space-valued random variable

A Hilbert-space-valued random variable is a measurable map into a Hilbert space. It is square-integrable when $\mathbb{E}\Vert X{\Vert }^2<\infty$, in which case its mean is defined by the Bochner integral.