§9.1.1赋范线性空间 计算方法 博季雨 定义9.1 第九单运数通 近 设集合'是实数域R上的线性空间,如果'中任意一个元素 银1S是的速证 ∫都按某一法则对应一个实数,记作儿,并且它满足下列条 近 件 正事通式 (1)正定性:/≥0,f∈片:/川=0当且仅当f=0成立; 到6活面销面出 (2)齐次性:‖cf=clf川l,c∈R,f∈: (3)三角不等式:f+g≤川+g,近g∈V. 期性重六装式 上述对应关系可视为V,R的映射,称为线性空间V的范 数,并简记为‖·‖定义了范数的线性空间称为藏范线性空间 傅孝明 计算方法
计算方法 傅孝明 第九章函数逼 近 §9.1 逼近问题的描述 §9.2 内积空间的最佳 逼近 §9.3 最佳平方逼近与 正交多项式 §9.4 周期函数的最佳 平方逼近与快速傅立 叶变换 §9.5 最佳一致逼近多 项式 §9.6 切比雪夫多项式 §9.7 函数逼近的若干 重要定理 . . . . . . §9.1.1 赋范线性空间 . 定义 9.1 . . 设集合 V 是实数域 R 上的线性空间, 如果 V 中任意一个元素 f 都按某一法则对应一个实数, 记作 ∥f∥, 并且它满足下列条 件: (1) 正定性: ∥f∥ > 0, ∀f ∈ V; ∥f∥ = 0 当且仅当 f = 0 成立; (2) 齐次性: ∥cf∥ = |c|∥f∥, ∀c ∈ R, ∀f ∈ V; (3) 三角不等式: ∥f + g∥ 6 ∥f∥ + ∥g∥, ∀f, g ∈ V. 上述对应关系可视为 V → R 的映射, 称为线性空间 V 的范 数, 并简记为 ∥ · ∥. 定义了范数的线性空间称为赋范线性空间. 傅孝明 计算方法
§9.1.1赋范线性空间 计算方法 例9.3 傅孝胡 记R”为n维线性空间,在R”中定义 第九继画 近 x2=(++…+)2,收=1,2,…,x)eR" 位1正月题的温正 易验证‖·2满足条件(1)~(3).因此,R”按‖·2构成一赋范线性空间 近 另外,不难验证R”还可按如下范数 王变事级其 平打面丘与电情立 ll=x+x2l+…+knl,i=(x1,x2,…xn)I∈R”, 主到 银童止一进通正多 lxe=max{xl,x2l,…,xnl},x=(x1,x2,…,xn)∈R" 认货壮雪多装天 分别构成不同的赋范线性空间.更一般地,在R”中定义 业重正提 Ixlp=(P+x2P+…+xnP)P,次=(x1,2,…,xn)TeR, 构成向量x的p范数,前面的范数分别对应p=1,2,o©的情形 傅孝明 计算方法
计算方法 傅孝明 第九章函数逼 近 §9.1 逼近问题的描述 §9.2 内积空间的最佳 逼近 §9.3 最佳平方逼近与 正交多项式 §9.4 周期函数的最佳 平方逼近与快速傅立 叶变换 §9.5 最佳一致逼近多 项式 §9.6 切比雪夫多项式 §9.7 函数逼近的若干 重要定理 . . . . . . §9.1.1 赋范线性空间 . 例 9.3 . . 记 R n 为 n 维线性空间, 在 R n 中定义 ∥x∥2 = ( x 2 1 + x 2 2 + · · · + x 2 n )1/2 , ∀x = (x1, x2, · · · , xn) T ∈ R n . 易验证 ∥ · ∥2 满足条件 (1) ∼ (3). 因此, R n 按 ∥ · ∥2 构成一赋范线性空间. 另外, 不难验证 R n 还可按如下范数 ∥x∥1 = |x1| + |x2| + · · · + |xn|, ∀x = (x1, x2, · · · , xn) T ∈ R n , ∥x∥∞ = max{|x1|, |x2|, · · · , |xn|}, ∀x = (x1, x2, · · · , xn) T ∈ R n , 分别构成不同的赋范线性空间. 更一般地, 在 R n 中定义 ∥x∥p = (|x1| p + |x2| p + · · · + |xn| p ) 1/p , ∀x = (x1, x2, · · · , xn) T ∈ R n , 构成向量 x 的p-范数, 前面的范数分别对应 p = 1, 2, ∞ 的情形. 傅孝明 计算方法
§9.1.1赋范线性空间 计算方法 博季胡 例9.4 第九单运数通 近 记Ca,b为区间a,b]上连续函数的全体,按通常的函数加 银1S是的速过 法与数乘运算构成线性空间.在C[a,b)中定义 近 正通式 lo=max If(x),1f∈C[a,b. 到6适销面回 生 易验证‖·‖~满足条件(1)~(3).因此,C[a,b1按‖·lo构 期性重六装式 成一赋范线性空间,范数‖·‖o称为一致范数或Chebyshev 卫数 范数 4口,g1三,于2900 傅孝明 计算方法
计算方法 傅孝明 第九章函数逼 近 §9.1 逼近问题的描述 §9.2 内积空间的最佳 逼近 §9.3 最佳平方逼近与 正交多项式 §9.4 周期函数的最佳 平方逼近与快速傅立 叶变换 §9.5 最佳一致逼近多 项式 §9.6 切比雪夫多项式 §9.7 函数逼近的若干 重要定理 . . . . . . §9.1.1 赋范线性空间 . 例 9.4 . . 记 C[a, b] 为区间 [a, b] 上连续函数的全体, 按通常的函数加 法与数乘运算构成线性空间. 在 C[a, b] 中定义 ∥f∥∞ = max a6x6b |f(x)|, ∀f ∈ C[a, b]. 易验证 ∥ · ∥∞ 满足条件 (1) ∼ (3). 因此, C[a, b] 按 ∥ · ∥∞ 构 成一赋范线性空间, 范数 ∥ · ∥∞ 称为一致范数或 Chebyshev 范数. 傅孝明 计算方法
§9.1.1赋范线性空间 计算方法 博孝胡 第九华适数调 例9.5 位1正月数的温正 记C[a,b为区间[a,b上r次连续可微函数的全体.定义 近 C[a,b的范数 王变事级其 平打面丘与三电情立 lfoo max. {x,/x,…,⊙x} Vfe Cla,b]. 此主到 xEla,b s童性一到通正学 货壮雪手装天 显然,C[a,]是C[a,b的一个特殊情形 重正提 傅孝明 计算方法
计算方法 傅孝明 第九章函数逼 近 §9.1 逼近问题的描述 §9.2 内积空间的最佳 逼近 §9.3 最佳平方逼近与 正交多项式 §9.4 周期函数的最佳 平方逼近与快速傅立 叶变换 §9.5 最佳一致逼近多 项式 §9.6 切比雪夫多项式 §9.7 函数逼近的若干 重要定理 . . . . . . §9.1.1 赋范线性空间 . 例 9.5 . . 记 C r [a, b] 为区间 [a, b] 上 r 次连续可微函数的全体. 定义 C r [a, b] 的范数 ∥f∥∞ = max x∈[a,b] { |f(x)|, |f ′ (x)|, · · · , |f (r) (x)| } , ∀f ∈ C r [a, b]. 显然, C[a, b] 是 C r [a, b] 的一个特殊情形. 傅孝明 计算方法
§9.1.1赋范线性空间 计算方法 例9.6 博季明 记P[a,b]为区间a,1上所有满足 第九单证数调 6 近 lx)Pdr<+oo,p≥1, 银15超的速过 银过内应首量出 近 的Lebesgue可积函数f构成的函数类(Lebesgue积分是Riemann 生最字方正 正事通式 积分的推广),因区间[a,b]上所有的连续函数都是Riemann可积 到6适销面回 生 的.故Ca,]cLa,.在P[a,b中定义 期性重六装式 u-(Iwr) fe IPla,b], (1) 卫数 可以证明‖·p是La,b的一个范数.注意,在[a,b中约定:将 几乎处处相等的两个可测函数g视为同一函数。 傅孝明 计算方法
计算方法 傅孝明 第九章函数逼 近 §9.1 逼近问题的描述 §9.2 内积空间的最佳 逼近 §9.3 最佳平方逼近与 正交多项式 §9.4 周期函数的最佳 平方逼近与快速傅立 叶变换 §9.5 最佳一致逼近多 项式 §9.6 切比雪夫多项式 §9.7 函数逼近的若干 重要定理 . . . . . . §9.1.1 赋范线性空间 . 例 9.6 . . 记 L p [a, b] 为区间 [a, b] 上所有满足 ∫ b a |f(x)| p dx < +∞, p > 1, 的 Lebesgue 可积函数 f 构成的函数类 (Lebesgue 积分是 Riemann 积分的推广). 因区间 [a, b] 上所有的连续函数都是 Riemann 可积 的, 故 C[a, b] ⊂ L[a, b]. 在 L p [a, b] 中定义 ∥f∥p = (∫ b a |f(x)| p dx )1/p , ∀f ∈ L p [a, b], (1) 可以证明 ∥ · ∥p 是 L p [a, b] 的一个范数. 注意, 在 L p [a, b] 中约定: 将 几乎处处相等的两个可测函数 f, g 视为同一函数. 傅孝明 计算方法