Introduo Teoria da Medida

(Texto Tutorial)















J .P. Marques de S (*)

(*) FEUP Faculdade de Engenharia, Universidade do Porto
INEB Instituto de Engenharia Biomdica (PSI)



Outubro 2003
NNIG
Neural Network
Interest Group
Relatrio Interno
2 / 2003
J.P. Marques de S, FEUP, 2003 1


ndice



1 Classes de Subconjuntos........................................................................................... 2
1.1 Classe................................................................................................................ 2
1.2 Semi-Anel......................................................................................................... 2
1.3 Anel .................................................................................................................. 3
1.4 Corpo (lgebra)................................................................................................ 4
1.5 Sigma-Anel (-Anel)........................................................................................ 5
1.6 Sigma-lgebra (-lgebra, -Corpo).............................................................. 5
1.7 -lgebra de Borel ........................................................................................... 6
2 Medida de Lebesgue................................................................................................. 7
3 Funes Mensurveis ............................................................................................... 9
4 Medida de Probabilidade........................................................................................ 11
Bibliografia..................................................................................................................... 12



























J.P. Marques de S, FEUP, 2003 2
1 Classes de Subconjuntos
O estudo de classes de subconjuntos surge como necessidade de dotar coleces de
subconjuntos com uma certa estrutura, que permita tornar a classe fechada relativamente
a operaes sobre conjuntos, tornando-se, assim, possvel dot-los de uma medida (em
particular, a medida de probabilidade).
1.1 Classe
Dado um conjunto X, formamos um conjunto, C , de subconjuntos de X designado classe
de subconjuntos de X.
C = {A: A X}

Exemplo 1-1
A classe P (X) que contm todos os subconjuntos de X designa-se por vezes "classe das
partes de X". Se X finito, | X | = n | P (X) | = 2
n
.
Por exemplo, X = {a,b,c}; P (X) = {, {a}, {b},{ c},{a,b },{a, c},{ b,c},{a,b,c}=X}

1.2 Semi-Anel
Definio 1-1
Um semi-anel S a classe que satisfaz:
i. S;
ii. A, B S A B S ;
iii. A, B S A B =
U
n
i
i
E
1 =
com E
i
S e E
i
E
j
= , i j.

Exemplo 1-2
X =
n
; prova-se que a classe I
n
= {intervalos finitos semiabertos de
n
do tipo
{(x
1
,...,x
n
): a
i
< x
i
b
i
}} um semi-anel.

a b
c d

Na situao da figura, para I
2
, temos: A = ]a, b]]a, b]; B =]c, d]]c, d];
A B = {]a, b] ]a, c] ]a, c] ]c, d] ]a, b] ]c, b] ]d, b] ]c, d] }.
O mesmo se aplica a outros "rectngulos". A verificao de i. e ii.
trivial.
Note-se, contudo, que A B no pertence a I
2
.

Exemplo 1-3
Para o caso particular do exemplo anterior com X = , temos a classe I = I
1
=
{intervalos finitos semiabertos do tipo ]a, b]}. O facto de ser um semi-anel reflecte-se
no facto de que, com operaes de interseco, se geram elementos de I e, com
diferenas, se geram conjuntos construveis como reunies de elementos disjuntos de I.
( esta a "estrutura" do semi-anel.)


J.P. Marques de S, FEUP, 2003 3
Exemplo 1-4
Seja X = , e a classe C = {intervalos fechados [a, b]}. No um semi-anel. P. ex., A =
[a, b], B = [c, d], com a < c e b > d, pertencem a C; mas A B no construvel com
reunies de elementos disjuntos de C..
1.3 Anel
Definio 1-2
Um anel qualquer classe R no vazia tal que

i. A, B R A B R ;
ii. A, B R A B R . ( A B = (A B) (B A) a diferena simtrica)


Notar que, ento, tambm satisfeita a propriedade i. dos semi-anis ( = A A). Por
outro lado, A B R A B R (porque A B = A (A B)). Esta condio
mais forte que a anterior iii. dos semi-anis. Um anel , portanto, fechado para as
operaes de reunio, interseco e diferena de conjuntos.

Exemplo 1-5
{}, {, X} e P(X) so anis. {} o menor anel.

Exemplo 1-6
I no um anel. P. ex., A = ]a, b], B = ]c, d], com a < c e b > d, pertencem a I; mas
A B I.

