首页 >
外延性
✍ dations ◷ 2025-12-06 05:22:57 #外延性
在数学中，外延性通常指称某种形式的。可追溯到莱布尼兹的原理，两个数学对象是相等的，如果没有区分它们的检验。例如，给出两个数学函数 f 和 g，我们可以说它们是相等的，如果对于在公共函数域 X 内的所有 x。这种外延相等是平常的定义，如果函数范围 Y 对于两个也是公共的。在另一方面，如果我们在类型论的意义上通过附着到它们上的数据来区分函数，这样我们可以选择一个更大的集合比如 Z 作为它们之一的范围，则这种相等不同于“外延”意义的相等。这种意义下外延性可能会失败。另一种意义的相等考虑“函数被计算的过程”，如果这么考虑，通常会同外延性相抵触。在公理化集合论中，外延性被表达为外延公理，它声称两个集合是相等的，当且仅当它们包含相同的元素。在 lambda 演算中，外延性被表达为 eta-变换规则，它允许在指示相同函数的任何两个表达式之间的转换。考虑从自然数映射的两个函数
f
{displaystyle f}
和
g
{displaystyle g}
，定义如下：这些功能在外延性的意义上是相同的；给定相同的输入，两个函数总是产生相同的值。但是函数的定义并不相同；但是在内涵定义比较时，这两个函数并不相同。在自然语言中，类似地存在许多谓词（关系），这些谓词本质上原来可能是不同涵义的，但使用指称作用的外延性就变成同义词了。例如假设在一个城镇中有一个名叫乔的人，他是该镇最老的人。而句中的两个论证谓词“有一个人名”和“是最老的人”在比较内涵定义时明显是截然不同的概念，但解析整句后，对该“城镇”中有个“乔”“是最老的人”的外延性，则意义即等同。
相关
- 亨廷顿氏舞蹈病亨廷顿舞蹈症（Huntington's Disease, HD）是一种遗传性疾病，会导致脑细胞死亡。早期症状往往是情绪或智力方面的轻微问题，接着是不协调和不稳定的步伐（英语：Gait）。随着疾病的进展，身
- 腹部人的腹部（拉丁文：Abdomen）是骨盆和胸部之间的身体部分。在解剖学上，腹部从胸底的横隔膜直到骨盆的真假骨盆界限。真假骨盆界限从腰骶角（第5腰椎和第一骶椎之间的椎间盘）到耻骨联合
- 肿瘤标志物癌症标志物（英语：Cancer biomarkers）是指由肿瘤细胞直接产生或由非肿瘤细胞经肿瘤细胞诱导产生的物质。对于肿瘤标志物的检测可对肿瘤存在、发病过程及预后作出判断。癌症标志
- 绿色革命绿色革命（英语：Green Revolution），或称为第三次农业革命（Third Agricultural Revolution），是一组1950年至1960年代末之间的一系列研究技术转让（英语：technology transfer）倡议，1960年代
- 假病毒科假病毒属 Pseudovirus 半病毒属 Hemivirus假病毒科（Pseudoviridae），又译作伪病毒科，是一种拥有反转录酶的单链RNA病毒。该类病毒主要感染真菌和无脊椎动物。其下有二属：
- 丝氨酸蛋白酶抑制剂结构 / ECOD1m37A:1-378 1hleB:349-379 1jrrA:1-415 1by7A:1-415 1ovaA:1-385 1uhgA:1-385 1jtiB:1-385 1attB:77-433 1nq9L:76-461 1oyhI:76-461
- 危地马拉市危地马拉城（西班牙语：Ciudad de Guatemala）是危地马拉的首都和第一大城市、危地马拉省首府，同时也是中美洲第一大城市。人口根据不同的估算方式，在200万至350万人之间。位于危地
- 甘露糖甘露糖（Mannose）是一种单糖，也是一种六碳糖。在自然界中较少单独存在，多以群体的大分子形式出现。其甜度比蔗糖低，可作为糖尿病患者的代糖使用。它与核糖、半乳糖、墨角藻糖、胺
- 游隼17–19, see text夏季侯鸟繁殖区 留鸟繁殖区 冬季侯鸟 过境侯鸟Falco atriceps HumeFalco kreyenborgi Kleinschmidt, 1929Falco pelegrinoides madens Ripley & W
- 半乳糖血症半乳糖血症（Galactosemia）是一种遗传性代谢疾病，病患不能正常地将半乳糖代谢，但病患具有可以将乳糖分解成半乳糖与葡萄糖的酶，所以这个症状与乳糖不耐症不应混为一谈。半乳糖血症
