外延性

✍ dations ◷ 2025-12-06 17:56:48 #外延性

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

相关

心跳停止心脏停止（Cardiac arrest）或称为心搏停止，是心脏因不能够有效收缩，而导致血液循环停止的现象，症状包含丧失意识（英语：Unconsciousness）、呼吸异常或中止（英语：respiratory arrest），有些
中毒中毒（Poisoning）是指生物体因为有毒物质或是动物的毒液导致的化学性危害。毒理学是有关中毒的症状、机制、诊断及治疗的研究及实务。生物体吸收有毒物质（也就是进入血液中）是系
癫痫症癫痫症（英语：Epilepsy），是一种神经性疾患（英语：Neurological disorders），特征为反复地癫痫发作，即为重复发作或长或短的严重抽搐症状，可能会造成物理性伤害，甚至骨折。癫痫症的定义是，患
噪音噪音，又称噪声，从物理角度上看，是声波的频率、强弱变化无规律、杂乱无章的声音。绝大部分噪音都是准随机波，如果符合数学上的随机过程，那就属于白噪声:55。噪音是令人生理或心理
烟雾烟雾（英语：smog）是一种空气污染现象。这个词的原意是指在英国伦敦有时别称“豌豆汤雾（英语：Pea soup fog）”的烟霞，是伦敦从19世纪到20世纪中期的严重问题。这种烟雾是在城市内燃烧
异维A酸异维A酸（Isotretinoin），是维A酸的异构体，最初是一种治疗脑癌、胰脏癌和皮肤癌等多种癌病的药物，但现时常用作治疗青春痘，通常为口服用A酸，外用A酸则通常为维A酸成分，有时亦用作医治
分子力学分子力学采用经典力学来模拟分子体系。在分子力学中，使用分子力场方法计算出所有系统的势能。分子力学可用于研究小分子，也可用于研究具有成千乃至上百万原子数的大型生物系统
蒙古入侵欧洲长子西征，又称蒙古第二次西征、蒙古侵略欧洲（英语：Mongol invasion of Europe），是蒙古帝国继成吉思汗西征花剌子模后的第二次大规模的西征。1235年开始至约1242年，历时约8年，因由各
博士博士是教育机构授予的最高一级学位，如某科系哲学博士、理学博士、文学博士、教育博士、工商管理博士、法学博士。日常生活中博士学位会与姓氏相结合而被称为某博士，而博士的英
输卵管输卵管，是人和动物体内携带卵子从卵巢传递到生殖系统其他部分（对哺乳动物来说，主要是子宫）或外部的管道。女人的输卵管位于骨盆腔内，左右各一，一端膨大呈喇叭状，开口于腹腔，接受来自