反对称关系

✍ dations ◷ 2025-10-09 04:02:47 #反对称关系

数学上，若对所有的 a 和 b 属于 X，下述语句保持有效，则集合 X 上的二元关系 R 是反对称的：“若 a 关系到 b 且 b 关系到 a，则 a = b。”数学上表示为：严格不等是反对称的；实际上 a < b 且 b < a 是不可能的，因此严格不等的反对称性是一种空虚的真（英语：Vacuous truth）。注意，反对称关系不是对称关系（aRb 得到 bRa）的反义。有些关系既是对称的又是反对称的，比如"等于"（证明：a=b推出b=a；a=b且b=a推出a=b）；有些关系既不是对称的也不是反对称的，比如"爱上……"（证明：a爱b不能推出b爱a；a爱b且b爱a不能推出a和b是同一个人）；有些关系是对称的但不是反对称的，比如"和…结婚"（证明：a和b结婚推出b和a结婚；a和b结婚且b和a结婚不能推出a和b是同一个人）；有些关系不是对称的但是反对称的，比如正整数的"整除"（证明：3整除6不能推出6整除3；a整除b，即b=ma,m为正整数，且b整除a，即a=nb，n为正整数，则b=ma=mnb,则mn=1且m,n为正整数，则m=n=1,即a=b）。满足传递性和自反性的反对称关系称为偏序关系。

相关

进食障碍进食障碍（英文：Eating disorder），又称摄食障碍，是一种精神病，它指的是会影响当事人的生理与心理的异常进食习惯。进食障碍包括短时间大量进食的“狂食症”；吃得太少导致体重偏轻的
环境雌激素环境雌激素（英语：Environmental estrogen，或称为仿雌激素、外源性雌激素英语：Xenoestrogen），指进入人体后可产生具有模拟雌激素作用的环境毒素，会对生物有生殖方面的影响，使得幼体
斯宾诺莎斯宾诺莎（拉迪诺语：Baruch de Spinoza，拉丁语：Benedictus de Spinoza，1632年11月24日－1677年2月21日），西方近代哲学史重要的理性主义者，与笛卡尔和莱布尼茨齐名。斯宾诺莎的祖先是居
化学品化学物质，又称化学物种，是有着固定化学成分和特定性质的一类物质。它们不能通过物理手段分成更小的组分。化学物质可以是以元素形态组成的单质，也可以是化合物、离子或者合金。
继承继承（英语：inheritance）是面向对象软件技术当中的一个概念。如果一个类别B“继承自”另一个类别A，就把这个B称为“A的子类”，而把A称为“B的父类别”也可以称“A是B的超类”。继
电磁波电磁波是指同相振荡且互相垂直的电场与磁场，在空间中以波的形式传递能量和动量，其传播方向垂直于电场与磁场的振荡方向。电磁波不需要依靠介质进行传播，在真空中其传播速度为光
织丝植物门Nematothalaceae:Nematophytaceae:织丝植物门（Nematophytes）是一个复系的陆地植物门，包含一些仅有化石记录的藻类，历史可追溯至上志留纪。模式属织丝体属（Nematothallus）首次描
人型总科猿是灵长目人猿总科（学名：Hominoidea）动物的通称，包括两个科。虽然人们常把猿猴并称，有时候将猴也称为猿，而猿有时也会称做是猴，不过他们在生物学上是不同的动物。两者的主要区别在
英国电影学院奖英国电影学院奖（英语：British Academy Film Awards）又称英国影艺学院电影奖（英语：BAFTA Awards），是由英国电影和电视艺术学院颁发的一年一度的英国电影、电视艺术相关产业最高表彰，
布尔可满足性问题可满足性（英语：Satisfiability）是用来解决给定的真值方程式，是否存在一组变量赋值，使问题为可满足。布尔可满足性问题（Boolean satisfiability problem；SAT)）属于决定性问题，也是第一