Axiomas da Probabilidade

Requisitos Lgicos
Para que se possa ter um conceito de probabilidade que
seja isento de circularidade e independente de simetria
preciso que se adote uma construo matemtica
cuidadosa. Desse modo, preciso definir uma srie de
conceitos bsicos a partir dos quais se possa enunciar, de
modo claro e sem ambigidades, o que vem a ser a
probabilidade de um evento.
Os conceitos bsicos a partir dos quais se constri a
definio de probabilidade so conhecidos como os axiomas
da probabilidade, sendo o seu conhecimento importante no
apenas para o entendimento dessa definio mas tambm
para compreender claramente as condies necessrias
sua aplicao.

Conceitos Bsicos
Experimento Aleatrio
Um experimento pode ser pensado como um teste para se demonstrar uma afirmativa,
para examinar a validade de uma hiptese, ou para se determinar a eficcia de alguma
coisa nunca tentada previamente. A conduta de um tal teste constitui um experimento.
Um bom exemplo de experimento o ato de jogar uma moeda sobre uma superfcie
plana e anotar o resultado (cara ou coroa), assim como o lanamento de um dado ou o
sorteio cego de uma bola a partir de uma urna com mltiplas bolas coloridas.
Um ingrediente fundamental na teoria da probabilidade a noo de um experimento
que, ao menos hipoteticamente, pode ser repetido sob condies essencialmente
idnticas, porm conduzindo a resultados diferentes em tentativas diferentes. Em outras
palavras, trata-se de uma situao onde, para todos os fins prticos, causas iguais geram
(ou podem gerar) efeitos diferentes. Quando se diz ser possvel repetir um experimento
sob condies essencialmente idnticas, naturalmente est-se pensando no controle de
um certo nmero de fatores. claro que seria impossvel controlar absolutamente todos
os fatores em questo. Na realidade, so justamente esses fatores no controlados
(tambm chamados de variveis de confuso, variveis estranhas ou variveis esprias)
que iro constituir a aleatoriedade do fenmeno. Esta uma forma de visualizar o
conceito.
Tome-se, por exemplo, o caso do lanamento de uma moeda. De um lanamento para o
outro, no se pode garantir que as condies sejam exatamente as mesmas. A exata
posio inicial dos objetos e personagens envolvidos, bem como a intensidade e direo
precisas da fora de lanamento, no sero rigorosamente as mesmas. As condies
gerais, contudo, tais como a moeda, o indivduo que faz o lanamento e a mesa, podem
ser idnticas, mas muitos fatores simplesmente no sero controlados. Caso tudo fosse
absolutamente controlado, ento poder-se-ia supor que os resultados seriam os mesmos,
ou talvez nem assim, visto que, aparentemente, existem incertezas fundamentais no
universo, tais como as que so evidenciadas no fenmeno quntico.

Espao Amostral
Um espao amostral o conjunto de todos os possveis resultados de um experimento
aleatrio, ou de todos os resultados considerados possveis. Assim, o espao amostral do
lanamento de uma moeda seria uma coleo de resultados que inclui: cara, coroa, a
moeda cair em p, a moeda ser despedaada por uma bala perdida, um pssaro apanhar
a moeda em pleno ar e fugir com ela, a moeda ser acidentalmente engolida pelo
experimentador e outros. Excluindo os resultados muito inverossmeis, perfeitamente
razovel considerar apenas cara e coroa.

