Essential Infimum
- Mathematics & Logic -
Pure Mathematics Dictionary
Definition
For a measurable function f, the essential infimum is the largest extended real number m such that f(x) ≥ m for almost every x (i.e., except on a set of measure zero). It provides a greatest lower bound modulo null sets.