Oleellinen supremum ja oleellinen infimum

Mittateoriassa ja funktionaalianalyysissä, oleellinen supremum ja oleellinen infimum ovat supremumin ja infimumin käsitteiden yleistyksiä mitallisille funktioille ja joukoille. Ideana on määritellä funktion oleellinen yläraja siten, että se pätee melkein kaikkialla. Toisin sanottuna, niiden pisteiden joukko, joiden kuva on suurempi kuin oleellinen yläraja, on nollamittainen.

Intuitiivisesti, funktion oleellinen infimum on pienin arvo, joka on suurempi tai yhtä suuri kuin funktion arvot kaikkialla, kun funktion arvot nollamittaisilla joukoilla jätetään huomiotta. Otetaan esimerkiksi funktio ${\displaystyle f:\mathbb {R} \rightarrow \mathbb {R} }$, jonka arvo on nolla kaikkialla paitsi määrittelyjoukon pisteen nolla kohdalla, jossa määritellään ${\displaystyle f(0)=1}$. Funktion supremum on tällöin yksi. Sen oleellinen supremum on kuitenkin nolla, koska yhden pisteen muodostama joukko on nollamittainen. Oleellinen infimum määritellään samankaltaisesti.