外延性

✍ dations ◷ 2024-07-05 03:24:58 #外延性

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

相关

缓步动物门缓步动物门（学名：Tardigrata）是俗称水熊虫的一类小型动物，主要生活在淡水的沉渣、潮湿土壤以及苔藓植物的水膜中，少数种类生活在海水的潮间带。有记录的大约有750余种，其中许多种
多瑙河地区性家族性肾病多瑙河地区性家族性肾病(Danubian endemic familial nephropathy、DEFN)、也被称为"巴尔干半岛地方性肾病"(Balkan endemic nephropathy、BEN) - 是间质性肾炎的一种形式。
肾血管性高血压肾血管性高血压(Renovascular hypertension、"肾性高血压"(renal hypertension))是一种综合征、由肾脏荷尔蒙反应将动脉供应肾脏(Renal artery)变窄(肾动脉狭窄)所引起的高
药代动力学药物代谢动力学（英语：Pharmacokinetics），简称药代动力学或药动学，也简称为PK，是药理学的分支，研究药物在机体的影响下所发生的变化及其规律，其中的药物包括药剂、激素、营养素和毒素
2005年英国大选托尼·布莱尔工党托尼·布莱尔工党政治主题2005年英国大选（United Kingdom general election of 2005）于2005年5月5日举行。在首相托尼·布莱尔请求之下，英国女王伊丽莎白二
尺骨尺骨（拉丁语：Ulna）是位在人体上肢中前臂内侧的骨头，即在尾指侧的骨，在桡骨之旁。在靠近上臂处有一半月形的关节面，称为滑车切迹，与肱骨滑车共同形成关节。切迹上方有两个突起，分别称
韦斯顿电池韦斯顿电池是一种原电池，1893年由英国化学家爱德华·韦斯顿（Edward Weston）发明。由于其高度稳定的电动势，多用于实验室中电位计的校准。1911年该电池被采纳为电动势的国际标准
食欲素结构 / ECOD食欲肽（英语：orexin），又名下丘脑泌素（英语：hypocretin），是对两种不同的神经肽激素的统称，其主掌人体的醒觉（英语：arousal）、觉醒（英语：wakefulness），使中枢神经处于清醒状态，也掌
Pt4f14 5d9 6s12, 8, 18, 32, 17, 1蒸气压第一：870 kJ·mol−1 第二：1791 kJ·mol主条目：铂的同位素铂（拼音：bó，注音：ㄅㄛˊ，粤拼：bok6，英语：Platinum），化学元素，俗称白金，化学符号为Pt，原子
甲状腺癌乳突状甲状腺癌（英语：papillary thyroid cancer）的显微镜检图，可以看到癌细胞核呈现空亮状，此特征又称为“安妮眼睛核 ”，为此类型甲状腺癌的重要病理特征。甲状腺癌（Thyroid canc