首页 > 其他分享 >离散数学左孝凌版本-集合论一

离散数学左孝凌版本-集合论一

时间:2022-11-15 18:46:06浏览次数:59  
标签:关系 左孝凌 离散数学 传递性 对称性 集合论 集合 等价关系 自反性

集合论

集合与关系

集合的概念

集合表示法

集合相等定义

img

基本概念

子集

img img img

空集

img

全集

img

幂集

img img

集合的运算

img img img img img img img img img img img img img

序偶

img img

笛卡尔积

img img img img img img

总结

image-20221115155115931

关系及其表示

img img img

imgimg

imgimg

imgimg

imgimg

总结

img

关系性质

img

imgimg

img

imgimg

img

imgimgimgimg

特殊关系的性质:

空关系: 反自反性,对称性,反对称性,传递性
全域关系:自反性,对称性,传递性
恒等关系:自反性,对称性,传递性

img

复合关系和逆关系

img

imgimg

img

imgimg

行x*列y=结果第x行第y个,y先移动

imgimg

img img

经典相互包含证明(上

逆关系:
R是X到Y的二元关系,把R中每一序偶的元素次序颠倒,得到的关系称为R的逆关系,记作R^c:

img

imgimg

imgimg

imgimg

闭包运算

通过适当补充序偶使某关系扩充成具有特定特征的新关系

img

img

img

imgimg

imgimgimg

imgimg

img

imgimg

img

img

划分与覆盖

imgimg

等价关系与等价类

若集合A上的关系R,满足自反性,对称性,传递性,则称R为A上的等价关系

等价类:
imgimg商集:

R是A上等价关系,由R的所有等价类构成的集合,称为A关于R的商集。记作A/R。

img
等价关系与划分
img

img

imgimg

imgimg

img

imgimg

img

相容关系

img img

标签:关系,左孝凌,离散数学,传递性,对称性,集合论,集合,等价关系,自反性
From: https://www.cnblogs.com/yyzAC/p/16893482.html

相关文章

  • 离散数学笔记-- 谓词
    基本概念:  看下面的小例子: 特性谓词,拓展定义域的时候: 看看就行: 具体展开:    具体应用3步骤:   一些逻辑变化:  仔细看下面的例......
  • 离散数学笔记
    特别注意:常元和变元  下面的栗子看看就行了:注意:永真和永假式:(重言和矛盾)栗子:    真值表的2个应用: 1判断永真 2判断式子是否等价:  ......
  • 公理集合论(一):集合
    请读者具备离散数学的基础一、集合与类外延原则与集合外延原则:集合是由元素所决定的元素常用\(a,b,c...\)小写字母表示,集合常用\(A,B,C...\)大写字母表示其中元素要......
  • 公理集合论(二):序理论
    请读者具备离散数学的基础二、序数定义自然数集N后继:\(x^+=x∪\{x\}\)称为\(x\)的后继自然数的定义如下\(0=Ø\)\(1=0^+=\{0\}\)\(2=1^+=\{0,1\}\)...\(N=(N-1)......
  • 离散数学中群、环、域的理解
    1、群(group)是两个元素作二元运算得到的一个新元素,需要满足群公理(groupaxioms),即:①封闭性:a∗bisanotherelementintheset②结合律:(a∗b)∗c=a∗(b∗......
  • 离散数学中 群的概念
    一.群的定义说起群,首先要引出一个更大的概念——代数系统(什么是代数系统就不解释了…),其中在概念上来看,代数系统>广群>半群独异点>群。设【<G,*>】是一个代数系统,其中G是......