自反性

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

相关

  • 粒毛盘菌纲粒毛盘菌纲只有一纲、一目、一科、一属,是属于外囊菌亚门的真菌,是外囊菌亚门中唯一一类有子囊果的品种,子囊果有7厘米长,呈黄色、橘黄或淡黄色。粒毛盘菌属各品种生长在亚洲、
  • 造成疾病致病真菌(英语:Pathogenic Fungi)是引起人类或其他生物产生真菌病的真菌。 已知大约300种真菌对人类具有致病性。虽然真菌是真核生物,但是许多致病真菌也是微生物。对人类致病的
  • 鸡油菇鸡油菇(Chanterelle)又称鸡油菌、黄菇、酒杯蘑菇,是鸡油菇属真菌,也是一种食用菇,外表黄色,同松露、羊肚菌一样都是比较珍贵的菇。鸡油菌常见于欧洲的北部地区、北美地区的墨西哥,
  • 核反应堆核子反应炉(英语:nuclear reactor)是一种启动、控制并维持核裂变或核聚变链式反应的装置。相对于核武爆炸瞬间所发生的失控链式反应,在反应堆之中,核变的速率可以得到精确的控制,
  • 生活污水生活污水是仅次于工业废水的主要污染源。城镇居民区每天排放大量生活污水和固体垃圾,其中含有大量碳水化合物、氮、磷和硫等微生物营养元素的有机物,还含有洗涤剂及多种病原微
  • J01A·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码J01(抗菌药)是解剖学治疗学及化学分类系统的一个药物分组,这是由世界卫生组织药物统计方法整合中心(The WHO Collaboratin
  • 罪恶问题对宗教的批评 · 自由思想反教权主义 · 反宗教虚构宗教罪恶问题(Problem of evil)是宗教哲学和神学中如何使邪恶或苦难与全知全能全善的神调和的问题,由古希腊哲学家伊比鸠鲁
  • 粗细字型或字模(英语:font;传统英式英语:fount)是指印刷行业中某一整套具有同样样式、字重和尺码的字形,例如一整套用于内文的宋体5号字、一整套用于标题的10号字就叫一套字型。电脑早
  • 社会交际人际关系是指社会人群中因交往而构成的相互依存和相互联系的社会关系,又称为人缘,属于社会学的范畴,也被称为“人际交往”,包括朋友关系、同学关系、师生关系、雇佣关系、战友关
  • 奥勒留马可·奥勒留(拉丁语:Marcus Aurelius,121年4月26日-180年3月17日),全名为马可·奥勒留·安敦宁·奥古斯都(拉丁语:Marcus Aurelius Antoninus Augustus)。是罗马帝国五贤帝时代最后