Hyperabelian群的Abel子群

本文利用Ｄｉｒｉｃｈｌｅｔ单位定理证明了：设Ｇ是个Ｈｙｐｅｒａｂｅｌｉａｎ群．若Ｇ的亏数２的次正规Ａｂｅｌ子群都是有限生成的，则Ｇ是个多重循环群，且Ｇ的Ｈｉｒｓｃｈ数ｈ（Ｇ）ｎ２＋ｎ，其中ｎ是Ｇ的亏数２的次正规Ａｂｅｌ子群的最大０－秩．这个定理进一步推广了Ｍａｌｃ＇ｅｖ关于多重循环群的著名工作［５］．     

本质正规算子的迹类算子扰动

本文利用ＢＤＦ定理以及构造技巧证明了关于本质正规算子的Ｐｅａｒｃｙ－Ｓａｌｉｎａｓ定理．作为此定理的应用，证明了本质正规算子可以通过迹类算子的小扰动成为不可约算子．     

Banach空间中渐近正则的Lipschitz半群的不动点定理

本文首先定义了渐近正则的Ｌｉｐｓｃｈｉｔｚ半群的概念．其次，证明了ｐ一致凸Ｂａｎａｃｈ空间中渐近正则的Ｌｉｐｓｃｈｉｔｚ半群的不动点定理．同时也证明了具有正规结构系数的一致凸Ｅａｎａｃｈ空间中的渐近正则的Ｌｉｐｓｃｈｉｔｚ半群的一个新的不动点定理．     

关于正规Boole矩阵行空间的基数

称Ｂｏｏｌｅ矩阵Ａ是正规的，是指Ａ的行秩与列秩相等．本文主要得到两个结果．第一，推广了Ｊ．Ｋｏｎｉｅｃｚｎｙ在ＳｅｍｉｇｒｏｕｐＦｏｒｕｍ，ｖｏｌ．４４（１９９２）发表的论文Ｏｎｃａｒｄｉｎａ－ｌｉｔｉｅｓｏｆｒｏｗｓｐａｃｅｏｆＢｏｏｌｅａｎｍａｔｒｉｃｅｓ的主要结果．第二，若ｎ阶Ｂｏｏｌｅ矩阵的行空间基数大于２￣（ｎ－２）－２，则Ａ必是正规的．     

Fuglede—Putnam定理的简单证明

Ｆｕｇｌｅｄｅ──Ｐｕｔｎａｍ定理的简单证明陈寅（河海大学数理系２１００２４）复矩阵Ａ称为正规矩阵，如Ａ＊Ａ＝ＡＡ＊，这里Ａ＊为Ａ的共轭转置，关于正规矩阵的最重要的结论之一是Ｆｕｇｌｅｄｅ－Ｐｕｔｎａｍ定理，［１，５３８－５４２］给出了这个定理的证明...     

用矩阵方程证明Fuglede－Putnam定理

用矩阵方程证明Ｆｕｇｌｅｄｅ－Ｐｕｔｎａｍ定理贾利新（北京师范大学数学系９３级研究生）本文利用矩阵方程的方法，较为简单地证明了Ｆｕｇｌｅｄｅ－Ｐｕｔｎａｍ定理及［２］中所有结论，定义１复方阵Ａ称为正规矩阵，如果ＡＡ＝ＡＡ．这里Ａ为人的共轭转ｌ置．定义...     

利用初等变换求解线性矩阵方程

本文给出了一般线性矩阵方程ＡｍｎＸｎｓ＝Ｂｍｓ，ＸｍｎＡｎｓ＝Ｂｍｓ，ＡｍｎＸｎｓＢｓｔ＝Ｃｍｔ的解的结构定理，并介绍了一种利用初等变换求解上述三类线性矩阵方程的方法．     

一个简单定理的两个应用

一个简单定理的两个应用５６２１００贵州普定县教研室廖炳江在三角形中存在着如下一个简单而有用的定理：ｂＡＢＣ中，设ＢＣ＝ａ，ＡＣ＝ｂ，ＡＢ一ｃ，则有：Ａ－ａ．Ｂ－ｂｓｉｎ？ＣＭＭ．ｓｉｎ４ａｔ＝＝．一２—ｂ十ｃ’一２、ａ＋ｃ’ｃ－ｃｓＺｎ；５一二一Ｔ．...     

