自反性

✍ dations ◷ 2025-06-28 00:31:37 #自反性
自反关系是在逻辑学和数学中一种特殊的二元关系,这样的二元关系被称为自反的,也被称为具有自反性。自反关系的一个例子是关于实数集合的“等于”关系,因为每个实数都等于它自己。对称性、传递性以及自反性是定义等价关系的三个属性。对于集合X上的二元关系R,若满足: ∀ a ∈ X ( a R a ) {displaystyle forall ain X(aRa)} ,则称二元关系R是自反的,或称R具有自反性,或称R为自反关系。∀ a ∈ X {displaystyle forall ain X} ,a = a,在一些系统中称为相等公理。一个非自反(irreflexive, anti-reflexive)的关系,是在一个集合中没有元素与自身相关的二元关系。例如实数上的“大于”关系(x> y)。请注意,没有自反的各种关系,并不全都是非自反的;可以定义一些元素与自己相关的关系,而另一些则不是(neither all nor none are)。例如,“x和y的乘积是偶数”的二元关系在偶数集上是自反的,在奇数集上是非自反的,在自然数集上既不是自反,也不是非自反。关于集合S上的一个关系,如果与某个元素相关的每个元素也与它自己有关,形式上就称为准自反:∀x,y∈S:x〜y⇒(x〜x∧y〜y)。一个例子是关于实数序列集合的“具有相同极限”的关系:并不是每个序列都有一个极限,因此这个关系不是自反的,但是如果一个序列与某个序列具有相同的极限,具有与其本身相同的限制。S上二元关系的自反闭包是S上最小的自反关系,它是〜的超集。等价地,它是S与S上的同一性关系的联合,形式如下:(≃)=(¯)∪(=)。例如,x <y的自反闭包是x≤y。在集合S上的二元关系的自反性约化或非自反核是最小的关系≆,使得≆共享与〜相同的自反闭包。它可以被看作是自反封闭的反面。 它相当于S上关于〜的形式关系的补充,形式上是:(≆)=(〜)(=)。也就是说,除了x〜x是真的,它相当于〜。例如,x≤y的自反减少是x <y。满足传递性的自反关系称为预序关系。满足反对称性的预序关系称为偏序关系。满足对称性的预序关系称为等价关系。自反关系举例:一个“n”-元素集合上,自反关系的数目是2n2−n.

相关

  • 体外人工受精体外人工受孕(英语:In vitro fertilization,缩写IVF; artificial fertilization),是将卵子与精子取出,在人为操作下进行体外受精,并培养成胚胎,再将胚胎植回母体内,整个过程真正在试
  • 附加符号؋ ​₳ ​ ฿ ​₿ ​ ₵ ​¢ ​₡ ​₢(英语:Brazilian cruzeiro) ​ $ ​₫ ​₯ ​֏ ​ ₠ ​€ ​ ƒ(英语:Florin sign) ​₣ ​ ₲ ​ ₴(英语:Hryvnia sign) ​ ₭ ​ ₺
  • 钱永健钱永健(英语:Roger Yonchien Tsien,1952年2月1日-2016年8月24日),美国华人生物化学家,美国国家科学院院士、美国国家医学院院士、美国艺术与科学院院士、圣迭戈加利福尼亚大学生物
  • 高斯约翰·卡尔·弗里德里希·高斯(德语:Johann Karl Friedrich Gauß  帮助·信息;1777年4月30日-1855年2月23日), 德国数学家、物理学家、天文学家、大地测量学家,生于布伦瑞克,卒于
  • 转运体载体蛋白(英语:carrier protein)简称“载体”,是参与离子、小分子或高分子跨越生物膜进行运输的一类多回旋折叠蛋白质。载体蛋白都是跨膜蛋白,它们能在协助扩散或主动运输过程中
  • 下议院下议院或众议院,是两院制国家或自治地区议会的议院之一。在民主国家,众议院的议员人数大多按各地人口比例的多少来分配的。众议院在各国称谓各有不同:例如英国、加拿大所称“平
  • span class=chemf style=white-space:nowrap;Csub16/sub十六烷(英语:hexadecane、cetane)是化学式为C16H34的烷烃。十六烷由16个碳原子直链组成,头和尾被3个氢原子连着,中间2个。十六烷值用以量度柴油的易燃性。在压缩下,十六烷非常易燃
  • 理察·卡普理查德·曼宁·卡普(英语:Richard Manning Karp,1935年1月3日-),计算机科学家以及计算理论家。为柏克莱加州大学教授,在算法理论方面有卓越的贡献,因此获得1985年的图灵奖,2004年的本
  • 布拉酵母菌布拉酵母菌(Saccharomyces boulardii),是一种热带酵母物种,于1923年由法国科学家亨利·布拉德自荔枝与山竹中分离出来。在一些分类学、代谢和遗传特性上,它与酿酒酵母相近,但略有
  • 胸苷胸苷(Thymidine),是一种化合物,更精确的名称是去氧胸苷,属于嘧啶去氧核苷。是DNA的原料之一。