08/10/2021 14:22 Medida (matemática) – Wikipédia, a enciclopédia livre

Medida (matemática)
Origem: Wikipédia, a enciclopédia livre.

Em matemática, uma medida é uma função que atribui um valor aos subconjuntos de um
conjunto S. Quando a medida é positiva e a medida de S é 1, diz-se que a medida é uma
probabilidade.

Índice
Medida positiva (+)
Exemplos
Medida complexa
Exemplos
Propriedades

Medida positiva (+)

Uma medida positiva definida numa σ-algebra X de subconjuntos de um conjunto S é uma
função tal que:

, para qualquer coleção enumerável de conjuntos de X, disjuntos

dois a dois.

Os elementos, neste caso conjuntos, de X chamam-se conjuntos X-mensuráveis (ou apenas

conjuntos mensuráveis).

São conseqüências diretas da definição de medida postiva:

Não-negatividade:

Prova:

Monotonicidade

Prova: Como , vale que , sendo esta união disjunta. Logo, da

definição de medida, vale que , pela não-negatividade de
.

E l
https://pt.wikipedia.org/wiki/Medida_(matemática) 1/3
08/10/2021 14:22 Medida (matemática) – Wikipédia, a enciclopédia livre
Exemplos

Neste caso, a sigma-Álgebra tem apenas dois elementos: o conjunto vazio e o conjunto universo.

Medida de Dirac:

As medidas de Borel e de Lebesgue em verificam a propriedade

Medida complexa
Uma medida complexa numa σ-algebra X sobre um conjunto S é uma função tal
que:

, para qualquer colecção enumerável de conjuntos de X, disjuntos

dois a dois.

Em especial, a soma desta série é invariante quando a ordem da partição é trocada. Logo a
definição de medida complexa exige que a série seja absolutamente convergente.

Exemplos
Seja uma função complexa Lebesgue integrável. Então

define uma medida complexa nos conjuntos Lebesgue mensuráveis de

Propriedades
Algumas medidas possuem propriedades adicionais:

Medida completa:

Se tem medida zero, então todo subconjunto de Z é mensurável (e tem medida zero pela
monotonicidade.)

Medida invariante por translações:

, onde

(contanto que a soma esteja bem definida no espaço em questão.)

https://pt.wikipedia.org/wiki/Medida_(matemática) 2/3
08/10/2021 14:22 Medida (matemática) – Wikipédia, a enciclopédia livre

Medida de Borel:

Os abertos e portanto todos os conjuntos borelianos são mensuráveis.

Regularidade interior:

e são compactos.

Regularidade exterior:

e são abertos.

Medida finita: o espaço inteiro tem medida finita.

Medida finita: o espaço inteiro pode ser escrito como a união enumerável de conjuntos de
medida finita.

Medida localmente finita: todo compacto é mensurável e tem medida finita

, para todo compacto

Obtida de "https://pt.wikipedia.org/w/index.php?title=Medida_(matemática)&oldid=52853670"

Esta página foi editada pela última vez às 17h06min de 7 de agosto de 2018.

Este texto é disponibilizado nos termos da licença Atribuição-CompartilhaIgual 3.0 Não Adaptada (CC BY-SA 3.0) da
Creative Commons;
pode estar sujeito a condições adicionais.
Para mais detalhes, consulte as condições de
utilização.

Política de privacidade
Sobre a Wikipédia
Avisos gerais

Programadores
Estatísticas
Declaração sobre ''cookies''

https://pt.wikipedia.org/wiki/Medida_(matemática) 3/3