外延性

✍ dations ◷ 2025-12-11 00:12:20 #外延性

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

相关

疱疹病毒目疱疹病毒目（学名：Herpesvirales）是双链DNA病毒的一个目，以动物为宿主。此类病毒一般具有二十面体形的衣壳，并具有附糖蛋白的外膜，其中有部分病毒可感染人类，造成单纯疱疹、生殖器疱
强直性脊柱炎强直性脊柱炎（拉丁文：spondylitis ankylosans，其中spondylitis原为希腊文脊柱炎之意，ankylosans原系希腊文强直之意），又称僵直性脊椎炎，在欧陆亦称此病为白赫铁列夫症（Morbus Bechte
肢端肥大症肢端肥大症（Acromegaly）是肇因于人体的生长板关闭后生长激素（GH）仍过度分泌所引起的疾病。最初的症状通常是手部和足部肿大，前额、下巴和鼻子也可能会变大。其他症状可能包括关
根霉根霉属（学名：Rhizopus）真菌主要外观特征为具有假根（rhizoid）及匍匐菌丝（stolon）。孢子囊柄（sporangiophore）以单支或数支成束的方式自匍匐菌丝长出，孢子囊柄基部往往与假根基部相对。
十二指肠十二指肠（拉丁语：Duodenum）是多数高等脊椎动物小肠的始段。哺乳动物、爬行动物和鸟拥有十二指肠。鱼的十二指肠不明显，有时用前肠或近侧小肠称呼。哺乳动物的小肠可能是吸收铁的
健康城市健康城市在1981年开始由世界卫生组织开始推动，由世界卫生组织所显示的资料指出，超过百万人口的城市有112个，最迟至2025年，全世界逾60%人口会居住在城市中。工业化社会所带来的
主体主体（Subject）在哲学上指的是一个拥有独特的意识并且/或者拥有独特个人经历的存在，或者另一个外在于其自身并与其有关系的实体。主体是观察者，客体是被观察者。这一概念在大陆哲
文艺复兴时期文艺复兴是一场大致发生在14世纪至17世纪欧洲的文化运动，在中世纪晚期发源于意大利中部的佛罗伦萨，即意大利文艺复兴，后扩展至欧洲各国。其辞源为意大利语“Rinascimento”，由ri
论文论文是科学或者社会研究工作者在学术书籍或学术期刊上刊登的，用来进行科学研究和描述或呈现自己研究成果的文章。论文往往强调原创性的工作总结，但当然也可以是对前人工作总结
昏睡昏睡（Somnolence）也称为想睡，是有强烈想要睡眠的欲望，或是睡眠的时间异常的长（嗜睡症）。昏睡有许多不同的意义及其原因，可能是指平常在要睡着之前的状态、因为昼夜节律失调而进入的