Pontrjagin空间上一般算子代数弱闭和一致闭的等价条件

本文研究Pontrjagin空间上一般算子代数弱闭和一致闭的等价条件,得到定理:设C0(U),C1(U,L,R,D,V),C2a(U),C2b(U,R),C3a(U),C3b(U,R)分别是Ⅱk空间上第0,Ⅰ,Ⅱa,Ⅱb,Ⅲa和Ⅲb类的算子代数,则(1)C0(U),C2a(U)或C3a(U)为一致闭(弱闭)的等价条件是U是Hibert空间G上的C*-代数(W*-代数;(2)C1(U,L,R,D,V)为一致闭(弱闭)的等价条件是U是Hibert空间H上的C*-代数(W*-代数),并且R是闭子空间,V是闭算子,L对称闭的;(3)C2b(U,R)或C3b(U,R)为一致闭(弱闭)的等价条件是U是Hibert空间H上的C*-代数(W*-代数),并且R是闭子空间．     

三角代数上Lie三重导子的刻画

设u=Tri(A,M,B)是三角代数.证明了在一般的假设下,如果线性映射δ:u→u,满足对任意的U,V,W∈u且UV=UW=0(或U·V=U·W=0),有δ([[U,V],W])=[[δ(U),V],W]+[[U,δ(V)],W]+[[U,V],δ(W)],则对任意U∈u,δ(U)=φ(U)+h(U),其中φ:u→u是一个导子,线性映射h:u→Z(u),满足对任意的U,V,W∈u且UV=UW=0(或U·V=U·W=0),有h([[U,V],W])=0.     

Sierpinski地毯Hausdorff测度的一个初等证明

设Sm为压缩比为1/m（m≥4）的Sierpinski地毯,Sn为产生Sm的第n级基本正方形集合,U为平面点集,U的直径|U|＞0,αn（U）表示Sn中与U相交的基本正方形的个数,本文用初等方法证明了对充分大的n有,从而证明了Sm的s-维Hausdorff测度Hs（Sm）＝2s/2．     

不含三角形的图的λ3-最优性的充分条件

设G=(V,E)是一个连通图,边集S(?)E是一个3-限制性边割,如果G-S是不连通的并且G-S的每个分支至少有三个点.图G的3-限制性边连通度λ_3(G)是G中最小的一个3-限制性边割的基数.图G是λ_3(G)连通的,如果3-限制性边割存在.G是λ_3-最优的,如果λ_3(G)=ξ_3(G),其中ξ_3(G)=min{|[U,(?)]|:U(?)V,|U|=3 and G[U]是连通的).G[U]表示V的子集U的导出子图,(?)=V\U表示U的补.[U,(?)]是一条边的一个端点在U中另一个端点在(?)中的边的集合.本文给出了不含三角形的图是λ_3-最优的一些充分条件.     

素环的李结构

设R是一个咎征非2的素环，U是R的一个平方封闭的李理想，d1，d2，d是R的导子，δ是R的广义导子．本文证明了U为中心李理想，如果以下条件之一成立：（1）d（x）od（y）=xoy；（2）d（x）οd（y）＋xοy=0；（3）d1（x）οd2（可）=0；（4）δ（[x，y]）=0；（5）δ（xοy）=0对所有的x，y∈U．     

向量空间中拟不变元素的结构

设Ｖ是有限域上Ｆ的向量空间,Ｇ是Ｖ上的线性变换群．本文讨论了Ｖ中拟不变元素的结构·即如果Ｕ是Ｖ中的拟不变元,则存在ｇ∈Ｇ,使得Ｕ∩ｇ（Ｕ）是Ｇ-不变的,或存在ｘ∈ Ｖ＼Ｕ,使得 Ｖ＋是 Ｇ不变的．     

三角代数上Jordan高阶导子的刻画

设u=Tri(A,M,B)是含单位元I的三角代数,()={()_n}_(n∈N)是u上一簇线性映射.本文证明了:如果对任意U,V∈u且UV=VU=I,有()_n(UV+VU)=∑_(i+j=n)(()_i(U)_(()_j)(V)+()_i(V)()_j(U)),则()={()_n}_(n∈N)是u上高阶导子.作为应用,得到了套代数上Jordan高阶导子的一个刻画.     

关于素环广义导子和对称双导的几点备注

设R是素环,I是R的非零理想,如果R容许一个非单位映射的左乘子使得对所有x,y∈I满足δ(x°y)=x°y或δ(x°y) x°y=0,那么R可交换.此外,如果R是2-扭自由的素环,U是平方封闭的李理想,γ是伴随导子非零的广义导子,B:R×R→R是迹函数为g(x)=B(x,x)的对称双导,当下列条件之一成立时U为中心李理想(1)γ同态作用于U(2)2[x,y]-g(xy) g(yx)∈Z(R)(3)2[x,y] g(xy)-g(yx)∈Z(R)(4)2(x°y)=g(x)-g(y)(5)2(x°y)=g(y)-g(x)对所有的x,y∈U.     

弱闭T(N)-模的预零化子的等距映射

本文刻划了弱闭T(N)-模的预零化子间的等距映射.设u,W分别为由左连续序同态N→~N和N→~N所确定的弱闭T(N)-模, u(?),W(?)分别为u,W的预零化子,Φ为由u(?)到W(?)上的线性等距映射.若(0)*=(0)#=(0),dim(0)+≠1且min{dim(H(?)~H),dim(He(?)^H)}≥2,则存在酉算子Ui,Vi(i=1,2),使得Φ(A)=U1AV*1或Φ(A)=U2A*V2*.     

不具有性质(wa)的拓扑空间

设（X，T）是拓扑空间，如果对于任意的开覆盖u和任意的稠密子集D存在X的离散子集F∪→D使得St(F,u)=∪{U∈u:U∩F≠φ}=X，则称（X，T）具有性质（wa)，每一正规空间都具有性质（wa)。M.V.Matveev举例说明了T1空间可以不具有性质(wa)，本文证明了存在很多Hausdorff空间不具有性质（wa)，且进一步举例说明了Tychonoff空间可以不具有性质（wa)，这些结果回答了Matveev的问题。     

