單形擬陣(simplicial matroid)是一類特殊的擬陣,它是以獨立單形為獨立集的擬陣。
當單形為k單形時,記單形擬陣為Sk,這裡A一{al,…,a,},以k單形構成的集合{XXZ,...}Xn}的獨立性是由a(Xt,),抓XZ), } ,a(Xm)的線性獨立性來確定的,其中a為邊緣運算元,滿足:
a(必)=O,a({a})=0,a( {a;1 ,at `z,’“,a;i=t一‘,’一“州少“‘“、這裡a,表示把元素“,從該集合中刪除掉·因此若X為k單形,則a(X)為((k一1)單形.單形擬陣S分是可表示擬陣,其表示矩陣記為:(n ,k)=(sp,4),為{、二7卜(:!矩陣.其產生方法為,先把((k-1)單形按字典序排列,並以p表示其中之一,再把k單形亦按字典序排列,以q表示其中之一當q不包含p時令sn,e = 0 }當q包含p時,差集q-p只含一個元素,則:,,、的值按此元素a;,的下標.7確定為(一1>’一‘·例如,s<4,3)
因此,{{1,2,3},{1,2,4},{1,3,4}}是獨立的,且為單形擬陣S;的基.但是,{{1,2,3},{1,2,4},{1,3,4},{2,3,4}}是相關的.