关于2n-算子组(LA,RB)的Taylor谱

设A=(A_1,……,A_n)与B=(B₁,……,B_n)为Hilbert空间H上的交换算子,L_A=(LA₁),……,LA_n))当R_B=(R(B₁,……,RB_n)分别为对应的B(H)中的左乘和右乘算子组。本文的主要结果是它们的Taylor谱有 Sp(L_A,R_B)=Sp(A)×Sp(B),
Sp_e(L_A,R_B)=Sp_e(A)×Sp(B)USp(A)×SP_e(B), 而且当A,B为Fredholm时,成立ind(L_A,R_B)=ind(A)·ind(B*)。我们用解算子方程的方法来证明上述命题,而且对Banach空间时,也作了一些讨论。     

B(H)上Jordan同构的一个代数不变量:幂等元的集合*

令B(H)表示无限维复Hilbert空间H上的所有有界线性算子组成的代数, I(H)是B(H)中所有幂等元的集合.设Φ:B(H)→B(H) 是满射.证明了对任意的λÎ{-1,1,2,3,1/2,1/3}及A, BÎB(H),映射Φ满足条件A-λ BÎI(H)ÛΦ(A)-λΦ(B)ÎI(H)当且仅当Φ是 B(H)的Jordan环自同构,即存在H上的连续可逆线性或共轭线性算子 T, 使得Φ(A)=TAT^-1对所有的 AÎB(H)成立,或 Φ(A)=TA^*T^-1对所有的 AÎB(H)成立. 令i表示虚数单位,进而如果Φ也满足条件A-iBÎI(H)ÛΦ(A)-iΦ(B)ÎI(H),则Φ是自同构,或是反自同构.     

乘法酉算子的Kac-系统的刻画

设V为可分Hilbert空间H上的乘法酉算子,V对应B(H)的两个子代数A(V)和V在满足V₂=I的条件下,得到Baaj与Skandalis主要定理的充要条件：即V有Kac-系统当且仅当这两个C^*-代数乘积的线性闭包为紧算子空间;同时还得到一对量子群.     

von Neumann代数中的*-偏序

设H是复Hilbert空间,B(H)是H上的有界线性算子全体组成的代数,M?B(H)是von Neumann代数,"≤"表示M中的*-偏序,即A,B∈M,若A~*A=A~*B,AA~*=BA~*,则A≤B.本文研究了von Neumann代数中*-偏序的上确界和下确界,证明了von Neumann代数M的子集关于*-偏序的上、下确界和B(H)中的上、下确界一致.同时,给出了M的*-偏序遗传子空间的表示,证明了弱~*闭子空间A?M,满足A∈M,B∈A,由A≤B可得A∈A,当且仅当存在唯一具有相同中心投影的投影对E,F∈M,使得A=EMF.     

效应代数的表示

本文讨论了抽象效应代数的表示问题. 对于一个抽象效应代数(E,⊕, 0, 1), 如果存在一个Hilbert 空间 H 和一个单态射 φ:E →ε(H), 那么称 E 为可表示的且称(φ,H) 是E 的一个表示, 其中ε(H) 表示 H 上所有正压缩算子构成的效应代数. 给出了一些可表示的和不可表示的效应代数的例子, 证 明了非空集 X 上的任一模糊集系统 F 和Boolean 代数B_X 都是可表示的效应代数.     

广义幂等算子差的可逆性

设P, Q为Hilbert空间H上的幂等算子, 关于算子$P$的广义幂等算子类ω(P)定义为ω(P)={A∈B}(H): A²=αA+βP, AP=PA=A,P²=P,∨α, β∈C}. 对任意A ∈ω(P), B∈ω(Q)使得A²=αA +βP, B²=mB+nQ,βn≠ 0, 得到了如下的结论: 值域R(PQ)是闭的充要条件是值域R(AB)是闭的; 如果P-Q是可逆的, 则A-B是可逆的.     

关于算子方程f(A)=A解的唯一性

设H是复Hilbert空间,又设f(z)=(?)(B_nZⁿ),z∈Δ={z:|z|<1},其中{B_n}是H上一列两两交换的正常算子,满足条件:级数按范数收敛,‖f(z)‖<1在Δ上处处成立,且1∈σ(B₁)又记X={A∈F(H):σ(A)?Δ且A与每个B_n交换}。本文证明了,若有T∈X使得f(T)=T,则T是X中满足所论方程的唯一元素。此外,T必须是正常算子。     

一类算子值解析函数族的极值点

