第四章广义测度论的特殊领域中文版.docVIP

第四章 广义测度论的特殊领域 4.1 概述 如在本书所了解的术语“广义测度论”有两个极端界定——加性测度或带号加性测度的经典理论在一个极端，广义测度或带号广义测度的理论在另个极端。当然在这两个极端之间有许多测度理论。它们以不要求可加性但也不是完全广义的测度为基础。第三章介绍了在这个范畴的测度的三个主要形式。它们是单调测度以及它们的大子类：超加性和次加性测度。这章的目的是通过介绍它们的各种子类来进一步推敲测度的这些大子类。我们主要注意在文献中已很好建立的那些子类。 在4.2节，我们从文献中作为各阶的Choquet容度说到的一个重要的测度族开始。在按照它们的解释以及有序的容量线性地排列它们的情况下，由这个族俘获的测度类是有效的。在某种意义上，测度的这个族是广义测度论的核心。这个族的测度类是以测度的其它类按照在广义测度论中的作用比较为基准。 在4.2节介绍测度的这个重要族后，我们回到经典测度论，并检验如何推广它的各种方法。首先，我们在4.3节借助所谓(测度介绍经典测度的简单推广。接下来，在4.4节证明(测度的类是我们称为拟测度的更广测度类的一员。借助可逆变换的特殊形式将这个更广测度类的每个成员与加性测度联系起来。检验拟测度之后，我们在4.5节着手最强的Choquet容度（指(阶的容度）及其对偶测度（指(阶的交错容度）。对偶测度的这些对正规化时，形成不定性的完整高清理论，这就是文献中通常提到的Dempster-Shafer理论。按某个特别方式与Dempster-Shafer理论联系的不定性的另一重要的著名理论是可能性理论。在4.6节介绍并检验以可能性理论为基础的非加性测度。最后在4.7节介绍有限单调测度的一些性质。 4.2 Choquet容度 定义4.1. 给定一个特殊整数，k阶Choquet容度是在可测空间（X，F）上的一个单调测度(，对F中k个集合的所有族满足不等式 （4.1） 其中 由于不等式（4.1）中的集合未必相异，每个k阶Choquet容度也是，阶的。然而，k阶容度不会是更高阶（k+1，k+2等）的容度。因此，对F中集合的所有对满足简单不等式 （4.2） 的2阶容度是最一般的容度。最不一般的就是那些所有阶容度。这些被称为(阶的Choquet容度或完全单调测度。对每个和每个F中k个集合的族，它们满足不等式 （4.3） 了解不等式（4.2）包含定义3.3（当）中对超加性测度所要求的所有不等式不重要，但包含附加不等式（）。2阶Choquet容度(最一般的Choquet容度) 就是超加性测度的一个子类。 定义4.2. 给定一个特殊整数，一个k阶交错Choquet容度是（X，F）上的一个单调测度，对F上k集合的所有族满足不等式 （4.4） 显然，对阶的交错容度的要求比那些阶的弱。对F中所有集合对，满足不等式 （4.5） 要求的2阶交错容度就是最一般的交错容度。另一方面，由不等式 （4.6） 对每个和每个集族定义的(阶交错Chouet容度是最不一般的容度。 很明显，不等式（4.5）的集合对次加性测度（当）包含定义3.4中需要的所有不等式，但包含某些附加不等式（当）。2阶交错Chqouet容度(最一般的交错Choquet容度类)就是次加性测度，反过来则不行。 k阶Choquet容度在文献中通常指的是k重单调测度，同样，交错Choquet容度常被称为k重交错容度。本书全面采用简短名称。为方便起见，非2重单调的单调测度经常是指l重单调测度。包含所介绍的的k重单调和k重交错测度的类中的关系用这个专门术语在图4.1描绘。 定理4.1. 设(是可测空间（X，F）上的一个正规化2重单调测度。那么用代表的对偶测度(是（X，F）上的正规化2重交错测度。 证明： ( 对任意，这个定理能容易地推广到正规k重单调测度。然而通过下面范 图4.1 对的k阶单调和k阶交错测度中的包含关系 例看到次加性1阶单调测度的对偶测度不必是次加性的。 例4.1. 设，(是表4.1中定义的（X，P（X））上的1阶单调测度。这个测度显然是正规化的和超加性的，但不是2阶单调的，由于以下两条违背所需的不等式（4.2）： 表4.1用表示的(的对偶测度不是次加性的，因为下面违背定义3.4中对次加性测度要求的不等式： 表4.1 超加性测度和它的对偶测度（例4.1） a b c A: 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 1 0 1 0 1 1 1 1 1 0.0 0.1 0.0 0.2 0.6 0.5 0.8 1.0 0.0 0.2 0.5 0.4 0.8 1.0 0.9 1.0 阶单调和阶交错的测度类的整个族在广义测度论中起着重要作用，特别在涉及各种形式的不确定性应用。特别重要的是这族中最一般的2阶单调和2阶交错的测度类，以及(单调和(交错测度类。它们从数