外延性

✍ dations ◷ 2025-11-30 08:15:35 #外延性

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

相关

头孢菌素头孢菌素（法语：Cephalosporine、英语：Cephalosporin），又名先锋霉素，是一系列属于β内酰胺类的抗生素。与头霉素一并细分为头孢烯。头孢菌素化合物最初是于1948年，由意大利科学家Giu
X射线晶体学X射线晶体学是一门利用X射线来研究晶体中原子排列的学科。更准确地说，利用电子对X射线的散射作用，X射线晶体学可以获得晶体中电子密度的分布情况，再从中分析获得关于原子位置和
重复DNA序列生物细胞中的DNA序列里面包含许多重复序列（repeated sequence），主要可分为两大类，分别是串联重复序列（也叫串接重复序列，Tandem repeat）与散在重复序列（Interspersed repeat）。串联
肌肉骨骼系统人体肌肉骨骼系统或肌肉骨骼系统，简称肌骨系统（英语：Human musculoskeletal system，也作locomotor system，曾称activity system）是一种器官系统，通过为人体提供结构、支撑、稳定、
尿石症肾结石（英语：Kidney stones）是尿液中的矿物质结晶沉积在肾脏里，有时会移动到输尿管。它们的体积小至沙粒般，也有些大到像个高尔夫球。较小的肾结石常会随尿液排出体外，但如果直径
CXCL71F9P, 1NAP, 1TVX· chemokine activity· extracellular space· blood coagulation · glucose transport · platelet activation · neutrophil chemotaxis · defe
身体身体是每个生物的实体。身体是生物的外表，可表示该生物的健康程度，以致表示该生物是否死亡。人体主要组成部分有头、颈、躯干、双臂及双腿，另外包括呼吸、心血管、神经系统和其
罗丹明B罗丹明B /ˈroʊdəmiːn/，又称玫瑰红B或玫瑰精B、盐基性桃红精(红花米)，是一种合成化学物和一种染料。它常溶解在水中，作为示踪染料来确定水流动的速率和方向。罗丹明染料能发
全球共享流感数据倡议组织全球共享流感数据倡议组织（英语：GISAID Initiative，简称 GISAID），建立于2008年5月，是由全世界一些较权威的医学科学家组建，致力于改善流感数据的共享。共有包括7位诺贝尔奖得主在内
鼻涕鼻涕（又称为鼻水）是指鼻中的粘液。鼻涕由鼻粘膜的杯状细胞分泌，功能在于保护呼吸道。鼻涕的分泌是持续性的，但因鼻腔与食道相通，所以一般都在不知不觉中被咽下。呼吸道中粘液分泌