Fuglede—Putnam定理的简单证明

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

布尔矩阵广义逆A－ω，A－d，A－ω

设Ａ是布尔矩阵，而矩阵Ｇ满足ＡＧＡ＝Ａ．（１）如果对所有Ａｘ＝ｙ的向量ｘ，ｙ．有ω（Ｇｙ）≤ω（ｘ）（＊）称Ｇ是Ａ的一个极小权ｇ－逆，表示为Ａ－ω．（２）如果对所有向量ｘ，ｙ，有ｄ（ＡＧｙ，ｙ）≤ｄ（Ａｘ，ｙ）（＊＊）称Ｇ是Ａ的最小距离ｇ－逆，表示为Ａ－ｄ．（３）如果（＊）和（＊＊）都成立，就称Ｇ是极小权最小距离ｇ－逆，表示为Ａ－ωｄ．本文研究这三类广义逆矩阵的最大逆的存在性及表示式．主要结果如下：假定对于矩阵Ａ．Ａ－ω，Ａ－ｄ，Ａ－ωｄ分别存在，那么．（１）存在最大Ａ－ω，当且仅当Ａ中设有两个相同的非零列，且最大Ａ－ω为Ａω＝［ＩＣＡＴ］Ｃ．（２）最大Ａ－ｄ存在，且为Ａｄ＝［ＡＴＡＣＡＴ＋ＡＴ（ＪＡＴ）Ｃ］Ｃ．（３）存在最大Ａ－ωｄ，当且仅当Ａ的所有非零列向量线性独立，且最大Ａ－ωｄ为Ａωｄ＝［ＡＴＡｃＡＴ＋ＡＴ（ＪＡＴ）ｃ＋（ＡＴＪ）ｃＡＴ］Ｃ．其中Ｊ为全１矩阵     

高等代数两个定理的证明

高等代数两个定理的证明曹重光（黑龙江大学数学系１５００８０）本文给出高等代数中两个重要定理的新的证明方法．它们是诸多教材和文献中尚未见到的（看［１］－［６］）．１行列式乘法定理设Ａ，Ｂ为数域Ｆ上两个ｎ阶方阵，则｜ＡＢ｜＝｜Ａ｜｜Ｂ证明设Ａ＝（ａｉｊ）...     

一个与G－分次环和G－集的Smash积有关的Maschke－Type定理

对任意群Ｇ，［１］研究了有单位元１的Ｇ－分次环与有限可迁Ｇ－集的Ｓｍａｓｈ积．在本文中，我们对任意可迁Ｇ－集Ａ讨论了具有局部单位元的Ｇ－分次环与Ｇ－集Ａ的Ｓｍａｓｈ积，证明了有关的一个Ｍａｓｃｈｋｅ－ｔｙＰｅ定理．推广了［２］［３］中的一些重要结果．     

按环路α-连对角占优阵及应用

１．引言与记号 利用矩阵的对角占优性研究矩阵的特征值分布和非奇Ｈ矩阵的判定,是数值代数的重要课题．［１］－［４］给出了利用 Ｏｓｔｒｏｗｓｋｉ定理及连对角占优性判定非奇 Ｈ－矩阵的最新成果．本文引入按环路α－连对角占优概念,给出了非奇Ｈ－矩阵的判定条件及等价表征,简化了计算,改进与推广了［１］－［９］的相应结果． 设Ａ＝．Γ（Ａ）表 Ａ的方向图,其顶点集及弧集分别记作 Ｖ（Ａ）及 Ｅ（Ａ）,ｅｉｊ表从顶点ｉ到顶点 ｊ的弧, Ｃ（Ａ）表 Γ（Ａ）中非平凡环路集合．对任意固定 α Ｅ［０,１］还记＊ｋ伪行、列足…     

恰有t行含对称正元的布尔方阵的幂敛指数的估值

设Ｄｎ，２（ｔ）为恰有ｔ行含对称正元的ｎ阶布尔方阵的集合，２≤ｔ≤ｎ。本文证明了，对于任给Ａ∈Ｄｎ，２（ｔ），幂敛指数ｋ（Ａ）≤∫（ｎ－ｔ－１）＾２＋１，３ｎ－ｔ－２，当ｔ≤ｎ－［３＋√８ｎ－７／２］当ｔ〉ｎ－［３＋√８ｎ－７／２］，这里［ｘ］表示不小于ｘ的最小整数。同时，我们还证明了这个界是可以达到的，并且对Ｄｎ，２（ｔ）的极矩阵集合作了部分刻划。     

双对称非负定阵一类逆特征值问题的最小二乘解

