外延性

✍ dations ◷ 2025-12-02 17:13:47 #外延性

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

相关

巨噬细胞巨噬细胞（英语：macrophage，缩写为mφ）是一种位于组织内的白细胞，源自单核细胞，而单核细胞又来源于骨髓中的前体细胞。巨噬细胞和单核细胞皆为吞噬细胞，在脊椎动物体内参与非特异性
红外线红外线（Infrared，简称IR）是波长介乎微波与可见光之间的电磁波，其波长在760奈米（nm）至1毫米（mm）之间，是波长比红光长的非可见光，对应频率约是在430 THz到300 GHz的范围内。室温下物体
法语法语在美国是一个少数族群语言，根据2010年的统计资料，大约207万五岁以上的美国人口在家中使用法语，使法语成为在美国第四多人使用的语言，仅次于英语、西班牙语、汉语（含方言）。法
黄嘌呤黄嘌呤（英语：xanthine）是一种广泛分布于人体及其他生物体的器官及体液中的一种嘌呤碱，常用作温和的兴奋剂和支气管扩张剂，特别用于治疗哮喘症状。咖啡因、茶碱及可可碱（主要在巧克
Pioglitazone吡格列酮（Pioglitazone）是一种专门用于治疗2型糖尿病的口服药物，属于噻唑烷二酮类（活化受体调节剂）药物的一种。
利百加根据《圣经·创世纪》记载，利百加（希伯来语：רִבְקָה，Rivqa）是以撒（Issac）的妻子，非孪生兄弟以扫和雅各的母亲。她是亚伯拉罕兄弟拿鹤的孙女，彼土利的女儿，亚伯拉罕是以撒的父亲
高脯氨酸血症高脯氨酸血症是一种遗传病，其会导致血浆脯氨酸水平升高。同时尿脯氨酸、羟脯氨酸、甘氨酸亦会增加其排泄量。此遗传病若与伴侣各携带同一缺陷基因，下一代罹病的几率不分性别皆
米尔顿·艾瑞克森米尔顿.艾瑞克森（Dr.Milton Hyland Erickson, 1901年12月5日-1980年3月25日）被喻为“现代催眠之父”，是医疗催眠、家庭治疗及短期策略心理治疗（Brief Strategic Psychotherapy）的
体内平衡稳态（英语：homeostatic，又称恒定状态或恒定性）是指在一定外部环境范围内，生物体或生态系统内环境有赖整体的器官的协调联系，得以维持体系内环境相对不变的状态，保持动态平衡的这种
词根词根（root）是基本构词的基本词素，与词缀相对并携带主要词汇信息。词根有两种，能够独立构词的为自由词根(Free Root)，必须与其他词素组合构词的是粘附词根（Bound Root).闪语系的词