Seo 6.

4 Algumas Propriedades do Valor Mdio

Pensei que o autor tinha ometido um erro nesta seo, mas depois pude averiguar
que ele est orreto.
Ao apresentar a esperana matemti a da funo h (xi ) na equao 6.3, o autor
registrou a seguinte expresso:
(0.1)

E [h (X)] =

h (xi ) p (xi ) .

Eu havia pensado que a Equao 0.1 s seria verdadeira nos asos em que p (h (xi )) =
p (xi ), e des onei justamente por ausa do exemplo usado pelo prprio autor ao
tratar a distribuio da transformao W = X 2 !!!! evidente que p (h (xi )) 6= p (xi )
neste aso, pois omo ele prprio ressaltou, ao evento W = 25 orrespondem dois
eventos da varivel aleatria X : X = 5 e X = 5.
Estive pensando em reformular a equao 0.1 assim:
(0.2)

E [h (X)] =

h (xi ) p (h (xi )) ,

e deixar apenas para os asos em que a transformao for linear, ou seja, do tipo
Y = aX + b, a forma p (h (xi )) = p (xi ), uma vez que tal funo injetora, ou seja,
xi 6= xj axi + b 6= axj + b yi 6= yj .

A ada elemento xi orresponderia a a um ni o yi , e a ontagem das frequn ias

permane e inalterada frente a transformao.
O que eu no havia pensado era na expanso da equao utilizada pelo autor!!
muito simples!!
Como todos os valores xi sero onsiderados, eles sero orretamente ontabilizados, e a distribuio orrespondente ir multipli -lo!! No h problema nenhum!!
Veja o aso W = X 2 :
  X
E X2 =
h (xi ) p (xi )

= . . . + (5)2 p (5) + (5)2 p (5) + . . .

= . . . + 25 (p (5) + p (5)) + . . . .

Em suma, no p (25) que ser ontabilizado, mas p (5), e sendo assim, todos
os valores sero ontabilizados. No haver problema. Fui bem ingnuo.
A equao 6.4 bem evidente e no vou prov-la. Basta um pou o de esforo, e
a prova se revelar!
1

J a equao 6.5 mais interessante. No onsegui deduzi-la de abea, ento

vamos l!
Var (aX + b) =

[axi + b E (aX + b)]2 p (axi + b)

[axi + b aE (X) b]2 p (xi )

[a (xi E (X))]2 p (xi )

a2 [xi E (X)]2 p (xi )

=a

[xi E (X)]2 p (xi )

= a Var (X) .
2

De fato, verdade e dou f.

Seo 6.5 Funo de Distribuio A umulada

Seo breve, mas om um omentrio obs uro.

Para obter a probabilidade de um dado ponto, basta al ular a diferena entre
o valor da f.d.a no ponto e seu valor no limite lateral pela esquerda tendendo ao
ponto:
P (X = xi ) = F (xi ) lim F (xi ) .
xxi

Foi por isto que ele registrou que o onhe imento da f.d.a de X impli a no onhe imento da f.p de X .
Seo 6.6 Alguns Modelos Probabilsti os para Variveis Aleatrias
Dis retas

A hei interessante registrar qual foi a inteno do autor om o primeiro pargrafo

( bvio, isto apenas o meu entendimento...).
O autor quis dizer que h problemas so asos apli ados de problemas mais gerais,
para os quais foram desenvolvidos os modelos que ele ir tratar. Assim, resolv-los
se torna uma tarefa muito mais simples aso estes modelos seja onhe idos pelo
pesquisador.
Apenas um breve omentrio.
Creio que entendi o que o autor quis dizer, ao omentar as situaes (4') e (5')
desta subseo.
Quando os onjuntos so muito grandes, pequenas extraes podem ser onsideradas omo eventos independentes.
Considere por exemplo a extrao de duas bolas sem reposio de uma urna om
100.000 delas. A probabilidade da extrao de uma determinada esfera ser de
1
1
na primeira extrao, e de 99.999
na segunda. A diferena absoluta dentre as
100.000
duas probabilidades de apenas 1.00001000009011e-10; ou seja; a menos que se estejam onsiderando instrumentos om tal pre iso, o resultado de ambas idnti o,
podendo para ns prti os serem onsiderados omo eventos independentes.
Subseo 6.6.3 Distribuio Binomial.

