外延性

✍ dations ◷ 2025-12-01 23:16:46 #外延性

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

相关

黄体素孕酮（英语：progesterone，亦被称为黄体酮、孕甾酮、黄体甾酮、助孕激素、助孕素、黄体素或助孕酮，其缩写为P4，也被称为(孕甾-4-烯-3,20-二酮)，是一种内源性类固醇和孕激素性激素，也
历年逝世人物列表这是一个选择年份的列表，在这里你可以查看任何一年逝世的知名人士。
中间宿主中间宿主（intermediate host或secondary host）是指寄生物的幼虫、童虫或于无性生殖阶段时用以寄生的物种。如需两个以上中间宿主，则依顺序称第一、第二中间宿主等。这类宿主也
肾小管肾单位又称肾元（英语：Nephron），是肾制造尿液的基本功能单位，人体的肾脏中，约含200万个肾单位，每一个肾单位是由肾小体和肾小管所组成，肾小体包含肾丝球（glomerulus）和鲍氏囊（Bowman's c
下击暴流下击暴流（英文：Downburst）是在地面或地面附近由对流性下沉气流引起的破坏性的强风，水平尺度为1公里到10公里。由日本气象学家藤田哲也首先发现，下击暴流到达地面或靠近地面时可产
安提西尼安提西尼（古希腊语：Ἀντισθένης，Antisthenes，前445年－前365年），或译为安提斯泰尼，古希腊哲学家，苏格拉底弟子之一。安提西尼约生于公元前445年，他的父亲也叫安提西尼（Antisthe
太一太一，又作太乙、泰一，原是中国古代天文学中的星名，即北极星，后成为先秦两汉民间信仰的最高神明，奉为天帝，相当于上帝。知识分子则把太一哲学化，想像为永恒不变的法则，即“道”，或宇宙
法拉比阿布·纳斯尔·穆罕默德·伊本·穆罕默德·塔尔汗·法拉比·伊本·乌扎克·阿勒-法拉比·阿特突鲁克（波斯语：ابو نصر محمد بن محمد فارابي‎ Abū Na
卡伦·霍妮卡伦·霍妮（德语：Karen Horney，/ˈhɔːrnaɪ/;，1885年9月16日－1952年12月4日），德国心理学家和精神病学家，新弗洛伊德学派研究者。社会心理学的先驱。对基本焦虑研究贡献良多，并提出
人类的头骨颅骨或者头骨、骷髅头是指人类或者许多脊椎动物的头部骨性结构。头骨之功能为支撑脸部，并保护脑部。头骨分为两部分：颅骨和下颌骨。一般所称之‘头颅’通常仅指颅骨，并未包含下