# Random element

Subsequently, the term "random element" was used chiefly with reference to "randomly chosen" element in some linear topological space, especially a Hilbert space or a Banach space. The exact definition of a random element $X$ in a Banach space $\mathfrak X$, for example, is reminiscent of the definition of a random variable. Let $( \Omega , {\mathcal A} , {\mathsf P} )$ be some probability space, let $\mathfrak X$ be a Banach space and let $\mathfrak X ^ {*}$ be the dual space of $\mathfrak X$. A mapping $X = X ( \omega )$ from the space $\Omega$ of elementary events $\omega$ into $\mathfrak X$ is called a random element if every continuous linear functional $x ^ {*} ( X ( \omega ) )$ is actually a random variable, that is, an ${\mathcal A}$- measurable function.
Let ${\mathcal L}$ be the smallest $\sigma$- algebra of subsets of $\mathfrak X$ with respect to which all continuous linear functionals are measurable. $X$ is a random element if and only if the complete pre-image of all sets in ${\mathcal L}$ are ${\mathcal A}$- measurable. In the case when $\mathfrak X$ is separable, ${\mathcal L}$ coincides with the $\sigma$- algebra of Borel subsets of $\mathfrak X$.
The basic concepts of probability theory, such as the characteristic function, the mathematical expectation and the covariance, among other things, can be extended to random elements. A random element $X$ is called normal (Gaussian) if the probability distribution of every continuous linear functional $x ^ {*} ( X)$ is normal (cf. Normal distribution). The weak law of large numbers, the strong law of large numbers, the law of the iterated logarithm, the central limit theorem, and other assertions of probability theory can be extended to sequences of random elements. Whether these theorems in their classical form carry over to the case of Banach spaces depends on the geometry of the space. It is important to note that this is a two-way connection, in that the probabilistic properties often turn out to be in fact probabilistic-geometric: not only is their validity in a given Banach space determined by the geometric properties of the space, but conversely it determines these properties. E.g., for any sequence of independent identically-distributed random elements $X _ {1} , X _ {2} \dots$ with values in $\mathfrak X$, zero mathematical expectations and ${\mathsf E} \| X _ {j} \| ^ {2} < \infty$, the distribution of the normalized sum $( X _ {1} + \dots + X _ {n} ) / \sqrt n$ converges weakly to the distribution of a normal random element as $n \rightarrow \infty$ if and only if $\mathfrak X$ is a so-called type-2 space (see ).