TheoremBase

The Second Moment of a Probability Measure on Euclidean Space and the Probability Measures with Finite Second Moment

The second moment of a Borel probability measure on RdR^d is the integral of the squared norm, and P2(Rd)P_2(R^d) is the set of probability measures with finite second moment.

Statement

In the setting of Probability Measures on Euclidean Space and Random Vectors: Standing Notation, let d∈Nd\in\mathbb{N} satisfy 1≤d1\le d, and let μ∈P(Rd)\mu\in\mathcal{P}(\mathbb{R}^{d}).

1. (Second moment) The second moment of μ\mu is

M2(μ)=∫Rd∥x∥2 μ(dx)∈[0,∞],M_{2}(\mu)=\int_{\mathbb{R}^{d}}\lVert x\rVert^{2}\,\mu(dx)\in[0,\infty],

the integral, in the sense of Probability Measures on Euclidean Space and Random Vectors: Standing Notation (iii), of the nonnegative Borel function x↦∥x∥2x\mapsto\lVert x\rVert^{2} of Probability Measures on Euclidean Space and Random Vectors: Standing Notation (v).

2. (Finite second moment) P2(Rd)\mathcal{P}_{2}(\mathbb{R}^{d}) denotes the set of all μ∈P(Rd)\mu\in\mathcal{P}(\mathbb{R}^{d}) with M2(μ)<∞M_{2}(\mu)<\infty, the probability measures on Rd\mathbb{R}^{d} with finite second moment.

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…