数学术语之源——单射(injection),满射(surjection),双射(bijection)

1. 单射或入射(injection)

1.1 injection的词源

         词义为“a forcing of a fluid into a body (with a syringe, etc.)(迫使液体进入体内(使用注射器等))”(始于15世纪早期),来自古法语“iniection ”(14世纪)或者直接来自拉词语“iniectionem (主格‘iniectio’)”,词义为“扔进去(a throwing in)”,源自过去分词词干“inicere ”的动作名词,词义为“扔进去或扔上去(to throw in or on)”。

1.2 injection引入代数学及其数学含义

    据牛津英语词典记载,S. MacLane曾在<<美国数学会会刊>>(Bulletin of the American Mathematical Society)中使用过“injection”(1950年),以及Eilenberg Steenrod曾在<<代数拓扑基础>>(Foundations of Algebraic Topology)中使用过“injective”(1952年)。然而,这个术语族(指“injection”,“surjection”和“bijection”)是由Nicholas Bourbaki集合论,数学基础第一部分,第一册,第一章,第二章(Théorie des ensembles, Éléments de mathématique Première Partie, Livre I, Chapitres I, II)”中其中的第80页中引入的(1954年)。回顾R. O. Gandy在<<符号逻辑杂志>>(Journal of Symbolic Logic)上对该书的评论(1959 年,第 72 页):

Another useful function of Bourbaki’s treatise has been to standardise notation and terminology… Standard terms are badly needed for “one-to-one,” “onto” and “one-to-one onto”; will Bourbaki’s “injection,” “surjection” and “bijection” prove acceptable? (Bourbaki论文的另一个有用功能是标准化符号和术语……急需对 “一对一”、“映射”和“一对一映射” 进行术语的标准化;Bourbaki的“入射(或内射)”、“满射”和“双射”能被接受吗?)

    这些术语被证实确实是可以接受的,甚至对于用英语写作的数学家来说也是如此,并且很快就成为标准。例如,Jun-Ichi Igusa“Fibre Systems of Jacobian Varieties(Jacobian变体的纤维系统)”中使用了所有这三个术语,<<美国数学杂志>>(American Journal of Mathematics),78期,(1956年),第171-199页。(JSTOR搜索)形容词形式出现在 C. Chevalley的著作<<代数基础概念>>(Fundamental Concepts of Algebra)(1956年)中:一个入射的同态称为单态射;一个满射同态称为一个满态射(A homomorphism which is injective is called a monomorphism; a homomorphism which is surjective is called an epimorphism)。”(牛津英语词典)(另参考条目“one-to-one”和“onto”。)

    “一对一对应关系(ONE-TO-ONE CORRESPONDENCE)”被发现曾出现在H. G. Zeuthen文章中, C. R. LXX. 742. (1870年)记录“在点一一对应的两个曲面的基点上(Sur les points fondamentaux de deux surfaces dont les points se correspondent un à un)”。 一对一的对应关系于 1873 年在 “Proc. Lond. Math. Soc. IV. 252” 中以英语形式找到。:“方程……应该在两个积分空间之间建立‘一对一’的对应关系。” Bertrand Russell 在他的<<数学原理>>( Principles of Mathematics)(1903 年,第 113 页)中指出,“两个类具有相同的数……当它们的项可以一对一相关时,因此其中任何一项都对应于另一项且唯一的项 。”(牛津英语词典)。

    “onto”一词曾在1940年被C. C. MacDuffee在他的<<抽象代数引论>>( Introd. Abstract Algebra)中用作介词:“如果A映射到B的同态存在,我们记为A ~ B(If a homomorphism of A onto B exists, we write A ~ B)”。

    事实上,理解成“one-to-one”(一对一映射)也不直观,并没体理其映射本质。而译为“单射”或“入射”也只体现了其映射的一个特征,而译成“内射”就更不直观了。相对而言,“单射”或“入射”略为妥当,说其是“单射”,是相对于“双射”而言,其本质应是“原像不同则像不同的单向映射”,是某种意义上的“不同对应不同”。

2. 满射(surjection)

     “surjection”的来源同“injection”,一般认为是由Nicholas Bourbaki引入数学的。“surjection”本身是个法语词,源头来自拉丁词“superiectiō”,其词义为“a throwing over or on(扔过或扔到上面)”。由前缀“sur-”(over, above, beyond, in addition)(在……之上,居于……之上,……之外,除此之外)+“jection”构成。即,“映射时其像囊括整个值域范围的映射”。即其数学含义是“范围(range)中的值必有原像的映射。

