Loading [MathJax]/jax/output/CommonHTML/config.js
前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
圈层
工具
发布
首页
学习
活动
专区
圈层
工具
MCP广场
社区首页 >专栏 >【离散数学】单射、满射与双射

【离散数学】单射、满射与双射

作者头像
全栈程序员站长
发布于 2022-06-28 08:23:33
发布于 2022-06-28 08:23:33
14.3K1
举报

大家好,又见面了,我是你们的朋友全栈君。

本文目录

1、什么是映射?

我们考虑这样的关系:对于集合X中的每一个元素,都有唯一的属于集合Y中的元素被其所指向,我们就称这样的关系叫映射(英:mapping,日:写像(しゃぞう))。这是用很通俗的语言解释定义的映射,而相信大家也都在高中数学必修1里面学过,对映射这个概念想必也都不陌生吧! 从这个定义中,你能get到什么信息呢? ①“X集合中的每一个元素”:如果有集合X的元素不对应集合Y的某个元素的,则不是映射。 ②“都有唯一的Y与之对应”:如果有集合X的元素同时指向了集合Y中的两个以上个元素的,则不是映射。

因此,要进入到对今天的主题——单射、满射与双射的区分,首先你得判断,是不是集合X中的所有元素都指向,且只指向了集合Y当中的一个元素呢?只有if(判定的结果==true)时,我们才可以进行下一步的区分判断;else,它连映射都不是,还判断个什么呢? 这就好比,如果说你是一个高三的学生,你连高一年级都不属于,还要去问你是不是高一(7)班的吗?

小结:如果两个集合各自的元素之间的指向关系满足以下两个条件,它就是一个映射关系。此时方可进一步判断,它具体是哪一种映射了。 (1)集合X中的所有元素均有指向集合Y中的某元素,而没有谁不指向的; (2)集合X中的所有元素均只指向了集合Y中的一个元素,而没有谁指向两个或更多的。

2、映射的分类

2.1 单射

所有被X里的元素指向的Y里的元素,都是只被一个X的元素所指向的,而没有被两个或更多X的元素所指向,那么这种映射关系就叫单射(英:injection,日:単射(たんしゃ))。 单射不考虑是否Y当中的所有元素都无一遗漏地被X的元素所指向了。也可以有Y的元素不被任何X的元素所指向,不影响它是单射。

举个例子。

就比如说看电影吧。有“观众”(X)和“座位”(Y)两个集合。现在我们知道,每一个观众必然会坐在一个座位上,并且他只坐在一个座位上,所以这个对应关系首先是个映射。 又因为每张座位只可被一个观众所对应,不可能一张座上坐两个人,且不是所有座位都一定有观众与之对应的,也可能会有空座位,所以这个对应关系是一种单射关系。

观众与电影院座位(单射): ①要么没人坐; ②要么只有一个人坐。 (要么不被任何观众所指向,要么只被一个观众所指向)

2.2 满射

Y集合里的所有元素均被X里的元素所指向,集合Y中没有任何一个元素不被集合X的元素所指向的,那么这种映射关系就叫满射(英:surjection,日:全射(ぜんしゃ))。 满射不考虑指向同一个Y的有多少个X。只要所有的Y都被指向到了,就是满射。

再举个例子。

比如说班上分小组吧。每个组至少有一个人,否则就不构成一个组(它就不存在)。那么,每个学生都属于且只属于一个组,这首先是映射。又因为每个组必然包含至少一个学生,也可能有多个学生,所以,“学生”集合(X)与“小组”集合(Y)之间的关系,就是一种满射关系。

学生与分组(满射): ①要么分组不存在; ②只要存在这个分组,它就一定被一个或多个学生所指向。

2.3 双射

既是单射,又是满射的映射,就叫做双射(英:bijection,日:全単射(ぜんたんしゃ))。 “所有Y中的元素均被X中的元素所指向,且只被X的一个元素所指向。没有不被指向的,也没有被两个或更多X的元素所指向的。”

举个例子。

最典型的,“学生”(X)与其“学生证号码”(Y)。每个学生都必然有且只有一个学生证号,所以这首先是映射。又因为,每个学生证号码都必然被且只被一个学生所指向,没有不被任何学生指向的学生证号码(它是满射),也没有同时被多个学生指向的学生证号码(它也是单射),所以,这个映射关系是一种双射关系。

学生与学生证号码(双射): 一一对应,互为在彼此的集合里有且只有对方一个与自己相对应的元素。

2.4 既非单射也非满射,但为映射

还有一种映射关系,既不是单射也不是满射。Y中有元素没被X的元素所指向,而被指向的Y的元素,也不是所有都只被一个X元素所指向(存在被多个X元素指向的)。

举个例子。

