模复形映射柱的一些性质

<正>本文对模复形映射柱的有关问题作了一些的探讨,得出了一些较好的结果.首先.我们叙述映射柱定理,然后,给出本文的结果及其证明.定理1:(映时柱定理)设f:(A,α)→(B,(?))是一个链映射,对每一个n,定义M_n=A_(n-1)(?)B△_n(f):M_n→M_(n-1)(α_(n-1),b_n)→(-α_(n-1)α_(n-1),(?)_nb_n+f_(n-1)α_(n-1))那么M=…→M_n(?)M_(n-1)(?)M_(n-2)→…是一个复形.     

关于无限值格模型论的一点注记

在[2],[3]中证明了当值格 L 有限时,紧致性定理成立.当值格 L 无限时紧性定理是否成立呢?说的更明确一点就是:设 T 是一个理论(分组句子集)且 T 的每一有限子集有模型(T 是有限和谐的),T 有没有模型呢?我们的结论是:在一般情况下 T 不一定有模型.例1.设 L 是一可数无限格,L 含有一个如下的元素列:I>α_1>α_2>……>α_n>……且 inf{α_i}=0……(1)又设可数语言     

一类常微分算子Green函数的递推关系

1.微分算子的递推关系给定[a,b]区间上的函数组{(?)_i(x))_(i-1)~m,(?_i)(x)(?)C~m[a,b],i=1,2,…,m.(?)W((?)_1(x),…,(?)_i(x))≠0,i=1,2,…,m, (1.1)其中W((?)_1(x),…,(?)_i(x))表示函数组(?)_1(x),…,(?)_i(x)的Wronsky 行列式.由{(?)_i(x)}_(i=1)~m 可以定义线性微分算子     

一类四阶微分方程m点边值问题的正解