Teorema 1-1
A classe C(S) gerada pelo semi-anel S, cujos elementos se podem exprimir como
reunio finita de conjuntos disjuntos de S,
U
n
k
k
A E
1 =
= , A
i
A
j
= , i j, um anel.
Demonstrao:
C(S) tem de conter todos os conjuntos que se exprimem como reunio finita de
conjuntos disjuntos de S, por forma a ser fechado relativamente reunio, como exige o
anel.
Por outro lado, suponhamos que tnhamos quaisquer conjuntos:
U
n
i
i
A A
1 =
= e
U
m
j
j
B B
1 =
= e
sejam as interseces
j i ij
B A C = . Ento os C
ij
so disjuntos e

UU
n
i
m
j
ij
S C B A
1 1
) (
= =
= C

Por outro lado, da definio de semi-anel, segue-se por induo que

J.P. Marques de S, FEUP, 2003 4
) , , 1 (
1 1
n i D C A
i
r
k
ik
m
j
ij i
K
U U
= =
= =
e ) , , 1 (
1 1
m j E C B
j
s
k
kj
n
i
ij j
K
U U
= =
= =


com as sequncias finitas {D
ik
} (k = 1,..., r
i
) e {E
kj
} (k = 1,..., s
j
) consistindo em
conjuntos disjuntos de S. Logo,
A B = (A B) (B A) = ) (
1 1 1 1
S E D
m
j
s
k
kj
n
i
r
k
ik
j
i
C
|
|
.
|

\
|

|
|
.
|

\
|
= = = =
U U U U


Exemplo 1-7
C(I), gerada da forma acima, um anel. Para os conjuntos indicados no Exemplo 1-6
temos A B = ]a, c] ]d, b] C(I).

1.4 Corpo (lgebra)
Corresponde a uma classe de X que anel mas tambm fechada relativamente
operao de complemento (designado por "field", em ingls).

Definio 1-3
Classe no vazia, F, que satisfaz:
i. A, B F A B F ;
ii. F F A A .

Note-se que, sendo fechado para o complemento, podemos aplicar as Leis de Morgan e
facilmente mostrar que:

A B F ; A B F ; S; X F .

Portanto, um corpo necessariamente uma classe no vazia porque tem de conter X.
Exemplo 1-8
P(X) um corpo.
Exemplo 1-9
A classe de todos os subconjuntos limitados de um anel mas no um corpo (p. ex.,
no contm ).
Exemplo 1-10
X =
n
; seja a classe
n
= {intervalos de
n
do tipo {(x
1
,...,x
n
): a
i
< x
i
b
i
< ,
i = 1,...,n}}. Portanto, os intervalos semiabertos de
n
podem estender-se infinitamente
esquerda. Prova-se que, ento, E = C(
n
) definida como no Teorema 1-1, um corpo
Os intervalos de
n
designam-se por rectngulos ou caixas de
n
.
E o corpo das figuras elementares de
n
. Prova-se que E a menor lgebra que
contm
n
.


J.P. Marques de S, FEUP, 2003 5
Exemplo 1-11
Seja o intervalo = ]0, 1]. Podemos, tal como no exemplo anterior, construir o corpo
B
0
a partir de reunies finitas de intervalos semiabertos disjuntos:

| |
U
n
i
i i
b a A
1
,
=
=

1.5 Sigma-Anel (-Anel)
Trata-se de um anel que fechado relativamente realizao de uma sequncia
numervel de reunies ("sigma" vem do alemo "summe" de soma = reunio):

( ) S S
U
K

=
=
1
, 2 , 1
i
i i
A i A

Note-se que, ento, pelas propriedades do anel, tambm fechado para interseces
numerveis.

1.6 Sigma-lgebra (-lgebra, -Corpo)
Trata-se de uma lgebra que fechada relativamente realizao de uma sequncia
numervel de reunies.

Definio 1-4
Uma -lgebra A definida em X, satisfaz:

i. X A (portanto, A no vazia)
ii. A A A A (logo, tambm A )
iii. ( ) A A
U
K

=
=
1
, 2 , 1
i
i i
A i A


Ao par (X, A) chama-se espao mensurvel. Os elementos de A chamam-se conjuntos
mensurveis.


