外延性

✍ dations ◷ 2025-11-28 09:23:13 #外延性

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

相关

新型隐球菌新型隐球菌（学名：Cryptococcus neoformans）是一种普遍存在的酵母菌，属于担子菌门银耳纲，常在鸽子的粪便中被发现。新型隐球菌会对人类造成伺机性感染，即对健康的人没有感染力，但会
海栖热袍菌水生栖热菌(Thermus aquaticus)是一种嗜热细菌，其DNA聚合酶——Taq酶被全世界的分子生物学实验室广泛应用于聚合酶链式反应(PCR)。
N Engl J Med《新英格兰医学杂志》（英语：The New England Journal of Medicine；简称 NEJM）是由美国麻省医学协会（英语：Massachusetts Medical Society）所出版的同行评审性质之医学期刊。它也是
喂母乳母乳哺育（Breastfeeding），亦称哺乳、授乳或母乳喂养，指的是女性以乳房喂食婴儿母乳的行为。婴儿有吮吸反射，因此可以吮吸乳房并吞咽母乳，专家建议在出生后一小时即可哺喂母乳，之后
低血钾低钾血症（拉丁语：hypokalemia、hypopotassemia）是指血液中钾离子（K+）不足的情形。正常的钾离子在3.5至5.0mmol/L（3.5至5.0mEg/L）之间，若浓度小于3.5mmol/L，即为低钾血症。钾离子略低
布伦特兰夫人格罗·哈莱姆·布伦特兰（挪威语：Gro Harlem Brundtland，读音帮助·信息，1939年4月20日－），挪威政治家、外交家、医生，曾任挪威首相及世界卫生组织总干事。她被视为国际上的可持续
美分美分可以指：
极度有害物质名单《美国应急规划与社区知情权法》中第302节规定了极度危险物质列表（42 U.S.C. 11002）。这个列表可以在40 C.F.R 355的附录中找到。截止至2006年的更新可以在2006年8月16日的《
大司乐大司乐是西周时期的音乐组织，距今约3000多年历史。当时西周贵族重视礼乐，视此成管治国家的器具。“大司乐”作为周朝的音乐机构，掌握着礼乐要职，培养王室和贵族子弟，也有一些是从
谚语谚语是流传于人间而言简意赅的语句，反映了人民生活的实践经验，一般都是口语形式留传下来的通俗易懂短句。所有的人类社会都有自己的谚语和俗话，对谚语和俗语的使用，是普世文化通