How do random variables form vector spaces with a defined inner product?












0












$begingroup$


I am well over my head on this topic, but I'm asking for a couple of conceptual, framing statements to understand the broader picture at an intuitive level.



In Hilbert Space Methods in Probability and Statistical Inference by Christopher G. Small, Don L. McLeish it can be read:




Let $mathbf G$ be the set of all functions ${bf x}: Omega to
> mathbb R$ such that $({mathbf x land n{bf 1}})lor(-n{bf1})in
> {mathbf H}$ for all natural numbers $n$. The set $mathbf G$ can be
shown to be a vector space under the usual pointwise addition and
scalar multiplication
.




So what is the connection between the random variables (and specifically their probability density functions) and vector or inner product spaces. Specifically, and if these statements / questions are remotely close to reality, in what way are pdf's linear with scalar multiplication?





In answer to the comment, this is the passage quoted:



enter image description here





And this is the link provided by @symplectomorphic, which really resolves the question:




Many of the concepts in this chapter have elegant interpretations if
we think of real-valued random variables as vectors in a vector space.
In particular, variance and higher moments are related to the concept
of norm and distance, while covariance is related to inner product.
These connections can help unify and illuminate some of the ideas in
the chapter from a different point of view. Of course, real-valued
random variables are simply measurable, real-valued functions defined
on the sample space, so much of the discussion in this section is a
special case of our discussion of function spaces in the chapter on
Distributions, but recast in the notation of probability.



As usual, our starting point is a random experiment modeled by a
probability space (Ω,F,P). Thus, Ω is the sample space, F is the
σ-algebra of events, and P is the probability measure. Our basic
vector space V consists of all real-valued random variables defined on
(Ω, F, P). Recall that random variables X1 and X2 are equivalent if
P(X1 = X2) = 1, in which case we write X1 ≡ X2. We consider two such
random variables as the same vector, so that technically, our vector
space consists of equivalence classes under this equivalence relation.
The addition operator corresponds to the usual addition of two
real-valued random variables, and the operation of scalar
multiplication corresponds to the usual multiplication of a
real-valued random variable by a real (non-random) number. These
operations are compatible with the equivalence relation in the sense
that if X1 ≡ X2 and Y1≡Y2 then X1 + Y1 ≡ X2 + Y2 and cX1 ≡ cX2 for c ∈ R. In
short, the vector space V is well-defined.











share|cite|improve this question











$endgroup$












  • $begingroup$
    I suspect that $land$ and $lor$ are the minimum and the maximum, but what are $nmathbf1$, $>Bbb R$ and $>mathbf H$?
    $endgroup$
    – Alex M.
    Dec 15 '16 at 14:49












  • $begingroup$
    @AlexM. Same question, though I suppose $mathbf 1$ is just a vector of $1$'s.
    $endgroup$
    – Theoretical Economist
    Dec 15 '16 at 14:51










  • $begingroup$
    Guys, not sure about this, but it may be an indicator variable, the way it is bolded (?).
    $endgroup$
    – Antoni Parellada
    Dec 15 '16 at 14:52






  • 1




    $begingroup$
    My comment is not an answer: it is a request that you make the title not prima facie absurd. What you mean to ask is whether, or how, random variables form a vector space, not whether random variables are vector spaces.
    $endgroup$
    – symplectomorphic
    Dec 15 '16 at 15:06








  • 1




    $begingroup$
    Here is a more elementary overview of the basic framework. You seem to be confusing random variables with their densities. The vector space being studied in the book you cite is the space of random variables, aka the space of measurable functions (satisfying certain conditions), not the space of density functions for those random variables. You're right that densities aren't closed under pointwise addition and scalar multiplication.
    $endgroup$
    – symplectomorphic
    Dec 15 '16 at 15:22


















0












$begingroup$


I am well over my head on this topic, but I'm asking for a couple of conceptual, framing statements to understand the broader picture at an intuitive level.



In Hilbert Space Methods in Probability and Statistical Inference by Christopher G. Small, Don L. McLeish it can be read:




Let $mathbf G$ be the set of all functions ${bf x}: Omega to
> mathbb R$ such that $({mathbf x land n{bf 1}})lor(-n{bf1})in
> {mathbf H}$ for all natural numbers $n$. The set $mathbf G$ can be
shown to be a vector space under the usual pointwise addition and
scalar multiplication
.