3. 双射(bijection)

    “bijection”也是一个来自法语的词汇,由“bi-”(词义为“two, having two, twice, double, doubly, twofold, once every two(两个,具有二的性质,两次的,双的,双重的,双倍的,每两次)”)+“jection”。在这里,“bi-”应理解为“两重性质的映射”。同样,一般认为是由Nicholas Bourbaki引入数学的。这个从字面意义也只看出一半的意义。本质为单射和满射的结合,即,原像不同像不同,并且范围(range)中的值必有原像这两种特征结合的映射。应该说,双射才真正符合一对一性质的映射。

参考资料:

Earliest Known Uses of Some of the Words of Mathematics (I)

<<Algebra>> Michael Artin, 2th

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/100353.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

游戏软件开发与应用软件开发有什么不同呢?

游戏软件开发和应用软件开发是两种不同类型的软件开发&#xff0c;它们在许多方面都有不同之处。以下是它们之间的一些主要区别&#xff1a; 目标用户群体&#xff1a; 游戏软件开发的主要目标是提供娱乐和休闲体验&#xff0c;通常面向广大的游戏玩家群体。游戏软件的设计和开…

【嵌入式】常用串口协议与转换芯片详解

文章目录 0 前言1 一个通信的协议的组成2 常用协议名词解释2.1 UART2.2 RS-2322.3 RS-4852.4 RS-4222.5 比较 3 常用的芯片 0 前言 最近有点想研究USB协议&#xff0c;正好也看到有评论说对如何选择USB转串口模块有些疑惑&#xff0c;其实我也一直很想写一篇关于串口的总结式的…

修炼k8s+flink+hdfs+dlink(四:k8s(二)组件)

一&#xff1a;控制平面组件。 控制平面组件会为集群做出全局决策&#xff0c;比如资源的调度。 以及检测和响应集群事件&#xff0c;例如当不满足部署的 replicas 字段时&#xff0c; 要启动新的 pod&#xff09;。 1. kube-apiserver。 该组件负责公开了 Kubernetes API&a…

浏览器详解(四) 渲染

大家好&#xff0c;我是半虹&#xff0c;这篇文章来讲浏览器渲染 1、基本介绍 浏览器是多进程多线程的架构&#xff0c;包括有浏览器进程、渲染器进程、GPU 进程、插件进程等 在上篇文章中我们介绍过浏览器进程&#xff0c;作为浏览器主进程&#xff0c;负责浏览器基本界面的…

天龙八部服务端Public目录功能讲解

PublicDataAIScript文件夹中 script(0~210).ai怪物AI脚本设定如是否主动攻击是否使用技能 PublicDataScript文件夹中 eventbossgroupbg_BossAI_CreateMonster.lua 是BOSS群 刷小怪通用脚本 PublicDataScript文件夹中 eventbossgroupbg_CangShan.lua 苍山 BOSS群刷新脚本 Public…

创建properties资源文件,并由spring组件类获取资源文件

1.1 创建资源文件file-upload-dev.properties #文件上传地址 file.imageUserFaceLocation=/workspaces/images/foodie/faces #图片访问地址 file.imageServerUrl=http://localhost:8088/foodie/faces1.2 创建spring组件获取资源文件类FileUpload import org.springframework.…

超低延时直播技术演进之路-进化篇

一、概述 网络基础设施升级、音视频传输技术迭代、WebRTC 开源等因素&#xff0c;驱动音视频服务时延逐渐降低&#xff0c;使超低延时直播技术成为炙手可热的研究方向。实时音视频业务在消费互联网领域蓬勃发展&#xff0c;并逐渐向产业互联网领域加速渗透。经历了行业第一轮的…

Doris 2.0.1 DockerFile版 升级实战

1、Doris 2.0.1 DockerFile 的制作 参考 Doris 2.0.1 Dockerfile制作-CSDN博客 2、之前的Doris 集群通过 Docker容器进行的部署&#xff0c;需提前准备好Doris2.0.1的镜像包 参考&#xff1a; 集群升级 - Apache Doris Doris 升级请遵守不要跨两个及以上关键节点版本升级的…

Unix Network Programming Episode 78

‘getaddrinfo’ Function The gethostbyname and gethostbyaddr functions only support IPv4. The API for resolving IPv6 addresses went through several iterations, as will be described in Section 11.20(See 8.9.20); the final result is the getaddrinfo function…

ansible部署二进制k8s

