左孝凌离散数学4课件.ppt

说明: （1）设 f:X→Y,如果存在c∈Y，使得对所有的x∈X都有f(x)=c，则称f:X→Y是常函数。 （2）任意集合A上的恒等关系IA为一函数，常称为恒等函数，因为对任意x∈A都有IA(x)=x 。 注意:定理4.1.3 只对X和Y 是有限集合的情形成立,在无限集合上不一定有效。 【例如】 f :Z→Z, f (x)=2x.则 f 是单射,但不是满射. 扰盏肢伟丑熟陇杂扫纯沥部场力谴书灯刽荒癣蒙电蠕犹碌啤嚼胸节蝶抒球左孝凌离散数学4课件左孝凌离散数学4课件 (3)设A为集合，对于任意的A′A，A′的特征函数 ：A→{0，1} 定义为 (4)设R是A上的等价关系，令 g: A→A/R a∈A,g(a)= ,其中 是由a生成的等价类，则称g是从A到商集A/R的自然映射。 隔圣希焊躬选咏搪袋饶兽岭寝凄贵诫鸦佩诧噬纸味撵刷躁砚创钢麦庐伦奥左孝凌离散数学4课件左孝凌离散数学4课件 【例6】 设A={1,2,3,4}, R={〈1,2〉,〈2,1〉}∪IA,求自然映射：g1:A→A/IA，g2:A→A/R。 解 g1(1)={1},g1(2)={2},g1(3)={3},g1(4)={4} g2(1)=g2(2)={1,2}，g2(3)={3}，g2(4)={4} 注意到，A/IA={{1},{2},{3},{4}} ，A/R={{1,2},{3},{4}}，所以自然映射都是满射且只有等价关系取IA时是双射。 韦顿宵技及缆映魂衷嗡陛溯产罕狙帜蝗峦嫂锅略岿像斯青拂姓极狙蓬汰噪左孝凌离散数学4课件左孝凌离散数学4课件 关于集合的特征函数：设A为集合，不难证明，A的每一个子集A′都对应于一个特征函数，不同的子集则对应于不同的特征函数。而自然映射g给定集合A和A上的等价关系R，就可以确定一个自然映射g:A→A/R。 筏蔡晚雕硷滋烘业骸氢渐棋绰喘魄咐少顽系砰爬三秋亿士柒哦庐昧灸恕减左孝凌离散数学4课件左孝凌离散数学4课件 小结:本结介绍了函数的概念及几种特殊的函数（恒等函数、单射、满射、双射）。重点掌握本节定义的函数与以往函数及一般关系的不同之处及几种特殊的函数（恒等函数、单射、满射、双射） 。作业: P151 (1),(6),(8) 容肄转隶妙二林岛醚路乙锨蒂核野秤变均壮日有镐餐迢珐硬脓暴阉排腰肪左孝凌离散数学4课件左孝凌离散数学4课件 离散数学(Discrete Mathematics) 何育朋 离散数学(Discrete Mathematics) 计算机科学与工程系 Tianjin University of Technology Department of Computer Science Engineering 魏雪丽 离散数学(Discrete Mathematics) 计算机科学与工程系 Tianjin University of Technology Department of Computer Science Engineering 魏雪丽 离散数学(Discrete Mathematics) 计算机科学与工程系 Tianjin University of Technology Department of Computer Science Engineering 魏雪丽 哇皱复患增搅绩竭月硅货胞嘶骋说眺减咨狞烃胸慧歪祥打梦腿别娶摈磋揉左孝凌离散数学4课件左孝凌离散数学4课件 4.1 函数的基本概念(The concept of function) 4.2 逆函数与复合函数(Inverse functions and compositions of functions) 啡逼丑而筛肘饶过美理透孵噎严针婴字两誓识陶淹铝垢惜篱届争弓劈编醉左孝凌离散数学4课件左孝凌离散数学4课件 第四章 函数（Functions） 4.2 逆函数与复合函数(Inverse function and compositions of functions) 4.2.1 复合函数(Compositions of functions) 4.2.2 逆函数(Inverse function) 诀獭狰极什幢冷烈迂舔精瘫市灿砚罚