O espao amostral costuma ser designado pela letra grega mega (), de modo que, no
exemplo do lanamento de uma moeda: {cara, coroa}. J no caso da medida da
presso arterial sistlica de um indivduo, o espao amostral seria uma faixa plausvel de
valores contnuos, como, por exemplo, a faixa de 50 mmHg a 250 mmHg (50,250

Evento
Um evento um subconjunto do espao amostral, ou seja, uma coleo de resultados possveis que pode ser igual ou
menor do que o espao amostral como um todo. Desse modo, se o espao amostral do lanamento de um dado comum
de seis faces for {1, 2, 3, 4, 5, 6}, ento qualquer combinao desses resultados ser um evento. Assim, diversos
eventos podem ser identificados, tais como a ocorrncia de cada face especfica ({1}, {2}, {3}, {4}, {5} ou {6}), a ocorrncia
de uma face par ({2, 4, 6}) ou mpar ({1, 3, 5}), a ocorrncia de valores abaixo de "3" ({1, 2}) e outros.

lgebra
lgebra um conjunto de eventos de um espao amostral, conjunto esse definido pelas
seguintes duas propriedades fundamentais:

Para qualquer evento pertencente lgebra, o seu complementar (tomado em

relao ao espao amostral) tambm pertence lgebra;

Se dois eventos pertencem lgebra, a sua unio tambm pertence lgebra.

O primeiro postulado implica em dizer que, se se est interessado na ocorrncia de um

evento, ento, automaticamente, se estar interessado na sua no-ocorrncia. J o
conjunto dos dois tem como conseqncias que, para toda lgebra:

O evento vazio (nenhum evento ocorreu) pertence lgebra;

O espao amostral pertence lgebra (algum evento da lgebra necessariamente

ocorrer);

Se dois conjuntos pertencem lgebra ento a sua interseo tambm pertence

lgebra;

Se um nmero qualquer de eventos pertence lgebra, ento as operaes

lgicas entre eles (operaes de conjunto - complementos, unies, intersees e
diferenas simtricas) tambm pertencem lgebra;

Uma lgebra pode ter um nmero infinito de eventos;

Qualquer nmero finito de operaes com eventos (operaes de conjunto complementos, unies, intersees e diferenas simtricas) apresenta resultados
que pertencem lgebra;

Quando todos os resultados de um nmero infinito (porm enumervel) de

operaes com eventos (operaes de conjunto - complementos, unies,
intersees e diferenas simtricas) apresentam resultados que pertencem
lgebra, esta ltima passa a ser denominada de sigma-lgebra.

As afirmativas acima funcionam como uma verdadeira lista de itens a serem verificados
para que faa sentido o uso da expresso "lgebra de eventos".

Axiomas de Kolmogorov

Os Axiomas de Komogorov
Em 1933 o matemtico russo Andrei Nikolaevich Kolmogorov (1903 - 1982) lanou as
bases axiomticas da probabilidade e desenvolveu toda uma teoria que constituiu um
enorme avano na rea, estabelecendo um marco histrico. No obstante o nvel
avanado de matemtica necessrio para uma compreenso aprofundada do assunto, os
seus princpios bsicos so relativamente simples e intuitivos, permitindo que se tenha
uma boa compreenso dos conceitos e suas aplicaes prticas.
Essencialmente, os axiomas de Kolmogorov estabelecem que:
1) Associados aos possveis resultados de um experimento aleatrio, existe sempre um
espao amostral e uma lgebra de eventos;
2) Para todo evento da lgebra, existe um nmero no-negativo (maior ou igual a zero),
chamado de probabilidade, que se atribui a tal evento;
3) A probabilidade do espao amostral igual a 1;
4) Para quaisquer dois eventos disjuntos (que no compartilham nenhum resultado) a
probabilidade da unio deles igual soma das suas probabilidades;
5) O 4 Axioma verdadeiro para infinitas unies, desde que todos os pares de eventos
sejam disjuntos.
A aplicao da lgica matemtica aos postulados acima leva s seguintes propriedades
fundamentais da probabilidade:

A probabilidade de qualquer evento sempre um nmero maior ou igual a zero e

menor ou igual a um;

A probabilidade de um evento impossvel zero;

Se a ocorrncia de um evento implica na ocorrncia de um segundo, ento a

probabilidade do primeiro menor do que a probabilidade do segundo;

A probabilidade da unio de dois eventos igual probabilidade do primeiro mais

a probabilidade do segundo menos a probabilidade da ocorrncia simultnea dos
dois.

A Importncia do Conceito de Partio

A partio de um conjunto uma coleo de conjuntos tal que a sua unio igual ao
conjunto original, e que a interseo de quaisquer dois deles vazia. Ao se particionar um
evento, possvel se calcular a sua probabilidade somando-se a probabilidade dos
eventos da partio. Para isso necessrio apenas dispor-se das probabilidades dos
elementos da partio (vide Axiomas 4 e 5).
Atravs do particionamento de conjuntos, possvel no apenas se calcular a
probabilidade de eventos a partir de outras probabilidades j conhecidas mas tambm
deduzir diversas propriedades e implicaes do prprio conceito de probabilidade.