第3讲赋范空间的例 教学目的:通过实际例子认识多种形式的赋范空间,了解根据需 要定义适当范数是现代数学中常用的和基本的方法。 授课要点 1、几个常用的经典空间范数的构造方式。 2、∥与P(≤p1,p+q=1,若f∈L"(),g∈L"(),我们证明 (1) 成立。称此式为 Holder不等式,称p,q为一对共轭数. 我们从 Young不等式开始,设a,b>0,则
第 3 讲 赋范空间的例 教学目的：通过实际例子认识多种形式的赋范空间，了解根据需 要定义适当范数是现代数学中常用的和基本的方法。 授课要点： 1、 几个常用的经典空间范数的构造方式。 2、 p L 与 p l (1 ≤ p 1， 1 1 1 + = − − p q ，若 ( ) p f L ∈ µ ， ( ) q g L ∈ µ ，我们证明 ( ) ( )q q p p p f t g t f t g t 1 1 | ( ) ( ) | d | ( )| d | ( ) | d ∫ ∫ ∫ ≤ Ω Ω Ω µ µ µ （1） 成立。称此式为 Hölder 不等式，称 p ， q 为一对共轭数． 我们从 Young 不等式开始，设 a,b > 0 ，则
b≤A+B dx+lyi-dy (2)y 现在设 Il f p =volf()I du p>0 Il -l.&(r daF>0 (在‖f。与l至少一个为0的情况下, Holder不等 式的成立是显然的).作函数 (t) l g lg 利用 Young不等式得到 la(0)b(okla(P, lb(P 从而 L[OPdu+ gord Pq‖g p q 换回到函数∫,g,则知(1)成立 3°设p≥1,f,g∈DP(4),则 Minkowski不等式成立 lf+gl圳∫lb+‖g‖ (3) 实际上,当p=1时 15+8=/(+g(ldu solS(ldu+loig(ldu =ll/l,+ll ll P 现设p>1.当∫,8∈L(p)时,f+g∈L"(p),此时|f+g|"∈L"(4).由 Holder 不等式 ∫l‖f+gl
q b p a ab A B x x y y p q b q a p ≤ + = + = + ∫ ∫ − − 0 1 0 1 d d ． （2） 现在设 || || ( | ( )| d ) 0 1 = > ∫ p p p f f t Ω µ ， || || ( ) | ( )| d 0 1 = > ∫ q q q g g t Ω µ ， （在 p || f || 与 g q || || 至少一个为 0 的情况下，Hölder 不等 式的成立是显然的）．作函数 p f f t a t || || ( ) ( ) = ， q g g t b t || || ( ) ( ) = ， 利用 Young 不等式得到 q b t p a t a t b t p q | ( )| | ( )| | ( ) ( )|≤ + ． 从而 ∫ ∫ ∫ ≤ + Ω Ω Ω µ µ | ( )| dµ 1 | ( )| d 1 | ( ) ( )| d p q b t q a t p a t b t ∫ ∫ = + Ω Ω µ dµ || || 1 | ( )| d || || 1 | ( )| q q q p p p g g t f q f t p 1 1 1 = + = p q ． 换回到函数 f ， g ，则知（1）成立． 3°设 p ≥1， , () p fg L ∈ µ ，则 Minkowski 不等式成立 p p g p || f + g || ≤|| f || + || || . （3） 实际上，当 p =1时， ∫ + = + Ω || f g ||1 | f (t) g(t) | dµ ∫ ∫ ≤ + Ω Ω | f (t)| dµ | g(t) | dµ 1 1 =|| f || + || g || ． 现设 p > 1．当 , () p fg L ∈ µ 时， ( ) p f gL + ∈ µ ，此时| | () p q q fg L + ∈ µ ．由 Hölder 不等式 q q p p q p | f | | f + g | d ≤|| f || || | f + g | || ∫Ω µ ， 0 a b a′ x y −1 = p y x 图
g!+g"dsgl,Ⅲf+gl4 所以 J+gPd=』J+gl+grda sJoISIIS+ledu+loll f+gdu JoISII5+gl du+olgll/+gld s‖∫,Ⅲf+gl4+lg‖Ⅲf+g| =ll Sp +Il (1f+gI duF 由此式得出 1/+g (ol+gI du)i$ l /,+ll 4°当p≥1时,以‖∫为范数,L(A)成为线性赋范空间 实际上,‖f2≥0·若fl=0,则f()=0,ae,将ae,相等的函数视为同一元, 即∫=0.显然af2=a川!f成立。再由3°三角不等式成立。所以‖∫是L()上的 范数. 5°当p=2时,定义 (, g)=Lf(g(du,f,gEL 则(,)是L2(A)上的内积,此时(A)成为内积空间 值得注意的是 Minkowski不等式中等号成立的条件,不妨设f,g均不为0元,由于 Young不等式中等号成立当且仅当b=o(a),故 Holder不等式中等号成立当且仅当 g(1)=k|∫()",ae.,其中k>0为常数.在证明 Minkowski不等式时用到函数f与 ∫+g|以及lgl与|∫+g|",故等号成立当且仅当∫+g|"=k1|∫|°,|∫+g1|"=k2|g|, ae.此时必有f()=cg(1),ae.其中c为非负常数 例2空间L(p) 仍设(2,E,)为测度空间,记L()是在上与一个有界函数几乎处处相等的可测函 数全体,称此种函数为本性有界可测函数.若=[a,b],μ为上的 Lebesque测度,则记 L =Lla,b. 1°L"()是线性空间.例如,若∫在Ω\E1上有界,g在Ω\E2上有界 (E1)=以(E2)=0.则f与∫+g分别在g2\E1与\(E1UE2)上有界.以(E1UE2)=0,故
q q p p q p | g | | f + g | d ≤|| g || || | f + g | || ∫Ω µ ， 所以 ∫ ∫ − + = + + Ω Ω | | dµ | | | | dµ p p 1 f g f g f g ∫ ∫ − − ≤ + + + Ω Ω | | | | dµ | | | | dµ p 1 p 1 f f g g f g ∫ ∫ = + + + Ω Ω | | | | dµ | | | | dµ q p q p f f g g f g q q p q p q p p ≤ || f || || | f + g | || + || g || || | f + g | || ( )q p f p g p f g 1 (|| || || || ) | | d ∫ = + + Ω µ 由此式得出 ( ) p p q p || f g || p | f g | d || f || || g || 1 1 + = + ≤ + − ∫Ω µ ． 4°当 p ≥1时，以 p || f || 为范数， ( ) p L µ 成为线性赋范空间． 实际上，|| || ≥ 0 p f ．若|| || = 0 p f ，则 f (t) = 0， a.e.，将 a.e.相等的函数视为同一元， 即 f = 0 ．显然 p p ||αf || =|α | || f || 成立。再由 3°三角不等式成立。所以 p || f || 是 ( ) p L µ 上的 范数． 5°当 p = 2时，定义 ∫ = Ω ( f , g) f (t)g(t)dµ ， 2 f , g ∈ L ． 则(⋅,⋅) 是 2 L ( ) µ 上的内积，此时 2 L ( ) µ 成为内积空间． 值得注意的是 Minkowski 不等式中等号成立的条件．不妨设 f ， g 均不为 0 元，由于 Young 不等式中等号成立当且仅当 b = ϕ(a) ，故 Hölder 不等式中等号成立当且仅当 q p | g(t)|= k | f (t)| ， a.e. ，其中 k > 0 为常数．在证明 Minkowski 不等式时用到函数| f | 与 q p | f + g | 以及| g |与 q p | f + g | ，故等号成立当且仅当 q p q p | f g | k | f | + = 1 ， q p q p | f g | k | g | + = 2 ， a.e.．此时必有 f (t) = cg(t)， a.e. 其中c 为非负常数． 例 2 空间 L ( ) µ ∞ ． 仍设(Ω,Σ , µ)为测度空间，记 L ( ) µ ∞ 是在Ω 上与一个有界函数几乎处处相等的可测函 数全体，称此种函数为本性有界可测函数．若Ω = [a,b] ，µ 为Ω 上的 Lebesque 测度，则记 L L [a,b] ∞ ∞ = ． 1 ° L ( ) µ ∞ 是线性空间．例如，若 f 在 1 Ω \ E 上有界， g 在 2 Ω \ E 上有界， ( ) ( ) 0 µ E1 = µ E2 = ．则αf 与 f + g 分别在 1 Ω \ E 与 \ ( ) Ω E1 ∪ E2 上有界． ( ) 0 µ E1 ∪ E2 = ，故
af,f+g∈L(),L(4)是线性空间 2°对于任意的∫∈L°,定义 lf‖= (4) ‖∫称为∫的本性最大模或本性上确界.有时记 lf‖= ess sulf(D) 我们证明,将Ω上ae相等的函数视为同一元,则L是L()上的范数 实际上对于每个∫∈L(p),存在E0cg2,以(E0)=0使得‖f=sup|f(t)|.换句话 说,‖∫可以在某个与Ω几乎相等的集合上达到.为此,取EnCΩ使山(En)=0 sup voll/l+ 记E=UEn,则一方面以(E0)=0,故由‖∫2的定义 sup f(D)|≥‖f‖ 另一方面 upf(D)≤ sup If(l)|sfl。+ E0与n无关,故 sup If()s‖f‖.于是 ‖f‖= sup If(t) ∈E 现在验证|1是L()上的范数 (1)显然f≥0.若‖f2=0,则彐E0C,以(E0)=0使得在g\E0上,f(m)=0, 即f(1)=0,ae,将ae为0的函数视为0元,则∫=0 (2)显然‖f‖=a!f‖ (3)设f,g∈L“(),E1,E2C2,以(E1)=以(E2)=0并且f,g分别在\E1,\E2 上达到本性最大模,则 ‖f≥+‖g‖=sup|f(1)|+ sup i g()l ≥sup|f()|+ sup g(D) I∈mEUE2 E(EUE: ≥ sup f(n)+g(1)
α ff g L , () µ ∞ + ∈ ， L ( ) µ ∞ 是线性空间． 2°对于任意的 ∞ f ∈ L ，定义 || || inf sup | ( ) | \ ( ) 0 f f t t E E E Ω µ Ω ∈ = ⊂ ∞ = ． （4） ∞ || f || 称为 f 的本性最大模或本性上确界．有时记 || f || esssup | f (t) | t∈Ω ∞ = ． 我们证明，将Ω 上 a.e.相等的函数视为同一元，则 ∞ || ⋅ || 是 L ( ) µ ∞ 上的范数． 实际上对于每个 f L ( ) µ ∞ ∈ ，存在 E0 ⊂ Ω ， ( ) 0 µ E0 = 使得|| || sup | ( ) | 0 \ f f t t∈Ω E ∞ = ．换句话 说， ∞ || f || 可以在某个与Ω 几乎相等的集合上达到．为此，取 En ⊂ Ω 使 ( ) = 0 µ En ， n f t f t E 1 sup | ( )| || || 0 \ ≤ ∞ + ∈Ω ． 记 n n E E ∞ = = 1 0 ∪ ，则一方面 µ(E0 ) = 0 ，故由 ∞ || f || 的定义 ∞ ∈ sup | ( )| ≥ || || 0 \ f t f t Ω E ． 另一方面 n f t f t f En t E t 1 sup | ( )| sup | ( )| || || \ \ 0 ≤ ≤ ∞ + ∈Ω ∈Ω ． E0 与 n 无关，故 ∞ ∈ sup | ( )| ≤ || || 0 \ f t f t Ω E ．于是 || || sup | ( ) | 0 \ f f t t∈Ω E ∞ = ． 现在验证 ∞ || ⋅ || 是 L ( ) µ ∞ 上的范数． （1）显然|| || ≥ 0 ∞ f ．若|| || = 0 ∞ f ，则∃E0 ⊂ Ω ， ( ) 0 µ E0 = 使得在 0 Ω \ E 上，| f (t) |= 0 ， 即 f (t) = 0， a.e.将 a.e.为 0 的函数视为 0 元，则 f = 0 ． （2）显然 ∞ = ∞ ||αf || |α | || f || ． （3）设 fg L , () µ ∞ ∈ ，E1 ,E2 ⊂ Ω ， ( ) ( ) 0 µ E1 = µ E2 = 并且 f ，g 分别在 1 Ω \ E ， 2 Ω \ E 上达到本性最大模，则 || || || || sup | ( )| sup | ( )| 1 2 \ \ f g f t g t t∈Ω E t∈Ω E ∞ + ∞ = + sup | ( )| sup | ( ) | \( ) \( ) 1 2 1 2 f t g t t∈Ω E ∪E t∈Ω E ∪E ≥ + sup | ( ) ( ) | \( ) 1 2 f t g t t E E ≥ + ∈Ω ∪
洲∫+g‖ 3°将ae相等的函数视为同一元,L(4)依范数‖∫‖成为线性赋范空间 4°若f∈L(p),g∈L(),容易验证有 jdsf‖gl (5) 例3空间(1≤p≤∞) 考虑无穷序列空间中的元,P(1≤p<∞)是使∑|xn<∞的元素全体.是使 sup xh<∞的元素全体.定义 lx=∑|xP (1≤p<∞) (6) 则是线性赋范空间 实际上当1<p<∞时,利用 Young不等式(2)可以得出 Holder不等式 xnyn|∑x∑|y門 其中x=(x)1,y=(y,)∈P",并且1+1=1.然后可以证明当1≤p<m时, Minkowski 不等式成立 (8) 总之,对于1sp≤∞,‖2是P上的范数 特别地,当p=2时,若规定 (x,y)=∑xn 则(,)是P2上的内积,P是内积空间 空间PP可以看成LP的特殊情况.取Ω=N(全体正整数),E由N的全体子集构成 对于每个E∈∑,以(E)是E中元素的个数.此时(N,E,)是测度空间,L()=1 思考题 1、证明当A(2)<∞时,若1≤p≤q≤∞,则 L CLCLPCL
≥ + ∞ || f g || ． 3°将 a.e.相等的函数视为同一元， L ( ) µ ∞ 依范数 ∞ || f || 成为线性赋范空间． 4°若 1 f L ∈ ( ) µ ， g L ( ) µ ∞ ∈ ，容易验证有 ∫ ≤ ∞ d || || || || 1 fg f g Ω µ ． （5） 例 3 空间 p l (1≤ p ≤ ∞)． 考虑无穷序列空间中的元， p l (1≤ p < ∞) 是使 ∑ < ∞ ∞ =1 | | n p n x 的元素全体． ∞ l 是使 < ∞ ≥ sup | | 1 n n x 的元素全体．定义 < ∞ = ∑ ∞ = p n p p n x x 1 1 || || | | ，(1≤ p < ∞) || || sup | | n n x = x ∞ . （6） 则 p l 是线性赋范空间． 实际上当1< p < ∞ 时，利用 Young 不等式（2）可以得出 Hölder 不等式 q n q n p n p n n n n x y x y 1 1 1 1 1 | | | | | | ∑ ≤ ∑ ∑ ∞ = ∞ = ∞ = ， （7） 其中 p n x = (x )∈l ， q n y = ( y )∈l ，并且 1 1 1 + = p q ．然后可以证明当1≤ p < ∞ 时，Minkowski 不等式成立 p n p n p n p n p n p n n x y x y 1 1 1 1 1 1 | | | | | | + ≤ ∑ + ∑ ∑ ∞ = ∞ = ∞ = ， （8） 总之，对于1≤ p ≤ ∞ ， p || ⋅ || 是 p l 上的范数． 特别地，当 p = 2时，若规定 ∑ ∞ = = 1 ( , ) n n n x y x y ， 2 ∀x, y ∈l ， 则(⋅,⋅) 是 2 l 上的内积， 2 l 是内积空间． 空间 p l 可以看成 p L 的特殊情况．取 Ω = N （全体正整数）， Σ 由 N 的全体子集构成， 对于每个 E ∈Σ ， µ(E) 是 E 中元素的个数．此时(N,Σ ,µ) 是测度空间， ( ) p p L l µ = ． 思考题 1、证明当 µ(Ω) < ∞ 时，若1≤ p ≤ q ≤ ∞ ，则 1 L L L L q p ⊂ ⊂ ⊂ ∞ ．
但当(92)=∞时,LP与L互不包含 2、对于1≤p≤q≤∞,证明c/cPc1° 3、证明‖fl.=infC>0,{f>C}=0}=sup{C>0,;{f>C}>0 例4空间c与co 用c表示收敛的标量序列的全体,即 c={x=(x)x∈,imx,存 定义 ‖x|= sup x I,vx=(xn)∈c, 则c是线性赋范空间 co是收敛于0的标量序列全体,即 co={x=(xn),xn∈①, lim x=0} co上的范数与c中的范数相同,co也是线性赋范空间.从而co是c的线性子空间.另外c又 可以看成的线性子空间 例5空间Va,b]与Va,b] {ab]是[ab]上的有界变差函数全体,对于每个∫∈[a,b,定义 f|f(a)|+V() (9) 其中V()为∫在ab]上的全变差 O=sup∑(b)-f(a), r=1 这里丌代表[a,b的任一分划a=a1<b1≤…≤an<b=b Jab]按函数空间的运算是线性空间,我们验证它是赋范空间.实际上, 1°显然‖∫爬0.若Ⅲf=0,则f(a)=0,V(O=0.此时sup∑|f(b)-f(a)|=0, 其中上确界是对任一组分划而取的.故vt∈[a,b,f(t)=f(a)=0,即∫=0 2°显然‖f旧al!∫ 3°对于任一组分点, ∑|(+gyb)-(+g)a,)s∑|(b)-f(a)|+∑|g(b)-8(a, ≤()+(g) 关于所有分划取上确界得到
但当 µ(Ω) = ∞ 时， p L 与 q L 互不包含． 2、 对于1≤ p ≤ q ≤ ∞ ，证明 ∞ l ⊂ l ⊂ l ⊂ l 1 q p ． 3、 证明 || || = inf{ > 0; { > } = 0} = sup{ > 0; { > } > 0} f ∞ C µ f C C µ f C 例 4 空间c 与 0 c ． 用c 表示收敛的标量序列的全体，即 { ( ); , lim 存在} n n n n c x x x x →∞ = = ∈Φ ． 定义 || || sup | | 1 n n x x ≥ = ， x x c ∀ = ( n )∈ ， 则c 是线性赋范空间． 0 c 是收敛于 0 的标量序列全体，即 { ( ); , lim 0} 0 = = ∈ = →∞ n n n n c x x x Φ x ， 0 c 上的范数与c 中的范数相同， 0 c 也是线性赋范空间．从而 0 c 是c 的线性子空间．另外c 又 可以看成 ∞ l 的线性子空间． 例 5 空间V[a,b]与 [ , ] V0 a b ． V[a,b]是[a,b]上的有界变差函数全体，对于每个 f ∈V[a,b] ，定义 || f || | f (a)| V( f ) b a = + ． （9） 其中V( f ) b a 为 f 在[a,b]上的全变差 ∑= = − n i i i b a V f f b f a 1 ( ) sup | ( ) ( )| π ， 这里π 代表[a,b]的任一分划 a = a1 < b1 ≤"≤ an < bn = b ． V[a,b]按函数空间的运算是线性空间，我们验证它是赋范空间．实际上， 1°显然|| f ||≥ 0 ．若|| f ||= 0 ，则 f (a) = 0 ，V( f ) = 0 b a ．此时sup | ( ) ( ) | 0 1 ∑ − = = n i i i f b f a ， 其中上确界是对任一组分划而取的．故∀t ∈[a,b]， f (t) = f (a) = 0 ，即 f = 0 ． 2°显然||αf ||=|α | || f ||． 3°对于任一组分点， ∑ ∑ ∑ = = = + − + ≤ − + − n i i i n i i i n i i i f g b f g a f b f a g b g a 1 1 1 | ( )( ) ( )( ) | | ( ) ( ) | | ( ) ( )| V ( f ) V (g) b a b a ≤ + ． 关于所有分划取上确界得到
∫+g)≤V()+V(g) 又 (f+g)(a)|≤|f(a)|+|g(a) 所以 ∫+g‖s‖f‖+‖!‖ 特别地,记Va,b]=f∈a,bf(a)=0,在(a,b)中右连续,则Va,b是Va,b的线性 子空间,V[a,b上的范数是 例6设(2,∑)是可测空间,其中Ω是某个集合,∑是由的子集构成的a代数设M 是定义在∑上的实值(不必非负)或复值有界变差测度的全体.当,v∈M,a∈Φ时,定 义 (a+v)(A)=l(A)+v(A),(aa)(A)=a(A),VA∈∑, 则M是线性空间.若以全变差 ll=sup∑l(4) vu∈M 作为M上的范数,这里x={A12…An}是Ω到∑的一个分划,其中每个A∈∑,上确界是 关于所有如此的π而取的.则M是赋范空间 例7设2是R”中的一个区域,0<a≤1,称函数∫:2→R满足 Lipschitz条件,若存 I f(x)-foksLlx-yl, Vx,yE2 记此种函数的全体为C“(2).容易验证C(2)是线性空间.若以‖∫‖记满足上述不等式 的L的下确界,则 lf旧=f(a)|+‖f‖l 是C(g2)上的范数 现在,让我们再举出一些在某些学科中用到的例子. 例8在 Fourier分析中常遇到绝对收敛 Fourier级数的问题.考虑满足下述条件的 Fourier级数全体 A={∫=
V( f g) V ( f ) V (g) b a b a b a + ≤ + ． 又 | ( )( ) | | ( ) | | ( ) | f +≤ + g a f a ga ， 所以 || || || || || || f +≤ + gfg ． 特别地，记 [ , ] { [ , ]; ( ) 0, ( , ) } V0 a b = f ∈V a b f a = f在 a b 中右连续 ，则 [ , ] 0 V a b 是V[a,b]的线性 子空间， [ , ] 0 V a b 上的范数是 || f || V ( f ) b a = ． 例 6 设(Ω,Σ ) 是可测空间，其中Ω 是某个集合，Σ 是由Ω 的子集构成的σ 代数．设 Μ 是定义在Σ 上的实值（不必非负）或复值有界变差测度的全体．当u,v ∈Μ ，α ∈Φ 时，定 义 (u + v)(A) = u(A) + v(A) ，(αu)(A) =αu(A)，∀A∈Σ ， 则 Μ 是线性空间．若以全变差 ∑= = n i u Ai 1 || || sup | µ( )| π ， ∀u ∈Μ 作为 Μ 上的范数，这里 { , , } π = A1 " An 是Ω 到Σ 的一个分划，其中每个 Ai ∈Σ ，上确界是 关于所有如此的π 而取的．则 Μ 是赋范空间． 例 7 设Ω 是 n R 中的一个区域，0 0 使得 α | f (x) − f ( y) |≤ L | x − y | ， ∀x, y ∈Ω ． 记此种函数的全体为 (Ω) α C ．容易验证 (Ω) α C 是线性空间．若以 Lipa || f || 记满足上述不等式 的 L 的下确界，则 Lipa || f ||=| f (a) | + || f || 是 (Ω) α C 上的范数． 现在，让我们再举出一些在某些学科中用到的例子． 例 8 在 Fourier 分析中常遇到绝对收敛 Fourier 级数的问题．考虑满足下述条件的 Fourier 级数全体 A { ; | | } int = = ∑ ∑ < ∞ ∞ =−∞ ∞ =−∞ n n n f ane a
对于每个∫∈A,定义|∑|an|,则(A,‖是线性赋范空间 例9在调和分析中,Hady空间具有重要地位.设D是复平面上的单位圆盘,对于每 ∈D,z=",0≤r<1,0≤6<2z.考虑在D中解析的函数f()=f(re). Hardy 间HP是由这样的解析函数构成的, H=; sup I f(re)I de oo; H={J; sup lf(=)k∞}, flu.=sup If(e) 可以证明,当1≤p≤∞时,HP是线性赋范空间 例10空间C(92).设Ω2是n维空间R"中的有界闭集,具有连通的内部,k是非负 整数.C()是在上具有直到k阶连续偏导数的n元函数集合.以a=(ax1…,an)表示n 重指标,其中的每个a,是非负整数.记 a“a"a 对于函数u(x)=u(x12…,x)∈C((),令 Oul(au I lI=maxmax (10) 此时,‖是C“(2)上的范数 C(()是在微分方程理论中常常用到的空间.在一维的情况,记为Ca,b],在变分 方法中也经常遇到 例11空间H().这里k是非负整数,1≤p<∞,对于上例中的C(),不用式 (10)作范数,而令
对于每个 f ∈A，定义 ∑ ∞ =−∞ = n an || f || | | ，则( A ,|| ⋅ ||) 是线性赋范空间． 例 9 在调和分析中，Hardy 空间具有重要地位．设 D 是复平面上的单位圆盘，对于每 个 z ∈ D ， iθ z = re ， 0 ≤ r <1 ， 0 ≤θ < 2π ．考虑在 D 中解析的函数 ( ) ( ) iθ f z = f re ．Hardy 空间 p H 是由这样的解析函数构成的， { ; sup | ( ) | d } 2 0 0 1 = ∫ < ∞ ≤ < π θ θ i p r p H f f re ， p i p r H f p f re 1 2 0 0 1 | ( ) | d 2 1 || || sup = ∫ ≤ < π θ θ π ． { ; sup | ( ) | } z D H f fz ∞ ∈ = < ∞ ， || f || sup | f (z)| z D H ∈ ∞ = ． 可以证明，当1≤ p ≤ ∞ 时， p H 是线性赋范空间． 例 10 空间 ( ) ( ) Ω k C ．设 Ω 是 n 维空间 n R 中的有界闭集，具有连通的内部， k 是非负 整数． ( ) ( ) Ω k C 是在Ω 上具有直到 k 阶连续偏导数的 n 元函数集合．以 ( , , ) α = α1 " α n 表示 n 重指标，其中的每个α i 是非负整数．记 n n n x x xα α α α α α ∂ ∂ ∂ ∂ = ∂ ∂ 1 " 1 1 ， α =α1 +"+α n | | ． 对于函数 ( ) ( , , ) ( ) ( ) 1 Ω k u x = u x " xn ∈C ，令 α α α Ω x u u k x ∂ ∂ = ≤ ∈ || || maxmax | | ． = ∂ ∂ u x u 0 0 （10） 此时，|| ⋅ || 是 ( ) ( ) Ω k C 上的范数． ( ) ( ) Ω k C 是在微分方程理论中常常用到的空间．在一维的情况，记为 [ , ] ( ) C a b k ，在变分 方法中也经常遇到． 例 11 空间 ( ) ~ , Ω k p H ．这里 k 是非负整数，1≤ p < ∞ ．对于上例中的 ( ) ( ) Ω k C ，不用式 （10）作范数，而令
则l,也是C“()上的范数.若p=2,定义 (x)=∑o°(x)"vxdx,wreC(a 则H*(2)成为内积空间.这一空间将直接导致 Sobolev空间,后者是微分方程理论中用到 的重要空间 很多空间都可以纳入赋范空间的框架,这说明研究一般赋范空间的性质是十分重要 的.另一方面针对不同对象定义不同的范数(在可能的条件下),既是研究目的所需要的 也是应该加以培养的技巧 思考题 验证例6—例11所述的空间是赋范空间
p k p k p x x x u u 1 | | || || , ( ) d ∂ ∂ = ∑∫ α ≤ Ω α α , （11） 则 k , p || ⋅ || 也是 ( ) ( ) Ω k C 上的范数．若 p = 2，定义 ∑∫ ≤ = ∂ ∂ k u v u x v x x | | ( , ) ( ) ( )d α Ω α α ， , ( ) ( ) Ω k ∀u v∈C 则 ( ) ~ , Ω k p H 成为内积空间．这一空间将直接导致 Sobolev 空间，后者是微分方程理论中用到 的重要空间． 很多空间都可以纳入赋范空间的框架，这说明研究一般赋范空间的性质是十分重要 的．另一方面针对不同对象定义不同的范数（在可能的条件下），既是研究目的所需要的， 也是应该加以培养的技巧． 思考题 验证例 6－例 11 所述的空间是赋范空间
