2计算方法第二章数值计算的理论基础(2010-2011学年).pdf

第二章 数值计算的理论基础 泛函分析这门现代数学学科，虽然起源于１９世纪，但形 成一门系统的数学却是 ２０世纪的事；它从早期数学的许多分 枝中抽取精华，并且不断地加以系统化成为更一般的抽象形式。 而数值计算却是一门实用学科，主要以来自实际的数值问题为 研究对象，虽然计算中用了非常复杂的现代工具，但本质上只 是数的四则运算。表面上看来这两门学科没有什么联系，但事 实上数值计算发生革命性变化的原因之一，正是运用了泛函分 析。 本章介绍泛函分析中的一些基本概念。这一方面有利于后 面各章中对数值问题的讨论；另一方面，通过数值问题导出泛 函分析的一些概念，也有利于我们理解泛函分析的一些内容。 科学与工程计算 2. １、距离与极限 2.1.1 距离 距离是常见的概念之一。几何中线段的长度是 其两个端点的距离，一个实数与其近似值的绝对误 差也是距离。仔细研究来自通常距离的一些结论， 会发现它们所依赖的基础——距离定义是很简单 的，如果抛开直观的几何假设，可以把普通的距离 概念推广到任何一个集合中的两个元素。 科学与工程计算 如果把系统的状态看作一个空间中的点，则距离 就是表示两点之间远近的一个数。要使这个数确实反 映出距离的本质，它至少应有下面三个属性： 1、 任意一点到它自己的距离等于零；两不同点之 间的距离大于零； 2、从 x 到y 的距离与从y 到x 的距离相等； 3、 由两点之间直线段为最短引申出来的三角不等 式成立。 科学与工程计算 由此，我们给出距离的定义如下： 定义 1. 设S 是一个非空集合，如果在 S ×S 到R + 上有一个函数d (⋅⋅, ) ，它满足以下条件： （1） d ( x, y ) ≥0; d ( x, y ) 0 =⇔x y （2） d ( x, y ) d (y , x ) （3） d ( x, z) ≤d (x , y ) +d (y , z ) 我们称 d 为S 上的一个距离，称 S 按距离d 构成一个距 离空间，记为(S ,d ) 。在不发生混淆的情况下，简记为S 。 科学与工程计算 上面的定义抽取了通常距离概念中最本质的 内容，利用这定义不但可以描述通常的距离，而 且可以很容易地将这距离概念推广到抽象的距离 空间上。距离是衡量集合中两个元素“相差”多 少的一个量，这种“相差”含义就是广义的距离。 它一般可以根据具体的集合和要讨论的问题来定 义，需要指出的是，同一集合上可以定义出几种 不同的距离。例如，由平面上的二维点组成的集 合Ｓ中，对任意的ｘ，ｙ∈Ｓ，可定义出至少如 下三种距离。 科学与工程计算 x (x , x ) , y (y , y ) 1 2 1 2 d ( x, y ) | x −y | +| x −y | 1 1 1 2 2 2 2 d ( x, y ) x =−y + x −y 2 ( 1 1 ) ( 2 2 ) d ( x, y ) max{| x −y |, | x −y |}