外延性

✍ dations ◷ 2025-02-23 10:22:58 #外延性

在数学中，外延性通常指称某种形式的。可追溯到莱布尼兹的原理，两个数学对象是相等的，如果没有区分它们的检验。例如，给出两个数学函数 f 和 g，我们可以说它们是相等的，如果对于在公共函数域 X 内的所有 x。这种外延相等是平常的定义，如果函数范围 Y 对于两个也是公共的。在另一方面，如果我们在类型论的意义上通过附着到它们上的数据来区分函数，这样我们可以选择一个更大的集合比如 Z 作为它们之一的范围，则这种相等不同于“外延”意义的相等。这种意义下外延性可能会失败。另一种意义的相等考虑“函数被计算的过程”，如果这么考虑，通常会同外延性相抵触。在公理化集合论中，外延性被表达为外延公理，它声称两个集合是相等的，当且仅当它们包含相同的元素。在 lambda 演算中，外延性被表达为 eta-变换规则，它允许在指示相同函数的任何两个表达式之间的转换。考虑从自然数映射的两个函数 f {displaystyle f} 和 g {displaystyle g} ，定义如下：这些功能在外延性的意义上是相同的；给定相同的输入，两个函数总是产生相同的值。但是函数的定义并不相同；但是在内涵定义比较时，这两个函数并不相同。在自然语言中，类似地存在许多谓词（关系），这些谓词本质上原来可能是不同涵义的，但使用指称作用的外延性就变成同义词了。例如假设在一个城镇中有一个名叫乔的人，他是该镇最老的人。而句中的两个论证谓词“有一个人名”和“是最老的人”在比较内涵定义时明显是截然不同的概念，但解析整句后，对该“城镇”中有个“乔”“是最老的人”的外延性，则意义即等同。

相关

γ-变形菌纲详见细菌分类表γ‐变形菌纲（学名：Gammaproteobacteria）属于细菌界变形菌门，是目前所知的细菌中种类最多的一纲，包括一些医学上和科学研究中很重要的类群，如肠杆菌科（Enterobactera
抽动障碍抽动障碍（英文：Tics、Tic Disorder），为一种精神疾病。其被DSM定义为一类机动的或发声的行为障碍，包括各类抽动（突然的、急促的、不规律的、刻板的、无意识的运动）。其定义与ICD-10
风险风险是相对某有机体的，指某可能发生的事件（辞源于航海者），如果发生，能阻碍有机体的发展，甚至走向衰亡，风险是指事件发生与否的不确定性。危险﹑危机。如：“期货投资，必须负担极大的风险
内皮细胞层内皮细胞或血管内皮是一薄层的专门上皮细胞，由一层扁平细胞所组成。它形成血管的内壁，是血管管腔内血液及其他血管壁（单层鳞状上皮）的界面。内皮细胞是沿着整个循环系统，由心脏直
静电惯性静电约束(英语：Inertial Electrostatic Confinement，缩写为IEC），一种核聚变技术，以电场来加热等离子，以诱发核聚变。电场对带电粒子（离子或电子）做功，可以将它加热，直到发生核聚变
排污交易排污交易是一种以“奖励”形式的经济诱因，鼓励私人企业致力减排的，控制污染经济工具和政府行政门径；以达致减少排放污染物目标。仍发展中的减低排放温室气体的碳排放计划（英
吡喃糖吡喃糖(英语：Pyranose)是一种糖，用于总称碳水化合物所具有的化学结构，其中包含一个由5个碳原子和1个氧原子所组成的六元环状结构。可能会有其他的碳原子在环以外。吡喃糖是吡喃
吕根岛吕根岛（德语：Rügen；拉丁语：Rugia）是德国最大的岛屿，位于德国东北部的波罗的海，属于梅克伦堡-前波美拉尼亚州。吕根岛南北最长处为52千米，东西最宽处为41千米，总面积926平方千米，海岸
教养教养（parenting）也称为养育或育儿，是指促进及支持儿童的体适能、情绪、社会及智力的发展，从婴儿期间一直拓展到成人。教养也就是将一个儿童培养成长成成人的过程。父母的教养方
穆斯林65–75% 逊尼派 10–13% 什叶派 15–20% 无教派穆斯林 ~1% 阿赫迈底亚 ~1% 其他教派，如穆斯林（阿拉伯语：مسلم‎），即信仰伊斯兰教者，也是伊斯兰信徒的自称。“穆斯林”一词音