非线性全连续算子的正不动点和正固有元及其运用

本文,先将[1]P326的引理4.9和引理4.10的条件,用一个简单而又便于应用的等价条件来代替,得到用算子A的导算子A′_+(θ)及A′_+(∞)的谱半径ρ(A′_+(θ)),ρ(A′_+(∞))的值判定不动点指数是否为0的基本结果,并给出它的一个新的证明;然后将它们与其他已知的一种计算不动点指数的方法结合起来,便可产生新的不动点定理;最后,用这些不动点定理来证明一个微分方程的两点边值问题的多解定理及固有值存在性定理。     

关于凸集的两个必充条件

本文是在[1]中P.10的引理和定理的基础上提出的凸集的两个必充条件。文中的定理2的必要性也是[1]中P.10定理的推广。定义1 设A为线性空间X的一个子集。A关于X的柱心记为cor(A)。它是由A中所有满足下列条件的点a所构成: 对任一yex\{a},存在bε(a、y)使[a,b](?)A。如果A=cor(A),则称A为代数开。如果x(?)cor(A)且x(?)cor(X\A),则称x为     

一些区组设计的E最优性

利用 Rayleigh 商,我们建立了任一区组设计品种效应的信息阵的最小非0特征根所满足的一些不等式.以它们为工具,我们得到了一些添加的区组设计的 E 最优性,本文的结果削弱了[1]中定理的条件,证明也更加简洁。     

分块矩阵(A_(11) A_(12) A(21) A_(22))为M-阵的特性

本文考察了形如:A=( A_(11) A_(12) A= A_(21) A_(22))的分块矩阵,得到了A为M-阵的一个充要条件(即定理1),改进并推广了[1]中有关结果,同时还给出[4]中主要引理的一个初等证明(即定理2),并对该引理作了相应的推广(即定理3)。     

Philipp-Stout定理的补证

在文献[1]中W.Philipp和W.Stout得到了用正则布朗运动来逼近高氏序列的很好的结果(见[1]中定理5.1)。在该定理的证明中用到了重要引理5.3.1。可是此引理的叙述和证明都是错误的。本文给出此引理的正确叙述及其证明,从而完成了[1]中定理5.1的证明。 [1]中引理5.3.1的叙述和证明中均未提及随机变量序列{X_n}_(n=1)~∞是高氏序列。今举     

关于(dy)/(dx)=(λx~5+sum from 1 to 5a_iy~ix~(n-i))/(-y~5+sum from 0 to 4b_iy~ix~(n-i))的积分曲线

记所论微分方程为(E_λ)_5,本文继续文[1]的研究,求出(E_λ)_5的全部51种“基本型阵”,并证明相应的“实现定理”。最后,指出(E_λ)_6的基本型阵总共有281种。     

只有唯一生成集的半群

本文探讨一类特殊半群——只有唯一生成集的半群之结构.本文首先得到该类半群的几个有用的特征性质(引理1),然后,引入两种特别的二元关系(?)与ψ,证明在该类半群中(?)、ψ及其积皆为等价关系.并得出了它们所具有的一些良好特性(引理2与3).利用这些结果,本文完全地定出了任一只有唯一生成集的半群之结构,即定理 半群S只有唯一生成集的充要条件是S为其子半群Sa(a∈Ω)的脱节联,其中(1)(?)α∈Ω,Sa为单侧零半群(左、右零半群及一元半群都是单侧零半群);(2) Ω为一全序集,(?)α,β∈Ω,α<β当且仅当(?)χ∈S_α,y∈S_β,xy=yx=x.     

关于无解方程的一个代数引理

L.Hormander的书[1]中,关于无解方程的讨论用到一个代数引理(即原书引理6.1.4),今给出此引理的补充证明. 定理给定具复分量的两个向量(a_1,…,a_n)及(f_1,…,f_n),且某a_(?)0.则存在满足方程     

代数基本定理的一个初等证明

首先,用归纳法证明引理在复数体上,不为零的系数的个数不小于2的复数系数方程必有根。证明Ⅰ。在复数体上,对于不为零的系数的个数为2的任一方程含有形式ax~k+b=0其中a,b均不为零且k为任一自然数,显然它有根。所以,不为零的系数的个数为2的方程     

关于Hurwitz定理的一点注记

本文指出了使用实系数标准多项式的Hurwitz 阵的所有对角主子式非负来作为这个多项式所有零点在闭左半复平面的判据是错误的.同时给出了一个定理:具有n×n 常数矩阵A 的线性微分方程组是稳定的,只要△(?)>0,(i=1,2,…,n-2)△_(n-1)=△_n=0其中△(?)(i=1,2,…,n)是矩阵A 的特征多项式的Hurwitz 阵的对角主子式.     

环的几个交换性定理

