外延性

✍ dations ◷ 2025-11-27 21:14:18 #外延性

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

相关

变性变性人又称换性、性转者（英语：Transsexual），其经历性别认同与其出生时的指定性别不一致或没有文化的相关性，并希望身体永久转变为符合他们的性别认同，通常寻求医疗援助（包括激素替
蛋白酶蛋白酶（英语：protease）是生物体内的一类酶（酵素），它们能够分解蛋白质。分解方法是打断那些将氨基酸连结成多肽链的肽键。蛋白酶是重要的工业酶，占全球总酶销售量约六成，其中七成用于
二名法二名法（英语：Binomial Nomenclature，Binominal Nomenclature 或 Binary Nomenclature），又称双名法，依照生物学上对生物种类的命名规则，所给定的学名之形式，自林奈《植物种志》(1753
不死生物不死生物（英语：undead），又称不死族、亡灵族、死灵族，是指肉体已经死亡却还能活动的怪物，通常被认为是遗留人间的魂魄和具自我意识的尸体。不死生物以不同的型态出现在各地文化的传
黄病毒科见内文黄病毒科（学名：Flaviviridae）的病毒主要感染哺乳类动物，遗传物质为单股线型的RNA，长度约9.6-12.3kb，5'端帽带有甲基化的核苷酸。病毒颗粒具有外套膜，直径约40-60nm。黄病毒科
年度风云人物时代杂志年度风云人物（英语：Time Person of the Year）是美国《时代》于每年年底评选出的当年度对世界最具有影响力的事物。获选对象可以是个人、夫妇、一群人、概念、地方甚至
第三条道路第三条道路（英语：Third Way），又称新中间路线（Middle Way），是一种走在自由放任资本主义和传统社会主义中间的一种政治经济理念的概称。它由中间派所倡导，是社会民主主义的一个流派，英
In4d10 5s2 5p12, 8, 18, 18, 3蒸气压第一：558.3 kJ·mol−1 第二：1820.7 kJ·mol−1 第三：2704 kJ·mol主条目：铟的同位素铟是一种化学元素，符号为In，原子序数49。铟是碱金属除外
卡西奥多罗斯卡西奥多罗斯（英语：Cassiodorus，约485年－约585年），中世纪初期罗马城的政治家与作家，出身于贵族家庭，早年即博学多才，后参加政务。不久转攻基督教事务，曾因为被东罗马帝国的军队所俘获
粗细字型或字模（英语：font；传统英式英语：fount）是指印刷行业中某一整套具有同样样式、字重和尺码的字形，例如一整套用于内文的宋体5号字、一整套用于标题的10号字就叫一套字型。电脑早