实变函数 第一章集合及其基数 第二节集合的基数
第二节 集合的基数 第一章 集合及其基数
1映射的定义 定义1:设X,Y是两个非空集合,若依照对应法则f, 对X中的每个x,均存在Y中唯一的y与之对应,则称 这个对应法则f是从Ⅹ到Y的一个映射, 记作fⅩ→Y 或:设XY是两个非空集合,是XXY的子集,且 对任意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、定积分运算为从ab上的可积函数集 到实数集的映射(函数泛函算子,变换) 2、实数的加法运算+:R×R→R(群环域) 3、集合的特征函数:X→0 (集合A与特征函数互相决定) 称x(x)=0xA为集A的特征函数, 注:模糊集: f:X→[0 参见:《模糊集合、语言变量及模糊逻辑》,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集合运算关于映射的性质(像集) 定理1:设f:X→Y,A,B,A(a∈T)是X的子集, 称{(x):x∈A为的像集,记作(4)则有 1)A∈B→f(4)cf(B) 2/(4UB)=f(4)Uf(B)一般地有:f(∪4)=∪(4 a∈I a∈r 3)(4∩B)cf(4)∩f(B),一般地有:f(∩4)∈∩f(4) C∈I a∈I 证明的过程略 f(A∩B)=f(4)nf(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:设:X→Y,AcX,C,D,Ca(a∈是Y的子集,称x:f(x)∈C} 为C的原像集,记作∫(CX/不一定有逆映射,则有: )CcD→f(C)cf(D 2/(CUD)=/(C儿U/(D)一般地有:f(C)=∪f(C) 3/(C∩D)=f(C)nf(D)-般地有:厂(∩G)=∩f(Cn a∈r 4)f(C\D)=f(C)\f(D) 5)f(C)=[f(C); 注:6),7)一般不能使等号 6)A∈fLf(4 成立,6)等号成立当且仅 f为单射,7)等号成立当且仅 7fLf (C)cC, 当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 = = − − − − − − −