Dois resultados:
1. Se A uma -lgebra para um conjunto X, e X um subconjunto de X, ento
X A, formada por todas as interseces de elementos de A cuja com X,
tambm uma -lgebra (chamada trao de A em X).
2. Sejam os conjuntos X e X, e A uma -lgebra em X. Seja a funo f: X
X. Ento a classe
{ } : ) ( ) (
1 1
A A =

A A f f
uma -lgebra em X.
J.P. Marques de S, FEUP, 2003 6
Exemplo 1-12
A menor -lgebra {, X}. P(X) uma -lgebra.
Exemplo 1-13
Seja X = {a,b,c}. Ento (resultado 1.), so -lgebras os traos de P(X) em {b} e {b,c},
respectivamente P(X) {b} = {, {b}} e P(X) {b,c} = {, {b}, {c}, {b,c}}.

Exemplo 1-14
Seja X = {a,b,c} e X = {0, 1}. Definamos A = {, {0}, {1}, {0,1}} e

0
1
0
:

c
b
a
X X f
;
ento ) (
1
A

f = {, {a, c}, {b}, {a,b,c}} uma -lgebra em X (resultado 2.).

Exemplo 1-15
Para todo o conjunto X, a classe de todos os subconjuntos A X, para os quais ou A ou
A so numerveis, uma -lgebra.

Teorema 1-2
Qualquer interseco finita ou numervel de -lgebras em X uma -lgebra em X.

Aplicando este Teorema possvel mostrar que, para cada classe C de X, existe a menor
-lgebra A(C) contendo C. Para tal basta considerar a interseco de todas as
-lgebras que contm C (P(X) uma delas). A(C) chamada a -lgebra gerada por C.

1.7 -lgebra de Borel
Definio 1-5
A -lgebra gerada por
n
, A(
n
), designa-se por -lgebra de Borel e denota-se
B
n
= A(
n
). Os elementos de B
n
chamam-se conjuntos de Borel.

Teorema 1-3
Sejam O
n
, F
n
, C
n
as classes dos subconjuntos abertos, fechados e compactos
1
de
n
,
respectivamente. Ento:

B
n
= A(O
n
) = A(F
n
) = A(C
n
)



1
Conjuntos fechados e limitados, i.e., contendo todos os seus pontos limites.
J.P. Marques de S, FEUP, 2003 7
Segundo este Teorema, B
n
contm no s numerveis reunies e interseces de
intervalos semiabertos, mas tambm numerveis reunies e interseces de intervalos
abertos, fechados e de pontos isolados
2
. Os conjuntos que se podem assim formar
suportam medidas, nomeadamente a medida de probabilidade. Constituem os conjuntos
de interesse nas aplicaes prticas. Existem, contudo, conjuntos patolgicos, de difcil
construo e sem interesse prtico, que no so de Borel. Veremos isso mais adiante.

2 Medida de Lebesgue
A definio do corpo E das figuras elementares de
n
introduz a estrutura mnima de
uma classe que permite definir uma funo de medida. Comecemos por definir o volume
(comprimento) de Lebesgue.

Seja:

A
n
; A o produto cartesiano de n intervalos { x
i
: < a
i
< x
i
b
i
}

O volume :

=
=
n
i
i i
a b A m
1
) ( ) ( 2.1

m(A) zero se algum par de extremos dos intervalos tem o mesmo valor; infinito se
algum extremo for infinito.
Vamos, agora, estender esta funo para a -lgebra de Borel.
Dado B B
n
, tal que
U
k
j
j
A B
1 =
= com A
j

n
e disjuntos, define-se o volume de B:

=
=
k
j
j
A m B m
1
) ( ) ( 2.2
Esta funo s tem sentido se no depender da representao particular de B. De facto,
prova-se que:
Teorema 2-1
A funo m em B
n
dada por 2.2 univocamente definida, no-negativa, aditiva,
montona, e coincide com m em
n
. Assim:
i. A B, A, B B
n
0 m (A) m (B)
ii. {A, B} B
n
, A B = m (A + B) = m (A) + m (B)
iii. m (A) = m(A), A
n


Alm disso:


2
Um ponto isolado {x} pode obter-se como interseco de uma sequncia infinita numervel de
intervalos ]x 1/n , x], n = 1, 2, ...Note-se que no caso de uma sequncia finita, como no Teorema 1-1 no
poderamos gerar, p. ex., um ponto isolado.
J.P. Marques de S, FEUP, 2003 8
Teorema 2-2
A funo m numeravelmente aditiva, i.e., dada a famlia de elementos disjuntos
A
k
B
n
, se
U

=
=
1 k
k
A B (logo, pertence a B
n
), ento

