M是连通拟阵与是连通图的关系.pdfVIP

第 9卷 第 21期 2009年 11月 科 学 技 术 与 工 程 V01．9 No．21 Nov．2oo9 1671—1819(2009)21—6289-04 ScienceTechnologyandEngineering @ 2009 Sci．Tech．Engng． 是连通拟阵与 G(D拌)是连通图的关系 吕国亮 赵小鹏 (渭南师范学院数学与信息科学系，渭南 714000) 摘 要 研究 是连通拟阵与G(D)是连通图的关系。证明了M 中有一个基曰，使得c，cz，…，C…是M 中全体对应于基 的基本极小圈，等价于对任意J∈{1，2，…，n—r)，C _UC。由此证明了(Cunningham1973，Krogdahl1977)M是连通拟阵等价 于BC_ u CM(e，曰)，并且对任意XNY= ，uy=E(肘)一B都有 ( (e，曰))n( c (e，B))≠ 。得到结果为M 是 ， ， E ￡ 【 J 一 … … 连通拟阵等价于G(D )是连通图。 关键词 连通拟阵 连通图 矩阵A的关联二部图 元素 对应于基曰的基本极小圈 基B的极小圈关联矩阵 中图法分类号 0157．5；． 文献标志码 4 引理2 设M=(E，，)是个拟阵，又设DCE，则 D∈C(M)的充分必要条件是D满足以下各条件 ： 1 引言及引理 ] (i)D≠ 。 (ii)对任意的C ∈C(M )，都有IDAC I≠l。 设D是 的关于基 的基本极小圈关联矩 (iii)D的任意真子集都不满足(i)和(ii)。 阵，则G(D )是D 的关联二部图。在拟阵线性表示 构造的研究中，有定理是设域 F上的一个 r×凡矩阵 2 对应于基 的全体基本极小圈的性质 [，rID 】是拟阵 的一个 F-表示，且 {b。，b，…，b} 是 G(DI*)的一个基 ，则 (i)k=n一∞(G(D ))， 命题 1 设 C1，C2∈C( )且有 e1∈C1一C2， (ii)设 G，是 G(D)中的一个森林 ，且 ：E(G)一 e2∈C2一C1及 clnC2≠ 。则存在 C3∈C(M)，使 F一{0}是个映射，则一定可以用一系列矩阵的行列 得 el，e2∈C3 ClUC2。 数乘运算把 D，变换成 D：，并且对每条边 E 证明 取 e3∈C1nC2。设 e1，e2，e3两两不 同。 E(G)，D 中对应于 的元素是 ()。 假定命题不成立，即肘中不存在 C∈C(M)使得 e。， 由此可见，D 的关联二部图G(D )在拟阵线性 e2∈C。选取 cl，c2使得 e1∈C1，e2∈C2，IClnc2l 表示的构造 中的重要性，并且 G(D )的引进使得可 0，且 ICluC2l最小 。由于 C1≠C2，e1∈Cl—C2， 以通过探讨 G(D )的图论性质来研究矩阵 D 的 对某个 ∈Cnc：，据引理 1，有 c ∈c(M)，使 e 性质。 ∈C3 (CluC2)-f,。由假定 e2隹C1且 C1≠C3。 引理 1 (强极小圈消去公理) 设 C ，C：∈C。 C3 C1uC2一 ， ∈C1nC2，