武汉大学：《泛函分析》课程教学资源（教案讲义）第2讲 度量空间及其拓扑

第2讲度量空间及其拓扑 教学目的:介绍度量空间的公理及其拓扑性质。 授课要点: 度量空间、赋范空间、内积空间的公理体系以及三者的相 互关系。 定义1设X是某个集合,d:XxX→R是一个二元映射,满足 (1)d(x,y)≥0;d(x,y)=0当且仅当x=y (2)d(x,y)=d(y,x) (3)d(x,-)≤d(x,y)+d(y,)(三角不等式) 则称d是X上的度量(距离)函数,称X为度量(距离)空间.有时为了明确,记为(X 度量空间的子集合E,仍以d为E上度量构成的度量空间称为(X,d)的子空间 例1对于n维空间Φ”中的点x=(x1…,x)和y=(1…,y),定义 d(x,y)=∑x-y 容易验证d是Φ"上的度量函数.其中的三角不等式即数学分析中用到的 Minkowski不等式 记此空间为(Φ,d).称之为n维欧几里德( Euclid)空间 实际上在”上还可以定义其他度量,例如d(x,y)=maxx1-y,此时(o,d)仍是度 量空间.但须注意应把(Φ",d1)与(Φ,d)视为不同的度量空间.此外注意今后当说到Φ”是 度量空间时,总意味着它带有欧氏度量 例2空间s 考虑上节例2中的线性空间Φ°,对于x=(x),y=(yn),定义 21 现证明d是度量函数,记此空间为s