So what is the connection between the random variables (and specifically their probability density functions) and vector or inner product spaces. Specifically, and if these statements / questions are remotely close to reality, in what way are pdf's linear with scalar multiplication?





In answer to the comment, this is the passage quoted:



enter image description here





And this is the link provided by @symplectomorphic, which really resolves the question:




Many of the concepts in this chapter have elegant interpretations if
we think of real-valued random variables as vectors in a vector space.
In particular, variance and higher moments are related to the concept
of norm and distance, while covariance is related to inner product.
These connections can help unify and illuminate some of the ideas in
the chapter from a different point of view. Of course, real-valued
random variables are simply measurable, real-valued functions defined
on the sample space, so much of the discussion in this section is a
special case of our discussion of function spaces in the chapter on
Distributions, but recast in the notation of probability.



As usual, our starting point is a random experiment modeled by a
probability space (Ω,F,P). Thus, Ω is the sample space, F is the
σ-algebra of events, and P is the probability measure. Our basic
vector space V consists of all real-valued random variables defined on
(Ω, F, P). Recall that random variables X1 and X2 are equivalent if
P(X1 = X2) = 1, in which case we write X1 ≡ X2. We consider two such
random variables as the same vector, so that technically, our vector
space consists of equivalence classes under this equivalence relation.
The addition operator corresponds to the usual addition of two
real-valued random variables, and the operation of scalar
multiplication corresponds to the usual multiplication of a
real-valued random variable by a real (non-random) number. These
operations are compatible with the equivalence relation in the sense
that if X1 ≡ X2 and Y1≡Y2 then X1 + Y1 ≡ X2 + Y2 and cX1 ≡ cX2 for c ∈ R. In
short, the vector space V is well-defined.











share|cite|improve this question











$endgroup$












  • $begingroup$
    I suspect that $land$ and $lor$ are the minimum and the maximum, but what are $nmathbf1$, $>Bbb R$ and $>mathbf H$?
    $endgroup$
    – Alex M.
    Dec 15 '16 at 14:49












  • $begingroup$
    @AlexM. Same question, though I suppose $mathbf 1$ is just a vector of $1$'s.
    $endgroup$
    – Theoretical Economist
    Dec 15 '16 at 14:51










  • $begingroup$
    Guys, not sure about this, but it may be an indicator variable, the way it is bolded (?).
    $endgroup$
    – Antoni Parellada
    Dec 15 '16 at 14:52






  • 1




    $begingroup$
    My comment is not an answer: it is a request that you make the title not prima facie absurd. What you mean to ask is whether, or how, random variables form a vector space, not whether random variables are vector spaces.
    $endgroup$
    – symplectomorphic
    Dec 15 '16 at 15:06








  • 1




    $begingroup$
    Here is a more elementary overview of the basic framework. You seem to be confusing random variables with their densities. The vector space being studied in the book you cite is the space of random variables, aka the space of measurable functions (satisfying certain conditions), not the space of density functions for those random variables. You're right that densities aren't closed under pointwise addition and scalar multiplication.
    $endgroup$
    – symplectomorphic
    Dec 15 '16 at 15:22
















0












0








0





$begingroup$


I am well over my head on this topic, but I'm asking for a couple of conceptual, framing statements to understand the broader picture at an intuitive level.



In Hilbert Space Methods in Probability and Statistical Inference by Christopher G. Small, Don L. McLeish it can be read:




Let $mathbf G$ be the set of all functions ${bf x}: Omega to
> mathbb R$ such that $({mathbf x land n{bf 1}})lor(-n{bf1})in
> {mathbf H}$ for all natural numbers $n$. The set $mathbf G$ can be
shown to be a vector space under the usual pointwise addition and
scalar multiplication
.




So what is the connection between the random variables (and specifically their probability density functions) and vector or inner product spaces. Specifically, and if these statements / questions are remotely close to reality, in what way are pdf's linear with scalar multiplication?





In answer to the comment, this is the passage quoted:



enter image description here





And this is the link provided by @symplectomorphic, which really resolves the question:




Many of the concepts in this chapter have elegant interpretations if
we think of real-valued random variables as vectors in a vector space.
In particular, variance and higher moments are related to the concept
of norm and distance, while covariance is related to inner product.
These connections can help unify and illuminate some of the ideas in
the chapter from a different point of view. Of course, real-valued
random variables are simply measurable, real-valued functions defined
on the sample space, so much of the discussion in this section is a
special case of our discussion of function spaces in the chapter on
Distributions, but recast in the notation of probability.



