基本介紹
![模糊偏序關係](/img/c/a3b/wZwpmL3ITN2gzMzUzNxYjN1UTM1QDN5MjM5ADMwAjMwUzL1czL0MzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
設 ,
![模糊偏序關係](/img/5/c84/wZwpmLyUzN1UTNygzNxYjN1UTM1QDN5MjM5ADMwAjMwUzL4czLzEzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![模糊偏序關係](/img/5/c84/wZwpmLyUzN1UTNygzNxYjN1UTM1QDN5MjM5ADMwAjMwUzL4czLzEzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![模糊偏序關係](/img/e/f24/wZwpmLwEDN5kjN4AjNxYjN1UTM1QDN5MjM5ADMwAjMwUzLwYzL0YzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![模糊偏序關係](/img/c/13e/wZwpmLyUzNzgzM2cDOxYjN1UTM1QDN5MjM5ADMwAjMwUzL3gzLxMzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
(1) 叫做具有 模糊自反性,或者說 是模糊自反關係,是指,每個 ,都能使 。
![模糊偏序關係](/img/5/c84/wZwpmLyUzN1UTNygzNxYjN1UTM1QDN5MjM5ADMwAjMwUzL4czLzEzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![模糊偏序關係](/img/5/c84/wZwpmLyUzN1UTNygzNxYjN1UTM1QDN5MjM5ADMwAjMwUzL4czLzEzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![模糊偏序關係](/img/0/3b9/wZwpmL1EjNyITMzEjNxYjN1UTM1QDN5MjM5ADMwAjMwUzLxYzLwUzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
(2) 叫做具有 模糊完全反對稱性,或者說 是模糊完全反對稱關係,是指,由 必可推出u=v。
![模糊偏序關係](/img/5/c84/wZwpmLyUzN1UTNygzNxYjN1UTM1QDN5MjM5ADMwAjMwUzL4czLzEzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![模糊偏序關係](/img/5/c84/wZwpmLyUzN1UTNygzNxYjN1UTM1QDN5MjM5ADMwAjMwUzL4czLzEzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![模糊偏序關係](/img/8/3c2/wZwpmL0ITO1gjM2cTNxYjN1UTM1QDN5MjM5ADMwAjMwUzL3UzL2gzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
(3) 叫做具有 模糊傳遞性,或者說 是模糊傳遞關係,是指對任何 ,不等式
![模糊偏序關係](/img/3/3ec/wZwpmLzYTM1MzM5AjNxYjN1UTM1QDN5MjM5ADMwAjMwUzLwYzLyQzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![模糊偏序關係](/img/5/888/wZwpmL1IDM5AjN4MzMxMzM1UTM1QDN5MjM5ADMwAjMwUzLzMzL0IzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![模糊偏序關係](/img/c/edf/wZwpmLyMjM3gjMwgzM2EzM1UTM1QDN5MjM5ADMwAjMwUzL4MzLzIzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
永遠成立。其中“ ”表示上確界,“ ”表示下確界。
![模糊偏序關係](/img/5/c84/wZwpmLyUzN1UTNygzNxYjN1UTM1QDN5MjM5ADMwAjMwUzL4czLzEzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![模糊偏序關係](/img/4/521/wZwpmL3cTOyMjN3EDN3UzM1UTM1QDN5MjM5ADMwAjMwUzLxQzL3EzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![模糊偏序關係](/img/a/d01/wZwpmL0gjMwAjN0AzNxYjN1UTM1QDN5MjM5ADMwAjMwUzLwczL2czLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![模糊偏序關係](/img/2/d5e/wZwpmL1YjNzkzMyATOxYjN1UTM1QDN5MjM5ADMwAjMwUzLwkzL0MzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
關於U上的模糊關係 具有模糊完全反對稱性的逆否命題是:對任何 由u≠v,必可推出 和 中至少有一個必為零。我們知道,逆否命題與原命題是等價的,為了使用方便,這裡用它的逆否命題。
(1)具有模糊自反性及模糊傳遞性的模糊關係叫做模糊預序關係。
(2)具有模糊自反性、模糊完全反對稱性及模糊傳遞性的模糊關係叫 模糊偏序關係。
![模糊偏序關係](/img/5/c84/wZwpmLyUzN1UTNygzNxYjN1UTM1QDN5MjM5ADMwAjMwUzL4czLzEzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![模糊偏序關係](/img/e/f24/wZwpmLwEDN5kjN4AjNxYjN1UTM1QDN5MjM5ADMwAjMwUzLwYzL0YzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![模糊偏序關係](/img/0/deb/wZwpmL1MzMyYTN2UjNxYjN1UTM1QDN5MjM5ADMwAjMwUzL1YzL3MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![模糊偏序關係](/img/5/c84/wZwpmLyUzN1UTNygzNxYjN1UTM1QDN5MjM5ADMwAjMwUzL4czLzEzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
在論域U上給定模糊偏序關係 ,又 ,若且唯若U的其他元素v≠u都使 時,u叫做對 來說的優越元。
![模糊偏序關係](/img/a/557/wZwpmLyMDM5EzM3MjNxYjN1UTM1QDN5MjM5ADMwAjMwUzLzYzLxgzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![模糊偏序關係](/img/5/c84/wZwpmLyUzN1UTNygzNxYjN1UTM1QDN5MjM5ADMwAjMwUzL4czLzEzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
有數學理論保證,在有限論域 中,藉助模糊偏序關係 必然可以排出U中元素的優越次序 。
相關介紹
排序方法
利用模糊偏序關係矩陣排序的具體步驟如下:
![模糊偏序關係](/img/a/557/wZwpmLyMDM5EzM3MjNxYjN1UTM1QDN5MjM5ADMwAjMwUzLzYzLxgzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![模糊偏序關係](/img/f/b56/wZwpmL3QzMxcDOxETOxYjN1UTM1QDN5MjM5ADMwAjMwUzLxkzL4EzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
第一步,藉助有限論域上的n階模糊偏序關係方陣R得到U的第一優越元,即在方陣R中第i列,除了主對角線上的元素是1以外,其餘的元素都是零,那么u就是第一優越元。其中。
第二步,划去第一優越元所在的行和列,得到新的n-1階模糊偏序方陣,用同樣的方法得到優越元作為整體的第二優越元。
如此類推,可將U中所有元素排出一定的優越次序 。
模糊偏序和模糊線性序
![模糊偏序關係](/img/1/0fa/wZwpmL0MjN4UTO0ITOxYjN1UTM1QDN5MjM5ADMwAjMwUzLykzLwMzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![模糊偏序關係](/img/8/5d4/wZwpmLzgzM2YzM2cDOxYjN1UTM1QDN5MjM5ADMwAjMwUzL3gzL0MzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![模糊偏序關係](/img/b/95a/wZwpmLwEjMwEDM3MTOxYjN1UTM1QDN5MjM5ADMwAjMwUzLzkzL1YzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
定義 稱模糊偏序L為U到U的模糊線性序,如果對任意,則或。
下面給出的定理說明了模糊偏序和模糊線性序的關係 。
![模糊偏序關係](/img/0/868/wZwpmL3YDO3YDO4UzNxYjN1UTM1QDN5MjM5ADMwAjMwUzL1czLxIzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
設P是U上的模糊偏序,則必存在V(V與U有相同的有限基數)上的模糊線性序和U到V的一一映射σ,使得:若,則
![模糊偏序關係](/img/1/4a9/wZwpmL4IDNwQTO2kjNxYjN1UTM1QDN5MjM5ADMwAjMwUzL5YzLxczLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)