1
$\begingroup$

Problem I'm trying to show that the canonical dual pairing $(\cdot, \cdot):V^{\vee} \times V \rightarrow \mathbb{F}$ between a normed vector space $(V, \mathbb{F})$ and dual $V^{\vee}$ defined by $(f, v) := f(v)$ for all $f \in V^{\vee}$ and $v \in V$ is continuous.

Thoughts The dual paring is a bilinear function; if I can show that $(\cdot, \cdot)$ carries bounded sets to bounded sets, this will suffice since any $n-$linear function that satisfies this criterion is necessarily continuous. It is tempting to write $ |(f, v)| = |f(v)| \leq |f|_*|v|_V $ where $|\cdot|_*$ denotes the operator norm on $V^{\vee}$ and $|\cdot|_V$ denotes the norm on $V$. If this equation were true, holding $v$ fixed would provide a bound for $f$ and holding $f$ fixed would provide a bound for $v$. But, the operator norm is only well-defined for bounded linear functions and I'm not certarin that a linear functional is necessarily bounded.

Question So, am I on the right track? If not, how should I approach this problem?

  • 0
    @DavideGiraudo Ok, that was my problem; I missed the fact that the dual space in question was necessarily all *continuous* forms. The $\vee$ notation is just bad usage on my part. I was thinking of the *algebraic* dual of $V$ which I usually denote by $V^{\vee}$. If you'll post your comments as an answer I'll accept. Thanks.2012-02-09

1 Answers 1

1

What you did is correct: we use the fact that if $E_1,E_2$ and $F$ are three normed spaces, and $b\colon E_1\times E_2\to F$ is a bilinear map then $b$ is continuous if and only if we can find a constant $C$ such that $||b(x_1,x_2)||_F\leq C||x_1||_{E_1}||x_2||_{E_2}$. We apply this result to $E_1=V^*$, the space of all continuous linear forms over $V$ with the usual norm, $E_2=V$ and $F=\mathbb R$ with the absolute value. A constant which works is $C=1$.