外延性

✍ dations ◷ 2025-12-05 00:35:55 #外延性

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

相关

螺旋体门螺旋体门（Spirochaetes）是一类很有特点的细菌，具有长的螺旋形盘绕的细胞。它们独具细胞全长、在细胞膜和细胞壁之间的鞭毛，称为“轴丝”（axial filament）。螺旋体可以通过轴丝产生
膨松剂膨松剂（英语：Leavening agent），俗称为臭粉，是加入生面团或面糊中，使最终产品蓬松软化的物质。其方法即是将气体充入面团中，当然，理论上也可以通过机械手段实现，但实际上更多的是通过
蝙蝠源性蝙蝠，又名.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-s
Sc3d1 4s22，8，9，2蒸气压第一：633.1 kJ·mol−1 第二：1235.0 kJ·mol−1 第三：2388.6 kJ·mol−1 （主条目：钪的同位素钪（Scandium），其命名Scandium源自斯堪的纳维亚半岛的拉丁文名称Sc
费尔巴哈路德维希·安德列斯·费尔巴哈（德语：Ludwig Andreas von Feuerbach，1804年7月28日－1872年9月13日），德国哲学家。出生于拜仁州（巴伐利亚）下拜恩区的首府兰茨胡特，逝于同一州的纽伦堡，是
数据库数据库，又称为数据管理系统，简而言之可视为电子化的文件柜——存储电子文件的处所，用户可以对文件中的数据运行新增、截取、更新、删除等操作。所谓“数据库”系以一定方式储存
酪氨酸酪氨酸、酪胺酸（Tyrosine, 缩写为 Tyr or Y）或 4 - 羟基苯丙氨酸, 是细胞用来合成蛋白质的22种氨基酸之一，在细胞中可用于合成蛋白质，其密码子为UAC和UAU，属于含有极性侧基，人体
心房纤颤心房颤动（英语：Atrial fibrillation，简称：Af 或 A-fib），又称为心房微颤、房颤、心房纤维性颤动、心房纤颤、房性纤颤等，是心脏不正常节律/心律不整的一种，特色是心脏快速而不规则的
超音段成分超音段音位（suprasegmental、超音段成分）是言语分析中除音素之外的的语音现象。言语中有大量特征倾向构成超越单一音段的模式，并且不受音段目标限制独立变化，其中主要有音高、响
女真文陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