反对称关系

✍ dations ◷ 2025-09-18 20:22:45 #反对称关系

数学上，若对所有的 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）。满足传递性和自反性的反对称关系称为偏序关系。

相关

科学科学（词源为拉丁文“scientia”，意为“知识”）是一种系统性的知识体系，它积累和组织并可检验有关于宇宙的解释和预测。科学强调预测结果的具体性和可证伪性，这有别于空泛的哲学。
头孢菌素类抗生素头孢菌素（法语：Cephalosporine、英语：Cephalosporin），又名先锋霉素，是一系列属于β内酰胺类的抗生素。与头霉素一并细分为头孢烯。头孢菌素化合物最初是于1948年，由意大利科学家Giu
乌干达坐标：1°N 32°E / 1°N 32°E / 1; 32面积以下资讯是以2019年估计国家领袖国内生产总值（购买力平价）以下资讯是以2016年估计国内生产总值（国际汇率）以下资讯是以2016年估计人
子宫颈原位癌原位癌（Carcinoma in situ），是已被发现有恶性肿瘤的特点，但还没有入侵其它组织的肿瘤。许多形式的癌症始于原位癌，但不能及早发现。原位癌的癌变仍然限于黏膜上皮层内或皮肤表皮
老人科人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学老年医学（英语：Geriatrics）是医学的一个
Linnaeus卡尔·冯·林奈（英语：Carl Linnaeus，瑞典语：Carl von Linné，1707年5月23日－1778年1月10日），也译为林内，受封贵族前名为卡尔·林奈乌斯（Carl Linnaeus），由于瑞典学者阶层的姓常拉丁化，又
极光极光，是一种等离子体现象，主要发生在具有磁场的行星上的高纬度区域，而在地球上的极光带即是经度上距离地磁极10°至20°，纬度宽约3°至6°的区域。当磁暴发生时，在较低的纬度也会
分子结构分子结构，或称分子立体结构、分子形状、分子几何、分子几何构型，建立在光谱学数据之上，用以描述分子中原子的三维排列方式。分子结构在很大程度上影响了化学物质的反应性、极性
Lac操作子乳糖操纵子是一个在大肠杆菌及其他肠道菌科细菌内负责乳糖的运输及代谢的操纵子。它包含了三个相连的结构基因，启动子、终止子及操纵基因。乳糖操纵子受多种因素所调控，包括葡
顾拜旦男爵顾拜旦男爵皮埃尔·德·弗雷迪（法语：Pierre de Frédy, Baron de Coubertin，1863年1月1日－1937年9月2日），法兰西巴黎人，现代奥林匹克运动会的发起人，1896年至1925年任国际奥林匹克委