布尔矩阵空间及正则布尔矩阵的g－逆线性空间

研究了布尔矩阵空间和正则布尔矩阵的ｇ－逆线性空间的一些性质。在此基础上，给出了正则布尔矩阵的ｇ－逆集的另一个表示法。进而，提出了正则布尔矩阵的特征矩阵概念，通过特征矩阵可以表征一个正则布尔矩阵的极小ｇ－逆集、主ｇ－逆和ｇ－逆线性空间的一些重要性质。     

布尔矩阵的极小g—逆和g—逆集的一个表示法

提出了布尔矩阵的极小ｇ－逆（广义逆）的概念，给出了求正则布尔矩阵的极小ｇ－逆集的一个算汉和极小ｇ－逆个数的计算公式。根据ｇ－逆界定理，一个正则布尔矩阵Ａ的全部ｇ－逆可以通过Ａ的极小ｇ－逆集和最大ｇ－逆表示出来。     

布尔矩阵的极小合g－逆和g－逆集的一个表示法

提出了布尔矩阵的极小ｇ－逆（广义逆）的概念，给出了求正则布尔矩阵的极小ｇ－逆集的一个算法和极小ｇ－逆个数的计算公式。根据ｇ－逆界定理，一个正则布尔矩阵Ａ的全部ｇ－逆可以通过Ａ的极小ｇ－逆集和最大ｇ－逆表示出来。     

各种布尔矩阵最大广义逆

设Ａ是布尔矩阵，依据４个性质、ＡＧＡ＝Ａ，ＧＡＧ＝Ｇ、（ＧＡ）￣Ｔ＝ＧＡ、（ＡＧ）￣Ｔ＝ＡＧ的不同组合，定义了五种广义逆Ａ￣－、Ａｒ￣－、Ａ＿ｍ￣－、Ａ＿ｌ￣－、Ａ￣＋，这里Ｇ是布尔矩阵．本文中，我们证明了，如果Ａ￣－、Ａｒ￣－、Ａｍ￣－、Ａ＿ｌ￣－、Ａ￣＋，存在，那么它们一定有最大广义逆，其表示分别为（Ａ￣ＴＡ￣ＣＡ￣Ｔ）￣Ｃ、（Ａ￣ＴＡ￣ＣＡ￣Ｔ）￣ＣＡ（Ａ￣ＴＡ￣ＣＡ￣Ｔ）￣Ｃ、（Ａ￣（ＴＣ）ＡＡ￣Ｔ）￣Ｃ、（Ａ￣ＴＡＡ￣（ＴＣ））￣Ｃ、Ａ￣Ｔ．     

广义循环布尔矩阵三明治半群的正则元

设B={0,1}是二元布尔代数,Cn(r)是B上所有n阶r—循环矩阵组成之集,Gn=∪n-1r=0Cn(r),则Gn对二元布尔矩阵的乘法构成一个半群,称它为广义循环布尔矩阵半群.对于半群Gn中任一个固定的非零c—循环矩阵C,在Gn中定义一个新的运算“”如下:A,B∈Gn,AB=ACB.则(Gn,)也构成一个半群,称(Gn,)为(带有三明治矩阵C)的广义循环布尔矩阵三明治半群,并记为Gn(C).本研究刻画了半群Gn(C)中的所有正则元,并且给出求Gn(C)中每一个正则元的所有g-逆的一个方法.     

关于一类逻辑关系方程的解及布尔矩阵的逆

本文利用我在“逻辑关系方程的一种解法和有解条件”一文中所给出的逻辑关系方程的解法,讨论形式为A▽(x_1 x_2…x_n)=(0…0—0…0)(i)… (1)这样一类逻辑关系方程的解与布尔系数矩阵A之间的某些关系,并利用所得的结论,给出一种新证法证明了一个n×n的布尔矩阵A可逆的充分必要条件为A是置换矩阵,且A~(-1)=A~T.     

关于布尔矩阵行空间的基数

设Ｂｎ表示所有的ｎ阶布尔矩阵的集合,Ｒ（Ａ）表示Ａ∈Ｂｎ的行空间,｜Ｒ（Ａ）｜表示Ｒ（Ａ）的基数,本文证明了：（１）对任意整数Ｓ,０≤ｓ≤ｎ－５（ｎ≥）,存在Ａ∈Ｂｎ,     

矩阵空间上—类线性映射的刻划