１．引言 逆特征值问题在工程中有广泛的应用,其研究已有一些很好的结果［１－５］．最近,文［６］还研究了双对称矩阵逆特征值问题,即研究了如下两个问题： 问题Ａ．已知Ｘ∈Ｒｎｘｍ,Ａ＝ｄｉａｇ（λ１…,λｍ）,求Ａ∈ＢＳＲｎｘｎ使 ＡＸ＝ＸＡ,其中 Ｒｎｘｍ表示全体 ｎ ｘ ｍ实矩阵集合, ＢＳＲｎｘｎ表示全体 ｎ ｘ ｎ双对称阵集合． 问题Ｂ．已知Ａ＊ＥＲｎｘｎ,求Ａ∈ＳＥ使 ｜｜Ａ＊－Ａ｜｜＝ ｉｎｆ ｜｜Ａ＊－Ａ｜｜ ＡＦＳＥ其中 ＳＥ是问题 Ａ的解集合,｜｜． ｜｜表示 Ｆｒｏｂｅｎｉｕｓ范数． 在实际问题中, …     

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

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

论优化问题的公理方法（Ⅲ）

在建立了可交换半群｛Ω，｝上的簇Ｆ及其上的第一类优化算子＊概念之后，得到本文主要结果定理４和定理５。然后证明了首Ｎ阶优化算子，非劣算子以及摹多项式簇上的算子［１，２］都是第一类优化算子，与它们相关的优化集合簇Ｎ－ＴＨ，ＰＡＲＥＴＯ及ＥＳＳＥＮＣＥ都是广义优选半域。让它们赋值于多阶段有向图上，它们都服从于嘉量原理     

欧氏空间中的变换和线性变换

欧氏空间中的变换和线性变换郝秀梅，杨子胥（山东财政学院数学系２５００１４）文［１］、［２］讨论了欧氏空间中几类与内积相关联的变换必为线性变换，本文不仅推广了该二文的全部定理，而且刻划了文［１］定理１的变换Ｔ．定理１设Ｔ是欧氏空间Ｖ的一个变换．如果存在...     

单峰函数中具有指定的型的终于周期轨道的存在性

本文给出了捏制序列为ＢＣ的单峰函数具有ＢＣ＊Ｌ￣∞型周期轨道的几个充分条件。在此基础上，本文进一步讨论了一般的单峰函数ｆ中的终于周期轨道的存在性问题，证明了只要ｋ阶的终于ｎ－周期容许序列ＡＢ￣∞满足一定的要求，ｆ中就存在着ＡＢ￣∞型的ｋ阶终于ｎ－周期轨道。对广泛的一类单峰函数，本文减弱和简化了文献［１］的ＰａｒｔⅡ．３的主要定理的条件并加强了它的结论。对更一般的连续函数，本文亦充实了文献［８］的定理２的结论。     

Clifforrd分析中广义双正则函数的(线性)非线性边值问题

本文研究Ｃｌｉｆｏｒｄ分析中广义双正则函数的一个非线性边值问题：Ａ（ｔ１，ｔ２）Ｗ＋＋（ｔ１，ｔ２）＋Ｂ（ｔ１，ｔ２）Ｗ＋－（ｔ１，ｔ２）＋Ｃ（ｔ１，ｔ２）Ｗ－＋（ｔ１，ｔ２）＋Ｄ（ｔ１，ｔ２）Ｗ－－（ｔ１，ｔ２）＝ｇ（ｔ１，ｔ２）ｆｔ１，ｔ２，Ｗ＋＋（ｔ１，ｔ２），Ｗ＋－（ｔ１，ｔ２），Ｗ－＋（ｔ１，ｔ２），Ｗ－－（ｔ１，ｔ２）［］．先讨论解的积分表示式，再研究几个奇异算子，最后用Ｓｃｈａｕｄｅｒ不动点原理（压缩映射定理）证明了解的存在性（唯一性）．目前还没有见到其它国内外学者研究广义双正则函数的非线性边值问题．本文推广了Ｆ．Ｂｒａｃｋｓ，Ｗ．Ｐｉｎｃｋｅｔ［１０］，ＬｅＨｕａｎｇ Ｓｏｎ［１１］，Ｒ．Ｐ．ＧｉｌｂｅｒｔａｎｄＪ．Ｌ．Ｂｕｃｈｎａｎ［１５］和黄沙［１３］的工作     

关于P－局部群系的临界性问题

