fbpx
维基百科

拟序关系

定义

拟序关系(quasi-order),有时我们也称为预序关系(preorder)。

设R是集合A上的二元关系,若R满足条件:

  1. 反自反性:对于R中任意的元a,不成立a < a (irreflexivity);
  2. 传递性:若 a < b 且 b < c ,则 a < c 。这里的 a,b,c 为R中的元(transitivity)。

则称二元关系R是拟序关系,记作”<“,称 A,<> 为拟序集合。[1]

拟序的性质:

(1)设R是集合A上的拟序关系,则R是反对称的。

(2)若R是A上的拟序关系,则 r(R)=r   I  偏序关系。(拟序关系与自反关系的并集称为偏序关系。)

(3)若R是A上的偏序关系,则 R -  是拟序关系。

(4)拟序集合与偏序集合具有相同的哈斯图[1]

  1. ^ 1.0 1.1 王, 礼萍. 序关系. 离散数学简明教程. 清华大学出版社有限公司. 2005: P43. ISBN 978-7-302-11229-7 (中文). 

拟序关系, 定义, 编辑, quasi, order, 有时我们也称为预序关系, preorder, 设r是集合a上的二元关系, 若r满足条件, 反自反性, 对于r中任意的元a, 不成立a, irreflexivity, 传递性, 这里的, 为r中的元, transitivity, 则称二元关系r是, 记作, displaystyle, langle, displaystyle, rangle, 为拟序集合, 拟序的性质, 编辑, 设r是集合a上的, 则r是反对称的, 若r是a上的, displaystyle, b. 定义 编辑拟序关系 quasi order 有时我们也称为预序关系 preorder 设R是集合A上的二元关系 若R满足条件 反自反性 对于R中任意的元a 不成立a lt a irreflexivity 传递性 若 a lt b 且 b lt c 则 a lt c 这里的 a b c 为R中的元 transitivity 则称二元关系R是拟序关系 记作 lt 称 displaystyle langle A lt gt displaystyle rangle 为拟序集合 1 拟序的性质 编辑 1 设R是集合A上的拟序关系 则R是反对称的 2 若R是A上的拟序关系 则 r R r displaystyle bigcup I I A displaystyle I A 是偏序关系 拟序关系与自反关系的并集称为偏序关系 3 若R是A上的偏序关系 则 R I A displaystyle I A 是拟序关系 4 拟序集合与偏序集合具有相同的哈斯图 1 这是一篇关于数学的小作品 你可以通过编辑或修订扩充其内容 查论编 1 0 1 1 王 礼萍 序关系 离散数学简明教程 清华大学出版社有限公司 2005 P43 ISBN 978 7 302 11229 7 中文 取自 https zh wikipedia org w index php title 拟序关系 amp oldid 74060417, 维基百科,wiki,书籍,书籍,图书馆,

文章

,阅读,下载,免费,免费下载,mp3,视频,mp4,3gp, jpg,jpeg,gif,png,图片,音乐,歌曲,电影,书籍,游戏,游戏。