第 2 讲 度量空间及其拓扑 教学目的：介绍度量空间的公理及其拓扑性质。 授课要点： 度量空间、赋范空间、内积空间的公理体系以及三者的相 互关系。 定义 1 设 X 是某个集合， d : X × X → R 是一个二元映射，满足 （1） 0 d(x, y) ≥ ； d(x, y) = 0 当且仅当 x = y ． （2） ) d(x, y) = d( y, x ． （3） ) d(x,z) ≤ d(x, y) + d( y,z （三角不等式）． 则称 d 是 X 上的度量（距离）函数，称 X 为度量（距离）空间．有时为了明确，记为(X , d) ． 度量空间的子集合 E ，仍以 d 为 E 上度量构成的度量空间称为(X , d) 的子空间． 例 1 对于 n 维空间 n Φ 中的点 ( , , ) 1 n x = x " x 和 ( , , ) 1 n y = y " y ，定义 1 2 2 1 (, ) , n i i i dxy x y =   = −     ∑ （1） 容易验证 d 是 n Φ 上的度量函数．其中的三角不等式即数学分析中用到的 Minkowski 不等式 2 1 1 2 2 1 1 2 2 1 1 2        + −       ≤ −      ∑ − ∑ ∑ = = = n i i i n i i i n i i i x z x y y z , 记此空间为( ,d) n Φ . 称之为 n 维欧几里德（Euclid）空间． 实际上在 n Φ 上还可以定义其他度量，例如 i i i n d x y = x − y 1≤ ≤ 1 ( , ) max ，此时 ( , ) d1 n Φ 仍是度 量空间．但须注意应把 ( , ) d1 n Φ 与( ,d) n Φ 视为不同的度量空间．此外注意今后当说到 n Φ 是 度量空间时，总意味着它带有欧氏度量. 例 2 空间 s ． 考虑上节例 2 中的线性空间 ∞ Φ ，对于 ( ), ( ) n n x = x y = y ，定义 ∑ ∞ = + − − = 1 2 1 1 ( , ) i i i i i i x y x y d x y ． （2） 现证明 d 是度量函数，记此空间为 s ．

证明(1)显然d(x,y)≥0.若d(x,y)=0,则必有x-y=0,即x=y(=12 故 (2)d(x,y)=d(y,x)显然 (3)考虑函数∫()=,,t≥0.由于ω的递增性,对于任意实数a,b,由 +b≤a+b得到 a+b1++b1+l1+{b 所以 d(x,=)= a21+x- 211 x, y d(x,y)+d(,=) 例3空间Ca,b] Ca,b是区间[a,b]上的连续函数全体,对于x,y∈Ca,b],定义 d(x,y)=max x(0)-y(ol (3) 则d是Ca,b]上的度量函数.容易验证 1°d(x,y)≥0.若d(x,y)=0则vt∈[a,b,x()=y(),故x=y 2°显然d(x,y)=d(y,x) x()-() ≤max{x()-y()+10)-oW} < maxx(()-y(+maxx(0)-=(0 C[a,b是度量空间

证明 （1）显然 d(x, y) ≥ 0 ．若 d(x, y) = 0 ，则必有 − = 0 i i x y ，即 x = y (i =1,2,") i i ， 故 x = y ． （2） d(x, y) = d( y, x) 显然． （3）考虑函数 t t f t + = 1 ( ) ， t ≥ 0 ．由于 f (t) 的递增性，对于任意实数 a ， b ，由 a + b ≤ a + b 得到 b b a a a b a b a b a b + + + ≤ + + + ≤ + + + 1 1 1 1 ， 所以 ∑ ∞ = + − − = 1 2 1 1 ( , ) i i i i i i x z x z d x z ∑ ∞ = + − + − − + − = 1 2 1 1 i i i i i i i i i i x y y z x y y z ∑ ∞ =         + − − + + − − ≤ 1 2 1 1 1 i i i i i i i i i i y z y z x y x y = d(x, y) + d( y,z) ． 例 3 空间C[a,b]． C[a,b]是区间[a,b]上的连续函数全体，对于 x, y∈C[a,b]，定义 d(x, y) max x(t) y(t) a t b = − ≤ ≤ ． （3） 则 d 是C[a,b]上的度量函数．容易验证 1° d(x, y) ≥ 0 ．若 d(x, y) = 0 则∀t ∈[a,b] ， x(t) = y(t) ，故 x = y ． 2°显然 d(x, y) = d( y, x) ． 3° d(x,z) max x(t) z(t) a t b = − ≤ ≤ max{ } x(t) y(t) y(t) z(t) a t b ≤ − + − ≤ ≤ max x(t) y(t) max y(t) z(t) a t b a t b ≤ − + − ≤ ≤ ≤ ≤ ) = d(x, y) + d( y,z ． C[a,b]是度量空间．

定义2设(X,d)是度量空间,EcX (1)称damE=sup{d(x,y)x,y∈E}是E的直径.称E是有界集,若damE∞) 记之为lmxn=x或xn→>x 定理1度量空间中序列的极限是惟一的.收敛序列的元素构成有界集 证明若 d(x,x)→0,d(xn,y)→>0,(n→∞) 由三角不等式知道 0≤d(x,y)≤d(xn,x)+d(xn,y)→0,(n→>∞) 故d(x,y)=0,由定义知道x=y.后一结论是明显的 定理2d(x,y)是两个变元的连续函数,即当x→x,y→y时, d(xn,y)→d(x,y) 证明由三角不等式知道, 同样地 d(x,y)-d(x,-)≤d(,y)=d(y,-) 于是 d(x,y)-d(x,)≤d(y,2) (4) 应用(4),则 d( ym)-d(x,y)sd(m, m)-d(m, x)+d( d(x,x)+d(yn,y)→0 故

定义 2 设(X , d) 是度量空间， E ⊂ X ． （1）称diamE = sup{d(x, y); x, y∈ E}是 E 的直径．称 E 是有界集，若diamE < ∞ ． （2）对于 n x ， x∈ X ，称 n x （依度量 d ）收敛于 x ，若 d(x , x) → 0(n → ∞) n ． 记之为 x x n n = →∞ lim 或 x x n → ． 定理 1 度量空间中序列的极限是惟一的．收敛序列的元素构成有界集． 证明 若 x x n → ， x y n → ，即 d(x , x) → 0 n ， d(x , y) → 0 n ，(n → ∞) ． 由三角不等式知道 0 ≤ d(x, y) ≤ d(x , x) + d(x , y) → 0 n n ，(n → ∞) ． 故 d(x, y) = 0 ，由定义知道 x = y ．后一结论是明显的． 定理 2 ) d(x, y 是两个变元的连续函数，即当 x x n → ， y y n → 时， d(x , y ) d(x, y) n n → ． 证明 由三角不等式知道， d(x,z) − d(x, y) ≤ d( y,z) ， 同样地 d(x, y) − d(x,z) ≤ d(z, y) = d( y,z)， 于是 d(x, y) − d(x,z) ≤ d( y,z) （4） 应用（4），则 d(x , y ) d(x, y) d(x , y ) d( y , x) d( y , x) d(x, y) n n − ≤ n n − n + n − ≤ d(x , x) + d( y , y) → 0 n n ． 故

d(xny)→d(x,y) 例4设X是任一点集,定义 d(x,y) vx,y∈X 容易验证(X,d)是度量空间.称此类空间为离散度量空间 此例说明对于任一点集X,可以在X上规定某种度量函数使之成为度量空间.但是我 们研究度量空间的目的在于研究空间的性质并用于解决实际问题,因此我们通常所关心的 是与空间的某种性质紧密联系的度量函数.下面是这方面的例子 命题2C[a,b]中的序列x依度量收敛于x等价于xn在[a,]上一致收敛于x 由CIa,b]中度量函数的定义直接得出 例5空间S.设(,E,)是有限测度空间,A(2)0 (0)-x(2a}=0 记E,()=x0)-x(o≥),则 d(rm, x)= +lx, (0-x(ol x()-x() ≤(En(0)+,() 由于以()0,先取σ足够小使第二项小于,再取n足够大使第 项小于,则知d(x,x)→0

d(x , y ) d(x, y) n n → ． 例 4 设 X 是任一点集，定义    ∀ ∈ ≠ = = x y X x y x y d x y , 1, , 0, , ( , ) ． （5） 容易验证(X , d) 是度量空间．称此类空间为离散度量空间． 此例说明对于任一点集 X ，可以在 X 上规定某种度量函数使之成为度量空间．但是我 们研究度量空间的目的在于研究空间的性质并用于解决实际问题， 因此我们通常所关心的 是与空间的某种性质紧密联系的度量函数．下面是这方面的例子． 命题 2 ] C[a,b 中的序列 n x 依度量收敛于 x 等价于 n x 在[a,b]上一致收敛于 x ． 由C[a,b]中度量函数的定义直接得出． 例 5 空间 S ．设(Ω,Σ ,µ) 是有限测度空间， µ(Ω) 0， lim { } , ( ) − ( ) ≥ = 0 →∞ µ t xn t x t σ n ． 记 En (σ ) = { } t, xn (t) − x(t) ≥ σ ， 则 µ µ σ Ω σ d 1 ( ) ( ) ( ) ( ) d 1 ( ) ( ) ( ) ( ) ( , ) ∫ ( ) ∫ \ ( ) + − − + + − − = n En n n E n n n x t x t x t x t x t x t x t x t d x x ( ) 1 ( ( )) µ Ω σ σ µ σ + ≤ En + ． 由于 µ(Ω) 0 ，先取σ 足够小使第二项小于 2 ε ，再取 n 足够大使第 一项小于 2 ε ，则知 d(x , x) → 0 n ．

反之,对于每个a>0,由于 (E()≤ d≤d(xn,x) E.o1+x()-x() 所以当d(xn,x)→0时,im(En(σ)=0,这说明xn依测度收敛于x 思考题 空间s中依度量d收敛等价于依坐标收敛. 2、证明当d是x上的度量时,mn(d,l与、4 也是 3、对于例4中定义的离散度量空间,若x∈X,01,写出O(x,E)=? O(x,r)=? 个线性空间上未必定义有度量.反过来一个度量空间也未必是线性的.同时是线性又 是度量的空间称为是线性度量空间,假若加法和数乘关于此度量是连续的.即当在X中, xn→x,yn→y,在标量域φ中λ→>λ时 x+y→x+y, →Ax 定义3设(X,d)是度量空间. (1)若x∈X,r>0,称 O(xo, r)=xeX; d(x, xo)0,使得O(x,r)cB (3)包含x的任一开集称为x的邻域 (4)集合EcX称为闭集,若X\E为开集 引理球O(xnr)(r>0)是开集 证明对于任意的y∈O(x,r),取r=r-d(y,x), 则r>0,此时v∈O(yr (=,x0)≤d(=,y)+d(y,x)<r+d(y,x)=r, 故z∈O(x,r).z是任意的,所以O(,r)cO(x0,r) 由定义知道O(x,)是开集

反之，对于每个σ > 0，由于 d ( , ) 1 ( ) ( ) ( ) ( ) ( ( )) 1 ( ) d x x x t x t x t x t E n E n n n n ≤ + − − ≤ + ∫ µ σ µ σ σ σ ， 所以当 d(xn , x) → 0 时， lim ( ( )) = 0 →∞ µ n σ n E ，这说明 n x 依测度收敛于 x ． 思考题 1、 空间 s 中依度量 d 收敛等价于依坐标收敛． 2、 证明当 d 是 X 上的度量时， min{ ,1} d 与 1 d + d 也是。 3、 对于例 4 中定义的离散度量空间，若 x ∈ X , 0 1, 1 r ，写出 O x(, ) ? ε = Oxr (,) ? = 一个线性空间上未必定义有度量．反过来一个度量空间也未必是线性的．同时是线性又 是度量的空间称为是线性度量空间，假若加法和数乘关于此度量是连续的．即当在 X 中， x x n → ， y y n → ，在标量域Φ 中λn → λ 时 x y x y n + n → + ， x x λn n → λ ． 定义 3 设(X , d) 是度量空间． （1）若 x0 ∈ X ， r > 0 ，称 O(x ,r) = { } x ∈ X;d(x, x ) 0，使得O(x0 ,r) ⊂ B ． （3）包含 x 的任一开集称为 x 的邻域． （4）集合 E ⊂ X 称为闭集，若 X \ E 为开集． 引理 球 ( , ) ( 0) O x0 r r > 是开集． 证明 对于任意的 ( , ) 0 y∈O x r ，取 ( , )0 r′ = r − d y x ， 则 r′ > 0 ，此时∀z ∈O( y,r′) ， d(z, x ) ≤ d(z, y) + d( y, x ) < r′ + d( y, x ) = r 0 0 0 ， 故 ( , ) 0 z ∈O x r ． z 是任意的，所以 ( , ) ( , ) 0 O y r′ ⊂ O x r ． 由定义知道 ( , ) 0 O x r 是开集．

下面定理可以仿照实数轴上的情况证明之,这里将具体的证明略去 定理3设X是度量空间,则 (1)空集②与X是开集, (2)任意多个开集之并是开集, (3)有限个开集之交是开集 设有集合X的子集族{B,∈A},若空集⑧与X都属于该集族,并且该集族中的集合 对于任意并和有限交封闭,则称{B2∈A是X上的拓扑,称X是拓扑空间.每个B2都称 为是该空间中的一个开集 定理3表明度量空间中由全体开集构成的集族是它的拓扑,从而每个度量空间是一个拓 扑空间 定义4设X是度量空间,EcX,x∈X (1)若存在r>0使得O(x,r)cE,称x是E的内点.E的内点全体称为E的内部, 记为E°. (2)若存在r>0使得O(x,r)∩E=②,称x0是E的外点,E的外点全体记为E (3)若vE>0,O(x,E)∩E≠⑧,称是E的接触点.E的接触点全体称为E的闭包, 记为E. (4)若vE>0,O(x,E)n(E\{x})≠②,称x是E的聚点.E的聚点全体记为E 下面命题容易由定义直接验证,这里将具体的验证留给读者 命题4 (1)EUE=X,E∩E=②,E=EUE (2)x∈E当且仅当存在xn∈E,xn→x (3)x∈E'当且仅当存在xn∈E,x≠x使得xn→x, 定理4设X是度量空间,EcX (1)E为开集当且仅当E=E°,E°是包含在E中的最大开集 (2)E为闭集当且仅当E=E,E是包含E的最小闭集 (3)E为闭集当且仅当任何xn∈E,x→x,则x∈E 证明1°若E是开集,Vx0∈E,存在r>0,使得O(x,r)cE.从而 x∈E, 故 EcE°.显然E°cE,所以E=E 反之若E=E°,只须证明E°为开集.x∈E°,x为E的内点,故存在r>0

下面定理可以仿照实数轴上的情况证明之，这里将具体的证明略去． 定理 3 设 X 是度量空间，则 （1）空集∅ 与 X 是开集， （2）任意多个开集之并是开集， （3）有限个开集之交是开集． 设有集合 X 的子集族{ } Bλ,λ ∈ Λ ，若空集∅ 与 X 都属于该集族，并且该集族中的集合 对于任意并和有限交封闭，则称{ } Bλ,λ ∈ Λ 是 X 上的拓扑，称 X 是拓扑空间．每个 Bλ都称 为是该空间中的一个开集． 定理 3 表明度量空间中由全体开集构成的集族是它的拓扑，从而每个度量空间是一个拓 扑空间． 定义 4 设 X 是度量空间， E ⊂ X ， x0 ∈ X ． （1）若存在 r > 0 使得O(x0 ,r) ⊂ E ，称 0 x 是 E 的内点． E 的内点全体称为 E 的内部， 记为 E°． （2）若存在 r > 0 使得O(x0 ,r) ∩ E = ∅ ，称 0 x 是 E 的外点， E 的外点全体记为 e E ． （3）若∀ε > 0 ，O(x0 ,ε )∩ E ≠ ∅ ，称是 E 的接触点． E 的接触点全体称为 E 的闭包， 记为 E ． （4）若∀ε > 0 ，O(x0 ,ε ) ∩ (E \ {x0}) ≠ ∅ ，称 0 x 是 E 的聚点． E 的聚点全体记为 E′． 下面命题容易由定义直接验证，这里将具体的验证留给读者． 命题 4 （1） E E X e ∪ = ， = ∅ e E ∩ E ， E = E ∪ E′． （2） x0 ∈ E 当且仅当存在 xn ∈ E ， 0 x x n → ． （3） x ∈ E′ 0 当且仅当存在 xn ∈ E ， 0 x x n ≠ 使得 0 x x n → ． 定理 4 设 X 是度量空间， E ⊂ X ． （1） E 为开集当且仅当 E = E° ， E°是包含在 E 中的最大开集． （2） E 为闭集当且仅当 E = E ， E 是包含 E 的最小闭集． （3） E 为闭集当且仅当任何 xn ∈ E ， 0 x x n → ，则 x0 ∈ E ． 证明 1°若 E 是开集， ∀x0 ∈ E ，存在 r > 0 ，使得 O(x0 ,r) ⊂ E ．从而 x ∈ E° 0 ，故 E ⊂ E°．显然 E° ⊂ E ，所以 E = E° ． 反之若 E = E° ，只须证明 E° 为开集． x ∈ E° 0 ， 0 x 为 E 的内点，故存在 r > 0

O(x,r)cE.由引理,O(x,n)为开集,故其中每一点z∈O(x0,r)是O(x,r)的内点,从而为 E的内点,即O(x)cE°,E为开集 若G为开集,GcE,显然G°cE°,由以上所证G=G°cE°. 2°对于任一集合EcX,由定义可以得出,E的外点等于E的余集的内点,即 (X\EP=X\E.若E闭,则X\E开,由1°知道X\E=(X\E)=X\E,从而E=E 反之若E=E,则X\E=X\E=(X\E)是开集,从而E是闭集 3°定理中的(3)由(2)和命题4(3)得出 可以直接验证,闭球S(x,r)是闭集 定义5设X为线性空间,若p:X→R是一个映射,使得x,y∈X,a∈φ (1)p(x)≥0 (2)p(ax)=a|p(x) (3)p(x+y)≤p(x)+p(y) 则称p是X上的半范数.若还有 (4)p(x)=0,则x=0 称P是X上的范数.此时记p(x)=|,称(XD是线性赋范空间.在不至于混淆时记 (X,·为X 定理5(1)线性赋范空间是度量空间,并且 d(x,y)引x-y‖l 是此空间上的度量函数 (2)范数关于变元x是连续函数,即若x→x,则 ‖xn‖xl‖ (3)若xn,y,xy∈X,,∈Φ,并且x→x,yn→y,λn→,则 证明1°(1)由直接验证得出 2°在定义(2)中令a=-1得出‖-x|=x‖.再由定义中(3)的不等式得出 lxn‖≤‖x‖‖x-x‖l 或者 xn‖-‖x‖≤‖xn-xl, 同样地

O(x0 ,r) ⊂ E ．由引理， ( , ) 0 O x r 为开集，故其中每一点 ( , ) 0 z ∈O x r 是 ( , ) 0 O x r 的内点，从而为 E 的内点，即O(x ,r) ⊂ E° 0 ， E°为开集． 若G 为开集，G ⊂ E ，显然G° ⊂ E° ，由以上所证G = G° ⊂ E° ． 2°对于任一集合 E ⊂ X ，由定义可以得出， E 的外点等于 E 的余集的内点，即 (X \ E)° = X \ E ．若 E 闭，则 X \ E 开，由 1°知道 X \ E = (X \ E)° = X \ E ，从而 E = E ． 反之若 E = E ，则 X \ E = X \ E = (X \ E)°是开集，从而 E 是闭集． 3°定理中的（3）由（2）和命题 4（3）得出． 可以直接验证，闭球 ( , ) 0 S x r 是闭集． 定义 5 设 X 为线性空间，若 p : X → R 是一个映射，使得∀x, y∈ X ，α ∈Φ ． （1） p(x) ≥ 0 ， （2） p(αx) =|α | p(x) ， （3） p(x + y) ≤ p(x) + p( y) ． 则称 p 是 X 上的半范数．若还有 （4） p(x) = 0 ，则 x = 0 ． 称 p 是 X 上的范数．此时记 p(x) = x ，称 (X ,|| ⋅||) 是线性赋范空间．在不至于混淆时记 (X ,|| ⋅||) 为 X ． 定理 5 （1）线性赋范空间是度量空间，并且 d(x, y) =|| x − y || 是此空间上的度量函数． （2）范数关于变元 x 是连续函数，即若 x x n → ，则 || x || || x || n → ． （3）若 xn , yn , x, y ∈ X ，λn ,λ ∈Φ ，并且 x x n → ， y y n → ，λn → λ ，则 x y x y n + n → + ， x x λn n → λ ． 证 明 1°（1）由直接验证得出． 2°在定义（2）中令α = −1得出|| −x ||=|| x || ．再由定义中（3）的不等式得出 || || || || || || n n x ≤ +− x xx ， 或者 || || || || || || n n x − ≤− x xx ， 同样地

x||-lxn‖s‖x-xn|‖xn-xl‖l 从而 ‖xn|-|xsxn-xl (7) 若xn→x即‖xn-x|}→0,故有‖xn‖x‖ X→x 则 l(xn+yn)-(x+y)‖≤|xn-xl|+‖yn-y|→>0 即xn+yn→x+y 为证后面的式子成立,注意到收敛数列n是有界的,不妨设|λnM,则 nxn-Axl≤‖元nxn-xnxl+xnx-x 121x-x+12一x lx, -xll+am 当n→∞时后面两项都趋于0,故知结论成立 设(X,|D是线性赋范空间,以 (x,y)=x-y‖ 定义的X上的度量称为是由范数‖‖诱导的度量.今后当说到一个赋范空间的度量时,总是 指由它的范数诱导的度量.容易知道,线性赋范空间是线性度量空间.此时x→x当且仅 当 称这种收敛是依范数收敛.此外,集合EcX有界,当且仅当 p{‖xlx∈E}< 定理6线性空间X上的度量d使得X成为线性赋范空间,当且仅当d满足 (1)d(ax10)=l(x0),wx∈x,a∈ (2)d(x+=,y+s=d(x, y),x,y,EX 证明若X是线性赋范空间,‖‖为其范数,d(x,y)=x-y‖,由范数的性质可知 d(ar,0)=l a=a l x ad(x,O) d(x+,y+2)叫(x+2)-(y+2)|=x-y|=d(x,y) 反之,若d满足条件(1),(2),定义‖x|=d(x,0),则 1°显然‖x|0.若‖x|=0,即d(x、0)=0,由度量函数的性质,x=0 2 l rlp(aar,0)=ad(x,0)=a/llll

|| || || || || || || || n nn x − x xx x x ≤− = − ， 从而 || || || || || || n n x − ≤− x xx ， （7） 若 x x n → 即|| x − x ||→ 0 n ，故有|| x || || x || n → ． 3°若 x x n → ， y y n → ，则 || ( ) ( ) || | || || || 0 nn n n x y xy x x y y + −+ ≤ − + −→ ， 即 x y x y n + n → + ． 为证后面的式子成立，注意到收敛数列λn 是有界的，不妨设| λn |≤ M ，则 || || || || || || nn nn n n λ x −≤ − + − λ λ λ λλ x x x xx || x x || || x || ≤ λn n − + λn − λ M || x x || || x || ≤ n − + λn − λ ， 当 n → ∞ 时后面两项都趋于 0，故知结论成立． 设(X ,|| ⋅||) 是线性赋范空间，以 d(x, y) =|| x − y || 定义的 X 上的度量称为是由范数|| ⋅|| 诱导的度量．今后当说到一个赋范空间的度量时，总是 指由它的范数诱导的度量．容易知道，线性赋范空间是线性度量空间．此时 x x n → 当且仅 当 || x − x ||→ 0 n ． 称这种收敛是依范数收敛．此外，集合 E ⊂ X 有界，当且仅当 sup{|| x ||; x∈ E}< ∞ ． 定理 6 线性空间 X 上的度量 d 使得 X 成为线性赋范空间，当且仅当 d 满足 （1） d(αx,0) = α d(x,0) ，∀x∈ X ，α ∈Φ ． （2） d(x + z, y + z) = d(x, y) ，∀x, y,z ∈ X ． 证 明 若 X 是线性赋范空间，|| ⋅|| 为其范数， d(x, y) =|| x − y ||，由范数的性质可知 d(αx,0) =||αx ||= α || x ||= α d(x,0) ， d(x + z, y + z) =|| (x + z) − ( y + z) ||=|| x − y ||= d(x, y)． 反之，若 d 满足条件（1），（2），定义|| x ||= d(x,0) ，则 1° 显然|| x ||≥ 0 ．若|| x ||= 0 ，即 d(x,0) = 0，由度量函数的性质， x = 0 ． 2° ||αx ||= ρ(αx,0) = α d(x,0) = α || x || ．

0)=d(x,-y) ≤d(x,0)+d(0,-y) =d(x,0)+d(y,0)=x‖+‖yl 故‖‖为X上的范数,X为线性赋范空间 例3′考虑例3中的度量空间C[a,b.对于每个x=x()∈CIa,b],现在定义 按照函数空间的加法与数乘,C[a,b是线性空间.直接验证表明C[a,b]是赋范空间 此例也可用定理6的判定条件验证.同样地,例4的欧氏空间是赋范空间.注意例 中的s和例8中的S不是线性赋范空间.例如对于s,取x=(1,0,…),若a≠0,±1,则 d(a:0)=2+)4=adcx0) 由定理6,s不是线性赋范空间. 现在让我们转到比线性赋范空间更为特殊的一类空间 定义7设X为线性空间,若vx,y∈X,对应有标量,记为(x,y),满足 (1)(, x)=(x,y),Vx,yex (2)(ax,y)=a(x,y),vx,y∈X,a∈ (3)(x+y,-)=(x,2)+(y,2),Vx,y,∈X. (4)lx∈Y,(x,x)≥0.(x,x)=0时x=0 则称(x,y)是x,y的内积,称X为内积空间. 注意x,y∈X,a,B∈,容易得到 1°(0,y)=(x,0)=0 )=a(x,y) 3°(ax+By,-)=a(x,)+B(y,=) av+ 若标量域是R,则2°,3°,4°中的共轭均可以不出现 定理7在内积空间X中,若规定‖x=√(x,x),则 (1)(xys‖xⅢyl,wx,y∈x (2)‖是X上的范数,(X,‖·‖为线性赋范空间

3° ) || x + y ||= d(x + y,0) = d(x,−y ≤ d(x,0) + d(0,−y) = d(x,0) + d( y,0) =|| x || + || y ||． 故|| ⋅|| 为 X 上的范数， X 为线性赋范空间． 例 3′ 考虑例 3 中的度量空间C[a,b]．对于每个 x = x(t)∈C[a,b]，现在定义 || x || max | x(t) | a≤t≤b = ． （8） 按照函数空间的加法与数乘，C[a,b]是线性空间．直接验证表明C[a,b]是赋范空间． 此例也可用定理 6 的判定条件验证．同样地，例 4 的欧氏空间是赋范空间．注意例 5 中的 s 和例 8 中的 S 不是线性赋范空间．例如对于 s ，取 x = (1,0,") ，若α ≠ 0,±1，则 ( ,0) 4 1 2(1 ) d( x,0) α α d x α α α ≠ = + = ． 由定理 6， s 不是线性赋范空间． 现在让我们转到比线性赋范空间更为特殊的一类空间． 定义 7 设 X 为线性空间，若∀x, y∈ X ，对应有标量，记为(x, y) ，满足 （1）( y, x) = (x, y) ，∀x, y∈ X ． （2）(αx, y) = α(x, y) ，∀x, y∈ X ，α ∈Φ ． （3）(x + y,z) = (x,z) + ( y,z) ，∀x, y,z ∈ X ． （4）∀x∈ X ，(x, x) ≥ 0 ．(x, x) = 0 时 x = 0 ． 则称(x, y) 是 x ， y 的内积，称 X 为内积空间． 注意∀x, y,z ∈ X ，α,β ∈Φ ，容易得到 1°(0, y) = (x,0) = 0 ． 2°(x,αy) = (αy, x) =α( y, x) =α (x, y) ． 3°(αx + βy,z) = α(x,z) + β( y,z) ． 4°(x,αy + βz) = α (x, y) + β (x,z)． 若标量域是 R ，则 2°，3°，4°中的共轭均可以不出现． 定理 7 在内积空间 X 中，若规定|| || ( , ) x = x x ，则 （1） ( , ) || |||| || x y xy ≤ ，∀x, y∈ X ． （2）|| ⋅|| 是 X 上的范数，(X ,|| ⋅||) 为线性赋范空间．

证明1°容易知道当x=0或y=0时,(x,y)=0,此时(1)中等式成立.现在设y≠0 对于任意的A∈④, 0s(x+Ay, x+Ay)=(r,x)+2Re i(x,y)+a(,y) 取x=-(xx),代入得 0≤(x (y,y)(y,y)(y,y) ((x,x)(v,y)-(x,y) 从而 (x,y)≤√x)√y,y)=xⅢy 2°由定义7(4)知‖x|≥0.若‖xl=0,即(x,x)=0,从而x=0.又由定义7(2) ax|=√ax,ax)=√aP(x,x)=alx 由上面1°的证明知道 Ix+yl=(x+y,x+y =(x,x)+2Re(x,y)+(y,y) ≤(x,x)+2(x,y)+(y,y) ≤‖x+2|x‖ly+yl =(xl+y|)2. 所以‖x+ys‖x‖+‖y‖,‖是X上的范数 定理7说明任一内积空间是线性赋范空间.以 lx|√(x,x) 定义的X上的范数称为由内积诱导的范数.不难验证内积(x,y)关于两变元是连续的.即若 xn→x,y→y,则 (xn,y)→(x,y) 定理8赋范空间(X,‖·是内积空间当且仅当平行四边形公式成立 x+y+‖x-y|=2(x‖+‖yl),vx,y∈x 证明先证必要性.若X是内积空间,x,y∈X,则 ‖x+y‖=(x+y,x+y)=(x,x)+(x,y)+(y,x)+(y,y) x-y|=(x-y,x-y)=(x,x)-(x,y)-(y,x)+(y,y) 相加即得

证明 1°容易知道当 x = 0 或 y = 0 时，(x, y) = 0 ，此时（1）中等式成立．现在设 y ≠ 0 ， 对于任意的λ ∈Φ ， 0 ( , ) ( , ) 2Re ( , ) ( , ) 2 ≤ x + λy x + λy = x x + λ x y + λ y y ． 取 ( , ) ( , ) y y x x λ = − ，代入得 ( , ) ( , ) ( , ) ( , ) 0 ( , ) 2 2 2 y y x y y y x y ≤ x x − + (( , )( , ) ( , ) ) ( , ) 1 2 x x y y x y y y = − ． 从而 (x, y) ≤ (x, x) ( y, y) =|| x || || y || ． 2°由定义 7（4）知|| x ||≥ 0 ．若|| x ||= 0 ，即(x, x) = 0 ，从而 x = 0 ．又由定义 7（2）， || || ( , ) | | ( , ) | | || || 2 αx = αx αx = α x x = α x ． 由上面 1°的证明知道 || || ( , ) 2 x + y = x + y x + y = (x, x) + 2Re(x, y) + ( y, y) ≤ (x, x) + 2 (x, y) + ( y, y) 2 2 ≤+ + || || 2 || || || || || || x xy y 2 = (|| x || + || y ||) ． 所以|| || || || || || x +≤ + yxy ，|| ⋅|| 是 X 上的范数． 定理 7 说明任一内积空间是线性赋范空间．以 || x ||= (x, x) 定义的 X 上的范数称为由内积诱导的范数．不难验证内积(x, y) 关于两变元是连续的．即若 x x n → ， y y n → ，则 (x , y ) (x, y) n n → ． 定理 8 赋范空间(X ,|| ⋅||) 是内积空间当且仅当平行四边形公式成立 || || || || 2(|| || || || ) 2 2 2 2 x + y + x − y = x + y ，∀x, y ∈ X ． （9） 证明 先证必要性．若 X 是内积空间， x, y ∈ X ，则 || || ( , ) ( , ) ( , ) ( , ) ( , ) 2 x + y = x + y x + y = x x + x y + y x + y y || || ( , ) ( , ) ( , ) ( , ) ( , ) 2 x − y = x − y x − y = x x − x y − y x + y y 相加即得