第1章 §1.3 关系.docVIP

§1.3　关 系 　　我们从前在数学的各种科目中学过诸如函数、次序、运算，以及等价等种种概念，它们的一个共同的特点在于给出了某些给定集合的元素之间的某种联系．为了明确地定义它们，我们先定义“关系”，而为了定义关系，又必需先有两个集合的笛卡儿积这个概念． 　　定义1.3.1　设X和Y是两个集合．集合 　　　　 {（x，y）|x∈X，y∈Y} 称为X与Y的笛卡儿积，记作X×Y，读为X叉乘Y．其中(x，y)是一个有序偶，x称为（x，y）的第一个坐标，y称为（x，y）的第二个坐标．X称为X×Y的第一个坐标集，Y称为X×Y的第二个坐标集．集合X与自身的笛卡儿积X×X称为X的2重（笛卡儿）积，通常简单记作． 　　有点儿不幸的是我们用于有序偶的记号和用于“开区间”的记号是一样的，有时容易混淆．因此在可能发生混淆的情形下应当加以说明，以避免误解． 　　给定两个集合，通过取它们的笛卡儿积以得到一个新的集合，这个办法对于读者并不陌生．以前学过的数学中通过实数集合构作复数集合，通过直线构作平面时，用的都是这个办法． 　　我们应当注意，一般说来集合X与集合Y的笛卡儿积X×Y完全不同于集合Y与集合X的笛卡儿积Y×X． 　　定义1.3.3　设X，Y是两个集合．如果R是X与Y的笛卡儿积X×Y的一个子集，即RX×Y，则称R是从X到Y的一个关系． 　　定义1.3.4　设R是从集合X到集合Y的一个关系，即RX×Y．如果(x，y）∈R，则我们称x与y是R相关的，并且记作xRy．如果AX，则Y的子集 　　{y∈Y|存在x∈A使得xRy} 称为集合A对于关系R而言的象集，或者简单地称为集合A的象集，或者称为集合A的R象，并且记作R（A），R（X）称为关系R的值域． 　　关系的概念是十分广泛的．读者很快便会看到，以前在另外的数学学科中学过的函数（映射），等价，序，运算等等概念都是关系的特例．这里有两个特别简单的从集合X到集合Y的关系，一个是X×Y本身，另一个是空集．请读者自己对它们进行简单的考查． 　　定义1.3.5　设R是从集合X到集合Y的一个关系，即RX×Y．这时笛卡儿积Y×X的子集 　　 {（y，x）∈Y×X|xRy} 是从集合Y到集合X的一个关系，我们称它为关系R的逆，并且记作．如果BY，X的子集（B）是集合B的象,我们也常称它为集合B对于关系R而言的原象，或者集合B的R原象．特别，关系的值域（Y）也称为关系R的定义域． 　　定义1.3.6　设R是从某个X到集合Y的一个关系，即RX×Y，S是从集合y到集合Z的一个关系，即SY×Z．集合{（x，z）∈X×Y|存在y∈Y使得xRy并且ySz}是笛卡儿积X×Z的一个子集，即从集合X到集合Z的一个关系，此关系称为关系R与关系S的复合或积，记作SR． 　　定理1.3.1　设R是从集合X到集合Y的一个关系，S是从集合Y到集合Z的一个关系，T是从集合Z到集合U的一个关系．则： 　　 　　证明(略) 　　定理1.3.2　设R是从集合X到集合Y的一个关系，S是从某个Y到集合Z的一个关系．则对于X的任意两个子集A和B，我们有： 　　（1）R（A∪B）＝R（A）∪R（B）； 　　（2）R（A∩B）R（A）∩R（B）； 　　（3）（SR）（A）＝S(R(A))． 　　证明(略) 　　在本节的最后我们要提到有限个集合的笛卡儿积的概念，它是两个集合的笛卡儿积的概念的简单推广． 　　定义1.3.7　设是n＞1个集合．集合称为的笛卡儿积，并且记作或者其中为有次序的n元素组，(i=1,2,…n)称为n元素组的第i个坐标，（i＝1，2，…，n）称为笛卡儿积的第i个坐标集． 　　n＞1个集合X的笛卡儿积X×X×…×X常简单地记作 　　n个集合的笛卡儿积的概念读者必然也不会感到陌生，在线性代数中n维欧氏空间作为集合而言就是n个直线（作为集合而言）的笛卡儿积． 　　需要提醒读者的是，如果你在给定的n个集合中交换了集合的次序，一般说来得到的笛卡儿积会是完全不同的集合．至今我们并未定义“0个集合的笛卡儿积”，此事将来再以某种方式补充．（参见§9．1） 　　作业: 　　理解“关系”的概念,掌握“关系”与“映射”的异同,“映射”与“函数”的异同.(映射要求象惟一,关系没要求.函数要求定义域与值域是数域,而映射不一定) 　　掌握运算乘积的概念与性质 　　掌握集合的笛卡儿积中元素的形式