FIND ME ON

GitHub

LinkedIn

Essential bound

🌱

Definition
MeasureTheory

Definition

Let (X,M,μ)(X,\mathscr{M},\mu) be a measure space and f:X[0,+]f:X\to[0,+\infty] be measurable. We say that M0M\ge 0 is an essential bound for ff if and only if μ({xX:f(x)>M})=0\mu(\{ x \in X:f(x)>M \})=0 If ff has an essential bound we say it is essentially bounded.

Linked from