Is $f(x)equiv 0$ necessary condition for $mathbbE[Xf(X)mathbb1_[0,infty)(X)]=0$?convolution of random variablesApplication of Strong Law of Large Numbers and Fubini's TheoremWhen does $mathbb E_mathbb P[X]=0$ imply $mathbb E_mathbb P[Xmidmathcal E]= 0$ $mathbb P$-a.s.$f$ convex, is $f(X)$ quasi-integrable if $X$ is?Necessary and Sufficient Conditions for Convergence to Standard NormalConditional ExpectationProblem on conditional expected value with to a random variableRelation between uncountably infinite probability space and continuous random variablesDoes there exist some probability space $(Omega,mathcal F,mathbb P)$ that admits random variables with all possible laws on $mathbb R^n$?What is the necessary and sufficient condition of Markov chain sample average converging to the expectation wrt the stationary distribution?
Can I negotiate a patent idea for a raise, under French law?
How can I manipulate the output of Information?
Source permutation
What is Tony Stark injecting into himself in Iron Man 3?
Haman going to the second feast dirty
Having the player face themselves after the mid-game
Doubts in understanding some concepts of potential energy
In the late 1940’s to early 1950’s what technology was available that could melt a LOT of ice?
What problems would a superhuman have who's skin is constantly hot?
Is it possible that a question has only two answers?
Can't make sense of a paragraph from Lovecraft
Are all players supposed to be able to see each others' character sheets?
Proving a statement about real numbers
What will happen if my luggage gets delayed?
Is it safe to abruptly remove Arduino power?
Was it really inappropriate to write a pull request for the company I interviewed with?
Why does cron require MTA for logging?
Professor forcing me to attend a conference, I can't afford even with 50% funding
Trig Subsitution When There's No Square Root
What is better: yes / no radio, or simple checkbox?
Is it possible to find 2014 distinct positive integers whose sum is divisible by each of them?
Are small insurances worth it?
Called into a meeting and told we are being made redundant (laid off) and "not to share outside". Can I tell my partner?
For which categories of spectra is there an explicit description of the fibrant objects via lifting properties?
Is $f(x)equiv 0$ necessary condition for $mathbbE[Xf(X)mathbb1_[0,infty)(X)]=0$?
convolution of random variablesApplication of Strong Law of Large Numbers and Fubini's TheoremWhen does $mathbb E_mathbb P[X]=0$ imply $mathbb E_mathbb P[Xmidmathcal E]= 0$ $mathbb P$-a.s.$f$ convex, is $f(X)$ quasi-integrable if $X$ is?Necessary and Sufficient Conditions for Convergence to Standard NormalConditional ExpectationProblem on conditional expected value with to a random variableRelation between uncountably infinite probability space and continuous random variablesDoes there exist some probability space $(Omega,mathcal F,mathbb P)$ that admits random variables with all possible laws on $mathbb R^n$?What is the necessary and sufficient condition of Markov chain sample average converging to the expectation wrt the stationary distribution?
$begingroup$
I have the following question:
Let $XsimmathcalN(0,1)$ and $mathbbE[Xf(X)mathbb1_[0,infty)(X)]=0$. Clearly it is sufficient that $f(x)=0$ for all values of the domain. Is it also a necessary condition?
So I separated the function $f$ into its positive and negative parts $f=f^+-f^-$. It follows that $mathbbE[Xf^+(X)mathbb1_A]>0$ for $A:=omega: g(X(omega))>0$. Now I need to show that $mathbbP(A)=0$ but I'm not sure how how to proceed. Do I need to use some sort of 0-1 law? The help would be much appreciated.
probability probability-theory probability-distributions
asked yesterday
maxmax
886
$endgroup$
add a comment |
$begingroup$
I have the following question:
Let $XsimmathcalN(0,1)$ and $mathbbE[Xf(X)mathbb1_[0,infty)(X)]=0$. Clearly it is sufficient that $f(x)=0$ for all values of the domain. Is it also a necessary condition?
So I separated the function $f$ into its positive and negative parts $f=f^+-f^-$. It follows that $mathbbE[Xf^+(X)mathbb1_A]>0$ for $A:=omega: g(X(omega))>0$. Now I need to show that $mathbbP(A)=0$ but I'm not sure how how to proceed. Do I need to use some sort of 0-1 law? The help would be much appreciated.
probability probability-theory probability-distributions
asked yesterday
maxmax
886
$endgroup$
$begingroup$
What is the meaning of $1_[0,infty)$. You probably mean $1_[0,infty)(X)$.
$endgroup$
– Kavi Rama Murthy
yesterday
$begingroup$
yes, that's what I mean
$endgroup$
– max
yesterday
add a comment |
$begingroup$
I have the following question:
Let $XsimmathcalN(0,1)$ and $mathbbE[Xf(X)mathbb1_[0,infty)(X)]=0$. Clearly it is sufficient that $f(x)=0$ for all values of the domain. Is it also a necessary condition?
So I separated the function $f$ into its positive and negative parts $f=f^+-f^-$. It follows that $mathbbE[Xf^+(X)mathbb1_A]>0$ for $A:=omega: g(X(omega))>0$. Now I need to show that $mathbbP(A)=0$ but I'm not sure how how to proceed. Do I need to use some sort of 0-1 law? The help would be much appreciated.
probability probability-theory probability-distributions
asked yesterday
maxmax
886
$endgroup$
I have the following question:
Let $XsimmathcalN(0,1)$ and $mathbbE[Xf(X)mathbb1_[0,infty)(X)]=0$. Clearly it is sufficient that $f(x)=0$ for all values of the domain. Is it also a necessary condition?
So I separated the function $f$ into its positive and negative parts $f=f^+-f^-$. It follows that $mathbbE[Xf^+(X)mathbb1_A]>0$ for $A:=omega: g(X(omega))>0$. Now I need to show that $mathbbP(A)=0$ but I'm not sure how how to proceed. Do I need to use some sort of 0-1 law? The help would be much appreciated.
probability probability-theory probability-distributions
probability probability-theory probability-distributions
asked yesterday
maxmax
886
asked yesterday
maxmax
886
edited yesterday
max
asked yesterday
maxmax
886
asked yesterday
maxmax
886
asked yesterday
maxmax
886
886
$begingroup$
What is the meaning of $1_[0,infty)$. You probably mean $1_[0,infty)(X)$.
$endgroup$
– Kavi Rama Murthy
yesterday
$begingroup$
yes, that's what I mean
$endgroup$
– max
yesterday
add a comment |
$begingroup$
What is the meaning of $1_[0,infty)$. You probably mean $1_[0,infty)(X)$.
$endgroup$
– Kavi Rama Murthy
yesterday
$begingroup$
yes, that's what I mean
$endgroup$
– max
yesterday
$begingroup$
What is the meaning of $1_[0,infty)$. You probably mean $1_[0,infty)(X)$.
$endgroup$
– Kavi Rama Murthy
yesterday
$begingroup$
What is the meaning of $1_[0,infty)$. You probably mean $1_[0,infty)(X)$.
$endgroup$
– Kavi Rama Murthy
yesterday
$begingroup$
yes, that's what I mean
$endgroup$
– max
yesterday
$begingroup$
yes, that's what I mean
$endgroup$
– max
yesterday
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
It does not follow that $f$ is $0$. Example: take $f(x)=a$ for $0<x<1$ and $f(x)=b$ for $1 <x<infty$. Then the hypothesis becomes $aint_0^1xphi(x)dx+bint_1^infty x phi(x)dx=0$ where $phi$ is the standard normal density function. It is clear that you can choose non-zero $a$ and $b$ satisfying this equation.
answered yesterday
Kavi Rama MurthyKavi Rama Murthy
66k42867
$endgroup$
$begingroup$
Thanks for the clear explanation.
$endgroup$
– max
yesterday
add a comment |
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
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3141033%2fis-fx-equiv-0-necessary-condition-for-mathbbexfx-mathbb1-0-infty%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
$begingroup$
It does not follow that $f$ is $0$. Example: take $f(x)=a$ for $0<x<1$ and $f(x)=b$ for $1 <x<infty$. Then the hypothesis becomes $aint_0^1xphi(x)dx+bint_1^infty x phi(x)dx=0$ where $phi$ is the standard normal density function. It is clear that you can choose non-zero $a$ and $b$ satisfying this equation.
answered yesterday
Kavi Rama MurthyKavi Rama Murthy
66k42867
$endgroup$
$begingroup$
Thanks for the clear explanation.
$endgroup$
– max
yesterday
add a comment |
$begingroup$
It does not follow that $f$ is $0$. Example: take $f(x)=a$ for $0<x<1$ and $f(x)=b$ for $1 <x<infty$. Then the hypothesis becomes $aint_0^1xphi(x)dx+bint_1^infty x phi(x)dx=0$ where $phi$ is the standard normal density function. It is clear that you can choose non-zero $a$ and $b$ satisfying this equation.
answered yesterday
Kavi Rama MurthyKavi Rama Murthy
66k42867
$endgroup$
$begingroup$
Thanks for the clear explanation.
$endgroup$
– max
yesterday
add a comment |
$begingroup$
It does not follow that $f$ is $0$. Example: take $f(x)=a$ for $0<x<1$ and $f(x)=b$ for $1 <x<infty$. Then the hypothesis becomes $aint_0^1xphi(x)dx+bint_1^infty x phi(x)dx=0$ where $phi$ is the standard normal density function. It is clear that you can choose non-zero $a$ and $b$ satisfying this equation.
answered yesterday
Kavi Rama MurthyKavi Rama Murthy
66k42867
$endgroup$
It does not follow that $f$ is $0$. Example: take $f(x)=a$ for $0<x<1$ and $f(x)=b$ for $1 <x<infty$. Then the hypothesis becomes $aint_0^1xphi(x)dx+bint_1^infty x phi(x)dx=0$ where $phi$ is the standard normal density function. It is clear that you can choose non-zero $a$ and $b$ satisfying this equation.
answered yesterday
Kavi Rama MurthyKavi Rama Murthy
66k42867
answered yesterday
Kavi Rama MurthyKavi Rama Murthy
66k42867
answered yesterday
Kavi Rama MurthyKavi Rama Murthy
66k42867
answered yesterday
Kavi Rama MurthyKavi Rama Murthy
66k42867
66k42867
$begingroup$
Thanks for the clear explanation.
$endgroup$
– max
yesterday
add a comment |
$begingroup$
Thanks for the clear explanation.
$endgroup$
– max
yesterday
$begingroup$
Thanks for the clear explanation.
$endgroup$
– max
yesterday
$begingroup$
Thanks for the clear explanation.
$endgroup$
– max
yesterday
add a comment |
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.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3141033%2fis-fx-equiv-0-necessary-condition-for-mathbbexfx-mathbb1-0-infty%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
$begingroup$
What is the meaning of $1_[0,infty)$. You probably mean $1_[0,infty)(X)$.
$endgroup$
– Kavi Rama Murthy
yesterday
$begingroup$
yes, that's what I mean
$endgroup$
– max
yesterday