比如围棋比赛吧。有“棋手”(X)和“棋盘”(Y)两个集合。一个棋手在且只在一个棋盘上下棋,一个棋盘上却有两个棋手。但是,并不是所有的棋盘都会有棋手的。比如,有3个棋盘,却只有4位棋手,那么,必然有一个棋盘是空的,不被任何棋手所指向。 每一个棋手指向且仅指向一个棋盘,这是映射。但是,既不是每个棋盘都必被棋手所指向,也不是每个被指向的棋盘都无一例外只被一个棋手所指向的,所以这种映射关系,既不是满射,也不是单射

3、你掌握了吗?

你学废了吗?来,来,来,拿出你的小本本和笔,做两道题来练一下吧!

一共有六道题。写出两个集合之间是否存在映射关系,如果存在,写出是哪一种映射关系。 要求:从“单射而非满射”、“满射而非单射”、“双射”、“不是单射也不是满射”、“不是映射”中选词作答。

答案将会在评论区公布。

4、心得

我又听见了那句上学时经常听到的问题:“我知道这个有什么用?我买菜需要用到它吗?” 嗯,你买菜当然不会用到它,你不会跟摊主说,你这菜和你人之间有什么映射关系。 但是,比如说,你在设计数据库的时候,就可以和同一个组的小伙伴讨论道,“这个字段应该是主键。因为它值的集合与这个表中记录的集合呈双射关系。” 而不会是这样的: “emmm……啊??主键,我觉得大概可能是这个属性啊。为什么呢?因为……我也说不上来,大概,就是因为那个,它是唯一的。啊不,它可以唯一确定一个人……emmm,一个人只拥有一个这种属性,这种属性也只对应一个人……emmmm,大概也许就是这样吧,我也不是太清楚,我也不太确定,你自己再考虑考虑吧!”

发布者:全栈程序员栈长,转载请注明出处:https://javaforall.cn/132776.html原文链接:https://javaforall.cn

