-
序關係
鎖定
序關係(ordering relation)也叫做“偏序關係”、“弱偏序關係”或“半序關係”是集合元素間的一種二元關係。設一非空集合S,其元素之間定義了一種二元關係→,若R滿足:1.不可逆性:對任意a,b∈S,若有a→b,則沒有b→a。2.傳遞性:對任意a,b,c∈S,若有a→b,b→c,則有a→c。3.有自反性:對任意a∈S,都有a→a。則→稱為S上的一個偏序或偏序關係。
- 中文名
- 序關係
- 外文名
- ordering relation
- 別 名
- 偏序關係
- 性 質
- 一種重要的二元關係
- 特 點
- 自反性、反對稱性、傳遞性
- 學 科
- 數學
序關係簡介
偏序關係,亦稱序關係、弱偏序關係、半序關係,是一種重要的二元關係。指集合A有自反性、反對稱性和傳遞性的二元關係R,A稱為偏序集。偏序關係常用記號≤表示(仍讀作小於或等於)。a≤b意即aRb。偏序關係可用符號表示為:R是A的偏序關係
。
。
定義1,設P是集合,P上的二元關係“≤”滿足以下三個條件,則稱“≤”是P上的偏序關係(或部分序關係):
(1)自反性:a≤a,∀a∈P;
(2)反對稱性:∀a,b∈P,若a≤b且b≤a,則a=b;
序關係特點
偏序關係
有下列特點:
1、對角集
;
2、≤ 的矩陣(rij)λ的主對角線上的元素全是1;當 i ≠ j 時,rij·rji = 0,當 rij = rjk = 1時,rik=1;
3、≤ 的箭頭圖上每一點有一箭頭從自己出發而指向自己。如有箭頭從a指向b,從b指向c,就有箭頭從a指向c,任何兩點間無雙箭頭。
偏序關係的逆關係≥一定是偏序關係,偏序關係一定是擬序關係。1880年,皮爾斯(Perice,C.S.)首先系統地討論了偏序關係,而關於偏序的術語是由豪斯多夫(Hausdorff,F.)從1914年引進的。
[1]
序關係擬序關係
擬序關係有下列特點:
1、對角集
,且當<a,b>∈R,<b,c>∈R時,<a,c>∈R。
2、R的矩陣(rij)λ的主對角線上的元素全是1,且當 rij= rjk= 1時,rik=1;
3、R的箭頭圖上,每個元素有一個從自己出發又指向自身的箭頭,且在有a到b的箭頭,b到c的箭頭時,就有a到c的箭頭,如右圖1的關係箭頭表示的是集A={a,b,c,d,e}上的一個擬序。