常微分方程补充教程.docVIP

第一章 一般理论 1.1 预备知识 一 .Banach空间 设是实数域或复数域上的线性空间，若上的实值函数满足下列条件： 对任何，，并且的充要条件是； ，； ，， 则称为上的范数，而称为赋范线性空间.通常我们略去，而把简称为赋范线性空间. 设是赋范线性空间，对任何，令 ， 则是上的距离函数.因此，我们自然地把看成是度量空间. 完备的赋范线性空间称为Banach空间. 例如 n维向量空间,对,定义范数,由导出的距离称为Euclid距离,且称为维Euclid空间,它是一个Banach空间. 又如连续函数空间,对,定义范数,则是一个Banach空间,但按范数是一个不完备的赋范线性空间. 二 . 紧集与相对紧集 设为度量空间, 是中的子集. 为相对紧集(或列紧集) 的充要条件是中任一点列必有收敛子列. 为闭集的充要条件是中任何收敛点列必收敛于中的点. 为紧集的充要条件是为相对紧闭集(或自列紧集). 在中紧集与有界闭集是一致的,但在一般度量空间中,可以证明,紧集一定是有界闭集,但反之不然. 于是我们可以把闭区间上连续函数的性质推广到度量空间紧集上的连续映射上来.例如 若是紧集上的连续映射,则在上必有界,而且可以达到上、下确界. 紧集上的连续映射必是一致连续的. 度量空间X上的连续映射必然把列紧集映为列紧集. 三. Ascoli-Arzela定理 考虑定义在上的实值(维)