《离散数学》二元相关跟函数-1.pptVIP

第四章 二元关系和函数 关系是在集合的基础上定义的，它是计算机科学中最基本的概念。它主要反映元素之间的联系和性质，在计算机科学中有重要的意义，如有限自动机和形式语言，编译程序设计，信息检索，数据结构以及算法分析和程序设计的描述中经常出现。 问题： 数学是我们描述世界的有力工具。现实世界的事物之间常有一定的联系，这些联系常表现出一定顺序，如： 34， 张华高于李明， A是B的父亲，C是B的儿子 ....... 数学是如何描述或表示这种联系呢？为此集合论引入有序n元组的概念。 定义2.1 由两个客体x和y，按照一定的顺序组成的二元组称为有序对，记作x,y，其中x是第一元素，y是第二元素。 实例：点的直角坐标(3,?4) 有序对性质 （1）有序性 x,y?y,x （当x? y时） （2）x,y 与 u,v 相等的充分必要条件是 x,y=u,v ? x=u ? y=v 有序n元组 定义 一个有序n(n?3)元组 x1, x2, …, xn 是一个有序对，其中第一个元素是一个有序 n-1元组，即 x1, x2, …, xn = x1, x2, …, xn-1, xn 当 n=1时, x 形式上可以看成有序 1 元组.