As usual, our starting point is a random experiment modeled by a
probability space (Ω,F,P). Thus, Ω is the sample space, F is the
σ-algebra of events, and P is the probability measure. Our basic
vector space V consists of all real-valued random variables defined on
(Ω, F, P). Recall that random variables X1 and X2 are equivalent if
P(X1 = X2) = 1, in which case we write X1 ≡ X2. We consider two such
random variables as the same vector, so that technically, our vector
space consists of equivalence classes under this equivalence relation.
The addition operator corresponds to the usual addition of two
real-valued random variables, and the operation of scalar
multiplication corresponds to the usual multiplication of a
real-valued random variable by a real (non-random) number. These
operations are compatible with the equivalence relation in the sense
that if X1 ≡ X2 and Y1≡Y2 then X1 + Y1 ≡ X2 + Y2 and cX1 ≡ cX2 for c ∈ R. In
short, the vector space V is well-defined.











share|cite|improve this question











$endgroup$




I am well over my head on this topic, but I'm asking for a couple of conceptual, framing statements to understand the broader picture at an intuitive level.



In Hilbert Space Methods in Probability and Statistical Inference by Christopher G. Small, Don L. McLeish it can be read:




Let $mathbf G$ be the set of all functions ${bf x}: Omega to
> mathbb R$ such that $({mathbf x land n{bf 1}})lor(-n{bf1})in
> {mathbf H}$ for all natural numbers $n$. The set $mathbf G$ can be
shown to be a vector space under the usual pointwise addition and
scalar multiplication
.




So what is the connection between the random variables (and specifically their probability density functions) and vector or inner product spaces. Specifically, and if these statements / questions are remotely close to reality, in what way are pdf's linear with scalar multiplication?





In answer to the comment, this is the passage quoted:



enter image description here





And this is the link provided by @symplectomorphic, which really resolves the question:




Many of the concepts in this chapter have elegant interpretations if
we think of real-valued random variables as vectors in a vector space.
In particular, variance and higher moments are related to the concept
of norm and distance, while covariance is related to inner product.
These connections can help unify and illuminate some of the ideas in
the chapter from a different point of view. Of course, real-valued
random variables are simply measurable, real-valued functions defined
on the sample space, so much of the discussion in this section is a
special case of our discussion of function spaces in the chapter on
Distributions, but recast in the notation of probability.



As usual, our starting point is a random experiment modeled by a
probability space (Ω,F,P). Thus, Ω is the sample space, F is the
σ-algebra of events, and P is the probability measure. Our basic
vector space V consists of all real-valued random variables defined on
(Ω, F, P). Recall that random variables X1 and X2 are equivalent if
P(X1 = X2) = 1, in which case we write X1 ≡ X2. We consider two such
random variables as the same vector, so that technically, our vector
space consists of equivalence classes under this equivalence relation.
The addition operator corresponds to the usual addition of two
real-valued random variables, and the operation of scalar
multiplication corresponds to the usual multiplication of a
real-valued random variable by a real (non-random) number. These
operations are compatible with the equivalence relation in the sense
that if X1 ≡ X2 and Y1≡Y2 then X1 + Y1 ≡ X2 + Y2 and cX1 ≡ cX2 for c ∈ R. In
short, the vector space V is well-defined.








probability-distributions vector-spaces soft-question hilbert-spaces inner-product-space






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 15 '16 at 16:08







Antoni Parellada

















asked Dec 15 '16 at 14:45









Antoni ParelladaAntoni Parellada

3,10421341




