Temos um experimento aleatório com diferentes resultados formando o espaço amostral em que olhamos com interesse em determinados padrões, chamados eventos As álgebras sigma (ou campos sigma) são compostas de eventos aos quais uma medida de probabilidade pode ser atribuída. Certas propriedades são cumpridas, incluindo a inclusão do conjunto nulo e todo o espaço de amostra e uma álgebra que descreve uniões e interseções com diagramas de Venn. P ∅
Probabilidade é definida como uma função entre a álgebra e o intervalo . Ao todo, o triplo forma um espaço de probabilidade .
Alguém poderia explicar em inglês simples por que o edifício de probabilidade entraria em colapso se não tivéssemos uma álgebra? Eles estão apenas no meio com aquele "F" impossivelmente caligráfico. Eu acredito que eles são necessários; Vejo que um evento é diferente de um resultado, mas o que daria errado sem a -algebras?
A pergunta é: em que tipo de problemas de probabilidade, a definição de um espaço de probabilidade incluindo a álgebra se torna uma necessidade?
Este documento on-line no site da Universidade de Dartmouth fornece uma explicação acessível em inglês. A idéia é um ponteiro giratório girando no sentido anti-horário em um círculo de perímetro unitário :
Começamos construindo um botão giratório, que consiste em um círculo de circunferência da unidade e um ponteiro, como mostrado na Figura. Escolhemos um ponto no círculo e o rotulamos como e depois rotulamos todos os outros pontos do círculo com a distância, digamos , de a esse ponto, medido no sentido anti-horário. O experimento consiste em girar o ponteiro e gravar o rótulo do ponto na ponta do ponteiro. Deixamos que a variável aleatória denote o valor desse resultado. O espaço da amostra é claramente o intervalo . Gostaríamos de construir um modelo de probabilidade no qual cada resultado tenha a mesma probabilidade de ocorrer. Se prosseguirmos como fizemos [...] em experimentos com um número finito de resultados possíveis, devemos atribuir a probabilidade a cada resultado, pois, caso contrário, a soma das probabilidades, sobre todos os resultados possíveis, não igual a 1. (De fato, somar um número incontável de números reais é um negócio complicado; em particular, para que essa soma tenha algum significado, no máximo, muitas das somas podem ser diferentes de ). No entanto, se todas as probabilidades atribuídas são , então a soma é , não , como deveria ser.
Portanto, se atribuíssemos a cada ponto qualquer probabilidade e, considerando que há um número infinito de pontos (incontável), sua soma somaria .
fonte
Respostas:
Para o primeiro ponto de Xi'an: quando você está falando sobre álgebras , está perguntando sobre conjuntos mensuráveis, então, infelizmente, qualquer resposta deve se concentrar na teoria das medidas. Vou tentar fazer isso com cuidado, no entanto.σ
Uma teoria da probabilidade admitindo todos os subconjuntos de conjuntos incontáveis quebrará a matemática
Considere este exemplo. Suponha que você tem um quadrado unitário em , e você estiver interessado na probabilidade de selecionar aleatoriamente um ponto que é membro de um conjunto específico na unidade quadrado. Em muitas circunstâncias, isso pode ser prontamente respondido com base em uma comparação de áreas dos diferentes conjuntos. Por exemplo, podemos desenhar alguns círculos, medir suas áreas e, em seguida, calcular a probabilidade como a fração do quadrado que cai no círculo. Muito simples.R2
Mas e se a área do conjunto de interesses não estiver bem definida?
Se a área não estiver bem definida, podemos raciocinar com duas conclusões diferentes, mas completamente válidas (em certo sentido) sobre o que é a área. Então, podemos ter por um lado, e P ( A ) = 0, por outro lado, o que implica 0 = 1 . Isso quebra toda a matemática além do reparo. Agora você pode provar 5 < 0 e várias outras coisas absurdas. Claramente, isso não é muito útil.P( A ) = 1 P( A ) = 0 0 = 1 5 < 0
-algebras são o patch que corrige a matemáticaσ
O que é uma álgebra, precisamente? Na verdade, não é tão assustador. É apenas uma definição de quais conjuntos podem ser considerados eventos. Elementos que não estão em F simplesmente não têm uma medida de probabilidade definida. Basicamente, as σ- álgebras são o "patch" que nos permite evitar alguns comportamentos patológicos da matemática, nomeadamente conjuntos não mensuráveis.σ F σ
Os três requisitos de um campo podem ser considerados consequências do que gostaríamos de fazer com probabilidade: Um campo σ é um conjunto que possui três propriedades:σ σ
As uniões contáveis e os componentes de interseções contáveis são conseqüências diretas do problema do conjunto não mensurável. Encerramento sob complementos é uma consequência dos axiomas Kolmogorov: se , P ( A c ) deveria ser 1 / 3 . Mas sem (3), pode acontecer que P ( A c ) seja indefinido. Isso seria estranho. O fechamento sob complementos e os axiomas de Kolmogorov permitem dizer coisas como P ( A ∪ A c ) = P (P( A ) = 2 / 3 P( Ac) 1 / 3 P( Ac) .P( A ∪ Ac) = P( A ) + 1 - P( A ) = 1
Finalmente, estamos considerando eventos em relação a , por isso exigimos ainda que Ω ∈ FΩ Ohms ∈ F
Boas notícias: álgebras são estritamente necessárias para conjuntos incontáveisσ
Mas! Há boas notícias aqui também. Ou, pelo menos, uma maneira de contornar o problema. Só precisamos de álgebras se estivermos trabalhando em um conjunto com cardinalidade incontável. Se nos restringirmos a conjuntos contáveis, então podemos tomar F = 2 Ω o conjunto de potências de Ω e não teremos nenhum desses problemas porque, para os contáveis Ω , 2 Ω consiste apenas em conjuntos mensuráveis. (Isso é mencionado no segundo comentário de Xi'an.) Você notará que alguns livros didáticos realmente cometerão um truque sutil aqui, e só considerarão conjuntos contáveis ao discutir espaços de probabilidade.σ F= 2Ω Ω Ω 2Ω
Além disso, em problemas geométricos em , é perfeitamente suficiente considerar apenas as σ- álgebras compostas de conjuntos para os quais a medida L n é definida. Para fundamentar isso de maneira um pouco mais firme, L n para n = 1 , 2 , 3 corresponde às noções usuais de comprimento, área e volume. Então, o que estou dizendo no exemplo anterior é que o conjunto precisa ter uma área bem definida para ter uma probabilidade geométrica atribuída a ele. E a razão é a seguinte: se admitirmos conjuntos não mensuráveis, podemos terminar em situações nas quais podemos atribuir a probabilidade 1 a algum evento com base em alguma prova e a probabilidade 0 aRn σ eun eun n = 1 , 2 , 3 o mesmo evento de evento com base em alguma outra prova.
Mas não deixe que a conexão com conjuntos incontáveis o confunda! Um equívoco comum de que álgebras são conjuntos contáveis. De fato, eles podem ser contáveis ou incontáveis. Considere esta ilustração: como antes, temos um quadrado unitário. Defina F = Todos os subconjuntos do quadrado da unidade com medida L 2 definida . Você pode desenhar um quadrado B com comprimento lateral s para todos os s ∈ ( 0 , 1 ) e com um canto em ( 0 , 0 )σ
Então, como uma questão prática, basta fazer essa observação com frequência suficiente para fazer a observação de que você considera apenas conjuntos mensuráveis de Lebesgue para avançar no problema de interesse.
Mas espere, o que é um conjunto não mensurável?
Receio que só posso lançar um pouco de luz sobre isso. Mas o paradoxo de Banach-Tarski (às vezes o paradoxo "sol e ervilha") pode nos ajudar um pouco:
Portanto, se você estiver trabalhando com probabilidades em e usando a medida de probabilidade geométrica (a razão de volumes), deseja calcular a probabilidade de algum evento. Mas você se esforçará para definir essa probabilidade com precisão, porque pode reorganizar os conjuntos de seu espaço para alterar os volumes! Se a probabilidade depender do volume e você puder alterar o volume do aparelho para o tamanho do sol ou o tamanho de uma ervilha, a probabilidade também mudará. Portanto, nenhum evento terá uma única probabilidade atribuída a ele. Pior ainda, você pode reorganizar S ∈ Ω tal que o volume de S tem V ( S ) > V ( Ω )R3 S∈ Ω S V( S) > V( Ω ) , o que implica que a medida de probabilidade geométrica reporta uma probabilidade , em flagrante violação dos axiomas de Kolmogorov, que exigem que a probabilidade tenha a medida 1.P( S) > 1
Para resolver esse paradoxo, pode-se fazer uma das quatro concessões:
A opção (1) não ajuda a definir probabilidades de definição, então está desativada. A opção (2) viola o segundo axioma de Kolmogorov, então está desativado. A opção (3) parece uma péssima idéia porque o ZFC corrige muito mais problemas do que cria. Mas a opção (4) parece atraente: se desenvolvermos uma teoria sobre o que é e o que não é mensurável, teremos probabilidades bem definidas nesse problema! Isso nos leva de volta à teoria da medida, e nosso amigo, a álgebra.σ
fonte
Eu vi esse tipo de introdução primeiro no muito bom livro de Peter Whittle, "Probabilidade via expectativa" (Springer).
EDITAR
Mas será que realmente precisamos da lei forte de grandes números? De acordo com uma resposta aqui , talvez não.
fonte
Bem, não é um caso totalmente limpo, mas existem algumas razões sólidas para isso .
Por que os probabilistas precisam de medidas?
As pessoas trazem o conjunto de Vitali e Banach-Tarski para explicar por que você precisa da teoria da medida, mas acho que isso é enganoso . O conjunto de Vitali desaparece apenas para medidas (não triviais) invariantes à tradução, que os espaços de probabilidade não exigem. E Banach-Tarski requer invariância à rotação. As pessoas de análise se preocupam com elas, mas os probabilistas realmente não .
A razão de ser da teoria da medida na teoria das probabilidades é unificar o tratamento de RVs discretos e contínuos e, além disso, permitir RVs misturados e RVs que simplesmente não são.
fonte