Espaço mensurável

Em matemática, em especial na teoria da medida, um espaço mensurável é um conjunto $𝕏$ dotado de uma sigma-álgebra $𝔐$. Denota-se $(𝕏,𝔐).$

Todo conjunto pertencente à $𝔐$ é dito conjunto mensurável.

Quando $𝕏$ é também um espaço topológico com uma topologia $\tau$, é muitas vezes o caso que $\tau \subseteq 𝔐$. Neste caso, todos os conjuntos borelianos são mensuráveis e o espaço é dito de Borel.

Quando existe uma medida $\mu$ definida em $𝔐$, dizemos que $(𝕏,𝔐,\mu )$ é um espaço de medida ou espaço com medida.

Ver também

• Teoria da medida
• Medida
• Sigma-álgebra
• Álgebra de Borel
• Função mensurável