泛函分析基础8-有界线性算子和连续线性泛函2-2-4：l¹的共轭空间【l¹的共轭空间为l∞，即：(l¹)′=l∞】

下面作为例子给出空间 $l^1$ 和 $l^p$共轭空间的一般形式。

例1
$l^1$ 的 共轭空间为 $l^{\infty },$ 即${\left(l^1\right)}^{\prime }=l^{\infty }.$

证明
令$e_n=\left({\delta }_{n1},{\delta }_{n2},{\delta }_{n3},\cdots \right),n=1,2,\cdots ,$其中 ${\delta }_{nj}$ 当 $j=n$ 时等于1，当 $j\ne n$ 时等于0,显然 $e_n\in l^1$ 并且对每个$x=\left({\xi }_1,{\xi }_2,{\xi }_3,\cdots \right)\in l^1,$有

$$x=\underset{n\to \infty }{\lim }\sum _{k=1}^n{\xi }_k{e}_k.$$

设 $f\in {\left(l^1\right)}^{\prime },$ 令$f\left(e_n\right)={\eta }_n,n=1,2,\cdots ,$那么由于 $f\in {\left(l^1\right)}^{\prime },$ 因而有

$$f(x)=\underset{n\to \infty }{\lim }\sum _{k=1}^n{\xi }_{k}f\left(e_k\right)=\sum _{k=1}^{\infty }{\xi }_k{\eta }_k,(4)$$

又因为 ${\Vert e_k\Vert }_1=1,$ 所以对一切正整数 $k,$有

$$\left|{\eta }_k\right|=\left|f\left(e_k\right)\right|⩽\Vert f\Vert {\Vert e_k\Vert }_1=\Vert f\Vert .$$

由此可得

$$\underset{k}{\sup }\left|{\eta }_k\right|⩽\Vert f\Vert ,(5)$$

即$\left({\eta }_1,{\eta }_2,{\eta }_3,\cdots \right)\in l^{\ast }.$反之，对每个$b=\left({\beta }_1,{\beta }_2,{\beta }_3,\cdots \right)\in l^{\infty },$作 $l^1$ 上泛函

$$g(x)=\sum _{k=1}^{\infty }{\xi }_k{\beta }_k,x=\left({\xi }_1,{\xi }_2,{\xi }_3,\cdots \right)\in l^1,$$

显然 $g$ 是 $l^1$ 上线性泛函，而且$g\left(e_k\right)={\beta }_k,k=1,2,\cdots ,$ 又因

$$|g(x)|=\left|\sum _{k=1}^{\infty }{\xi }_k{\beta }_k\right|⩽\sum _{k=1}^{\infty }\left|{\xi }_k\right|\left|{\beta }_k\right|⩽\underset{k}{\sup }\left|{\beta }_k\right|\sum _{k=1}^{\infty }\left|{\xi }_k\right|=\underset{k}{\sup }\left|{\beta }_k\right|\Vert x{\Vert }_1,$$

因此 $g\in {\left(l^1\right)}^{\prime },$ 并且有

$$\Vert g\Vert ⩽\underset{j}{\sup }\left|{\beta }_j\right|=\Vert b{\Vert }_{\infty }.(6)$$

因此(4)式是 $l^1$ 上连续线性泛函的一般形式.作${\left(l^1\right)}^{\prime }$ 到 $l^{\infty }$ 中映射 $T$如下：

$$Tf=\left(f\left(e_1\right),f\left(e_2\right),f\left(e_3\right),\cdots \right),f\in {\left(l^1\right)}^{\prime },$$

显然 $T$ 是 线性映射，且由前证明知 $T$ 是到上的.由(5)式，

$$\Vert Tf{\Vert }_{\infty }=\underset{k}{\sup }\left|f\left(e_k\right)\right|⩽\Vert f\Vert ,$$

又由(4)式，对每个$x=\left({\xi }_1,{\xi }_2,{\xi }_3,\cdots \right)\in l^1,$有

$$f(x)=\sum _{k=1}^{\infty }{\xi }_{k}f\left(e_k\right),$$

所以由(6)式，有

$$\Vert f\Vert ⩽\underset{k}{\sup }\left|f\left(e_k\right)\right|=\Vert Tf{\Vert }_{\infty },$$

于是 $\Vert f\Vert =\Vert Tf{\Vert }_{\ast },$ 即 $T$ 是${\left(l^1\right)}^{\prime }$ 到 $l^{\ast }$上的同构映射，所以 ${\left(l^1\right)}^{\prime }=l^{\ast }.$