LP(a,b的对偶空间 定理 LP(a,b)(1<p<o)的对偶空间(LP(a,b)Y保范同构于L(a,b). 泛函分析 November 3.2021 6/32
L p (a, b) 的对偶空间 定理 L p (a, b) (1 < p < ∞) 的对偶空间 (L p (a, b))′ 保范同构于 L q (a, b). 泛函分析 November 3, 2021 6 / 32
连续函数空间的对偶空间 定理 C(a,Y保范同构于%a,. 推论 设P是[a,上的多项式全体构成的C([a,)的线性子空间. 设f是P上连续线性泛函，那么∫必可唯一地延拓成C([α，)上连续线 性泛函，而且存在唯一的9∈V%a,)使得对任何x∈C([a,)成立 田=9d(0. 泛函分析 November 3.2021 7/32
连续函数空间的对偶空间 定理 C([a, b])′ 保范同构于 V0[a, b]. 推论 设 P 是 [a, b] 上的多项式全体构成的 C([a, b]) 的线性子空间. 设 f 是 P 上连续线性泛函, 那么 f 必可唯一地延拓成 C([a, b]) 上连续线 性泛函, 而且存在唯一的 g ∈ V0[a, b] 使得对任何 x ∈ C([a, b]) 成立 f(x) = ∫ b a x(t)dg(t). 泛函分析 November 3, 2021 7 / 32
设C2r为2π为周期的连续函数()的全体，按通常的线性运算以 及范数‖l=,maxl(t构成的赋范线性空间.设V2m是Vo[0,2]中 0≤t长2π 满足条件 1img(x)=g(0)=0 r0十 的函数全体所成的线性子空间.和推论1.6相仿，我们有如下结果 推论 设∫是C2m上连续线性泛函，那么必有唯一的9∈V2m使得 当x∈C2x时， = d(t)dg(t) 而且=哈(g: 泛函分析 November 3.2021 8/32
设 C2π 为 2π 为周期的连续函数 ϕ(·) 的全体, 按通常的线性运算以 及范数 ||ϕ|| = max 0≤t≤2π |ϕ(t)| 构成的赋范线性空间. 设 V2π 是 V0[0, 2π] 中 满足条件 lim x→0+ g(x) = g(0) = 0 的函数全体所成的线性子空间. 和推论 1.6 相仿, 我们有如下结果. 推论 设 f 是 C2π 上连续线性泛函, 那么必有唯一的 g ∈ V2π 使得 当 x ∈ C2π 时, f(x) = ∫ 2π 0 x(t)dg(t) 而且 ||f|| = V2π 0 (g). 泛函分析 November 3, 2021 8 / 32
推论 设T是周期为2π的三角多项式全体构成的C如的线性子空间. 设∫是T上的连续线性泛函，那么∫一定可以唯一地延拓成C2上的 连续线性泛函，并且有唯一的g∈V2m使得 2元 )=()dg() 泛函份析 November 3.2021 9/32
推论 设 T 是周期为 2π 的三角多项式全体构成的 C2π 的线性子空间. 设 f 是 T 上的连续线性泛函, 那么 f 一定可以唯一地延拓成 C2π 上的 连续线性泛函, 并且有唯一的 g ∈ V2π 使得 f(x) = ∫ 2π 0 x(t)dg(t). 泛函分析 November 3, 2021 9 / 32
可分Banach空间的对偶空间的可分性 定理 设X是赋范线性空间，如果X*可分，则X也可分 推论 L(a,b) 的对偶空间不可能保范同构于L(a,b);©的对偶空间不可 能保范同构于. 泛函分析 November 3,2021 10/32
可分 Banach 空间的对偶空间的可分性 定理 设 X 是赋范线性空间, 如果 X∗ 可分, 则 X 也可分. 推论 L∞(a, b) 的对偶空间不可能保范同构于 L 1 (a, b); l∞ 的对偶空间不可 能保范同构于 l 1 . 泛函分析 November 3, 2021 10 / 32