简介 GitHub地址&#xff1a; https://github.com/chunxingque/ansible_install_k8s 本脚本通过ansible来快速安装和管理二进制k8s集群&#xff1b;支持高可用k8s集群和单机k8s集群地部署&#xff1b;支持不同版本k8s集群部署&#xff0c;一般小版本的部署脚本基本是通用的。 …

js文件的入口代码及需要入口代码的原因

1 在js解释器解释代码时&#xff0c;是从上往下逐条执行的&#xff0c;但是在js文件中&#xff0c;存在许多进行页面交互的代码&#xff0c;它们需要获取到当前按钮元素&#xff0c;比如&#xff1a;var btn document.querySelector(button), 如果将js文件写在了页面结…

java项目实现不停服更新的4种方案(InsCode AI 创作助手)

文章目录 1. Blue-Green 部署2. 滚动更新3. 使用负载均衡器4. 灰度发布 在软件开发和维护中&#xff0c;不停机更新是确保应用程序持续可用的关键任务之一。以下是四种常见的不停机更新策略及其示例&#xff1a; 1. Blue-Green 部署 概念&#xff1a; Blue-Green 部署是一种部…

Jenkins 构建时动态获取参数

文章目录 问题简介Groovy 脚本配置进阶 问题 在做jenkins项目时&#xff0c;有些参数不是固定写死的&#xff0c;而是动态变化的&#xff0c;这时我们可以用 Active Choices 插件来远程调用参数 问题解决方案&#xff1a;执行构建前使用Groovy Scrip调用本地脚本&#xff0c;…

点云处理开发测试题目 完整解决方案

点云处理开发测试题目 文件夹中有一个场景的三块点云数据,单位mm。是一个桌子上放了一个纸箱,纸箱上有四个圆孔。需要做的内容是: 1. 绘制出最小外接立方体,得到纸箱的长宽高值。注意高度计算是纸箱平面到桌子平面的距离。 2. 计算出纸箱上的四个圆的圆心坐标和半径,对圆…

flutter StreamSubscription 订阅者 stream

当您使用[Stream.listen]收听[Stream]时 则返回[StreamSubscription]对象 List<StreamSubscription?> subscriptions []; overridevoid initState() {super.initState();//subscriptions列表添加两个StreamSubscription。Stream.listen返回StreamSubscription对象subs…

论文解析——AMD EPYC和Ryzen处理器系列的开创性的chiplet技术和设计

ISCA 2021 摘要 本文详细解释了推动AMD使用chiplet技术的挑战&#xff0c;产品开发的技术方案&#xff0c;以及如何将chiplet技术从单处理器扩展到多个产品系列。 正文 这些年在将SoC划分成多个die方面有一系列研究&#xff0c;MCM的概念也在不断更新&#xff0c;AMD吸收了…

Git基础使用

Git基础使用 1、git的本质2 Gitlab账号申请、免密设置2.1 申请Gitlab账号2.2 免密设置2.2.1 公钥及私钥路径2.2.2 免密设置 3、常用命令3.1 git全局配置信息3.2 初始化项目3.3 拉取项目 将日常笔记记录上传&#xff0c;方便日常使用翻阅。 1、git的本质 git对待数据更像是一个快…

【jvm--堆】

文章目录 1. 堆&#xff08;Heap&#xff09;的核心概述2. 图解对象分配过程2.1 Minor GC&#xff0c;MajorGC、Full GC2.1 堆空间分代思想2.3 内存分配策略2.4 TLAB&#xff08;Thread Local Allocation Buffer&#xff09;2.5 堆空间的参数设置2.6 逃逸分析2.7 逃逸分析&…

MODBUS-RTU通信协议功能码+数据帧解读(博途PLC梯形图代码)

MODBUS通信详细代码编写,请查看下面相关链接,这篇博客主要和大家介绍MODBUS协议的一些常用功能码和具体数据帧解析,以便大家更好的理解MODBUS通信和解决现场实际问题。 S7-1200PLC MODBUS-RTU通信 博途PLC 1200/1500PLC MODBUS-RTU通讯_博图modbus rtu通讯实例-CSDN博客1、…

【centos7安装ElasticSearch】

概述 最近工作中有用到ES &#xff0c;当然少不了自己装一个服务器捣鼓。本文的ElasticSearch 的版本&#xff1a; 7.17.3 一、下载 ElasticSearch 点此下载 下载完成后上传至 Linux 服务器&#xff0c;本文演示放在&#xff1a; /root/ 下&#xff0c;进行解压&#xff1…