关于相对反杯性质的一个结果

1 主要定理及需求递归可枚举度可杯与反杯性质的研究是递归论研究的重要课题之一,本文将证明如下定理:定理1 对任意r.e.度b和高r.e.度d满足b(?)d,存在r.e.度a使得a(?)b并且a是d的一个反杯证据.本文采用文献[1]和文献[2]中的基本概念和术语.称函数f支配g,如果对几乎所有的X,     

自由C*-代数与非交换Hahn-Banach定理中的完全收缩扩张的唯一性问题

1 引言及主要结果Arveson 把经典的Hahn—Banach扩张定理推广到了C-代数的自伴线性闭子空间上.从此,许多数学工作者对Arveson扩张定理作了推广,下述结果属于G,Wittstock,命题1.1(见文献[2]定理4.2)设X是-算子空间,A是一有单位元的 C-代数且A(?)X,若(?):X→B(H)是一完全收缩映射,则存在完全收缩映射(?):A→(H)使得(?)|X=(?)且||(?)||_cb=||(?)||_cb利用该命题易得:推论1.1 设X与Y均为算子空间且Y(?)X,若(?):Y→(H)是一完全收缩映射,则存在完全收缩映射(?):x→B(H)使得(?)|Y=(?)且||(?)||_cb=||(?)||_cb但命题1.1中的(?)的唯一性问题从未被人涉及,本文用自由C-代数和遗传C-代数为工具,给出了命题1.1中扩张(?)对任何Hilbert空间H均具唯一性的一个充要条件,即下述的:定理1.1 设X和Y均为算子空间,且Y(?)X,1∈X,则下述等价:(1)对每个Hilbert空间H及每个完全收缩映射(?):Y→B(H),都唯一存在完全收缩扩张映射(?):x→B(H)使得(?)|Y=(?)且||(?)||_cb=||(?)||_cb(2)C(Y)是C(X)的遗传C-子代数,定理1.2 记号同于命题1.1,则对每个Hilbert空间H,(?)均唯一存在的充要条件为:I(X)是A的遗传C-子代数,其中I(X)是由X生成的A的C-子代数,     

一类退缩抛物方程的平衡解

本文考虑下面Cauchy问题: 这里m>1,n>1,p≥1,m>p,我们总是考虑具有紧支集的u_o≥0,u_o∈L~∞(R~m),于是(1)式对应的定常问题为本文假设a(r)满足下面条件: (A 1)a(r)∈C~1([0,∞))且a′(r)>0,对r∈(0,∞); (A 2)存在a>0,使得(r-a)a(r)≥o,对r∈[0,∞)。在实际应用中,问题(1)—(2)描述了一生物动力学模型。问题(1)及相应的Dirichlet初边值问题的解的存在性在文献[3]中得到。在文献[4]中证明了(2)的非平凡解的唯一性,为     

无界报酬折扣模型中ε(≥0)最优策略的性质

我们研究绝对平均相对有界折扣模型{S,(A(i),i∈S),q,r,V_β},其中S,A(i)(i∈S)均为可列集,q是时齐的,r满足 (1)存在数集{r(i):r(i)>0,i∈S}使得 (2)存在数d>0,使得以及V_β是折扣准则。 本文证明的关键是我们引入了如下概念:在策略π下,于时刻n可达的状态;可实现的历史。并引     

胡海昌解的完备性与逼近性

