首页 >
自反性
✍ dations ◷ 2025-06-06 21:41:49 #自反性
自反关系是在逻辑学和数学中一种特殊的二元关系,这样的二元关系被称为自反的,也被称为具有自反性。自反关系的一个例子是关于实数集合的“等于”关系,因为每个实数都等于它自己。对称性、传递性以及自反性是定义等价关系的三个属性。对于集合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.
相关
- 霉浆菌鸡毒支原体 M. gallisepticum 生殖支原体 M. genitalium 人型支原体 M. hominis 猪肺炎支原体 M. hyopneumoniae 绵羊肺炎支原体 M. ovipneumoniae 肺炎支原体 M. pneumonia
- 鸟苷鸟苷(Guanosine)是核苷的一种,是由鸟嘌呤与核糖(呋喃核糖)环组成,两者之间由β-N9-配糖键相连。鸟苷经过磷酸化之后可变成鸟苷单磷酸(GMP)、环鸟苷单磷酸(cGMP)、鸟苷双磷酸(GDP)或鸟苷
- 基因体基因组(genome)在生物学中,是指一个生物体所包含的DNA(部分病毒是RNA)里的全部遗传信息,又称基因体。基因组包括基因和非编码DNA。1920年,德国汉堡大学植物学教授汉斯·温克勒(Hans
- 西欧西欧是指欧洲西半部,面积约500万平方公里,占欧洲的一半左右。习惯上,本区又可以分为北欧、西欧、南欧三部分。本区位于欧亚大陆西部、大西洋东岸,大部分位于北纬35°~60°属北温
- 烦躁烦躁(英语:Dysphoria),一种正常的人类内在情绪,心中烦闷不安,急躁易怒,甚则手足动作及行为举止躁动不宁的表现。它通常起源于对现在状况的不满,或与对未来的期望。因为有意识的思考,
- 交通工具载具指载运工具,也称交通工具,是指使用于人或货物运输的设备。本身不产生位移的传送带或非人造的某些水面漂浮物都不能称为“载具”。为上述目的以人的意志为驱使的动物和人本
- 医疗占星术医疗占星术(Medical astrology,西方传统上被称为Iatromathematics或是Iatromathematica、Iatromathematici,另外也有称为“Doctorly Calculations”)是占星术的分支学科,作为一门
- 超低温保存深低温保存或超低温保存(英语: cryopreservation),指将生物、生命组织、或细胞等有机物质和其他物质在摄氏零下196度或以下的低温保存的一种科技。一般来说,深低温保存是泛指
- 达参反应达参反应(Darzens反应、Darzen反应)是醛或酮在强碱(如氨基钠、醇钠)作用下与α-卤代羧酸酯反应,生成α,β-环氧酸酯的反应。以发现者奥古斯特·乔治·达金(1867-1954)命名。产物α,
- 性状在生物学领域中,性状(Phenotypic trait)又称特征、特性或形质,是指生物的形态、结构和生理生化等特征的总称。性状可定义成生物体显现的单一特征,是由基因所构成的,也可称为可量化