外延性

✍ dations ◷ 2025-11-29 05:37:16 #外延性

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

相关

乳酪乳酪是指由乳酸菌发酵而产生的奶制品，所指的可以是：
弗雷德里克·图尔特弗雷德里克·威廉·图尔特 FRS（Frederick William Twort，1877年–1950年）是一位英格兰细菌学家，他在1915年发现了噬菌体。他曾在圣托马斯医院研究医学，是布朗动物研究所（Brown In
慢性疲劳综合征慢性疲劳（倦）症候群（英语：chronic fatigue syndrome, CFS、myalgic encephalomyelitis (ME)），又称为肌痛性脑脊髓炎(myalgic encephalomyelitis)，(脊髓炎是有争议的，另一种说法为可
农业农业是美国的主要工业，同时美国也是一个粮食净出口国。根据2007年农业普查，美国有220万个农场，占地面积373万平方公里（9亿2200万英亩），平均每个农场占地169公顷（418英亩）。虽然每个
斯洛伐克面积以下资讯是以2015年估计国家领袖国内生产总值（购买力平价）以下资讯是以2016年估计国内生产总值（国际汇率）以下资讯是以2016年估计人类发展指数以下资讯是以2018年估计斯
非尼拉敏苯吡丙胺（Pheniramine）又称非尼拉敏、非尼腊明、抗感明、抗感敏或屈米通（Trimeton）等，是一种有抗胆碱能性质的抗组胺药，用作抗过敏药，用来治疗荨麻疹及过敏性鼻炎等。具有相对较强
痉挛痉挛（英语：Spasm）是一块肌肉、一组肌肉、一个空心器官（如：胃）发生急剧而不自主的收缩，或是一个开口处的类似急剧收缩。有时会有疼痛感及机能障碍，但往往无害，且会在数分钟之后消失。
以巴冲突进行中持续中的冲突以色列-巴勒斯坦冲突是持续中的冲突，为阿以冲突及中东战争的一部分。巴以冲突不能够简单地概括为所有以色列犹太人与所有巴勒斯坦阿拉伯人之间的双边冲突
神经上皮细胞神经上皮细胞是一种干细胞，可行细胞分裂产生两个完全相同的细胞。而后，子细胞会经由不对称的细胞分裂，产生一个与亲代相同的细胞及另一个非干细胞的先驱细胞或神经元。
细胞分化细胞分化（英语：cellular differentiation），是发育生物学的研究课题之一，指的是在多细胞生物中，一个干细胞在分裂的时候，其子细胞的基因表达受到调控，例如DNA甲基化，变成不同细胞类型