单C~*-代数α-比较性的一种等价刻画

给出C~*-代数α-比较性的等价刻画:对于单的含单位元的稳定有限的C~*-代数A而言,A具有α-比较性,当且仅当对于任意的a,b∈W(A),若α·d_r(a)d_τ(b)(_τ∈QT(A)),则a≤b在Cuntz半群W(A)中成立.利用此刻画,证明了具有α-比较性的C~*-代数一定具有弱比较性;若A具有α-比较性,其中α=m+1,则A具有正元的强迹m-比较性;对于满足Kirchberg-R?rdam条件的C~*-代数,E-稳定、严格比较、α-比较性(α=m+1)、强迹m-比较性、弱比较性以及局部弱比较性彼此等价;若α:=inf{α′∈(1,∞)|A具有α′-比较}∞,则A具有α-比较性.     

归纳极限与积C~*-代数的α-比较性

?对于C~*-代数归纳极限A=(lim→)(A_n,φ_(m,n)(其中A_n?A_(n-1)?A且φ_(n,n-1):A_n→A_(n+1)为嵌入映射),若A_n人为具有α-比较的单的含单位元的稳定有限的C~*-代数,则A具有α-比较性;若A_λ(?_λ∈Λ)具有α-比较性,则积C~*-代数(Πλ∈A)A_λ具有α-比较性,特别地,和C~*-代数(λ∈A)A_λ具有α-比较性.     

C*-代数的迹迹秩

引入C*-代数迹迹秩的概念,讨论它的基本性质.另外,迹迹秩为零和迹拓扑秩为零的C*-代数等价,同时讨论这类代数的拟对角扩张性质.设0→I→ A→A/I→0是拟对角扩张的短正合列,证明如果TTR(I)≤k且TTR(A/I)=0,则TTR(A)≤k.     

非单C~*-代数α-比较性的等价刻画

给出非单C~*-代数α-比较性的等价刻画:当每个τ∈QT(■H)均为忠实时,■具有α-比较性,当且仅当对于任意的〈a〉,〈b〉∈Cu(■)且∝,若α·d_τ(a)≤在Cu(■)中成立;一般地,当QT(■H)≠Φ时,■具有α-比较性,当且仅当对于任意的,∈Cu(■),若存在η>0,使得d_τ(α)≤(α~(-1)-η)d_τ(b)(_τ∈QT(■H)),则≤在Cu(■)中成立.     

C~*-代数的迹迹秩

引入C~*-代数迹迹秩的概念,讨论它的基本性质.另外,迹迹秩为零和迹拓扑秩为零的C~*-代数等价,同时讨论这类代数的拟对角扩张性质.设O→I→A→A/I→O是拟对角扩张的短正合列,证明如果TTR(I)≤k且TTR(A/I)=0,则TTR(A)≤k.     

拟对角扩张的近似等距提升

设 设 设0→I→A—A/I→0为C~*-代数的短正合列且A含有单位元.如果扩张0→I→A→A/I→0为拟对角扩张,则证明对任给的A/I中正元(投影,部分等距,酉元)均有同形式的提升且提升与I中一列由投影组成的拟中心近似单位元相交换.进而证明对任给正数ε,任意A/I中的两正元(投影,部分等距,酉元)a~-和b~-,以及a~-的正元(投影,部分等距,酉元)的提升a,存在b~-的正元(投影,部分等距,酉元)的提升b,使得‖a-b‖<‖a~--b~-‖ ε.作为上述结论的应用证明了对任意的正数ε和u~-∈U(A/I)_0,存在u~-的提升u∈U(A)_0,使得cel(u)相似文献   

迹分解秩(英文)

首先引入迹分解秩的概念,具有这个结构的稳定有限的顺从C~*-代数非常多.这个概念和Elliott的用K-理论来分类顺从C~*-代数的分类计划有重要的联系.然后研究C~*-代数扩张.设0→I→A-→A/I→0是C~*-代数的一个短正合序列,其中A有单位元.假设I有分解秩k,A/I有迹分解秩k,那么如果扩张是拟对角的,本文将证明A的迹分解秩不超过k.     

一类正的K_0-群同态的提升

设0→I→A■B→0为C~*-代数扩张,其中I为AF-代数,A为有单位元的C~*-代数.设D为一类AF-代数.本文利用投影元的保序提升和K_0-群的归纳极限来研究K_0(D)到K_0(B)的群同态被K_0(π)提升的问题.从而得到,如果Φ为从K_0(D)到K_0(B)的正的群同态且Φ([1_D]_0)=[1_B]_0,则Φ可以被K_0(π)提升.     

关于一般域上的三个对合之积

本文改进了C.S.Ballantine和Kang-Man Liu关于3个对合之积的一些结论。对任意域F，我们证明了，当A∈GL /3（F）时，A是3个对合之积当且仅当对任意α∈F，α^2≠1，有rank(A-αI3)≥1；当A∈GL /4（F）时，A是3个对合之积当且仅当对任意α∈F，α^4≠1，有rank(A-αI4)≥2或A与B=αI3(○ )α^-3相似，当A∈GL /5（F）时，A是3个对合之积当且仅当对任意α∈F，α^4≠1，有rank(A-αI5)≥2且A不与B=αI3(○ )（-det A)I2相似。     

C*-代数交叉积上的渐近同态(英文)

