反对称关系

✍ dations ◷ 2025-01-23 04:48:38 #反对称关系

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

相关

有孔虫类见内文有孔虫门（学名：Foraminifera），为变形虫状原生生物的大分类。它们拥有的网状假足及幼细线状细胞质会分散及融合而形成动态的网，它们会形成有一个或多个室的外壳，部分在结构上
后金后金第1位大汗清朝追尊皇帝努尔哈赤（满语：ᠨᡠᡵᡤᠠᠴᡳ，穆麟德：nurgaci，太清：nurgaqi ；1559年2月21日－1626年9月30日），爱新觉罗氏，出身建州左卫都指挥使世家旁系，祖父觉昌安被明朝授
冠心症冠状动脉疾病（英语：coronary artery disease, CAD）又称为缺血性心脏病或简称冠心病（英语：ischemic heart disease, IHD）、冠状动脉粥状硬化心脏病、冠状动脉粥状硬化心血管疾病（英
免疫球蛋白抗体（antibody），又称免疫球蛋白（immunoglobulin，简称Ig），是一种主要由浆细胞分泌，被免疫系统用来鉴别与中和外来物质如细菌、病毒等病原体的大型Y形蛋白质，仅被发现存在于脊椎动物的
安德烈-马里·安培安德烈-马里·安培（法语：André-Marie Ampère，FRS，1775年1月20日－1836年6月10日）是法国物理学家、数学家，经典电磁学的创始人之一。为了纪念他的贡献，国际单位制中电流的单位“安
大碰撞假说大碰撞说（英语：Giant impact hypothesis），是一种解释月球形成原因及过程的假说，也可用于探讨金星及火星等类地行星的卫星生成。该假说认为在大约45亿年前（或太阳系形成后约2,000万
赫罗图赫罗图（英语：Hertzsprung–Russell diagram，简写为H–R diagram、HR diagram或HRD）是以恒星的绝对星等或光度相对于光谱类型或有效温度绘制的散布图（英语：Scatter plot）。更简单的
三氯氧磷三氯氧磷（分子式：POCl3），也称作磷酰氯，室温下为无色液体。它在潮湿空气中发烟，水解为磷酸及具刺激性的盐酸液滴。工业上由三氯化磷与氧气或五氧化二磷反应制备，主要用作生产磷酸酯
上阿尔卑斯省上阿尔卑斯省（法语：Hautes-Alpes）是法国普罗旺斯-阿尔卑斯-蓝色海岸大区所辖的省份。该省编号为05，省会为加普。5个海外省及大区
雨格诺派胡格诺派（法语：Huguenot，发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Ge