自反代数上的局部Lie $n$-导子

令$\mathcal{L}$是一个满足$X_{-} \neq X$和$(0)_{+} \neq(0)$的Banach空间$X$上的子空间格.我们证明了从${\rm Alg}\,L$映到$B(X)$中的每个局部Lie $n$-导子是一个Lie $n$-导子.     

从 ${\cal B}^0$ 到 $E(p,q)$ 和 $E_0(p,q)$ 空间的复合算子

设 $\varphi$ 是单位园盘 $D$ 到自身的解析映射, $X$ 是 $D$ 上解析函数的 Banach 空间, 对 $f\in X$, 定义复合算子$C_\varphi $ : $C_\varphi (f)=f\circ \varphi$. 我们利用从 ${\cal B}^0$到 $E(p,q)$ 和 $E_0(p,q)$ 空间的复合算子研究了空间 $E(p,q)$ 和 $E_0(p,q)$, 给出了一个新的特征.     

连续函数之集在上半连续函数之集中的一种拓扑位置

设$(X,\rho)$是一个度量空间. 用$\dd {\rm USCC}(X)$和$\dd {\rm CC}(X)$ 分别表示从$X$ 到 $\I=[0,1]$的紧支撑的上半连续函数和紧支撑的连续函数下方图形全体. 赋予 Hausdorff 度量后, 它们是拓扑空间. 文中证明了, 如果 $X$ 是一个无限的且孤立点集稠密的紧度量空间, 则 $(\dd {\rm USCC}(X),\dd {\rm CC}(X))\approx(Q,c_0\cup (Q\setminus \Sigma))$, 即存在一个同胚 $h:~\dd {\rm USCC}(X)\to Q$, 使得 $h(\dd {\rm CC}(X))=c_0\cup (Q\setminus \Sigma)$, 这里 $Q=[-1,1]^{\omega},\,\Sigma=\{(x_n)_{n}\in Q: {\rm sup}|x_n|<1\},\, c_0=\Big\{(x_n)_{n}\in \Sigma: \lim\limits_{n\to +\infty}x_n=0\Big\}.$ 结合这个论断和另一篇文章的结果, 可以得到: 如果 $X$ 是一个无限的紧度量空间, 则 $(\uscc(X), \cc(X))\approx \left\{ \begin{array}{ll} (Q,c_0\cup (Q\setminus \Sigma)), &;\quad \text{如 果 孤 立 点 集 在} X \text{中稠密},\\ (Q, c_0), &;\quad \text{ 其他}. \end{array} \right.$ 还证明了, 对一个度量空间$X$, $(\dd {\rm USCC}(X),\dd {\rm CC}(X))\approx (\Sigma,c_0)$ 当且仅当 $X$是一个非紧的、局部紧的、非离散的可分空间.     

带有数值条件的丰富向量丛和高维射影流形的结构

$X$是复数域上的$n$维光滑射影簇$(n \ge 3)$, $K_X $是$X$的典范丛, $E$是$X$上秩为$n - k$的丰富向量丛$(k \ge 0)$．$c_1 (E)$表示$E$的第1陈类, $\Omega $表示$X$的满足$(K_X + c_1 (E)) \cdot R \le 0$的极端半线$R ={\R_+} [C]$的集合, $\R_+$是正实数集．$\ell (R)$表示$R$的长度．定义 $ \Lambda (E,K_X ) = \max \{( - K_X - c_1 (E)) \cdot C|R ={\R_+} [C] \in \Omega ,\,\mbox{且}\,\ell (R) = - K_X \cdot C\}.$ 如果 $\Lambda (E,K_X ) \ge k$, 那么 $(X,E)$是以下五者之一: (i) $(X,E) \cong (P^n,O_{P^n} (1)^{ \oplus (n - k)}), $ (ii) $(X,E) \cong (P^n,O_{P^n} (2) \oplus O_{P^n} (1)^{ \oplus (n - k - 1)}),$ (iii) $(X,E) \cong (P^n,T_{P^n} ),$ (iv) $(X,E) \cong (Q^n,O_{Q^n} (1)^{ \oplus (n - k)}), $ (v) $(X,E)$是一条光滑曲线$Y$上的涡卷, 即$X$是$Y$上的线性$P^{n - 1}$丛, $g:X \to Y,$且对$g$的每个纤维$F$有$(F,\left. E \right|_F ) \cong (P^{n - 1},O_{P^{n - 1}} (1)^{ \oplus (n - k)})$． 这里$Q^n$是$n + 1$维射影空间$P^{n + 1}$中的超二次曲面．     

算子空间上的超循环性和混沌的左乘映射(英文)

设X是一个可分的无限维Banach空间,B(X)表示X的算子代数,即所有有界线性算子T:X→X所组成的代数.给定T∈B(X),定义一个左乘映射L_T:B(X)→B(X),L_T(V)=TV,V∈B(X).我们在算子空间B(X)上给出了一个超循环性标准,并且如果X是一个具有对称基的Banach空间,在它的对偶空间X′上也给出了一个类似的标准.此外,还讨论了算子空间B(X)上左乘映射L_T的超循环性和混沌行为与空间X上的算子T的超循环性和混沌行为之间的关系,得到T是Devaney意义下混沌的必要且只要L_T是混沌的.     

B(X)上保持约当积的固定点的满射

设B(X)是维数大于等于3的复Banach空间X上有界线性算子全体构成的代数.设A∈B(X),若Ax=x,则称x∈X是算子A的固定点.Fix(A)表示A的所有固定点的集合.本文刻画了B(X)上保持算子的Jordan积的固定点的满射.     

球覆盖性质不是同胚不变的

Banach空间$X$中的一个开球族$\ss$是$X$的球覆盖, 如果$B$中的任一元素不包含原点,且$B$中元素之并覆盖了$X$的单位球面$S_{X}$. Banach空间$X$称为具有球覆盖性质,如果$X$有一个由可数多个球组成的球覆盖. 通过在 $l^\infty$上构造等价范数证明了Banach空间$X$的球覆盖性质既不是线性同胚不变的, 也不是在商映射下不变的, 同时, 它也不具有子空间的可继承性.     

2×2阶上三角型算子矩阵的Moore-Penrose谱

设$H_{1}$和$H_{2}$是无穷维可分Hilbert空间. 用$M_{C}$表示$H_{1}\oplusH_{2}$上的2$\times$2阶上三角型算子矩阵$\left(\begin{array}{cc} A & C \\ 0 & B \\\end{array}\right)$. 对给定的算子$A\in{\mathcal{B}}(H_{1})$和$B\in{\mathcal{B}}(H_{2})$,描述了集合$\bigcap\limits_{C\in{\mathcal{B}}(H_{2},H_{1})}\!\!\!\sigma_{M}(M_{C})$与$\bigcup\limits_{C\in{\mathcal{B}}(H_{2},H_{1})}\!\!\!\sigma_{M}(M_{C})$,其中$\sigma_{M}(\cdot)$表示Moore-Penrose谱.     

Cycles Containing a Subset of a Given Set of Elements in Cubic Graphs

The technique of contractions and the known results in the study of cycles in $3$-connected cubic graphs are applied to obtain the following result. Let $G$ be a $3$-connected cubic graph, $X\subseteq V(G)$ with $|X| = 16$ and $e\in E(G)$. Then either for every $8$-subset $A$ of $X$, $A\cup\{e\}$ is cyclable or for some $14$-subset $A$ of $X$, $A\cup\{e\}$ is cyclable.     

Banach空间的逼近紧性与度量投影算子的连续性及其应用

首先给出赋范线性空间中的非空集合C的逼近紧性的等价描述. 如所周知, 如果C是Banach空间X中的一个逼近紧的半Chebyshev闭集, 那么由X到C的度量投影算子π_c是连续的. 当X是中点局部一致凸的Banach 空间, 利用Banach空间几何的技巧证得: C的逼近紧性对投影算子π_c的连续性也是必要的. 利用这个一般结论给出: 当T是由逼近紧且严格凸的Banach空间$X$到中点局部一致凸Banach空间Y的有界线性算子时, T有连续的Morse-Penrose度量广义逆T⁺$的充分必要条件.     

Additive Maps Preserving the Star Partial Order on $\mathcal{B}(\mathcal{H})$

Let $\mathcal{B}(\mathcal{H})$ be the $C^∗$-algebra of all bounded linear operators on a complex Hilbert space $\mathcal{H}$. It is proved that an additive surjective map $φ$ on $\mathcal{B}(\mathcal{H})$ preserving the star partial order in both directions if and only if one of the following assertions holds. (1) There exist a nonzero complex number $α$ and two unitary operators $\boldsymbol{U}$and$\boldsymbol{V}$ on $\mathcal{H}$ such that $φ(\boldsymbol{X}) = α\boldsymbol{UXV}$or $φ(\boldsymbol{X}) = α\boldsymbol{UX}^∗\boldsymbol{V}$ for all $X ∈ \mathcal{B}(\mathcal{H})$. (2) There exist a nonzero $α$ and two anti-unitary operators$\boldsymbol{U}$and$\boldsymbol{V}$on $\mathcal{H}$ such that $φ(\boldsymbol{X}) = α\boldsymbol{UXV}$ or $φ(\boldsymbol{X}) = α\boldsymbol{UX}^∗\boldsymbol{V}$ for all $X ∈ \mathcal{B}(\mathcal{H})$.     

自伴算子空间上保持Jordan积投影的线性映射

Let Bs(H) be the real linear space of all self-adjoint operators on a complex Hilbert space H with dim H ≥ 2.It is proved that a linear surjective map on Bs (H) preserves the nonzero projections of Jordan products of two operators if and only if there is a unitary or an anti-unitary operator U on H such that (X)=λU XU,X∈Bs(H) for some constant λ with λ∈{1,1}.     

保持算子截断的可加映射

Let H be a complex Hilbert space and B(H)the algebra of all bounded linear operators on H.An operator A is called the truncation of B in B(H)if A=P_ABP_A^*,where PA and P_A^*denote projections onto the closures of R(A)and R(A^*),respectively.In this paper,we determine the structures of all additive surjective maps on B(H)preserving the truncation of operators in both directions.     

从$L^{\infty}$空间到Bloch型空间一类奇异积分算子的范数

本文研究了单位圆盘上从$L^{\infty}(\mathbb{D})$空间到Bloch型空间 $\mathcal{B}_\alpha$ 一类奇异积分算子$Q_\alpha, \alpha>0$的范数, 该算子可以看成投影算子$P$ 的推广,定义如下$$Q_\alpha f(z)=\alpha \int_{\mathbb{D}}\frac{f(w)}{(1-z\bar{w})^{\alpha+1}}\d A(w),$$ 同时我们也得到了该算子从 $C(\overline{\mathbb{D}})$空间到小Bloch型空间$\mathcal{B}_{\alpha,0}$上的范数.     

以仿正规算子为参数的初等算子的性质

若对x∈H,‖Tx‖~2≤‖T~2x‖‖x‖,则称T是仿正规算子.d_(AB)表示δ_(AB)或△_(AB),其中δ_(AB)和△_(AB)分别表示Banach空间B(H)上的广义导算子和初等算子,其定义为δ_(AB)X=AX-XB,△_(AB)X=AXB-X,X∈B(H).若A和B~*是仿正规算子,则可证d_(AB)是polaroid算子,f∈H(σ(d_(AB))),f(d_(AB))满足广义Weyl定理,f(d_(AB)~*)满足广义a-Weyl定理,其中H(σ(d_(AB)))表示在σ(d_(AB))的某邻域上解析的函数全体.     

3$\times$3阶上三角型算子矩阵的可能谱

Let H1, H2 and H3 be infinite dimensional separable complex Hilbert spaces. We denote by M（D,V,F） a 3×3 upper triangular operator matrix acting on Hi ＋H2＋ H3 of theform M（D,E,F）=（A D F 0 B F 0 0 C）.For given A ∈ B（H1）, B ∈ B（H2） and C ∈ B（H3）, the sets ∪D,E,F^σp（M（D,E,F））,∪D,E,F ^σr（M（D,E,F））,∪D,E,F ^σc（M（D,E,F）） and ∪D,E,F σ（M（D,E,F）） are characterized, where D ∈ B（H2,H1）, E ∈B（H3, H1）, F ∈ B（H3,H2） and σ（·）, σp（·）, σr（·）, σc（·） denote the spectrum, the point spectrum, the residual spectrum and the continuous spectrum, respectively.     

Schur–Weyl Theory for C*‐algebras

To each irreducible infinite dimensional representation $(\pi ,\mathcal {H})$ of a C*‐algebra $\mathcal {A}$, we associate a collection of irreducible norm‐continuous unitary representations $\pi _{\lambda }^\mathcal {A}$ of its unitary group ${\rm U}(\mathcal {A})$, whose equivalence classes are parameterized by highest weights in the same way as the irreducible bounded unitary representations of the group ${\rm U}_\infty (\mathcal {H}) = {\rm U}(\mathcal {H}) \cap (\mathbf {1} + K(\mathcal {H}))$ are. These are precisely the representations arising in the decomposition of the tensor products $\mathcal {H}^{\otimes n} \otimes (\mathcal {H}^*)^{\otimes m}$ under ${\rm U}(\mathcal {A})$. We show that these representations can be realized by sections of holomorphic line bundles over homogeneous Kähler manifolds on which ${\rm U}(\mathcal {A})$ acts transitively and that the corresponding norm‐closed momentum sets $I_{\pi _\lambda ^\mathcal {A}}^{\bf n} \subseteq {\mathfrak u}(\mathcal {A})^{\prime }$ distinguish inequivalent representations of this type.     

Segal-Bargmann空间上带无界符号的Toeplitz算子

In this paper,we construct a function φ in L2(Cn,d Vα) which is unbounded on any neighborhood of each point in Cnsuch that Tφ is a trace class operator on the SegalBargmann space H2(Cn,d Vα).In addition,we also characterize the Schatten p-class Toeplitz operators with positive measure symbols on H2(Cn,d Vα).     

Compact and Loeb Hausdorff spaces in \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\mathsf {ZF}$\end{document} and the axiom of choice for families of finite sets

Given a set X, $\mathsf {AC}^{\mathrm{fin}(X)}$ denotes the statement: “$[X]^{<\omega }\backslash \lbrace \varnothing \rbrace$ has a choice set” and $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )$ denotes the family of all closed subsets of the topological space $\mathbf {2}^{X}$ whose definition depends on a finite subset of X. We study the interrelations between the statements $\mathsf {AC}^{\mathrm{fin}(X)},$ $\mathsf {AC}^{\mathrm{fin}([X]^{<\omega })},$ $\mathsf {AC}^{\mathrm{fin} (F_{n}(X,2))},$ $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$ and “$\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$has a choice set”. We show:

