第13讲Hahn- Banach定理的应用 教学目的 理解延拓定理的应用。 授课要点 通过介绍Bahn- Banach定理在最佳逼近方面的应用帮助 学生认识这一定理应用的途径和方式 lahn- Banach定理在理论上和应用上都是十分重要的,它往往提 供了某些学科或学科分支的理论基础.这里介绍一些它们在逼近论方 面的应用 定义3设X是线性赋范空间,E是X的子集合,x∈X,称 y∈E是x关于E的最佳逼近元,若 y=inf x-= ∈E 首先应该知道一般说来,最佳逼近元并不总是存在的 例1设E∈C,E是[0上定义的任意阶多项式全体构成 的线性子空间,取x()=e∈C[.],尽管 d(r, E)=inf x-==0 但不存在y∈E使得|x-y=0,因为c不是多项式.这说明不存在e 关于E的最佳逼近元 定理1设X是线性赋范空间,E是X的闭线性子空间,x∈X, 则y∈E是x关于E的最佳逼近元当且仅当存在∫∈X使得|f=1
1 第 13 讲 Hahn-Banach 定理的应用 教学目的 理解延拓定理的应用。 授课要点 通过介绍 Hahn-Banach 定理在最佳逼近方面的应用帮助 学生认识这一定理应用的途径和方式。 Hahn-Banach 定理在理论上和应用上都是十分重要的，它往往提 供了某些学科或学科分支的理论基础. 这里介绍一些它们在逼近论方 面的应用. 定义 3 设 X 是线性赋范空间， E 是 X 的子集合， x∈ X ，称 y E ∈ 是 x 关于 E 的最佳逼近元，若 inf z E x y xz ∈ − = − . (1) 首先应该知道一般说来，最佳逼近元并不总是存在的. 例 1 设 E C ⊂ [0,1] ，E 是 [0,1]上定义的任意阶多项式全体构成 的线性子空间，取 ( ) [0,1] t xt e C = ∈ ，尽管 ( , inf 0 ) z E d xE x z ∈ = −= ， 但不存在 y E ∈ 使得 x y − = 0，因为 t e 不是多项式. 这说明不存在 t e 关于 E 的最佳逼近元. 定理 1 设 X 是线性赋范空间，E 是 X 的闭线性子空间， 0 x ∈ X ， 则 y E ∈ 是 0 x 关于 E 的最佳逼近元当且仅当存在 f X ∗ ∈ 使得 f =1
f6(x)=0,x∈E并且f(x)=|x-y 证明当x∈E时,x是它自己关于E的最佳逼近元,此时容 易证明结论成立 现设xgE,若y是x关于E的最佳逼近元,即 l2o-y=inf *o-==d 此时d>0.设E1=span{x,E},令J(x)=ad,x1=z+ax,其中 E∈E,a∈Φ,则J是E上的线性泛函,并且后(E)=0,J6(x)=d 由于 5o(x)= sal= xo=Fs+ all=ll 所以≤1.E>0,取∈E使得|x-<d+E,则 d+8 于是f=1,由Hahn- Banach定理,存在∫∈x”使得在E上 f(x)=f(x).特别地,f(E)=6(E)=0.从而 f(x)=6(x)=d=|x。-y 反之,若∫∈X满足定理中条件,对于任何z∈E x-川=|(x)=|(x-=)≤|-圳, 由于y∈E,故 inf 由定理前一部分的证明容易得出以下推论 推论1设X是线性赋范空间,E是X的线性子空间,x∈X d(x,E)=inf|-=4>0,则存在∫∈X,使得‖/=1
2 f x 0 ( ) = 0， ∀ ∈x E 并且 f ( x xy 0 0 ) = − . 证 明 当 0 x ∈ E 时， 0 x 是它自己关于 E 的最佳逼近元，此时容 易证明结论成立. 现设 0 x ∉ E ，若 y 是 0 x 关于 E 的最佳逼近元，即 0 0 inf z E x y xzd ∈ − = −= ， 此时 d＞0 . 设 E1 = span {x0 , E} ，令 f0 1 ( x ad ) = ， 1 0 ∀x = +z ax ，其中 z E ∈ ，α ∈Φ ，则 0f 是 E1 上的线性泛函，并且 f E 0 ( ) = 0 ，f0 0 ( ) x d = . 由于 01 0 ( ) z f x ad a x a =≤ + 0 1 =+ = z ax x , 所以 0f ≤1. ∀ε＞0，取 z E ∈ 使得 0 xzd − ＜ + ε ，则 0 0 ( ) 0 0 0 0 0 x z f x d f f xz xz d ε − ≥ =≥ − − + ， 于是 0f =1，由 Hahn－Banach 定理，存在 f X ∗ ∈ 使得在 E1 上， f ( ) x fx = 0 ( ) . 特别地， fE f E ( ) = 0 ( ) = 0 . 从而 f ( ) x fx d x y 0 00 0 = == − ( ) . 反之，若 f X ∗ ∈ 满足定理中条件，对于任何 z E ∈ ， x0 00 0 −= = − ≤ − y fx fx z x z ( ) ( ) ， 由于 y E ∈ ，故 0 0 inf z E x y xz ∈ −= − . 由定理前一部分的证明容易得出以下推论. 推论 1 设 X 是线性赋范空间， E 是 X 的线性子空间， 0 x ∈ X ， ( ) 0 0 , inf 0 z E dxE x z d ∈ = −= ＞ ，则存在 f X ∗ ∈ ，使得 f =1
f(x)=d,并且∫(x)=0,Vx∈E 定理1实际上是最佳逼近元的判定定理.下面定理可以看成最佳 逼近元的存在定理 定理2设X是线性赋范空间,EcX是有限维子空间,则对于 每个x∈X,x关于E的最佳逼近元存在 证明任取y∈E,考虑集合 F={=∈E|x-|s|x-y} 容易验证F是E中的有界闭集,是E有限维的,从而是紧集并且 d(x,F)=d(x,E)取,∈F使得|x--川→d(x,F),此时存在子列 ∈F,于是 Ix-Fol=limx-==d(x, F)=d(r,E 二0即是x关于E的最佳逼近元 例2对于实空间C[a小,由{2…r}张成的线性子空间记 为En,En是有限维的,从而是闭的由定理2,Vx∈C[ab],x到En 的最佳逼近元存在.即至少存在一组实数a,…,an,使得 x0()=a0+a1+……+a"满足 Ix-xol= sup x()-xo()=d(x,En 例3对于复空间L[-x,x,若E是由{e";-n≤k≤n张成的 线性子空间,则x∈L[-x,z],存在复数c,-n≤k≤n使得 ce满足
3 ( ) 0 f x d = ，并且 f x( ) = 0 ， ∀x∈ E . 定理 1 实际上是最佳逼近元的判定定理. 下面定理可以看成最佳 逼近元的存在定理. 定理 2 设 X 是线性赋范空间， E X ⊂ 是有限维子空间，则对于 每个 x∈ X ， x 关于 E 的最佳逼近元存在. 证 明 任取 0 y E ∈ ，考虑集合 F z Ex z x y =∈ −≤− { ; 0 } . 容易验证 F 是 E 中的有界闭集，是 E 有限维的，从而是紧集并且 d xF d xE ()() , , = . 取 n z F ∈ 使得 x − → z d xF n ( , ) ，此时存在子列 0 k n z zF → ∈ ，于是 0 lim , , n ( ) ( ) n x z x z d xF d xE →∞ −= −= = . 0 z 即是 x 关于 E 的最佳逼近元. 例 2 对于实空间 C ab [ , ] ，由 {1, , , } n t t "" 张成的线性子空间记 为 En ，En 是有限维的，从而是闭的. 由定理 2，∀ ∈x C ab [ , ] ，x 到 En 的最佳逼近元存在 . 即至少存在一组实数 0 , , n a a "" ，使得 0 01 ( ) n n x t a at at =+ + + "" 满足 [ ] 0 0 ( ) ( ) ( ) , sup , n t ab x x xt x t d xE ∈ −= − = . (2) 例 3 对于复空间 [ ] 2 L −π ,π ，若 En 是由 { ; } ikt e nkn − ≤ ≤ 张成的 线性子空间，则 [ ] 2 ∀∈ − x L π ,π ，存在复数 k c ， −nkn ≤ ≤ 使 得 0 n ikt k k n x c e =− = ∑ 满足
∫k(o.oin)=d(xE) 思考题 1、证明一个线性赋范空间X中的某一点到线性子空间E的最佳 逼近元的全体是E中的凸集 2、即使是闭子空间,一点到它的最佳逼近元也未必存在.例如设 E={x=(xn)∈c∑ 0} 则E在c0中闭,但x=(2,0,…)这一点关于E没有最佳逼近元.此例 也说明定理2关于无穷维子空间不成立 有了最佳逼近元的存在性和判别准则,自然会考虑到唯一性问题 为此我们需要一个新的概念 定义2线性赋范空间X称为是严格凸的,若Vx,y∈X,当 1时 x+y∠1 (4) 从几何上说,严格凸空间单位球面上任意两点的中点不在球面上 严格凸是逼近论中的一个基本概念,我们先给出严格凸空间的例子 例4空间L[ab](1<P<∞)是严格凸的 若存在g∈D[小,==1,并且2=1,即
4 () () ( ) 1 2 2 0 0 2 1 , 2 n x x x t x t dt d x E π π −π −= − = ∫ . (3) 思考题 1、 证明一个线性赋范空间 X 中的某一点到线性子空间 E 的最佳 逼近元的全体是 E 中的凸集. 2、 即使是闭子空间，一点到它的最佳逼近元也未必存在. 例如设 0 1 { ( ) ; 2 0}, n n n n Exx c x ∞ − = == ∈ = ∑ 则 E 在 0 c 中闭，但 0 x = (2,0, ) " 这一点关于 E 没有最佳逼近元. 此例 也说明定理 2 关于无穷维子空间不成立. 有了最佳逼近元的存在性和判别准则，自然会考虑到唯一性问题. 为此我们需要一个新的概念. 定义 2 线性赋范空间 X 称为是严格凸的，若 ∀x, y X ∈ ，当 x ≠ y ， x y = =1时 1 2 x y + ＜ . (4) 从几何上说，严格凸空间单位球面上任意两点的中点不在球面上， 严格凸是逼近论中的一个基本概念，我们先给出严格凸空间的例子. 例 4 空间 [ , ] p L a b ( ) 1＜ ＜p ∞ 是严格凸的. 若存在 , , [ ] p f g L ab ∈ ， 1 p p f g = = ，并且 1 2 p f g + = ，即
f+gl2=+|gl,由第一章第二讲例1知道 Minkowski不等式 中等号成立当且仅当f(1)=kg(t),4-a,e,其中k为非负常数 由/L2+|g=1知k=1,故=g,这说明当J≠g时 同样的,空间(1<p<∞)是严格凸的 Hilbert空间是严格凸的,这可以由平行四边形公式直接得到 例51不是严格凸的,实际上只需取 x=(10.0…),y=(0,10,…), 则x≠y,|x=|y=1,但|x+川=2 也不是严格凸的,实际上取 x=(10…),y=(-1,0…), 则x≠y,|x=yl=1,|x 此外空间cc0,L[ab]L[a]C[ab]也不是严格凸的,读者可 直接验证之 定理3设X是线性赋范空间,则以下条件等价: (1)X是严格凸的 (2)对于X中任何凸子集E和x∈X,x关于E至多有一个最 佳逼近元 (3)对于每个∫∈X,闭单位球Sx上至多有一点x使得 证明(1)→(2)不妨设x∈E,若有x,x∈E同时使 x-x0|=|x-x|=d(x,E)=M.则此
5 p pp f += + gfg ，由第一章第二讲例 1 知道 Minkowski 不等式 中等号成立当且仅当 f ( )t kg t = ( ) ， µ − a ， e ，其中 k 为非负常数， 由 1 p p f g + = 知 k =1，故 f = g ，这说明当 f ≠ g 时 2 p f g + ＜1. 同样的，空间 p l ( ) 1＜ ＜p ∞ 是严格凸的. Hilbert 空间是严格凸的，这可以由平行四边形公式直接得到. 例 5 1 l 不是严格凸的，实际上只需取 x = ( ) 1,0,0," ， y = (0,1,0,") ， 则 x ≠ y ， x y = =1，但 x y + = 2 . l ∞ 也不是严格凸的，实际上取 x = ( ) 1,0," ， y = − (1, 1,0,") ， 则 x ≠ y ， x y = =1， x y + = 2 . 此外空间 cc L ab L ab C ab ,, ,, ,, , 0 1 [ ] ∞ [ ] [ ]也不是严格凸的，读者可 直接验证之. 定理 3 设 X 是线性赋范空间，则以下条件等价： （1） X 是严格凸的. （2） 对于 X 中任何凸子集 E 和 x∈ X ，x 关于 E 至多有一个最 佳逼近元. （3） 对于每个 f X ∗ ∈ ，闭单位球 X S 上至多有一点 0 x 使 得 ( ) 0 f x f = . 证 明 (1) (2) ⇒ 不妨设 x∉ E ，若有 0 0 x , x E ′ ∈ 同时使 x − =− = = x x x d xE M 0 0′ ( ) , . 则此时