第0章预备知识-山东师范大学数学科学学院—毕业论文选题系统.PDFVIP

山东师范大学数学科学学院 《常微分方程续论》电子教案  第 0 章 预备知识 教学目的与要求： 使同学们理解度量空间的定义、完备性、紧性，赋范线性空间、Banach 空间的定义； 掌握用压缩映像不动点原理及 Schauder 不动点定理证明微分方程初值问题解的存在性 以及某些特殊数列收敛的证明方法。 教学重点，难点： Ascoli-Arzela 定理的证明过程；Banach 压缩映像原理的证明过程及其应用。 教学内容： §1相关符号 集合：通常用大写字母表示，如：A,B,C,…  空集： 基本运算记号：  a ŒM ： 元素a属于集合M ;  a œM ： 元素a不属于集合M ;  ： 集合M 包含于集合 ； ： 集合M 与集合 相等；  M Ã N N  M = N N  M - N ： 集合M 与集合N 的差；M ¥ N ： 集合M 与集合N 的积；  X ： 诸X 之并；  X ： 诸X 之交.  U a a I a a a ŒA  a ŒA  其它符号： ： 对所有的L ； $ ： 存在；  $!：存在且唯一；  __ o W ： 集合W 的闭包； W ： W 的所有内点组成的集合； __ o ： 表示 W- W 即W 的边界；  U(a;d ) ： 点a 的 邻域;  W d A fi B :  由 A 可推出B ； ¤ ： 当且仅当;  N :  表示集合{1,2,3,L } .  +  §2 度量空间 一、度量空间定义 X  X  定义  1.1 设  是一个非空集合. 如果按照某一法则, 对于  中任意二元素 x, y 都有唯 一一个非负实数 r (x,y) 与之对应，且满足下列条件： （i）正定性： r (x,y) 0;r (x,y)= 0¤ x = y;  （ii）对称性： r (x,y)= r (y,x) ; ­ 1 ­  山东师范大学数学科学学院 《常微分方程续论》电子教案  （iii）三角不等式： r (x,y)£ r (x,z)+ r (z,y) ,  z ŒX 则称 r (x,y) 是 x, y 间的距离，并称X 按照r 成为一个度量空间，记作(X ,r ) .  注 （i）、(ii）、（iii）称为距离三公理.  n  例 1  R  (n 维实欧氏空间).  对 x = (x ,x ,...,x ),y = (y ,y ,...,y ) , 定义  1 2