Why do we use 'holds almost everywhere' instead of 'holds at every point' for essential bounds?

Conditions

• The context is measure theory and Lebesgue integration.
• The function is measurable.

Reasoning, step by step

1. Recognize that in measure theory, sets of measure zero do not affect integrals.
2. Understand that requiring a bound to hold everywhere is too restrictive for many measurable functions.
3. Relax the condition to 'almost everywhere' to ignore isolated spikes or anomalies on measure-zero sets.
4. Conclude that this relaxation captures the 'essential' behavior of the function.

Example

The video states: 'Because the fact that it holds almost everywhere reveals some essential properties of this function, it is called an essential upper bound.'

Common misconceptions

• Thinking that 'almost everywhere' means 'most of the time' in a probabilistic sense; it strictly means the exception set has measure zero.
• Believing that ignoring measure-zero sets makes the definition mathematically imprecise; it is a rigorous standard in Lebesgue integration.

Watch the explanation

Explore next

• How is the $L^\infty$ space defined?
• What is the definition of the p-norm for a measurable function when $0 < p < +\infty$?