离散数学，最大最小极大极小元，链和反链，全序和良序，函数的定义和性质，满射函数和单射函数

于 2024-07-16 12:37:59 发布
阅读量336 收藏 4
点赞数 8
分类专栏： 离散数学 文章标签： 离散数学 偏序关系 最大最小极大极小元 链和反链 全序和良序 函数的定义和性质 满射函数和单射函数
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/2301_79431343/article/details/137862817
版权

目录

1.偏序关系的元素

最大最小极大极小元 

最小（大）元性质 

极小（大）元性质 

上界和下界 

2.例子 

3.链和反链 

4.全序和良序 

5.函数的定义和性质 

函数的定义 

6.函数的计数 

7.特殊函数 

满射函数和单射函数 

双射函数 

判断下列函数是否是满射，单射，双射 

常数函数和恒等函数 

8.函数的复合 

1.偏序关系的元素

最大最小极大极小元 

4ce6d68934fc4ad6abdf0251cbc59a67.png

24cb246e0fdc4c92ae7524a59252c28f.png

最小（大）元性质 

37b7d861f2fd4e5797a1a0c32232319e.png

极小（大）元性质 

dccbeed7b93d488c920fb0e3ff6c5c6c.png

7ac42deaa1f3433790f37d86a7c44f9c.png

上界和下界 

83fdefdbf3ef40aabb6924879f75123f.png

6797242b3f164e4c95e04ad17c157cce.png

2.例子 

80a4ccfff31e4a63b84a2d5f139efded.png

30bacf6f3bd44925b06dba0c67c7c8b7.png

3.链和反链 

b72649ec6dcd4f1aaf3d8309f229a0bd.png

fcebb5771af249baa4ee4d6080338db4.png

4.全序和良序 

1bcd092104a947c1ae54971147298127.png

ff08810a48e74d688744bc19a1907816.png

0ba17140946641b98dc9ea5fd5557942.png

06432f490b484dd180dab3eed596ec88.png

e4da174406f0456599b6557eace81d74.png

5.函数的定义和性质 

9f3dc980ed5c4a19a90974f042ba119a.png

60e15aa8e2e64795a604cc561a87723d.png

a3ecfe783d9846f5acb7a70ac1a3e499.png

函数的定义 

197bbffb04634102964634a71cef2741.png

7475baeb6f2247c9b42451a713f949fa.png

786609b0944546d09bc27b0d52985a2c.png

5c57e04cf3da4ac78c74af5cec11205f.png

331d3c74cda24997b9c49dea54bf1ee5.png

526b35f8d68c44bfa2cc23f09f873fba.png

6.函数的计数 

eb9b01455c1c47279fc28d1c12565c26.png

87a25857f9394cc6adc28ec16019aa8d.png

d78f45f850ff4bdbb6ca7094a9df8f96.png

231807b1cdb443b7a72d48d252fca31b.png

245268a65cf5408e9c1cefd4da338339.png

7.特殊函数 

a68c499170b24767bff25364b809a9c9.png

满射函数和单射函数 

ea5a04a5fd8048e38fe0683b9bf1275a.png

双射函数 

b5927444eae449e2b6fd9a3301813c49.png

9bb263a542b44759b2fd91deb3337d38.png

判断下列函数是否是满射，单射，双射 

8f42fd0133514446920a490d8ceabb6a.png

2bc0b4f681ac4a018761e4b4ce187f74.png

eb038a19efad4e9a8e304886cdeb076b.png

常数函数和恒等函数 

447121749e8c4eb0b6a7b6e373304122.png

29f1c9f2ee6d43cb9ac0a863a5eda79e.png

8.函数的复合 

d201f77b7f7a42528c0131efa05d4d76.png

b40807a5157746858a1314564885684f.png

7ef5dbfaa9984d2da9b73cd66771d22f.png

a3eeb642b26147caa2faf9f3402832b4.png

