序偶与笛卡儿积(牛连强).pdfVIP

第3章   集合论基础     57 3.4 序偶与笛卡儿积 集合既可以由简单元素构成，也可由复杂元素如集合构成。特别地，当集合元素是一类特殊 的集合——序偶时有着特殊的作用，这样的集合是构成关系和函数的基础。  3.4.1 序偶与元组 [定义 3-14] 序偶 （ordered pairs）是两个元素组成的有序集合，记作 x ,y  ，也称为有序对 或二元组。x 、y 分别称为序偶的第一、第二个元素。  序偶一词本身的含义就是 “有序的对”。  生活中的许多事物之间有一定关系，且成对出现，如平面上点的2 个坐标、飞机票与座位、 上与下、左与右及计算机上的网线接头与插口等。计算机内可以用地址码，操作码来构成单地 址指令，手机电话簿中常用拼音，人名方式作为索引。  [辨析] 因为强调次序的原因，若x  y ，则 x ,y  y ,x  。注意序偶的限界符既不是 “{ }”， 也不是 “( )”，而是 “ ”。通常{x , y }表示一般集合，(x , y )表示2 个元素组成的无序集合。若 经过约定，也可以用 “( )”代替 “ ”。  除了有序外，与普通集合不同的是，组成序偶的元素可以重复，如 x ,x  是正确的序偶。  [定义 3-15] 两个序偶相等，即 x ,y a ,b  当且仅当x  a 且y b 。  例 3-15   若已知 2x 2,y  2y,x  y  ，求x 和y 。  解   由定义，可构成一个二元一次方程组  2x 2 2y ，y  x y   解之得x 2 ，y 1。  上述定义可推广到n 元组，如三元组、四元组等，形式为x ,x ,...,x ，其含义是：  1 2 n  x ,x ,,x  x ,x ,,x ,x    1 2 n 1 2 n1 n 一般情况下， x ,x ,,x  x , x ,,x  。  1 2 n 1 2 n [辨析] 严格讲， x , x ,,x  不是一个n 元组，而是二元组。该二元组由一个简单元素 1 2 n x 1和一个n1元组 x2,,xn  组成。  在最初的计算机设计中，一个字节并不是固定的8个二进制位。因此，为了防止歧义，早期 的国际标准中常称一个8位二进制串为八元组而不是字节。一个关系数据库是由若干张二维表组 成的，每个表又由若干记录组成，而每个记录都是一个n 元组。  [延伸] 实际上，程序设计中的所有运算和含有参数的函数在本质上都是以一个多元组为参数 的。例如，对于如下的C语言函数f ：  void f(int x, double y, char z); 它的调用形式为f (2,3.5,a )，这里的参数数量、类型和次序都是不可改变的，故是一个三元 [ ] 1 组，只是没有 （也不需要）写成 2,3.5,a  的形式而已 。       58 工科离散数学  3.4.2 笛卡儿积 由于序偶的两个元素各来自于一个集合，因此，任给两个集合A 和B ，都可以构造一种序偶 的集合。  [定义 3- 16] 若A 、B 是集合，它们构成的笛卡儿积是一