无体积力作用下各向同性弹性体A(R~3中的单连通开集)的弹性位移U满足Lamé方程:△U 1/(1—2r)grad div U=0,(0相似文献   

Bi-2223相厚膜银夹套带材的力学行为

设0≤a≤b≤1,G°(I)表示区间I=[0,1]上所有连续自映射之集.对任f∈G°(I),如果存在常数α>1,使得对任x_1,x_2∈[a,b],都有|f(x_2)-f(x_1)|≥α|x_2-x_1|,则称f在[a,b]上是扩张的,称α是f[a,b]的一个扩张常数,若在I上存在着k 1个点0=c_0相似文献   

关于Campbell提出的三个问题

设A、B 是任给的两个序列集合,(A,B)是A 到B 的乘子所成之集合,即若{λ_n)∈(A,B),则对每个{α_n}∈A,有{α_nλ_n}∈B.把一个解析函数看作由其Taylor 系数组成的序列.记l(2,∞)={{λ_n}:sup(?) sum from n=2~(m-1) to 2~m-1 |λ_n|~2<∞}.对于序列空间A,记s(A)=(l~∞,A).D.M.Campbell 于1984年提出关于乘子理论的22个未解决问题.其中问题9是“X     

亚纯函数的奇异方向与局部特征的等价

关于亚纯函数的Borel 方向的存在性,首先由G.Yaliron 得到定理A 设f(z)为开平面上ρ(O<ρ<+∞)级亚纯函数,则存在一条从原点出发的半直线B:arg z=θ_0(0≤θ_0<2π),使得至多除去两个例外的复数,对于每个复数a 和任意正数s,有sum from r→∞to —logn(r,θ_0,ε,f=a)/logr=ρM.Biernacki 建立了定理B 设f(z)为开平面上ρ(0<ρ<+∞)级亚纯函数,则存在一条从原点出发的半直线B:argz=θ_0(0≤θ_0<2π),使得至多     

关于相对化的P与NP问题的一个注记

李祥在文献[1]中得到如下结果: 定理1 下述命题等价: (1) P≠NP; (2) NPT~∞是递归可表现的类; (3) ((?)A∈NP)(P~A≠NP~A); (4) ((?)A∈NP)(P~A≠NP~A或A∈NPT~∞)。 这里,NPT~∞表示全体无穷的NP图灵完全语言构成的集类。针对定理1的第4款,李祥提出了如下问题:是否有两个无穷的NP图灵完全语言A及B,使P~A=NP,P~B≠NP~B?~(**)本文对     

有向图中的弧数和回路

关于有向图中的弧数和回路,Heydemann等在文[1]中提出如下的猜想.猜想设k和r是整数,r≥1,则存在一个函数f(k,r),使得对于强连通有向图D,当n≥f(k,r),δ(D)≥r,|E(D)|≥n~2-(k+r+2)n+(k+r+1)(r+1)+1时,D 中必存在长至少为n-k 的回路.     

关于局部连通性的注记

文[1,2]对“连续开映射保持局部连通性”的经典结果分别作了改进。本文继续改进了文[1,2]的结果。定义1 对拓扑空间x的子集A,如果ACint C1(A)(int和C1分别表示集合的内部和闭包),则称它为pre-open集。定理1 设x是拓扑空间,则当且仅当对x∈x和包含x的开集U,存在一个pre-open连通集A,使得时,x是局部连通的。定理2 设x是拓扑空间,则当且仅当x的     

Douglis代数意义下超复函数空间上■算子及其性质和应用

设i和e是两个生成Douglis代数的元素(Do-uglis,A.Commu.on Pure and Appl.Math., Ⅵ(1953),259),它们服从乘法规则,i~2=-1,ie=ei,e~(r+1)=0,e~0=1(γ是正整数),于是在弹性力学平面问题中有着广泛应用的一类椭圆型方程组可以     

3-GDD大集存在的谱

一个可分组设计GDD(t~u)是一个三元组(X,(?),(?)),它满足如下条件:(1)X是一个tu元点集;(2)(?)将X分拆成u个t子集,(?)中元称为组;(3)(?)是X的3子集簇,(?)中元称为区组,使得对任意B∈(?)及任意G∈(?),|B∩G|≤1,且X的任意不含在同一组内的2子集恰含在一个区组中.具有相同组集的两个GDD(t~u)(X,(?),(?))及(X,(?),(?))称为不相交的,若(?)∩(?)=φ.     

关于短区间中的原根及分布性质

设P≥3为素数,对模P的任一原根1≤x≤P-1,显然存在唯一的原根 1≤(?)≤P-1使得x(?)≡1(modP).令A,B表示区间[1,P-1]的任意两个子区间,即A,B(?)[1,P-1].本文的主要目的是研究子区间A,B中的原根分布性质.关于这一内容,至今似乎没有人进行研究,甚至还没有与此有关的内容出现.然而这方面的研究不仅可以刻画原根及其逆在短区间中的分布性质,而且对有限域理论的发展有着不可忽视的影响.考虑到这一重要原因,本文着手研究了模P的原根在短区间中的分布性质以及逆的存在问题,证明了下面有趣的渐近公式.     

离散谱算子的扰动论

依照文献[1],复Banach空间B中的闭线性算子T称为谱算子,指存在谱测度P(·)满足:1°对复平面上的任Borel子集E,P(E)是B中的有界投影算子,并依强算子拓扑,P(·)是可列可加的;2°存在常数M,使‖P(·)‖≤M;3°如E是复平面上有界的Borel子集,则     

有界非零函数的系数估计

1::(鱼匕弊工、1引:J:乙尘边迎互丫!、之一‘/l\1一之‘/这里H’(!zl<1)表示在}之I<1中一切解析函:数之上线性连续泛函的空间. 在H‘(}引<1)中选取特殊的泛函L便可得如下推论: 推论1设f(劝=艺an扩在}之!相似文献   

