Bounded Linear functional on $\mathcal{L}_{2}[a,b]$ 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]$
 A: 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.
A: 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.
