1.3 环上的测度.docVIP

1.3 环上的测度 是某个取定的集，也称为基本空间。以的某些子集为元素所成的集称为上的集类，或简称为类。集类用黑体英文字母表示，例如等。设是上的某个集类，是的某个子集，集类. 1.3.1 环、环、代数、代数 定义1.3.1是基本空间，是上的集类，若对，有 , (1.3.1) 则称是上的环. 若还有，则称是上的代数，或域。 注 由定义1.3.1可知：环是对集的“”和“”运算封闭的非空集，而代数是对“余”运算也封闭的环。1.3.2 设是基本空间，是上的集类，若对任意一列集，有 , (1.3.2) 则称是上的σ-环，若还有，则称是上的σ-代数，或σ-域。 注 由定义1.3.2可环是对集的“可列并”和“”运算封闭的非空集; 而代数是对“余”运算也封闭的环。 例1.3.1 设是任意集，的有限子集（包括）全体所成的集类是上的一个环；当时，是上的一个代数。 1.3.2 设是实数全体，是由中的有限个左开右闭的有限区间的并集全体所成的集类，则是上的一个环. 注 由中的有限个左闭右开的有限区间的并集全体所成的集类也是上的一个环。 但由中的有限个有限开区间（或闭区间）的并集全体所成的集类不是上的环。因为两个开区间的差集可以不再是开区间（对闭区间的情况也是如此）. 1.3.3 设是实数全体，是由中的有限个有限区间（无论是开区间、闭区间、还是半开半闭区间）的并集全体所成的集类，则是上的一个环. 例1.3.4 设是任意无限集，的有限子集（包括）及可列子集全体所成的集类是上的一个环；当时，是上的一个代数. 例1.3.5是任意集，的所有子集全体所成的集类是上的一个代数. 定理1.3.1（环的性质） 设是非空集，是上的环，则 (1) ； (2) 若，则； (3) 若，则 ； (4) 上任意个环（或代数）的交集仍是上的环 (或代数). 定理1.3.2（σ-环的性质） 设是非空集，是上的环，则 (1) ，且是上的环; (2) 若, 则 ; (3) 若, 则 ;(自习) (4) 上任意个环（或代数）的交集仍是上的环(或代数). 1.3.3 设是由集的某些子集所构成的集类，则必存在惟一的环（或代数），使得 (1) ; (2) 若是包含的环（或代数），则. 注1 定理1.3.中的环（或代数）是包含的最小的环（或代数），称之为E所张成的环（或代数）。 由所张成的环（或代数）一般用（或）表示. 注2 若是上的非空集类，就是由中任意取有限个元素，经过有限次“”，“”，“”运算后所得集的全体。 若，则. ※ 1.3.4 设是由集的某些子集所构成的集类，则必存在惟一的环（或代数），使得 (1) ; (2) 若是包含的环（或代数），则. 1 定理1.3.中的环（或代数）是包含的最小的环（或代数），称之为E所张成的σ-环（或σ-代数）. 由所张成的环（或代数）一般用（或）表示. 注2 若是上的非空集类，不能简单地认为就是由中任意取一列集，经过一系列“”，“”，“”运算后所得集的全体。一般地，对一列集，中间插入上述运算符号，依次运算所得的集的序列不一定有极限；即使有极限，将这些极限集的全体拿来也只是中的一小部分。所以的结构远比复杂.. 证明：（自证！） 1.3.2 测度的基本概念 定义1.3.3 记，是一个集类。设是到的映射，则称是 (Set function)。 注 由定义1.3.3知：集函数是以集为“自变元”，取值是实数或的函数。1.3.4 设是基本空间，是上的环，是上的集函数，若满足下列性质： (1) ； (2) 非负性：对； (3) 可列可加性：若对任意一列，当 且时，必有 (1.3.3) 则称集函数为R上的测度，称为集E的测度. 性质 设是基本空间，是上的环，是上的测度，则 (1) 有限可加性：对任意一列，若，则 ； (1.3.4) (2) 单调性：若，且，则； (3) 可减性：若，且，，则 ； (1.3.5) (4) 次可列可加性：对任意一列及，若则 ； (1.3.6) 例1.3.6 设是任意集，是由的有限子集（包括）全体所成的环；在上定义集函数如下： 中元素的个数 ， 则是环上的测度. 1.3.7 设是的所有子集全体所成的环（实际上是代数），对于，在上定义集函数如下： 中元素的个数（若中有无限个点，则, 则是环上的测度. 3