完备化
管理制度的制定与修订的完备性分析与流程规范化的改进措施方案
管理制度的制定与修订的完备性分析与流程规范化的改进措施方案一、管理制度的重要性管理制度是组织内部为了规范行为、统一决策,并保障组织运转顺利而制定的一系列规则和程序。
一个完备的管理制度能够提高组织的效率、减少风险,调动员工的积极性和创造力。
二、现有管理制度的分析目前,我们组织的管理制度在制定和修订上存在一些问题,需要进行全面分析。
1.制度制定的问题当前管理制度的制定缺乏全面性和顶层设计,往往是针对具体问题而零散地制定,缺乏对整体组织运转的规划和把控。
2.制度修订的问题现有制度的修订方式缺乏科学性和透明度,往往是依靠个别领导或相关人员做出决策,缺少广泛的参与和民主的讨论。
3.流程规范化的问题在制度执行的过程中,员工对于流程的规范和具体操作步骤的理解存在差异,导致执行结果不稳定,使得效率无法得到最大化的提升。
三、制度制定与修订的完备性分析为了解决上述问题,我们需要从制度制定与修订的完备性角度进行分析。
1.明确目标和需求制定和修订管理制度时,首先需要明确目标和需求。
要考虑到组织的整体发展战略和目标,同时也要充分听取员工和相关利益方的意见和建议。
2.顶层设计和系统性制度的制定和修订需要具备顶层设计和系统性,以确保不同制度之间的协调和一致性。
要避免局部性的变动,而要注重整体的合理性和科学性。
3.透明公正的程序制度的修订需要建立透明公正的程序。
可以设立专门的制度委员会或小组,由多部门和相关人员组成,对修订进行全面的讨论与评估,并征求员工的意见和建议。
4.科学决策和民主参与在制度的修订过程中,要注重科学决策和民主参与。
重要的决策应由决策者进行权衡和决定,但也要给员工提供表达意见的机会,使其参与决策过程,提高决策的科学性和可持续性。
5.持续改进和反馈机制管理制度的制定和修订是一个持续改进的过程。
组织应建立反馈机制,定期评估和监控制度的实施效果,并根据实际情况不断进行修订和优化。
四、流程规范化的改进措施方案为了提高流程的规范化和执行效率,我们可以采取以下改进措施:1.制定明确的流程规范针对重要流程和关键环节,制定明确的流程规范,包括具体操作步骤、责任人和时间节点等,以确保执行的一致性和稳定性。
度量空间的完备化
度量空间的完备化度量空间是数学中的一个重要概念,它是指一个集合,其中定义了一个度量函数,用来衡量集合中元素之间的距离。
在度量空间中,我们可以讨论收敛性、连续性等概念。
然而,并不是所有的度量空间都是完备的,即存在一些序列在该空间中无法收敛。
为了解决这个问题,数学家们引入了完备化的概念,通过在原度量空间中添加一些额外的元素,使得原空间变得完备。
本文将介绍度量空间的完备化的概念、性质以及一些例子。
一、度量空间的完备化的定义在介绍度量空间的完备化之前,我们先来回顾一下度量空间的定义。
设X是一个非空集合,d是X上的一个度量函数,即对于任意的x, y, z∈X,满足以下条件:1. 非负性:d(x, y) ≥ 0,且当且仅当x = y时,d(x, y) = 0;2. 对称性:d(x, y) = d(y, x);3. 三角不等式:d(x, z) ≤ d(x, y) + d(y, z)。
那么,我们可以定义度量空间(X, d)为一个有序对,其中X是一个非空集合,d是X上的一个度量函数。
接下来,我们来定义度量空间的完备化。
设(X, d)是一个度量空间,我们称(X, d)的完备化为一个度量空间(Y, ρ),满足以下条件:1. Y是一个集合,且包含X;2. ρ是Y上的一个度量函数,且对于任意的x, y∈X,有ρ(x, y) = d(x, y);3. 对于任意的序列{x_n}⊆X,在度量空间(Y, ρ)中,如果序列{x_n}收敛,则它的极限也在Y中。
简单来说,度量空间的完备化就是在原度量空间中添加一些额外的元素,使得原空间中的所有收敛序列在完备化空间中也能收敛。
二、度量空间的完备化的性质度量空间的完备化具有一些重要的性质,下面我们来逐一介绍。
1. 完备性:度量空间的完备化是一个完备的度量空间。
也就是说,在完备化空间中,任意的Cauchy序列都是收敛的。
2. 唯一性:度量空间的完备化是唯一的,即对于给定的度量空间,它的完备化是唯一的。
泛函分析习题解答
第一章 练习题1. 记([,])C a b 是闭区间[,]a b 上连续函数全体构成的集合, 在([,])C a b 上定义距离如下:(,)|()()|,,([,])baf g f x g x dx f g C a b ρ=-∀∈⎰,(1)([,])C a b 按ρ是否完备?(2)(([,]),)C a b ρ的完备化空间是什么?答:(1) 不完备, 例如对于[,][0,2]a b =以及1,2,n =L ,定义,01,():1,1 2.n n x x f x x ⎧≤<=⎨≤≤⎩ 则{()}([0,2])n f x C ⊂在本题所定义的距离的意义下是Cauchy 列, 因为111(,)|()()|110,(,).11n m n m n m f f f x f x dxx dx x dxm n n m ρ=-≤+=+→→∞++⎰⎰⎰另一方面, 点列{()}n f x 并不能在本题所定义的距离的意义下收敛到([0,2])C 中的某个元. 事实上, 在几乎处处收敛的意义下, 我们有0,[0,1)()()1,[1,2].n x f x g x x ∈⎧→=⎨∈⎩因此, 根据Lebesgue 有界收敛定理, 可以得到11100(,)|()()|1|0|0.1n n nnf g f x g x dxx dx x dx n ρ=-=-==→+⎰⎰⎰但()([0,2])g x C ∉.(2) ([,])C a b 的完备化空间是1([,])L a b . 因为(i) 在距离ρ的意义下, ([,])C a b 是1([,])L a b 的稠密子集. 事实上, 任意取定一个1()([,])f x L a b ∈, 需要证明: 对于任意的0ε>, 存在()[,]g x C a b ∈, 使得[,](,)|()()|a b f g f x g x dx ρε=-<⎰.事实上, 首先根据积分的绝对连续性, 存在0δ>, 使得当[,]E a b ⊂, 只要mE δ<, 就有|()|3Ef x dx ε<⎰.因为()f x (Lebesque)可积, 故几乎处处有限, 即10N N m E ∞==I ,其中{[,]||()|}N E x a b f x N =∈>. 由此可以得到 lim ()0N N m E →∞=(因为{}N E 是渐缩集列并且[,]a b 的测度有限),故存在某个自然数N , 使得N mE δ<且|()|3NE f x dx ε<⎰,因此有|()|f x N ≤,[,]\N x a b E ∈.引入一个新函数定义为(),[,]\():0,,NNf x x a b E f x E ∈⎧=⎨⎩% 显然对于[,]x a b ∈恒有|()|f x N ≤%. 由Lusin 定理, 存在连续函数()(,)g x C ∈-∞+∞和闭集[,]F a b ⊂, 使得([,]\)min{,/3}m a b F N δε<且|()|g x N ≤, 进而()()g x f x ≡%,x F ∈.则()g x 限制在[,]a b 即为所求, 因为: [,](,)|()()|a b f g f x g x dx ρ=-⎰([,]\)|()()|a b F Ff xg x dx ⋃=-⎰[,]\|()()||()()|a b FFf xg x dx f x f x dx ≤-+-⎰⎰%[,]\\(|()|)|()()||()()|NNa b FF E F E f x N dxf x f x dx f x f x dx⋂≤++-+-⎰⎰⎰%%[,]\|()|([,]\)a b Ff x dx Nm a b F ≤+⎰\|()|0NNF E F E f x dx dx ⋂++⎰⎰333εεεε<++=.(ii) 1(([,]),)L a b ρ是完备的空间.2. 设(,)X ρ是距离空间,A 是X 的子集,对任意的x X ∈,记(,)inf (,)y Ax A x y ρρ∈=,则(1)(,)x A ρ是x 的连续函数.(2) 若{}n x 是X 中的点列, 使(,)0n x A ρ→,{}n x 是否为Cauchy 列? 为什么? 证:(1) 任意取定12,x x X ∈, 对于任意的y X ∈根据三角不等式, 有1122(,)(,)(,)x y x x x y ρρρ≤+, 2211(,)(,)(,)x y x x x y ρρρ≤+.对两端关于y A ∈取下确界, 可以得到1122inf (,)(,)inf (,)y Ay Ax y x x x y ρρρ∈∈≤+, 2211inf (,)(,)inf (,)y Ay Ax y x x x y ρρρ∈∈≤+.即1122(,)(,)(,)x A x x x A ρρρ≤+, 2211(,)(,)(,)x A x x x A ρρρ≤+.由此可得1212|(,)(,)|(,)x A x A x x ρρρ-≤.由此容易证明()f x (,)x A ρ=是X 上的连续函数, 实际上, (,)x A ρ还满足Lipschitz 常数等于1的Lipschitz 条件.(2) 答: 未必是Cauchy 列. 例如取X =R , 其中的距离是Euclid 距离. 对于{1,1}A =-, 对于1,2,n =L , 定义点列为1(1).n n x n=-+对于点列{}n x ,不难验证,1(,)0n x A nρ=→; 但显然{}n x 不是Cauchy 列. 这里的原因就在于(,)x A ρ不是点到点之间的距离, 而是点到集合的距离, 当这个集合A 含有不止一个点时, (,)x A ρ不再具有点点之间距离的性质.3. E 是nR 中的Lebesgue 可测集合, 试证()L E ∞按距离(,)esssup |()()|x Ef g f x g x ρ∈=-是不可分空间.证法一:记为方便起见, 设[,]E a b =. 定义[,]1,[,],()()0,(,].a x a f x x x b λλλχλ∈⎧==⎨∈⎩显然()f x λ有界,可测, 因此必属于([,])L a b ∞. 记{()|(,]}A f x a b λλ=∈.则([,])A L a b ∞⊂.既然对于不同的12,[,]a b λλ∈, 1f λ与2f λ不同的部分是正测度集, 容易看出A 的势是ℵ.进而有(不妨设12λλ<)1212121212[,][,]\0[,][,]\0[,][,][,][,]\0(,][,][,]\0(,)infsup |()()|inf sup |()()|inf sup |()()|infsup () 1.E a b x a b E mE E a b x a b E mE a a E a b x a b E mE E a b x a b E mE f f f x f x f x f x x x x λλλλλλλλλλρχχχ⊂∈=⊂∈=⊂∈=⊂∈==-=-=-==我们用反证法证明所需的结论.设([,])L a b ∞是可分的,则其必有可数的稠密子集123{,,,,,}i g g g g L L , 因此至少有一个i g 属于两个不同的1(,1/3)S f λ和2(,1/3)S f λ.而由三角不等式, 我们有12121(,)(,)(,)112.333i i f f f g g f λλλλρρρ=≤+≤+=这是一个矛盾. 因此([,])L a b ∞不可能是可分的.证法二:既然E 是正测度集,存在0R >使得((0,))0m S R E ⋂>. 不难验证, 存在一列正数1{}i i R ∞=满足:120i R R R R <<<<<<L L ;且1([(0,)\(0,)])0i i m E S R S R +⋂>.对于每一个12(,,,,)i λλλλ=L L ,其中0i λ=或1, 定义1(),[(0,)\(0,)]i i i f x x E S R S R λλ+=∈⋂,1,2,i =L . 显然()f x λ有界,可测, 因此必属于()L E ∞. 记{()|{0,1}}A f x λλ=∈N ,其中{0,1}N表示具有上述性质的λ的全体. 则()A L E ∞⊂.既然对于不同的,λμ∈{0,1}N, (不妨设1(,,,)i λλλ=L L , 1(,,,)i μμμ=L L 且对于某个i ,0i λ=1i μ=)f λ与f μ不同的部分至少是正测度集1[(0,)\(0,)]i i E S R S R +⋂, 容易看出A 的势与{0,1}N的势都是连续统的势ℵ.进而有11\0((0,)\(0,))\0((0,)\(0,))\01(,)inf sup |()()|infsup|()()|inf sup|| 1.i i i i F E x E F mF F E x E S R S R FmF i i F E x E S R S R F mF f f f x f x f x f x λμλμλμρλμ++⊂∈=⊂∈⋂=⊂∈⋂=≥=-≥-=-= 我们用反证法证明所需的结论.设()L E ∞是可分的,则其必有可数的稠密子集123{,,,,,}i g g g g L L , 因此至少有一个j g 属于两个不同的(,1/3)S f λ和(,1/3)S f μ.而由三角不等式, 我们有1(,)(,)(,)11.33j j f f f g g f λμλμρρρ=≤+≤+这是一个矛盾. 因此()L E ∞不可能是可分的. 补充题.证明[,]L a b ∞是不可分空间. 证:记{}[,]()a t K x a t b χ=<<,其中[,]1,,():0,.a t a x t x t x b χ≤≤⎧=⎨<≤⎩显然[,]K L a b ∞⊂, 且只要12,[,]t t a b ∈,12t t ≠, 则有12[,][,],a t a t K χχ∈, 且因为(不妨设12t t <)12(,]t t 的测度为正, 故1212[,][,][,][,][,]||||sup |()()|a t a t a t a t L a b ess x x χχχχ∞-=-1212(,](,]sup |()|1t t x t t x χ∈==.因此, 由(,)a b 是不可数集, 而K 的基数与(,)a b 的基数相同, 故也是不可数集,且K 中任何两个不同元的距离均为1.如果[,]L a b ∞是可分的, 因此有一个可数的稠密子集合{()|1,2,}k A f x k ==L , 且11(,)3kk S f K ∞=⊇U . 但这是荒谬的, 因为上式左端只有可数多个开球, 右端有不可数多个元, 所以至少有K 中的两个不同的12[,][,],a t a t χχ属于同一个开球01(,)3k S f , 由此得到矛盾:121002[,][,][,][,][,][,][,]1||||||||||||112.333a t a t L ab a t k k a t L a b L a b f f χχχχ∞∞∞=-≤-+-<+= 此矛盾表明[,]L a b ∞不可能是可分的.4. 设([,])kC a b 是闭区间[,]a b 上具有k 阶连续导数的函数全体, 定义:()()[,](,)max |()()|,,([,])ki i k x a b i f g f x g x f g C a b ρ∈==-∈∑试证:(1)([,])kC a b 是完备的距离空间; (2)若定义||||(,0)f f ρ=,则(([,]),||||)kC a b ⋅是Banach 空间.证:(1) 这里只证明该距离是完备的. 设1{()}n n f x ∞=是([,])k C a b (0k =时, 0([,])C a b 就理解为[,]C a b )中该距离意义下的Cauchy 列. 因此当,m n →∞时,有()()[,]0(,)max |()()|0ki i m n m n x a b i f f f x f x ρ∈==-→∑.由此容易知道对于每一个0,1,,i k =L , ()1{()}i n n f x ∞=是0([,])C a b 中的Cauchy 列. 根据0([,])C a b 的完备性,知()1{()}i n n f x ∞=收敛到0([,])C a b 中的某个元, 记其为()i f x , 则0()([,])i f x C a b ∈, 且()()()i i n f x f x −−→−−→,,0,1,,n i n →∞=L , 其中“−−→−−→”表示是一致收敛. 如果我们记0()()f x f x =利用数学分析中函数序列一致收敛的分析性质, 可以得到12()()(),()(),,()().k kf x f x f x f x fx f x '''===L (*)例如, 因为1()()n f x f x −−→−−→', 故 1()()xxn aaf t dt f t dt −−→−−→'⎰⎰, 即1()()()xn n af x f a f t dt −−→−−→-⎰, 又0()()n f x f x −−→−−→及0()()nf a f a −−→−−→, 故 001()()()xaf x f a f t dt -=⎰.求导即可得到01()()f x f x '=, 即 1()()f x f x '=.归纳地可得(*).因此0()()f x f x =([,])kC a b ∈且()[,](,)max |()()|ki i n n x a b i f f f x f x ρ∈==-∑()()[,]max |()()|0ki i n x a b i f x f x ∈==-→∑.即([,])kC a b 是完备的距离空间.(2)证略.7. 证明有限维线性赋范空间是完备的.证:记该有限维(实)线性赋范空间为E , 是n 维的,范数记为||||x ,需要证明(,||||)E ⋅是完备的. 记E 中的一组基为:12,,,n v v v L .因此对于任意的x E ∈, 存在唯一一组实数12,,,n x x x L , 使得1122n n x x x x =+++v v v L , 反之亦然.(i) 我们断言存在一个与x 无关的常数0K >, 使得||||||i x K x ≤, 1,2,,i n =L .(*)首先定义一个映射:nf ¡→¡为: 对于任意的12(,,,)n x x x L n ∈¡,121122(,,,):||||||||n n n f x x x x x x x ==+++v v v L L .则对于任意的,x y E ∈(1122n n y y y y =+++v v v L )有1122||||(,,,)n n x y f x y x y x y -=---L 111||||||||||||n n n x y x y ≤-⋅++-⋅v v L≤由此容易知道f 是n R 上的连续函数. 记1B ∂是nR 中的单位球面, 即21121{(,,,)|1}nn k k B x x x x =∂==∑L . 则对于任意的11(,,)n x x B ∈∂L , 有1(,,)0n f x x >L .(事实上, 若有1(,,)0n f x x =L 则111(,,)||||0n n n f x x x x =++=v v L L ,因此110n n x x ++=v v L , 但12,,,n v v v L 线性无关, 故必有120n x x x ====L , 此与11(,,)n x x B ∈∂L 相矛盾. )注意到1B ∂是n R 中的有界闭集(紧子集), 连续函数f 必可在其上达到正的最小值1/0K >.现在我们可以证明式(*). 事实上, 对于任意的x E ∈,存在唯一的一组实数12,,,n x x x L , 使得1122n n x x x x =+++v v v L , 不失一般性, 可设0x ≠因此, 12,,,n x x x L 不全为零, 注意到1y B ⎛⎫ ⎪=∈∂L , 故12()1,n f y f K +++=⎛⎫ ⎪=≥v L L或1122||||n n x x x x =+++≥v v v L 由此容易得出(*)式.(ii) 设()1{}k k x ∞=是E 中的基本列, 这里()()()()1122k k k k n n x x x x =+++v v v L ,即()()||||0k l x x -→, 当,k l →∞.利用(*)式便可以得到对于每一个1,2,,i n =L , 成立()()()()||||||0k l k l i i x x K x x -≤-→, 当,k l →∞.即()1{}k i k x ∞=是1¡中的基本列, 因此收敛. 设()(0)k i i x x →, (k →∞,1,2,,i n =L ).记(0)()(0)(0)1122k n n xx x x =+++v v v L , 显然(0)x E ∈. 根据E 中收敛的等价性(即按范数收敛意味着每个分量收敛或即按坐标收敛), 容易得到()(0)||||0k x x -→, 当k →∞.因此(,||||)E ⋅是完备的.9. 设X 为线性赋范空间, 0X 是X 的线性闭子空间. 在X 中定义等价关系:为0x y x y X ⇔-∈:. 对任意的x X ∈, 以[]x 记x 的等价类, 令0/{[]|}X X x x X =∈.称0/X X 为商空间, 在0/X X 上定义线性运算如下: (i) [][][]x y x y +=+, ,x y X ∈, (ii) [][]x x λλ=, ,x X λ∈∈C .并定义0||[]||inf ||||y X x x y ∈=+.试证: 0/X X 按0||[]||x 也是一个线性赋范空间.证:(一) 0/X X 按照所定义的线性运算是线性空间 (证明略).(二) 0||[]||x 是0/X X 中的范数. 按照定义, 对于每一个 0[]/x X X ∈显然0||[]||inf ||||y X x x y ∈=+是一个确定的数, 因此00||||:/X X ⋅→R 是映射.(i) (非负性) 对于x X ∈, 显然0||[]||inf ||||0y X x x y ∈=+≥.(正定性) 当0[]=[0]=x X 时, 有00||[]||||[0]||inf ||||0y X x y ∈===.反之, 如果我们假设0000||[]||inf ||||0y X x x y ∈=+=, 需要证明 00[]=[0]=x X , 也只需证明00x X ∈. 事实上, 根据下确界的定义, 对每一个自然数1,2,k =L , 存在0k y X ∈, 使得00000111||||||[]||inf ||||k y X x y x x y k k k∈+<+=++=, 由此得到一个序列0{}k y X ⊂且||||0k y x ⋅−−−→-.因为0X 是闭子空间因此00x X -∈故00x X ∈, 即00[]=[0]=x X . (ii) (正齐性) 对于,x X λ∈∈C , 如果0λ=, 则000x x X λ==∈, 故0[][0]0[][]x X x x λλ====. 如果0λ≠, 则当y 取遍0X 中的所有元时,yλ也取遍0X 中的所有元, 反之亦然, 因此 00||[]||inf ||||inf ||||||y X y X yx x y x λλλλ∈∈=+=⋅+||inf ||||||inf ||||yy X X yyx x λλλλλ∈∈=+=+||inf ||||||||[]||z X x z x λλ∈=+=⋅,(iii) (三角不等式) 设,x y X ∈. 设0,u v X ∈, 当,u v 取遍0X 中的所有元时, u v +也取遍0X 中的所有元, 反之亦然, 进而, ,u v 的取法是相互独立的, 因此0||[]||inf ||||u X x y x y u ∈+=++,inf ||||u v X x y u v ∈=+++()0,inf ||||||||u v X x u y v ∈≤+++inf ||||inf ||||u X v X x u y v ∈∈=+++00||[]||||||x y =+.也可用下面的证明方法: 对于任意的0ε>, 由下确界的定义, 存在0,u v X εε∈使得0||||||[]||x u x εε+<+, 0||||||[]||y v y εε+<+,因此可以得到0||[]||inf ||||||||u X x y x y u x y u v εε∈+=++≤+++||||||||x u y v εε≤+++ 00||[]||||[]||2x y ε<++.因为0ε>的任意性, 可得0||[]||x y +00||[]||||[]||x y ≤+.10. 设X 为线性赋范空间,1nn x∞=∑收敛, 即1kk nn S x==∑按X 中的范数收敛, 则11nn n n xx ∞∞==≤∑∑.证:记1kk n n S x ==∑.对于有限项之和, 利用三角不等式, 成立111||||kk k nn n n n n S xx x ∞====≤≤∑∑∑. (*)又因为1kk nn S x==∑在范数意义下收敛, 其极限自然可以记为1nn x∞=∑, 即1k n n S x ∞=→∑,再一次利用三角不等式, 可以得到当k →∞时11||||0k nk n n n S xS x ∞∞==-≤-→∑∑,即1||||k nn S x∞=→∑, 因此在(*)式中令k →∞, 可得11nn n n xx ∞∞==≤∑∑.11. 设{0}X ≠为线性赋范空间, 试证X 是Banach 空间当且仅当{|||||1}x X x ∈=是完备的.证:记{|||||1}T x X x =∈=.(必要性) 设X 是Banach 空间, {}n x T ⊂是T 中的Cauchy 列, 即||||1n x =且||||0m n x x -→(当,m n →∞).因为X 是Banach 空间, 故{}n x 收敛, 即存在0x X ∈, 使得||||0n x x ⋅−−→, 由三角不等式容易得到:||||||||||||x y x y -≤-,因此00||||||||||||0n n x x x x -≤-→,知0||||||||n x x →, 故0||||1x =因此0x T ∈, 即T 完备.(充分性) 设T 是完备的, 并设{}n x X ⊂是X 中的Cauchy 列, 即||||0m n x x -→当,m n →∞. 由||||||||||||0m n m n x x x x -≤-→,知{||||}n x 是1¡中的Cauchy 数列, 因此收敛, 即存在某个数A ∈¡使得||||n x A →.如果0A =, 显然{}n x 收敛于X 中的零元, 故不妨设0A >. 由此知当n 充分大时, 总有||||0n x >, 不失一般性, 可设对所有的n , 都有||||0n x >. 考虑新的点列:||||nn n x y x =, 显然n y T ∈. 进而 ||||||||||||m n m n m n x xy y x x -=- ||||||||||||||||m m m n m n n n x x x xx x x x ≤-+- 111||||||||||||||||m m n m n n x x x x x x =-+-, 由此易知{}n y T ⊂是T 中的Cauchy 列. 因为T 作为距离空间是完备的, 故{}n y 收敛, 即存在0y T ∈, 使得||||0n y y ⋅−−→. 最后我们断言: ||||0n x Ay ⋅−−→.事实上,0||||||||||||||||n n n n n x Ay x Ay x x x -=- 0||||||||n n n Ay x y x =-000||||||||n n n Ay x y y y x ⎛⎫≤-+- ⎪⎝⎭00||||1||||n n n A x y y y x ⎛⎫=-+-⎪⎝⎭0→.综上可得X 是Banach 空间.15.试证定理4中(f)式定义的(,)x y 的确满足内积分的定义.证明: 即要证明: 对于赋范线性空间(,||||)X ⋅, 如果范数满足平行四边形法则:2222||||||||2(||||||||)x y x y x y ++-=+(*)则由221(,):[||||||||]4x y x y x y =+--R (K =R 时) (f ’)或221(,):[||||||||4x y x y x y =+--C22||||||||]i x iy i x iy ++-- (K =C 时) (f)所定义的确实是内积. (i) 对于x X ∈,221(,)[||||||||4x x x x x x =+--C22||||||||]i x ix i x ix ++--2||||0x =≥,因为|1||1|i i +=-, 并且根据范数的性质2(,)00(,)||||0x x x x x x =⇔==⇔=C C .同理可证(,)0x x ≥R 且(,)00x x x =⇔=R . (ii)首先考虑K =R 时的情形, 对于,,x y z X ∈, 可将(,)(,)x z y z +R R 表示为如下形式: (,)(,)x z y z +R R221[||||||||4x z x z =+--22||||||||]y z y z ++-- ()()22221||||||||||||||||4x z y z x z y z ⎡⎤=+++--+-⎣⎦ 22142222x y x yx y x yz z ⎛⎫+-+-=++++-⎪ ⎪⎝⎭22142222x y x y x y x y z z ⎛⎫+-+---++--⎪ ⎪⎝⎭, 再由平行四边形法则222222x y x y x y x yz z +-+-++++-22222x y x y z ⎛⎫+-=++ ⎪ ⎪⎝⎭; 222222x y x y x y x yz z +-+--++--22222x y x y z ⎛⎫+-=-+ ⎪ ⎪⎝⎭. 因此(,)(,)x z y z +R R 221222x y x yz z⎛⎫++=+-- ⎪ ⎪⎝⎭2,2x y z +⎛⎫= ⎪⎝⎭R.进而, 令0y =可以得到(,)x z R 2,2x z ⎛⎫= ⎪⎝⎭R,这里利用了(0,)0z =R . 因为x 是任意的, 故可将x 换为x y +, 即可得到(,)x y z +R 2,2x y z +⎛⎫= ⎪⎝⎭R. 对照上述二式, 即有(,)(,)x z y z +R R =(,)x y z +R .(**)至于K =C 时的情形, 注意到从形式上看(,)=(,)(,)x y x y i x iy +C R R ,利用上述已经证明了的等式(**)不难得到(,)(,)x z y z +C C =(,)x y z +C .(iii) 首先考虑K =R 时的情形, 对于,x z X ∈和任意实数,s t ∈R , 由已经证明的(**)式有(,)(,)sx z tx z +R R =((),)s t x z +R ,可知函数():(,)f t tx z =R 满足如下的函数方程:()()()f s f t f s t +=+.(***)又():(,)f t tx z =R 关于t 是连续的, 因此必有()(1)(,)f t f t t x z ==R .(事实上, 由(***)式对于任意的正整数n 和m , 利用数学归纳法有()()f ns f s s s =+++L ()()()()f s f s f s nf s =+++=L ;进而取1s n =, 有11()(1)f f n n=, 因此 1()()(1)n nf nf f m m m==. 又(***)中取0s t ==可得(0)0f =, 取s t =-可得()()f s f s -=-. 因此对于所有的有理数, 均成立()(1)f s sf =.利用()f s 的连续性, 可知对所有的实数也成立. ) 因此得到(,)()(1)(,)tx z f t f t t x z ===R R .至于K =C 时的情形, 注意到由(f)221(,)[||||||||4ix y ix y ix y =+--C 22||||||||]i ix iy i ix iy ++--221[||||||||4ix y ix y =+--22||||||||]i x y i x y ++-- 22221[||||||||4i ix y i ix y =-++-22||||||||]i x y i x y ++-- 22[||||||||4ii x iy i x iy =--++22||||||||]x y x y ++-- (,)i x y =C .由此也容易得到, 对于t ∈C(,)(,)tx z t x z =C C .(iv) 当K =R 时, 容易知道221(,)[||||||||](,)4x y x y x y y x =+--=R R ;而当K =C 时, 直接计算也可得到221(,)[||||||||4x y x y x y =+--C 22||||||||]i x iy i x iy -++-221[||||||||4y x y x =+--22||||||||]i y ix i y ix --++ (,)y x =C .16.设D 是C 中单位开圆盘, 即{|||1}D z z =∈<C . dA 是D 上的面积测度, 2()a L D 定义为22(){|()|}a L D f f Df z dz =<∞⎰在中解析且|. (见课本第六页例4)在2()a L D 中定义内积为,()()Df g f z g z dA =⎰.试证(1)1()n n z ϕ-=(1,2,n =L )构成2()a L D 的正交基.(2) 若2()af L D ∈的Taylor 展开式是0()kk k f z a z ∞==∑, 则201kk a k∞=<∞+∑;(3) 若2()ag L D ∈的展开式是0()kk k g z b z∞==∑, 则,1k kk a b f g k π∞==+∑. 证:先给出一个预备性结果: 对于2()a f L D ∈,因为()f z 是解析函数, 因此可以展开为幂级数: 0()kk k f z a z∞==∑.由此可以断言:(),()n f z z ϕ=n a - (*)事实上,因为()f z 是解析函数,幂级数kk k a z∞=∑在D 中内闭一致收敛, 即对于D 的任意闭子集F ,kk k a z∞=∑在F 上一致收敛. 对于01ε<<, 以下取闭子集F 为:{|||1}D z D z εε=∈≤-.容易知道D ε是D 中的闭子集.对于每一个1,2,n =L ,注意到级数10k k a z -=∑在ε中仍旧一致收敛, 以下的积分号和求和号可以交换顺序:(),()()()n n Df z z f z z dA ϕϕ=⎰lim ()()n D f z z dA εεϕ→=⎰100lim k D k a z dA εε∞-→==∑⎰10k n k D a z z dA εε∞-→==⎰10(cos sin )(cos(1)sin(1))k n k D a r k i k n i n dAεεθθθθ∞+-→==+⋅⋅---⎰2110(cos sin )(cos(1)sin(1))k n k a d r k i k n i n rdrπεεθθθθθ∞-+-→==+⋅⋅---⎰⎰1210(cos sin )(cos(1)sin(1))k n k a r rdr k i k n i n d επεθθθθθ∞-+-→==+⋅⋅---⎰⎰12110n n a r dr εεπ---→=⎰210(1)2nn a nεεπ-→-=n a -=因此(*)式得证.(1) 首先证明{}111()n n n n z ϕ∞∞-==⎫⎪=⎬⎪⎭是正交集. 事实上, 对于复数(cos sin )z r i θθ=+,根据所给的定义112(),()sin)sin)mm nm n n mz z dAi i r dAϕϕθθθθ----+-==+-⎰⎰2(cos(1)sin(1))(cos(1)sin(1))n mDr m i mn i n dAθθθθ+-=-+-⋅⋅---21200(cos(1)sin(1))(cos(1)sin(1))n md r m i mn i n rdrπθθθπθθ+-=-+-⋅⋅---⎰⎰12200(cos(1)(1)sin)(cos(1)sin(1))n mr rdr m i mn i n dπθθθθθ+-=-+-⋅---⎰11,,20,.m nmm nππ==⎪=⎨⎪≠⎩因此{}1()n nzϕ∞=是正交集. 因为2()aL D是完备的空间, 故只需再证{}1()n nzϕ∞=是完备的即可得知其也是正交基. 设有2()af L D∈且{}1()()n nf z zϕ∞=⊥. 因为()f z是解析函数, 因此可以展开为幂级数:()kkkf z a z∞==∑.根据(*)式,可以得到,对于每一个1,2,n=L,0(),()nf z zϕ=na-=由此即得1na-=, (1,2,n=L). 所以()0f z≡. 即{}1()n nzϕ∞=是完备的, 因此是2()aL D中的正交基.(2) 既然{}1()n nzϕ∞=是基,由Parseval等式可以得到221(),()||||nnf z z fϕ∞==<∞∑.利用(*)式,上式的左端可以表示为:21221110(),().1nnn nnn n nf z za aan nϕππ∞=∞∞∞--======+∑∑∑∑由此可得所预期的结论.(3) 对于()kkkf z a z∞==∑和()kkkg z b z∞==∑, 有1()()kkf z a z∞+==∑和1()()kkg z b z∞+==∑,利用内积的连续性和(*)式,1,(),()kkf g a z g z∞+==∑1(),()kka z g z∞+==∑ka∞==∑kka∞==∑.1k kka bkπ∞==+∑18.设H是内积空间,{}n e是H中的正交集, 求证:1(,)(,)||||||||n nnx e y e x y∞=≤⋅∑, (,x y H∀∈).证:对于任意的正整数k, 由Cauchy不等式和Bessel不等式可以得到1(,)(,)kn nnx e y e=≤∑≤||||||||x y≤⋅,由k的任意性, 知正项级数1(,)(,)n nnx e y e∞=∑收敛, 因此级数1(,)(,)n nnx e y e∞=∑绝对收敛,并且11(,)(,)(,)(,)||||||||nnnnn n x e y e x e y e x y ∞∞==≤≤⋅∑∑.19.试证nt ⎫⎪⎬⎪⎭构成2([0,])L π的正交基, 但不是2([,])L ππ-的正交基. 证:(1) 首先证明{}11()n n n t nt ϕ∞∞==⎫⎪=⎬⎪⎭是2([0,])L π中的正交集. 事实上,[]0(),()2cos()cos()2m n t t ntdtm n t m n t dtππϕϕπ==-+--⎰1()1,,0,.m n m n ππ⎧--==⎪=⎨⎪≠⎩因此{}1()n n t ϕ∞=是2([0,])L π中的正交集. 同理, 也容易证明{}1()n n t ϕ∞=还是2([,])L ππ-中的正交集.(2) 因为2([0,])L π是完备的空间, 故只需再证{}1()n n t ϕ∞=是完备的即可得知其也是正交基. 设有2([0,])f L π∈且{}1()()n n f t t ϕ∞=⊥. 将()f t 做奇延拓成为°()f t : °(),[0,],():(),[,0).f t t f t f t t ππ∈⎧=⎨--∈-⎩则°()f t ∈2([,])L ππ-. 注意到对于1,2,n =L , 利用{}1()()n n f t t ϕ∞=⊥,°°,()sin n f f t ntdt ππϕ-=⋅⎰ °°0()sin ()sin f t ntdt f t ntdt ππ-=⋅+⋅⎰⎰ 00()sin ()sin f t ntdt f t ntdt ππ-=--⋅+⋅⎰⎰()sin ()sin f t ntdt f t ntdt ππ-=--⋅+⋅⎰⎰00()sin ()()sin f s n s ds f t ntdt ππ=-⋅-+⋅⎰⎰2()sin 0f t ntdt π=⋅=⎰.设{}{}00()cos n n n t nt ψ∞∞===,对于0,1,2,n =L ,利用()f t 是奇函数, 可得°°,()cos 0n f f t ntdt ππψ-=⋅=⎰. 因此°{}{}()10()()()n n n n f t t t ϕψ∞∞==⊥⋃.进而也容易得到°()f t ⊥⎫⎬⎭L L .又已经知道与{}{}{}{}1010()()sin )cos n n n n n n t t t nt ϕψ∞∞∞∞====⋃=⋃仅相差一个常数因子的三角函数系⎫⎬⎭L L 是2([,])L ππ-中的正交基, 因此°()0f t =, a.e. [,]t ππ∈-,即有()0f t =, a.e. [0,]t π∈.因此{}1()n n t ϕ∞=是2([0,])L π中的正交基.(3) 注意到nt ⎫⎪⎬⎪⎭在2([,])L ππ-中不是完备的, 例如对于恒等于常数1的函数2()1([,])f t L ππ≡∈-是非零元, 但对于1,2,n =L ,,1sin 0n f ntdt ππϕ-=⋅=⎰.因此, nt ⎫⎪⎬⎪⎭虽然是2([,])L ππ-的正交集, 但不是正交基.24. 试给出1([,])C a b 中列紧集的判别条件. 证:设子集1([,])A C a b ⊂且0x 是[,]a b 中一个数. 记{()|()}A f x f x A ''=∈及0{()|()}B f x f x A =∈.则A 是1([,])C a b 中的列紧集的充分必要条件是 (i) A '在([,])C a b 中有界; (ii) B 是R 中的有界集;(iii) A '是([,])C a b 中等度连续的集合.[充分性] 设1([,])A C a b ⊂满足条件(i), (ii)和(iii). 根据1([,])C a b 中范数的定义: 对于1([,])f C a b ∈,1([,])[,][,]:max |()|max |()|C a b x a b x a b ff x f x ∈∈'=+,容易看出,1([,])([,])C a b C a b k k f f f f −−−−→⇔−−−−→且([,])C a b k f f ''−−−−→ 因此只需证明A 和A '分别是([,])C a b 中的列紧集即可, 根据Arzela-Ascoli 定理, 这也只需证明A 和A '分别在([,])C a b 中有界且等度连续即可. 事实上, A '在([,])C a b 中有界性和等度连续已由所给条件得到保证(即(i)和(iii)). 还需证明A 在([,])C a b 中的有界性和等度连续性. 记A '在([,])C a b 中的一个界为A M ',B 作为R 中的有界集, 一个界纪为B M .对于任意的[,]x a b ∈, 利用中值定理, 有0000|()||()()||()||()()||()|().A B f x f x f x f x f x x f x M b a M ξ'≤-+'=-+≤-+ 此即表明[,]max |()|()A B x a b f x M b a M '∈≤-+, 所以A 在([,])C a b 中有界,且界为()A B M b a M '-+. 进而对于,[,]x y a b ∈|()()||()()|||.A f x f y f x y M x y ξ''-=-≤-由此易知A 具有等度连续性.[必要性] 设A 是1([,])C a b 中的列紧集, 即对于A 的任何点列1{()}n n f x ∞=, 1{()}n n f x ∞=在1([,])C a b 中的范数(距离)1([,])[,][,]:max |()|max |()|C a b x a b x a b ff x f x ∈∈'=+意义下都有收敛的子列1{()}k n k f x ∞=. 因此,1{()}n n f x ∞=和1{()}n n f x ∞='分别在([,])C a b 中有收敛的子列的1{()}k n k f x ∞=和1{()}k n k f x ∞='. 这表明, 根据Arzela- Ascoli 定理, A 和A '均是([,])C a b 中的列紧集, 因此A 和A '均在([,])C a b 中有界且等度连续, 因此得到(i)和(iii). 由A 的有界性, 可以知道集合0{()|()}B f x f x A =∈对于任意的0x [,]a b ∈都是R 中的有界集, 因此得到(ii). 26. 设(,)X ρ是紧距离空间,映射:f X X →满足1212((),())(,)f x f x x x ρρ<. (12x x ≠)则(1) f 是否有唯一的不动点? (2) f 是否为压缩映射?解答: (1) f 存在唯一的不动点, 证明如下: (存在性) 定义映射:h X →R 为()(,())h x x f x ρ=.由所给条件知此映射是连续的, 而X 是紧空间表明此映射能在X 中取得上下确界. 因此存在y X ∈, 使得()(,())inf ()x Xh y y f y h x ρ∈==.断言()inf ()0x Xh y h x ∈==,则y 是f 的不动点:()y f y =. 若不然, ()0h y >, 则在所给的条件中取()x f y =有(())((),(()))(,())()h f y f y f f y y f y h y ρρ=<=,此与y 达到()h x 的下确界相矛盾.(唯一性) 若还有z X ∈使得()z f z =但z y ≠. 仍由所给的条件, 有0(,)((),())(,)z y f z f y z y ρρρ<=<.这是个矛盾. 故必有z y =.(2) f 可以不是压缩映射. 反例如下:[反例1] 记[0,1]X =, 其中距离定义为两点之间的Euclid 距离: ,x y X ∀∈,(,):||x y x y ρ=-.因为X 是R 的闭子集, 因此是完备的, 显然也是紧的. 定义映射:T X X →为: 对于x X ∈,():1x T x x=+. 显然T 是自映射, 且有唯一的不动点0.对于任意的,x y X ∈, 设x y ≠, 则,x y 中至少有一个不为零, 由此容易得到||(,)11(1)(1)x y x y Tx Ty x y x y ρ-=-=++++ ||x y <-(,)x y ρ=.所以T 满足所需的条件, 但T 不是压缩映射, 因为,[0,1],[0,1](,)1supsup 1(,)(1)(1)x y x y x yx yTx Ty x y x y ρρ∈∈≠≠==++.因此不存在常数[0,1)α∈, 使得对于所有的,x y X ∈,(,)(,)Tx Ty x y ραρ≤.[反例2] 记1{0}1,2,X n n ⎧⎫=⋃=⎨⎬⎩⎭L , 其中距离定义为两点之间的Euclid 距离: ,x y X ∀∈, (,):||x y x y ρ=-.因为X 是R 的闭子集, 因此是完备的, 显然也是紧的. 定义映射:T X X →为: 对于x X ∈,11,,():10,0,x T x n n x ⎧=⎪=+⎨⎪=⎩显然T 是自映射, 且有唯一的不动点0.对于任意的,x y X ∈, 设x y ≠, 如果,\{0}x y X ∈, 则有正整数,m n , m n ≠, 使得11,x y n m==,且11||(,)11(1)(1)m n Tx Ty n m n m ρ-=-=++++ ||m n nm-<11(,)x y n m ρ=-=; 如果,x y 中有一个为零, 例如0x =, 也有11(,)011Tx Ty m m ρ=-=++1m<(,)x y ρ=. 所以T 满足所需的条件, 但T 不是压缩映射, 因为例如对于 11,x y n m==, 当,m n →∞时, 成立11(,)11111(,)(1)(1)Tx Ty mnn m x y n m n mρρ-++==→++-,即不存在[0,1)α∈, 使得(,)(,)Tx Ty x y ραρ≤..补充题. 设二元函数(,)([,][,])g x y C a b a b ∈⨯,A 是([,])C a b 中的一个有界集, 记():(,)()()ba A F x g x y f y dy f x A ⎧⎫⎪⎪==∈⎨⎬⎪⎪⎩⎭⎰%. (i) 证明A%是([,])C a b 中的列紧集; (ii) 问当A 还是([,])C a b 中的闭集时, A%是不是紧集? 证:(i) 因为(,)([,][,])g x y C a b a b ∈⨯, 不难得知A⊆% ([,])C a b . 根据Arzela-Ascoli 定理, 只需再证明A%在([,])C a b 中有界且等度连续即可. (a) A%在([,])C a b 中有界, 即A %作为由连续函数组成的集合是一致有界的. 事实上, 如果记A 的一个界为M , |(,)|g x y 在[,][,]a b a b ⨯上的最大值为K , 则对于任意取定的()F x A∈%, 有某个()f x A ∈, 使得 ()(,)()baF x g x y f y dy =⎰, 由此得知|()|(,)()baF x g x y f y dy =⎰|(,)()|bag x y f y dy ≤⎰max |(,)|max |()|ba x ba y ba a y bg x y f y dy ≤≤≤≤≤≤≤⎰[,]||||bC a b af Kdy =⎰[,]||||()C a b f K b a ≤-()KM b a ≤-.因此A%是([,])C a b 中有界集, 且A %的一个界为()KM b a -. (b) A%在([,])C a b 中等度连续. 对于()F x A ∈%,有某个()f x A ∈, 使得()(,)()baF x g x y f y dy =⎰. 因为(,)([,][,])g x y C a b a b ∈⨯, 因此在[,][,]a b a b ⨯上一致连续, 故对于任意的0ε>,存在0δ>, 当,[,]x x a b '∈且||x x δ'-<时, 有|(,)(,)|g x y g x y ε'-< ([,]y a b ∀∈),由此可以得到|()()|(,)()(,)()bbaaF x F x g x y f y dy g x y f y dy ''-=-⎰⎰[(,)(,)]()bag x y g x y f y dy '=-⎰|(,)(,)||()|ba g x y g x y f y dy '≤-⎰max |()||(,)(,)|ba y ba f y g x y g x y dy ≤≤'≤-⎰[,]|||||(,)(,)|bC a b af g x y g x y dy '=-⎰()M b a ε≤-.由此易知A%具有等度连续性. (ii) 当A 还是([,])C a b 中的闭集时, A%未必是紧集! 反例可以构造如下: 考虑([0,1])C 中的集合{|1,2,}k A x k ==L ,显然A 是([0,1])C 中的有界集, 一个界可以取为1.可以断言A 是([0,1])C 中的闭集, 因为对于任意的,klx x A ∈, 不妨设l k >, 则[0,1][0,1]max ||k l k l C x x x x x ∈-=-1k l k l kl kl kk k k k l l l l ---⎛⎫⎛⎫⎛⎫⎡⎤=-=- ⎪ ⎪ ⎪⎢⎥⎝⎭⎝⎭⎝⎭⎣⎦, 对于任意固定的k , 当l 趋于无穷大时, 右端项趋向于1, 由此容易知道, 作为([0,1])C 中的子点列, 集合A 不是Cauchy 列, 因此不可能在([0,1])C 中有收敛的子列, 故集合A 没有聚点, 因此是([0,1])C 中的闭集.定义(,)1K x y =,显然(,)([0,1][0,1])K x y C ∈⨯. 对于上述的集合A , 不难计算{}101()|1,2,|1,2,1k A F x x dx k k k ⎧⎫=====⎨⎬+⎩⎭⎰%L L显然, A%是([0,1])C 中列紧集,唯一的聚点是零函数,但零函数不在A %中,因此不是闭集. 补充题. 设A 是([,])C a b 中的一个有界集, 记():()()xa B F x f t dt f x A ⎧⎫⎪⎪==∈⎨⎬⎪⎪⎩⎭⎰.证明B 是([,])C a b 中的列紧集.证:根据Arzela-Ascoli 定理, 需证明B 在([,])C a b 中有界且等度连续即可.(i) B 在([,])C a b 中有界, 即B 作为由函数组成的集合是一致有界的. 事实上, 如果记A 的界为M ,则对于任意取定的()F xB ∈, 有某个()f t A ∈, 使得()()xaF x f t dt =⎰, 由此得知|()|()|()|xxaaF x f t dt f t dt =≤⎰⎰[,]max |()|||||x xC a b a t baaf t dt f dt ≤≤≤=⎰⎰[,]||||()()C a b f b a M b a ≤-≤-.因此B 是([,])C a b 中有界集, 且B 的界为()M b a -.(ii) B 在([,])C a b 中等度连续. 对于()F x B ∈,有某个()f t A ∈, 使得()()xaF x f t dt =⎰.对于,[,]x x a b ∈%|()()|()()xxaaF x F x f t dt f t dt -=-⎰⎰%%()|()|xxxxf t dt f t dt =≤⎰⎰%%[,]max |()|||||xxC a b a t bxxf t dt f dt ≤≤≤=⎰⎰%%||M x x ≤-%.由此易知B 具有等度连续性.补充题.证明课本20页定理8:对于距离空间(,)X ρ中的任何集合G , G '与G 均是闭集. 证:(i) 根据闭集的定义, 仅需证明()G G '''⊆.事实上, 设()y G ''∈, 则对于任意的0ε>((,)\{})S y y G ε'⋂≠∅.设((,)\{})x S y y G ε'∈⋂, 根据极限点的定义, 对于min{(,),(,)}0x y x y δρερ=->,有((,)\{})S x x G δ⋂≠∅.又(,)(,)S x S y δε⊆,因此有((,)\{})((,)\{})S y y G S x x G εδ⋂⊇⋂≠∅.注意到0ε>的任意性, 即可得到y G '∈. 因此G '是闭集. (ii) 需证明的是G G '⊆. 因为G G G '=⋃, 又()A B A B '''⋃⊆⋃,(*)故由(i)中已经证明了的结果, 有()G G G G G G G '''''''=⋃⊆⋃⊆⊆,因此G 是闭集.如下证明(*): 设y A B ''∉⋃, 则y A '∉, 且 y B '∉.由前者知存在某个00ε>, 使得0((,)\{})S y y A ε⋂=∅;由后者知存在某个10ε>, 使得1((,)\{})S y y B ε⋂=∅.取001min{,}δεε=, 则00δ>, 且0((,)\{})()S y y A B δ⋂⋃=∅,所以()y A B '∉⋃, 即(*)得证.补充题. 判断集合2121(,,,,)||,1,2,m m A y y y y l y m m ⎧⎫==∈≤=⎨⎬⎩⎭L L L是否为2l 中的列紧集?答:A 是2l 中的列紧集, 证明如下.因为211(1,,,,)2l m ∈L L ,即级数211m m∞=∑收敛,因此,对于任意的0ε>,存在某个0m ,使得0211m m mε∞=+<∑. 考虑集合:{}001212(,,,,0,)(,,,,)m m m A y y y y y y y A ==∈L L L L容易知道0m A 是A 的ε-网,且如果视其为0mR 空间中的子集,0m A 是有界集(一个界是,因此列紧,在2l 中仍然是列紧的. 进而知道2l 是完备的,因此根据前面补充题的结论(A 是列紧集的充分必要条件是对于任意的0ε>,A 有列紧的ε-网),可以得到A 是2l 中的列紧集.补充题. 设(,)X ρ是完备的距离空间, A X ⊂. 证明:A 是列紧集的充分必要条件是对于任意的0ε>,A 有列紧的ε-网.证明:[必要性] 设A 是列紧集, 因此A 是完全有界集, 即对于任意的0ε>,A 存在有限ε-网B ,12{,,,}n B x x x =L .又有限集一定是列紧集, 因此B 是A 的列紧的ε-网.[充分性] 设条件成立, 即对于任意的0ε>, A 有列紧的/2ε-网B . 因为B 列紧, 因此全有界, 即存在有限的/2ε-网C . 不难证明C 是A 的有限ε-网. 由此可以得知, A 是全有界集, 又(,)X ρ是完备的距离空间,因此A 是列紧集.。
信号与系统——泛函分析初步
再如,若一个能量有限信号可以分解成无穷多个分量,即其各分量 平方可和
可证明,按内积构成的内积空间,也是一个Hilbert空间。 Cauchy-Schwarz不等式:为内积空间,,有
定义(和、直和,Sum、Direct sum):
设是的线性子空间,称为子空间的和。如果,即p个子空间彼此无 交集,则这些子空间的和称为直和,记为:。
定理:设是的线性子空间,则 (1)子空间的交也是的子空间; (2)子空间的和也是的子空间; (3)是直和 对于,可唯一表示成
,其中。
§2.3 距离空间(度量空间)
其中,为定义域,为值域。
图2-1 算子的映射作用 定义(数域,Number field):包括0、1且对四则运算封闭 的数集。 定义(泛函,Functional):值域是实/复数域的算子称为 泛函。 注:定积分,距离,范数,内积,函数(第三种定义),(普 通)函数均为泛函。 定义(线性算子):为线性空间,,若对,
Hilbert第六问题:任何物理学理论、物理定 律、实验结论,都可以从一组数学公理出发通
过演绎得到。
希尔伯特第六问题,体现了一种对于统一的追求。
泛函分析:属于基于公理的分析体系,不在于计算,
而着眼于概念演绎,更普适、更一般、更深刻地理
解、解释数学物理问题。
1. 内积空间:
定义(内积,Inner product):设为实或复线性空间,若对 (复数域),均有一实数或复数与之对应,记为,满足:
注意2:满足三条公里的距离定义可以有多种。因此,同一个集合
与不同定义的距离结合,构成不同的度量空间。
偏序集的完备化范畴研究
53 偏序集的完备化范畴研究■尚 影 (阜阳幼儿师范高等专科学校 安徽 236015)【摘 要】通过借用形式概念分析中构造粗糙概念的方法,给出偏序集的几种完备化构造,然后由偏序集诱导一个形式背景,讨论该形式背景下的粗糙概念与完备化的关系,主要讨论相容定向完备偏序集上的拓扑结构和范畴性质。
【关键词】偏序集;完备化;Scott拓扑;完备(子)范畴【中图分类号】TB751 【文献标识码】A 【文章编号】2095-3089(2018)25-0053-02 一、偏序集的概念一个集合如果要能够被排序的话,其上必须定义了“序”的概念所谓偏序集就是定义了偏序关系的集合。
偏序关系在数学上的表现形式:偏序是在集合X上的二元关系≤(这只是个抽象符号,不是“小于或等于”),它满足自反性、反对称性和传递性。
即,对于X中的任意元素a,b和c,有:自反性:a≤a;反对称性:如果a≤b且b≤a,则有a=b;传递性:如果a≤b且b≤c,则a≤c。
带有偏序关系的集合称为偏序集。
令(X,≤)是一个偏序集,对于集合中的两个元素a、b,如果有a≤b或者b≤a,则称a和b是可比的,否则a和b不可比。
在X中,对于元素a,如果任意元素b,由b≤a得出b=a,则称a为极小元。
链:链式E的一个子集C,在偏序关系 下,它的每一对元素都是可比的,即C是E的一个全序子集。
反链(或称杂置):顾名思义,它和链的定义恰恰相反。
反链是E的一个子集A,在偏序关系 下,它的每一对元素都是不可比的。
链和反链的大小是指集合中元素的个数。
一个反链A是X的一个子集,它的任意两个元素都不能进行比较。
一个链C是X的一个子集,它的任意两个元素都可比。
Dilworth定理:令(E, )是一个有限偏序集,并令m是E中最大反链的大小,M是将E划分成最少的链的个数(使得这些链的并集包含所有E中的元素)。
在E中,有m=M。
(如果用一条线将最长反链所对应的边从左到右连起来,那么这条线不会与平面图的其他边相交。
实李代数完备化的若干条件
实李代数完备化的若干条件张磊,严再立(宁波大学数学与统计学院,浙江宁波315211)1引言如果一个李代数的中心为0,所有的导子都是它的内导子,则称其为完备李代数.完备李代数的概念源于完备群的概念,第一次出现在导子塔定理[1]中,它的正式定义由JaCobSOn[2]在1962年给出.完备李代数是比半单李代数更广泛的一类李代数.特征零代数闭域上的半单李代数是完备李代数.在上世纪九十年代,孟道骥和合作者[3-7]系统发展了复数域上完备李代数的理论,特别地,他们给出了复可解完备李代数的结构.由于嘉零李代数的中心不为0,因此嘉零李代数不是完备李代数.即使这样,完备李代数和原零李代数依然有着紧密的关联.如果得零李代数是一个可解完备李代数的极大嘉零理想(嘉零根基),则称其为可完备化嘉零李代数.到目前为止,以下一些复原零李代数是可完备化嘉零李代数.(D交换李代数和海森堡代数[3];(H)半单李代数的BOre1子代数的极大嘉零理想[4];(Hi)具有极大秩的嘉零李代数[5];(iv)Quasi-Heisenberg代数和一些两步嘉零李代数[7-8];(v)某些fi1iform李代数[9];(vi)某些Quasi-fi1iform李代数[10].至今为止,对完备李代数的研究主要集中在复完备李代数,对实完备李代数的研究还比较少.本文主要研究实完备李代数的结构,证明实李代数是完备李代数当且仅当其复化李代数是完备李代数.2基础知识及主要定理为介绍本文的一些定理及其证明,需要回顾李代数的基本定义和一些相关知识.定义1设1是复数域上的有限维向量空间,并且假设在1中定义一种运算1X1f1,即在1中任意取两个元素x,y都有唯一的元素与之对应,表示为(χ,y)[χ,y],称为X和y的李括号,如果满足以下条件,则称1为复数域上的李代数.(11)这个括号运算是双线性的,即对于任意的x1,x2,y∈及任意复数a1,a2都有[a1x1+a2x2,y]=a1[x1,y]÷a2[x2,y];(12)[x,x]=0,对于任意的χW1;(13)[x,[y,z]]+[y,[z,x]]+[z,[x,y]]=0,对于任意的x,y,z∈1.有了李代数的定义之后可以回顾可解李代数和嘉零李代数的概念,设1的一个理想序列1(O)=1,1(1)=[1,1],1(2)=[1(1),1(I)],-,1(i)=[1(i-1),1(i-1)] •••9•如果存在一个正整数n使得1(n)=0,则称1是可解李代数.类似地设1的一个降中心理想序列1O=1,11=[1,1],12=[1,11],…,1i=[1,1I],….如果存在n使得1n=O,则称1是嘉零李代数.注意到1(i)c1i对于所有的i都成立,因此所有的得零李代数都是可解李代数.设D是李代数1的一个线性变换,如果D有D([x,y])=[Dx,y]+[x,Dy],∀x,y∈1,则称D为1的一个导子.导子的概念在[12T3]中也涉及到.设A∈1,记伴随变换adA:1f1为adA(X)=[A,X],∀X∈1,易知adA是1上的线性变换且满足条件adA[X,Y]=EadA(X),Y]÷[X,adA(Y)],∀X,Y∈1.adA是由A诱导出的D的内导子.记李代数1上所有导子的集合为Der(1),所有内导子的集合为ad1.另外再记李代数1的中心为C(1)二{z∈1∣[x,zkO,Vx∈1}.有了导子、内导子和中心的定义就可以引出完备的定义.定义2一个域上的李代数1,如果满足C(1)=0,Der(1)=ad1,则称李代数1是完备李代数.在上世纪90年代,孟道骥研究了复完备李代数的一般理论,对复可解完备李代数做了一个完整的叙述[3-5].假设n是一个复嘉零李代数,huDer(n)是n上的极大环面子代数,即由半单线性变换组成的极大交换子代数.定义一个复可解李代数1=h㊉n,它的李括号运算为[h1+x1,h2+x2]=h1(x2)-h2(x1)+[x1,x2]n,h1,h2∈hjx1,x2∈n.定理1假设1是复可解完备李代数,则以下三条结论成立.(i)1有分解1=h㊉n,其中h是1的极大交换子代数,n是1的极大嘉零理想,即嘉零根基.(ii)adh在n上的限制adh∣n是Der(n)的交换子代数,也是n上的极大环面子代数.(iii)h同构于n上的一个极大环面子代数.本文主要证明以下两个定理.定理2一个实李代数1是完备李代数当且仅当1的复化季代数1是完备李代数.定理3一个实嘉零李代数n是可完备化暴零李代数当且仅当n的复化嘉零李代数n是可完备化第零李代数.3定理2的证明证(i)充分性.假设1是完备李代数,首先证明1的中心为O.反设1的中心不为0,即存在x1G1,对于任意的x,yW1有[x1,x]=0.对于[x+iy]∈1,有[x1,x+iy]=[x1,x]÷i[x1,y]=0.由此可知1的中心不为0,这与条件1是完备李代数相矛盾,因此1的中心为0.对于任意一个导子D∈Der(1),定义一个线性映射DeEnCI(1)为D(a+ib)=D(a)+iD(b),Da,b≡1.对于任意的a1,a2,b1,b2∈1,利用(1)式可以得到D([a1+ib1,a2+ib2])=D([a1,a2]-[b1,b2])+iD([a1,b2]+[b1,a2]). 另一方面,有[D(a1+ib1),a2+ib2]+[a1÷ib1,D(a2+ib2)]=[D(a1)+iD(b1),a2+ib2]+[a1+ib1,D(a2)+iD(b2)]=D([a1,a2]-[b1,b2])+iD([a1,b2]+[b1,a2]).结合⑵和⑶两个式子可以发现D([a1+ib1,a2+ib2])=[D(a1+ib1),a2÷ib2]+[a1+ib1,D(a2+ib2)]. 由导子的定义可以得到D是1的一个导子.又由于1是完备李代数,存在一个元素M=m1+im2∈1满足D=adM,其中m1,m2∈1.因此对于任意的a∈1,可以推出D(a)=D(a)=adM(a)=[m1+im2,a]=[m1,a]+i[m2,a].从而m2=0,D(a)=[m1,a]=adm1(a),进而得出D=adm1,即D为1的内导子.因此1是完备李代数.(ii)必要性.假设1是完备李代数,则1的中心为0,易知1的中心也为0.那么接下来只需要证明1的导子都是其内导子.对于任意的导子D∈Der(1),存在两个线性映射D1,D2∈End(1)使得D(a)=D1(a)+iD2(a),Va∈1.对于任意的a,b∈1,由⑷可以推出D([a,b])=[D(a),b]÷[a,D(b)]=[D1(a)÷iD2(a),b]+[a,D1(b)+iD2(b )]=[D1(a),b]÷i[D2(a),b]÷[a,D1(b)]÷i[a,D2(b)].又由于D([a,b])=D1([a,b])+iD2([a,b]),可以得出D1([a,b])=[D1(a),b]+[a,D1(b)],D2([a,b])=[D2(a),b]+[a,D2(b)].这说明D1,D2都是1的导子.即存在X,Y∈1,使得D1=adX,D2=adY.将其代入(4)可知D(a)=D1(a)÷iD2(a)=adX(a)+iadY(a)=(adX+ad(iY))(a).即D=ad(X÷iY),那么1的导子就是其内导子,再根据1的中心为O可得1是完备李代数.4定理3的证明证(i)必要性.假设n是实可完备化原零李代数,也就是说,存在一个有极的实可解完备李代数1.根据定理2可以直接得出,实可解完大嘉零理想n备李代数1的复化可解李代数1也是完备李代数.注意到[1,1]un,那么根据定理1,n是1的原零根基,这就意味着n是一个可完备化嘉零李代数. (H)充分性.假设h是实嘉零李代数n上的一个极大环面子代数,也就是由半单线性变换构成的Der(n)的极大交换子代数.令1h㊉n为实可解李代数,[h1+x1,h2+x2]=h1(x2)-h2(x1)+[x1,x2]n,h1,h2∈hjx1,x2∈n.设1=hΦn是1的复化可解李代数.根据假设,n是可完备化嘉零李代数,即存在一个复可解完备李代数s1=h1Θn.注意到h是n的一个极大环面子代数.根据文献[11],h和h1在Der(n)的内自同构下是共朝的.这说明李代数1同构于完备李代数si,因此1是完备李代数.现在根据定理2,1是完备李代数.因为n是1的嘉零根基,所以n是实可完备化嘉零李代数.5结论文中利用复化李代数的导子性质,证明实李代数及其复化具有一致的完备性.结合复可解完备李代数的结构,又给出实嘉零李代数及其复化具有一致的可完备化性.完备性作为李代数的一种同构不变量,本文结论可把实完备李代数的研究转化为复完备李代数的研究,在实李代数的结构及其分类研究中具有一定意义.致谢作者非常感谢相关文献对本文的启发以及审稿专家提出的宝贵意见.。
有理数如何扩展到实数
1022018年37期总第425期ENGLISH ON CAMPUS有理数如何扩展到实数文/肖雨伶【摘要】微积分理论是数学的一个基础学科。
它的内容主要包括极限、微分学、积分学及其应用。
微分学包括求导数的运算,是一套关于变化率的理论。
它使得函数、速度、加速度和曲线的斜率等均可用一套通用的符号进行讨论。
积分学,包括求积分的运算,为定义和计算面积、体积等提供一套通用的方法。
微积分的理论是建立在实数数域的完备性基础之上,在这篇论文中,我们讲从完备化这个基本概念出发,去探讨如何从有理数域通过完备化的过程扩展到实数数域。
【关键词】有理数;实数【作者简介】肖雨伶,成都七中万达学校。
一、动机实数数域,包含有理数与无理数,前者如0、-4、81/7,而后者如√2、π等。
直观上说,实数可以理解成小数(有限或无限的)。
如果我们把一条直线理解成一个实数数轴,直线上的点一一对应于一个特定的实数,那么它们似乎可以把数轴“填满”。
但仅仅以枚举的方式不能准确地描述实数的全体。
实数和虚数共同构成复数。
根据日常经验,有理数域在实数数轴上似乎是“稠密”的,于是古人一直认为用有理数即能满足测量上的实际需要。
以边长为1公分的正方形为例,其对角线有多长?在规定的精度下(比如误差小于0.001公分),总可以用有理数来表示足够精确的测量结果(比如1.414公分)。
但是,在公元前500年左右,古希腊毕达哥拉斯学派的数学家发现,只使用有理数无法完全精确地表示这条对角线的长度,这彻底地打击了他们的数学理念;他们原以为:任何两条线段(的长度)的比,可以用自然数的比来表示。
正因如此,毕达哥拉斯本人甚至有“万物皆数”的信念,这里的数是指自然数(1 , 2 , 3 ,...),而由自然数的比就得到所有正有理数,而有理数域存在“缝史上被称为第一次数学危机。
从古希腊一直到17世纪,数学家们才慢慢接受无理数的存在,并把它和有理数平等地看作数;后来有虚数概念的引入,为加以区别而称作“实数”,意即“实在的数”。
浅谈完备化学教学设计的几点做法
~
l2 4 —
、
进 行 了论 述 。
关键词: 完善; 学教学 ; 学设计 化 教
化学教 学系统的设计 是化学 教学工作 中 考虑如何使用 幽默风趣的语言 ,及如何把握教 更新步伐是十分必要 的。 “ 要给学生一碗水 , 教师先要有 一桶水” 。 最基本的环节, 根据化学教学 目的 、 教学任务 和 学中学生的情绪 ,来 调控课堂使学生 的思维保 教学 目标 , 结合化学教学 内容 、 学生的实际水平 持 兴 奋 活泼 状 态 。 可是在课改的今天 , 作为课程实施者的教师 , 一 3 对演示实验有 充分的准 备 桶水 已远远不够 ,今天的教师需要具备的是 源 和具体情况 。 以及教学条件和环境 , 对不 同层次 的化学教学 系统 ,规划出 自己的教学行为和学 演示实验是 化学课堂教 学非常重要 的一 源不断的 自来水 。 化学作为一门基础 自然学科 , 是最有效的直观教学方法之一 。 它是在 在 2 世纪将继续展示其无穷 的魅力 , l 在提升学 生的学习行为 ,并预测在教学过程 中可能引起 个环节 , 的教与学 的效果。完备的教学系统 的设计是学 全班学生面前 , 由教师本人来进行 的化学实验。 生科学素养方面的作用是显而易见的。苏霍姆 教师 的知识越深 , 视野 越宽广 , 各 生提高课堂效率的保证。下面结合本人多年的 学生就是在教师直接指导下 ,学习化学实验的 林斯基说过 , 化学教学实践 ,来谈谈如何做 出完备的教学设 操作方法 ; 学习、 观察化学反应所发生的现象的 方 面 的科 学 知 识 越 宽厚 ,他 就 在更 大 程 度 上 不 方法 ;学习怎样从所观察到的现象的基础上形 仅是一名教师 , 而且是一位教育者。 任何一种能 计。 1 熟 练 地掌 握 教 材 、 要 成化学概念 ; 或是 概 括 出 某些 结 论 的 方 法 , 示 力的形成 , 演 都是以一定 的知识作为前提条件的。 因此只有加强学习, 不断扩充知识面 , 具有广泛 教材是课堂教学 的主要依据 , 教师要对教 实验的效果往往胜过讲述。 演 示 实 验 的 成 功 与 否 将 直 接 影 响 教 学 进 的知识 , 材高度稔熟 ,对教材相 关的知识点做到博学精 才能对学生进行解惑, 随机应变地处理 通, 心中有数。教学设计 时, 首先要明确教学 目 度和教学效果 , 教师在准备演示实验时, 应该遵 课堂教学中发生 的问题。 标。要分析教学对象 , 研究教学环境, 既要掌握 循 以 下几 点 : 总之 ,教学设计要有正确 的价值取 向, 扬 a. 演示 的对 象是学生 , 仪器 的位 置不要妨 弃传统模式中面面俱到的设计套路 , 创新 的 用 本质学情 , 又要掌握具体学情 , 在此基础上确定 教学 目标 。这种教学 目标 , 不是那种含糊的 、 笼 碍学生 的视线 , 使全班学生都能看清楚 , 演示还 精神搞好教学设计。 在提倡“ 解放学生的” 同时, 也要在教学设计上解放教师 ,使备课 和教学设 统的要求或详细的知识 内容的罗列 ,而应是本 应从解释仪器开始。 单元教师组织教学活动的指导思想 ,以及注意 b演 示 的 目的 、 求 必 须 明确 , 示 前 要 检 计更好地服务予学生、 . 要 演 教师 , 使教学设计更具实 对教材 内容 的前后联系 ,这样才能 回答和处理 查 复 习一 下 有关 的基 本 知 识 , 以达 到 理 论联 系 用 性 和创 新 性 , 现 代 教 育 气息 。 更具 学生 就 教 材 内容 提 出的 疑 问 ,也 才 能 就 教 学情 实 际 , 践 检 验理 论 , 实 验起 到 加 深 巩 固理 论 实 使 况变 换 教 学 方 法 。 如 , 学 中 经常 出现 这样 的 的 目的 。 例 教 情况 : 教师提出一个问题 , 学生一时答不上来 , c 检查 仪 器 装 置 是 否 正 确 无 误 、 排 妥 . 要 安 卡壳 了, 怎么办?或放缓思考的坡度 , 或化难为 当。用品和试剂是否失效 , 溶液浓度是否适 当, 易, 或变换角度等 。 这些都必须熟悉教材才能办 用品是否齐全 。即使是 一些细枝小节也要加 以 到。 注意 , 如弯 曲得不好 的玻璃管 ; 大小不配合的软 其次 , 确定 教学 内容 。教师必须深人钻研 木塞 ; 高低不合适的仪器装置 ; 大小不相称的零 教材 , 全面熟悉掌握教材的 内容 , 在了解学情的 件 ; 垫得过高的酒精灯等 , 都会 给学生 留下不 良 基础上 , 整理 出本单元的重点、 点。教师要根 的 印象 , 器 的 明亮 清 洁 也是 很 重 要 的 , 器 的 难 仪 仪 据教学大纲 的要求及学生的实际情况确定教学 大小和物质的用量要相符合。 水平、 深浅难度、 知识范围、 能力要求等。 把教学 d顶 做 一次 实 验 是 很有 必 要 的 。 这 可 以更 . 内容分解成各个知识点 ,建立教学内容和教学 有 把 握 地 进 行课 堂 教 学 ,还 可 以 观 察 一 下 实验 水平的详细计划或明细规格表 。为了更好地教 的效果是否良好 , 实验时间是否适宜 , 从实验 并 授这些教学内容, 教师应设计成一定的、 清晰 明 效 果 的 直 观性 强 、实验 简易 快 捷 以及 确 保 实 验 确 的知识结构形式 , 指导学生进行学习, 帮助学 安 全 等前 提 下做 好 准备 。 e. 生迁移知识, 形成技能, 发展能力。 演 示 桌上 仪 器 和 试 剂 的 放 置 位 置 , 要 既 2 熟悉学生情况 要 整齐、 观, 美 培养学生整洁 、 条理的好 习惯 , 又要 新 课标强调 了教服务于学, 把学生置于教 便于操作 , 并不妨碍视线。 学的出发点和核心地位 , 以学生为 主体。因此, f 示 B , 须 随 时 注 意 安 全 , 不 断 对 学 演 寸必 并 要 研究 学 生 的 需要 ,了 解 学生 的现 有 水 平 和情 生进 行 安 全 和 爱护 公 物 的 教育 ,如 在 仪 器 的 安 感态度 , 准确把握学生的现状 。 教师在上课前必 装与操作上 ,以及药品的用量等方面都要加以 须通过各种渠道了解学生 的知识能力基础和兴 说明, 任何不幸事故的发生和药品的浪费现象 , 趣爱好等方面的情况 , 把握学生的思维动向。 对 教师都负有很大的责任。 同一个问题 ,由于每个学生知识基础和思考 的 g演示 实验完毕后 , . 教师要 引导学生把演 角度不同 , 会有不同的看法 。 这就要求教师要注 示实验时观察到 的现象进行分析 、 比较 、 综合 , 意把握学生思维的脉搏 ,关注学生认识发展的 得出正确 的结论。 动 向。 4加强学习 , 不断扩大知识碡 i 制 造 氛 围 , 情 境 。上 课 时 , 创设 学生 的注 意 教育工l是…种“ f f 一 超 ” 事业 。 师要 为 的 教 力集中的时问是有限的 ,沉闷的课堂气氛难以 社 会 的未 来 培 养 有 用 人才 ,就要 始 终 站 在 当代 激发学生 的思维,但过于喧哗的课堂又难以使 知 识 发展 的 “ 沿 ” 用 最 新 的 知 识 不 断武 装 自 前 , 学 生 冷静 思 考 , 教 师 在进 行 教 学 设 计 时 , 因此 要 己 。 “ 识爆 炸 ” 现代 社 会 , 师加 快 知 识 在 知 的 教
2.3-距离空间的可分性与完备性
设xi(k)xi (k) (i=1,2,…,n) , 令x=(x1,…,xn)Rn
Rn按欧氏距离构成的欧氏空间是完备的.
{xi(k)}是基本列, 因而{xi(k)}收敛
>0, N,当k>N, j时,有
例6 空间Lp[a,b]、lp、 l (or m)、c 均为完备的距离空间。
例6 l p(p1)与c 都是可分的. (有理点集A={x=(x1,…,xn,0,…)|xiQ}在lp (p1)和c中都处处稠密)
例7 设X是离散距离空间, 证明X 可分X是可数集
证:在离散距离空间中设有稠密真子集,所以X中唯一的稠密子集只有X自身。 故X 可分X可数。
注:可见并非所有的距离空间都是可分的。
3. 完备距离空间的两个基本定理
定义5 (稀疏集与第二纲集)设X是距离空间 1)若X中任一个球都含有某一个球,使后者不含A的点,则称A为X中的稀疏集(疏朗集)。 2)若A=An,每个An都在X内稀疏,则称A是在X内的第一纲集, 而X内的非第一纲集的集合称为第二纲集. 注:1°在稀疏集定义中,“任意球”可以是开球或闭球. 2°在R中,有理数集是第一纲集,而无理数集是第二纲集。
注 证明一个距离空间X不完备,通常有两种方法: 1) 构造X中的一个基本列,然后说明该基本列在X中无极限; 2) 直接构造X中的一个极限函数不属于X的收敛点列,该点列一定是X中的基本列 。
定理1 (完备距离空间的性质) 设X是完备距离空间, 1){xn}是基本列{xn}是收敛点列xX, 使xnx 2) FX, F是X的闭子空间F是X的完备子空间 证:1)“充分性” 设{xn}X, xX,xnx >0, N>0, 当n>N时, (xn,x)</2 当n>N, m>N时, (xn,xm)(xn,x)+(x,xm)< {xn}是基本列 “必要性” 设{xn} X是基本列, X完备{xn}X是收敛点列 (完备性定义) 2)“必要性” 设{xn}F X是基本列,F是X的闭子空间. X完备,{xn}是基本列 xX, 使xnx (n) F闭 xF ′=F{xn}在F中收敛F完备 “充分性” 设F完备. {xn}F,xnx {xn}F是基本列, F完备xF F是闭的。
度量空间的完备化
度量空间的完备化度量空间是数学中重要的概念之一,它是一种能够度量元素之间距离的数学结构。
在实际问题中,我们常常需要考虑一些不完备的度量空间,即存在一些收敛序列却不收敛于该空间中的点。
为了解决这一问题,数学家们引入了完备化的概念,通过对不完备度量空间进行扩展,构造出一个完备的度量空间,使得原空间中的收敛序列在完备化空间中也能收敛。
本文将介绍度量空间的完备化的概念、构造方法以及完备化空间的性质。
一、度量空间的完备化概念在介绍度量空间的完备化之前,首先需要了解度量空间的定义。
度量空间是一个集合X和一个从X×X到非负实数集合R上的映射d组成的数学结构,满足以下性质:1. 非负性:对于任意的x, y∈X,有d(x, y) ≥ 0,且等号成立当且仅当x = y;2. 同一性:对于任意的x, y∈X,有d(x, y) = 0当且仅当x = y;3. 对称性:对于任意的x, y∈X,有d(x, y) = d(y, x);4. 三角不等式:对于任意的x, y, z∈X,有d(x, z) ≤ d(x, y) + d(y, z)。
若度量空间X中的每一个Cauchy序列都收敛于X中的某一点,则称X为完备度量空间。
而对于不完备的度量空间,我们可以通过构造一个完备的度量空间来扩展原空间,这个扩展的过程就是度量空间的完备化。
二、度量空间的完备化构造方法对于给定的度量空间X,我们可以通过以下步骤构造其完备化空间: 1. 构造Cauchy序列空间:首先定义一个等价关系∼,对于X中的两个序列{xn}和{yn},若它们的距离序列{d(xn, yn)}是Cauchy序列,则称{xn}∼{yn}。
将所有与X中元素等价的Cauchy序列构成一个集合,记为X*。
2. 定义等价类之间的距离:对于X*中的两个等价类[x]和[y],定义它们之间的距离为limn→∞d(xn, yn),其中{xn}∼[x],{yn}∼[y]。
3. 完备化空间的构造:以X*中的等价类为点集,以步骤2中定义的距离为度量,构造一个新的度量空间Y,称为X的完备化空间。
度量空间的完备化定理
度量空间的完备化定理度量空间的完备化定理,听起来有点高大上,对吧?这个概念就像是一个人在拼图,拼图中缺少了几块,但我们知道,拼图的完整性是多么重要。
想象一下,你在玩一个拼图,突然发现有一块卡在沙发缝里了。
哎呀,心里那个急啊!完备化定理就是解决这种心急如焚的感觉的。
简单来说,它帮助我们在不完美的度量空间中找到缺失的部分,让我们能够安心地完成整个拼图。
什么是度量空间呢?这就像你有一个漂亮的花园,每一朵花都有自己的位置,彼此之间有一定的距离。
度量空间就帮我们定义了这些距离,比如说,花朵之间的间隔是多大。
可是,有时候这花园并不完整,有些花可能缺席,或者说那些花的位置不够优雅。
完备化的过程就是把这些缺失的花找回来,让整个花园焕然一新。
想象一下,你在一间图书馆里,书架上摆满了书,但你发现有几本书没有归位。
完备化就是把这些书找回来,放在正确的地方,让整个图书馆看起来完美无瑕。
这个过程很像我们生活中的许多事情。
比如说,你在聚会上缺少一个人,大家的热情稍微降低了。
完备化就像是把那个缺席的人找回来,聚会一下子热闹起来。
你可能会问,完备化定理有什么用呢?这玩意儿特别重要!就好比你在学校学的数学,很多时候你会发现自己在解决问题时,有时候会遇到一些“缺陷”的情况。
比如说,有些数是无理数,有些数又是无穷的。
完备化就像是给你提供了一把钥匙,打开了更高层次的数学大门,让你能解决更复杂的问题。
让我们再深入一点,完备化还有个特别的地方,就是它让我们能够用更简单的方式来理解复杂的概念。
就好比你在看一部悬疑电影,最后的揭晓让你恍若大梦初醒。
完备化就是帮助我们把所有的线索串联起来,让我们看到更完整的画面。
这种感觉就像是在黑暗中摸索,突然灯亮了,一切都变得清晰可见。
此外,完备化在实际应用中也有很大的帮助。
比如说,在计算机科学中,我们需要处理的数据常常是不完美的。
通过完备化,我们能够在不完整的数据中找到可靠的信息,像是从一堆垃圾中找到一颗闪闪发光的宝石。
度量空间(距离空间)
《度量空间》读书笔记金融数学10本 黄小听 17号关键词:度量空间 距离 连续映射 可分性 列紧性 完备性 完备化在数学分析中,当实数集R 中点列}{n x 的极限为x 时,用||x x n -来表示n x 与x 的接近程度。
实际上,|x x |n -可表示为数轴上n x 与x 这两点间的距离。
那么R 中点列}{n x 收敛于x 也就是指n x 与x 之间的距离随着∞→n 而趋于0,即0),(lim =∞→x x d n n 。
于是设想在一般的点集X 中如果也有“距离”,则在点集X 中也可借这一距离来定义极限,那么究竟什么是距离呢?一 度量空间的定义定义1.1 设X 是一个非空集合,若存在映射R X X d →⨯:,使得X z y x ∈∀,,,均满足以下三个条件:(1)0),(≥y x d ,且0),(=y x d 当且仅当y x =(非负性);(2)),(),(x y d y x d =(对称性);(3)),(),(),(z y d y x d z x d +≤(三角不等式),则称d 为X 上的一个度量函数(或距离函数),),(d X 为度量空间(或距离空间),简记为X 。
注:若X 为度量空间,Y 是X 的一个非空子集,则Y 也是一个度量空间,称Y 为X 的子空间。
例1-1 n 维欧氏空间n R 。
解析:n 维欧氏空间n R ,n R 表示n 维向量),,,(21n x x x x ⋯=。
对于n R 中任意两点),,,(x 21n x x x ⋯=,)y ,,,y (y 21n y ⋯=,定义: 21]||[),(12∑=-=n i i i y x y x d 易证)y x d ,(满足距离的条件,且其中的三角不等式为:≤-∑=21]||[12n i i i z x 21]||[12∑=-n i i i y x +21]||[12∑=-n i i i z y 因此,),(d R n 是度量空间,其中d 称为欧几里得距离。
模糊系统知识模型的一致性与完备化
0 引言
本文 在对 模 糊 系统 知 识 模 型描 述 、 识 模 型 知 上 的单点关 系和 复合关 系及其 近 似与 度量 研究 的 基 础 上 , 模糊 系统 知 识 模 型 的一 致 性 和 完 备 化 对 展 开讨 论 . 于一个 不 一致 的模 糊 系统 知识 模 型 , 对 由于规 则集 中存 在着 相 互 矛盾 的规 则 , 对 同 一 故 个 系统 输入 会 产 生不 一 致 的 系统 输 出 , 在控 制 这 系统 中是不 允许 . 因此 一 致 性 是 对模 糊 系 统 知识 模 型 的一项 基本 要求 。 . J 而模 糊 系统 知识 模 型 的
,
£为 标 号集 , 号 表 示下 述序 列 J 符 :
f(Z, 。 … , ), f(Z, ), f(z, , , Y ) … f(1, Y)
将 称为 K 中的第 条规则. M 符号 ( T ) 和符 X
收 稿 日期 :090 —3 2 0 -9 1 基 金 项 目 : 家 自然 科 学 基 金 资 助项 目 (0 7 0 9 国 6 80 0 )
证明在 K Mo中 ON㈤ ( /N Y ) =0 设 ID L I D( ) l .
LI D( )= {c ,… ,C } 由于 对 任 意 的 Z f /N Y , f 、
在 表 2给 出 的 K 中有 : M
∈ L, 、 i ^ ∈ { L I D( ) ,当 且 仅 当 fl f j :C /N Y }
(. )A , ,l , T : 4, ( T :2 。 ,。 ) , , A A 1
即 (, ) = ( T ) t .但有 :
( T ):( t ,. M 是所有不一致规则构 Y ) 因K o l 成的模型 , 所以对任意的 f∈L , 、 。若 t )=
论向量拟尺度空间的完备性
集x≠咖 ( . : , x, > 拓扑空 间 , 是 拓 扑 ; ( 巩 r . 『 儿 或
() ; 丁 ) x的邻 域 ( 包含 x 的开 集 ) 。( : 族 ) 只含元 的
个 7 C列 都依 丁收敛 , 说 序列完 备 的。 _ 一 则 是
定 义 2 -( 6 , X- x,) ) (是x的网 , 如果 对 Ve0 >,
,
集 ; 集 G的闭包 。6 拟尺度 , x 8=弓 ( 弓 < G: : o< ,> {l ,) 6 £,> ;定 义的拓扑简称 艿拓扑 ,x6 :拟尺 度空 )e 08 ( ,) 间 。< K)向量空 间 , 数乘域 , x, : K是 0是零元 。< x, K,)向量拓扑 空间 , 向量拓 扑 , 又记 成 r: r是
VV∈ , 锄 , j 使 ≤ < j 一 则说 ( EV, ) 依 r收敛 于 , 成 ) 。如果 每个 . c网都依 记 ( r — .收敛 , r 则说 义 是一致 完备 的 。
特 别 ,如 果 每 一 个 有 界 的 r C 网 (( 对 — 即
n t : o 。于是 , r { l 2Ⅳ} < 时 , < =' x ∈U O ̄ a 当 Ⅳ, , 3 Ⅳ ≤n t O
q + , ) oucI 命题 J成立 。 = n (, l 广 EU  ̄,
由[]P 2 定 理 1直 接得 1,2 , ,
推 论 1 < K,) , . 的 — r c列是 有界 的 。
摘 要 : 向量 空 间( ) 的平衡 不 变拟 尺度, 6是 x, 上 它定义 向量拓 扑, r 。把 8延拓成 8 , ( 8 的 }得 ,) 完备 化 空 间( , ;} ( K> x 8>8 在 x , 上定 义 向量拓 扑 f ,x K, 又成 为 ( , T 的一 致 完备化 空 ( , 8> . K,> x 间。把 下 拓成 T , ( K,) 一致 完备 化 空间 ( , T ) 同上 法把 8延拓 成 上的 8 ,% 延 得 x, T的 K, ; }8 定
2019-2020-数的创生(二)赋值完备化-范文模板 (6页)
本文部分内容来自网络整理,本司不为其真实性负责,如有异议或侵权请及时联系,本司将立即删除!== 本文为word格式,下载后可方便编辑和修改! ==数的创生(二)赋值完备化这一节说说从有理数产生新数的另一个途径:从有限到无限。
这个概念我们在小学就已经比较熟悉了,就是从有限小数或者循环小数到无限不循环小数的扩张。
然而,要说清楚这个概念,我们最好还是从更基本的概念开始,即,什么是整数,什么是小数。
0. 人类发明数字之前,整数是通过物件来表示的。
这种方法在表示前面一些整数的时候还算方便,但如果数太大了,就很不方便。
这就是“进位制”起作用的地方。
人类用自己的十个手指头计数,计到十以后,做下标记,表示所有指头都用过一遍了,然后就可以再使用它们继续计数。
每用完一次,就做一个标记,而标记的个数同样可以用手指来计,如果超过十个标记,就做一个新类型的标记,这表明所计的数已经超过一百。
这就是把一个整数写为十进制数字的过程。
下面这个表是把第一行的黑桃代表的整数表示为 3-进制数。
祖先一直使用十进制,以至于我们离开十进制就无法举出具体例子。
现在我暂时采用一种非十进制的数字体系,即以下列方式写出前几百个自然数:零、壹、贰、叁、肆、伍、陆、柒、捌、玖、拾、赵、钱、孙、李、周、吴、郑、王、...... 那么以下这个具体例子说的就是把整数“吕” 表示为“叁”-进制数,吕 = [壹零壹贰]叁现在从抽象的角度解释一下把整数表示为拾-进制数字的过程。
1. 将一个正整数表示为拾-进制数:做欧几里得除法: n = n1 × 拾 + b0, 要求0 ≤ b0< 拾. 其中 n1 称为“商数”而b0称为“余数”。
接着对商数应用欧几里得除法, n1 = n2 × 拾 + b1. 继续这么做下去,直到某一步 k, 商数满足 0< nk<10, 如果再做欧几里得除法,nk = 0 × 拾 + bk, 我们不再得到更多的商数. 现在我们把过程中所有的“余数” 收集起来,就得到了n的拾-进制展开 n=bk...b1b0 . 用一个复杂的公式来表示以上过程,就是n = (...((bk×拾+bk-1)× 拾 +bk-2) × ... ) × 拾+ b0 = bk × 拾k + bk-1 × 拾k-1 + ... + b1×拾 + b02. 以上过程可以用来得到正整数的任何 m-进制展开, 只要在过程中把“拾”换成 m.比如, 取拾-进制数112, 记为 [112]拾, 我们想把它展开为 6-进制数: 为方便起见,我们还是用熟悉的拾-进制数来记录运算过程, 112=18 × 6 + 4, 接着对商数做欧几里得除法18=3×6 + 0, 再做除法3=0 × 6 + 3. 现在商数为零,过程结束,收集过程中的余数我们得到 [112]拾=[304]63. 从用桃杏梅方表示的那个例子可以看到,石器时代的人类其实已经可以做欧几里得除法了。
管理制度的完备设计与运行机制优化
管理制度的完备设计与运行机制优化在一个组织或机构中,管理制度起着至关重要的作用,决定着组织的运行效率和效果。
管理制度的完备设计和运行机制的优化是一个具有挑战性和复杂性的任务。
本文将从多个角度探讨管理制度的完备设计和运行机制的优化。
一、提高管理制度的科学性与实用性管理制度的科学性和实用性是其完备设计的基础。
首先,管理制度要能够适应组织的需求和特点,与组织目标相一致。
其次,管理制度要基于科学的理论和经验,确保其能够有效地帮助组织实现目标。
最后,管理制度要具备操作性,能够在实践中得到贯彻执行。
二、加强管理制度的制定过程管理制度的制定过程应该是一个广泛参与和协商的过程。
各相关部门和人员应该获得机会参与制度的讨论和制定,以提高制度的适用性和可执行性。
同时,在制定过程中,应该充分借鉴和吸收其他组织的成功经验,不断完善制度的设计。
三、建立健全的管理流程管理制度的设计应该围绕管理流程展开。
针对不同的管理环节,需要制定相应的流程和规范。
流程要清晰明确,方便操作。
规范要详细具体,避免模糊和不确定性。
通过建立健全的管理流程,可以提高管理效率和减少管理风险。
四、完善管理制度的监督机制监督机制是保障管理制度运行的关键。
监督机制应该具备准确、及时、有效的特点。
一方面,监督机制需要明确责任和权力的界定,确保监督工作的有效进行。
另一方面,监督机制要注重信息的收集和分析,及时发现和纠正制度的问题。
五、提升管理制度的培训与培养管理制度的完备设计还需要与培训和培养相结合。
组织应该给予员工培训和学习的机会,提高员工对管理制度的理解和运用能力。
同时,组织要注重培养员工遵守制度的意识和自我约束能力,使管理制度得到更好的贯彻执行。
六、充分发挥信息化技术的作用信息化技术在管理制度中的应用可以提高工作效率和信息透明度。
例如,可以利用信息化技术建立统一的管理平台,方便各部门之间的协同办公和信息共享。
此外,通过信息化技术,还可以实现对制度执行情况的实时监控和数据分析,为制度的优化提供依据和支持。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
泛函分析题1_2完备化p131.2.1 (空间S) 令S为一切实(或复)数列x = ( ξ1, ξ2, ..., ξn, ... )组成的集合,在S中定义距离为ρ(x, y) = ∑k ≥ 1 (1/2k) · | ξk -ηk |/(1 + | ξk -ηk | ),其中x = ( ξ1, ξ2, ..., ξk, ... ),y = ( η1, η2, ..., ηk, ... ).求证S为一个完备的距离空间.证明:(1) 首先证明ρ是S上的距离.ρ的非负性和对称性是显然的;因为实函数f (t) = t /(1 + t ) = 1 - 1/(1 + t )在[0, +∞)严格单调增,故对任意a, b∈ ,有| a |/(1 + | a |) + | b |/(1 + | b |)≥ | a | /(1 + | a | + | b |) + | b |/(1 + | a | + | b |)= ( | a | + | b | )/(1 + | a | + | b |)≥ ( | a + b | )/(1 + | a + b |),由此可立即得知ρ在S上满足三角不等式.所以,ρ是S上的距离,从而(S, ρ)为距离空间.(2) 设{x n}是S中的一个Cauchy列,记x n = ( ξ1(n), ξ2(n), ..., ξk(n), ... ).则∀k∈ +,(1/2k) · | ξk(n)-ξk(m)|/(1 + | ξk(n)-ξk(m)| ) ≤ρ(x n, x m) → 0 (m, n→∞).,因此| ξk(n)-ξk(m)| → 0 (m, n→∞).故{ξk(n)}n ≥ 1是 (或 )中的Cauchy列,因此也是收敛列.设ξk(n)→ξk ( n→∞),并设x = ( ξ1, ξ2, ..., ξk, ... ),则x∈S.下面证明ρ(x n, x)→ 0 ( n→∞).∀ε > 0,存在K∈ +,使得∑k > K (1/2k) < ε /2.又存在N∈ +,使得∀n∈ +,当n > N时,∀k≤K都有| ξk(n)-ξk | < ε /2.此时,ρ(x n, x) = ∑k ≥ 1 (1/2k) · | ξk(n)-ξk |/(1 + | ξk(n)-ξk | )= ∑k ≤K (1/2k)·| ξk(n)-ξk |/(1 + | ξk(n)-ξk | ) + ∑k > K (1/2k)·| ξk(n)-ξk |/(1 + | ξk(n)-ξk | ) ≤∑k ≤K (1/2k)·| ξk(n)-ξk | + ∑k > K (1/2k)< (ε /2) ·∑k ≤K (1/2k) + ε /2< ε /2 + ε /2 = ε.所以,x n→x ( n→∞).因此S中的Cauchy列都是收敛列,故S为完备距离空间.1.2.2 在一个度量空间(X, ρ)上,求证:基本列是收敛列,当且仅当其中存在一串收敛子列.证明:必要性是显然的,只证明充分性.设{x n}是X中的一个Cauchy列,且{x n}有一个收敛子列{x n(k)},记x n(k) →x.∀ε > 0,存在N∈ +,使得∀m, n≥N都有ρ(x n, x m) < ε /2.n(k)令L = max{K, N},则ρ(x n(L), x) < ε /2,且n(L) ≥L ≥N.当n≥N时,ρ(x n, x n(L)) < ε /2.故ρ(x n, x) ≤ρ(x n, x n(L)) + ρ(x n(L), x) < ε /2 + ε /2 = ε.所以,x n→x ( n→∞).因此{x n}是X中的收敛列.1.2.3 设F是只有有限项不为0的实数列全体,在F上引进距离ρ(x, y) = sup k ≥ 1 | ξk -ηk |,其中x = {ξk }∈F,y = {ηk }∈F.求证(F,ρ)不完备,并指出它的完备化空间.证明:(1) 首先,容易验证(F,ρ)是度量空间.∀n∈ +,令x n = {1, 1/2, 1/3, ..., 1/n, 0, 0, ...},则x n∈F.当m > n时,ρ(x n, x m) = sup k ≥ 1 | ξk(n)-ξk(m)|= max{1/(n + 1), 1/(n + 2), ..., 1/m}= 1/(n + 1) → 0 ( n→∞).故{x n}为F中的Cauchy列.下面证明{x n}不是F中的收敛列.若不然,设x n →x∈F.记x = ( ξ1, ξ2, ..., ξN, 0, 0, ... ).当n > N时,总有ρ(x n, x) ≥ | 1/(N + 1) – 0 | = 1/(N + 1),故ρ(x n, x)不收敛于0,这与前面的假设x n →x相矛盾.因此,{x n}不是F中的收敛列.这就说明了(F,ρ)不是完备的.(2) 从前述的{x n}的构造可以看出,我们可以任意选定一个收敛于0的实数列{u k},令y n = {u1, u2, ..., u n, 0, 0, ...},则{y n}必为F中的Cauchy列.我们设c0是收敛于0的实数列全体,在c0上引进距离ρ(x, y) = sup k ≥ 1 | ξk -ηk |,其中x = ( ξ1, ξ2, ..., ξk, ... )∈c0,y = ( η1, η2, ..., ηk, ... )∈c0.首先我们证明(c0,ρ)是度量空间.事实上,我们只需要证明三角不等式.设x = (ξk), y = (ηk ), y = (ζk )∈c0,则ρ(x, y) = sup k ≥ 1 | ξk -ηk | ≤ sup k ≥ 1 (| ξk -ζk | + | ζk -ηk | )≤ sup k ≥ 1 | ξk -ζk | + sup k ≥ 1 | ζk -ηk | = ρ(x, z) + ρ(z, y).所以,(c0,ρ)是度量空间.显然,(F,ρ)是(c0,ρ)的一个子空间.现在我们证明(c0,ρ)是完备度量空间.设{x n}是(c0,ρ)中的一个Cauchy列,记x n = ( ξ1(n), ξ2(n), ..., ξk(n), ... ).∀k∈ +,因为ρ(x n, x m) = sup k ≥ 1 | ξk(n)-ξk(m)| ≥ | ξk(n)-ξk(m)|,故{ξk(n)}n是 中的Cauchy列,故为收敛列.设ξk(n) →ξk ( n→∞).并设x = ( ξ1, ξ2, ..., ξk, ... ).下面证明x∈c0.n m特别地,ρ(x n, x N) < ε/2.因此,∀k∈ +,有| ξk(n)-ξk(N)| < ε/2.令n→∞,得| ξk -ξk(N)| ≤ε/2.而x N = (ξ1(N), ξ2(N), ..., ξk(N), ... )是一个收敛于0的数列.故存在K∈ +,使得∀k≥K,| ξk(N)| < ε/2.因此,| ξk | ≤ | ξk -ξk(N)| + | ξk(N)| < ε/2 + ε/2 = ε.即x = ( ξ1, ξ2, ..., ξk, ... )为一个收敛于0的数列,因此,x∈c0.下面证明{x n}是c0中收敛于x的点列.∀ε > 0,存在N∈ +,使得∀m, n≥N,有ρ(x n, x m) < ε.因此∀k∈ +,有| ξk(n)-ξk(m)| < ε.令m→∞,得| ξk(n)-ξk | ≤ε.所以,ρ(x n, x) ≤ε.这样就证明{x n}收敛于x.综上所述,我们可以把(F,ρ)嵌入到完备度量空间(c0,ρ)中.最后,我们只要再证明F是c0的稠密子集即可.事实上,对照(2)的开始部分,对于任意x = ( ξ1, ξ2, ..., ξk, ... )∈c0,令y n = {ξ1, ξ2, ..., ξn, 0, 0, ...},则{y n}是F中的点列,而且是c0中的Cauchy列.根据c0的完备性的证明,我们知道,{y n}必然收敛于x = ( ξ1, ξ2, ..., ξk, ... ).所以F在(c0,ρ)中稠密.根据教材p11命题1.2.5,(c0,ρ)是(F,ρ)的完备化.1.2.4 求证:[0, 1]上的多项式全体按照距离ρ1( p, q ) = ⎰[0, 1] | p(x) -q(x) | dx( p, q是多项式)是不完备的,并指出它的完备化空间.证明:记[0, 1]上的多项式全体为P,连续函数全体为C,Lebesgue可积函数全体为L1,则有P⊆C⊆L1.记C上的度量为ρ( f, g ) = max x∈[0, 1] | f(x) -g(x) |.(1) 令f n(x) = arctan( x- 1/2 ),h(x) = (π/2) sign( x- 1/2 ),x∈[0, 1].则f n∈C,且{ f n}在(L1, ρ1)中收敛于h,因此{ f n}是(L1, ρ1)中的基本列.根据数学分析中的Weierstrass定理,P在(C, ρ)中稠密.故∀n∈ +,存在p n∈P,使得ρ( p n, f n) < 1/n.因此ρ1( p n, f n) = ⎰[0, 1] | p n(x) -f n(x) | dx ≤ρ( p n, f n) < 1/n.所以,ρ1( p n, h) ≤ρ1( p n, f n) + ρ1( f n, h) → 0( n→∞).这说明{ p n}是(L1, ρ1)中的收敛列,从而{ p n}是(L1, ρ1)中的基本列.因此{ p n}也是(P, ρ1)中的基本列.假如{ p n}在(P, ρ1)中收敛于g∈P,则{ p n}在(L1, ρ1)中也收敛于g∈P.故g和h是(L1, ρ1)中的同一点(几乎处处相等).显然,h不能与连续函数几乎处处相等,故h∉C,因此h∉P.从而g∉P.矛盾.这样我们就找到了(P, ρ1)中的基本列,而它不是(P, ρ1)中的收敛列.所以(P, ρ1)不完备.(2) 根据实分析中的结论,C在(L1, ρ1)中稠密.设ϕ∈L1.则∀ε > 0,存在f∈C,使得ρ1( f, ϕ) < ε/2.而P在(C, ρ)中稠密,故存在p∈P,使得ρ( p, f ) < ε/2.ρ1( p, f) = ⎰[0, 1] | p(x) -f(x) | dx ≤ρ( p, f ) < ε/2.所以,ρ1( p, ϕ) ≤ρ1( p, f ) +ρ1( f, ϕ) < ε.因此P在(L1, ρ1)中稠密.根据教材p11命题1.2.5以及(L1, ρ1)的完备性得知(L1, ρ1)是(P, ρ1)的完备化.1.2.5 在完备度量空间(X, ρ)中给定点列{x n},如果∀ε > 0,存在基本列{y n},使得ρ( x n, y n) < ε (n∈ +).求证{x n}收敛.证明:只要证明{x n}也是基本列即可.事实上,∀ε > 0,存在基本列{y n},使得ρ( x n, y n) < ε/3 (n∈ +).存在N∈ +,使得∀m, n≥N,有ρ(y n, y m) < ε/3.此时,ρ( x n, x m) ≤ρ(x n, y n) + ρ(y n, y m) + ρ(y m, x m) < ε.故{x n}是基本列,所以{x n}收敛.[第2节完] ∀∃∅-⨯±≠≥·◦≤≡⊕⊗≅αβχδεφγηιϕκλμνοπθρστυϖωξψζ∞∙︒ℵℜ℘∇∏∑⎰ℓ⊥ √§∈∉⊆⊂⊃⊇⊄⊄∠⇒♣♦♥♠§ #↔→←↑↓⌝∨∧⋃⋂⇔⇒⇐∆∑ΓΦΛΩψ∂。