相等

✍ dations ◷ 2025-12-02 05:44:15 #数学关系,初等数学,数理逻辑,算术

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

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

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

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

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

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

相关

  • 坎普尔बाप तहसील घंटियाली city坎普尔(印地语:कानपुर),又译孔坡(Cawnpore)。印度北部北方邦的城市。1801年英国人占领该市,把它变成英国人的前哨站。1857年印度叛
  • 提尔泰奥斯提尔泰奥斯(英语:Tyrtaeus),约活动于公元前7世纪前后。古希腊挽歌体诗人之一。在第二次美塞尼亚战争期间,他住在斯巴达,用战争歌曲鼓励斯巴达人,用哀歌体诗句激励迈塞内。他的诗歌
  • 泰奥弗拉斯托斯泰奥弗拉斯托斯(希腊语:Θεόφραστος,转写:Theόphrastos,也称提奥弗拉斯特,约前371年-约前287年),公元前4世纪的古希腊哲学家和科学家,先后受敎于柏拉图和亚里士多德,后来接替
  • 里奥·卡拉阿雷克斯·克里斯托夫·杜邦乔治·杜邦琼·奥瑟曼-杜邦莱奥斯·卡拉克斯(Leos Carax,法语发音:,1960年11月22日-),本名阿雷克斯·克里斯托夫·杜邦(Alex Christophe Dupont),法国电影
  • 洋红洋红色(英语:Magenta),又称品红色、紫红色,是介于红色和紫色之间的颜色。在光谱中品红色并非单一波长的光,而是由等量的红光与蓝光混合而得。品红色与黄色、青色构成了减法三原色
  • 盖世太保秘密国家警察(德语:Geheime Staatspolizei,缩写:GESTAPO,德语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans U
  • 格尔津文化第八第十格尔津文化(英语:Gerzeh culture),埃及前王朝时期的历史文化阶段(约公元前3500年至公元前3200年前后),即奈加代二期文化。位于今埃及南部的奈加代、希拉孔波利斯以及努比亚
  • 绿绣眼暗绿绣眼鸟(学名:Zosterops japonicus)是一种小型雀形目绣眼鸟科鸟类,平均寿命约15年。台湾多称其作绿绣眼,台语称青笛仔、青啼仔,广东人多称其为相思仔、白眼圈。日本称为目白。
  • 934年重要事件及趋势重要人物
  • 国立政治大学国际事务学院国立政治大学国际事务学院为国立政治大学学院之一,由外交系、东亚研究所、俄罗斯研究所等三个系所组成,其中外交系创立于1930年,为政治大学最早成立的系所之一,于2001年正式成立