On the conjugacy classes in maximal unipotent subgroups of simple algebraic groups

Let G be a simple algebraic group over the algebraically closed field k of characteristic p ≥ 0. Assume p is zero or good for G. Let B be a Borel subgroup of G; we write U for the unipotent radical of B and u for the Lie algebra of U. Using relative Springer isomorphisms} we analyze the adjoint orbits of U in u. In particular, we show that an adjoint orbit of U in u contains a unique so-called minimal representative. In case p > 0, assume G is defined and split over the finite field of p elements F_p. Let q be a power of p and let G(q) be the finite group of F_q-rational points of G. Let F be the Frobenius morphism such that G(q) = G^F. Assume B is F-stable, so that U is also F-stable and U(q) is a Sylow p-subgroup of G(q). We show that the conjugacy classes of U(q) are in correspondence with the F-stable adjoint orbits of U in u. This allows us to deduce results about the conjugacy classes of U(q).     

多重拉普拉斯运算的扩充

<正> 设 U(P)≡U(x,y)为一二元的可积函数,我们以μ(U;P;r)代表 U(x,y)在以 P 为中心,r 为半径的圆周上之平均值,而以 V(U;P;r)代表 U(x,y)在以P为中心,r 为半径的圆域内部的平均值,即     

环的左(N,U)-凝聚维数

设R和S是环,U是平坦右R-模,V是平坦右S-模.本文中我们证明了(N,(U,V))-lc.dim(R⊕S)=sup((N,U)-lc.dim R,(N,V)-lc.dimS).     

极分解定理的注记

设H和K是Hilbert空间.首先,对给定的算子T∈B（H,K）,刻画了集合U_T={U∈B（H,K）：U是部分等距算子并且T=U（T^*T）^1/2}. 其次,对部分等距算子U∈B（H,K）,还给出集合T_U={T∈B（H,K）：N（T）=N（U）,R（T）=R（U）,T=U（T^*T）^1/2}的刻画. 最后,作为主要结果的应用得到了相关结论.     

三角代数上 Jordan 积为幂等元处的高阶ξ-Lie 可导映射

设U=Tri（A，M，B）是三角代数，{φ_n}_n∈N：U→U是一列线性映射.本文利用代数分解的方法，证明了如果对任意U，V∈U且U?V=P为标准幂等元，有φ_n（[U，V]_ξ=Σ_i+j=n（φ_i（U）φ_j（V）-ξφ_i（V）φ_j（U））（ξ≠1），则{φ_n}_n∈N是一个高阶导子，其中φ₀=id为恒等映射，U?V=UV+VU为Jordan积，[U，V]_ξ=UV-ξVU为ξ-Lie积.     

Local Theory of Primitive Theta Functions

We study primitive theta functions, which were first introduced by Shintani, in a purely local setting. We investigate a metaplectic representation of U(1) acting on the space of local primitive theta functions and give its explicit irreducible decomposition. As a by-product, we give a new proof of epsilon dichotomy for (U(1),U(1)).     

量子群U_q(f(K))的局部有限子代数的稳定理想

利用量子群U=U_q(f(K))的表示理论及其局部有限子代数F(U)的子模结构,证明了U_q(f(K))的局部有限子代数F(U)的任一非零理想均可由若干个具有不同权的最高权向量的和生成.     

A consistent local linear estimator of the covariate adjusted correlation coefficient

Consider the correlation between two random variables (X, Y), both not directly observed. One only observes X? = φ(1)(U)X + φ(2)(U) and ? = ψ(1)(U)Y + ψ(2)(U), where all four functions {φ(l)(·),ψ(l)(·), l = 1, 2} are unknown/unspecified smooth functions of an observable covariate U. We consider consistent estimation of the correlation between the unobserved variables X and Y, adjusted for the above general dual additive and multiplicative effects of U, based on the observed data (X?, ?, U).     

Contractivity in the numerical solution of initial value problems

Numerische Mathematik - Consider a linear autonomous system of ordinary differential equations with the property that the norm |U(t)| of each solutionU(t) satisfies |U(t)|≦|U(0)| (t≧0)....     

Algebraic cocycles on normal, quasi-projective varieties

This paper extends to quasi-projective varieties earlier work by the author and H. Blaine Lawson concerning spaces of algebraic cocycles on projective varieties. The topological monoid C_r(Y) (U) of effective cocycles on a normal, quasi-projective variety U with values in a projective variety Y consists of algebraic cycles on U×Y equi-dimensional of relative dimension r over U. A careful choice of topology enables the establishment of various good properties: the definition is essentially algebraic, the group completion Z_r (Y) (U) has 'sensible' homotopy groups, the construction is contravariant with respect to U, convariant with respect to Y, and there is a natural 'quality map" to the topological group of cycles on U×Y. The fundamental theorem presented here is the extension of Friedlander-Lawson duality to this context: the duality map Z_r (Y) (U) to Z_{_r+m} (U × Y) is a homotopy equivalence provided that both U and Y are smooth (where m=dim U). Various application are given, especially the determination of the homotopy types of certain topological groups of algeb raic morphisms.