相等

✍ dations ◷ 2025-08-02 02:20:29 #数学关系,初等数学,数理逻辑,算术

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

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

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

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

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

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

相关

  • 巴黎盆地巴黎盆地(法语:Bassin parisien)是法国的一个沉积盆地,巴黎位于其中心。它由自三叠纪开始的一系列造山运动形成,海拔不超过300米(980英尺),西接阿摩里卡丘陵,东接佛日山脉,南接法国中
  • 人工受精体外人工受孕(英语:In vitro fertilization,缩写IVF; artificial fertilization),是将卵子与精子取出,在人为操作下进行体外受精,并培养成胚胎,再将胚胎植回母体内,整个过程真正在试
  • 基本药物基本药物(Essential medicines)是世界卫生组织所定义的药物,是“满足最基础医疗需求”的药物,是所有人在有需要时都应该以合理的价格可以取得足够分量的药物。世界卫生组织订定
  • 恒星周期自转周期(英语:Rotation period)在天文学中是指当一个物体绕着自己的转轴(英语:Rotation around a fixed axis),相对于背景的恒星完成一次完整转动的时间。自转周期和行星的恒星日
  • 1448年约前1445年,古埃及法老图特摩斯三世打败了米坦尼国王,夺占米坦尼王国位于幼发拉底河西岸的土地。
  • 首都圈南关东指的是日本关东地方的南部区域,与北关东相对,地理上以利根川为界。行政区划上,一般包括了埼玉县、千叶县、东京都和神奈川县1都3县。由于关东地方集中了日本人口的三分之
  • 诺盖人诺盖人,又称为高加索蒙古人,已完全突厥化。分布在达吉斯坦共和国及乌拉尔河一带,曾经在钦察汗国分裂后有自己的汗国,有大小之分。一部分迁往俄罗斯波多里亚,留在东欧平原即是钦察
  • 百越语古越语是古代于越人的语言,春秋时期通行于吴、越两国,与当时附近楚及中原诸国言语不同。语言学研究表明,古越语可能属于侗台语系,与现代的侗语、壮语、泰语等关系较近;但也有研究
  • 登陆作战登陆作战(英语:landing operation),是指一场将登陆部队运抵岸边或陆地的军事行动,目的是进行力量投射。登陆作战的载具,在过去通常是凭借登陆艇;但在现代,也能使用其他船舰与航空器
  • 威廉·劳伦斯·夏勒威廉·劳伦斯·夏勒(英语:William Lawrence Shirer,1904年2月23日- 1993年12月28日)是一位美国作家、战地记者和历史学家,曾为《芝加哥论坛报》、《国际新闻社》记者,代表作为《第