外延性

✍ dations ◷ 2025-12-04 00:03:53 #外延性

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

相关

冷泉冷泉（英语：cold seep）（有时称为冷泉喷口）是一个洋底区域，其中硫化氢，甲烷和其他碳氢化合物丰富的流体渗漏发生的地方，往往是以盐水池的形式。“冷”并不意味着渗流的温度比周围的海
白细胞介素-41BBN、1BCN、1CYL、1HIJ、1HIK、1HZI、1IAR、1ITI、1ITL、1ITM、1RCB、2B8U、2B8X、2B8Y、2B8Z、2B90、2B91、2CYK、2D48、2INT、
肌肉组织肌肉组织（Muscle tissue）是组成动物身体肌肉的软组织，肌肉的收缩是透过肌肉组织进行的。这和肌肉中其他的组织（例如腱或肌束膜）相反。肌肉组织是在胚胎发育时借由肌发生（英语：myoge
心像表象(心理图像)，在大多数情况下，类似感知某些物体、事件、场景，不过对感官而言，感知对象实际上并不存在。有些时候，尤其是在入眠期（英语：Hypnagogia）和半醒(半意识)（英语：Hypnopom
腰椎穿刺腰椎穿刺（英文：Lumbar puncture或Spinal tap，常称LP）是一种将长针插入脊椎腔（英语：spinal canal）的诊断医学手段。其目的一般是获取脑脊液，以用于诊断性试验。腰椎穿刺的主要是为了
火灾暴风火灾暴风（英语：Firestorm），又称火风暴或火灾风暴，是大范围火灾本身所创造和维持的风力系统，是严重野火或山火中的一种自然现象。也会用来描述一般的巨型火灾，火灾风暴的确定特征必
埃塞俄比亚贝塔-以色列人（希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","T
奥托·兰克奥托·兰克（1884年4月22日－1939年10月31日）是一个奥地利精神分析学家、作家和老师。1884年出生于奥地利维也纳。他是西格蒙德·弗洛伊德最亲近的同事之一。美国存在主义心理治
羟胆甾醇羟胆甾醇或羟胆固醇（英语：Oxycholesterol）或5,6-环氧胆固醇（英语：5,6-epoxycholesterol）是一种与动脉粥样硬化有关的氧化胆固醇
多音字陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