Dimension doubling theorem: Difference between revisions
First article |
m clean up, typo(s) fixed: simultanously → simultaneously |
||
Line 1: | Line 1: | ||
In [[probability theory]], the '''dimension doubling theorems''' are two results about the [[Hausdorff dimension]] of an [[image (mathematics)|image]] of a [[Brownian motion]]. In their core both statements say, that the dimension of a set <math>A</math> under a Brownian motion doubles [[almost surely]]. |
In [[probability theory]], the '''dimension doubling theorems''' are two results about the [[Hausdorff dimension]] of an [[image (mathematics)|image]] of a [[Brownian motion]]. In their core both statements say, that the dimension of a set <math>A</math> under a Brownian motion doubles [[almost surely]]. |
||
The first result is due to [[Henry McKean|Henry P. McKean jr]] and hence called '''McKean's theorem''' (1955). The second theorem is a refinement of McKean's result and called '''Kaufman's theorem''' (1969) since it was proven by [[Rober Kaufman (mathematician)|Robert Kaufman]].<ref>{{cite journal|first1=Robert|last1=Kaufman|title=Une propriété métrique du mouvement brownien|journal=C. R. Acad. Sci. Paris|volume=268|pages= |
The first result is due to [[Henry McKean|Henry P. McKean jr]] and hence called '''McKean's theorem''' (1955). The second theorem is a refinement of McKean's result and called '''Kaufman's theorem''' (1969) since it was proven by [[Rober Kaufman (mathematician)|Robert Kaufman]].<ref>{{cite journal|first1=Robert|last1=Kaufman|title=Une propriété métrique du mouvement brownien|journal=C. R. Acad. Sci. Paris|volume=268|pages=727–728|date=1969}}</ref> |
||
== Dimension doubling theorems == |
== Dimension doubling theorems == |
||
Line 11: | Line 11: | ||
:<math>\dim W(A)=2\dim A</math> |
:<math>\dim W(A)=2\dim A</math> |
||
<math>P</math>-almost surely. |
<math>P</math>-almost surely. |
||
=== Kaufman's theorem === |
=== Kaufman's theorem === |
||
Let <math>W(t)</math> be a Brownian motion in dimension <math>d\geq 2</math>. Then <math>P</math>-almost surley, for any set <math>A\subset [0,\infty)</math>, we have |
Let <math>W(t)</math> be a Brownian motion in dimension <math>d\geq 2</math>. Then <math>P</math>-almost surley, for any set <math>A\subset [0,\infty)</math>, we have |
||
Line 16: | Line 17: | ||
=== Difference of the theorems === |
=== Difference of the theorems === |
||
The difference of the theorems is the following: in McKean's result the <math>P</math>-[[null set]]s, where the statement is not true, depends on the choice of <math>A</math>. Kaufman's result on the other hand is true for all choices of <math>A</math> |
The difference of the theorems is the following: in McKean's result the <math>P</math>-[[null set]]s, where the statement is not true, depends on the choice of <math>A</math>. Kaufman's result on the other hand is true for all choices of <math>A</math> simultaneously. This means Kaufman's theorem can also be applied to random sets <math>A</math>. |
||
== Literature == |
== Literature == |
||
*{{cite book|first1=Peter|last1=Mörters|first2=Yuval|last2=Peres|title=Brownian Motion|publisher=Cambridge Univerity Press|place=Cambridge|pages=279|date=2010}} |
*{{cite book|first1=Peter|last1=Mörters|first2=Yuval|last2=Peres|title=Brownian Motion|publisher=Cambridge Univerity Press|place=Cambridge|pages=279|date=2010}} |
||
*{{cite book|title=Brownian Motion|first1=René L.|last1=Schilling|first2=Lothar|last2=Partzsch|publisher=De Gruyter|date=2014}} |
*{{cite book|title=Brownian Motion|first1=René L.|last1=Schilling|first2=Lothar|last2=Partzsch|publisher=De Gruyter|date=2014}} |
||
== References == |
== References == |
||
<references /> |
<references /> |
||
[[ |
[[Category:Wiener process]] |
||
[[ |
[[Category:Probability theorems]] |
Revision as of 14:28, 20 February 2023
In probability theory, the dimension doubling theorems are two results about the Hausdorff dimension of an image of a Brownian motion. In their core both statements say, that the dimension of a set under a Brownian motion doubles almost surely.
The first result is due to Henry P. McKean jr and hence called McKean's theorem (1955). The second theorem is a refinement of McKean's result and called Kaufman's theorem (1969) since it was proven by Robert Kaufman.[1]
Dimension doubling theorems
For a -dimensional Brownian motion and a set we define the image of under , i.e.
McKean's theorem
Let be a Brownian motion in dimension . Let , then
-almost surely.
Kaufman's theorem
Let be a Brownian motion in dimension . Then -almost surley, for any set , we have
Difference of the theorems
The difference of the theorems is the following: in McKean's result the -null sets, where the statement is not true, depends on the choice of . Kaufman's result on the other hand is true for all choices of simultaneously. This means Kaufman's theorem can also be applied to random sets .
Literature
- Mörters, Peter; Peres, Yuval (2010). Brownian Motion. Cambridge: Cambridge Univerity Press. p. 279.
- Schilling, René L.; Partzsch, Lothar (2014). Brownian Motion. De Gruyter.
References
- ^ Kaufman, Robert (1969). "Une propriété métrique du mouvement brownien". C. R. Acad. Sci. Paris. 268: 727–728.