相等

✍ dations ◷ 2025-09-19 06:41:53 #数学关系,初等数学,数理逻辑,算术

在数学的领域中,若两个数学对象在各个方面都相同,则称他们是相等的。这就定义了一个二元谓词等于,写作“ = {\displaystyle =} 上唯一满足所有这些性质的关系。去掉对反对称性的要求,就是等价关系。相应的,给定任意等价关系 R {\displaystyle R} 相等,则它们具有相同的性质。可以通过简单的假设来定义莱布尼茨律的另一个方向:

则若 x {\displaystyle x} 具有相同的性质,则特定的它们关于谓词 P {\displaystyle P}

对任意量 a {\displaystyle a} 传递性。

尽管对称性和传递性通常看上去是基本性质,但它们能够通过替代性和自反性证明得到。

“等于”符号或 “ = {\displaystyle =} 中采用了这一符号。原因是符号中的两条线一样长,表明其连接的两个量也相等。这一发明在威尔士的St Mary教堂有记录。

约等于的符号是 {\displaystyle \approx } 或≒,不等于的符号是 {\displaystyle \neq }

相关

  • 生存生命泛指一类具有稳定的物质和能量代谢现象并且能回应刺激、能进行自我复制(繁殖)的半开放物质系统。简单来说,也就是具有生命机制的物体。生命个体一定会经历出生、成长、衰老
  • 神经重症学神经重症(Neurocritical care or neurointensive care)是急诊医学、神经内科、神经外科和重症科的一门跨学科医疗学科。这类病人主要寄主在神经重症加护病房里。常见的神经重
  • 联邦制联邦制(英语:federation)是由两个或两个以上的政治实体(共和国、州、邦、省等等)结合而成的一种国家结构形式。视国家领导人为君主或民选领导人,联邦制可分为联邦共和制和联邦君主
  • 埃德蒙·伯克埃德蒙·伯克(英语:Edmund Burke,1729年1月12日-1797年7月9日),爱尔兰裔的英国的政治家、作家、演说家、政治理论家、和哲学家,他曾在英国下议院担任了数年辉格党的议员。他最为后
  • 赫什科阿夫拉姆·赫什科(希伯来语:.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova"
  • 国家导弹防御系统美国的国家导弹防御(英语:United States national missile defense)指美国的用于在整个国家范围抵挡外来的洲际弹道导弹的反弹道导弹系统,目前计划已经改名为陆基中途防御系统。
  • 四邑片四邑方言或称冈州方言,即粤语支四邑片或称冈州片,主要分布于广东省江门市蓬江区、江海区、新会区、台山市、开平市、恩平市、鹤山市、珠海市斗门区、金湾区、中山市古镇镇以及
  • 学海书院坐标:25°02′10.55″N 121°29′43.39″E / 25.0362639°N 121.4953861°E / 25.0362639; 121.4953861学海书院(闽南语:.mw-parser-output .sans-serif{font-family:-apple-sy
  • 美利坚爱国者(或称为美国辉格党,革命党,大陆会议派,反叛者)是美国革命期间英属十三个殖民地的暴力反抗英国统治的殖民者,同时,他们在1776年7月宣布美利坚合众国独立。他们叛乱的缘由是基
  • 数字鉴识数字鉴识(有时又被称作数字鉴识科学、数字取证)乃是鉴识科学的其中一个分支,主要在针对数字设备中的内容进行调查与撤销,这常常是与电脑犯罪有所相关。数字鉴识一词原本是与电脑