Skip to main content
Became Hot Network Question
omit standard
Source Link
null
  • 227
  • 1
  • 7

For infinite-dimensional Gaussian measures, we often see the definition of Gaussian random variables like this:

Let $H(\Omega;\mathbb{R})$ be a separable Hilbert space. A random variable $u \in H$ is said to be a Gaussian random variable if $\langle u,v \rangle$ is Gaussian (i.e., $\langle u,v \rangle$ follows the standard normal distribution on $\mathbb{R}$) for all $v \in H$.

Even more generally, I found in this lecture note (Definition 2.1) that Gaussian r.v. in topological vector space is defined as follows

Let $W$ be a topological vector space, and $\mu$ a Borel probability measure on $W$. $\mu$ is Gaussian iff, for each continuous linear functional $f\in W_*$, the pushforward $\mu \circ f^{−1}$ is a Gaussian measure on $\mathbb{R}$.

My question might be a bit vague: I would like to know the intuition and motivation of such definition. It seems to me that the infinite-dimensional Gaussian measure is defined via its finite-dimensional analogy. I can think of the analogy from characteristic function $\mathbb{E}[e^{i \langle u,v \rangle}]$ or that linear combinations of Gaussians $\Leftrightarrow$ Gaussian. What benefits does this kind of definition bring? Are there other definitions of Gaussian r.v.s in infinite-dimensional spaces?


Found a similar question from searching.

For infinite-dimensional Gaussian measures, we often see the definition of Gaussian random variables like this:

Let $H(\Omega;\mathbb{R})$ be a separable Hilbert space. A random variable $u \in H$ is said to be a Gaussian random variable if $\langle u,v \rangle$ is Gaussian (i.e., $\langle u,v \rangle$ follows the standard normal distribution on $\mathbb{R}$) for all $v \in H$.

Even more generally, I found in this lecture note (Definition 2.1) that Gaussian r.v. in topological vector space is defined as follows

Let $W$ be a topological vector space, and $\mu$ a Borel probability measure on $W$. $\mu$ is Gaussian iff, for each continuous linear functional $f\in W_*$, the pushforward $\mu \circ f^{−1}$ is a Gaussian measure on $\mathbb{R}$.

My question might be a bit vague: I would like to know the intuition and motivation of such definition. It seems to me that the infinite-dimensional Gaussian measure is defined via its finite-dimensional analogy. I can think of the analogy from characteristic function $\mathbb{E}[e^{i \langle u,v \rangle}]$ or that linear combinations of Gaussians $\Leftrightarrow$ Gaussian. What benefits does this kind of definition bring? Are there other definitions of Gaussian r.v.s in infinite-dimensional spaces?


Found a similar question from searching.

For infinite-dimensional Gaussian measures, we often see the definition of Gaussian random variables like this:

Let $H(\Omega;\mathbb{R})$ be a separable Hilbert space. A random variable $u \in H$ is said to be a Gaussian random variable if $\langle u,v \rangle$ is Gaussian (i.e., $\langle u,v \rangle$ follows the normal distribution on $\mathbb{R}$) for all $v \in H$.

Even more generally, I found in this lecture note (Definition 2.1) that Gaussian r.v. in topological vector space is defined as follows

Let $W$ be a topological vector space, and $\mu$ a Borel probability measure on $W$. $\mu$ is Gaussian iff, for each continuous linear functional $f\in W_*$, the pushforward $\mu \circ f^{−1}$ is a Gaussian measure on $\mathbb{R}$.

My question might be a bit vague: I would like to know the intuition and motivation of such definition. It seems to me that the infinite-dimensional Gaussian measure is defined via its finite-dimensional analogy. I can think of the analogy from characteristic function $\mathbb{E}[e^{i \langle u,v \rangle}]$ or that linear combinations of Gaussians $\Leftrightarrow$ Gaussian. What benefits does this kind of definition bring? Are there other definitions of Gaussian r.v.s in infinite-dimensional spaces?


Found a similar question from searching.

fixed English
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

Definition of infinite dimensional-dimensional Gaussian random variable

For infinite-dimensional Gaussian measures, we often see the definition of Gaussian random variables like this:

Let $H(\Omega;\mathbb{R})$ be a seperableseparable Hilbert space. A random variable $u \in H$ is said to be a Gaussian random variable if $\langle u,v \rangle$ is Gaussian (i.e., $\langle u,v \rangle$ follows the standard Normalnormal distribution on $\mathbb{R}$) for all $v \in H$.

Even more generally, I found in this lecture note (Definition 2.1) that Gaussian r.v. in topological vector space is defined as follows

