外延性

✍ dations ◷ 2025-11-27 14:02:39 #外延性

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

相关

玉米玉米（学名：Zea mays）是一年生禾本科草本植物，是全世界总产量最高的重要粮食作物。同时也可以当作饲料使用，还有在生物科技产业作为乙醇燃料的原材料。而且玉米更在各个化工领域被
亲属亲属（kinship），又称亲人、家人或家属，是指具有同一个系谱起源的实体（人、天神或其他动物）之间的关系，无论这个系谱起源是透过生物、文化或历史的继嗣关系。在人类学，亲属体系同时包
雷奈克何内·希欧斐列·海辛特·雷奈克（法语：René-Théophile-Hyacinthe Laennec，1781年2月17日－1826年8月13日），是一位法国医生，于1816年发明了听诊器，并提倡用它来诊断各种胸部疾病，因此
菌物总界菌物总界（Holomycota，.mw-parser-output .smallcaps{font-variant:small-caps}.mw-parser-output .nocaps{text-transform:lowercase}Liu et al. 2009）是单鞭毛生物的一个演化
单核因子单核因子（英语：monokine）是指一大类主要由单核细胞和巨噬细胞产生的细胞因子。常见的单核因子有：从巨噬细胞释放的单核因子可以通过趋化作用募集中性粒细胞。
镍氢电池镍氢电池（NiMH）是由镍镉电池（NiCd battery）改良而来的，其以能吸收氢的金属代替镉（Cd）。它以相同的价格提供比镍镉电池更高的电容量、较不明显的记忆效应、以及较低的环境污染（不含有
CASCAS台湾优良农产品证明标章是台湾优良农产品及其加工品最高品质代表标章，用以证明国产农产品及其加工品之安全性及优良性。每一种食品标章都有其代表意义, 像是GMP是指制造工
恶水盆地恶水盆地（英语：Badwater Basin）是位于加利福尼亚州因约县死亡谷国家公园的一个内流盆地，前身是全新世时期的曼利湖（Lake Manly）。海拔高度为-86米（-282.2英尺），因而成为北美洲的最低
泼尼卡酯泼尼卡酯是一种新型外用药物，属于皮质类固醇，其药效与皮质醇类似。和其他局部用皮质类固醇（如倍他米松）相比，重复使用泼尼卡酯不会很快导致皮肤萎缩。皮质类固醇向来是治疗皮肤病
松三糖松三糖（Melezitose）为一种非还原三糖，可从数种树的汁液中被萃取出来，如落叶松或是黄杉。松三糖可以部分被水解成葡萄糖和松二糖。（松二糖为蔗糖的同分异构体）配合其他的生化检验方