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$?










0












$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.










share|cite|improve this question









$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















0












$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.










share|cite|improve this question









$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













0












0








0





$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.










share|cite|improve this question









$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






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










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
















  • $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










1 Answer
1






active

oldest

votes


















1












$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$.






share|cite|improve this answer









$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











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%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









1












$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$.






share|cite|improve this answer









$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















1












$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$.






share|cite|improve this answer









$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













1












1








1





$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$.






share|cite|improve this answer









$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$.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










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
















  • $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

















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%2f3152618%2fimage-of-a-symmetric-law%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

Moe incest case Sentencing See also References Navigation menu"'Australian Josef Fritzl' fathered four children by daughter""Small town recoils in horror at 'Australian Fritzl' incest case""Victorian rape allegations echo Fritzl case - Just In (Australian Broadcasting Corporation)""Incest father jailed for 22 years""'Australian Fritzl' sentenced to 22 years in prison for abusing daughter for three decades""RSJ v The Queen"

Who is our nearest planetary neighbor, on average?Santa Claus flies to the South PoleSeven Spheres of Unequal Mass, a weighing problem with a twistDescribe a large integerFast Mental Calculation of $7.5^7$Math in Space (without the help of celebrities)Find the value of $bigstar$: Puzzle 8 - InequalityWho drinks beer while running anyway?A Crucial DeliveryRanking And AverageHow long will my money last at roulette?

Daza language Contents Vocabulary Phonology References External links Navigation menudaza1242Daza"Dazaga"eeee178086576