一类2阶边值问题的分歧点

本文考虑以下２阶边值问题：其中．在关于Ａ，Ｂ；Ｐ，Ｑ，ｆ的一定条件下，证明了以上问题存在分歧点．所用的主要工具是Ｋｒａｓｎｏｓｅｌｓｋｉｉ的局部分歧定理与ＫｒｅｉｎＲｕｔｍａｎ定理．     

关于Aronszajn—Gagliardo定理的推广

关于Ａｒｏｎｓｚａｊｎ—Ｇａｇｌｉａｒｄｏ定理的推广刘鹤年，陈明明（本溪大学基础部．本溪１１７０２２）（抚顺石油学院，抚顺１２１００３）本文以专著【门为基础．将Ａｒｏｎ。。ｉｎ—Ｇ；ｌｓｌｉａｒｄｏ定理中的条件适当减弱，得到相应的结论，这就是本文定理...     

三角形广义正弦定理的统一形式

文 [1 ]、[2 ]分别类似于三角形的正弦定理 ,给出了一系列等式 ,并分别称之为“类正弦定理”和“广义正弦定理” .本文试就一般情形 ,利用正弦定理给出了三角形广义正弦定理 (或类正弦定理 )的统一形式 ,作为其特殊情况 ,我们得到了文 [1 ]、[2 ]中的主要结果 .定理　在△ＡＢＣ中 ,设Ａ′、Ｂ′、Ｃ′分别为边ＢＣ、ＣＡ、ＡＢ上的点 ,△ＡＢＣ的外接圆半径为Ｒ ,λ1、λ2 、λ3∈ [0 ,1 ],则有ＡＡ′ｓｉｎＢｓｉｎＣｃｓｃ(λ1Ａ +Ｂ) =ＢＢ′ｓｉｎＣｓｉｎＡｃｓｃ(λ2 Ｂ +Ｃ)= ＣＣ′ｓｉｎＡｓｉｎＢｃｓｃ(λ3Ｃ +Ａ) =2Ｒ (1 )或…     

关于正规Boole矩阵行空间的的基数

称Ｂｏｏｌｅ矩阵Ａ是正规是，是指Ａ的行秩与列秩相等。本文主要得到两个结果。第一，推广了Ｊ．Ｋｏｎｉｅｃｚｎｙ在Ｓｅｍｉｇｒｏｕｐ ｆＯＲＵＭ，ｖｏｌ．４４（１９９２）发表的论文Ｏｎ ｃａｒｄｉｎａｌｉｔｉｅｓ ｏｆ ｒｏｗ ｓｐａｃｅ ｏｆ Ｂｏｏｌｅａｎ ｍａｔｒｉｃｅｓ的重要结果。第二，若ｎ阶Ｂｏｏｌｅ矩阵的行空间基数大于２＾ｎ－１－２，则Ａ必是正规的。     

一类有趣的三角不等式

最近,本文作者通过研究、探索,发现了一类新颖、奇特的三角不等式．定理１在△ＡＢＣ中,有ｃｏｓ２Ａ＋ｃｏｓＢ＋ｃｏｓＣ＞３４．（１）证∵ｃｏｓＢ－Ｃ２－ｓｉｎＡ２＝２ｓｉｎＢ２ｓｉｎＣ２＞０,∴ｃｏｓＢ－Ｃ２＞ｓｉｎＡ２,∴ｃｏｓ２Ａ＋ｃｏｓＢ＋ｃｏｓ...     

关于Brualdi谱包含域的一点注记

关于矩阵的谱包含域的研究是矩阵分析领域中具有重要意义及广泛应用价值的课题．经典的结果有 Ｇｅｒｓｃｈｇｏｒｉｎ圆盘域, Ｃａｓｓｉｎｉ卵形域［１］． Ｂｒｕａｌｄｉ于 １９８２年按环路给出了新的诸包含域．这一阶段性成果改进了经典的圆盘域及卵形域［２,３］．但没有讨论到特征值的排除问题．本文在［２］的基础上给出了特征值的排除定理,改进了经典的Ｇｅｒｓｃｈｇｏｒｉｎ圆盘域及Ｃａｓｓｉｎｉ卵形域之排除定理． 在本文中,我们记全体ｎ阶复方阵的集合为Ｃ（Ａ）表Ａ＝（ａｉｊ）Ｃ的谱,即特征值集合．Ａ的方向图记作…     

