离散数学 第2章 关系.pptVIP

离散数学 西安交通大学 电子与信息工程学院 计算机系 离散数学 第二章 关系 (relation) §1 . 集合的叉积　n元组 §2 .关系 §3 .关系的表示　关系的性质 §4 .关系的运算 §5. 等价关系 §6. 半序关系 离散数学 §1 . 集合的叉积　n元组 定义1. 叉积，笛卡尔积 (cross product , Cartesian product(1637)) 　 n个集合A1， A2，? ，An的 n 维叉积定义为 =A1 × A2 × ? × An ={(a1, a2, ?, an): ai? Ai(1?i ? n)} ； 　 离散数学 n 维叉积A1 × A2 × ? × An的每个元素(a1, a2, ?, an)都称为一个n元组（n-tuple）；即，叉积是元组的集合； 每个n元组(a1, a2, ?, an)的第i个位置上的元素ai称为该n元组的第i个分量（坐标或投影）；元组各分量的顺序不能改变； n 称为该叉积及其元组的维数； 两个元组相等?它们的维数相同且对应的分量相等。即 (a1, a2, ?, an)= (b1, b2, ?, bm)