=
=
1
) ( ) (
k
k
A m B m


Uma funo : E
+
, de uma -lgebra E em
+
,

chamada uma medida se for
numeravelmente aditiva (onde a srie convege). A anterior medida m definida no
conjunto de Borel, que passaremos a designar por , chamada medida de Lebesgue-
Borel (medida LB).


Um espao mensurvel (X, A) dotado de uma medida m, i.e., o triplo (X, A, m), chama-
se um espao de medida. (
n
, B
n
, ) o espao de medida de Lebesgue-Borel.


Algumas propriedades da medida LB:
1. (B) < + , para todo o conjunto limitado B B
n
.
2. Qualquer hiperplano H em
n
um conjunto LB-nulo, i.e., (H) = 0.
3. Qualquer subconjunto numervel de
n
um conjunto LB-nulo, em particular
(Q) = 0.
4. Seja W [0,1] o cubo unitrio n-dimensional. Ento, por definio, (W) = 1.
5. A medida LB a nica medida em B
n
que invariante translao, i.e.,
T
a
() = , para toda a translao x T
a
(x) = a + x, e que satisfaz a condio de
normalizao (W) = 1.
6. A medida LB invariante relativamente a transformaes ortogonais dos eixos.

O seguinte Teorema, que usa a propriedade 5, mostra que B
n
no esgota P(
n
). Por
outras palavras, existem subconjuntos de
n
que no se podem construir custa de
reunies e interseces numerveis de rectngulos de
n
.

Teorema 2-3
B
n
P(
n
), n = 1, 2, ...
Demonstrao:
Vamos indicar como se constri um conjunto patolgico. Por uma questo de facilitar a
"visualizao mental" a construo ser em . Contudo, a generalizao para
n

directa. Para tal vamos usar o:
Axioma da Escolha:
Dado uma classe C de conjuntos disjuntos e no vazios E

, existe um conjunto
G E

tal que, para todo o E

, G E

apenas um conjunto pontual de E

.

J.P. Marques de S, FEUP, 2003 9
(A construo de um conjunto que tem apenas um ponto de uma coleco disjunta de
subconjuntos certamente trivial no caso da coleco ser finita ou numervel. O axioma
da escolha estipula que tal construo tambm possvel no caso de coleces no
numerveis.)

Seja Q o conjunto dos racionais. Consideremos a relao binria de congruncia
x ~ y em :

Q y x y x ~

A relao x ~ y de equivalncia e estabelece uma diviso de em classes de
equivalncia C
x
= {x + Q}. A classe de equivalncia de todos os racionais C
0
. Como
para todo o real existe um inteiro n tal que n < n + 1, ou seja, n [0, 1[,
ento existe um ponto em [0, 1[ para qualquer classe de equivalncia.

Alguns pontos de C
0
e
2
C :
0
[
1
2 2 -1
[



Ento, pelo axioma da escolha, existe um conjunto K [0, 1[ tal que tem exactamente
um ponto de cada classe de equivalncia. Logo:

{ }
U
Q y
K y

+ = e { } { }= + + K y K y y y
2 1 2 1
(y
1
, y
2
Q)

Suponhamos que K B . Ento aplicvel a medida de Lebesgue. Como Q
numervel, temos:
0 ) ( ) ( ) ( ) ( = + = = +


K K K y
Q y Q y




Mas:
| |
| |
U
Q y
K y

+
1 , 0
2 , 0 ) (
Logo:
| |
| | | |


= + < = +
Q y Q y
K K K y
1 , 0 1 , 0
0 ) ( ) ( 2 ) 2 , 0 ( ) (

Chegamos a uma contradio. Logo, K B .

3 Funes Mensurveis
Definio 3-1
Sejam (X, A) e (X, A) espaos mensurveis. A funo f: X X diz-se uma funo
A-A mensurvel se:

f
1
(X) A para todo o X A (ou seja f
1
(A) A) )

Propriedade 5.
J.P. Marques de S, FEUP, 2003 10
Exemplo 3-1
Qualquer mapeamento constante f: X X A-A mensurvel.

Exemplo 3-2
O Exemplo 1.14 estabelece uma funo mensurvel.

Teorema 3-1
Seja f: X X uma funo A-A mensurvel. Ento, para toda a medida em A,

(A') = (f
1
(A'))

define uma medida em A.

Exemplo 3-3
Seja o espao de medida (, A, ) em que A a -lgebra que contm todos os
subconjuntos A numerveis ou no-numerveis de e (A) = 0 ou 1 conforme A ou
A numervel. Seja X = {0, 1} e A = P(X) e a funo f: X X:

=
Q x
Q x
x f
1
0
) (

Provar que a funo f A-A mensurvel e determinar f().

Temos:
f
1
() = A; f
1
({0}) = Q A; f
1
({1}) = Q A; f
1
({0,1}) = A.

Logo, a funo mensurvel e = f() igual a 0 para e {0} e igual a 1 para {1} e
{0,1}.

Exemplo 3-4
Sejam dados os espaos mensurveis
3
(,B), ({0,1}, P({0,1})), um conjunto AB e a
funo indicadora I
A
: {0,1}:

=
A x
A x
x I
A
0
1
) (
Temos:
f
1
() = B; f
1
({0}) = A B; f
1
({1}) = A B; f
1
({0,1}) = B.

Logo, a funo indicadora B - P({0,1}) mensurvel.


3
Note-se que pelo Teorema 1-3 a definio de B pode exprimir-se em termos de vrios
conjuntos suporte de : O, F, C... Assim, usa-se a notao (,B). (Isto abusivo porque
j vimos que h subconjuntos de que no pertencem a B.)

J.P. Marques de S, FEUP, 2003 11
Definio 3-2
Seja (X, A) um espao mensurvel e (, B) o espao mensurvel de Borel em . A
funo f: X diz-se uma funo mensurvel se:

f
1
(B) A para todo o B (ou seja f
1
(B) A) )

Pode-se mostrar que o conjunto das funes mensurveis fechado relativamente
adio, subtraco, multiplicao e diviso.

4 Medida de Probabilidade
Definio 4-1
Seja P uma funo de conjuntos definida num corpo F. A funo uma medida de
probabilidade se satisfaz s condies seguintes:

i. 0 P(A) 1 para todo o A F ;
ii. P() = 0, P(X) = 1;
iii. Dada uma sequncia de conjuntos disjuntos A
1
, A
2
, ..., com A
i
F , tal que
F

=
U
1 i
i
A , ento ( )

=
=
1 1
) (
i
i
i
i
A P A P
U
(aditividade numervel).

Exemplo 4-1
Seja o corpo B
0
do Exemplo 1.11, definido em ]0, 1]. possvel mostrar que a medida
de Lebesgue

=
= =
n
i
i i
a b A m A P
1
) ( ) ( ) ( no s finita mas tambm numeravelmente
aditiva; logo, P define uma medida de probabilidade no corpo B
0
.


possvel provar que uma medida de probabilidade definida num corpo F pode
estender-se -lgebra gerada por F, A(F). Este aspecto importante visto estarmos
interessados em lidar com aditividade numervel para a medida de probabilidade.
Assim:

Definio 4-2
Se A uma -lgebra em X e P uma medida de probabilidade em A, ento o triplo
(X, A, P) chamado um espao de medida de probabilidade, ou simplesmente espao
de probabilidade.


Teorema 4-1 (da extenso)
Uma medida de probabilidade definida num corpo F tem uma extenso nica para a -
lgebra gerada por F, A(F).

A referncia [2] indica como construir a extenso.
J.P. Marques de S, FEUP, 2003 12
Exemplo 4-2
Seja = ]0, 1]. Para cada vamos associar a expanso didica infinita e
numervel:

=
=
1
2
) (
n
n
d
com d
n
() {0,1}

(i.e. so os bits da representao binria infinita)

0 1
00 01 10 11
000 001 010 011 100 101 110 111

Para cada sequncia u
1
, ..., u
n
, de comprimento n (tal como no lanamento de uma
moeda n vezes), temos:

{ }
(

(
(

(
+ = = =

= =
n
i
n
i n i
i
i
i
i i
u u
n i u d
1 1
2
1
2
,
2
,..., 1 , ) ( : .

Logo, usando a medida de Lebesgue-Borel como medida de probabilidade, temos:
{ } ( )
n
i i
n i u d P
2
1
,..., 1 , ) ( : = = =

Considere-se o conjunto:

)
`

= =

=

n
i
i
n
d
n
N
1
2
1
) (
1
lim :

Os pontos do conjunto N so chamados nmeros normais. A Lei Forte dos Grandes
Nmeros, aplicada a esta situao, escreve-se P(N) = 1. Ora, possvel provar que N
LB-nulo, logo P( N ) = 0.


Bibliografia
1. Bauer H (1972) Probability Theory and Elements of Measure Theory. Holt,
Rinehart and Winston, Inc.
2. Billingsley P (1979) Probability and Measure. John Wiley & Sons, Inc.
3. Papoulis A (1965) Probability, Random Variables and Stochastic Processes. Mc
Graw Hill.
4. Rao MM (1987) Measure Theory and Integration. John Wiley & Sons, Inc.
5. Rudin W (1987) Real and Complex Analysis. McGraw-Hill.
6. Taylor SJ (1966) Introduction to Measure and Integration. Cambridge University
Press.