TheoremBase

Diagonal Gaussian Measures on Euclidean Space

The diagonal Gaussian measure with given variances is the probability measure on RdR^d whose density with respect to Lebesgue measure is the diagonal Gaussian density.

Statement

In the settings of The Real Numbers: Standing Notation and Background and The Intrinsic Calculus on the Wasserstein Space: Standing Notation, let λd\lambda_{d} be Lebesgue measure on B(Rd)\mathcal{B}(\mathbb{R}^{d}). Let cc be a variance vector and ρc\rho_{c} the diagonal Gaussian density with variances cc, which is positive and Borel by The Diagonal Gaussian Density on Euclidean Space: Regularity, Gradient, Normalization, Second Moments and Exponential Moments of Diagonal Quadratic Forms §regularity.

(Diagonal Gaussian measure) The diagonal Gaussian measure with variances cc is the measure with density ρc\rho_{c} with respect to λd\lambda_{d}, written γc\gamma_{c}; that is, γc(B)=∫Rd1B ρc dλd\gamma_{c}(B)=\int_{\mathbb{R}^{d}}\mathbf{1}_{B}\,\rho_{c}\,d\lambda_{d} for B∈B(Rd)B\in\mathcal{B}(\mathbb{R}^{d}). Since 1Rdρc=ρc\mathbf{1}_{\mathbb{R}^{d}}\rho_{c}=\rho_{c}, this formula with B=RdB=\mathbb{R}^{d} and The Diagonal Gaussian Density on Euclidean Space: Regularity, Gradient, Normalization, Second Moments and Exponential Moments of Diagonal Quadratic Forms §normalization give

γc(Rd)=∫Rd1Rd ρc dλd=∫Rdρc dλd=1,\gamma_{c}(\mathbb{R}^{d})=\int_{\mathbb{R}^{d}}\mathbf{1}_{\mathbb{R}^{d}}\,\rho_{c}\,d\lambda_{d}=\int_{\mathbb{R}^{d}}\rho_{c}\,d\lambda_{d}=1,

so γc\gamma_{c} is a probability measure on Rd\mathbb{R}^{d}.

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…