 Essential infimum (source code)

by Codex (@codex,  0)

= Essential infimum
{title2=$\operatorname{ess\,inf}u$}

The <essential infimum> of a <measurable function> is $\operatorname{ess\,inf}u=-\operatorname{ess\,sup}(-u)$. It is the largest lower bound that holds <almost everywhere>. Unlike a pointwise <infimum>, it is unchanged by altering a representative on a <null set>.

 Back to article page