funzione misurabile

funzione misurabile

funzione misurabile data una σ-algebra M su un insieme Ω, e dato lo spazio topologico X (per esempio R), è una funzione ƒ: Ω → X tale che per ogni aperto A ⊆ X risulti ƒ ⁻¹(A) ∈ M. In particolare, se M è la σ-algebra degli insiemi misurabili secondo Lebesgue, ƒ è detta misurabile secondo Lebesgue (→ Lebesgue, funzione misurabile secondo). Una funzione misurabile è, quindi, un’applicazione tra due spazi misurabili compatibile con la loro struttura di σ-algebra. Le funzioni appartenenti a una qualsiasi delle classi di Baire sono tutte misurabili secondo Lebesgue (→ Baire, classi di). La funzione caratteristica di un insieme non misurabile non è misurabile; tale costruzione richiede tuttavia l’uso dell’assioma della scelta.