鲁棒控制理论与设计 第二章 泛函空间与逼近理论.pdfVIP

第二章 泛函空间与逼近理论 第二章 泛函空间与系统范数 不确定性系统的研究，其理论性强，分析严谨，许多问题都归结为一个函数空间的优化问题。因此泛 函分析和泛函空间在这里扮演着重要的角色。由于不确定性系统理论的研究涉及到的数学内容很广，本章 的目的也只能向读者提供在本书所研究问题中主要涉及到的有关数学基础知识。本章假设读者已经具备基 本的线性代数、线性系统的知识。本章给出的大多数结果的证明，在许多参考文献中均可查到，但读者在 首次阅读时可以跳过证明。因为作者和读者都倾向于工程领域，因此本章致力于给出有关数学背景知识的 简短但精练的说明，在数学知识中掺杂工程实际问题，以尽量求得其完美的结合。 2.1 Banach 空间和 Hilbert 空间 数学家们观察各种不同领域的问题时，往往采用抽象的方法，把握事物的最本质的核心部分。因此， 抽象的方法是处理数学体系的最简单、最经济的手段。在这种抽象的研究方法中，数学家们是以一个满足 某些公理的集合出发，而集合元素的特征不需指出，由公理导出的一些逻辑结果作为定理而被反复使用。 即，我们以公理体系出发而得到一个数学结构，这个数学结构的理论又以抽象的方法展开讨论。而后，可 把得到的通用定理应用到满足公理体系的各种特殊的集合上去。 在本节，我们将用这种方法来研究抽象空间。这些空间在以后的研究中，都是最基本的。我们不但能 在本学科，也能在其他学科上看到，“空间”这个概念是一个广泛到具有惊人程度的术语，尤其是我们将 会多次提到的 Banach 空间和 Hilbert 空间。 2.1.1 度量空间 度量空间在泛函分析中是最基本的，其在泛函分析中的作用有如实直线 R 在微积分中的作用。 定义 2.1.1 (度量空间，度量) 所谓度量空间，就是指对偶 （X ，d ），其中X 是一个集合，d 是 X 上的 一个度量，即 d 是定义在 X×X 上且对所有 x ，y ，z ∈X 满足以下四条公理的函数： （1）d 是实值、有限和非负的； （2 ）当且仅当x=y 时，d(x，y)=0 ； (2.1.1) （3 ）d(x，y)=d(y，x) （对称性）； （4 ）d(x，y)≤ d(x ，z)+ d(z ，y) （三角不等式）。 在不致引起混乱的情况下，我们常将度量空间（X ，d ）简写成X 。 ■ 例 2.1.1 在 通常见到 的 n 维欧 几里德空 间 E n 中，对于矢量 x T (x , x , L, x ) ∈E n 和 1 2 n y T (y 1 , y 2 , L, y n ) ∈E n ，定义： n d (x , y ) ∑(x −y )2 (2.1.2) i i i 1 可以证明，这样定义的 d(x，y) 满足定义 2. 1.1，即空间为一度量空间。而 d(x，y) 称为欧几里德度量。 例 2.1.2 我们取定义在闭区间 J=[a，b]上的所有连续实值函数 x(t) ，y( t), … 等的集合作为基集X ，用 d (x ,y ) max x (t) −y (t) (2.1.3) t∈J 在X 上定义度量。这样得到的一个度量空间记做为 C[a，b] 。因为 C[a，b]的每个点都是一个函数，所以它 是一个函数空间。 与我们熟悉的实数空间相同，在距离空间中，同样有收敛点列的唯一性，距离对于单个变元 x ，y 的 连续性。