擬陣的秩公理

擬陣的秩公理(rank axiom of matroid)是刻畫擬陣的一種法則,它是定義在有限集E的子集族上的函式。

r所滿足的條件:
1.對於E的任意子集X,有r(X)鎮}X}.
2.對於E的任意子集X ,Y,若X}Y,則r(X)毛r(Y).
3.對於E的任意子集X,Y,有 r(X }J Y)+r(X (} Y)鎮r(X)+r(Y).
r為擬陣M= (E,.})的秩函式,若且唯若r滿足上述秩公理.而秩函式決定之後,可由它來決定擬陣的獨立集:E的子集1為獨立集,若且唯若r(1)=}1.因此,擬陣的秩公理是擬陣的等價形式.若將條件1,2換成條件1',2':
1'.r(卯= 0.
2'.對於E的任意子集X和任意元素‘,有r(X U{‘})=r(X)或r(X)+1,則秩公理可以等價地改換為條件1',2'和3.

相關詞條

熱門詞條

聯絡我們