本文证明了环的几个交换性定理,并且推广了[4]、[5]中的相应结果。我们总是以Z表示环R的中心。先列出几个引理: 引理1 设R为质环,λ∈Z,λ≠0,α∈R,若有λα∈Z,则必有α∈Z。证明见[1]。引理2 设R为半质环,若有正整数n使得对(?)_x∈R,都有x~n∈Z,则R是交换环。     

两同阶正定Hermition方阵乘积的特征根界的估计

设A,B分别是n阶的正定Hermitian方阵。本文中,我们估计了AB的特征根的解,它的上下解分别由A和B的特征根给出。我们有下述定理: 定理 设A>o,B>o,A,B,AB的n个特征根分别是μ_1,…,μ_n;υ_1,…,υ_n;λ_1,…,λ_n,则     

关于本原代数的Kronecker积的一个注记

Nakayama和Azumaya在[1]中给出了关于Kronecker积模的一个基本的定理,即定理1([1],定理8;[2]定理V.8.1) 设(?)_i,i=1,2是域Φ上的向量空间,而(?)_i是(?)中线性变换不可约代数,(?)是(?)_i的中心化子,那末(1) (?)=(?)的(?)-子模的格同构于△_1(?)△_2的右理想的格; (2)(?)作为(?)_1(?)_2-模的中心化子是△_1(?)△_2.     

三叉型矩阵的特征值反问题

0 引言与基本引理称下面这类特殊矩阵为三叉型矩阵A 在现代控制论的非线性调节系统中,经常会遇到以上这类矩阵及这类矩阵的特征值反问题,因此讨论这类矩阵的逆特征值问题是有实际意义的. 先介绍文献[3]中的一个结论. 引理1 给定n个实数λ_1>λ_2>…>λ_n与n-1个实数μ_1>μ_2>…>μ_(n-1),满足λ_1>μ_1>λ_2>…>λ_(n-1)>μ_(n-1)>μ_n,在α_2>α_3>…>α(n-1)的条件下,可构造出唯一的A_n,以{λ_i}_(i=1)~n为其特征     

关于《Asymptotic behaviour of holomorphic strips》一文的注记

在Joel W.Robbin和Dietmar A.Salamon的文章《Asymptotic behaviour of holomorphic strips》中主要结果定理A与定理B的证明中,我们认为有两个关键的地方是不确切的,一个是对引理2.2的第一个不等式的证明,另一个是定理B的证明中使用该文章附录C中的引理C.1.对前一个,我们认为那里方法难以推出,并给出一个证明;对后一个,我们认为那里使用引理不太合适,并给出一个新结果代替它.     

拟完全图的秩、正负惯性指数和零度

图G的正惯性指数、负惯性指数和零度分别指其邻接矩阵A(G)中所有正特征值、负特征值和零特征值的个数,分别记为p(G),n(G),η(G).本文给出拟完全图的秩、正负惯性指数和零度.     

灰色度和灰色系统的能控性

本文定义了特征数、元素灰色度和综合灰色度,应用“分型灰色能控”、“分型灰色能观测”的结论,得到了关于灰色系统综合能控制及综合能观测的几个定理。     

拟环的Jacobson根

Betsch[1]将结合环的Jacobson根引入到拟环N上,得到三种类型的Jacobson根,分别记为(?)_o(N),(?)_1(N),(?)_2(N).Holcombe[2]引入另一种类型的Jacobson根,记为(?)_8(N).本文给出一种介于(?)_2(N)与(?)_3(N)之间的Jacobson根,并证明其一系列的性质。     

主理想整环上有限生成模的基本结构定理的另一证明

所谓主理想整环(p、i、d)上有限生成模的基本结机定理,是指:如果M≠0是p、i、d、D上的一个有限生成模,则M是循环模的直和:M=Dx_1 (?)Dx_2 (?)…(?)DX_n并且,生成元的阶理想合乎条件:annx_1(?)annx_2(?)…(?)annx_n,annx_i≠D,i=1,2,…n.N·Jacahson在《Basijc Algebraf》一书中利用主理想整环中矩阵的标准形,给出了这个定理的证明;并且提示,如果将主理想整环中元素长度的概念推广到主理想整环上的有限生成模中,可以得到基本结构定理的另一证明.本文根据这个提示,首先证明三个引理,     

关于矩阵的展形

以下均设λ_1,λ_2,…,λ_n是n阶复方阵A=(α_(?))_(n×n)的特征值,且|λ_1|≥|λ_2|≥…≥|λ_n|,不再另作说明. 估计两个特征值的和、差、积、商(分母不为零)的最大模的界限,无论在特征值的理论上以及计算上都是有用的.Mirsky在1956年定义了两个特征值的“最大距离”:称S(A)为方阵A的“展形”(Spread),并得出S(A)的上界估计式: