Seo 6.

6 Alguns Modelos Probabilsticos para Variveis Aleatrias Discretas

Achei interessante registrar qual foi a inteno do autor com o primeiro pargrafo ( bvio, isto apenas o meu entendimento...). O autor quis dizer que h problemas so casos aplicados 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 caso estes modelos seja conhecidos pelo pesquisador. Apenas um breve comentrio. Creio que entendi o que o autor quis dizer, ao comentar as situaes (4') e (5') desta subseo. Quando os conjuntos so muito grandes, pequenas extraes podem ser consideradas como eventos independentes. Considere por exemplo a extrao de duas bolas sem reposio de uma urna com 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 considerando instrumentos com tal preciso, o resultado de ambas idntico, podendo para ns prticos serem considerados como eventos independentes.
Subseo 6.6.3 Distribuio Binomial.

No havia entendido porque o autor usou max {0, n N + r} e min {r, n} como delimitadores do valor de k . Mas aps uma anlise mais detalhada, consegui conceber uma explicao. Para isto, tive que invocar 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 com N elementos, A o conjunto dos r elementos que possuem atributo A; B o conjunto dos N r elementos que possuem atributo B ; e G o conjunto considerado, com k elementos que possuem atributos A, o que foi denotado atravs de uma regio hachurada em G.
Subseo 6.6.4 Distribuio Hipergeomtrica.

Figura 0.1.

Representao diagramtica do sistema considerado.

As consideraes que permitem compreender as delimitaes impostas a k , registradas pelo autor nas desigualdades max {0, n N + r} k min {r, n} so as
1

seguintes: caso G A = , k = 0 o menor valor possvel para k . Em caso contrrio, tudo depende do tamanho de G. Para ilustrar esta considerao, registrei tal raciocnio na Figura 0.2.

As possveis conguraes envolvendo a interseco dentre os conjuntos G e A. Em (a), A G = . Em (b), o caso em que A G = , e em que o nmero de elementos de G B aumentou (o semicrculo correspondente foi desenhado em uma escala maior). Em (c), G B = .
Figura 0.2.

Considerando os casos registrados na Figura 0.2, pode-se compreender 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 descrito em termos dos parmetros do sistema:
G = (G A) (G B) #G = # (G A) + # (G B) n = k + # (G B)

(0.1)

k = n # (G B) .

A Equao 0.1 revela que k assume o menor valor possvel quando G A = . Caso G A = , k assumir o menor valor possvel quanto maior for o conjunto G B . No caso 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 = A, que usa apenas k para representar este caso; ou G A = A, no qual k o maior valor dentre todos, o prprio r. Acho que foi isto que ele quis dizer. Minha crtica, costumeira, que o autor deveria ser mais explcito. No sendo ele, eu sou. Encontrei uma demonstrao acerca do valor esperado desta distribuio em Incialmente, quero destacar que:
n

http://www.portalaction.com.br/content/54-distribui%C3%A7%C3%A3o-hipergeom% C3%A9trica, mas h um erro l, que eu vou me apressar em corrigir.

n

E [X] =
k=0

kP [X = k] =
k=1

kP [X = k]

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

n n

E [X] =
k=1 n

kP [X = k] =
k=1

r k

N r nk N n

=
k=1 n

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

n

=
k=1

r =n N r =n N r =n N =n r N

k=1 n

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

n r1 k1 N 1 n1

k=1

1
N 1 n1

k=1 n1

N r nk N r nk+1 =n

r1 k1 r1 k2

1
N 1 n1

k=0

(0.2)

r =n N

1
N 1 n1

N 1 n1

r = np. N

Na Equao 0.2 foi utilizada a identidade de Vandermonde. Eu consegui acompanhar apenas com os olhos, e sem maiores problemas a demonstrao algbrica na pgina http://en.wikipedia.org/wiki/Vandermonde%27s_identity. Talvez devesse explicitar apenas uma identidade interessante que aparece nesta demonstrao.
Teorema.

m i=0

ai x i )

n j j=0 bj x

m+n r=0

r k=0

ak brk ) xr ; ai = 0i > mbj =

0j > n.

No conheo outra forma de provar este Teorema que no o Princpio da Induo Finita. Mas vejamos primeiro se tal igualdade minimamente razovel.
m n m n

ai x i
i=0 j=0

bj x j

=
i=0 j=0 m n

ai x i b j x j ai bj xi+j .
i=0 j=0

(0.3)

Certo. Agora, considere um termo simples da expanso da Equao 0.3, por exemplo a que tem expoente i + j = 3. Ora, evidente que apenas algumas combinaes 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.4)
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.4 pode ser resumida desta forma:
3

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

ak b3k x3 .

Como o mesmo raciocnio pode ser aplicado a cada termo de 0.3, verica-se que realmente a identidade de Vandermonde faz sentido. Mas vejamos a prova. uma aplicao do Princpio da induo nita, que creio ser o mais adequado a estes casos. Inicialmente, demonstra-se o passo base:
Demonstrao.

ai x
i=0

i j=0

bj x j

= a0 b0 + a0 b1 x + a1 b0 x + a1 b1 x2 = a0 b0 x0 + (a0 b1 + a1 b0 ) x + a1 b1 x2
2 r

(0.5)

=
r=0 k=0

ak brk

xr .

Acho que importante ressaltar; o termo a multiplicar x2 na Equao 0.5 simplesmente a1 b1 porque a0 b2 e a2 b0 so nulos, devido as condies de existncia ai = 0i > m bj = 0j > n. Na sequncia, preciso provar que: (0.6)
m n m+n r m+1 n m+n+1 r

ai x
i=0

i j=0

bj x

=
r=0 k=0

ak brk

x
i=0

ai x

i j=0

bj x

=
r=0 k=0

ak brk

xr

Ou, analogamente:
m n m+n r m n+1 m+n+1 r

ai x
i=0

i j=0

bj x

=
r=0 k=0

ak brk

x
i=0

ai x

i j=0

bj x

=
r=0 k=0

ak brk

xr .

Vou escolher a Equao 0.6 como tese.

Por hiptese de induo, a premissa

m n m+n r

ai x
i=0

i j=0

bj x

=
r=0 k=0

ak brk

xr

verdadeira. Ento:
m n n m+n r n

ai x
i=0 m

i j=0

bj x

+ am+1 x
n

m+1 j=0

bj x
m+n

=
r=0 r k=0

ak brk
n

x + am+1 x am+1 bj xj

m+1 j=0

bj x j

i=0 m+1

ai xi + am+1 xm+1
j=0 n

bj x j
m+n+1

=
r=0 r k=0

ak brk xr .

xr +
j=0

xm+1

i=0

ai x i
j=0

bj x j

=
r=0 k=0

ak brk

Sei que a prova carece de explicao. que eu no encontrei outra forma de complet-la seno discursivamente. n j xm+1 inMas, de fato, ela est correta. Isto porque a somatria j=0 am+1 bj x troduz exatamente os termos que tem que ser agregados a soma m+n ( r ak brk ) xr k=0 r=0 para gerar a soma m+n+1 ( r ak brk ) xr . Seno vejamos: ao se incrementar m k=0 r=0 n m+1 j i de uma unidade, os nicos termos novos resultantes do produto j=0 bj x i=0 ai x
n j iro envolver am+1 ; todos os demais j esto inclusos no produto ( m ai xi ) j=0 bj x . i=0 E dentre os novos termos, apenas os no nulos tem que ser considerados. Ora, so no nulos os termos que envolvem ndices 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 com todos os possveis bj : assim, sero incorporados am+1 b0 , am+1 b1 , . . . e am+1 bn . Ora, tal soma no outra que no n

(0.7)
j=0

am+1 bj xj

xm+1 ,

presente na demonstrao anterior. Assim, agregando o termo expresso na Equao 0.7, a somatria m+n ( r ak brk ) xr conclui-se a prova. r=0 k=0 Sei que falta elegncia a esta demonstrao, mas por hora, foi o melhor que consegui fazer.
portalaction.com.br/content/54-distribui%C3%A7%C3%A3o-hipergeom%C3%A9trica,
E [X 2 ] =
M (M 1)n(n1) N (N 1)

Com relao ao clculo da varincia de E [X 2 ] apresentada no stio http://www.

tambm h um erro, mas que fcil de corrigir.

Teorema.

nM . N

Demonstrao.

de notao. S

Basta seguir o raciocnio apresentado nesta pgina e corrigir os erros

Seno vejamos:
n n

E X
n

=
k=0

k P [X = k] =
k=0 n

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

=
k=0 n

[k (k 1)] P [X = k] + [k (k 1)]
k=2 n r k N r nk N n

= =
k=2 n

+ E [X]

[k (k 1)]

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

=
k=2 n

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

N 2 n2

+ E [X]

= =

k=2 r(r1)n(n1) n r2 N (N 1) N 2 k2 n2 k=2 r(r1)n(n1) n2 r2 N (N 1) N 2 k n2 k=0 r(r1)n(n1) N 2 N (N 1) + N 2 n2 n2

N r + E [X] nk N r + E [X] nk2 E [X]

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

O restante da demonstrao sucientemente claro (pelo menos pra mim). Bom, agora vou registrar a demonstrao do comentrio do autor ao nal desta seo. Segundo ele, se N for grande quando comparado com n, extraes com ou sem reposies sero praticamente 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 dicotmicos quando h reposio das extraes). Como estava sem inspirao para resolver este problema, z uma busca no google, e encontrei a soluo no stio http://www.math.uah.edu/stat/urn/Hypergeometric. html. A primeira etapa da soluo produzir um rearranjo na expresso da distribuio k hipergeomtrica usando a igualdade n = n , sendo o ndice sobrescrito k o que k k! o autor chamou de potncia fatorial decrescente, o que pode ser vericado no stio http://en.wikipedia.org/wiki/Binomial_coefficient. O que eu achei interessantssimo, ns costumamos chamar tal termo de arranjo ! uma diferena gritante na estratgia de ensino de anlise combinatria.

Ento vejamos:
pk =
r k N r nk N n

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

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

(0.8)

n (N r)nk rk k Nn

A intepretao da expresso registrada na equao 0.8 que me tomou muito tempo. Eu ainda no consegui formular uma que me seja satisfatria. Vou registrar aqui o que considero ser meu tmido progresso. A meu ver, qualquer problema pode ser resolvido atravs de um produto de uma combinao por um arranjo. Mesmo no caso em que o problema resolvida por uma combinao, pode-se considerar o resultado como o produto
n m0 , m
n ou como costumamos usar no Brasil, Cm Am . 0 Sei que isto parece ser meio sem propsito, mas a razoabilidade desta considerao se revelar nas linhas abaixo. Um raciocnio mais aprazvel aparece justamente na Equao 0.8. Seno vejamos: ela pode ser interpretada como o produto de uma combinao, que conta o nmero de possveis escolhas de k elementos do tipo I dentre os n selecioandos do conjunto universo. Tal contagem uma combinao porque somente interessa saber de quantas formas se pode distribuir k elementos do tipo I dentre as n possveis coordenadas (elementos do conjunto universo) sem se preocupar com a distinguibilidade de ambos. uma mera distribuio de ndices em coordenadas. Aps esta contabilizao, a sim, pode ser considerada 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 contabilizao do total de formas de se arranjar k elementos distintos dentre N tambm distintos. Pronto, um problema resolvido por meio de uma combinao foi reformulado para ser tratado atravs de um produto de arranjo por uma combinao. Eu ainda no consegui uma prova geral, mas creio que todos os problemas podem ser resolvidos desta forma, o produto de uma combinao por um arranjo, lembrando que uma permutao n! tambm um arranjo, do tipo nn . Depois, com mais tempo, posso pensar com calma em uma prova genrica de tal fato. Mas eu acho que isto. Quanto a prova, at bem simples.

Seno vejamos: h de se considerar que r uma funo de N tal que r/N p conforme N . Da,
N

lim

n n (N r)nk rk = lim n N k k N = = = = = n k

k1 i=0

ri
k1 i=0

nk1 i=0

N ri N i) i

N i (

n i=k

k1 nk1 N r i=0 r i i=0 lim lim n k1 N N i=k N i i=0 N i nk1 r i 1 N N n k i=0 p lim n i N k i=k 1 N nk1 r i n k i=0 limN 1 N N p n i k i=k limN 1 N nk1 n k i=0 1 p p n k i=k 1

n k p (1 p)nk . k

Confesso que no conseguiria imaginar isto nem em anos.