实变函数 第一章集合 第二节映射与势
第二节 映射与势 第一章 集合
1映射的定义 定义1:设XY是两个非空集合,若依照对应法则f, 对X中的每个x,均存在Y中唯一的y与之对应,则称 这个对应法则f是从X到Y的一个映射, 记作fX→Y 或:设X,Y是两个非空集合,是X×Y的子集,且 对任意x∈X,存在唯一的y∈Y使(xy)∈f,则f是从 X到Y的一个映射 注:集合,元素,映射是一相对概念 略:像,原像,像集,原像集,映射的复合,单射,满射, 映射(双射)
定义1：设X,Y是两个非空集合，若依照对应法则 f， 对X中的每个x，均存在Y中唯一的y与之对应，则称 这个对应法则 f 是从 X 到 Y 的一个映射， 记作 f: X→Y 或：设X,Y是两个非空集合，f是X×Y的子集，且 对任意x∈X，存在唯一的y ∈Y使(x,y) ∈ f，则f 是从 X 到 Y的一个映射 注：集合，元素，映射是一相对概念 略：像，原像，像集，原像集，映射的复合，单射，满射， 一一映射（双射） １ 映射的定义 [ ]
1、定积分运算厂为从a上的可积函数集 到实数集的映射(函数泛函算子,变换) 2、实数的加法运算+:R×R→R(群环域) 3、集合的特征函数zX→0 (集合A与特征函数互相决定) 称x(x)=1x为集A的特征函数, 注:模糊集: f:X→[01 参见:《模糊集合、语言变量及模糊逻辑》,L. A Zadeh
例 注：模糊集： 参见：《模糊集合、语言变量及模糊逻辑》，L.A.Zadeh f : X →[0,1] 2、 实数的加法运算+: R×R→R (群,环,域) b a 1、 定积分运算 为从[a,b]上的可积函数集 到实数集的映射 (函数,泛函,算子, 变换) x A A x A x = 1 0 ( ) : X →{0,1} A 3、 集合的特征函数 （集合A与特征函数互相决定） 称 为集A的特征函数
2集合运算关于映射的性质(像集) 定理:设f:X→Y,A,B,A(a∈T)是X的子集, 称{(x):x∈为的像集,记作(4)则有 )AcB→f(4)cf(B) 2)/(AUB)=f(4U(B)一般地有:f(∪4)=∪f(4 a∈I a∈ 3)/(4nB)cf(/(B,一般地有:f(∩4)=∩f(4) a∈ a∈ 证明的过程略 f(A∩B)=(4nf(B)般不成立如常值映射 等号成立当且仅当/为单射
1 : , , , ( ) { ( ) : } ( ), 1) ( ) ( ); 2) ( ) ( ) ( ), ( ) ( ); 3) ( ) ( ) ( ), ( ) ( ); f X Y A B A X f x x A A f A A B f A f B f A B f A f B f A f A f A B f A f B f A f A → = = 定理 ：设 是 的子集， 称 为 的像集，记作 则有： 一般地有： 一般地有： 证明的过程略 等号成立当且仅当 为单射 一般不成立 如常值映射， f f (A B) = f (A) f (B) , 2 集合运算关于映射的性质（像集）
集合运算关于映射的性质(原像集) 定理2:设f:X→Y,AcX,C,DC2(a∈n是Y的子集,称{x:f(x)∈C} 为C的原像集,记作f(X/不一定有逆映射),则有: D)CcD→f(C)cf(D 2f(CUD)=f(Uf(D)-般地有:广(∪C)=∪f(C) a∈I 3)/(CnD)=f(Cnf(D),-般地有:广(∩C)=∩f(C a∈I ∈r 4)(C\D)=f(C)\f(D); 5)f(C)=[f(C) 注:6),7)一般不能使等号 6)Acf[f(4) 成立,6)等号成立当且仅 f为单射,7)等号成立当且仅 ⑦f(C)<C 当f为满射 证明的过程略
1 1 1 1 1 1 1 1 1 1 1 1 1 2 : , , , , ( ) { : ( ) } ( )( ) 1) ( ) ( ); 2) ( ) ( ) ( ), ( ) ( ); 3) ( ) ( ) ( ), ( ) ( ); f X Y A X C D C Y x f x C C f C f C D f C f D f C D f C f D f C f C f C D f C f D f C f C − − − − − − − − − − − − − → = = = = 定理 ：设 是 的子集，称 为 的原像集，记作 不一定有逆映射 ，则有： 一般地有： 一般地有： 集合运算关于映射的性质（原像集） 注：6），7）一般不能使等号 成立，6）等号成立当且仅当 f为单射， 7）等号成立当且仅 当f为满射 证明的过程略 7) [ ( )] ; 6) [ ( )]; 5) ( ) [ ( )] ; 4) ( \ ) ( ) \ ( ); 1 1 1 1 1 1 1 f f C C A f f A f C f C f C D f C f D c c = = − − − − − − −