偏序集高斯广义拟阵及其性质.pdfVIP

2008年9月 渭南师范学院学报 Sept．2008 JournalofWeinanTeachers V01．23No．5 第23卷第5期 University 偏序集高斯广义拟阵及其性质 李尧龙，张郭军，赵维，谢鹏 (渭南师范学院计算机科学系，陕西渭南714000) 摘要：定义了偏序集广义拟阵并给出了偏序集广义拟阵的等价刻画，得到了偏序集广义拟阵基的性质．通过对偏序 集高斯广义拟阵的结构分析，由偏序集高斯结构得到了偏序集高斯广义拟阵的性质，并且给出了偏序集高斯广义拟阵的一 个等价刻画． 关键词：广义拟阵；偏序集广义拟阵；高斯广义拟阵；基 中图分类号：0157 文献标志码：A 文章编号：1009--5128(2008)05删3—04 收稿日期：2008—03—14 作者简介：李尧龙(1970一)，男，陕西渭南人，渭南师范学院计算机科学系副教授，理学博士；张郭军(1965一)，男，陕西 渭南人，渭南师范学院计算机科学系教授，工学硕士． 0引言及预备知识 阵自提出后得到迅猛的发展，随即出现了大量研究广义拟阵的论文．与其他数学学科的结合产生了多种广 广义拟阵不仅是拟阵和反拟阵的拓广，而且还广泛地覆盖了大量其他组合结构．广义拟阵理论有着十分丰 拟阵与投射几何、组合概型、布尔代数有密切联系，并且对偏序集拟阵在公理系统方面进行了详细的讨论． 可以说偏序集拟阵是拟阵理论在偏序集上的自然推广． 随着广义拟阵理论的完善与发展，人们自然会想到，能不能将广义拟阵的底集由偏序集替代而产生偏 序集广义拟阵?与偏序集拟阵类似，偏序集广义拟阵也是广义拟阵理论在偏序集上的自然推广，以前只有 一些不明确的，零星的例子和结论存在于广义拟阵理之中¨t2】．本文研究一种特殊的偏序集广义拟阵—— 偏序集高斯广义拟阵．解决系统方程的高斯算法产生了高斯广义拟阵ujl．高斯广义拟阵是非常重要的一 种广义拟阵，它与交换系统、矩阵论等有十分密切的关系，本文研究偏序集高斯广义拟阵及其性质，并得到 了偏序集高斯广义拟阵的一个等价刻画． 定义1f61 设P为一个偏序集，若A￡P，茹，Y∈P，，，≤茗且，，∈A，则有名EA成立，则称A为P的一个滤 B，有，，仨B成立，则称B为P -y(filter)．P中滤子的全体记为，(P)．对偶地，若B￡P，茗，，，EP，，，≤石且茹E 的一个理想(ideal)．以N记所有自然数的集合．． 如果A∈F(P)，且石是A中的极小元，，，是尸一A中的极大元，则A一{菇}E，(尸)，Au{Y}∈F(P)．对 E 偏序集P中任意两点菇，y，茹≤弘记[聋，，，]={z 定义2【61设￡是一偏序集，若￡中任意两个元均有上确界和下确界，则称￡是一个格．若Vx∈￡， infX和supX均属于￡，则称二是完备格． 定义3H1设P是一个偏序集，口∈F(P)满足以下条件： (1)卢≠咖． (2)V曰l，B2∈届，有曰l岱B2． E (3)VBl，B2∈厣，X，y∈F(P)满足X∈Bl，B2∈y，xgy，则必有BE卢使得x∈曰E 则称卢为一个偏序集拟阵．口中的元素称为基．并且基的基数相等． · 定义4¨1 ： 设E是一个有限集，若FS22满足以下条件： 万方数据 ·4· 李尧龙，等：偏序集高斯广义拟阵及其性质 第23卷 (1)若非空集合X∈F，则存在茗eX，使X＼x∈只 F且IXII YE只