首页 >
外延性
✍ dations ◷ 2025-12-01 10:47:51 #外延性
在数学中，外延性通常指称某种形式的。可追溯到莱布尼兹的原理，两个数学对象是相等的，如果没有区分它们的检验。例如，给出两个数学函数 f 和 g，我们可以说它们是相等的，如果对于在公共函数域 X 内的所有 x。这种外延相等是平常的定义，如果函数范围 Y 对于两个也是公共的。在另一方面，如果我们在类型论的意义上通过附着到它们上的数据来区分函数，这样我们可以选择一个更大的集合比如 Z 作为它们之一的范围，则这种相等不同于“外延”意义的相等。这种意义下外延性可能会失败。另一种意义的相等考虑“函数被计算的过程”，如果这么考虑，通常会同外延性相抵触。在公理化集合论中，外延性被表达为外延公理，它声称两个集合是相等的，当且仅当它们包含相同的元素。在 lambda 演算中，外延性被表达为 eta-变换规则，它允许在指示相同函数的任何两个表达式之间的转换。考虑从自然数映射的两个函数
f
{displaystyle f}
和
g
{displaystyle g}
，定义如下：这些功能在外延性的意义上是相同的；给定相同的输入，两个函数总是产生相同的值。但是函数的定义并不相同；但是在内涵定义比较时，这两个函数并不相同。在自然语言中，类似地存在许多谓词（关系），这些谓词本质上原来可能是不同涵义的，但使用指称作用的外延性就变成同义词了。例如假设在一个城镇中有一个名叫乔的人，他是该镇最老的人。而句中的两个论证谓词“有一个人名”和“是最老的人”在比较内涵定义时明显是截然不同的概念，但解析整句后，对该“城镇”中有个“乔”“是最老的人”的外延性，则意义即等同。
相关
- 缩写缩写（英语：Abbreviation（Abbrev），来自拉丁语 brevis，意为“短”），在语言学里是一种词语或短语的简易形式，又称省略、缩略语、缩写词。缩写大部分时候等同于简称，但它们之间有细微的差
- 类别1型超敏性即发性过敏反应（英语：Immediate Hypersensitivity），又称Ⅰ型超敏反应（英语：Type I hypersensitivity），是IgE介导的免疫反应，乃最常见的超敏反应类型。主要可分为两种：过敏原第一次接触
- Drugs.comDrugs.com 是美国一个提供药物（学）资讯给消费者和专业医护人员的线上药物百科。Drugs.com这个域名原本由柏尼·纽贝克在1994年注册。1999年，互联网正处于快速发展期，艾瑞克·麦
- 壶菌纲壶菌纲（学名：Chytridiomycetes）是真菌下的一纲。它们可以分布在土壤、淡水及咸水河口中。它们是原始的真菌，最初是在英国的瑞尼燧石中发现。最年它们的分类重新编排，排除了Neocal
- 昆虫见内文昆虫在分类学上属于昆虫纲（学名：Insecta），是世界上最繁盛的动物，已发现超过100万种。其中单鞘翅目（Coleoptera）中所含的种数就比其它所有动物界中的种数还多。昆字原作䖵。昆
- 纤维蛋白纤维蛋白（英语：Fibrin，又称为血纤蛋白或血纤维蛋白）是一种纤维凝血蛋白纤维蛋白在以下生物过程中都需要使用：信息传递、血液凝固、血小板活性化及蛋白质聚合。
- 丽水县丽水县（越南语：Huyện Lệ Thủy／.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI-H","
- 男性生殖器官男性生殖系统是由男性许多生殖器官或组织组成，和人类繁殖有关的系统。有些在体外，有些则在骨盆腔内。男性主要的性器官是制造精子的睾丸，以及分泌精液的阴茎，在和女性性交，精子可
- 主题分析主题分析（英语：Thematic analysis）是定性研究中最为常见的一种形式。它强调在数据中精确定位、检查和记录主题或模式。主题（英语：themes）是跨数据集的模式（英语：patterns），这些模式对
- 主线在字体排版学中，主线（英语：Mean Line，也称英语：Waist Line）指的是决定无升部的小写字母字体大小的一条线，其与基线的距离称为x字高。有些圆弧的字母在某些字体中会些微超过主线的范
