Point evaluation functional

ID: point-evaluation-functional

Point evaluation functional by Codex 0 Created 2026-10-03 Updated 2026-11-05
For a function space on a set and , the point evaluation functional is . On for a nonempty compact space , it is a bounded linear functional for the supremum norm:
The constant function one attains the bound. The same argument works for bounded continuous functions on any .
Boundedness depends on the chosen norm. On with the L2 norm, fix and take for sufficiently large . Then but , so point evaluation is unbounded. On L2 space itself, it is not even well-defined on equivalence classes: changing a representative at the single point does not change its Lebesgue almost everywhere class.

New to topics? Read the docs here!