自反性

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

相关

  • 肾丝球过滤率肾功能(Renal function)是描述肾脏状态及其在肾生理作用的角色。肾小球滤过率(Glomerular filtration rate/GFR、肾丝球滤过率)描述了通过肾脏过滤流体之流速。肌酸酐清除率(Crea
  • 低血钙低钙血症或低血钙症(Hypocalcaemia)系指血清中的钙离子浓度过低的状况,正常比例为 2.1 至 2.6 mmol/L(约为 8.8 到 10.7mg/dl,4.3 到 5.2 mEq/L),如果低于 2.1 mmol/L,就会认定为低
  • 第一批异形词整理表《第一批异形词整理表》,是中华人民共和国教育部、国家语言文字工作委员会于2001年12月19日发布,2002年3月31日试行的“规定了普通话书面语中异形词的推荐使用词形”的规范。
  • 1960年代反文化运动1960年代反文化运动(英语:1960s counterculture movement)是一种反文化反体制行为,这种现象首先发生在英国和美国,之后在1960年代初至70年代中期在西方世界大规模传播。伦敦、纽
  • 精神决定论精神决定论(Psychical determinism)认为人的行为变化除环境与生理因素外,某些心理因素才是具有决定性的影响。此心理因素为泛指个人的知觉、意识、潜意识、习惯与信仰等,在这
  • 行星地质学行星地质学(Planetary Geology),亦称为天体地质学(Astrogeology)、天文地质学(Exogeology),是行星科学的一个重要分支学科,研究的范围是行星、卫星、小行星、彗星以及陨石等天体的地
  • 益智药益智药(促智药、nootropics、English pronunciation: 发音: /noʊ.əˈtrɒpᵻks/ noh-ə-TROP-iks)也被称为智能药物(smart drugs)或认知增强剂(cognitive enhancers),用于改善健康
  • 瓦斯炉瓦斯炉是一种以天然气、丙烷或其他可燃性气体作为燃料以产生火焰的厨房煮食用具。最早的煮食用炉具,可追溯至中国历史的秦朝,西方的炉具更于1735年才出现,瓦斯炉面世前,当时的人
  • 圆形竞技场圆形剧场(拉丁语:amphitheatrum),又称圆形竞技场,是一种中间露天、四周则被圆形或椭圆形的建筑所环绕的表演场地。场地的中央为进行表演的地方,座位则沿四周排列。这种建筑起源于
  • 弗里德里希·帕邢路易斯·卡尔·海因里希·弗里德里希·帕邢(德语:Louis Carl Heinrich Friedrich Paschen,1865年1月22日-1947年2月25日),德国物理学家,1889年建立帕邢定律,1908年发现了氢原子光谱