相关系的子相关系.pdfVIP

第42卷第16期 数学的实践与认识 Vol|42．NO．16 2012年8月 MATHEMATICSINPRACT[CEANDTHEORY Aug．，2012 相关系的子相关系 马淑云，徐少贤 (南阳师范学院数-9-9统计学院，河南南阳473061) 摘要：在相关系概念的基础上，建立了相关系的子相关系，并进行了初步探究，得 到了子相关系的若干性质． 关键词：生成集；相关系；子相关系；基 相关关系是泛代数中的一个重要概念，它是线性代数中线性相关这一概念在抽象集合上 的推广．相关系是带有相关关系的集合，研究相关系主要是研究定义在一个集合的子集合上 的抽象相关关系．具有这种关系的例子可以在不同的数学分支中找到，例如在线性代数中，一 个线性空间中向量子集合所具有的线性相关关系；又如在图论中，一个图中由边集合生成有 拟阵是近几十年蓬勃发展起来的离散数学的一个分支，它广泛应用于组合优化、计算机及其 他一些领域．文[1]已给出了相关系的一些基本概念．文[2】中证明了相关系的三种定义的等 价性．文f31中证明了任意一个非空集合只要有一种相关关系，就存在基，且关于这个相关关 系的任何两个基的维数相等．文[4-5]中建立了相关系间的相关映射，连续映射，闭映射，同构 映射等概念，得到了相关映射基本定理．我们知道，线性代数中的子空间在线性空间理论中占 有重要地位，替换定理、维数定理等许多重要的定理都是建立在此基础之上的．本文主要建 立j：日关系的子相关系概念，并对子相关系进行了初步研究，得到了它的若干性质． 1 预备知识 下面我们列出与本文有关的一些定义和引理以及一些相应的结论，文中未提及的符号、 概念及结论均参考文f1-6]． 生成关系，若9满足 7∈9” (顿垦s)“X∈勿错0三X瞰c_lX。。X 当X∈勿时，称x是相关集，否则称x是无关集． x 7∈x，X7g9，使得x7 收稿日期：2011—03—22 214 数学的实践与认识 42卷 是s(9)的基，若(X)=S且xg9． n u 则存在y7∈y使得xY7=西，xy是S的一个基． 定理1．2【1】令S(9)是一相关系。则以下两条成立： 2)S(叨)的所有基有相同的势． 我们把s(够)的基的势称为s(勿)的维数，记为dimS(9)． 容易得到下面的命题 命题1．2令s(9)是一相关系．则(0)={z∈S1{z)∈9)． 命题1．3令s(9)是一个相关系，x∈S．则 X∈9{令(jz∈。x)z∈(X＼{z}) 定义1．2令S(9)是一相关系，C∈S。若C∈切，且任意C’cC有C’g9，则称c是 s(9)的极小相关集．s(9)的所有极小相关集的集合记为c． 命题1．4令s(9)是一个相关系，x∈S．则 ‘ X∈9{=令(3C∈c)C∈x 证明“乍”依定义1．2，显然． C C 若关于任意Y x1，有Yg切，则X1∈c，取C=X1．否则，存在X2x1，X2∈9，于 C…C 得五∈9，且任意YC五，Yg9．从而Xi∈c，且五C咒一1 x1∈X．因此，取 C=Xi．于是有C∈C且C∈X． 定义1．3令s(9)是一相关系，X 有闭集的集合记为吸． 命题1．5令s(9)是一相关系．若x∈S，则(X)∈91，S∈9．1． S=(x)，于是S∈吸． 2子相关系及简单性质 我们首先给出相关系中的一个重要结论． 系．