fd60c9ded5fe4477901d87ceec4fbe82.png

f0f1dde1688f4f9bb3d7adad35dd5181.png

离散数学第12章树
u013474815的博客
01-09 882
结论：树都是简单无向图，连通，无圈，m = n-1 连通无圈 无自环且每对节点之间的基本链唯一 有基本链说明连通，基本链唯一再加上无自环就是无圈 连通，加一边仅会导致有一个圈 如果加一条边会有两个圈，那么去掉这条边就肯定还有一个圈 比如"日"去掉一横还有一个"口" 连通，任何一条边都是割 如果去掉一条边还连通，那一定有圈 连通，m=n−1m = n-1m=n−1 无圈，m=n−1m = n-1m=n−1 位置二元树 ...
链-反链-Dilworth定理
weixin_30265171的博客
03-31 619
偏序集：We define a Partially Ordered Set, or a Poset, as a set P witha partial ordering defined on it’s elements. I.e, for any twoelements x and y of P, either x ≤ y, y≤x (x and y are comparable),o...
离散数学复习笔记
无知的我
03-16 1万+
数理逻辑 逻辑：以研究人的思维形式及思维规律为目的的一门学科 数理逻辑：利用数学符号来协助推理的一门形式逻辑学 命题：能表达判断并具有确定真值的陈述句 真值：每个命题都具有的一个值，要么为真，要么为假，不能随着环境变化 原子命题：不能再分解的命题 复合命题：由原子命题符号及联结词组成的有意义的命题表达式 否定非P 合取P而且Q  析取P
离散数学 - 图论(2)-路径和回路
PGZXB的博客
08-13 1万+
图论(2)-路径和回路 在有向图中,从顶点v0v_0v0​到顶点vnv_nvn​的一条路径是图中的边的序列, 其中每一条边的终点是下一条边的起点。 一条路径中, 如果同一条边不出现两次, 则称此路径是简单路径。 一条路径中，如果同一顶点不出现两次, 则称此路径是基本路径(或叫链)。 如果路径的始点v0v_0v0​和终点vnv_nvn​相重合, 即v0v_0v0​=vnv_nvn​ , 则此路径称为回路, 没有相同边的回路称为简单回路, 通过各顶点 不超过一次的回路称为基本回路。 路径
离散结构【链表】
deku2345的博客
08-12 309
定义：n个节点离散分配，彼此通过指针相连，每个节点只有一个前驱节点同时每个节点只有一个后续节点，首节点没有前驱节点，尾节点没有后续节点。 专业术语 首节点：存放第一个有效数据的节点 尾节点：存放最后一个有效数据的节点 头结点：头结点的数据类型和首节点类型一样，位于首节点之前的一个节点，头结点并不存放有效的数据，加头结点的目的主要是为了方便对链表的操作 头指针：指向头结点的指针变量 尾指针：指向尾节点的指针变量 确定一个链表需要几个参数： ...
考研复试 | 离散数学——第四章 二元关系和函数
⊳ideal world⊲~ヽ(ﾟ︺ﾟ)Hi
03-09 957
4.1 集合的笛卡儿积与二元关系
山东理工大学2024 离散数学思维导图
12-21
同时，探讨了群的元素分类，如极大元、极小元、最大元和最小元，以及群的序结构，如全序关系、良序关系。群论部分还涉及了哈斯图的构建方法，以及群运算的逆元和幂等元等概念。 通过对离散数学的学习，学生不仅能够...
划分离散数学定义_《离散数学》学习记录 - 集合论
weixin_39613188的博客
12-20 5318
来源：北京大学《离散数学》公开课2.1 有序对和卡氏积有序对：有顺序，类似于数组，可以用集合定义。性质：有序对内元素对应相等卡氏积A×B：所有元素一个来自A集合，另一个来自B集合的有序对性质：不满足交换律，不满足结合律，对并和交满足分配律，具有单调性(证明见北大教材p25)2.2 二元关系A到B的二元关系定义：A×B的任一子集，即A×B幂集中的一个元素组成的集合(注意二元关系也是集合)A到B的...
【离散数学】期末不挂科复习笔记
woodwhale的博客
12-30 1万+
【离散数学】期末不挂科复习笔记 和蜂考学的，重要的应该是逻辑和函数这两大板块，图和树就与数据结构挂钩了（大部分都是之前学过的），重点看看各种逻辑的等值演算还有推理！ 第一章（命题逻辑的基本概念) 1、命题的概念 如何判断是否是命题： 例题1： 2、命题连接词 ①否定（可以理解为非） ②合取（可以理解成交） ③析取（可以理解为并） ④蕴含（可以理解为非p并q） ⑤等价（可以理解为相等） 优先级： 例题1: 3、命题公式及其赋值 成真赋值就是让p蕴含q的值为1，这种情况下p和q的赋值 成假赋值就是
离散数学2009-2010第一学期期末试卷及参考答案
01-15
7. 偏序集：偏序关系、极小元、最小元、极大元、最大元、上下确界。 离散数学作为计算机科学与数学的一个重要分支，为研究算法、数据结构、计算机逻辑、自动机理论等提供了必要的数学工具和理论基础。由于文档中的...
【离散数学】九章：关系 - 偏序
m0_74195626的博客
05-16 1万+
偏序关系和偏序集、字典序（Lexicographic Orderings）、哈塞图、偏序集上的特殊元素、格
离散数学(1)-偏序的反链分解方法
PiggyGaGa的博客
03-16 4182
今天是我第一次写博客，还不知道该如何去写，不过第一次写博客还是让我非常激动，前几天看了大四学长学长的博客，看他最开始也是从简单的东西开始写，我就想以后有想法就写下来，总结一下，长久下去，必定会有收获，学长告诉我有时候总结要比计划好的多，可能他写的东西也比较多对这方面深有体会。今年已经大二了，大一一年的时间总想着玩些什么，对大学里一些新鲜的东西很好奇，也并没有好好规划一下自己。大二开学后有了很多想法
偏序关系和Dilworth定理(poj 1548)
xingkongyidian的博客
07-30 754
偏序关系 集合 P上的关系 R 称为 P上的偏序关系，当且仅当 R是自反的、反对称的和传递的。 Ⅰ  自反性：对任意x∈A，有xRx； Ⅱ 反对称性（即反对称关系）：对任意x,y∈A，若xRy，且yRx，则x=y； Ⅲ 传递性：对任意x, y,z∈A，若xRy，且yRz，则xRz。 则称R为A上的偏序关系，通常记作≼ 哈斯图 对于给定的，常利用盖住关系作哈斯图，其作图规则
【集合论】序关系 ( 链 | 反链 | 链与反链示例 | 链与反链定理 | 链与反链推论 | 良序关系 )
让 学习 成为一种 习惯 ( 韩曙亮 の 技术博客 )
10-14 8601
一、链 、 二、反链 、 三、链与反链示例 、 四、链与反链定理 、 五、链与反链推论 、 六、链与反链推论示例 、 七、良序关系 、
离散数学第三章 集合与关系（8~12）
热门推荐
m0_56150664的博客
04-21 1万+
第三章（8~12） 3-8关系的闭包运算 定义：设R是X上的二元关系，如果有另一个关系R’满足： ​ 1.R‘是自反的（对称的，可传递的） ​ 2.R’⊇R ​ 3.对于任何自反的（对称的，可传递的）关系R‘’，如果有R‘’⊇R，就有R‘’⊇R‘。 ​ 则称关系R’为R的自反（对称，传递）闭包。记作r(R ),(s(R
离散数学学习笔记
TIANFENG_123456的博客
08-26 4769
目录 前言 引言 序的关系 组合数计数 函数估计 图论导引 树 网络流 更好的阅读体验可以到我的github下载PDF。 前言 本笔记由chy-2003整理于上海交通大学发布于coursera的...
【集合论】偏序关系 相关题目解析 ( 偏序关系 中的特殊元素 | 绘制哈斯图 | 链 | 反链 )
让 学习 成为一种 习惯 ( 韩曙亮 の 技术博客 )
07-23 9963
偏序关系中的特殊元素问题 偏序关系证明 哈斯图 链 反链
离散数学——关系
weixin_45126622的博客
05-23 9637
关系序偶与笛卡儿积关系的概念、性质及运算关系的概念关系的表示关系的性质关系的复合运算关系的逆运算关系的闭包运算特殊关系等价关系相容关系偏序关系全序关系 序偶与笛卡儿积 两个具有固定次序的元素 a，b 组成一个有序对被称为序偶\textcolor{red}{序偶}序偶，记作 <a，b>\textcolor{red}{<a，b>}<a，b>，其中 a 称作第一个元素，b 称作第二个元素 任意给定两个集合 A 和 B ，所有第一元素属于 A，第二元素属于 B 的序偶所组成
【离散数学】集合论
weixin_45720246的博客
01-10 1636
集合的基本概念 集合中元素特点：确定性、唯一性、无序性 区分包含与从属的关系 掌握包含，真包含；几种特殊的集合；集合的运算 包含排斥原理 类似于加法原理；对A∪B一类进行展开 序偶和笛卡尔积 <a,b>这类形式称为序偶，a为第一元素，b为第二元素 若a来自集合A，b来自集合B，则所有这样的序偶的集合称为A和B的 笛卡尔积，记作AXB； 笛卡尔积满足分配律（掌握它的证明） 关系 在序偶的集合中，确立一个二元关系R R实际上也是一个集合，满足集合的基本运算 三个特殊关系：空关系、全关系、恒等关系 d
极小元和最小元的区别
最新发布
01-07
在网络中的讨论以及学术文献里，极小元和最小元的概念通常出现在偏序集或者更一般的有序集合的研究中。这两个概念虽然听起来相似但有着不同的含义。 ### 极小元 (Minimal Element) 在一个给定的非空集合S及其上的偏序关系≤中，元素m属于S被称为S的一个极小元当且仅当不存在任何其他元素s属于S使得$s \leq m$并且$m \neq s$成立。换句话说，在这个特定的关系下没有比它还小的其它成员（除了可能等于自己）。一个集合可以拥有超过一个极小元；事实上，只要两个极小元之间不可比较，则它们都可以被视为独立的极小元。 ### 最小元 (Minimum Element) 同样地考虑上面提到的那种情况下的同一个集合S，若存在某个元素l也属于此集合，并对于所有的x∈S都有$l ≤ x$成立的话，那么就称作l是整个集合里的唯一最小元。这意味着在这个设定好的排序规则之下，没有任何其他的成员能小于或等于这个特别指出的小值了——它是绝对意义上的“最底部”。 从以上描述可以看出主要差异在于： - **唯一性**：最小元在整个集合范围内是唯一的，而极小元可以在同一集合中有多个。 - **全局对比 vs 局部对比**：要成为最小元，必须能够与其他所有成员相比较并证明自身是最小的那个；相反，成为一个极小元只需要保证没有直接较小者即可。 至于应用场景方面， - 在数据库查询优化领域，人们可能会遇到关于如何选择最优索引的问题，这里涉及到的数据结构往往可以用偏序来建模，从而利用极小元等概念帮助确定最佳方案。 - 计算机科学中的算法设计也会频繁触及此类理论，比如贪心策略的选择或是动态规划状态转移方程的设计都离不开对这类数学性质的理解。 - 组合数学与离散数学也是广泛应用这些概念的地方之一，特别是在处理图论问题时，节点间的优先级排列经常依赖于类似的思想来进行有效求解。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

柏箱

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值