泛函分析笔记11：特殊共轭空间刻画

3.7特殊共轭空间

[a,b]上连续函数的共轭空间

定理 4.21： (F. Riesz) $f\in C[a,b{]}^{\ast }⟺\exists [a,b]$ 上的 有界变差函数 $v(t)$, 使
$$f(x)={\int }_a^{b}x(t)dv(t),\forall x\in C[a,b]$$
此时, $\Vert f\Vert ={\bigvee }_a^b(v)<\infty$ 。

[a,b]上p幂可积函数的共轭空间

定理 4.22： 设 $1<p<\infty ,\frac{1}{p}+\frac{1}{q}=1$, 则 $f\in L^p[a,b{]}^{\ast }⟺$ $\exists y\in L^q[a,b]$, 使
$$f(x)={\int }_a^{b}x(t)y(t)dt,\forall x\in L^p[a,b]$$
此时, $\Vert f\Vert =\Vert y{\Vert }_q$ 。

p幂可和数列的共轭空间

定理 4.23：设 $1<p<\infty ,\frac{1}{p}+\frac{1}{q}=1$, 则 f ∈ ( ℓ p ) ∗ ⟺ ∃ y = { b n } n = 1 ∞ ∈ ℓ q f \in\left(\ell^{p}\right)^{*} \Longleftrightarrow \exists y=\left\{b_{n}\right\}_{n=1}^{\infty} \in \ell^{q} f∈(ℓp)∗⟺∃y={bn​}n=1∞​∈ℓq 使
f ( x ) = ∑ n = 1 ∞ b n ξ n , ∀ x = { ξ n } n = 1 ∞ ∈ ℓ p \begin{aligned} &\quad f(x)=\sum_{n=1}^{\infty} b_{n} \xi_{n}, \quad \forall x=\left\{\xi_{n}\right\}_{n=1}^{\infty} \in \ell^{p} \\ \end{aligned} ​f(x)=n=1∑∞​bn​ξn​,∀x={ξn​}n=1∞​∈ℓp​
且$\Vert f\Vert =\Vert y{\Vert }_q$。在映射 $f\mapsto y$ 下, ${\left({\ell }^p\right)}^{\ast }\cong {\ell }^q$ 。

类似地， f ∈ ( ℓ 1 ) ∗ ⟺ ∃ y = { b n } n = 1 ∞ ∈ ℓ ∞ f \in\left(\ell^{1}\right)^{*} \Longleftrightarrow \exists y=\left\{b_{n}\right\}_{n=1}^{\infty} \in \ell^{\infty} f∈(ℓ1)∗⟺∃y={bn​}n=1∞​∈ℓ∞ 使
f ( x ) = ∑ n = 1 ∞ b n ξ n , ∀ x = { ξ n } n = 1 ∞ ∈ ℓ 1 \begin{array}{r} f(x)=\sum_{n=1}^{\infty} b_{n} \xi_{n}, \quad \forall x=\left\{\xi_{n}\right\}_{n=1}^{\infty} \in \ell^{1} \\ \end{array} f(x)=∑n=1∞​bn​ξn​,∀x={ξn​}n=1∞​∈ℓ1​
且$\Vert f\Vert =\Vert y{\Vert }_{\infty }$，${\left({\ell }^1\right)}^{\ast }\cong {\ell }^{\infty }$。

极限为0数列的共轭空间

定理 4.24： f ∈ ( c 0 ) ∗ ⟺ ∃ y = { b n } n = 1 ∞ ∈ f \in\left(c_{0}\right)^{*} \Longleftrightarrow \exists y=\left\{b_{n}\right\}_{n=1}^{\infty} \in f∈(c0​)∗⟺∃y={bn​}n=1∞​∈ ${\ell }^1$ 使
f ( x ) = ∑ n = 1 ∞ b n ξ n , ∀ x = { ξ n } n = 1 ∞ ∈ ( c 0 ) f(x)=\sum_{n=1}^{\infty} b_{n} \xi_{n}, \quad \forall x=\left\{\xi_{n}\right\}_{n=1}^{\infty} \in\left(c_{0}\right) f(x)=n=1∑∞​bn​ξn​,∀x={ξn​}n=1∞​∈(c0​)
且 $\Vert f\Vert =\Vert y{\Vert }_1$ 。

极限存在数列的共轭空间

定理 4.25： f ∈ ( c ) ∗ ⟺ ∃ y = { b n } n = 0 ∞ ∈ ℓ 1 f \in(c)^{*} \Longleftrightarrow \quad \exists \quad y=\left\{b_{n}\right\}_{n=0}^{\infty} \in \ell^{1} f∈(c)∗⟺∃y={bn​}n=0∞​∈ℓ1 使
f ( x ) = ∑ n = 0 ∞ b n ξ n , ∀ x = { ξ n } n = 1 ∞ ∈ ( c ) f(x)=\sum_{n=0}^{\infty} b_{n} \xi_{n}, \quad \forall x=\left\{\xi_{n}\right\}_{n=1}^{\infty} \in(c) f(x)=n=0∑∞​bn​ξn​,∀x={ξn​}n=1∞​∈(c)
其中 ${\xi }_0={\lim }_{n\to \infty }{\xi }_n$, 此时 $\Vert f\Vert =\Vert y{\Vert }_1={\sum }_{n=0}^{\infty }\left|b_n\right|$ 。