3,10421341












  • $begingroup$
    I suspect that $land$ and $lor$ are the minimum and the maximum, but what are $nmathbf1$, $>Bbb R$ and $>mathbf H$?
    $endgroup$
    – Alex M.
    Dec 15 '16 at 14:49












  • $begingroup$
    @AlexM. Same question, though I suppose $mathbf 1$ is just a vector of $1$'s.
    $endgroup$
    – Theoretical Economist
    Dec 15 '16 at 14:51










  • $begingroup$
    Guys, not sure about this, but it may be an indicator variable, the way it is bolded (?).
    $endgroup$
    – Antoni Parellada
    Dec 15 '16 at 14:52






  • 1




    $begingroup$
    My comment is not an answer: it is a request that you make the title not prima facie absurd. What you mean to ask is whether, or how, random variables form a vector space, not whether random variables are vector spaces.
    $endgroup$
    – symplectomorphic
    Dec 15 '16 at 15:06








  • 1




    $begingroup$
    Here is a more elementary overview of the basic framework. You seem to be confusing random variables with their densities. The vector space being studied in the book you cite is the space of random variables, aka the space of measurable functions (satisfying certain conditions), not the space of density functions for those random variables. You're right that densities aren't closed under pointwise addition and scalar multiplication.
    $endgroup$
    – symplectomorphic
    Dec 15 '16 at 15:22




















  • $begingroup$
    I suspect that $land$ and $lor$ are the minimum and the maximum, but what are $nmathbf1$, $>Bbb R$ and $>mathbf H$?
    $endgroup$
    – Alex M.
    Dec 15 '16 at 14:49












  • $begingroup$
    @AlexM. Same question, though I suppose $mathbf 1$ is just a vector of $1$'s.
    $endgroup$
    – Theoretical Economist
    Dec 15 '16 at 14:51










  • $begingroup$
    Guys, not sure about this, but it may be an indicator variable, the way it is bolded (?).
    $endgroup$
    – Antoni Parellada
    Dec 15 '16 at 14:52






  • 1




    $begingroup$
    My comment is not an answer: it is a request that you make the title not prima facie absurd. What you mean to ask is whether, or how, random variables form a vector space, not whether random variables are vector spaces.
    $endgroup$
    – symplectomorphic
    Dec 15 '16 at 15:06








  • 1




    $begingroup$
    Here is a more elementary overview of the basic framework. You seem to be confusing random variables with their densities. The vector space being studied in the book you cite is the space of random variables, aka the space of measurable functions (satisfying certain conditions), not the space of density functions for those random variables. You're right that densities aren't closed under pointwise addition and scalar multiplication.
    $endgroup$
    – symplectomorphic
    Dec 15 '16 at 15:22


















$begingroup$
I suspect that $land$ and $lor$ are the minimum and the maximum, but what are $nmathbf1$, $>Bbb R$ and $>mathbf H$?
$endgroup$
– Alex M.
Dec 15 '16 at 14:49






$begingroup$
I suspect that $land$ and $lor$ are the minimum and the maximum, but what are $nmathbf1$, $>Bbb R$ and $>mathbf H$?
$endgroup$
– Alex M.
Dec 15 '16 at 14:49














$begingroup$
@AlexM. Same question, though I suppose $mathbf 1$ is just a vector of $1$'s.
$endgroup$
– Theoretical Economist
Dec 15 '16 at 14:51




$begingroup$
@AlexM. Same question, though I suppose $mathbf 1$ is just a vector of $1$'s.
$endgroup$
– Theoretical Economist
Dec 15 '16 at 14:51












$begingroup$
Guys, not sure about this, but it may be an indicator variable, the way it is bolded (?).
$endgroup$
– Antoni Parellada
Dec 15 '16 at 14:52




$begingroup$
Guys, not sure about this, but it may be an indicator variable, the way it is bolded (?).
$endgroup$
– Antoni Parellada
Dec 15 '16 at 14:52




1




1




$begingroup$
My comment is not an answer: it is a request that you make the title not prima facie absurd. What you mean to ask is whether, or how, random variables form a vector space, not whether random variables are vector spaces.
$endgroup$
– symplectomorphic
Dec 15 '16 at 15:06






$begingroup$
My comment is not an answer: it is a request that you make the title not prima facie absurd. What you mean to ask is whether, or how, random variables form a vector space, not whether random variables are vector spaces.
$endgroup$
– symplectomorphic
Dec 15 '16 at 15:06






1




1




$begingroup$
Here is a more elementary overview of the basic framework. You seem to be confusing random variables with their densities. The vector space being studied in the book you cite is the space of random variables, aka the space of measurable functions (satisfying certain conditions), not the space of density functions for those random variables. You're right that densities aren't closed under pointwise addition and scalar multiplication.
$endgroup$
– symplectomorphic
Dec 15 '16 at 15:22






$begingroup$
Here is a more elementary overview of the basic framework. You seem to be confusing random variables with their densities. The vector space being studied in the book you cite is the space of random variables, aka the space of measurable functions (satisfying certain conditions), not the space of density functions for those random variables. You're right that densities aren't closed under pointwise addition and scalar multiplication.
$endgroup$
– symplectomorphic
Dec 15 '16 at 15:22












1 Answer
1






active

oldest

votes


















0












$begingroup$

