Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Lets say that $f:[a,b] \rightarrow \mathbb{R}$ is a measurable function such that $H: \mathcal{L}_{2}[a,b] \rightarrow \mathbb{R}$ defined as

$H(g) = \int_{a}^{b}fg$

is finite for all $g \in \mathcal{L}_{2}[a,b]$

I was wondering if $H$ is a bounded linear functional on $\mathcal{L}_{2}[a,b]$

share|improve this question
1  
Hardy-Littlewood-Polya's book Inequalities calls this result "the converse of Hölder's inequality". Cfr. Theorem 190 (161 for the infinite sum and 15 for the finite sum case). More precisely, Theorem 190 states that $(H(g)\ \text{is finite for all }g\in L^2[a, b] )\Rightarrow (f \in L^2[a, b])$, from which continuity of $H$ follows easily. This is exactly what Davide has done below. –  Giuseppe Negro Apr 11 '12 at 23:49

2 Answers 2

We work on $H:=L^2[a,b]$, which is a normed space. In fact, $f\in L^2[a,b]$, and the fact that $H$ is bounded will follow from Cauchy-Schwarz inequality. Using $\operatorname{sgn}f|g|$ for $g\in H$, we get that $fg\in L^1[a,b]$ for each $g\in L^2[a,b]$. If $f\notin H$, we can find $A_k$ pairwise disjoint such that $1\leq \int_{A_k}|f(x)|^2dx$. Put $g:=\sum_{k\geq 1}\frac 1k\chi_{A_k}\frac f{\int_{A_k}|f(x)|^2dx}$. Then $g\in H$ but $fg\notin L^1[a,b]$, a contradiction.

share|improve this answer

Yes, this is a consequence of the Banach-Steinhaus theorem. Without loss of generality take everything to be positive by taking absolute values everywhere and rotating the functions we evaluate the functionals on.

Consider the family of bounded functionals given by $\Lambda_n : g \mapsto \int f_n g$ where $f_n = f \chi_{f\leq n}$ (these are bounded because $f_n$ is $L^\infty$ and the measure space is finite--this last assumption is easy to remove). By Banach-Steinhaus, this family is either uniformly bounded or is infinite on a dense $G_\delta$ set. But since we take everything positive we have $|\Lambda_n(g)| \leq |H (g)| <\infty$ for all $f$. By Banach-Steinhaus there exists a uniform bound $M$ on the operator norms $\|\Lambda_n\|$ Take any $g$ with $\|g\| = 1$. Then $\int f_n g \leq M$ uniformly and so by the dominated convergence theorem $\int f g \leq M$ which gives that the map is bounded.

As a comment, a similar argument works for all $L^p$ ($1\leq p < \infty$) spaces over $\sigma-$finite measure spaces.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.