外延性

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

相关

  • 绿弯菌门绿弯菌门(Chloroflexi)是一类通过光合作用产生能量的细菌,又称作绿非硫细菌,尽管还有一部分称作热微菌的细菌也属于绿非硫细菌。它们具有绿色的色素,包括作为反应中心的菌绿素a和
  • 阿糖胞苷阿糖胞苷(英语:Cytarabine或Cytosine arabinoside)是一种化学疗法药物,主要用于治疗恶性血液病(英语:Hematological malignancy),如急性粒细胞白血病和非霍奇金氏淋巴瘤。 阿糖胞苷
  • 肉芽肿肉芽肿(英语:granuloma)是在许多疾病炎症发生过程中形成的一种结构。它是由被称为巨噬细胞的免疫细胞聚集而成。当免疫系统识别外来物质但无法消灭时,会尝试将其围堵起来,此时肉
  • 肺痨结核病(Tuberculosis,又称TB)为结核杆菌感染引起的疾病。结核通常造成肺部感染,也会感染身体的其他部分。大多数感染者没有症状,此型态感染称为潜伏结核感染(英语:Latent tuberculo
  • 莫匹罗星莫匹罗星(英文:Mupirocin)是一种外用抗生素类抗感染药。莫匹罗星又称假单胞菌酸A,由荧光假单胞菌(Pseudomonas fluorescens)分离出。莫匹罗星作用在细菌体内的异亮氨酸—tRNA合
  • 分类学家分类学(英语:Taxonomy)是一门进行分类的方法与科学,源于希腊文的.mw-parser-output .Polytonic{font-family:"SBL BibLit","SBL Greek","EB Garamond","EB Garamond 12","Foulis
  • H6N1H6N1(英语:Influenza A virus subtype H6N1,记作A(H6N1)或H6N1)是一种甲型流感病毒,是禽流感病毒或禽流感病毒的一个亚型。H6N1最初于2013年6月21日在台湾发现,首例患者是一名住在
  • 可视化分析论可视化分析论是信息可视化与科学可视化领域发展的产物,侧重于借助于交互式用户界面而进行的分析推理。
  • LNB拉脱维亚国家图书馆成立于1919年8月29日,是拉脱维亚的国家级文化机构。拉脱维亚国家图书馆简称NLL,参加有众多国际性的图书馆组织。拉脱维亚国家图书馆在里加共拥有八处馆区。
  • 汉越音陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书(大篆 ‧  小篆)隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧  书法 ‧ 飞白书笔画 ‧