Menelaus定理的推广及应用

Ｍｅｎｅｌａｕｓ定理的推广及应用胡耀宗，孙斌（湖南益阳师专４１３０４９）众所周知，一直线截△ＡＢＣ的边ＡＢ、ＢＣ、ＣＡ或其延长线于Ｐ、Ｅ、Ｆ，则这就是著名的Ｍｅｎｅｌａｕｓ（梅涅劳斯）定理．这定理可以推广。命题一若一直线ｌ截首尾相接的平面折线ＡＢＣＤ...     

再谈“广义三角形角的关系及应用”

文 [1]从三角形中的正、余弦定理的角度出发 ,将余弦定理ａ2 =ｂ2 +ｃ2 - 2ｂｃｃｏｓＡ和正弦定理 ａｓｉｎＡ= ｂｓｉｎＢ=ｃｓｉｎＣ=2Ｒ结合得 :定理 1　在△ＡＢＣ中 ,ｓｉｎ2 Ａ =ｓｉｎ2 Ｂ +ｓｉｎ2 Ｃ -2ｓｉｎＢｓｉｎＣｃｏｓＡ .并将其推广到广义三角形中 ,即得 :定理 1′　若∠Ａ +∠Ｂ +∠Ｃ =π ,则ｓｉｎ2 Ｂ +ｓｉｎ2 Ｃ - 2ｓｉｎＢｓｉｎＣｃｏｓＡ =ｓｉｎ2 Ａ .定理 1称为三角函数形式余弦定理 ,它揭示了三角形内角的关系 .定理 1′称为广义三角函数形式余弦定理 ,它揭示了广义三角形内角的关系 .在教学中 ,笔者曾对课…     

关于Levesque的信念逻辑的完备性

Ｈ．Ｊ．Ｌｅｖｅｓｑｕｅ最近为了研究非单调推理提出了含有两个模态词Ｂ，Ｎ的信念逻辑系统，并猜想它是完备的．本文提出了Ｔ~＊－集合的概念，并证明一句子集合如果是Ｔ~＊－集合，那么是可满足的．本文的定理是［１］中定理Ａ２的推广．并得到［１］中定理Ａ．２的一个简单的证明．     

量词模态逻辑的代数语义学（Ⅲ）──关于不含Barcan公式的正规模态系统的情形

本文首先讨论嵌套论域语义的相应代数语义并由Ｈｕｇｈｅｓ和Ｃｒｅｓｓｗｅｌｌ在［５］中建立的关于具有嵌套论域的正规量词模态系统的关系语义完全性定理推出其相应的代数语义完全性定理：然后对于具有任意可变论域语义的正规系统，我们用Ｈｅｎｋｉｎ方法给出其关于狭义Ｋｒｉｐｋｅ语义的关系语义完全性定理，由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。     

H—空间的覆盖性质及其应用

我们得到了Ｈ－空间闭（开）覆盖性质的几个定理，改进和推广了Ｓｐｅｒｎｅｒ，Ｋｌｅｅ，Ａｌｅｘａｎｄｒｏｆｆ－Ｐａｓｙｎｋｏｆｆ，Ｂｅｒｇｅ，Ｇｈｏｕｉｌａ－Ｈｏｕｒｉ，Ｄａｎｚｅｒ－Ｇｒｕｎｂａｕｍ－Ｋｌｅｅ，Ｋｙ Ｆａｎ，ｓｈｉｈ－Ｔａｎ，Ｈｏｒｖａｔｈ和Ｌａｓｓｏｎｄｅ等人的相应结果。作为应用，我们对ｌ．ｃ．－空间内的下半连续集值映象证明了一个几站不动点定理并且推广吉洪诺夫不动点定理到ｌ．ｃ．     

幂零群的若干充分条件

本文利用Ｃ－正规子群的性质，得到了若干有限群为幂零群的充分条件，推广了一些著名定理，如Ｔｈｏｍｐｓｏｎ定理及Ｉｔ＾ｏ定理。