本文参与 腾讯云自媒体同步曝光计划,分享自作者个人站点/博客。
原始发表:2022年6月1,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 作者个人站点/博客 前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
1 条评论
热度
最新
请问答案在哪儿呢
请问答案在哪儿呢
回复回复点赞举报
推荐阅读
编辑精选文章
换一批
离散 单射 满射 双射
阐述一下什么是单射,双射,满射 1.单射: 对于每一个不同的x都有不同的y,即 x1!=x2–>y1!+y2 条件:|X|<=|Y| 2.满射:对于每一个y都有x与之对应 条件:|Y|<=|X| 3.双射:既是单射又是满射 条件:|X|=|Y|
全栈程序员站长
2022/06/28
1.8K0
离散数学题目收集整理练习(期末过关进度40%)
A 集合是非空集合 , A ≠ ∅, 并且 R 关系是 A 集合上的二元关系 , R ⊆ A × A;如果 R 关系是 自反 , 对称 , 传递的 , 那么称 R 关系是等价关系。
命运之光
2024/03/20
1530
离散数学题目收集整理练习(期末过关进度40%)
离散数学总复习精华版(最全 最简单易懂)已完结
哈斯图 画法 极大元、极小元不唯一 最大元和最小元唯一:必须是所有元素都得小于或者大于他 下图中 f 不行
编程张无忌
2021/01/26
1.3K0
离散数学总复习精华版(最全 最简单易懂)已完结
离散数学与组合数学-02二元关系
由笛卡儿积定义可以看出: 1 设 A, B 是任意两个集合,则不一定有 A × B = B × A,即笛卡儿积不满足交换律; 2 A × B = ∅ 当且仅当 A = ∅ 或者 B = ∅; 3 设 A,B, C 是任意三个集合,则不一定有 A × (B × C) = (A × B) × C,即笛卡儿积不满足结合律; 4 当集合 A, B 都是有限集时,|A × B| = |B × A| = |A| × |B|。 5 笛卡儿积对并运算和交运算满足分配律。
用户2225445
2023/10/16
4120
离散数学与组合数学-02二元关系
数值与位置的关系(函数双射)【离散数学】
离散题目11 Time Limit: 1000 ms Memory Limit: 65536 KiB
来杯Sherry
2023/05/25
2500
线性代数-单射,满射,双射,同构,同态,仿射
但 f(x) = 2x 从自然数集\(N\)到\(N\)不是满射,因为没有一个自然数\(N\)可以被这个函数映射到 3。
marsggbo
2018/12/27
10.8K0
离散数学题目收集整理练习(期末过关进度50%)
其中: M(x) 表示 x 是人 Mortal(x) 表示 x 是要死的 ∀x 表示对于所有个体 x
命运之光
2024/03/20
1460
离散数学题目收集整理练习(期末过关进度50%)
离散数学题目收集整理练习(期末过关进度10%)
用语言、符合或式子表达的,可以判断真假的陈述句叫做命题。命题分为真命题和假命题。判断为真的命题叫真命题,判断为假的命题叫假命题。如“3大于2”就是命题,因为“3大于2'是正确的,所以这是一个真命题。
命运之光
2024/03/20
1270
离散数学题目收集整理练习(期末过关进度10%)
读书笔记: 范畴论
一个范畴是一个带标签的有向图,其节点为对象(object),带有标签的有向边为箭头(arrow or morphism)。
绿巨人
2018/12/17
1.5K0
对函数的理论说明(数学转换代码)
总体来说就是在【f】的规则下,当参数【x】的值为某值时f(x)的规则呈现的结果是多少。【x】受到【f】这个函数的约束,所以外部有一个括号。原函数等于【y】就相当于f(x)返回的函数赋值给【y】这个值。
红目香薰
2023/10/11
3100
对函数的理论说明(数学转换代码)
加加减减的奥秘——从数学到魔术的思考(一)
在前面的《reverse原理的魔幻艺术》)(可查看历史消息或点击数学魔术菜单,传送门:Reverse原理背后的数学和魔幻艺术)一文中,我们提到了扑克牌的基础手法dealing,等价于取序列的头部进行reverse这一对称函数关系操作,进而有其二次操作以后恢复的良好性质以得到把预先在给定位置的setting变成预言或者优美画面的魔术效果。关于这个原理,这里还有两点拓展思考:
magic2728
2019/09/27
6830
加加减减的奥秘——从数学到魔术的思考(一)
☆打卡算法☆LeetCode 205. 同构字符串 算法解析
大家好,我是小魔龙,Unity3D软件工程师,VR、AR,虚拟仿真方向,不定时更新软件开发技巧,生活感悟,觉得有用记得一键三连哦。
恬静的小魔龙
2022/09/27
2670
☆打卡算法☆LeetCode 205. 同构字符串  算法解析
离散数学第九章抽象代数笔记
本文适用于bupt的离散数学,或了解学习群论相关知识。 我们说一个集合A到B的二元关系是一个集合,这个关系集合是A和B集合的笛卡尔乘积构成的大集合的子集。对于a∈A,b∈B,记号写成aRb,或者(a,b)∈R。举个例子,
Sarlren
2022/10/28
2.9K0
离散数学第九章抽象代数笔记
单射双射与满射
双射(又叫一一对应,bijection):每一个x都有y与之对应,每一个y都有x与之对应。 把x比作萝卜,y比作坑:
全栈程序员站长
2022/09/06
14.7K0
单射双射与满射
码农眼中的数学之~数学基础
1维直线、2维平面(长宽)、3维空间(长宽高 | xyz轴)、4维时空(xyz轴+时间轴)
逸鹏
2018/07/23
7510
码农眼中的数学之~数学基础
【离散数学】单射、满射、双射、映射的合成与逆映射
单射的关系矩阵:每行有且仅有一个1,并且每列最多有一个1。 满射的关系矩阵:每行有且仅有一个1,并且每列至少有一个1。 双射的关系矩阵:每行有且仅有一个1,并且每列有且仅有一个1。
全栈程序员站长
2022/08/28
2.2K0
【离散数学】单射、满射、双射、映射的合成与逆映射
离散数学:判断任意一个关系是否为函数,若是函数,判定其是否为单射、满射或双射[通俗易懂]
发布者:全栈程序员栈长,转载请注明出处:https://javaforall.cn/138505.html原文链接:https://javaforall.cn
全栈程序员站长
2022/09/02
1K0
离散数学:判断任意一个关系是否为函数,若是函数,判定其是否为单射、满射或双射[通俗易懂]
【图文讲解】映射——单射-双射-满射概念
大家好,又见面了,我是你们的朋友全栈君。 最近看的一篇论文里出现了partial map的概念,用我的散装英文乍一翻译——“部分映射”? 印象中高中和大一的高数书里都讲过,但一些概念已经忘差不
全栈程序员站长
2022/08/14
10.3K0
【图文讲解】映射——单射-双射-满射概念
Modern Algebra 读书笔记
Modern Algebra 读书笔记 Introduction 本文是Introduction to Modern Algebra(David Joyce, Clark University)的读书笔记。 符号(Notation) image.png 术语 特征元素(identity element) 别名:neutral element. For a binary operation is an element in the set that doesn't change the value of
绿巨人
2018/05/17
1.4K0
用“双射”的思想解决排列组合问题
“双射”(bijective)其实是个比较土味的数学名词,因为在关系代数中我们更喜欢称它为“一一映射”。关系代数是研究集合之间“映射关系”的数学分支,然后集合的概念抽象到别的学科上就产生了各种细分理论,上一篇《VLQ偏移自然数》也是围绕“双射”这个主题展开的,即编码与自然数一一映射。
Jean
2020/06/06
1.3K0
推荐阅读
相关推荐
离散 单射 满射 双射
更多 >
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档