Hilbert C~*-模和JB~*-Triples

研究了HilbertC*-模和JB*-tripes的关系,我们证明了:(1)C*-代数上的每个Hilbert模等距同构于算子JB*-triple;(2)交换JB*-triple必定是某一C*-代数上HilbertC*-模。     

Hilbert C*-模上的酉系统

目的在研究作用在HilbertC*-模上酉系统的框架向量和框架表示的一些性质的基础上,主要给出并证明HilbertC*-模上特殊酉系统的膨胀定理。方法借助几何膨胀原理,用算子代数的方法。结果对作用在HilbertC*-模上酉半群的某完全正规紧框架向量,必能找到一个更大模及其上的酉半群的它的完全游荡向量。结论由于HilbertC*-模不一定有标准正交基,这样通过膨胀,得到更大模上的标准正交基,从而可通过引入框架变换,在这两个模之间建立联系,进而研究HilbertC*-模上框架的可补与不相交性。     

Banach空间中有限个一致L-李普希茨映象的强收敛定理

首先将序列{xn}的迭代定义为:x0∈K,xn+1=(1-α1n)xn+α1nTn1y1n,y1n=(1-α2n)xn+α2nTn2y2n,...,y(m-1)n=(1-αmn)xn+αmnTnmxn,其中{αin}满足一定的条件.若存在严格增加的函数:[0,∞)→[0,∞),且(0)=0,使得〈Tnix-x*,j(x-y)〉≤kn‖x-x*‖2-(‖x-x*‖),j(x-x*)∈J(x-x*),x∈K,i=1,2,...,m,那么{xn}强收敛到x*.x*是K中有限个一致L-李普希茨映象的公共不动点. K是Banach空间E的非空闭凸子集.     

一类初等算子的范数

目的讨论B(H)上初等算子Δ(X)=AXB CX的范数。探求‖Δ‖=‖A‖‖B‖ ‖C‖(A,B,C≠0)成立的充要条件和‖Δ‖的下界。方法以正规极大数值域这一复数域上的紧凸子集为媒介,根据其定义及初等算子范数的性质推导。结果‖Δ‖=‖A‖‖B‖ ‖C‖(A,B,C≠0)成立的充要条件是‖A*C‖=‖A‖‖C‖且WN(A*C)∩WN(B)≠。并求出‖Δ‖≥supλ∈WN(B)‖‖B‖A -λC‖。结论得到有关初等算子Δ范数上界的一个充要条件,找到了初等算子Δ范数的下界。并且得到初等算子范数的一些推论。     

遗传C^＊-子代数和可补闭子模的关系

本文获得了单均个闭子模为可补闭子模的一些新的特征刻画,进而证明了HilbertC*-模E的每个闭子模B可补的充要条件为B=pK(E)p,p为投影元.     

Isosceles正交注记

在实赋范线性空间E(dimE ≥ 2 )中证明 :当E中向量x ,y线性无关 ,且‖x‖ ≥‖y‖ >0时 ,存在唯一的a ∈R使得x+‖y‖ (y +ax)‖y +ax‖ =x- ‖y‖ (y +ax)‖y +ax‖即在x与y生成的平面上xIsosceles正交且只正交于一个范数是‖y‖的向量 .     

一致凸Banach空间Ishikawa迭代序列收敛性