No havia entendido porque o

autor usou max {0, n N + r} e min {r, n} omo delimitadores do valor de k . Mas
aps uma anlise mais detalhada, onsegui on eber uma expli ao. Para isto, tive
que invo ar diagramas de Venn-Euler, ilustrados nas Figuras tal e 0.1.
Na Figura 0.1, est ilustrado o Diagrama de Venn-Euler representando o sistema.
o espao amostral om N elementos, A o onjunto dos r elementos que possuem
atributo A; B o onjunto dos N r elementos que possuem atributo B ; e G o
onjunto onsiderado, om k elementos que possuem atributos A, o que foi denotado
atravs de uma regio ha hurada em G.
Subseo 6.6.4 Distribuio Hipergeomtri a.

Figura 0.1.

Representao diagramti a do sistema onsiderado.

As onsideraes que permitem ompreender as delimitaes impostas a k , registradas pelo autor nas desigualdades max {0, n N + r} k min {r, n} so as
seguintes: aso G A = , k = 0 o menor valor possvel para k . Em aso ontrrio, tudo depende do tamanho de G. Para ilustrar esta onsiderao, registrei
tal ra io nio na Figura 0.2.

As possveis onguraes envolvendo a interse o dentre os onjuntos G e A. Em (a), A G = . Em (b), o aso em que
A G 6= , e em que o nmero de elementos de G B aumentou (o
semi r ulo orrespondente foi desenhado em uma es ala maior). Em
( ), G B = .
Figura 0.2.

Considerando os asos registrados na Figura 0.2, pode-se ompreender o que o

autor quis dizer. Seja k o nmero de elementos de G A. Como G A e G B so
disjuntos, k pode ser des rito em termos dos parmetros do sistema:
G = (G A) (G B) #G = # (G A) + # (G B)
n = k + # (G B)

(0.3)

k = n # (G B) .

A Equao 0.3 revela que k assume o menor valor possvel quando G A = .

Caso G A 6= , k assumir o menor valor possvel quanto maior for o onjunto
G B . No aso extremo, G B = B , e assim, k = n (N r) = n N + r .

Por m, k assume o maior valor possvel quando G B = . Sendo assim, ou

G A 6= A, que usa apenas k para representar este aso; ou G A = A, no qual k
o maior valor dentre todos, o prprio r.
A ho que foi isto que ele quis dizer. Minha rti a, ostumeira, que o autor
deveria ser mais expl ito. No sendo ele, eu sou.
En ontrei uma demonstrao a er a do valor esperado desta distribuio em

http://www.portala tion. om.br/ ontent/54-distribui%C3%A7%C3%A3o-hipergeom%C3%A9tri a ,

mas h um erro l, que eu vou me apressar em orrigir.

In ialmente, quero desta ar que:
E [X] =

n
X

kP [X = k] =

k=0

n
X

kP [X = k]

k=1

; pois sendo k = 0 e 0 P (X = 0) 1, o resultado do primeiro termo nulo.

Logo:

E [X] =

n
X

kP [X = k] =

k=1

n
X
k=1

r
k

N r
nk


N
n



n
X
r!
N r
(N n)!n!
=
k
n k (r k)!k!
N!
k=1


n
X
(N n)!n (n 1)!
r (r 1)!
N r
=
N (N 1)!
n k (r k)! (k 1)!
k=1


n
(r 1)!
(N n)! (n 1)!
r X N r
=n
N k=1 n k (r k)! (k 1)!
(N 1)!




r1
n
r X N r k1


=n
1
N k=1 n k Nn1


n 
r 1 X N r
r1


=n
1
k1
nk
N Nn1
k=1


n1 
r1
N r
r 1 X


=n
1
nk+1 k2
N Nn1
k=0


