外延性

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

相关

  • 硫柳汞硫柳汞(邻乙汞硫基苯酸钠)是疫苗中含有汞的防腐剂。反疫苗人士(英语:Anti-vaccination)错误的认为疫苗会导致自闭症,而他们认为硫柳汞中含的汞就是原因之一。目前没有科学证据(英语
  • ssRNA(-)核糖核酸病毒(英语:RNA virus),又称RNA病毒,其遗传物质为RNA,这些核糖核酸通常是单链RNA(ssRNA),但是也可能是双链RNA(dsRNA)。由RNA病毒感染造成的著名人类疾病包括艾滋病(AIDS)、埃博
  • 猴痘猴痘(Variole du singe / Monkeypox)是一种由猴痘病毒引起的,主要在灵长类、啮齿类动物中传播的疾病,有时偶尔人也可以感染猴痘。猴痘病毒与天花病毒同属于正痘病毒,因此使用对天
  • 中国大陆儿童免疫接种时间表中华人民共和国预防接种,亦称中华人民共和国计划免疫或中华人民共和国国家免疫规划是中华人民共和国国务院卫生行政部门和其下属的各省、自治区、直辖市政府的卫生行政部门根
  • 远东远东(英语:Far East),是西方国家所发明对亚洲使用的地理概念。以西欧为中心,东欧、东南欧、北非、安纳托利亚称为“近东”,东非、黎凡特、阿拉伯半岛、中亚一带称为“中东”,西伯利
  • 科学哲学科学哲学是20世纪兴起的一个哲学分支,关注科学的基础、方法和含义,主要研究科学的本性、科学理论的结构、科学解释、科学检验、科学观察与理论的关系、科学理论的选择等。该学
  • 化学品化学物质,又称化学物种,是有着固定化学成分和特定性质的一类物质。它们不能通过物理手段分成更小的组分。化学物质可以是以元素形态组成的单质,也可以是化合物、离子或者合金。
  • 年假年假也称年休,指的是劳工每年在公共假日以外,能够自由安排的有薪假日。大多数国家都有劳动权益保护法律规定雇员最低的年休天数。根据雇主的规定,雇员可能须要在指定的天数前预
  • 京都府坐标:35°1′18″N 135°45′20.2″E / 35.02167°N 135.755611°E / 35.02167; 135.755611京都府(日语:京都府/きょうとふ〔きやうとふ〕 Kyōto fu */?)是日本近畿地方的都道
  • 图皮语系图皮语系是南美洲原住民语言的一个语系。包括在巴西、巴拉圭、玻利维亚、秘鲁和法属圭亚那的合共70多种语言。根据《民族语》的分类,以种类多少计,它是所有语系中的第13大,可分