离散数学05课件.pptVIP

第5章 映射 王瑞民 iermwang@zzu.edu.cn 引言 映射是一个基本的数学概念，是一个特殊的二元关系 常见映射：程序的输入与输出 映射用于开关理论、自动机理论、可计算理论 主要内容：映射的概念，特殊的映射：单射、满射、双射；映射的合成、集合的特征函数、集合的基数 第5章 映射 5.1 映射的概念 5.2 映射的合成 5.3 逆映射 5.4 集合的特征函数 5.5 基数 定义5.1.1 X,Y为集合，f是从X到Y的关系 若对?x?X,?1 y?Y，st.x,y?f 称f为从X到Y的映射；记作 f:X?Y或X f Y x称为自变量，y称为x在f作用下的像；记作 y=f(x) f的前域X称为f的定义域，记作domf=X或Df Y称为陪域，像的集合称为f的值域，记作ranf或Rf Rf={y|?x(x?X^y=f(x)} 映射与关系的区别 对?x?X,?1 y?Y，st.x,y?f Df=X 每个x，对应唯一的y g={x2,x|x?R}为从R到R的关系，而非从R到R的映射 若X=Y，则从X到Y的映射，称为X上的变换 映射是函数概念的推广 函数也是映射 函数的定义域和值域都是关于数的集合 映射是推广了定义域及值域的函数 今后函数与映射不加区别，都为一种特殊的二元关系 特殊的函数举例 例5.1.1 皮亚诺后继函数 X=Y为自然数集合 对于?n?N f:X?Y为f(n)=n+1 例5.1.2 X为命题逻辑的全体，Y={T,F} f:X?Y为对命题的赋值 例5.1.3 实函数f={x,?x?} f(x)=?x?称为x的底 f(3.5)=3,f(3.0)=3,f(2.9)=2 g={x,?x?} g(x)=?x?称为x的顶 例5.1.3 X=?,Y为任意集合 空关系是从X到Y的函数，称为空函数 若X??,Y=?,从X到Y唯一的关系是空关系，此时空关系不是从X到Y的函数 不存在函数：其前域非空，陪域为空 定义5.1.2 若 f:X?Y，A?X f在A上的限制是从A到Y的映射，记为：f|A 定义为， f|A：A?Y， f|A(x)=f(x) 若映射g是f的限制，称f是g的扩展 例5.1.4 f:X?Y是由f(x)=x2给出的一个函数 X=Y为实数集 A={0,1,2,3,4,…}?X f|A={0,0,1,1,2,4,3,9,…} 定义5.1.3 若f:A?B，g:C?D 若A=C，B=D 且对?x?A,f(x)=g(x) 则称映射f与g相等 记作f=g 定义5.1.4 令映射f:X1xX2x…xXn?Xi(1?i?n)为f(x1,x2,…,xn)=xi，其中xi?Xi(i=1,2,…,n) 称映射为从X1xX2x…xXn到Xi的射影 若XxY为笛卡儿平面上所有点的集合，则XxY到X的射影是一个函数 每一个点，其函数值为该点的X坐标 注意 从X到Y的映射是一特殊的关系 一个从X到Y的映射是XxY的子集 XxY的任一子集并不一定为映射 从X到Y的映射的集合记为YX={f|f:X?Y} X中的每一个元素，Y中的元素有|Y|种可能与之对应 |YX|=|Y||X| 定义5.1.5 令映射f:X?Y,f(x1)=y1,f(x2)=y2 其中x1,x2?X,y1,y2?Rf 若Rf=Y,则称f为从X到Y上的映射(满射) 若对任意的x1,x2?X,当x1?x2时有y1?y2 ,则称f为从X到Y上的一对一映射(单射) 若f既为满射，又为单射，称f为双射或一一对应映射 例5.1.5 皮亚诺函数f(n)=n+1，单射，非满射 g:[0,1]?[a,b],a,b为实数,且ab,则g(x)=(b-a)x+a为双射 h:R?R+,h(x)=x2是满射但非单射 习题 P81 2 3 4 第5章 映射 5.1 映射的概念 5.2 映射的合成 5.3 逆映射 5.4 集合的特征函数 5.5 基数 定义5.2.1 若f:X?Y，g:Y?Z是两个映射 gof={x,z|(x?X)^(z?Z) ^(?y)(y?Y^y=f(x)^z=g(y))} 称为g与f的左合成映射 例已知两个映射的关系图，求它们的合成映射的关系图 定理5.2.1 若f:X?Y，g:Y?Z，则合成映射gof是从X到Z的映射，且对?x?X，(gof)(x)=g(f(x)) 证明：g和f都是关系，所以gof是从X到Z的关系；对?x?X f是映射，?1y?Y，使得f(x)=y g是映射，?1z?Z，使得f(y)=z 因为x,y?f,y,z?g，所以x,z?(gof)，且对于x，z是唯一的，故(gof)是映射 而(gof)(x)=z=g(y)=g(f(x)) 分析 若f:X?Y，g:Y?Z，则有合成映射gof 但合成映射gof可能为空关系 为使gof不空，需要Rf?Dg 若f:X?X，g:X?X，则fo