第4章二元关系和函数 第4章二元关系和函数 41序偶与笛儿积47序关系 4.2关系及表示 48函数的定义和性质 43关系的运算 49函数的复合和反函数 44关系的性质 4,10集合的基数 4.5关系的闭包 4.11例题选解 4.6等价关系和划分习题四 dBac
第4章 二元关系和函数 第4章 二元关系和函数 4.1 序偶与笛儿积 4.2 关系及表示 4.3 关系的运算 4.4 关系的性质 4.5 关系的闭包 4.6 等价关系和划分 4.7 序关系 4.8 函数的定义和性质 4.9 函数的复合和反函数 4.10 集合的基数 4.11 例题选解 习 题 四
第4章二元关系和函数 4.1序偶与笛卡儿积 定义411(有序对(或序偶), ordered pairs)由两个 元素x和y(允许x=y)按一定次序排列组成的二元组 {x},{xy}}称为一个有序对或序偶,记作 (x,y),其中x是它的第一元素,y是它的第二元素。 注意,第一、二元素未必不同
第4章 二元关系和函数 4.1 序偶与笛卡儿积 定义4.1.1(有序对(或序偶)， ordered pairs) 由两个 元素x和y（允许x=y）按一定次序排列组成的二元组 ｛｛x｝， ｛x,y｝｝称为一个有序对或序偶， 记作 〈x, y〉， 其中x是它的第一元素， y是它的第二元素。 注意， 第一、 二元素未必不同
第4章二元关系和函数 如平面直角坐标系中的任意一点坐标(x,y)均是 序偶,而全体这种实数对的集合 (x,y)p∈R∧y∈R}就表示整个平面。 有序对(x,y)具有以下性质: 1)当x时,(x,y)≠〈y,x) (2)〈x,y)=(u,v)的充要条件是x=u且y=v (3)〈x,x)也是序偶
第4章 二元关系和函数 如平面直角坐标系中的任意一点坐标（x, y）均是 序偶， 而全体这种实数对的集合 {(x, y）|x∈R∧y∈R} 就表示整个平面。 有序对〈x, y〉 具有以下性质： (1) 当x≠y 时， 〈x, y〉≠〈y, x〉。 (2) 〈x, y〉=〈u, v〉 的充要条件是x=u 且y=v。 (3) 〈x, x〉也是序偶
第4章二元关系和函数 这些性质是二元集(x,y}所不具备的。例如当 x力时有{x,y}={,x},原因是有序对中的元素是有序 的,而集合中的元素是无序的。再例如,{x,x} ={x},原因是集合中的元素是互异的 由性质(2)可推出(x,y)=(y,x)的充要条件 是x=y。有序对的概念可以进一步推广到多元有序组
第4章 二元关系和函数 这些性质是二元集｛x, y｝所不具备的。 例如当 x≠y 时有{x, y}={y, x}, 原因是有序对中的元素是有序 的， 而集合中的元素是无序的。 再例如， ｛x, x｝ ={x}， 原因是集合中的元素是互异的。 由性质(２)可推出 〈x, y〉=〈y, x〉的充要条件 是x=y。 有序对的概念可以进一步推广到多元有序组
第4章二元关系和函数 定义412(n元有序组)若n∈N且n>1,x1,x2, xn是n个元素,则n元组(x1,x2,…,xn)定义为 当n=2时,二元组是有序对〈x1,x2); 当n之2时,〈x12x2,…,xn〉 X1.x x n,).xn) 本质上,n元有序组依然是序偶
第4章 二元关系和函数 定义4.1.2(n元有序组) 若n∈N且n＞1， x1 , x2 , …, xn 是n 个元素， 则n 〈x1 , x2 , …, xn〉 定义为： 当n=2时， 二元组是有序对〈x1 , x2〉； 当n≠2时， 〈x1 , x2 , …, xn〉 =〈〈x1 , x2 , …， x n-1 〉, xn〉 本质上, n元有序组依然是序偶