5 Variáveis Aleatórias
5.1 Definição
Com frequência, estamos interessados em uma quantidade que é determinada como resultado de um experimento dado.
Por exemplo, considere um jogo de azar em que dois dados são lançados e você recebe uma recompensa em dinheiro dada pelo valor máximo obtido entre os dois dados. Como você modela essa situação? Como de costume, cada resultado é um par onde ambos e estão em . Isso é, . A recompensa é determinada pelos valores de e por meio da tabela a seguir:
A palavra-chave aqui é ’determinada’: mesmo que o resultado seja aleatório, ele é aleatório apenas porque o resultado é aleatório.
Matematicamente, isso significa que o prêmio pode ser escrito como uma função do resultado . Em geral, uma variável aleatória é uma função
do espaço amostral para o conjunto dos números reais. Mais formalmente, exigimos que as condições especificadas em termos de sejam eventos aleatórios, ou seja, eventos que o observador pode determinar se ocorrem ou não.
Definição 5.1 (Variável Aleatória).
Sejam um espaço de probabilidade. Uma variável aleatória é uma função tal que para todo .
No exemplo acima, podemos escrever explicitamente como a função que atribui a cada par o valor máximo entre eles, ou seja, .
Usando essa ferramenta, podemos fazer afirmações como
Notação.
Por conveniência, usaremos a notação simplificada
É muito útil considerar a medida de probabilidade no conjunto dos números reais induzida por uma variável aleatória. Se estamos interessados apenas no valor de , podemos deixar de lado e tomar o espaço amostral como .
Definição 5.2 (Distribuição).
A distribuição de uma variável aleatória é a medida de probabilidade em denotada por e dada por
para subconjuntos em algum espaço de eventos no conjunto dos números reais.
No exemplo anterior, é determinada por seus valores
Notação.
O espaço de eventos em , denotado por , é um espaço de eventos que contém conjuntos como e . Não entraremos em detalhes sobre a descrição de . Você pode pensar nisso como a coleção de todos os conjuntos que podem ser obtidos aplicando um número contável de operações de conjuntos (união, interseção, complemento) a intervalos.
Observação 4.
O espaço pode ser mais complicado do que . Em geral, pode ser mais simples do que . Observe que foi construído a partir de e . No entanto, não é possível reconstruir nem a partir de .
Proposição 5.3.
A função é uma medida de probabilidade em .
Demonstração.
Lembrando da Definição 3.11. Verificamos as três condições:
-
(a)
.
-
(b)
.
-
(c)
Se são disjuntos, então
(5.4) (5.5) (5.6) (5.7) Nas desigualdades acima, usamos: definição de ; que a pré-imagem da união é a união da pré-imagem; que a pré-imagem de conjuntos disjuntos é disjunta, combinada com a aditividade contável de ; definição de .
Isso prova a proposição. ∎
5.2 Variáveis Aleatórias Discretas
Definição 5.8 (Variável Aleatória Discreta).
Seja um espaço de probabilidade e uma variável aleatória. Dizemos que e são discretos se existir um conjunto finito ou infinito contável tal que .
Definição 5.9 (Função de Massa de Probabilidade).
Seja um espaço de probabilidade e uma variável aleatória discreta. Definimos a função de massa de probabilidade de como a função dada por
Observe que é construído a partir de , e é mais simples do que , porque recebe como entrada um número e recebe como entrada um conjunto de números. Veremos abaixo que é possível reconstruir a partir de no caso em que é discreto.
Definição 5.10 (Suporte discreto).
Seja um espaço de probabilidade e uma variável aleatória discreta. Definimos o suporte discreto de , ou, mais precisamente, o suporte discreto de sua distribuição , como o conjunto
Como afirmado acima, para estudar , é suficiente conhecer .
Proposição 5.11.
Seja uma variável aleatória discreta. Então
para todo , onde denota o suporte discreto de .
Notação.
Antes de escrever a prova, precisamos explicar o significado de . Uma vez que o conjunto é contável, podemos escrever , e podemos considerar como . Precisamos ter cuidado aqui, pois usamos uma "enumeração"arbitrária de . No entanto, uma vez que os termos na soma são não negativos, outra enumeração significaria reordenar os termos, o que não afeta o valor da soma.
Demonstração.
Pela definição de ser discreta, existe um conjunto contável tal que . Podemos decompor
O segundo termo é zero, porque, uma vez que ,
Portanto,
Se substituirmos em vez de na fórmula acima, obtemos , porque para todo .
Pelo mesmo argumento,
o que é o que queríamos provar. ∎
É conveniente especificar a distribuição de uma variável aleatória dizendo o que é . Quando dizemos "seja uma variável aleatória discreta com função de massa de probabilidade tal e tal,"o que queremos dizer? Isso realmente descreve uma variável aleatória? A próxima definição e proposição respondem a essa pergunta.
Definição 5.12 (Função de Massa de Probabilidade).
Uma função é uma função de massa de probabilidade se o conjunto dado por é contável e .
Proposição 5.13.
Seja uma função de massa de probabilidade. Então existe um espaço de probabilidade e uma variável aleatória discreta tal que para todo .
Demonstração.
Tome . Tome , e
Finalmente, tome . Então é uma variável aleatória. Além disso,
porque a soma sobre um conjunto vazio sempre é igual a zero. Portanto, é uma variável aleatória discreta. Vamos verificar que .
Para , temos
porque a soma de um único fator é igual a esse fator.
Por outro lado, para , temos e
Portanto, , como reivindicado, e isso completa a prova da proposição. ∎
5.3 As distribuições discretas mais comuns
Definição 5.14 (Distibuição de Bernoulli).
Dizemos que uma variável aleatória discreta tem uma distribuição de Bernoulli com parâmetro , denotado , se sua função de massa de probabilidade for
Exemplo 5.15.
Seja (cara ou coroa para um lançamento de moeda) com e , e seja e . Então, .
Definição 5.16 (Distibuição Geométrica).
Dizemos que uma variável aleatória discreta tem uma distribuição geométrica com parâmetro , denotado , se sua função de massa de probabilidade for
Para ver que é de fato uma função de massa de probabilidade, observe que
Variáveis aleatórias com distribuição geométrica surgem na seguinte situação. Suponha que realizamos repetidamente ensaios, cada um dos quais pode ser um sucesso ou um fracasso. Assuma que os ensaios são independentes e a probabilidade de sucesso é a mesma em cada um deles, igual a . Então, o número de ensaios realizados até obtermos o primeiro sucesso segue uma distribuição geométrica com parâmetro .
Observação 5.
Algumas referências menos comuns usam uma definição diferente para a distribuição geométrica com parâmetro : eles consideram a distribuição em (em vez de ) e a função de massa de probabilidade , para . Uma variável aleatória com função de massa de probabilidade conta o número de ensaios fracassados realizados antes de obter o primeiro sucesso. Portanto, no caso de um sucesso já ocorrer no primeiro ensaio, o número de ensaios fracassados é zero.
Exemplo 5.17.
Lançamos um dado repetidamente até obtermos um 6 pela primeira vez. Seja o número total de vezes que lançamos o dado. Então, .
Definição 5.18 (Distribuição binomial).
Dizemos que uma variável aleatória discreta tem uma distribuição binomial com parâmetros e , denotado , se sua função de massa de probabilidade for
Observe que é de fato uma função de massa de probabilidade, pois
Exemplo 5.19.
Lance um dado dez vezes e seja o número de vezes que sai um 5 ou um 6. Então, .
Lembrando que e .
Definição 5.20 (Distribuição de Poisson).
Dizemos que uma variável aleatória discreta tem uma distribuição de Poisson com parâmetro , denotado por , se sua função de massa de probabilidade for
Para mostrar que é de fato uma função de massa de probabilidade, calculamos
Variáveis aleatórias que contam ocorrências raras entre muitos ensaios (como: número de acidentes em uma estrada ao longo de um ano, número de erros de digitação em uma página de livro) normalmente seguem a distribuição de Poisson. Mais precisamente, uma variável aleatória de Poisson pode ser usada para aproximar uma Binomial quando é grande, é pequeno e é fixo. De fato, se para , então
(5.21) | ||||
(5.22) | ||||
(5.23) | ||||
(5.24) |
onde a aproximação segue das seguintes aproximações para grande:
Breve revisão de variáveis aleatórias
Variável aleatória:
com a exigência de que para todo .
A distribuição de é , dada por
é uma medida de probabilidade em , onde é o espaço de eventos em .
Uma variável aleatória é discreta se existe um conjunto contável tal que .
Para discreto, definimos a função de massa de probabilidade de como a função dada por
e o suporte discreto de como o conjunto .
Se é discreto, então
para todo , onde denota o suporte discreto de .
Dizemos que uma função é uma função de massa de probabilidade se para todo , o conjunto é contável e
Dada uma função de massa de probabilidade , é possível construir um espaço de probabilidade e uma variável aleatória tal que seja a função de massa de probabilidade de .