外延性

✍ dations ◷ 2025-11-30 20:57:15 #外延性

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

相关

扁桃腺扁桃腺，又称扁桃体，是人和两栖类以上动物，鼻后孔的顶壁或咽与口腔、鼻腔交界处粘膜下淋巴组织所集成的团块的通称，因为外形像扁桃一样而得名。一般所说的扁桃腺是指肉眼可见的颚
门冬胰岛素门冬胰岛素（英语：Insulin aspart），由诺和诺德生产，药物商品名诺和锐（英语：NovoRapid），胰岛素类似物，用于治疗糖尿病。无色澄明液体。患者用药，反应不良，主要视乎剂量，与胰岛素药理学作用
肛门癌肛门癌（anal cancer）是在肛门（英语：human anus）的癌症，是位在消化道远端开口处的癌症。肛门癌和更常见的大肠癌是不同的病症。肛门癌一般是在鳞柱交界区附近的肛门鳞状细胞癌，多半
RNA逆转录病毒逆转录病毒科（学名：Retroviridae）又称“反转录病毒科”，分为双链DNA逆转录病毒和正链RNA逆转录病毒。它们增殖时都有将遗传物质RNA逆转录为DNA的过程（前者逆转录反链RNA，后者逆转
阿哥拉阿哥拉（希腊语：Αγορά）原意为市集，泛指古希腊以及古罗马城市中经济、社交、文化的中心。阿哥拉通常地处城市中心，为露天广场。城市男性居民聚集在那里进行商业交易。除此以外
伊本·赫勒敦伊本·赫勒敦（阿拉伯语：ابن خلدون‎，1332年5月27日－1406年3月19日），全名为阿布·扎伊德·阿卜杜勒拉赫曼·本·穆罕默德·本·赫勒敦·哈德拉米（阿拉伯语：أبو زيد ع
卢·蒙特利卢·蒙特利（英语：Louis J. Montulli II）是一位以开发网页浏览器而闻名的程序员。在1991年和1992年，他与堪萨斯大学的迈克尔·格罗贝兹和查尔斯·雷扎克合作开发了一个名为Lynx的
胸腺细胞胸腺细胞（Thymocyte）是位于胸腺皮质中的细胞。胸腺细胞主要为处于不同分化状态的成熟T细胞，其与胸腺基质细胞（thymic stromal cell，TSC）组成了胸腺微环境。其主要位于皮质上皮细
古西伯利亚语言古西伯利亚语言（Paleosiberian languages、Paleosiberian），或古亚细亚语言（Paleoasian languages、Palaeo-Asiatic），并不是一种语言，也不是一个正式的语系，而是语言学家用来指涉某些
电子词典电子词典（英语：electronic dictionary，或称电子辞（字）典、字典机与翻译机），是一种类似个人数码助理（PDA）的手持电子设备，以查词典和英语学习为主要功能。同时也兼具一些辅助工作和娱乐