外延性

✍ dations ◷ 2025-10-28 23:10:54 #外延性

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

相关

心搏过速心跳过速（tachycardia、tachyarrhythmia），也称心动过速、心跳过快。是指心跳速度超出了正常范围，达到每分钟一百次以上的现象。剧烈的体育运动、紧张、焦虑或服用某些药物等可能
生物信息学生物信息学（英语：bioinformatics）利用应用数学、信息学、统计学和计算机科学的方法研究生物学的问题。生物信息学的研究材料和结果就是各种各样的生物学数据，其研究工具是计算机
噻嗪噻嗪（英语：Thiazines）是指一类含有这样一种环的有机化合物：环含有四个碳原子、一个氮原子以及一个硫原子。具有噻嗪的化合物通常被用作为染料、安定药以及杀虫剂。
CCR5n/an/an/an/an/an/an/an/an/an/aCCR5（C-C chemokine receptor type 5），中文名：趋化因子受体5或趋化因子C－C亚族受体5，也称为CD195。是白细胞表面的一种蛋白质，因此也称为CCR5蛋白质
血吸虫病血吸虫病（英语：schistosomiasis、bilharzia、snail fever、Katayama fever）又称裂体虫病、曼森氏病，是一个由血吸虫类的寄生虫所导致之疾病，属于WHO所宣布的六大热带医学疾病之一
B3怀孕分级（英语：Pregnancy category）是药物学中用来评估女性在怀孕期间服用药物对胎儿可能造成伤害的危险程度，但是在母乳中出现药物或是出现药物代谢物所可能造成的伤害则不包括
泼尼松龙泼尼松龙（英语：Prednisolone），又译作康速龙锭（英语：Donison），是皮质类固醇药物，用于治疗某些类型的过敏、炎症、自体免疫性疾病及癌症。它可透过口腔、静脉注射作为乳膏和眼药水使用
息肉新生物、息肉、瘜肉或赘生物（英语：neoplasm），是指身体细胞组织不正常的增生，当生长的数量庞大，便会成为肿瘤（英语：tumor）。而肿瘤亦可以是良性或恶性的。肿瘤（英语：tumor）在医学上是指细
C-Mycn/an/an/an/an/an/an/an/an/an/aC-Myc或Myc是编码转录因子的调节基因。这一基因编码的蛋白在细胞核内被磷酸化，有多种功能：在细胞周期进程、细胞凋亡和细胞转化中发挥作用。My
汉藏语系汉藏语系（英语：Sino-Tibetan languages），或称泛喜马拉雅语系、藏缅语系，是语言学家按照谱系分类法划分的一组语群，但是划分的形式很多。这个语系至少包含汉语族和藏缅语族，共计约40