Distribució de Cantor

Distribució de Cantor

Funció de distribució de probabilitat
Tipus	Distribució singular i distribució de probabilitat contínua
Epònim	Georg Cantor
Paràmetres	none
Suport	Conjunt de Cantor
Esperança matemàtica	1/2
Mediana	en qualsevol lloc dins de [1/3, 2/3]
Moda	n/a
Variància	1/8
Coeficient de simetria	0
Curtosi	−8/5
FC	$e^{it/2}\prod _{k=1}^{\infty }\cos \left({\frac {t}{3^{k}}}\right)$

La distribució Cantor és una probabilitat sobre els nombres reals, concentrada en el conjunt de Cantor, que té per funció de distribució la funció de Cantor.

Com que la funció de Cantor és contínua però no absolutament contínua, la distribució de Cantor no té part absolutament contínua respecte la mesura de Lebesgue (no té densitat) ni té part discreta; és un exemple de distribució singular.

En tot aquest article, $X$ designarà una variable aleatòria amb distribució de Cantor i $C$ el conjunt de Cantor.

Definició

La funció de Cantor és una funció $F:[0,1]\longrightarrow [0,1]$ no decreixent, contínua i amb $F(0)=0$ i $F(1)=1$. Podem estendre-la a una funció definida en tot $\mathbb {R}$ (utilitzem la mateixa lletra) $F:\mathbb {R} \longrightarrow [0,1]$ posant $F(x)=0$ si $x<0$, i $F(x)=1$ si $x>1$. Aleshores $F$ és una funció de distribució, i per tant, determina una probabilitat a $\mathbb {R}$. Una variable aleatòria $X$ que tingui aquesta funció de distribució es diu que té (o segueix) una distribució de Cantor . Atès que $F$ és contínua, tindrem que per a qualsevol punt $x$$$P(X=x)=F(x)-F(x^{-})=0,$$on $F(x^{-})$ és el límit per l'esquerra de $F$ en el punt $x$. Llavors, la distribució de Cantor no té part de salts.

Per $a<b$ tindrem $$P(a<X<b)=P(a\leq X\leq b)=P(a<X\leq b)=P(a\leq X<b)=F(b)-F(a).$$

Atès que la funció de Cantor compleix $F'(x)=0$, per a tot $x\in \mathbb {R} \backslash C$, on $C$ és el conjunt de Cantor, que té $C$ mesura de Lebesgue zero, es dedueix que a distribució de Cantor no té densitat, és a dir, no existeix cap funció $f\geq 0$ tal que $$P(a<X<b)=\int _{a}^{b}f(x)\,dx.$$

Suport de la distribució de Cantor

El suport de la distribució de Cantor és el conjunt de Cantor, que designarem per $C$. És a dir, si $X$ és una variable aleatòria amb distribució de Cantor, aleshores $P(X\in C)=1$. De fet, $C$ és el suport tancat de la distribució de Cantor: $C$ és el conjunt tancat més petit que té probabilitat 1.

Atès que el conjunt $C$ té mesura de Lebesgue zero, la distribució de Cantor és un exemple de distribució singular respecte la mesura de Lebesgue

Caracterització de la distribució de Cantor

Recordem que el conjunt de Cantor $C$ és la intersecció $$C=\bigcap _{n=0}^{\infty }C_{n},$$ on$${\begin{aligned}C_{0}&=[0,1],\\C_{1}&=[0,{\tfrac {1}{3}}]\cup [{\tfrac {2}{3}},1],\\C_{2}&=[0,{\tfrac {1}{9}}]\cup [{\tfrac {2}{9}},{\tfrac {1}{3}}]\cup [{\tfrac {2}{3}},{\tfrac {7}{9}}]\cup [{\tfrac {8}{9}},1],\\\vdots &\\\end{aligned}}$$ Per a cada nivell $n\geq 1$ designem per $I_{1}^{n},\,I_{2}^{n},\dots ,I_{2^{n}}^{n}$, els intervals que formen $C_{n}$. Per exemple, per $n=2$, $$I_{1}^{2}=[0,{\tfrac {1}{9}}],\,I_{2}^{2}=[{\tfrac {2}{9}},{\tfrac {1}{3}}],\,I_{3}^{2}=[{\tfrac {2}{3}},{\tfrac {7}{9}}],\,I_{4}^{2}=[{\tfrac {8}{9}},1].$$

Propietat. La distribució de Cantor és l'única distribució de probabilitat tal que per qualsevol $n\geq 1$,

