自反性

✍ dations ◷ 2025-04-25 04:36:02 #自反性
自反关系是在逻辑学和数学中一种特殊的二元关系,这样的二元关系被称为自反的,也被称为具有自反性。自反关系的一个例子是关于实数集合的“等于”关系,因为每个实数都等于它自己。对称性、传递性以及自反性是定义等价关系的三个属性。对于集合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.

相关

  • 病原菌病原细菌(英语:Pathogenic bacteria)是指能导致传染病的细菌病原体。本条目主要针对会造成人类传染病的病原细菌。大部分的细菌是无害,甚至是有益的,不过有些细菌是病原体。像结
  • 缓激肽结构 / ECOD缓激肽(英语:Bradykinin)是引起血管扩张的一种肽,因此导致血压降低。一类名叫ACE抑制药的用于降血压的药物会增加缓激肽的浓度(通过抑制其降解)进而降低血压。缓激肽是
  • 联合国社会发展研究所联合国社会发展研究所(United Nations Research Institute For Social Development,UNRISD)是联合国系统下的独立研究机构,主要从事当代发展议题之社会跨领域研究,创立于1963年,总
  • 阿斯旺省阿斯旺省(阿拉伯语:محافظة أسوان‎),是埃及一级行政区划之一,位于埃及南部,首府为阿斯旺。该省东为红海省,西为新河谷省,北为基纳省,南与苏丹共和国接壤,面积原为34,608平
  • 面谈面谈或采访,是指一种涉及两名或以上人士的对话,由一方发问,并由另一方回答。面谈的其中常见的一种形式是面试,这是大部分企业在招聘员工过程中需要的一环。此外,面谈亦是新闻采访
  • 普劳图斯普劳图斯(Titus Maccius Plautus,约前254年-前184年),古罗马剧作家,他的喜剧是现在仍保存完好的拉丁语文学最早的作品。同时他也是音乐剧最早的先驱者之一。古代以他的名义流传的
  • 整联蛋白受体结构 / ECOD结构 / ECOD整合素(英语:Integrin,又译为整联蛋白)是一种介导细胞和其外环境(如细胞外基质,ECM)之间的连接的跨膜受体。在信号转导中,整合素将ECM的化学成分与力学状态等
  • 干冰干冰是二氧化碳的固体形式。在正常气压下,二氧化碳的凝固点是摄氏负78.5度,在保持物体维持冷冻或低温状态下非常有用。其无色、无味、不易燃、略带酸性。干冰的密度各不相同,但
  • 石灰石石灰岩(灰石)(CaCO3)简称灰岩,又叫石灰石,是以方解石(矿物)为主要成分的碳酸钙岩。石灰岩主要是在浅海的环境下形成的。石灰岩按成因可划分为粒屑石灰岩(流水搬运、堆积形成);生物骨
  • 英法海底隧道英法海底隧道(英语:Channel Tunnel,亦称 Chunnel;法语:le tunnel sous la Manche,拉芒什海峡隧道)是一座50.5千米长的海底铁路隧道,位于英吉利海峡多佛尔水道下,连接英国的福克斯通和