常微分方程补充教程教材.pdfVIP

第一章一般理论

1.1预备知识

一.Banach空间

设X是实数域或复数域F上的线性空间，若X上的实值函数满足下列条

件：

（1）对任何xX，x0，并且x0的充要条件是x0；



（2）xx，F,xX；

（3）xyxy，x,yX，

则称为X上的范数，而称(X,)为赋范线性空间.通常我们略去，而把X

简称为赋范线性空间.

设X是赋范线性空间，对任何x,yX，令

d(x,y)xy，

则是上的距离函数.因此，我们自然地把看成是度量空间.

dXX

完备的赋范线性空间称为Banach空间.

例如n维向量空间Rn,对xx,x,,xRn,定义范数xnx,由

12ni

i1

导出的距离称为Euclid距离,且称n为维Euclid空间,它是一个Banach空间.

Rn

又如连续函数空间C[a,b],对x(t)C[a,b],定义范数xmaxx(t),则

atb

1

b

C[a,b]是一个Banach空间,但C[a,b]按范数x(x(t)dt)22是一个不完备的赋

a

范线性空间.

二.紧集与相对紧集

设为度量空间,是中的子集.

XAX

A为相对紧集(或列紧集)的充要条件是A中任一点列必有收敛子列.

A为闭集(AA)的充要条件是A中任何收敛点列必收敛A中的点.

74

A为紧集的充要条件是A为相对紧闭集(或自列紧集).

在Rn中紧集与有界闭集是一致的,但在一般度量空间中,可以证明,紧集一定

是有界闭集,但反之不然.

于是我们可以把闭区间上连续函数的性质推广到度量空间紧集上的连续映

射上来.例如

1.若是紧集上的连续映射,则在上必有界,而且可以达到上、

fAXfA

下确界.

2.紧集上的连续映射必是一致连续的.

3.度量空间X上的连续映射必然把列紧集映为列紧集.

三.Ascoli-Arzela定理



考虑定义在上的实值(维)向量函数族Ff(t),如果存在,

[,]m