本文给出Ｍｎ（Ｆ）中满足条件（δ（Ａ）＝（δ（Ａ））的非零线性映射的刻划，这里Ａ表示Ａ的伴随矩阵。     

关于布尔矩阵的加权Moore-Penrose逆

讨论布尔矩阵的加权Moore-Penrose逆,给出了布尔矩阵的加权Moore-Penrose逆存在的一些充分必要条件以及布尔矩阵的加权Moore-Penrose逆的一些刻画和性质,特别,得到了当布尔矩阵A的加权Moore-Penrose逆存在时,A的加权Moore-Penrose逆是唯一的,并且当权矩阵大于等于单位矩阵时A的加权Moore-Penrose逆正好等于A的转置矩阵。     

一些特殊结构的布尔矩阵行空间基数

设Bm×n是所有m×n布尔矩阵的集合,R(A)为A∈Bn的行空间,|R(A)|表示行空间R(A)的基数,m,n是正整数,k为非负整数.证明了如下3个结果:(1) 设A∈Bm×n,m,(ⅰ) 如果A是幂等矩阵,即A2=A,那么|R(Am)|=|R(A)| ;(ⅱ) 如果A是对合矩阵,即A2=I,那么当m是奇数时,|R(Am)|=|R(A)|,当m是偶数时|R(A)|=2n.(2) 设A∈Bm×n,A含1的元素个数为k,0≤k≤min{m,n},且A的每行每列元素中1的元素个数最多为1,那么|R(A)|=2k.(3) 若A∈Bm×n是形如A=(O OO A1)的分块矩阵,A1=(aij)k×k,aij=0(i>j),aij=1(i≤j),i,j=1,2,…,k,则|R(A)|=k+1.     

幂等布尔矩阵及布尔矩阵平方根的图论性质

从图论的角度,对幂等布尔矩阵的判断方法给出更为简捷的证明,同时完善从布尔矩阵的已知平方根构造新的平方根的方法.     

拓扑线性空间的矩阵基本定理及应用

把赋范线性空间的矩阵基本定理推广到了拓扑线性空间，利用它证明了泛函分析的两个重要结果。     

矩阵空间上一类线性映射的刻划

本文给出Ｍｎ（Ｆ）中满足条件（δ（Ａ）＝（δ（Ａ））的非零线性映射的刻划，这里Ａ表示Ａ的伴随矩阵。     

点正则的线性空间与射影平面

设S＝（P，L）是点正则的阶为t≥2的空间，即为过每点有t＋1条线的线性空间，|P|＝v＝t2＋t,L＝b＝v＋1，并设|Vi－Vi|≤1，max{V1……Vb,}＝t＋1，则线性空间S必为穿孔的射影平面；反之，t≥2阶射影平面的穿孔必为点正则的阶为t的线性空间，而且|P|＝v＝t2＋t，|L|＝v＋1，|vi－vj|≤1，max{Vi}＝t＋1     

保持二元布尔半环上矩阵的传递闭包的线性算子

研究保持二元布尔半环上矩阵的传递闭包的线性算子,给出保持传递闭包的可逆线性算子的刻画,并证明当矩阵的阶n≥2时,强保持传递闭包的线性算子一定是可逆的。     

布尔矩阵g-逆的求法

本文给出了布尔矩阵的最大ｇ－逆的构造性算法,极小ｇ－逆的简易算法及其人证明,从而可以简捷算出布尔矩阵的全部ｇ－逆。     

有限域上矩阵广义逆在线性空间上的反映

本文从线性空间与线性变换的关系上给出了有限域上矩阵各种类型广义逆存在的充分必要条件     

一种求布尔矩阵全体广义逆的新算法

本文从K.J.Plemmous在文[1]提出的布尔矩阵广义逆的定义出发,给出一个通过较少运算步骤就能判定一个布尔矩阵是否有广义逆,以及当有广义逆时,快速求出其全部广义逆的算法。     

矩阵空间上一些线性保持算子的特征

矩阵空间上一些线性保持算子的特征雷天刚（北京师范大学数学系，１００８７５，北京；３３岁，男，博士生）关键词线性算子，矩阵空间，张量积分类号Ｏ１５１．２１矩阵空间上各种线性保持算子问题已经被广泛研究［１］．本文利用矩阵张量积刻画了保持几类特殊矩阵和保持...