 Lp duality on an arbitrary measure space

For conjugate exponents $p,q\in (1,\infty )$, every bounded linear functional on an Lp space is uniquely $h\mapsto \int hgd\mu$ for $g\in L^q$, with functional norm $\Vert g{\Vert }_q$. This holds on arbitrary measure spaces. Apply the Radon-Nikodym theorem on finite-measure pieces, then use support localization of an Lp functional to obtain one global density without assuming sigma-finiteness of the entire measure.