讨论一类四阶微分方程m点边值问题{u~((4))(t)+h(t)f(u)=0,u(0)=u'(0)=u″(0)=0,u″(1)=∑m=2i=1β_iu″(η_i),其中,η_i∈(0,1),0η_1η_2…η_(m-2)1,β_i∈[0,∞)且m=2∑i=1β_iη_i1.通过与一个线性算子相关的第一特征值的讨论,运用不动点指数定理,得到正解存在的结果,最后给出一个例子用以说明定理的应用.     

二阶弱双曲方程的混合边值问题

在柱形区域Q_T=Ω×[0,T]内考虑下述弱双曲方程的混合边值问题其中Ω是R~n中具有光滑边界的紧流形,系数光滑且属于(?)(Q_T),且本文有下述定理:若条件(1.4)-(1.7)满足,且α_(ij),α_1,α_o,α,b_j∈(?)(Q_T),α_(ij)(x,t)ξ_iξ_j≥则问题(1.1)～(1.3)存在唯一解u∈H~(∞)(Q_T),文[5]的结果是定理当α≡1,α_(ij)=t~k(?),(?)ξ_iξ_j≥d|ξ|~2的特殊情况.     

质数模的二次同余式的根的状况

关于实系数一元二次方程的根的状况,有下面的定理 a,b,c为实数,a≠0,△=b~2-4ac,方程 ax~2 bx c=0的根的状况为: △>0(?)有两个不同的实根; △X=0(?)有两个相同的实根; △<0(?)没有实根。由此作类比推理,对于质数模的二次同余式,有定理 a,b,c为整数,a≠0(modp),△=b~2-4ac,p为≥3的质数,令 (p-1)/2=K。同余式 ax~2 bx c≡0(modp)的根的状况为:     

矩阵族G~n(θ)的一致有界性与差分格式稳定的条件(Ⅱ)

§1.引言本文是前一篇文章[1]的继续。在文[1]里我们证明了如下定理:设 p 阶矩阵 G(θ)于[a,b]Lipschitz 连续,且1°最多除有限个θ∈[a,b]外,G(θ)的特征根彼此互异,即λ_i(θ)≠λ_j(θ),当 i≠j;2°若 G(θ)于θ=θ_o 有一按模等于1的 k(≤p)重特征根,例如λ_1(θ_o)=λ_2(θ_o)=…=λ_k(θ_o),且相应的初等因子之次数等     

任意矩阵特征值的秩1修正扰动界

设A是一个n阶的任意复矩阵且E是A的Hermite秩1扰动,即E=xx',其中x是n维的复列向量,x'是x的共轭转置向量.则A+E为矩阵A的Hermite秩1修正矩阵.基于矩阵分析理论中Hermite矩阵特征值分布的性质,研究得到了矩阵A特征值的任意Hermite秩1修正扰动的上下界限,即给出了矩阵A+E特征值的上下界限:λ_i(H(A))+l_i(x)+δ_i≤R(λ_i(A+xx'))≤λ_i(H(A))+u_i(x)+δ'_i(i=1,n),λ_i(H(A))+l_i(x)+δ_i≤R(λ_i(A+xx'))≤min{λ_i(H(A))+u_i(x),λ_(i-1)(H(A))}+δ'_i(2≤i≤n-1),且λ_(min)(-SH(A)τ)≤S(λ_i(A+xx'))≤λ_(max)(-SH(A)τ)(1≤i≤n),其中δ_i=sgn(‖SH(A)‖_2)[λ_(min)(H(A))-λ_(i-1)(H(A))-u_i(x)],δ'_i=sgn(‖SH(A)‖_2)[λ_(max)(H(A))-λ_i(H(A))-l_i(x)+‖x‖_2~2],gap_i=λ_(i-1)(A)-λ_i(A),i=2,…,n,H(A)和SH(A)分别代表矩阵A的Hermite部分和反Hermite部分,τ=(-1)~(1/2),sgn(·)代表符号函数.当A为Hermite矩阵时,上述结果退化为已有的结果λ_i(A)-‖x‖_2~2≤R(λ_i(A+xx'))≤λ_i(A)+‖x‖_2~2.     

非自伴算子代数的上同调群

设H是Hilbert空间,(?)是H上的子空间格且Vφ-只有有限个.当H=V{G:G是(?)的Vφ-生成子} 时.对一切自然数n,得到Hn(M(?),B(H))= 0,其中,(?)是(?)到(?)的格同态.特别地,取(?)为恒等映射时,对完全分配的子空间格(?)有Hn(alg(?),B(H))=0.设A是完全分配的CSL代数,M是任意含A的A- 模,则Hn (A,M)= 0.     

几类微分方程組解的全局稳定性

本文在第二方法的基础上,应用定理来研究几类微分方程组零解的全局稳定性。考虑一般形式的二阶方程組:其中φ_1(x,y),φ_2(x,y)在—∞相似文献   

广义Kac-Moody代数根系中关于半群的两个命题

本文在广义Kac-Moody代数G的对称Gartan矩阵满足一定条件下,得到了△_+~(im)\{ω(α_i)|ω∈W,α_i∈△_+~(im),i∈I}成为半群的一个充要条件,证明了△_+~(im)是半群.     

布尔代数的析取范式定理的证明

析取范式定理,任一n元函数f(A_1,A_2,…,A_n)都可表示为,而且这种析取式表示法是唯一的。 证.把任意一个最小项(A_1~(±1)·A_2~(±1)·…·A_n~(±1))_i与值组(δ_1,δ_2;…,δ_n)_j作如下的对应:当A_i~(±1)为A_i时δ_i为1,当A_i~(±1)为时δ_i为0,(1≤i≤n)满足这样的对应条件     

一个二阶拟线性椭园型方程定解问题的奇摄动

我们考虑如下含有小参数的二阶拟线性椭园型方程的定解问题:L_ε〔w〕≡ε(■~2w)/(■y~2)+(■~2w)/(■x~2)-a(y)(■w)/(■y)+b(x,y,w)=0(1)〔(■w)/(■x)+λ_i(y)w〕x=σ_i(y)=(?)_i(y),(i=1,2)(2)w丨_(y=0)=(?)_1(x)(3)((?)w)/((?)y)_(y=1)=(?)_2(x)(4)其中0<ε《1,σ_1(y)<α<β<σ_2(y),σ_1(y),σ_2(y)在〔01〕上适当光滑,使得区域Ω={(x,y)丨σ_1≤x≤σ_2,0≤y≤1}在边界σ_1(y),σ_2(y)上每点满足内部球条件〔5〕。(-1)~iλ(y)>0,(?)_i(y)及(?)_i(x)均为它们所定义的那段边界上的连续可微函数,α(y)>0,b(x,     

全局性隐函数定理及其应用

得到两个全局性隐函数定理:定理1设D_1是第一可数的拓扑空间E_1的开子集.D_2是Banach空间E_2的开子集.映象f:(?)_1×(?)_2→Y(?)E关于第一变元连续且满足条件:1°|f(x,y_1)-f(x,y_2)|≤L(x)|y_2-y_1|.Ax∈(?)_1.y_1.y_2∈D_2.其中Y=D_2或D_2=Y=E_2,L(x)<1.L:(?)_1→R~+连续.则方程f(x.y)=y有连续解y:(?)_1→Y,即f(x.y(x))=y(x).(?)x∈(?)_1.定理2 设f:(?)_1×(?)_2→C((?)_2)满足条件:1°d(f(x,y_1).f(x,y_2))≤k|y_2-y_1|.(?)x∈(?)_1.y_1.y_2∈(?)_2.其中k<1是常数.d(·,·)表示:对有界闭子集A_1,A_2(?)(?)_2d(A_l,A_2)=sup{|y_1-y_2||y_1∈A_1,y_2∈A_2}2°(?)y∈(?)_2,多值映象,f(·,y)弱下半连续.C((?)_2)为(?)_2的有界闭凸子集类.则包含方程y∈f(x,y)有连续单值解y;(?)_1→(?)_2即y(x)∈f(x,y(x)) (?)x∈(?)_1还给出了对随机映象不动点存在性的一个应用.     

关于拓扑Boole格的积（Ⅰ）

[1]指出.拓扑空间的积能否推广到古典拓扑Boole格上是一个未解决的问题.本文证明这一推广是可以的. 设{B_1}_1∈△是一族Boole格,用IB表示一切形式为x={x_1)_1∈△(x_1∈B_1)的元的集.设y={y_1}_1∈△(y∈_1∈B_1)是IB的另一元,规定xI=y当且仅当对1∈△,有x_=y_1,规定了这样相等关系的集IB称作{B_1}_1∈△作为集族时的(I)积,记作:IB=(I) B_(1或IB= B_1)·如果(I)积IB中元x={x_1}_1∈△.对某个l_0∈△,有x_(10)=O_(10)是B_(10)中最小元),把所有这样的x看成是相同元,     

具有给定边际分布的概率测度的唯一性

§1 引言〔1〕中讨论了具有给定边际分布的概率测度的存在性。它的一种情形是基本空间Y 为有限序集。为确定起见,不妨设Y={1,2,…,n}并具有通常的序:P(Y)表Y 上概率测度之集。μ∈P(Y)。其密度记为{μ_i,i∈Y,},其中μ_i≥0,i=1,…,,n(?)μ_i=1。关于具有给定边际分布的概率测度的一个著名命题是(1.1)命题设μ,v∈P(Y),则存在Y×Y 上的概率测度γ满足(1.2) (i)(?)γ_(ij)=μ_i,i=1,…,n;(ii)(?)γ_(ij)=v_i,j=1,…,n;(iii)(?)i相似文献   

隔离性定理另证

这篇短文给出了下述定理的一个简明证明.定理 设F_1,F_2,…,F_n是数直线上的互不相交的非空闭集,则存在开集G_i(i=1,2,…,n)使得 G_i(?)F_i(i=1,2,…,n)且(?)_i∩(?)_j=φ(i≠j)     

k-正则可图序列的公平划分问题

设π=(d_1,d_2,…,d_n)是非负整数序列,π_1,π_2是将π的所有元素划分为两部分后的两个子序列.如果-1≤|π_1|-|π_2|≤1,则称π_1,π_2是π的一个平衡二部划分,其中|π_i|(i=1,2)表示π_i中的元素数目.设k和n是两个正整数,π=(k~n)是k-正则可图序列.本文确定了ψ_(max)(π)的值和ψ_(min)(π)的值.     

L~1极限鞅及其诱导测度

设(Ω,ζ,Ρ)是一概率空间,△是一向右定向集。(Ω_t,ζ_t,△)是L~1极限鞅。对任一定义它的诱导集函数Q为:。本文第二部分讨论了L~1极限鞅的性质包括它的Riesz分解定理、收敛定理和与其它鞅型适应族的关系。第三部分讨论了L~1极限鞅(?)诱导的集函数的性质。定理7给出了Q<相似文献   

Schauder不动点定理在分数阶m-点边值问题中的应用

用Schauder不动点定理研究了分数阶m-点边值问题﹛D_0~α+u(t)+f(t,u(t))+e(t)=0,0t1;u(0)=0,u(1)=m-2∑i-1β_iu(η_i).其中1α2,0β_i1(i=1,2,…,m-2),0η_1η_2…η_(m-2)1,K=m-2∑i-1β_iη_~(a-1)1,D_0~α+是标准的Riemann-Liouville微分,f的第一或第二个变量可以具有奇性,e可以为负.分别给出了γ_*0,γ_*=0,γ_*0γ~*,γ~*≤0四种情形时正解的存在性结果.