第二章 二元关系(集合论讲义)
- 格式:pdf
- 大小:287.12 KB
- 文档页数:23
第四章二元关系宇宙万物之间存在着形形色色的联系,这种联系正是各门学科所关注的根本问题。
例如,人与人之间有父子、兄弟、师生关系;两数之间有大于、等于、小于关系;电学中有电压、电阻与电流间的关系;元素与集合之间的属于关系;计算机科学中程序间的调用关系,程序执行过程中状态之间的转换关系,程序执行前变量取值状况和执行后变量取值状况的关系,文件与路径的关系……。
集合论为刻划这种联系提供了一种数学模型——关系,它仍然是一个集合,以具有那种联系的对象组合为其成员。
换言之,集合论中关系不是通过描述关系的内涵来刻划这种联系,而是通过列举其外延(具有那种联系的对象组合全体)来刻划这种联系。
这使关系的研究可以方便地使用集合论概念、运算及研究方法和研究成果。
在离散数学中,“关系”被抽象为一个基本概念,在通常情况下,“关系”是至少由两个集合在给定条件下产生的新集合,它提供了一种描述事物间多值依赖的工具,为计算机科学提供了一种很好的数学模型。
需要指出,集合论中的关系研究,并不以个别的关系为主要对象,而是关注关系的一般特性、关系的分类等。
4.1有序组与集合的笛卡尔积定义4.1设a,b为任意对象,称集合{{a},{a , b}}为二元有序组,或序偶(ordered pairs),简记为<a,b>。
称a为<a,b>的第一分量,称b为第二分量。
注意,第一、二分量未必不同。
定理4.1对任意序偶<a,b> , <c, d > ,<a,b> = <c, d > 当且仅当a=c且b = d。
定义4.2递归定义n元序组<a1,…a n><a1,a2> ={{a1},{a1 , a2}}<a1,…a n> = <<a1,…a n-1>, a n>本质上, n元序组依然是序偶。
a i称为n元序组的第i分量。
定理4.2对任意对象a1,…,a n,b1,…,b n,<a1,…,a n> = < b1,…,b n >当且仅当a1 = b1 ,…,a n= b n显然,序偶和n元序组都是集合,但由于它们的特殊结构,把次序赋予了有关对象,我们以后更多关心的是它们的这种“序特性”。
二元关系中关系的定义二元关系是集合论中的一个重要概念,它描述了两个集合之间元素之间的某种关系。
在数学中,二元关系通常用符号表示,例如“<”、“=”、“≤”等。
二元关系的定义是描述两个集合之间元素之间的某种关系的一种方法。
我们来定义什么是二元关系。
设A和B是两个非空集合,R是A和B的笛卡尔积A×B的子集,即R ⊆A×B,那么R就是从A到B的一个二元关系。
其中,A的元素被称为该二元关系的定义域,B的元素被称为该二元关系的值域。
在二元关系中,元素之间的关系可以用有序对的形式来表示。
例如,对于集合A={1, 2, 3}和集合B={4, 5},我们可以定义一个二元关系R={(1, 4), (2, 5)}。
这个二元关系表示了A中的元素1和B中的元素4之间存在某种关系,A中的元素2和B中的元素5之间也存在某种关系。
二元关系可以有不同的性质和特点,下面我们来介绍几种常见的二元关系。
1. 自反关系:如果集合A中的每个元素a都与自身存在某种关系,则称该二元关系为自反关系。
例如,集合A={1, 2, 3}上的一个自反关系可以表示为R={(1, 1), (2, 2), (3, 3)}。
2. 反自反关系:如果集合A中的每个元素a都与自身不存在某种关系,则称该二元关系为反自反关系。
例如,集合A={1, 2, 3}上的一个反自反关系可以表示为R={},即空集。
3. 对称关系:如果集合A中的任意两个元素a和b之间存在某种关系,那么a和b之间的关系是对称的。
例如,集合A={1, 2, 3}和集合B={4, 5}上的一个对称关系可以表示为R={(1, 4), (4, 1), (2, 5), (5, 2)}。
4. 反对称关系:如果集合A中的任意两个元素a和b之间存在某种关系,当且仅当b和a之间不存在该关系时,称该二元关系为反对称关系。
例如,集合A={1, 2, 3}上的一个反对称关系可以表示为R={(1, 1), (2, 2), (3, 3)}。