外延性

✍ dations ◷ 2025-10-08 15:05:43 #外延性

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

相关

自体免疫缺乏免疫缺陷（英语：immunodeficiency）是指免疫系统抵抗传染病的能力失常或欠缺。免疫缺陷还可能降低肿瘤免疫监视功能。免疫缺陷多为继发性（secondary）免疫缺陷，不过也有些人生来就有
酒酒（英语：Alcoholic beverage），其中含有0.5%至96%的酒精（即乙醇）。为人类饮用历史最长的加工饮品之一，由植物发酵制成。相传灵长类动物有着储存果实的习惯，有时会因自然发酵意外酿成
加夫里洛·普林西普加夫里洛·普林西波（塞尔维亚语：Гаврило Принцип；拉丁化：Gavrilo Princip，1894年7月25日－1918年4月28日），波斯尼亚人，塞尔维亚民族主义者。经过两个月的预谋，1914年6月2
原野参数所指定的目标页面不存在，建议更正成存在页面或直接建立下列一个页面（建立前请先搜寻是否有合适的存在页面可以取代）：荒野，是地球上尚未受到大规模人类活动改造的自然地带。它
超嗜热生物超嗜热生物指能在极热的环境（60°C以上）中生活的生物。其生长最适温度通常在80~110°C，而2003年发现的一株古菌“菌株121”甚至能在和灭菌锅相同的温度，即121°C下，24个小时内，细
洪峰洪峰可以指：
中部区Middle America，常译作“（美国的）心脏地带”“（美国的）小镇价值”“半个美国”“美国中产阶级”“中间美国”“中美”“中部美国”，是美式英语中的一句俗语，用于描述地理上的美国大
宏观经济学宏观经济学（英语：Macroeconomics，来自希腊语前缀makro-意为“大”+经济学），是指用国民收入、经济整体的投资和消费等总体性的统计概念来分析经济运行规律的一个经济学领域。宏观
联合国开发计划署联合国开发计划署（法语：Le Programme des Nations unies pour le développement ; 英语：The United Nations Development Programme，缩写为 PNUD ; UNDP）是世界上最大的负责进
黑格尔格奥尔格·威廉·弗里德里希·黑格尔（德语：Georg Wilhelm Friedrich Hegel，常缩写为G. W. F. Hegel；1770年8月27日－1831年11月14日）是一名德国哲学家。其时代晚于康德，是德国19世纪