首页 >
外延性
✍ dations ◷ 2025-08-10 18:15:00 #外延性
在数学中，外延性通常指称某种形式的。可追溯到莱布尼兹的原理，两个数学对象是相等的，如果没有区分它们的检验。例如，给出两个数学函数 f 和 g，我们可以说它们是相等的，如果对于在公共函数域 X 内的所有 x。这种外延相等是平常的定义，如果函数范围 Y 对于两个也是公共的。在另一方面，如果我们在类型论的意义上通过附着到它们上的数据来区分函数，这样我们可以选择一个更大的集合比如 Z 作为它们之一的范围，则这种相等不同于“外延”意义的相等。这种意义下外延性可能会失败。另一种意义的相等考虑“函数被计算的过程”，如果这么考虑，通常会同外延性相抵触。在公理化集合论中，外延性被表达为外延公理，它声称两个集合是相等的，当且仅当它们包含相同的元素。在 lambda 演算中，外延性被表达为 eta-变换规则，它允许在指示相同函数的任何两个表达式之间的转换。考虑从自然数映射的两个函数
f
{displaystyle f}
和
g
{displaystyle g}
，定义如下：这些功能在外延性的意义上是相同的；给定相同的输入，两个函数总是产生相同的值。但是函数的定义并不相同；但是在内涵定义比较时，这两个函数并不相同。在自然语言中，类似地存在许多谓词（关系），这些谓词本质上原来可能是不同涵义的，但使用指称作用的外延性就变成同义词了。例如假设在一个城镇中有一个名叫乔的人，他是该镇最老的人。而句中的两个论证谓词“有一个人名”和“是最老的人”在比较内涵定义时明显是截然不同的概念，但解析整句后，对该“城镇”中有个“乔”“是最老的人”的外延性，则意义即等同。
相关
- 俄勒冈州俄勒冈å·ï¼ˆè‹±è¯ï¼šState of Oregon）是ç¾å›½çš„一个å·ï¼Œä½äºç¾å›½è¥¿åŒ—的太平
- 慢性梗阻性肺部疾病慢性阻塞性肺疾病（英语：Chronic obstructive pulmonary disease，缩写为COPD），常简称为慢阻肺。是一种以持续性的气流受限为特征的阻塞性肺疾病（英语：Obstructive lung disease）。其
- 心悸心悸（英语：Palpitation）是一种可以感觉到自己的心脏跳动的不适现象，有时伴有眩晕和呼吸困难。心悸可在正常人的健康心脏中发生，因此常常被认为是一种正常现象。然而，它也有可能是
- 担子菌门担子菌门（学名：Basidiomycota）是一类高等真菌，构成双核亚界，包含2万多种，包括蘑菇、木耳等主要食用菌。更具体地说，担子菌门包括以下组：蘑菇，马勃，stinkhorns（鬼笔科），支架真菌（英语：Bracke
- 镇痛剂肾病镇痛剂肾病(Analgesic nephropathy)是由镇痛药，比如阿司匹林、非那西汀、对乙酰氨基酚等所诱发的肾脏损伤疾病。镇痛剂肾病这个词语通常是指来自于过度使用这些镇痛药物的组
- 独立机构美国联邦政府的独立机构是存在于联邦行政部门（由内阁部长领导）之外的那些机构。然而，大多数独立机构是行政分支的一部分，仅少数是立法或司法分支的一部分。通过由国会通过的单独
- 器官系统生物系统（Biological system），又称身体系统（Body system）、器官系统（Organ system），是生物的其中一个组成部分，是由许多不同的器官共同组合而成，执行某种特定的生理作用。人体的系统是
- GeneCardsGeneCards（中文大意：基因卡片）是一个收录人基因组、转录组、蛋白质组的数据库。该数据库亦提供所有已知以及推测的人类基因的功能信息。该数据库由魏茨曼科学研究学院创立，该数
- 黄沙黄沙（即黄尘、亚洲粉尘、黄河风或中国沙尘暴）是一种季节性的气象现象，它会于东亚冬春交际时零星地出现。沙尘起源于蒙古沙漠、中国北部和哈萨克斯坦，而表面高速的风及激烈的尘暴
- 青光眼青光眼（拉丁语：Glaucoma）是一系列会导致视神经受损，进而造成视力丧失的眼疾。其中最常见的是隅角开放性青光眼，隅角闭锁性青光眼次之，但亚裔族群有罹患此型的机会较欧裔高。也有部