本文利用文献［１］定义的超中心，给出了户ｐ－局部群系临界性问题的结构。利用该结构将文献［２］的一些结果推广到一般的ｐ－局部群系式上，从而使Ｉｔ６定理［３］和Ｂｕｃｋｌｅｙ定理［３］成为本文定理２．２和定理２．３的特殊情况。本文还利用Ｓ－拟正规的概念［３］，将Ｉｔ６定理和Ｂｕｃｋｌｅｙ定理推广到一般的ｐ－局部群系上。     

关于三角形中一个不等式的证明

关于三角形中一个不等式的证明尹华焱（湘潭锰矿４１１２０２）文［１］给出了若干三角形三内角函数的不等式的加强，其中命题２是：在△ＡＢＣ中，ｃｓｃＡ２·ｃｓｃＢ２≥２２－２０ｒＲ①本文将指出文［１］对①的证明是错的，同时我们试图给出①式的一个证明．我们...     

关于点可数覆盖

本文证明了（１）具有点可数基空间的商ｓ－像Ｘ有点可数基的充要条件是Ｘ是ｑ－空间；（２）度量空间的伪开ｓ－像若满足条件（＊），则它在伪开ｓ－映射下是保持的，（３）给出反例否定地回答了［１］和［２］中的问题．     

模糊集单调型分解定理

模糊集的分解集定理有两种形式，第一种形式与模糊集的λ—截集有关：Ａ＝其中Ａ＿λ是的λ—截集￣［１］．第二种形式与集合套有关：其中Ｈ（λ）为集合套￣［２］或者Ａ＝其中Ｈ（λ）为集合套，Ｑ为（０，１）的可列稠密子集＿［３］，．其实，这两种形式在本文提出的基本模糊集的概念下，可以统一起来成为任何模糊集可以分解为一些（可数或不可数）基本模糊集的和。不仅如此，本文还提出简单模糊集的概念，并证明了任何模糊集都可以表示成为可数个单调上升的简单模糊集的和，或等价地，可以表示成可数个单调上升的简单模糊集的极限，所用的证明方法是构造性的，所以对模糊集的结构也得出了一个清晰的认识．     

二次幂平均轨迹的极坐标求法

问题 如图１,过定　Ｑ外的定点Ｐ作　Ｑ的切线ＰＴ１、ＰＴ２,Ｔ１、Ｔ２。是切点．ＰＡＢ是　Ｑ的任一割线,点Ｍ在ＡＢ上,且ＰＭ＝　（ＰＡ～２＋ＰＢ～２）,求点Ｍ的轨迹． 文［１］猜测点Ｍ的轨迹是经过Ｔ１、Ｔ２ 的一段圆弧,文［２］、［３］通过建立直角坐标系求出其方程后发现,点Ｍ的轨迹经过Ｔ１、Ｔ２两点,但不是一条圆弧,本文将借助极坐标系给出点Ｍ轨迹的一种简便求法,供参考． 解 以点Ｐ为极点,射线ＰＱ为极轴建立如图１所示的极坐标系．设Ｑ（ｔ,０）,Ｑ半径为ｒＪ（ＰＩ,的Ｓ（尸;,们,＊（Ｐ,８）,连ＡＱ…     

平面封闭折线中的射影定理,正弦定理和余弦定理

本文将三角形的射影定理、正弦定理和余弦定理，拓广到平面封闭折线中，从而揭示其基本元素——边与折角之间的恒等关系．文中的有关概念（如折角、顶角），可参阅［１］［２］文．定理设ｎ边平面封闭折线Ａ１Ａ２…Ａｎ的边长为｜Ａ１Ａ２｜＝ａ１，｜Ａ２Ａ３｜＝ａ２，...     

关于“华罗庚-王中烈型不等式”一文的注记

指出了［１］的定理２中的一个错误,推广了［１］中定理１给出的华罗庚－王中烈型不等式,避开控制不等式与动态规划模型等专门工具,改用较为初等的平均值不等式证明之,使改正后的［１］中的定理２成其推论     

算法的发现(IV)——论组合优化的特性清单

组合优化问题的定义［１］是定义１问题ＸＹＺ是指：对于每一个π（１）－集合Ｓ，从其诸π（２）－子集合中找出π（３）－（优）集合Ｓ＊．本文直接从它出发，§§２－５讨论诸π（ｉ）－集合（ｉ＝１，２，３）的某基本特性（ｐｒｏｐｅｒｔｙ），公理（ｐｏｓ－ｔｕｌａｔｅ），或者特殊情形（ｐａｒｔｉｃｕｌａｒｃａｓｅ）．列出了一个清单ＰＰＰ，叫做特性清单．它远非完善，但已经可以用来讨论不少问题．§６起简单地讨论若干个子清单，所对应的问题类，并讨论求解它们的一些方法．