Exercício 03: Defina função indicadora e mostre quais são suas principais propriedades e aplicações.
Passo 1
O enunciado pede três coisas: definir o que é uma função indicadora, mostrar suas principais propriedades e mostrar aplicações práticas.\n
Informações dadas (implícitas no enunciado): devemos explicar a definição formal, provar proposições básicas sobre esse objeto e dar exemplos de uso em diferentes áreas (probabilidade, contagem, integração, etc.). Nada mais foi fornecido.
Informações dadas (implícitas no enunciado): devemos explicar a definição formal, provar proposições básicas sobre esse objeto e dar exemplos de uso em diferentes áreas (probabilidade, contagem, integração, etc.). Nada mais foi fornecido.
Passo 2
Definição formal.\n
Seja
Explicação didática: pense em
) quando
está dentro de
e apaga (
) quando
está fora de
.]
Passo 3
Exemplos simples para fixar a ideia.\n
- Se
e , então , , , .\n - Se
e , então e .\n
Esses exemplos mostram que a função indicadora só toma os valores ) e ).
Passo 4
Propriedade básica — valores e idempotência.\n
Para todo vale
. Daí segue a idempotência:
Para todo
porque
e
. Em notação funcional:
Comentário didático: isto significa que multiplicar a própria indicação de um conjunto por ela mesma não altera nada — é um comportamento típico de projeções.
Passo 5
Complemento.\n
Se é o complemento de
em
, então para todo
Se
Prova rápida: se
então
e
, então
. Se
ocorre o caso contrário. Essa identidade é muito útil para transformar complementos em operações aritméticas.
Passo 6
Interseção e produto.\n
Para quaisquer e todo
vale
Para quaisquer
Prova: o produto é
somente se ambos
e
, isto é, somente se
. Caso contrário o produto é
.
Passo 7
União e soma (fórmula de inclusão-exclusão para dois conjuntos).\n
Para temos a identidade
Para
Prova: verifique valor por valor em
(casos
,
,
,
).\n
Observação: se e
são disjuntos então
.
Observação: se
Passo 8
Generalização para
conjuntos e inclusão-exclusão.\n
A identidade para dois conjuntos estende-se à fórmula clássica da inclusão-exclusão com somas e subtrações de indicadores para . Em particular:
A identidade para dois conjuntos estende-se à fórmula clássica da inclusão-exclusão com somas e subtrações de indicadores para
onde
é a diferença simétrica. Isso é útil para medir “distância” entre conjuntos.
Passo 9
Monotonicidade.\n
Se então para todo
Se
ou em notação funcional
. Prova: se
então
e ambos indicadores valem
; se
então
(que é
ou
).
Passo 10
Integração com respeito a uma medida — ligação com medida e probabilidade.\n
Se é um espaço de medida, então a indicadora é mensurável sempre que
e satisfaz:
Se
Prova intuitiva: a integral soma “peso”
em cada ponto de
e
fora; isso conta exatamente a medida de
.\n
Casos especiais importantes:\n
Casos especiais importantes:\n
- Para a medida de contagem em um conjunto finito
:
- Para probabilidade
(medida de probabilidade):
Aqui
é esperança. Essa identidade é usada o tempo todo em probabilidade: a esperança de um indicador é a probabilidade do evento.
Passo 11
Produto por uma função e integração em subconjunto.\n
Se é mensurável (ou integrável), então
Se
Explicação: multiplicar
por
“corta”
fora de
, o que é uma maneira formal de integrar apenas sobre
. Em probabilidade isso corresponde a
, que é expectativa de
restrita ao evento
.
Passo 12
Funções simples e aproximação de funções mensuráveis.\n
Uma função simples é combinação linear finita de indicadoras:
Uma função simples é combinação linear finita de indicadoras:
com
e
disjuntos. Teorema importante: toda função mensurável não-negativa pode ser aproximada por uma sequência monótona de funções simples; isso é a base da construção da integral de Lebesgue. Didaticamente, isto mostra o papel fundamental das indicadoras: elas são tijolos para construir funções mensuráveis.
Passo 13
Aplicações práticas e exemplos concretos.\n
- Probabilidade: representar eventos e calcular probabilidades via expectativa; por exemplo, o número de sucessos em
ensaios de Bernoulli é .\n - Estatística: função empírica de distribuição:
- Contagem/combinatória: contar elementos satisfazendo uma propriedade usando soma de indicadoras.\n
- Análise e teoria da medida: construir funções simples, provar teoremas de convergência (dominated convergence, monotone convergence) usando seqüências de indicadoras.\n
- Álgebra funcional / projeções: em espaços
, multiplicação por é um operador linear que projeta funções naquelas que são zero fora de .\n - Programação e algoritmos: em implementações, indicadoras são úteis para escrever condições como
ou e somá-las para obter contagens ou métricas.
Passo 14
Identidades úteis e truques de prova (dicas para prova/avaliação).\n
- Converter eventos em indicadores e usar linearidade da esperança para transformar probabilidades em somas de expectativas.\n
- Usar
para simplificar integrais e produtos.\n - Controlar diferenças entre conjuntos com norma
:
Isso dá uma métrica natural entre conjuntos mensuráveis.\n
Dica prática para prova: quando aparecer soma condicional ou contagem de casos, veja se dá para escrever como soma de ; isso costuma simplificar muito a conta.
Dica prática para prova: quando aparecer soma condicional ou contagem de casos, veja se dá para escrever como soma de
Passo 15
Resumo final e empurrão motivacional.\n
A função indicadora é um conceito simples, mas extremamente poderoso: transforma perguntas sobre conjuntos em operações algébricas e integrais. Memorize as identidades fundamentais ( ,
, expressão para união/disjunção) e o uso com integrais
. Esses truques salvam tempo em provas e simplificam raciocínios abstratos. Força aí — com essas ferramentas você resolve muita coisa no exame!
A função indicadora é um conceito simples, mas extremamente poderoso: transforma perguntas sobre conjuntos em operações algébricas e integrais. Memorize as identidades fundamentais (
Resposta
Definição:
\n
Principais propriedades:
;
;
;
; se
então
;
; e para medida
vale
.\n
Aplicações: probabilidade ( ), contagem (
), construção de funções simples e aproximação para integração de Lebesgue, estatística (função empírica
), manipulações algébricas em provas e operadores de projeção em espaços funcionais.
Aplicações: probabilidade (