Point evaluation functional
ID: point-evaluation-functional
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!