Let $W$ be a topological vector space, and $\mu$ a Borel probability measure on $W$. $\mu$ is Gaussian iff, for each continuous linear functional $f\in W_*$, the pushforward $\mu \circ f^{−1}$ is a Gaussian measure on $\mathbb{R}$.

My question might be a bit vague: I would like to know the intuition and motivation of such definition. It seems to me that the infinite-dimensional Gaussian measure is defined via its finite-dimensional analogy. I can think of the analogy from characteristic function $\mathbb{E}[e^{i \langle u,v \rangle}]$ or that linear combinatinscombinations of Gaussians <=>$\Leftrightarrow$ Gaussian. What benifitsbenefits does this kind of definition bingbring? Are there other definitions of Gaussian r.v.s in infinite-dimensional spaces?


Found a similar question from searching.

Definition of infinite dimensional Gaussian random variable

For infinite-dimensional Gaussian measures, we often see the definition of Gaussian random variables like this:

Let $H(\Omega;\mathbb{R})$ be a seperable Hilbert space. A random variable $u \in H$ is said to be a Gaussian random variable if $\langle u,v \rangle$ is Gaussian (i.e., $\langle u,v \rangle$ follows the standard Normal distribution on $\mathbb{R}$) for all $v \in H$.

Even more generally, I found in this lecture note (Definition 2.1) that Gaussian r.v. in topological vector space is defined as follows

Let $W$ be a topological vector space, and $\mu$ a Borel probability measure on $W$. $\mu$ is Gaussian iff, for each continuous linear functional $f\in W_*$, the pushforward $\mu \circ f^{−1}$ is a Gaussian measure on $\mathbb{R}$.

My question might be a bit vague: I would like to know the intuition and motivation of such definition. It seems to me that the infinite-dimensional Gaussian measure is defined via its finite-dimensional analogy. I can think of the analogy from characteristic function $\mathbb{E}[e^{i \langle u,v \rangle}]$ or that linear combinatins of Gaussians <=> Gaussian. What benifits does this kind of definition bing? Are there other definitions of Gaussian r.v.s in infinite-dimensional spaces?


Found a similar question from searching.

Definition of infinite-dimensional Gaussian random variable

For infinite-dimensional Gaussian measures, we often see the definition of Gaussian random variables like this:

Let $H(\Omega;\mathbb{R})$ be a separable Hilbert space. A random variable $u \in H$ is said to be a Gaussian random variable if $\langle u,v \rangle$ is Gaussian (i.e., $\langle u,v \rangle$ follows the standard normal distribution on $\mathbb{R}$) for all $v \in H$.

Even more generally, I found in this lecture note (Definition 2.1) that Gaussian r.v. in topological vector space is defined as follows

Let $W$ be a topological vector space, and $\mu$ a Borel probability measure on $W$. $\mu$ is Gaussian iff, for each continuous linear functional $f\in W_*$, the pushforward $\mu \circ f^{−1}$ is a Gaussian measure on $\mathbb{R}$.

My question might be a bit vague: I would like to know the intuition and motivation of such definition. It seems to me that the infinite-dimensional Gaussian measure is defined via its finite-dimensional analogy. I can think of the analogy from characteristic function $\mathbb{E}[e^{i \langle u,v \rangle}]$ or that linear combinations of Gaussians $\Leftrightarrow$ Gaussian. What benefits does this kind of definition bring? Are there other definitions of Gaussian r.v.s in infinite-dimensional spaces?


Found a similar question from searching.

Source Link
null
  • 227
  • 1
  • 7

Definition of infinite dimensional Gaussian random variable

For infinite-dimensional Gaussian measures, we often see the definition of Gaussian random variables like this:

Let $H(\Omega;\mathbb{R})$ be a seperable Hilbert space. A random variable $u \in H$ is said to be a Gaussian random variable if $\langle u,v \rangle$ is Gaussian (i.e., $\langle u,v \rangle$ follows the standard Normal distribution on $\mathbb{R}$) for all $v \in H$.

Even more generally, I found in this lecture note (Definition 2.1) that Gaussian r.v. in topological vector space is defined as follows

Let $W$ be a topological vector space, and $\mu$ a Borel probability measure on $W$. $\mu$ is Gaussian iff, for each continuous linear functional $f\in W_*$, the pushforward $\mu \circ f^{−1}$ is a Gaussian measure on $\mathbb{R}$.

My question might be a bit vague: I would like to know the intuition and motivation of such definition. It seems to me that the infinite-dimensional Gaussian measure is defined via its finite-dimensional analogy. I can think of the analogy from characteristic function $\mathbb{E}[e^{i \langle u,v \rangle}]$ or that linear combinatins of Gaussians <=> Gaussian. What benifits does this kind of definition bing? Are there other definitions of Gaussian r.v.s in infinite-dimensional spaces?


Found a similar question from searching.