You are mistaking "pointwise scalar multiplication" for "scalar product". For $alpha in Bbb R$ and $mathbf x in mathbf G$ one may define the poinwise scalar multiplication by $(alpha mathbf x) (omega) = alpha big( mathbf x (omega) big)$, for $omega in Omega$. There is no mention of scalar product here.



Of course, if you really wanted, you could also define a scalar product by $langle mathbf x, mathbf y rangle = int _Omega mathbf x (omega) mathbf y (omega) Bbb d mu$ where $mu$ is the measure on $Omega$, but care must be taken in order to assure the convergence of the above integral for all $mathbf x$ and $mathbf y$, and in order to make this scalar product non-degenerate (you'll have to work with classes of functions etc.). This could be done, for instance, by requiring $mu$ to be finite. In any case, this is not what your text tries to convey.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Doesn't the fact that we're working in a probability space guarantee that $mu$ is finite?
    $endgroup$
    – Theoretical Economist
    Dec 15 '16 at 14:59










  • $begingroup$
    @TheoreticalEconomist: It does, but is it given that $Omega$ is a probability space and not just a space with measure?
    $endgroup$
    – Alex M.
    Dec 15 '16 at 15:00










  • $begingroup$
    @AlexM. I suspect it is, but I suppose it is not exactly explicitly spelled out. Fair enough.
    $endgroup$
    – Theoretical Economist
    Dec 15 '16 at 15:04












Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2059954%2fhow-do-random-variables-form-vector-spaces-with-a-defined-inner-product%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes









0












$begingroup$

You are mistaking "pointwise scalar multiplication" for "scalar product". For $alpha in Bbb R$ and $mathbf x in mathbf G$ one may define the poinwise scalar multiplication by $(alpha mathbf x) (omega) = alpha big( mathbf x (omega) big)$, for $omega in Omega$. There is no mention of scalar product here.



Of course, if you really wanted, you could also define a scalar product by $langle mathbf x, mathbf y rangle = int _Omega mathbf x (omega) mathbf y (omega) Bbb d mu$ where $mu$ is the measure on $Omega$, but care must be taken in order to assure the convergence of the above integral for all $mathbf x$ and $mathbf y$, and in order to make this scalar product non-degenerate (you'll have to work with classes of functions etc.). This could be done, for instance, by requiring $mu$ to be finite. In any case, this is not what your text tries to convey.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Doesn't the fact that we're working in a probability space guarantee that $mu$ is finite?
    $endgroup$
    – Theoretical Economist
    Dec 15 '16 at 14:59










  • $begingroup$
    @TheoreticalEconomist: It does, but is it given that $Omega$ is a probability space and not just a space with measure?
    $endgroup$
    – Alex M.
    Dec 15 '16 at 15:00










  • $begingroup$
    @AlexM. I suspect it is, but I suppose it is not exactly explicitly spelled out. Fair enough.
    $endgroup$
    – Theoretical Economist
    Dec 15 '16 at 15:04
















0












$begingroup$

You are mistaking "pointwise scalar multiplication" for "scalar product". For $alpha in Bbb R$ and $mathbf x in mathbf G$ one may define the poinwise scalar multiplication by $(alpha mathbf x) (omega) = alpha big( mathbf x (omega) big)$, for $omega in Omega$. There is no mention of scalar product here.



Of course, if you really wanted, you could also define a scalar product by $langle mathbf x, mathbf y rangle = int _Omega mathbf x (omega) mathbf y (omega) Bbb d mu$ where $mu$ is the measure on $Omega$, but care must be taken in order to assure the convergence of the above integral for all $mathbf x$ and $mathbf y$, and in order to make this scalar product non-degenerate (you'll have to work with classes of functions etc.). This could be done, for instance, by requiring $mu$ to be finite. In any case, this is not what your text tries to convey.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Doesn't the fact that we're working in a probability space guarantee that $mu$ is finite?
    $endgroup$
    – Theoretical Economist
    Dec 15 '16 at 14:59










  • $begingroup$
    @TheoreticalEconomist: It does, but is it given that $Omega$ is a probability space and not just a space with measure?
    $endgroup$
    – Alex M.
    Dec 15 '16 at 15:00










  • $begingroup$
    @AlexM. I suspect it is, but I suppose it is not exactly explicitly spelled out. Fair enough.
    $endgroup$
    – Theoretical Economist
    Dec 15 '16 at 15:04














0












0








0





$begingroup$

You are mistaking "pointwise scalar multiplication" for "scalar product". For $alpha in Bbb R$ and $mathbf x in mathbf G$ one may define the poinwise scalar multiplication by $(alpha mathbf x) (omega) = alpha big( mathbf x (omega) big)$, for $omega in Omega$. There is no mention of scalar product here.



Of course, if you really wanted, you could also define a scalar product by $langle mathbf x, mathbf y rangle = int _Omega mathbf x (omega) mathbf y (omega) Bbb d mu$ where $mu$ is the measure on $Omega$, but care must be taken in order to assure the convergence of the above integral for all $mathbf x$ and $mathbf y$, and in order to make this scalar product non-degenerate (you'll have to work with classes of functions etc.). This could be done, for instance, by requiring $mu$ to be finite. In any case, this is not what your text tries to convey.






share|cite|improve this answer











$endgroup$



You are mistaking "pointwise scalar multiplication" for "scalar product". For $alpha in Bbb R$ and $mathbf x in mathbf G$ one may define the poinwise scalar multiplication by $(alpha mathbf x) (omega) = alpha big( mathbf x (omega) big)$, for $omega in Omega$. There is no mention of scalar product here.



Of course, if you really wanted, you could also define a scalar product by $langle mathbf x, mathbf y rangle = int _Omega mathbf x (omega) mathbf y (omega) Bbb d mu$ where $mu$ is the measure on $Omega$, but care must be taken in order to assure the convergence of the above integral for all $mathbf x$ and $mathbf y$, and in order to make this scalar product non-degenerate (you'll have to work with classes of functions etc.). This could be done, for instance, by requiring $mu$ to be finite. In any case, this is not what your text tries to convey.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Dec 15 '16 at 20:30

























answered Dec 15 '16 at 14:56









Alex M.Alex M.

28.4k103259




28.4k103259












  • $begingroup$
    Doesn't the fact that we're working in a probability space guarantee that $mu$ is finite?
    $endgroup$
    – Theoretical Economist
    Dec 15 '16 at 14:59










  • $begingroup$
    @TheoreticalEconomist: It does, but is it given that $Omega$ is a probability space and not just a space with measure?
    $endgroup$
    – Alex M.
    Dec 15 '16 at 15:00










  • $begingroup$
    @AlexM. I suspect it is, but I suppose it is not exactly explicitly spelled out. Fair enough.
    $endgroup$
    – Theoretical Economist
    Dec 15 '16 at 15:04


















  • $begingroup$
    Doesn't the fact that we're working in a probability space guarantee that $mu$ is finite?
    $endgroup$
    – Theoretical Economist
    Dec 15 '16 at 14:59










  • $begingroup$
    @TheoreticalEconomist: It does, but is it given that $Omega$ is a probability space and not just a space with measure?
    $endgroup$
    – Alex M.
    Dec 15 '16 at 15:00










  • $begingroup$
    @AlexM. I suspect it is, but I suppose it is not exactly explicitly spelled out. Fair enough.
    $endgroup$
    – Theoretical Economist
    Dec 15 '16 at 15:04
















$begingroup$
Doesn't the fact that we're working in a probability space guarantee that $mu$ is finite?
$endgroup$
– Theoretical Economist
Dec 15 '16 at 14:59




$begingroup$
Doesn't the fact that we're working in a probability space guarantee that $mu$ is finite?
$endgroup$
– Theoretical Economist
Dec 15 '16 at 14:59












$begingroup$
@TheoreticalEconomist: It does, but is it given that $Omega$ is a probability space and not just a space with measure?
$endgroup$
– Alex M.
Dec 15 '16 at 15:00




$begingroup$
@TheoreticalEconomist: It does, but is it given that $Omega$ is a probability space and not just a space with measure?
$endgroup$
– Alex M.
Dec 15 '16 at 15:00












$begingroup$
@AlexM. I suspect it is, but I suppose it is not exactly explicitly spelled out. Fair enough.
$endgroup$
– Theoretical Economist
Dec 15 '16 at 15:04




$begingroup$
@AlexM. I suspect it is, but I suppose it is not exactly explicitly spelled out. Fair enough.
$endgroup$
– Theoretical Economist
Dec 15 '16 at 15:04


















draft saved

draft discarded




















































Thanks for contributing an answer to Mathematics Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2059954%2fhow-do-random-variables-form-vector-spaces-with-a-defined-inner-product%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

Bressuire

Cabo Verde

Gyllenstierna