《离散数学讲义第4章.ppt

天津财经大学 信息科学与技术系 王宁 ninglw@163.com Discrete Mathematics 离散数学讲义（电子版） Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 第四章 函数 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 第四章 函数 本章包括以下内容： 4-1 函数的概念 4-2 逆函数和复合函数 4-4 基数的概念 4-5 可数集与不可数集 4-6 基数的比较 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 在这里把函数看作一种特殊关系。 定义：设X，Y为任意两个集合，f是X到Y的关系，若对于每一个x?X，有唯一的y?Y，使得〈x,y〉?f，称关系f为函数（或映射），记作 f：X ? Y 其中，x称为自变元，y称在f作用下x的象。〈x,y〉?f也可记作y=f(x)，且记 f(X) = { f(x) | x?X } 4-1 函数的概念 注：函数与关系的区别 （1）函数的定义域是X，而不能是X的某个真子集 （2）一个x?X只能对应唯一一个y Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 在〈x，y〉 ?f中，f的前域即dom f=X，f的值域ran f ?Y，有时也记作Rf。 Rf={y| (?x)(x ? X) ?(y ? Y)} 集合Y称为f的共域，ran f称为函数的象集合。 4-1 函数的概念（续） 定义：设函数f：A ? B，g：C ? D，如果A=C，B=D，且对所有x ? A和y ? C，有f(x)=g(x)，则称函数f和g相等，记作f=g 注：X ? Y的子集并不能都成为X到Y的函数。我们用YX表示从X到Y的所有函数的集合，当X和Y是无限集时也可用这个符号。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 定义：对于f：X ? Y的映射中，如果ran f=Y，即Y的每一个元素是X中一个或多个元素的象点，则称这个映射为满射（或到上映射）。即对于任意y ? Y，必存在x ? X使得f(x)=y成立。 4-1 函数的概念（续） 定义：从X到Y的映射中，X中没有两个元素有相同的象，则称这个映射为入射。 定义：从X到Y的映射，若既是满射，又是入射，则称这个映射为双射。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 4-1 函数的概念（续） 定理：设X，Y为有限集，若X和Y的元素个数相同，即|X|=|Y|，则f：X ? Y是入射当且仅当它是满射。 证明： 若f是入射，则|X|=|f(X)|，由于f(X) ?Y，又因为|f(X)|=|Y|，而Y中的元素是有限的，因此f(X)=Y，即f是满射。 若f是满射，则f(X)=Y，于是|X|=|Y|=|f(X)|。因为|X|=|f(X)|，且X是有限的，故f是一个入射。 注：这个定理必须在有限集情况下才成立。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 4-2 逆函数和复合函数 定理：设f：X ? Y是双射函数，那么fc：Y ? X也是双射函数。 证明：设f={〈x,y〉|(x ? X) ? (y ? Y) ? (f(x)=y)} fc={〈y,x〉|〈x,y〉?f} 因为f是满射，故对每一个y ? Y，必存在〈x,y〉? f，则〈y,x〉? fc，即fc的前域为Y。又因为f是入射，对每一个y ? Y，恰有一个x ? X，使得〈x,y〉?f。因此仅有一个x ? X