Symbols:Abbreviations/E/essup

From ProofWiki
Jump to navigation Jump to search

Abbreviation: essup

Essential supremum.


Let $\struct {X, \Sigma, \mu}$ be a measure space.

Let $f : X \to \R$ be an essentially bounded function:

$\map \mu {\set {x \in X : \size {\map f x} > c} } = 0$

The essential supremum of $\size {\map f x}$ is the supremum of all possible $c$, and is written $\essup \size {\map f x}$.


Sources