r 1
r
N 1


=n
= n = np.
N 1
n1
N n1
N

(0.4)

Na Equao 0.4 foi utilizada a identidade de Vandermonde. Eu onsegui a ompanhar apenas om os olhos, e sem maiores problemas a demonstrao algbri a
na pgina http://en.wikipedia.org/wiki/Vandermonde%27s_identity . Talvez
devesse expli itar apenas uma identidade interessante que apare e nesta demonstrao.
Teorema.

0j > n.

Pm

i
i=0 ai x )

 P
Pr
r
j
b
x
= m+n
k=0 ak brk ) x ; ai = 0i > mbj =
r=0 (
j=0 j

P
n

No onheo outra forma de provar este Teorema que no o Prin pio da Induo
Finita. Mas vejamos primeiro se tal igualdade minimamente razovel.
m
X

ai xi

i=0

n
X

bj xj

j=0

(0.5)

m X
n
X

i=0 j=0
m X
n
X

ai xi bj xj
ai bj xi+j .

i=0 j=0

Certo. Agora, onsidere um termo simples da expanso da Equao 0.5, por exemplo
a que tem expoente i + j = 3. Ora, evidente que apenas algumas ombinaes
de valores de i e j produziro tal resultado; a saber (0, 3), (1, 2), (2, 1) e (3, 0). Tal
termo poderia ser expresso assim:
(0.6)

a0 b3 x3 + a1 b2 x3 + a2 b2 x3 + a3 b0 x3 = (a0 b3 + a1 b2 + a2 b2 + a3 b0 ) x3 .

Ora, evidente que a Equao 0.6 pode ser resumida desta forma:
3

a0 b3 x + a1 b2 x + a2 b2 x + a3 b0 x =

3
X

ak b3k x3 .

k=0

Como o mesmo ra io nio pode ser apli ado a ada termo de 0.5, veri a-se que
realmente a identidade de Vandermonde faz sentido.
Mas vejamos a prova.
uma apli ao do Prin pio da induo nita, que reio ser o mais
adequado a estes asos.
Ini ialmente, demonstra-se o passo base:

Demonstrao.

1
X

ai xi

i=0

(0.7)

1
X

bj xj

j=0

= a0 b0 + a0 b1 x + a1 b0 x + a1 b1 x2
= a0 b0 x0 + (a0 b1 + a1 b0 ) x + a1 b1 x2
!
2
r
X
X
ak brk xr .
=
r=0

k=0

A ho que importante ressaltar; o termo a multipli ar x2 na Equao 0.7

simplesmente a1 b1 porque a0 b2 e a2 b0 so nulos, devido as ondies de existn ia
ai = 0i > m bj = 0j > n.
Na sequn ia, pre iso provar que:
(0.8)
!
! n
! m+n+1
! n
! m+n
m+1
m
r
X

ai xi

i=0

bj xj

i=0

ai xi

n
X
j=0

m+n
X

r
X

r=0

j=0

Ou, analogamente:

m
X

bj xj

r=0

ak brk

xr

ai xi

i=0

k=0

ak brk

k=0

Vou es olher a Equao 0.8 omo tese.

xr

m
X
i=0

ai xi

bj xj

r=0

j=0

n+1
X
j=0

bj xj

m+n+1
X
r=0

r
X

ak brk

k=0

r
X
k=0

ak brk

xr .

xr .

Por hiptese de induo, a premissa

m
X

ai xi

i=0

n
X

bj xj

j=0

m+n
X

r
X

r=0

ak brk

k=0

xr

verdadeira.
Ento:
m
X

ai xi

i=0

m
X

n
X

bj xj

j=0

ai xi + am+1 xm+1

i=0

m+1
X

ai xi

i=0

n
X

bj xj

j=0

+ am+1 xm+1

bj xj

j=0

n
X

n
X

bj xj

j=0

m+n+1
X

r
X

r=0

m+n
X
r=0

ak brk

k=0

r
X

r=0

ak brk

k=0

m+n
X

r
X

ak brk

k=0

xr +

n
X

xr + am+1 xm+1

n
X
j=0

am+1 bj xj

j=0

bj xj

xm+1

xr .

Sei que a prova are e de expli ao. que eu no en ontrei outra forma de
omplet-la seno dis ursivamente.

P
n
j
xm+1 ina
b
x
Mas, de fato, ela est orreta. Isto porque a somatria
m+1
j
j=0
P
Pr
r
troduz exatamente os termos que tem que ser agregados a soma m+n
r=0 (
k=0 ak brk ) x
Pm+n+1 Pr
para gerar a soma r=0 ( k=0 ak brk ) xr . Seno vejamos: ao se in rementar
m 

Pn
Pm+1
i
j
de uma unidade, os ni os termos novos resultantes do produto
i=0 ai x
j=0 bj x
P
n

iro envolver am+1 ; todos os demais j esto in lusos no produto ( i=0 ai x )

j=0 bj x .
E dentre os novos termos, apenas os no nulos tem que ser onsiderados. Ora, so
no nulos os termos que envolvem ndi es i e j tais que 0 i m + 1 e 0 j n.
Dentre os que envolvem m + 1, eles so o resultado do produto de am+1 om todos
os possveis bj : assim, sero in orporados am+1 b0 , am+1 b1 , . . . e am+1 bn . Ora, tal
soma no outra que no
Pm

n
X

(0.9)

am+1 bj xj

j=0

xm+1 ,

presente na demonstrao
Assim, agregando o termo expresso na Equao
Pm+n Panterior.
r
0.9, a somatria r=0 ( k=0 ak brk ) xr on lui-se a prova.
Sei que falta elegn ia a esta demonstrao, mas por hora, foi o melhor que

onsegui fazer.

Com relao ao l ulo da varin ia de E [X 2 ] apresentada no stio http://www.portala tion. om.br

tambm h um erro, mas que f il de orrigir.
Teorema.

E [X 2 ] =

Demonstrao.

de notao. S

M (M 1)n(n1)
N (N 1)

nM
.
N

Basta seguir o ra io nio apresentado nesta pgina e orrigir os erros

Seno vejamos:
n
n
X
 2 X
2
E X =
k P [X = k] =
[k (k 1) + k] P [X = k]
k=0

=
=

n
X

k=0
n
X

k=2
n
X

k=0
n
X

[k (k 1)] P [X = k] +

kP [X = k]

k=0

[k (k 1)]

r
k

N r
nk


N
n

+ E [X]



r (r 1) (r 2)!
N r n (n 1) (n 2)! (N n)!
[k (k 1)]
=
+ E [X]
k (k 1) (k 2)! (r k)! n k
N (N 1) (N 2)!
k=2


n
X
N r (n 2)! (N n)!
(r 2)!
r (r 1) n (n 1)
+ E [X]
=
N (N 1)
(k 2)! (r k)! n k
(N 2)!
k=2



n
X
1
N r
r (r 1) n (n 1) r 2

+ E [X]
=
N 2
n

k
k

2
N
(N

1)
n2
k=2


r(r1)n(n1) n 
X r2
N r
N (N 1)


+ E [X]
=
N 2
nk
k2
n2
k=2
r(r1)n(n1) n2 
X r 2 N r 
N (N 1)


=
+ E [X]
N 2
nk2
k
n2
k=0

r(r1)n(n1) 
N 2
N (N 1)


+ E [X]
=
N 2
n2
n2
=

r (r 1) n (n 1)
+ E [X] .
N (N 1)

O restante da demonstrao su ientemente laro (pelo menos pra mim).

Bom, agora vou registrar a demonstrao do omentrio do autor ao nal desta
seo.
Segundo ele, se N for grande quando omparado om n, extraes om ou sem
reposies sero prati amente equivalentes, de modo que as probabilidades dadas
pela equao 6.19 sero aproximadamente iguais as dadas pela equao 6.15 (pois
a distribuio binomial que reina na modelagem de sistemas di otmi os quando
h reposio das extraes).
Como estava sem inspirao para resolver este problema, z uma bus a no google,
e en ontrei a soluo no stio http://www.math.uah.edu/stat/urn/Hypergeometri .html .
A primeira etapa da soluo produzir
na expresso da distribuio

umnrearranjo
k
n
hipergeomtri a usando a igualdade k = k! , sendo o ndi e sobres rito k o que
o autor hamou de potn ia fatorial de res ente, o que pode ser veri ado no stio
http://en.wikipedia.org/wiki/Binomial_ oeffi ient . O que eu a hei interessantssimo, ns ostumamos hamar tal termo de arranjo ! uma diferena gritante
na estratgia de ensino de anlise ombinatria.

Ento vejamos:
pk =
=

(0.10)

r
k

N r
nk


N
n

nk
r k (N r)
k! (nk)!
Nn
n!

n!
(N r)nk r k
=
k! (n k)!
Nn
 
n (N r)nk r k
=
Nn
k

A intepretao da expresso registrada na equao 0.10 que me tomou muito

tempo. Eu ainda no onsegui formular uma que me seja satisfatria.
Vou registrar aqui o que onsidero ser meu tmido progresso.
A meu ver, qualquer problema pode ser resolvido atravs de um produto de uma
ombinao por um arranjo.
Mesmo no aso em que o problema resolvida por uma ombinao, pode-se
onsiderar o resultado omo o produto
 
n
m0 ,
m
n m
ou omo ostumamos usar no Brasil, Cm
A0 .
Sei que isto pare e ser meio sem propsito, mas a razoabilidade desta onsiderao
se revelar nas linhas abaixo.
Um ra io nio mais aprazvel apare e justamente na Equao 0.10.
Seno vejamos: ela pode ser interpretada omo o produto de uma ombinao,
que onta o nmero de possveis es olhas de k elementos do tipo I dentre os n
sele ioandos do onjunto universo.
Tal ontagem uma ombinao porque somente interessa saber de quantas formas se pode distribuir k elementos do tipo I dentre as n possveis oordenadas
(elementos do onjunto universo) sem se preo upar om a distinguibilidade de ambos. uma mera distribuio de ndi es em oordenadas.
Aps esta ontabilizao, a sim, pode ser onsiderada a natureza distinta de
todos. Ento, os k elementos a serem distribuidos dentre os n so por sua vez um
arranjo dentre os r do tipo I, e os demais tem que ser uma distribuio de n k
dentre os N r do tipo II. O denominador de tal expresso apenas a ontabilizao
do total de formas de se arranjar k elementos distintos dentre N tambm distintos.
Pronto, um problema resolvido por meio de uma ombinao foi reformulado para
ser tratado atravs de um produto de arranjo por uma ombinao.
Eu ainda no onsegui uma prova geral, mas reio que todos os problemas podem
ser resolvidos desta forma, o produto de uma ombinao por um arranjo, lembrando
que uma permutao n! tambm um arranjo, do tipo nn .
Depois, om mais tempo, posso pensar om alma em uma prova genri a de tal
fato.
Mas eu a ho que isto.
Quanto a prova, at bem simples.

10

Seno vejamos: h de se onsiderar que r uma funo de N tal que r/N p

onforme N . Da,



 
  Qk1 r i Qnk1 N r i
nk k
i=0
i=0
n (N r)
n
r


lim
=
lim
Q
Q
k1
N k
N k
Nn
N i ( n N i)
i=0

i=k

Qnk1
  Qk1
N ri
n
i=0
i=0 r i
Qn
lim
= lim
Qk1
N

N k
i=k N i
i=0 N i
Qnk1
 
1 Nr Ni
n k
i=0
Qn
p lim
=
i
N
k
i=k 1 N
  Qnk1
n k i=0 limN 1 Nr Ni
Qn
p
=
i
k
i=k limN 1 N
  Qnk1
n k i=0 1 p
Qn
p
=
k
i=k 1
 
n k
p (1 p)nk .
=
k

Confesso que no onseguiria imaginar isto nem em anos.