设 H 是一个Hilbert空间. B(H) 表示所有H 到 H 的有界线性算子构成的Banach空间. 设 T= {f(z): f(z)=zI-∑^∞_n=2 zⁿA_n 在单位圆盘|z|<1上解析, 其中系数A_n是 H 到 H 的紧正Hermitian算子, I 表示 H 上的恒等算子, ∑^∞_n=2 n(A_n x, x) ≤1 对所有x ∈H, ∣|x∣∣=1 成立. 该文研究了函数族 T 的极值点.     

Hilbert空间中算子迹的Bellman不等式

本文利用矩阵论和泛函分析知识,证明了在Hilbert空间中算子迹的Bellman不等式tr(AB)^k≤tr(A^kB^k)当A,B为正迹类算子时,对一切自然数k都成立;当A,B为自伴迹类算子时,对一切偶数k都成立.     

一类缺项算子矩阵的半Fredholm补

设H,K为可分Hilbert空间,A∈B(H),B∈B(H,K)和D∈B(K)是给定的有界线性算子,定义缺项算子矩阵N_C=(ABCD).得到存在C∈B(K,H)使得N_C是上半Fredholm算子(下半Fredholm算子,Fredholm算子)的条件.     

Hilbert空间上线性算子广义逆A(2)T,S的存在性及其表示式

设H₁和H₂是两个Hilbert空间, B(H₁,H₂)表示从H₁到H₂的所有有界线性算子的集合, T和S分别是H₁和H₂的两个闭子空间. 如果存在线性算子X ∈ B(H₂,H₁)满足XAX=X, R(X)=T, N(X)=S,则称X为线性算子$A$的具有指定像空间T和零空间S的外逆,记为A⁽²⁾_T,S. 该文进一步研究了线性算子广义逆A⁽²⁾_T,S存在的若干等价条件及其性质,建立了算子广义逆A⁽²⁾_T,S的表示形式.     

关于控制算子的若干注记

Let B(H) be the set of all bounded linear operators on a Hilbert space H. An operator T∈B(H) is called dominant if (T-λ)(T-λ)^*≤M_λ²(T-λ)^*(T-λ),?λ∈C.The numerical range of T is difined by W (T) = {(Tx, x): ‖x‖ = 1, x∈H}. In Section 1 some new characteristic of dominant operators are given. If C = AB - BA, we prove that O∈W(C)^- then A is a dominart or φ-quasihy ponor-mal. In Section 2 we prove that O∈σ_e(△_A^σ) if A is a dominant, where(?), we also prove that if A∈B(H) is a norm attaining Ф-quasihyponormal, then A has a non-trivial invariant subspace. In Section 3 we discuss the closeness of the range of bounded linear operator F_AB:X→AX-XB, and prove that R(δ_A)∩{A}′∩{Aⁿ}′=0, where δ_A:X→AX-XA.     

关于算子方程λA2+μA*2=αA*A+βAA*

本文主要是给出Hilbert空间上满足方程 λA²+μA^*2=αA^*A+βAA^* (λ,μ,α,β都是复数)的有界线性算子A的全部形式,并给出它的应用。     

正合Borel子代数的旗导出的强共轭作用

设拟遗传代数A有强正合Borel子代数. 证明了对$A$的任意标准半单子代数S,均存在A的正合Borel子代数B, 使得S是B的极大半单子代数. 由正合Borel子代数构成的旗的最大长度等于A的半径与其Grothendick群的秩之差加1. 正合Borel子代数的共轭类惟一当且仅当A是basic代数;正合Borel子代数的共轭类个数为2当且仅当A是半单代数.非basic非半单拟遗传代数的正合Borel子代数的共轭类个数或者为0或者不小于3. 正合Borel子代数的内自同构群诱导出在A上的强共轭作用, 其全体的集合与$A$的全体极大半单子代数之集合的强轨道的集合一一对应. 所有正合Borel子代数彼此是基共轭的, 即若B与C均是A的正合Borel子代数, 则存在A的幂等元e及可逆元u, 使得eCe=u^-1eBeu.     

2×2上三角算子矩阵的Drazin谱

设MC=[A C 0 B]是从Hilbert空间H⊕K到H⊕K中的2×2上三角算子矩阵.该文主要研究MC的Drazin可逆性和MC的Drazin谱.此外,对给定算子A∈B(H)和B∈B(K),将给出在一定条件下所有上三角算子矩阵Mc的Drazin谱的交∩C∈B(K,K)σD(MC)的具体表达式.     

算子方程的解及算子张量积

本文讨论Hilbert空间上一类三阶二元算子方程组A^*AC = αA^*A² + βAA^*A;AA^*C = λA^*A² + γAA^*A,给出所有重交换的解(A,C).作为应用,得到算子张量积A(?)B+C(?)D和A₁(?)A₂(?)…(?)A_n为拟正规算子的充分必要条件.     

有向三元系超大集的存在谱

一个v 阶有向三元系,记为DTS(v,λ), 是指一个对子(X, B),这里X为v元集, B为X上一些可迁三元组(简称区组) 构成的集合, 使得X上每个由不同元素组成的有序对都恰在B的λ个区组中出现. 一个有向三元系的超大集,记为 OLDT(v,λ), 是指一个集合(Y{y}, A_I)_I, 其中Y为v+1元集, 每个(Y{y}, A_I)是一个DTS(v,λ), 并且所有 A_I 形成 Y上全部可迁三元组的分拆. 讨论OLDTS(v,λ)的存在性问题, 并且给出结论: 存在OLDTS(v,λ) 当且仅当 λ=1 且v≡0,1 (mod 3), 或 λ=3且v≠2.     

算子方程AX=P和XA=Q解的唯一性

1引言 设H是Hilbert空间,B(H)是H上有界线性算子全体生成的Banach代数.设A∈B(H),用A*,R(A)和N(A)分别表示A的自伴算子,A的值域和A的核空间.用I(H)={[P∈B(H)):P=P2}表示H上所有幂等算子组成的集合.当P2=P=P*时,称幂等算子P为正交投影.设M是Hilbert空间H的...     

L型Lie代数中元素的中心化子

研究L型Lie代数中元素的中心化子的构成, 得到L型代数L (A, α, δ)为半单代数的一个充分条件; 在单Lie代数L (A, α, δ)中Z (ω)=Fω成立的条件, 其中"ω∈L (A, α, δ), Z (ω)是ω在L (A, α, δ)中的中心化子.     

组合扰动界: II. 极分解

本文旨在研究极分解A=QH的扰动界, 其中Q是酉矩阵和H是Hermite半正定矩阵. 此前人们已经分别得到了酉极因子, Hermite极因子和A的奇异值的最优(渐近)扰动界为: 其中Σ=diag(σ₁,σ₂,¼, σ_r,0, ¼,0)并且σ_r表示矩阵A最小的非零奇异值. 本文我们给出如下组合的扰动界 和 上述两个渐近界对其中的每个因子来说都是最优的. 另外, 也给出相应的绝对扰动界.