• (i) $\mathsf {AC}^{\mathrm{fin}(X)}$ iff $\mathsf {AC}^{\mathrm{fin}([X]^{<\omega } )}$ iff $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set iff $\mathsf {AC}^{\mathrm{fin}(F_{n}(X,2))}$.
• (ii) $\mathsf {AC}_{\mathrm{fin}}$ ($\mathsf {AC}$ restricted to families of finite sets) iff for every set X, $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set.
• (iii) $\mathsf {AC}_{\mathrm{fin}}$ does not imply “$\mathcal {K}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set($\mathcal {K}(\mathbf {X})$ is the family of all closed subsets of the space $\mathbf {X}$)
• (iv) $\mathcal {K}(\mathbf {2}^{X})\backslash \lbrace \varnothing \rbrace$ implies $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$ but $\mathsf {AC}^{\mathrm{fin}(X)}$ does not imply $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$.

We also show that “For every setX, “$\mathcal {K}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$has a choice set” iff “for every setX, $\mathcal {K}\big (\mathbf {[0,1]}^{X}\big )\backslash \lbrace \varnothing \rbrace$has a choice set” iff “for every product$\mathbf {X}$of finite discrete spaces,$\mathcal {K}(\mathbf {X})\backslash \lbrace \varnothing \rbrace$ has a choice set”.