是一个赋范空间。.ppt

赋范线性空间; 令 , 则 满足距离的三个条件,从而赋范空间按此距离成为距离空间,其距离称为由范数诱导的距离. 定义 若 满足 则称点列 依范数收敛于 ,记作; 是区间 上的连续函数全体所成的线性空间.当 时,规定 按范数 成为赋范线性空间.; 空间：E 上关于Lebesgue测度的 p方可积函数空间。 1)按通常的线性运算成线性空间。 定义 2)由Minkowski不等式知， 是一个赋范空间。;设 是一测度空间， 是 上的实值（或复值）函数， ，设 是 上的可测函数，且 在 上是可积的，这种函数 的全体记做 ，简记为 。;空间;注：如果 ，Minkowski不等式一般不成立，从而 不是 上的范数。例如 ，在 中取 因此 不是范数。;空间;空间;; ; ; 和 是 上的两??范数，若 则称 是 等价的。;有限维赋范空间（Minkowski空间） 在代数同构意义下，两个有穷维线性空间等价的充要条件是它们有相同的维数。 两个有穷维线性空间，如果维数相同，那么它们的拓扑之间有什么关系？ 定理 设 有穷维线性空间， 与 都是 上的范数，则 与 是等价的。 表明：具有相同维数的两个有穷维线性赋范空间在代数上是同构的，在拓扑上是同胚的。 ;最佳逼近问题;抽象化处理; 在 上的最佳逼近元? ;严格凸; 是严格凸的, 是 上给定的一组线性无关向量,则 ,存在唯一的一组最佳逼近系数 适合;Banach空间;例（P75） ; ; ;例 是 上一切多项式的全体所成的线性空间，定义范数 从而， 是赋范线性空间，但却是不完备的。另一方面， 在完备空间 内稠密。故 完备化空间是 。; 从赋范空间完备观点来看，由于 是在 中稠密(当然稠密是按 中距离来说的)的子空间，而 是完备空间，但 关于范数 并不完备，所以 不过是 按 的完备化空间。; 度量空间的完备化(以及后来进一步发展起来的具有一致结构的拓扑空间的完备化)，可以毫不夸张地说是整个分析数学的一个重要而基本的思想和方法。由有理数产生实数是这个思想的最早的体现。由Riemann积分扩充为Lebesgue积分，实质上与由连续函数空间完备化为勒贝格可积函数空间是一回事。