首页 >
外延性
✍ dations ◷ 2025-12-10 02:10:25 #外延性
在数学中，外延性通常指称某种形式的。可追溯到莱布尼兹的原理，两个数学对象是相等的，如果没有区分它们的检验。例如，给出两个数学函数 f 和 g，我们可以说它们是相等的，如果对于在公共函数域 X 内的所有 x。这种外延相等是平常的定义，如果函数范围 Y 对于两个也是公共的。在另一方面，如果我们在类型论的意义上通过附着到它们上的数据来区分函数，这样我们可以选择一个更大的集合比如 Z 作为它们之一的范围，则这种相等不同于“外延”意义的相等。这种意义下外延性可能会失败。另一种意义的相等考虑“函数被计算的过程”，如果这么考虑，通常会同外延性相抵触。在公理化集合论中，外延性被表达为外延公理，它声称两个集合是相等的，当且仅当它们包含相同的元素。在 lambda 演算中，外延性被表达为 eta-变换规则，它允许在指示相同函数的任何两个表达式之间的转换。考虑从自然数映射的两个函数
f
{displaystyle f}
和
g
{displaystyle g}
，定义如下：这些功能在外延性的意义上是相同的；给定相同的输入，两个函数总是产生相同的值。但是函数的定义并不相同；但是在内涵定义比较时，这两个函数并不相同。在自然语言中，类似地存在许多谓词（关系），这些谓词本质上原来可能是不同涵义的，但使用指称作用的外延性就变成同义词了。例如假设在一个城镇中有一个名叫乔的人，他是该镇最老的人。而句中的两个论证谓词“有一个人名”和“是最老的人”在比较内涵定义时明显是截然不同的概念，但解析整句后，对该“城镇”中有个“乔”“是最老的人”的外延性，则意义即等同。
相关
- 淋巴液淋巴（英语：Lymph）也称胡豆液，是由组织液渗入毛细淋巴管后形成。淋巴是组织液回流的辅助渠道，参与维持机体的组织液平衡。淋巴是人体免疫系统的重要组成成分，当淋巴流经淋巴结的时
- 罗克福干酪罗克福干酪 （法语：le Roquefort），又译“洛克福奶酪”，是羊奶蓝霉干酪的一种，产于法国南部的塔恩河附近圣阿夫里克（Saint-Affrique）镇苏宗尔河畔的罗克福尔（Roquefort-sur-Soulzon）村。
- 经济思想史经济思想史（History of economic thoughts），有时也称为经济学史（history of economic theory），是通过对过去的经济理论发展和变迁的追溯，针对“经济对于人类意味着什么”这个根本问
- 大众文化身为当今世界上最为庞大的国际组织，联合国（或以此为蓝本所设定的组织）经常以不同的面貌出现于电影、小说、漫画乃至于电玩等娱乐媒体上，来与现实世界进行连接。
- 氢氧化钡氢氧化钡是一种钡的化合物，分子式为Ba(OH)2，通常外观为白色颗粒状。氢氧化钡在分析化学中的滴定法可以当做弱酸的指示剂，对有机的弱酸别有效。它透明的溶液是不含碳酸盐的。不
- 核子反应堆列表这个列表将全球核反应堆根据国家或地区的英文名称按字母排列。除了注记外，所有的反应堆由National Atomic Energy Commission拥有及营运。四部核电站均由台湾电力公司营运。I
- 核事故依照国际原子能机构（IAEA）的标准，核事故是指对人、环境或设备造成严重后果的事件。核事故导致的后果有致死的影响、对自然环境造成的大量辐射泄漏、炉心熔毁等。“重大核事故”
- 罗氏制药有限公司罗氏（德语：F. Hoffmann-La Roche AG，简称Roche），总部位于瑞士巴塞尔的跨国医药研发生产商。它始创于1896年，现属于罗氏控股股份有限公司。罗氏于2009年3月26日以大约468亿美元完成
- 木质素木质素（拉丁语、英语、德语: Lignin）是一类复杂的有机聚合物，其在维管植物和一些藻类的支持组织中形成重要的结构材料。木质素在细胞壁的形成中是特别重要的，特别是在木材和树皮
- 音色音色（timbre）是音的特色。不同音色的声音，即使在同一音高和同一响度的情况下，也能让人区分开来。同样的音高和响度配上不同的音色就好比同样色相和明度配上不同的色度一样。美国
