首页 >
外延性
✍ dations ◷ 2025-12-11 12:28:40 #外延性
在数学中，外延性通常指称某种形式的。可追溯到莱布尼兹的原理，两个数学对象是相等的，如果没有区分它们的检验。例如，给出两个数学函数 f 和 g，我们可以说它们是相等的，如果对于在公共函数域 X 内的所有 x。这种外延相等是平常的定义，如果函数范围 Y 对于两个也是公共的。在另一方面，如果我们在类型论的意义上通过附着到它们上的数据来区分函数，这样我们可以选择一个更大的集合比如 Z 作为它们之一的范围，则这种相等不同于“外延”意义的相等。这种意义下外延性可能会失败。另一种意义的相等考虑“函数被计算的过程”，如果这么考虑，通常会同外延性相抵触。在公理化集合论中，外延性被表达为外延公理，它声称两个集合是相等的，当且仅当它们包含相同的元素。在 lambda 演算中，外延性被表达为 eta-变换规则，它允许在指示相同函数的任何两个表达式之间的转换。考虑从自然数映射的两个函数
f
{displaystyle f}
和
g
{displaystyle g}
，定义如下：这些功能在外延性的意义上是相同的；给定相同的输入，两个函数总是产生相同的值。但是函数的定义并不相同；但是在内涵定义比较时，这两个函数并不相同。在自然语言中，类似地存在许多谓词（关系），这些谓词本质上原来可能是不同涵义的，但使用指称作用的外延性就变成同义词了。例如假设在一个城镇中有一个名叫乔的人，他是该镇最老的人。而句中的两个论证谓词“有一个人名”和“是最老的人”在比较内涵定义时明显是截然不同的概念，但解析整句后，对该“城镇”中有个“乔”“是最老的人”的外延性，则意义即等同。
相关
- 美国疾病控制与预防中心美国疾病控制与预防中心（英语：Centers for Disease Control and Prevention，缩写为CDC）是美国卫生与公众服务部所属的一个机构，总部设在乔治亚州亚特兰大。作为美国联邦政府行政
- 癫痫癫痫症（英语：Epilepsy），是一种神经性疾患（英语：Neurological disorders），特征为反复地癫痫发作，即为重复发作或长或短的严重抽搐症状，可能会造成物理性伤害，甚至骨折。癫痫症的定义是，患
- 肢端肥大症肢端肥大症（Acromegaly）是肇因于人体的生长板关闭后生长激素（GH）仍过度分泌所引起的疾病。 最初的症状通常是手部和足部肿大，前额、下巴和鼻子也可能会变大。其他症状可能包括关
- 汉弥尔顿·史密斯汉弥尔顿·奥塞内尔·史密斯（英语：Hamilton Othanel Smith，1931年8月23日－），美国微生物学家。因1970年代在约翰·霍普金斯大学发现限制性内切酶而与丹尼尔·那森斯（Daniel Nathans）
- 环己烷构象环己烷构象主要研究环己烷及其相关衍生物的构象，是构象分析的重要内容。很早就有人提出环己烷可能不是平面型结构。1890年，德国人赫尔曼·萨克森（Hermann Sachse）提出通过折纸来
- 食品安全问题中华人民共和国食品安全是中华人民共和国（以下简称中国）日益关注的一个议题。中国的主要农作物有水稻、玉米、小麦、大豆、棉花以及苹果等，而主要畜产品有猪肉、牛肉、牛奶以及
- 伊斯兰堡伊斯兰堡（乌尔都语：اسلام آباد，乌尔都语转写：Islāmābād）是巴基斯坦的首都，位于该国的伊斯兰堡首都区。伊斯兰堡在2011年有两百多万人口，并与紧邻着的城市拉瓦尔品第
- 滞产滞产是指分娩的整个过程超过24小时。滞产分为二种，一种是临产潜伏期超过八小时，另一种是临产活跃期超过12小时。滞产的原因可能是子宫收缩不良、胎儿特别大或是其胎位异常、或
- 阿尔巴尼亚语阿尔巴尼亚语（Gjuha shqipe /ˈɟuˌha ˈʃciˌpɛ/ 或 Shqip ），中文也称阿尔巴尼亚文，属印欧语系。使用者约五百万人，主要分布在阿尔巴尼亚、科索沃、马其顿以及希腊。其他东南
- 猪厕猪厕，古称圂厕、圂、豕牢、溷轩，又称带厕猪圈、连茅圈、茅圈，是指在同一地同时作养猪和厕所之用，猪厕所养的猪往往以人的粪便为食粮，亚洲不少地区都有使用猪厕的传统，至今仍可在中
