高等代数 (80)古今数学思想.pdf

第零章 预备知识 0.2 等价关系 群 0.2.1 等价关系 一、等价关系 笛卡尔积 (1) 设A, B 是非空集合, 规定A, B 的笛卡尔积是集合 A B : a, b a A, b B . ( )  元 a, b 是两个元的有序对, a, b a , b = a a , b b ( ) ( ) ( ) 1 1 1 1 (2) 非空集A , A , ..., A 的笛卡尔积是集合 1 2 s A  A   A : ( a , a , , a) a  A , 1 i s . 1 2 s  1 2 s i i  例1. 1 A 1, 2, 3 , B a ,b ,则 A B 1,a , 1,b , 2,a , 2,b , 3,a , 3, b . ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 2  a, b a, b= 表示实数集上的全体二元有序对构成的集合. ( ) ( )  等价关系 (1) 设S 是非空集合, R 是S ×S 的非空子集, 称R 是S 上的一个二元关系. 若 a, b  R,则称元 a与 b具有关系 R,也记为 aRb. ( ) (2) 设R 是非空集S 上的二元关系, 称R 是S 上的等价关系, 若R 具有如下性质: 自反性: aRa, a S . 对称性: 若 aRb,则 bRa. 传递性: 若 aRb, bRc,则 aRc.  a, b, c S . 例2. 1 如果两个整数 a , b除以 5的余数相同就称, 二者模 5同余 ,记为 a b mod 5 ( ) ( ) 模5 同余是整数集Z上的等价关系. 2 R a , b a , b= 且 a b 是整数集合上的二元关系具有自反性传递性, , , ( ) ( )  反对称性 aRb且 bRa a b , ( ) 但没有对称性不是, 上的等价关系. 3 F m n上的矩阵相抵是一个等价关系 例2. ( ) 4 给定非零多项式 d x ,规定集 F x 上模 d x 同余关系: ( ) ( )   ( ) g x , h x 模 d x 同余 d x g x − h x ( ) ( ) ( ) ( ) ( ) ( ) 记为 g x  h x modd x ,则模 d