苏联頒发1959年列宁科学技术奖金

苏联列宁科学技术奖金委昌会颁发了1”夕年度奖金。 在利学方面: 1 .H.r.巴索夫和A.M.普罗霍罗夫。他们制定了发生和放大无践电波的新原理(创制了分子发生器和放大器)。 2.B.H.椎克斯列尔院士、几n.季豁甫耶夫、八.B.叶夫列莫夫、E.r.科焉尔、H.A.莫诺斯宗、A.M.斯特洛夫、A.几.明次院士、中.A.沃多普婚璐夫、C.M.兽布琴斯毖、A.A.科洛明斯毖、B.A.佩图雷夫、M.C.拉比豁推奇。他们glj制了一百亿电子伏特的同步稳相加速器。 3.苏联科学院通歌院士H.P.沙法列稚奇。他在195。年和1”斗年发表了有关代数数渝方面的著作(发况了一般互反…     

保持广义可合数值域的线性算子

设G是对称群S_m的子群.记CG是所有函数f:G→C的集合.称f是半正定的,如果存在c∈CG,使得对任意的r∈G有f(r)=sum from σ∈G (c(στ)c(σ)特别地,G的不可约特征标是半正定的.记C_n×m为n×m复矩阵集.对于f∈CG,广义矩阵函数d_f:C_m×m→C定义为d_f(A)=sum from σ∈G (f(σ))multipy fromu=l to a_iσ(i),其中A=(a_i,)∈C_m×m 设 1≤ m≤n,f∈CG,A∈C_n×n.如果f是非零的和半正定的,则定义A的f可合数值域为集合W_f(A)=|d_f(X~*AX)|X∈C_n×m,d_f(X~*X)=1|当m=1且f=1时,W_f(A)即是A的经典数值域外W(A)=|x~*Ax|x∈C_n×1,x~*x=1|.f-可合数值域相关于张量对称类的可合元素.设c∈CG对任意的,τ∈G满足(1)式记V为带有标准内积的向量空间C_n×1.则张量空间(?)V是酉空间,其诱导内积满足(x(?),     

关于同伦正则单态

同伦单态在文献[1]和[2]中被提出以后已成为同伦论的一个经典论题.本文引进同伦正则单态的概念,它严格介于同伦单态与同伦等价之间,并且在某种意义下刻划了同伦等价的一个特征.本文在点标拓扑空间的范畴Top~*中讨论,所有基点与常值映射均用*表示.范畴C的一个射j:E→A称为正则单态,如果存在两个射f,g:A→B(对某个B)使得j是f与g的等化子,即fj=gj,且对满足fh=gh的任意射h:X→A,存在唯一的射k:X→E使得jk=h.在Top~*的同伦范畴HTop~*中也就有了正则单态的概念.我们定义一个稍有差别的同伦正则单态的概念如下:     

算术级数中的除数问题

设r是大于1的自然数,n是自然数,以d_r(n)表示n表示为r个自然数的乘积的表法个数(考虑顺序).当(a,q)=1时定义D_r(X,q,a)=from d_r(n).n≤Xn≡a(modq)我们感兴趣的是找尽可能大的数θ_r使得下列关系成立:任给ε>0存在δ>0使得D_r(x,q,a)-x/(?)(q)P_r(logX)<<_εX~1-δ/(?)(q)在q相似文献