dual characterisation of L^1-norm

345 Views Asked by At

Reading the proof of an article of E. Lieb I couldn't understand the following: for $0<p<\infty$ and $g\in L^1(\mathbb{R}^n) \cap L^p(\mathbb{R}^n)$, $\|g\|_1=\sup\lbrace\int_{\mathbb{R}^n}f(x)g(x)dx\vert f\in L^q(\mathbb{R}^n) \cap L^\infty(\mathbb{R}^n), \|f\|_1<1\rbrace$, where $q$ is the conjugate exponent of $p$. By the dual characterization of the norm, we know that $\|g\|_1=\sup\lbrace\int_{\mathbb{R}^n}f(x)g(x)dx\vert f\in L^\infty(\mathbb{R}^n),\|f\|_1\leq 1\rbrace$, but $L^q(\mathbb{R}^n) \cap L^\infty(\mathbb{R}^n)$ is not dense in $L^\infty(\mathbb{R}^n)$. I would be grateful for any help.