利用一致凸Banach空间中凸性模的大小与其特征不等式的等价关系 ,即当 p≥ 2时 ,Banach空间X是一致凸的 ,并且 ,当且仅当X中的范数满足不等式‖ (1-t)x +ty‖ p+cw(t)‖x - y‖ p≤ (1-t)‖x‖ p+t‖y‖ p 时 ,其凸性模δX(ε)≥cεp(0 <ε <2 ,0 相似文献   

Goldie*-补模的推广

作为Goldie*-补模的推广,本文引入了主Goldie*-补模.称模M是主Goldie*-补模(主G*-补模),如果对M的任意循环子模X,存在M的补子模Y,使得(X+Y)/?M/X且(X+Y)/Y?M/Y.研究了主G*-补模的一些性质,并证明了若M=M_1M_2,M_1=aM,M_2=bM,a,b是End(MR)的本原幂等元,且对任意N?M,N=aN+bN.则M是主G*-补模当且仅当M1和M2是主G*-补模.     

关于BCK—代数簇的一个问题

对W.H.Cornish提出的问题"关联BCK-代数簇是不是2-基的"给出一个肯定的回答:(2,0)型代数〈X;*,0〉是关联(BCK-代数,当且仅当它满足(1)x*(0*y)=x;(2)(x*z)*(x*y)=((y*z)*(y*x)x(x*y)).所以(1)和(2)是关联BCK-代数簇的一个3变量的极小等式基.     

两类条件数达极小的进一步研究

矩阵求逆条件数 x(A)=‖A‖‖A~(-1)‖在矩阵求逆和求解线性方程组的误差分析中起着重要作用,不少计算数学工作者对矩阵条件数进行了研究,讨论了在不同范数意义下 x(A)达极小的条件。本文讨论了特征值条件数达极小的充要条件,在正则逆存在情况下,将 x-条件数达极小的充要条件推广到最一般情形。本文推广了[5]中的全部结果,推广了[6][7]中的相应结果,且所得结论比[6][7]更简洁,明了。定义1 设 A 为 n 阶方阵,J_A 为 A 的若当标准形,V={B;B~(-1)AB=J_A},矩阵范数‖·‖在矩阵的行交换或列交换下保持不变,则称     

关于C*-代数上-半范数的一个注

建立了C*-代数上-半范数和正定线性算子的平衡子集之间的一一对应关系,并给出了它的一些应用.     

基于Visual C 和Pro*C/C 技术的油田动态分析系统设计新方法

针对传统的动态分析系统功能固定用户自由度小的问题,提出了一种改进方法。通过实现对辽河油田提出的动态分析系统的设计,采用了配置文件、多线程技术的观念,结合使用安全数组和Variants数据类型,设计出了一套新式的油藏动态分析的数据库数据管理及数据存取、显示方法。增加了用户的自由度,解决了常规动态分析中功能固定的局限性。     

Banach*代数中半序的某些性质

研究了 Banach^*代数与 C^*代数中半序的某些性质,证明了在 C^*代数中, 包含正元的乘锥是唯一的,并给出了Banach^*代数成为 C^*代数的一些充分条件.     

C_PCP与_w_w_CPCP的关系

本文证明了下面２个结果：（１）当Ｘ＊具有ＰＣＰ时，Ｃ＊ＰＣＰ与（ｗ＊－ｗ）ＣＰＣＰ等价；（２）Ｘ＊具有Ｃ＊ＰＣＰ当且仅当Ｘ＊具有（ｗ＊－ｗ）ＣＰＣＰ且对Ｘ＊的每个非空ｗ＊－紧凸子集Ｋ，（ｗ＊－ｗ）ＰＣ（Ｋ）含有Ｋ的一个ｗ＊－稠密Ｇ子集．     

关于控制算子组的联合谱

给出了控制算子组T的联合左谱,生成了C^*-代数C^*(T)以及Taylor本性谱的刻划。     

基于CPLD的CCM3118 OnCE编程调试接口的原理与设计

编程与调试接口对于加快嵌入式系统开发的速度有着很重要的作用。本文给出了对C*Core32位嵌入式微控制器CCM3118进行在线编程和调试的设计。该设计在OnCE接口的基础上,采用了CPLD来进行TAP状态机控制,可以支持执行指令、查看寄存器和内存内容,进而可实现外接Flash的写入。文章首先介绍了CCM3118及其OnCE模块的工作原理,然后给出了基于CPLD来实现上述功能的软硬件设计。重点讨论了OnCE调试模块的原理和本设计的总体实现。     

I(k)中迹极限C*-代数的K-群

描述了I^(k)中迹极限C^*-代数的K-群的性质．证明了以下结果：设A是有单位元的C^*-代数，并且A=(t2)limn→∞(An，pn)，其中An在I^（k)中，则①对任意的n≥max{1，[(k 1)／2]}，in：Un(A)/Un(A)→K1(A)是满射；②对任意的n≥[k／2] 1，in：Un(A)/Un^0(A)→K1(A)是单射．