Sigui
espai mesurable, és a dir,
és un conjunt arbitrari i
una
-àlgebra sobre
. Es diu que dues mesures
i
sobre aquest espai són mútuament singulars [1] si existeix un conjunt
tal que
on
és el complementari de
. S'escriu
. En paraules, si una mesura pren valors en un conjunt que té mesura zero per l'altra mesura i recíprocament. Malgrat la simetria de la definició, és molt habitual dir que la mesura
és singular respecte
.
Quan la mesura
és una probabilitat, és a dir,
, és diu que és una distribució singular respecte de
. Un cas especialment important és quan
,
és una probabilitat i
és la mesura de Lebesgue, que designarem per
.
Exemples.
- 1. Sigui
la distribució de Poisson, que pren valors sobre els nombres natural
. Llavors
, ja que
![{\displaystyle \nu (\mathbb {N} ^{c})=0\quad {\text{i}}\quad \lambda (\mathbb {N} )=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab84e9bc22912c19a0e5cb84ad7f0b705b848687)
.
- En general, totes les distribucions discretes són singulars amb la mesura de Lebesgue.
- 2. Però és realment notable l'existència de distribucions de probabilitat que prenen valors en un conjunt amb la potència del continu (és a dir, amb el mateix cardinal que
) i que són singulars respecte a la mesura de Lebesgue, com la distribució de Cantor.
Mesura absolutament contínua respecte d'una altra
La noció antitètica amb la singularitat és la continuïtat absoluta [1]:
És diu que una mesura
és absolutament contínua respecte
[1] si per qualsevol
tal que
tenim que
. S'escriu
.
Tal com diu Halmos[2], la singularitat entre dues mesures és una forma extrema de no continuïtat absoluta.
Exemple. Sigui
una funció mesurable no negativa,
. Definim la funció de conjunt
Aleshores
és una mesura [1] i
s'anomena la seva funció de densitat. A més, atès que la integral sobre un conjunt de mesura
zero és zero, tindrem que
i per tant
és absolutament contínua respecte
.
Per concretar més l'exemple, siguin
,
és la
-àlgebra de Borel sobre
i
la mesura de Lebesgue. Sigui
la distribució normal estàndard
, és a dir, la mesura definida per
Aleshores
.
Nota. El famós teorema de Radon-Nikodym estableix el recíproc de l'exemple anterior, sotmès a que les mesures implicades siguin
-finites.
Descomposició de Lebesgue
Sigui
un espai de mesura tal
que sigui
-finita. Considerem una altra mesura
-finita. Aleshores existeixen dues mesures (úniques)
i
, amb
i
, tals que
Vegeu Royden [3].
Parts discreta i contínua d'una distribucions de probabilitat a
[modifica]
Aplicant la nomenclatura de les mesures sobre
[4] a una distribucions de probabilitat
sobre
, es diu que és
- discreta si existeix un conjunt finit o numerable
tal que
.
- contínua si
per a qualsevol
.
- singular si existeix un conjunt
tal que
i
on
és la mesura de Lebesgue a
.
- absolutament contínua si per qualsevol conjunt
tal que
, tenim que
.
D'acord amb el Teorema de Radon-Nikodym, si
és absolutament contínua, aleshores existeix una funció
mesurable tal que
La funció
s'anomena la funció de densitat de
.
Si (respectivament,
i
) llacors
(respectivament ,
o
) s'anomena la part discreta (resp. la part contínua singular o la part absolutament contínua de) de
Distribucions singulars. Parts discreta i contínua d'una distribució de probabilitat a
[modifica]
Recordem la nomenclatura estàndard de les mesures sobre
[4]: una mesura
es diu que és
- discreta si existeix un conjunt finit o numerable
tal que
, on
és el complementari del conjunt
.
- contínua si
per a qualsevol
.
- singular si existeix un conjunt
tal que
i
on
és la mesura de Lebesgue a
.
- absolutament contínua si per qualsevol conjunt
tal que
, tenim que
.
Quan
és discreta (respectivament absolutament contínua) també es diu que és purament discreta (resp. purament absolutament contínua). Cal notar que les definicions de continuïtat i singularitat no són incompatibles, sinó que hi ha mesures alhora contínues i singulars; la distribució de Cantor n'és un exemple. Una mesura contínua i singular es diu que és purament contínua singular.
Descomposició de mesures. [4] Existeixen tres mesures,
discreta,
contínua singular i
absolutament contínua tals que
Aquestes mesures són úniques.
La mesura
(respectivament
i
) s'anomenen la part discreta (resp. part contínua singular i part absolutament contínua) de
. La mesura
s'anomena la part contínua de
. Òbviament, aquestes mesures poden ser nul·les: per exemple, si
és discreta, aleshores
i
.
Finalment, d'acord amb el Teorema de Radon-Nikodym, si
és
-finita (en particular, si és finita), aleshores existeix una funció
mesurable tal que
La funció
s'anomena la funció de densitat de
.
Adaptació a les distribucions de probabilitat. Totes aquestes definicions i propietats s'adapten directament al cas de les distribucions de probabilitat sobre
. Així, per exemple, es diu que una distribució de probabilitat
sobre
és una distribució discreta si existeix un conjunt finit o numerable
tal que
. O que és una distribució singular si existeix un conjunt
tal que
i
.
- ↑ 1,0 1,1 1,2 1,3 Royden, H. L.. Real analysis. 3rd ed. New York: Macmillan, 1988, p. 276. ISBN 0-02-404151-3.
- ↑ Halmos, Paul R. Measure theory. New York: Van Nostrand, 1950, p. 126. ISBN 0-387-90088-8.
- ↑ Royden, H. L.. Real analysis. 3rd ed. New York: Macmillan, 1988, p. 278. ISBN 0-02-404151-3.
- ↑ 4,0 4,1 4,2 Sato, Ken-iti; 佐藤, 健一. Lévy processes and infinitely divisible distributions. Cambridge, U.K.: Cambridge University Press, 1999, p. 174. ISBN 0-521-55302-4.