Image of a symmetric law The Next CEO of Stack OverflowHitting time of two dimensional continuous martingaleStopped process of Brownian motionindependence of stopping time and a sigma algebraStrong markov property in two dimensional Brownian motionDoes Brownian Motion return to the origin infinitely soon?If $(B_t)_tge 0$ is a Brownian motion and $tau$ is a stopping time, then the stopped process $(B_min(tau,t))_tge 0$ is integrableSufficient condition for the integrability of a stopping time $tau$Show the following is a stopping timeUsing Galmarino's testFor a Brownian motion $(B_t)_t geq 0$, do we have $E[(B_tau - B_sigma)^2]=E[B_tau^2 - B_sigma^2]$ for stopping times $sigma leq tau$?
Can a single photon have an energy density?
How to use tikz in fbox?
How to write papers efficiently when English isn't my first language?
I believe this to be a fraud - hired, then asked to cash check and send cash as Bitcoin
How to Reset Passwords on Multiple Websites Easily?
How do I solve this limit?
How easy is it to start Magic from scratch?
Why here is plural "We went to the movies last night."
Why is there a PLL in CPU?
Was a professor correct to chastise me for writing "Prof. X" rather than "Professor X"?
Increase performance creating Mandelbrot set in python
Why does GHC infer a monomorphic type here, even with MonomorphismRestriction disabled?
Why Were Madagascar and New Zealand Discovered So Late?
Customer Requests (Sometimes) Drive Me Bonkers!
Trouble understanding the speech of overseas colleagues
How to make a variable always equal to the result of some calculations?
What is the purpose of the Evocation wizard's Potent Cantrip feature?
Does the Brexit deal have to be agreed by both Houses?
Why is Miller's case titled R (Miller)?
Inappropriate reference requests from Journal reviewers
How do spells that require an ability check vs. the caster's spell save DC work?
Too much space between section and text in a twocolumn document
How can I quit an app using Terminal?
Fastest way to shutdown Ubuntu Mate 18.10
Image of a symmetric law
The Next CEO of Stack OverflowHitting time of two dimensional continuous martingaleStopped process of Brownian motionindependence of stopping time and a sigma algebraStrong markov property in two dimensional Brownian motionDoes Brownian Motion return to the origin infinitely soon?If $(B_t)_tge 0$ is a Brownian motion and $tau$ is a stopping time, then the stopped process $(B_min(tau,t))_tge 0$ is integrableSufficient condition for the integrability of a stopping time $tau$Show the following is a stopping timeUsing Galmarino's testFor a Brownian motion $(B_t)_t geq 0$, do we have $E[(B_tau - B_sigma)^2]=E[B_tau^2 - B_sigma^2]$ for stopping times $sigma leq tau$?
$begingroup$
Assume I have a probability space $(Omega, mathcalF, P)$ that is mapped by a measurable function $X$ into $(E,mathcalE)$, moreover $P(X in U)=P(-X in U)$, now $Y$ maps this measurable space into $(G, mathcalG)$.
Is it true that: $P(Y(X) in V)=P(Y(-X) in V)$ or not?
Under which conditions it is.
If we have a continuos Brownian motion $B$ and a stopping time $tau=inft: B_t notin(-1,1) $, is it true (and why) that:
$B_tau$ has the same law as $-B_tau$ ?
And how do you compute those laws.
Thanks.
real-analysis probability-theory brownian-motion stopping-times
$endgroup$
add a comment |
$begingroup$
Assume I have a probability space $(Omega, mathcalF, P)$ that is mapped by a measurable function $X$ into $(E,mathcalE)$, moreover $P(X in U)=P(-X in U)$, now $Y$ maps this measurable space into $(G, mathcalG)$.
Is it true that: $P(Y(X) in V)=P(Y(-X) in V)$ or not?
Under which conditions it is.
If we have a continuos Brownian motion $B$ and a stopping time $tau=inft: B_t notin(-1,1) $, is it true (and why) that:
$B_tau$ has the same law as $-B_tau$ ?
And how do you compute those laws.
Thanks.
real-analysis probability-theory brownian-motion stopping-times
$endgroup$
$begingroup$
First part is trivial: $P(Y(X) in V)=P(X in Y^-1(V)=P(-X in Y^-1(V)P(Y(-X) in V)$.
$endgroup$
– Kavi Rama Murthy
Mar 18 at 10:20
add a comment |
$begingroup$
Assume I have a probability space $(Omega, mathcalF, P)$ that is mapped by a measurable function $X$ into $(E,mathcalE)$, moreover $P(X in U)=P(-X in U)$, now $Y$ maps this measurable space into $(G, mathcalG)$.
Is it true that: $P(Y(X) in V)=P(Y(-X) in V)$ or not?
Under which conditions it is.
If we have a continuos Brownian motion $B$ and a stopping time $tau=inft: B_t notin(-1,1) $, is it true (and why) that:
$B_tau$ has the same law as $-B_tau$ ?
And how do you compute those laws.
Thanks.
real-analysis probability-theory brownian-motion stopping-times
$endgroup$
Assume I have a probability space $(Omega, mathcalF, P)$ that is mapped by a measurable function $X$ into $(E,mathcalE)$, moreover $P(X in U)=P(-X in U)$, now $Y$ maps this measurable space into $(G, mathcalG)$.
Is it true that: $P(Y(X) in V)=P(Y(-X) in V)$ or not?
Under which conditions it is.
If we have a continuos Brownian motion $B$ and a stopping time $tau=inft: B_t notin(-1,1) $, is it true (and why) that:
$B_tau$ has the same law as $-B_tau$ ?
And how do you compute those laws.
Thanks.
real-analysis probability-theory brownian-motion stopping-times
real-analysis probability-theory brownian-motion stopping-times
asked Mar 18 at 10:17
lucmobzlucmobz
404
404
$begingroup$
First part is trivial: $P(Y(X) in V)=P(X in Y^-1(V)=P(-X in Y^-1(V)P(Y(-X) in V)$.
$endgroup$
– Kavi Rama Murthy
Mar 18 at 10:20
add a comment |
$begingroup$
First part is trivial: $P(Y(X) in V)=P(X in Y^-1(V)=P(-X in Y^-1(V)P(Y(-X) in V)$.
$endgroup$
– Kavi Rama Murthy
Mar 18 at 10:20
$begingroup$
First part is trivial: $P(Y(X) in V)=P(X in Y^-1(V)=P(-X in Y^-1(V)P(Y(-X) in V)$.
$endgroup$
– Kavi Rama Murthy
Mar 18 at 10:20
$begingroup$
First part is trivial: $P(Y(X) in V)=P(X in Y^-1(V)=P(-X in Y^-1(V)P(Y(-X) in V)$.
$endgroup$
– Kavi Rama Murthy
Mar 18 at 10:20
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
I recall the following:
Let $X,X':Omegato E$ be two random variables and $f:Eto F$ be a
measurable map (of course with the same $sigma$-algebra for $E$).
If $X$ and $X'$ have the same distribution, then $f(X)$ and $f(X')$
have the same distribution as well.
This property gives you the answer of your two questions.
First of all, if $mathbb P(Xin U)=mathbb P(-Xin U)$ for all $Uinmathcal E$, then $X$ and $-X$ have the same distribution, so $Y(X)$ and $Y(-X)$ have the same distribution and $mathbb P(Y(X)in V)=mathbb P(Y(-X)in V)$ for all $Vinmathcal G$.
Second, let $C(mathbb R_+,mathbb R)$ denote the set of continuous functions from $mathbb R_+$ to $mathbb R$. Then your brownian motion $B$ is a random variable $B:Omegato C(mathbb R_+,mathbb R)$, which has the same distribution as $-B$. Let $F:C(mathbb R_+,mathbb R)tomathbb R$ be defined for all $bin C(mathbb R_+,mathbb R)$ by
$$
F(b)=inftinmathbb R_+mid b(t)notin(-1,1)
$$
Clearly, for all $bin C(mathbb R_+,mathbb R)$, we have $F(b)=F(-b)$. Let $H:C(mathbb R_+,mathbb R)tomathbb R$ be defined for all $bin C(mathbb R_+,mathbb R)$ by
$$
H(b)=bleft(F(b)right)
$$
Since $B$ and $-B$ have the same distribution, $H(B)=B_F(B)$ and $H(-B)=-B_F(-B)=-B_F(B)$ have the same distribution. Yet $F(B)=tau$. So $B_tau$ and $-B_tau$ have the same distribution.
Moreover, $B_tauin-1,1$ by continuity of the sample paths. Since $B_tau$ and $-B_tau$ have the same distribution we have $mathbb P(B_tau=1)=mathbb P(B_tau=-1)=frac12$.
$endgroup$
$begingroup$
F is measurable?
$endgroup$
– lucmobz
Mar 18 at 13:03
$begingroup$
You can easily check that $F(b)le t=bigcap_kge1bigcup_sin[0,t]capmathbb Q_+vert b(s)vertge1-frac 1k$, hence it is measurable.
$endgroup$
– Will
Mar 18 at 13:23
$begingroup$
Thank you you've been very helpful and detailed.
$endgroup$
– lucmobz
Mar 18 at 15:54
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%2f3152618%2fimage-of-a-symmetric-law%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$
I recall the following:
Let $X,X':Omegato E$ be two random variables and $f:Eto F$ be a
measurable map (of course with the same $sigma$-algebra for $E$).
If $X$ and $X'$ have the same distribution, then $f(X)$ and $f(X')$
have the same distribution as well.
This property gives you the answer of your two questions.
First of all, if $mathbb P(Xin U)=mathbb P(-Xin U)$ for all $Uinmathcal E$, then $X$ and $-X$ have the same distribution, so $Y(X)$ and $Y(-X)$ have the same distribution and $mathbb P(Y(X)in V)=mathbb P(Y(-X)in V)$ for all $Vinmathcal G$.
Second, let $C(mathbb R_+,mathbb R)$ denote the set of continuous functions from $mathbb R_+$ to $mathbb R$. Then your brownian motion $B$ is a random variable $B:Omegato C(mathbb R_+,mathbb R)$, which has the same distribution as $-B$. Let $F:C(mathbb R_+,mathbb R)tomathbb R$ be defined for all $bin C(mathbb R_+,mathbb R)$ by
$$
F(b)=inftinmathbb R_+mid b(t)notin(-1,1)
$$
Clearly, for all $bin C(mathbb R_+,mathbb R)$, we have $F(b)=F(-b)$. Let $H:C(mathbb R_+,mathbb R)tomathbb R$ be defined for all $bin C(mathbb R_+,mathbb R)$ by
$$
H(b)=bleft(F(b)right)
$$
Since $B$ and $-B$ have the same distribution, $H(B)=B_F(B)$ and $H(-B)=-B_F(-B)=-B_F(B)$ have the same distribution. Yet $F(B)=tau$. So $B_tau$ and $-B_tau$ have the same distribution.
Moreover, $B_tauin-1,1$ by continuity of the sample paths. Since $B_tau$ and $-B_tau$ have the same distribution we have $mathbb P(B_tau=1)=mathbb P(B_tau=-1)=frac12$.
$endgroup$
$begingroup$
F is measurable?
$endgroup$
– lucmobz
Mar 18 at 13:03
$begingroup$
You can easily check that $F(b)le t=bigcap_kge1bigcup_sin[0,t]capmathbb Q_+vert b(s)vertge1-frac 1k$, hence it is measurable.
$endgroup$
– Will
Mar 18 at 13:23
$begingroup$
Thank you you've been very helpful and detailed.
$endgroup$
– lucmobz
Mar 18 at 15:54
add a comment |
$begingroup$
I recall the following:
Let $X,X':Omegato E$ be two random variables and $f:Eto F$ be a
measurable map (of course with the same $sigma$-algebra for $E$).
If $X$ and $X'$ have the same distribution, then $f(X)$ and $f(X')$
have the same distribution as well.
This property gives you the answer of your two questions.
First of all, if $mathbb P(Xin U)=mathbb P(-Xin U)$ for all $Uinmathcal E$, then $X$ and $-X$ have the same distribution, so $Y(X)$ and $Y(-X)$ have the same distribution and $mathbb P(Y(X)in V)=mathbb P(Y(-X)in V)$ for all $Vinmathcal G$.
Second, let $C(mathbb R_+,mathbb R)$ denote the set of continuous functions from $mathbb R_+$ to $mathbb R$. Then your brownian motion $B$ is a random variable $B:Omegato C(mathbb R_+,mathbb R)$, which has the same distribution as $-B$. Let $F:C(mathbb R_+,mathbb R)tomathbb R$ be defined for all $bin C(mathbb R_+,mathbb R)$ by
$$
F(b)=inftinmathbb R_+mid b(t)notin(-1,1)
$$
Clearly, for all $bin C(mathbb R_+,mathbb R)$, we have $F(b)=F(-b)$. Let $H:C(mathbb R_+,mathbb R)tomathbb R$ be defined for all $bin C(mathbb R_+,mathbb R)$ by
$$
H(b)=bleft(F(b)right)
$$
Since $B$ and $-B$ have the same distribution, $H(B)=B_F(B)$ and $H(-B)=-B_F(-B)=-B_F(B)$ have the same distribution. Yet $F(B)=tau$. So $B_tau$ and $-B_tau$ have the same distribution.
Moreover, $B_tauin-1,1$ by continuity of the sample paths. Since $B_tau$ and $-B_tau$ have the same distribution we have $mathbb P(B_tau=1)=mathbb P(B_tau=-1)=frac12$.
$endgroup$
$begingroup$
F is measurable?
$endgroup$
– lucmobz
Mar 18 at 13:03
$begingroup$
You can easily check that $F(b)le t=bigcap_kge1bigcup_sin[0,t]capmathbb Q_+vert b(s)vertge1-frac 1k$, hence it is measurable.
$endgroup$
– Will
Mar 18 at 13:23
$begingroup$
Thank you you've been very helpful and detailed.
$endgroup$
– lucmobz
Mar 18 at 15:54
add a comment |
$begingroup$
I recall the following:
Let $X,X':Omegato E$ be two random variables and $f:Eto F$ be a
measurable map (of course with the same $sigma$-algebra for $E$).
If $X$ and $X'$ have the same distribution, then $f(X)$ and $f(X')$
have the same distribution as well.
This property gives you the answer of your two questions.
First of all, if $mathbb P(Xin U)=mathbb P(-Xin U)$ for all $Uinmathcal E$, then $X$ and $-X$ have the same distribution, so $Y(X)$ and $Y(-X)$ have the same distribution and $mathbb P(Y(X)in V)=mathbb P(Y(-X)in V)$ for all $Vinmathcal G$.
Second, let $C(mathbb R_+,mathbb R)$ denote the set of continuous functions from $mathbb R_+$ to $mathbb R$. Then your brownian motion $B$ is a random variable $B:Omegato C(mathbb R_+,mathbb R)$, which has the same distribution as $-B$. Let $F:C(mathbb R_+,mathbb R)tomathbb R$ be defined for all $bin C(mathbb R_+,mathbb R)$ by
$$
F(b)=inftinmathbb R_+mid b(t)notin(-1,1)
$$
Clearly, for all $bin C(mathbb R_+,mathbb R)$, we have $F(b)=F(-b)$. Let $H:C(mathbb R_+,mathbb R)tomathbb R$ be defined for all $bin C(mathbb R_+,mathbb R)$ by
$$
H(b)=bleft(F(b)right)
$$
Since $B$ and $-B$ have the same distribution, $H(B)=B_F(B)$ and $H(-B)=-B_F(-B)=-B_F(B)$ have the same distribution. Yet $F(B)=tau$. So $B_tau$ and $-B_tau$ have the same distribution.
Moreover, $B_tauin-1,1$ by continuity of the sample paths. Since $B_tau$ and $-B_tau$ have the same distribution we have $mathbb P(B_tau=1)=mathbb P(B_tau=-1)=frac12$.
$endgroup$
I recall the following:
Let $X,X':Omegato E$ be two random variables and $f:Eto F$ be a
measurable map (of course with the same $sigma$-algebra for $E$).
If $X$ and $X'$ have the same distribution, then $f(X)$ and $f(X')$
have the same distribution as well.
This property gives you the answer of your two questions.
First of all, if $mathbb P(Xin U)=mathbb P(-Xin U)$ for all $Uinmathcal E$, then $X$ and $-X$ have the same distribution, so $Y(X)$ and $Y(-X)$ have the same distribution and $mathbb P(Y(X)in V)=mathbb P(Y(-X)in V)$ for all $Vinmathcal G$.
Second, let $C(mathbb R_+,mathbb R)$ denote the set of continuous functions from $mathbb R_+$ to $mathbb R$. Then your brownian motion $B$ is a random variable $B:Omegato C(mathbb R_+,mathbb R)$, which has the same distribution as $-B$. Let $F:C(mathbb R_+,mathbb R)tomathbb R$ be defined for all $bin C(mathbb R_+,mathbb R)$ by
$$
F(b)=inftinmathbb R_+mid b(t)notin(-1,1)
$$
Clearly, for all $bin C(mathbb R_+,mathbb R)$, we have $F(b)=F(-b)$. Let $H:C(mathbb R_+,mathbb R)tomathbb R$ be defined for all $bin C(mathbb R_+,mathbb R)$ by
$$
H(b)=bleft(F(b)right)
$$
Since $B$ and $-B$ have the same distribution, $H(B)=B_F(B)$ and $H(-B)=-B_F(-B)=-B_F(B)$ have the same distribution. Yet $F(B)=tau$. So $B_tau$ and $-B_tau$ have the same distribution.
Moreover, $B_tauin-1,1$ by continuity of the sample paths. Since $B_tau$ and $-B_tau$ have the same distribution we have $mathbb P(B_tau=1)=mathbb P(B_tau=-1)=frac12$.
answered Mar 18 at 10:59
WillWill
5115
5115
$begingroup$
F is measurable?
$endgroup$
– lucmobz
Mar 18 at 13:03
$begingroup$
You can easily check that $F(b)le t=bigcap_kge1bigcup_sin[0,t]capmathbb Q_+vert b(s)vertge1-frac 1k$, hence it is measurable.
$endgroup$
– Will
Mar 18 at 13:23
$begingroup$
Thank you you've been very helpful and detailed.
$endgroup$
– lucmobz
Mar 18 at 15:54
add a comment |
$begingroup$
F is measurable?
$endgroup$
– lucmobz
Mar 18 at 13:03
$begingroup$
You can easily check that $F(b)le t=bigcap_kge1bigcup_sin[0,t]capmathbb Q_+vert b(s)vertge1-frac 1k$, hence it is measurable.
$endgroup$
– Will
Mar 18 at 13:23
$begingroup$
Thank you you've been very helpful and detailed.
$endgroup$
– lucmobz
Mar 18 at 15:54
$begingroup$
F is measurable?
$endgroup$
– lucmobz
Mar 18 at 13:03
$begingroup$
F is measurable?
$endgroup$
– lucmobz
Mar 18 at 13:03
$begingroup$
You can easily check that $F(b)le t=bigcap_kge1bigcup_sin[0,t]capmathbb Q_+vert b(s)vertge1-frac 1k$, hence it is measurable.
$endgroup$
– Will
Mar 18 at 13:23
$begingroup$
You can easily check that $F(b)le t=bigcap_kge1bigcup_sin[0,t]capmathbb Q_+vert b(s)vertge1-frac 1k$, hence it is measurable.
$endgroup$
– Will
Mar 18 at 13:23
$begingroup$
Thank you you've been very helpful and detailed.
$endgroup$
– lucmobz
Mar 18 at 15:54
$begingroup$
Thank you you've been very helpful and detailed.
$endgroup$
– lucmobz
Mar 18 at 15:54
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%2f3152618%2fimage-of-a-symmetric-law%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$
First part is trivial: $P(Y(X) in V)=P(X in Y^-1(V)=P(-X in Y^-1(V)P(Y(-X) in V)$.
$endgroup$
– Kavi Rama Murthy
Mar 18 at 10:20