林华新和松井宏树提出了可分C~*-代数上的渐近同态的概念,以及Cantor极小系统上弱逼近共轭的概念.设A为Ko群有限生成的AF代数,α,β为A上的具有Rokhlin性质的*-自同构.则α和β弱逼近共轭的充要条件是,存在两列渐近同态{φ_n}:A_α→A_β和{ψ_n}:A_β→A_α,以及两列*-自同构{Φ_n},{Ψ_n}:A→A,满足对任意的a∈A,均有lim_(n→∞)‖φ_noj_α(a)-jβoΦ_n(a)‖=0和lim_(n→∞)‖ψ_nojβ(a)-jα·Ψ_n(a)‖=0.     

von Neumann代数上的Lie可导映射

设A是不含交换中心投影的von Neumann代数,投影P∈A使得P=0, P=I.称可加映射δ:A→A在Ω∈A Lie可导,若δ([A,B])=[δ(A,δ(B)],■A,B∈A,AB=Ω.该文证明,若Ω∈A满足PΩ=Ω,则δ在ΩLie可导当且仅当存在导子τ:A→A和可加映射f:A→Z(A)使得δ(A)=τ(A)+f(A),■A∈A其中f([A,B)=0,■A,B∈A,AB=Ω.特别地,若A是因子von Neumann代数,Ω∈A满足ker(Ω)≠0或ran(Ω)≠H,则可加映射δ:A→A在ΩLie可导当且仅当δ有上述形式.     

二阶常微分方程组的极限边值问题解的存在性和唯一性

本文研究二阶非线性常微分方程组=a(t)h(y),=b(t,x)g(y),(S)其中 a:I→R_+=(0,∞),I=[t_0,∞),t_0∈R=(-∞,∞),h:R→R,g:R→R_+和b:I×R→R 均为连续函数,且满足:yh(y)>0(y≠0),h(y)是 y 的递增函数;xb(t,x)≥0,b(t,x)是 x 的不减函数,且对任意固定的 x≠0,在 I 的任意子区间上b(t,x)不恒等于零.我们还假设,对任意的 c≥t_0,α,β∈R,组(S)满足初值条件:x(c)=α,(1)y(c)=β (2)的解存在唯一,且对初值具有连续相依性.我们考虑下面几种极限边值条件:     

C~* -代数上完全正映射的刻画

本文给出C* -代数之间完全正映射的刻画,证明:如果A,B是有单位元的C*-代数,则映射Φ:A→B为完全正映射当且仅当存在保单位*-同态πA:A→B(K)、等距* -同态πB:B→B(H)及有界线性算子V:H→K,使得πB(Φ(1))=V*V 且■a∈A,都有πB(Φ(a))=V*π(a)V.作为推论,得到著名的Stinespring膨胀定理.     

α-强增生算子零点的迭代逼近

设E为一致光滑Banach空间,A：E→E为有界次连续α-强增生算子满足：对某x_0∈E,α(r)＞|Ax_0|．设{C_n}为[0,1]中数列满足控制条件：(i)C_n→0(n→∞)；(ii)sum from∞to n=0 C_n=∞．设{x_n}n≥0由下式产生：x_n 1=x_n-C_nAx_n,n≥0,(@)则存在常数a＞0,当C_n＜a时,{x_n)强收敛于A的唯一零点x~*．     

反常积分∫_x~∞sint/t~αdt的估计式

当0<α<2时,积分∫∞0sint/tαdt收敛.本文研究在2≤α<4时,反常积分∫∞xsint/tαdt当x→0+时的估计式.     

素环上的非线性Lie导子

设M是包含非平凡投影P的单位素环,证明了素环M上的非线性Lie导子具有形式A→ω(A)+h(A)I,其中ω:M→M是可加的导子,h:M→C是非线性映射且对所有A,B∈M有h(AB-BA)=0.     

α-强增生算子零点的迭代逼近

设E为一致光滑Banach空间,AE→E为有界次连续α-强增生算子满足对某x0∈E,li mr→∞α(r)＞‖Ax0‖.设{Cn}为[0,1]中数列满足控制条件(i)Cn→0 (n→∞);(ii)∞∑ n=0 Cn=∞.设{xn}n≥0由下式产生xn+1=xn-CnAxn,n≥0, (@)则存在常数a＞0,当Cn＜a时,{xn}强收敛于A的唯一零点x*.     

关于(α,β) -度量的S -曲率

给出(α,β) -度量F=α\phi(β/α)的S -曲率的计算公式. 证得对一般的(α,β) -度量,当β为关于α长度恒定的Killing1 -形式时,S=0.研究了Matsumoto -度量F=α²/(α-β)和(α,α) -度量F=α+εβ+kβ²/α)的S -曲率, 证得S=0当且仅当β为关于α长度恒定的Killing1 -形式.同时还得到这两类度量成为弱Berwald度量的充要条件.其中\phi(s)为光滑函数,α(y)=\sqrt{a_ij(x)yⁱy^j}为黎曼度量,β(y)=b_i(x)yⁱ为非零1 -形式且ε,k≠ 0为常数.     

纯无限单的C*-代数通过某些C*-代数扩张的非稳定K-理论

设0→B■E■A→0是有单位元C~*-代数E的一个扩张,其中A是有单位元纯无限单的C~*-代数,B是E的闭理想.当B是E的本性理想并且同时是单的、可分的而且具有实秩零及性质(PC)时,证明了K_0(E)={[p]| p是E\B中的投影};当B是稳定C~*-代数时,证明了对任意紧的Hausdorff空间X,有■(C(X,E))/■_0(C(X,E))≌K_1(C(X,E)).