泛函分析基础4-巴拿赫空间中的基本定理2：C[a,b] 的共轭空间

2 $C[a,b]$ 的共轭空间
前面我们已经讨论过一些空间的共轭空间，如
${\left(l^1\right)}^{\prime }=l^{\ast },{\left(l^p\right)}^{\prime }=l^q,$
其中 $\frac{1}{p}+\frac{1}{q}=1,$
$p>1.$ 这一节我们要找出 $[a,b]$ 上连续函数所构成的空间
$C[a,b]$ 的共轭空间这是里斯
的著名工作，它也可以看作是哈恩一巴拿赫定理的一个重要应用.
设 $g(t)$ 是区间 $[a,b]$ 上的有界变差函数，
${\mathrm{V}}_a^b(g)$ 为 $g(t)$ 在 $[a,b]$
上的全变差，由第
六章 $\mathrm{S}$ 5定理2，积分
${\int }_a^{b}f(t)\mathrm{d}g(t)$ 存在，其中
$f\in C[a,b],$ 读者不难证明
$\left|{\int }_a^{b}f(t)\mathrm{d}g(t)\right|⩽{\max }_{a<i<b}|f(t)|\cdot \mathrm{V}(g)=\Vert f\Vert \cdot {\mathrm{V}}_a^b(g).$
(1)
作 $C[a,b]$ 上泛函
$F(f)={\int }_a^{b}f(t)\mathrm{d}g(t),f\in C[a,b],$
(2)
由第六章 $\mathrm{S}$ 5定理1， $F$ 是 $C[a,b]$
上线性泛函，由(1)式可知， $F$ 是 $C[a,b]$ 上连续线性
泛函，并且 $\Vert F\Vert ⩽{\mathrm{V}}_a^b(g).$
我们自然会问： $C[a,b]$ 上任何一个连续线性泛函 $F$ 是否都
可以对应一个有界变差函数 $g,$
使得(2)成立？回答是肯定的，这就是下面的里斯表示
定理。
定理（里斯表示定理） $C[a,b]$ 上每一个连续线性泛函 $F$
都可以表示成为
$F(f)={\int }_a^{b}f(t)\mathrm{d}g(t),f\in C[a,b],$
(3)
其中 $g(t)$ 是 $[a,b]$ 上有界变差函数，并且
$\Vert F\Vert ={\mathrm{V}}_{<}$