外延性

✍ dations ◷ 2025-12-07 02:15:25 #外延性

在数学中，外延性通常指称某种形式的。可追溯到莱布尼兹的原理，两个数学对象是相等的，如果没有区分它们的检验。例如，给出两个数学函数 f 和 g，我们可以说它们是相等的，如果对于在公共函数域 X 内的所有 x。这种外延相等是平常的定义，如果函数范围 Y 对于两个也是公共的。在另一方面，如果我们在类型论的意义上通过附着到它们上的数据来区分函数，这样我们可以选择一个更大的集合比如 Z 作为它们之一的范围，则这种相等不同于“外延”意义的相等。这种意义下外延性可能会失败。另一种意义的相等考虑“函数被计算的过程”，如果这么考虑，通常会同外延性相抵触。在公理化集合论中，外延性被表达为外延公理，它声称两个集合是相等的，当且仅当它们包含相同的元素。在 lambda 演算中，外延性被表达为 eta-变换规则，它允许在指示相同函数的任何两个表达式之间的转换。考虑从自然数映射的两个函数 f {displaystyle f} 和 g {displaystyle g} ，定义如下：这些功能在外延性的意义上是相同的；给定相同的输入，两个函数总是产生相同的值。但是函数的定义并不相同；但是在内涵定义比较时，这两个函数并不相同。在自然语言中，类似地存在许多谓词（关系），这些谓词本质上原来可能是不同涵义的，但使用指称作用的外延性就变成同义词了。例如假设在一个城镇中有一个名叫乔的人，他是该镇最老的人。而句中的两个论证谓词“有一个人名”和“是最老的人”在比较内涵定义时明显是截然不同的概念，但解析整句后，对该“城镇”中有个“乔”“是最老的人”的外延性，则意义即等同。

相关

细胞核细胞核（拉丁语：nucleus）是存在于真核细胞中的封闭式膜状细胞器，内部含有细胞中大多数的遗传物质，也就是DNA。这些DNA与多种蛋白质（如组织蛋白）复合形成染色质。而染色质在细胞分裂
掌骨掌骨是手部骨骼中间的部分，连接在近端手指及腕骨之间，而腕骨再与前臂连结。掌骨由五个圆柱状的骨头组成，由桡骨到尺骨侧依序命名（I-V）。每个由一块主体及两个极端组成。人体手部
CONORCONOR是斯洛文尼亚对COBISS系统中个人和公司名称的规范控制，该系统启动于2003年。CONOR记录作者的个人姓名及相关变量、标签、注释等信息，这些信息在整个系统中被唯一指定。目
单氟磷酸钠单氟磷酸钠，化学式Na2PO3F，缩写MFP。单氟磷酸钠是一种白色固体，饱和水溶液在25°C时含单氟磷酸钠42％。可从0°C水溶液中获得单氟磷酸钠十水合物，结晶水若用加热方式除去，则导致水
呼吸道感染呼吸道感染（英语：Respiratory tract infection）指的是任何涉及到呼吸道部分的感染性疾病，这类疾病一般会被进一步细分为上呼吸道感染（URI、URTI）或者下呼吸道感染（英语：lower respir
美国医学会杂志《美国医学会杂志》（JAMA: The Journal of the American Medical Association）是一份美国出版的经由同行评审的医学期刊。该期刊由美国医学会以每周一期出版。起初于1883年创
分裂原丝裂原（英语：Mitogen，又称促分裂原、促细胞分裂剂）是促进细胞开始分裂，触发有丝分裂的化学物质，通常是蛋白质形式。
肚脐肚脐、脐，俗称肚脐眼，中医称之为“神阙”，从本质上来说是胎儿出生后，脐带脱落后留下的疤痕。肚脐位于髂前上棘水平的腹部正中线上，直径约为1.0至2.0公分。它通常可以是一个小凹陷
巴布亚皮钦语巴布亚皮钦语（Tok pisin），又叫皮钦语、新美拉尼西亚语、托克皮辛语等，是一种基于英语的克里奥尔语，是巴布亚新几内亚的官方语言之一。巴布亚皮钦语的语序基本为主谓宾结构，且巴布
六书陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