首页 >
外延性
✍ dations ◷ 2025-12-07 21:47:42 #外延性
在数学中，外延性通常指称某种形式的。可追溯到莱布尼兹的原理，两个数学对象是相等的，如果没有区分它们的检验。例如，给出两个数学函数 f 和 g，我们可以说它们是相等的，如果对于在公共函数域 X 内的所有 x。这种外延相等是平常的定义，如果函数范围 Y 对于两个也是公共的。在另一方面，如果我们在类型论的意义上通过附着到它们上的数据来区分函数，这样我们可以选择一个更大的集合比如 Z 作为它们之一的范围，则这种相等不同于“外延”意义的相等。这种意义下外延性可能会失败。另一种意义的相等考虑“函数被计算的过程”，如果这么考虑，通常会同外延性相抵触。在公理化集合论中，外延性被表达为外延公理，它声称两个集合是相等的，当且仅当它们包含相同的元素。在 lambda 演算中，外延性被表达为 eta-变换规则，它允许在指示相同函数的任何两个表达式之间的转换。考虑从自然数映射的两个函数
f
{displaystyle f}
和
g
{displaystyle g}
，定义如下：这些功能在外延性的意义上是相同的；给定相同的输入，两个函数总是产生相同的值。但是函数的定义并不相同；但是在内涵定义比较时，这两个函数并不相同。在自然语言中，类似地存在许多谓词（关系），这些谓词本质上原来可能是不同涵义的，但使用指称作用的外延性就变成同义词了。例如假设在一个城镇中有一个名叫乔的人，他是该镇最老的人。而句中的两个论证谓词“有一个人名”和“是最老的人”在比较内涵定义时明显是截然不同的概念，但解析整句后，对该“城镇”中有个“乔”“是最老的人”的外延性，则意义即等同。
相关
- 人体解剖学人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学人体解剖学（英语：anthropotomy或human a
- 核蛋白核蛋白是指与核酸（脱氧核糖核酸，DNA或者核糖核酸，RNA）有关的任何蛋白质。譬如，组织蛋白类型的蛋白－染色质。端粒酶，核糖核蛋白和精蛋白都是核蛋白。典型的核蛋白包括核糖体，核小体和
- 阑尾炎阑尾炎，是指由阑尾发炎而引起的急性消化系统疾病。阑尾，是大肠起始段的管状器官。由于其生长位置关系，容易因受到感染、腔隙阻塞等而发炎。一般常说的盲肠炎其实就是指阑尾炎（Ap
- 生物圈生物系统层级关系：生物圈 > 生态系统 > 群落 > 种群 > 个体生物圈（Biosphere）是指地球上所有生态系的统合整体，是地球的一个外层圈，其范围为海平面上下垂直10公里。它包括地球上
- 冠状动脉再成形术冠状动脉再成形术又名球囊动脉成形术、经皮腔内冠状动脉成形术（Percutaneous transluminal coronary angioplasty，简称PTCA），也称作经皮冠状动脉介入治疗（Percutaneous coronary
- 高级心脏血管救命术高级生命支持，亦为高级心肺复苏、ACLS，是指一系列的临床介入(clinical intervention)，作为以下情况的应急处置:心跳停止、休克，以及其他医学上危及生命的紧急情况；亦指施行此临床
- 美国国家科学院期刊《美国国家科学院院刊》（英语：Proceedings of the National Academy of Sciences of the United States of America，通常简称为 PNAS；PNAS USA）是美国国家科学院的官方学术周刊。
- 酯酶酯酶（英语：esterase）是一种水解酶催化剂，可在水分子的参与下，经由水解作用，将酯类切割成酸类与醇类。此类酶参与多种生物化学反应，依其专属受质、蛋白质结构，以及功能而有不同。脂酶
- 贲门癌贲门癌在肿瘤学上指原发于贲门（食管与胃的接口）处的恶性肿瘤。1998年，国际胃癌协会和国际食管疾病协会将贲门癌定义为肿瘤中心位于食管与胃结合部，贲门近端/远端5厘米以内的腺癌
- 维生素B12维生素B12（Vitamin B12）为B族维生素之一，是一类含钴的复杂有机化合物。分子结构是以钴离子为中心的咕啉环和5,6-二甲基苯并咪唑为碱基组成的核苷酸。化学式为C63H88O14N14PCo，分