$$P(X\in I_{k}^{n})={\frac {1}{2^{n}}},\ k=1,\dots ,2^{n}.$$

Simetria de la distribució de Cantor

Del fet que el gràfic de la funció de Cantor $F$ és simètric respecte el punt (1/2, 1/2) es dedueix que la distribució de Cantor és simètrica respecte del punt 1/2, o equivalentment, que si $X$ té una distribució de Cantor, llavors $1-X$ també.

Autosemblança de la distribució de Cantor

Aquesta propietat reposa en el caràcter fractal del conjunt $C$. Diu que si seleccionem a l'atzar un dels intervals $I_{1}^{1}\ {\text{i}}\ I_{2}^{1}$ que formen $C_{1}$, i prenem allí un punt d'acord amb la distribució de Cantor, tornem a obtenir la distribució de Cantor. En fórmules: siguin $X_{1}\ {\text{i}}\ X_{2}$ dues variables aleatòries independents, ambdues amb distribució de Cantor, i definim la variable aleatòria $Y$ per: $$Y=\left\{{\begin{array}{lr}{\dfrac {X_{1}}{3}},&{\text{amb probabilitat}}\ {\dfrac {1}{2}},\\\\{\dfrac {X_{2}}{3}}+{\dfrac {2}{3}},&{\text{amb probabilitat}}\ {\dfrac {1}{2}}.\\\end{array}}\right.$$Aleshores $Y$ també té distribució de Cantor. Noteu que $X_{1}/3\in I_{1}^{1}\ {\text{i}}\ X_{2}/3+2/3\in I_{2}^{1}$. Per escriure de manera més compacta l'expressió anterior, introduïm una variable aleatòria que representi l'elecció a l'atzar entre $I_{1}^{1}\ {\text{i}}\ I_{2}^{1}$. Concretament, sigui $Z$ una variable tal que $$P(Z=0)=P(Z=1)={\frac {1}{2}},$$

independent de $X_{1}\ {\text{i}}\ X_{2}$; quan $Z=1$, elegim $I_{1}^{1}$ i quan $Z=0$ elegim $I_{1}^{1}$: $$Y=\left\{{\begin{array}{lr}{\dfrac {X_{1}}{3}},&{\text{si}}\ Z=1,\\\\{\dfrac {X_{2}}{3}}+{\dfrac {2}{3}},&{\text{si}}\ Z=0.\\\end{array}}\right.$$Escrit en una línia, $$Y=Z\,{\frac {X_{1}}{3}}+(1-Z)\,{\Big (}{\frac {X_{2}}{3}}+{\frac {2}{3}}{\Big )}.$$Observació. El nom autosemblança prové d'una propietat important del conjunt de Cantor, i aquí en fem una versió probabilística. No s'ha de confondre amb la propietat d'autosimilitud de certs processos estocàstics.

Moments

Atès que $C\subset [0,1]$, tenim que $0\leq X\leq 1$, d'on $X$ té moments de tots els ordres. De fet, la distribució de Cantor està determinada pels seus moments

Esperança

Del fet que $X$ i $1-X$ tenen ambdues distribucions de Cantor, es dedueix que $$E[X]=E[1-X],$$d'on $$E[X]={\frac {1}{2}}.$$

Moment de 2n ordre i variància

De la propietat d'autosemblança tenim $${\begin{array}{rl}E[X^{2}]&=E{\bigg [}{\bigg (}Z\,{\dfrac {X_{1}}{3}}+(1-Z)\,{\Big (}{\dfrac {X_{2}}{3}}+{\dfrac {2}{3}}{\Big )}{\bigg )}^{2}{\bigg ]}={\dfrac {1}{9}}\,E[Z^{2}]E[X^{2}]+{\dfrac {1}{9}}\,E[Z^{2}]\,E[(X+2)^{2}]\\&={\dfrac {1}{18}}\,E[X^{2}]+{\dfrac {1}{18}}\,{\Big (}E[X^{2}]+4\,E[X]+4{\Big )}={\dfrac {1}{18}}\,E[X^{2}]+{\frac {1}{18}}\ E[X^{2}]+{\dfrac {1}{3}},\end{array}}$$d'on, aïllant, $$E[X^{2}]={\frac {3}{8}}.$$

D'aquí s'obté:

$$\operatorname {var} (X)=E[X^{2}]-{\big (}E[X]{\big )}^{2}={\frac {1}{8}}.$$

Fórmula de recurrència pels moments

Utilitzant la mateixa tècnica que a l'apartat anterior es pot trobar una fórmula de recurrència per als moments. Escrivim $$m_{n}=E[X^{n}].$$

Llavors, $$m_{n+1}={\frac {1}{3^{n+1}-1}}\,\sum _{j=0}^{n}{\binom {n+1}{j}}2^{n-j}\,m_{j},\ n\geq 0.$$Així, a partir de $m_{0}=1$, tenim $$m_{1}={\frac {1}{2}},\quad m_{2}={\frac {3}{8}}\quad m_{3}={\frac {5}{16}}\quad {\text{i}}\quad m_{4}={\frac {87}{320}}.$$

Expressió explicita dels moments

Lad and Taylor donen la següent expressió pel moment d'ordre $n$ : $$E[X^{n}]=2^{n}\sum _{k=1}^{n}{\frac {1}{2^{k}}}\sum {\frac {n!}{a_{1}!\cdots a_{k}!}}\,{\frac {1}{\prod _{j=1}^{k}{\big (}3^{\sum _{i=j}^{k}a_{i}}-1{\big )}}},$$on la segona suma es fa sobre totes les $n$-ples $(a_{1},\dots ,a_{k})$ de nombres naturals més grans o iguals a 1, tals que $n=\sum _{j=1}^{k}a_{j}$. A la següent taula hi ha els casos $n=1,2,3,4$: $${\begin{array}{ccc}\hline \quad {\boldsymbol {n}}\quad &\quad {\boldsymbol {k}}\quad &(a_{1},\dots ,a_{k})\\\hline 1&1&(1)\\\hline 2&1&(2)\\&2&(1,1)\\\hline 3&1&(3)\\&2&(1,2),\,(2,1)\\&3&(1,1,1)\\\hline 4&1&(1)\\&2&(3,1),\,(1,3),\,(2,2),\\&3&(2,1,1)\,\,(1,2,1),\,(1,1,2)\\&4&(1,1,1,1)\\\hline \end{array}}$$Alternativament, es pot trobar una fórmula pels moments a partir del càlcul dels cumulants parells [1] Arxivat 2015-12-02 a Wayback Machine.

$\kappa _{2n}={\frac {2^{2n-1}(2^{2n}-1)B_{2n}}{n\,(3^{2n}-1)}},\,\!$

on B_2n és el segon nombre de Bernoulli, i llavors expressant els moments com a funcions dels cumulants.

Funció característica

Utilitzant també la propietat d'autosemblança es pot calcular la funció característica de la distribució de Cantor: $$E[e^{itX}]=e^{it/2}\prod _{k=1}^{\infty }\cos(t/3^{k}).$$

La distribució de Cantor com a límit d'una passejada aleatòria

Considerem una successió de variables aleatòries $X_{1},\,X_{2},\dots$ independents i totes amb la següent distribució: $$P(X_{j}=0)=P(X_{j}=2)={\frac {1}{2}}.$$

Definim la sèrie $$S=\sum _{n=1}^{\infty }{\frac {X_{n}}{3^{n}}},$$que convergeix absolutament q.s., ja que és una sèrie de termes positius i $$\sum _{n=1}^{\infty }{\frac {X_{n}}{3^{n}}}\leq 2\sum _{n=1}^{\infty }{\frac {1}{3^{n}}}=1<\infty .$$

Calculant la funció característica de $S$ es veu que té distribució de Cantor.

Bibliografia

• Falconer, K. J.. Geometry of Fractal Sets. Cambridge & New York: Cambridge Univ Press, 1985. 
• Hu, Tian-You; Lau, Ka Sing. Fourier Asymptotics of Cantor Type Measures at Infinity. 130, 2002, p. 2711–2717. 
• Knill, O. Probability Theory & Stochastic Processes. India: Overseas Press, 2006. 
• Mandelbrot, B. The Fractal Geometry of Nature. San Francisco, CA: WH Freeman & Co., 1982. 
• Mattilla, P. Geometry of Sets in Euclidean Spaces. San Francisco: Cambridge University Press, 1995. 
• Saks, Stanislaw. Theory of the Integral. Warsaw: PAN, 1933.  (Reprinted by Dover Publications, Mineola, NY.

Enllaços externs

• Morrison, Kent. «Random Walks with Decreasing Steps». Department of Mathematics, California Polytechnic State University, 23-07-1998. Arxivat de l'original el 2015-12-02. [Consulta: 16 febrer 2007].
• Utzet, Frederic. «Una passejada aletòria pel conjunt de Cantor». Department de matemátiques, Universitat Autònoma de Barcelona, Materials Matemàtics, vol. 2020, no. 3, pp. 35, 2020.