套代数上的κ-Jordan可导映射

令β是维数大于1的Hilbert空间H上的套,algβ为相应的套代数.k为一非零有理数.本文证明了algβ上的k-Jordan可导映射,即δ(k(ab+ba))=k(δ(a)b+aδ(b)+δ(b)a+bδ(a)),(?)a,b∈algβ,是algβ上的可加导子.特别地,当H是无限维时,δ是内导子.我们也给出了k-Jordan三重可导映射的相应结果.     

三角代数上的交换零点Jordan可导映射

给出了三角代数上交换零点Jordan可导映射的结构.作为应用,得到了套代数上交换零点Jordan可导映射的具体形式.     

Nest代数上的在零点广义可导映射

设A为B（H）的子代数,　是A到B（H）的线性映射,我们说　在0点广义可导（广义双边可导）,如果对任意的S,T∈A且ST=0（ST=0或TS=0）,有　（ST）=　（S）T+S　（T）-S　（I）T.本文主要得到如下结果:（1）有限Nest代数上的每个范数拓扑连续的在0点广义可导的线性映射是广义内导子;（2）若N是完备Nest且H_　 H,则algN上的每个范数拓扑连续的在0点广义双边可导的线性映射是广义内导子.     

三角代数上的Jordan零点ξ-Lie可导映射

给出了三角代数上Jordan零点ξ-Lie可导映射的结构.作为应用,得到了套代数上Jordan零点ξ-Lie可导映射的具体形式.     

三角代数上的非线性(m,n)-高阶导子

设m和n是任意固定的非零整数且(m+n)(m-n)≠0,u是一个|mn(m+n)|-无挠的三角代数,D={d_k}_(k∈N)是u上的一个(m,n)-高阶可导映射.本文证明了:三角代数u上的每一个(m,n)-高阶可导映射都是高阶导子.作为结论的应用,得到了套代数或|mn(m+n)|-无挠的上三角分块矩阵代数上的每一个(m,n)-高阶可导映射都是高阶导子.     

算子代数上的Lie可导映射

设A为有单位且包含一非平凡幂等元的环,M为A双模.称δ:A→M为Lie可导映射(无可加或连续假设),若δ([A,B])=[δ(A),B]+[A,δ(B)],(?)A,B∈A.在一定条件下该文证明了Lie可导映射δ具有形式δ(A)=τ(A)+f(A),其中r:A→M是可加导子,f是从A到M的中心且满足f([A,B])=0,(?)A,B∈A的映射.由此刻画了因子von Neuamnn代数和套代数上的Lie可导映射.     

von Neumann代数上的零点(m,n)-可导映射

研究了von Neumann代数A上的零点(m,n)-可导映射,证明了:对任意固定的非零整数m,n且(m+n)(m-n)≠0,如果线性映射δ:A→A对任意满足AB=0的A,B∈A有mδ(AB)+nδ(BA)=mδ(A)B+mAδ(B)+nδ(B)A+nBδ(A),则δ是导子.     

含幂等元的环上的Jordan导子的刻画-在零点Jordan可导的可加映射

设A为包含非平凡幂等元且有单位的环(或代数),δ:A→A是可加(或线性)映射.称δ在零点Jordan可导,若δ(A)B+Aδ(B)+δ(B)A+Bδ(A)=0对任意满足AB+BA=0的A,B∈A成立.在一定条件下,证明了δ在零点Jordan可导当且仪当存在可加Jordan导子τ,使得δ(A)=τ(A)+δ(I)A对任意的A∈A成立.利用此结论,完全刻画了因子von Neumann代数上在零点Jordan可导的可加映射.此外,还刻画了一般von Neumann代数和C*代数上在零点Jordan可导的有界线性映射.     

CSL代数上的Lie导子

证明了不相关的有限宽度CSL代数上的每一个Lie导子都是内导子与作用在交换子上为零的中心值线性映射之和.     

套代数上的高阶全可导点

令N是Hilbert空间H上的非平凡完备套.若线性映射φ={φ~((n))}_(n∈N)满足对任意n∈N以及S,T∈alg N,且ST=G,φ~((n))(sT)=∑_(i+j=n)φ~((i))(S)φ~((j))(T),则称φ为alg N上的G点高阶可导映射.若G点高阶可导映射φ={φ~((n)))}_(n∈N)为高阶导子,则称G为alg N上的高阶全可导点.本文证明了,G∈alg N为高阶全可导点当且仅当G≠0.     

Characterizations of ( m,n )-Jordan Derivations and ( m,n )-Jordan Derivable Mappings on Some Algebras

Let R be a ring, M be a R-bimodule and m, n be two fixed nonnegative integers with m + n = 0. An additive mapping δ from R into M is called an(m, n)-Jordan derivation if(m +n)δ(A~2) = 2 mAδ(A) + 2nδ(A)A for every A in R. In this paper, we prove that every(m, n)-Jordan derivation with m = n from a C*-algebra into its Banach bimodule is zero. An additive mappingδ from R into M is called a(m, n)-Jordan derivable mapping at W in R if(m + n)δ(AB + BA) =2mδ(A)B + 2 mδ(B)A + 2 nAδ(B) + 2 nBδ(A) for each A and B in R with AB = BA = W. We prove that if M is a unital A-bimodule with a left(right) separating set generated algebraically by all idempotents in A, then every(m, n)-Jordan derivable mapping at zero from A into M is identical with zero. We also show that if A and B are two unital algebras, M is a faithful unital(A, B)-bimodule and U = [A M N B] is a generalized matrix algebra, then every(m, n)-Jordan derivable mapping at zero from U into itself is equal to zero.     

Sulla derivabilità di una funzione rispetto ad un'altra

In this paper we establish some characterizations of functions which are derivable or approximately derivable almost everywhere with respect to another one supposed increasing.     

Jordan higher derivable maps on triangular algebras by commutative zero products

In this paper, the structure of Jordan higher derivable maps on triangular algebras by commutative zero products is given. As an application, the form of Jordan higher derivable maps of nest algebras by commutative zero products is obtained.     

Continuous iterations of dynamical maps: An axiomatic approach

In this paper, an axiomatic definition of continuous iterations of a dynamical map is provided. From the axioms that define common properties of all continuous iterations, it will be demonstrated that continuous iterations that are also derivable must satisfy a certain nonlinear differential equation, herein referred as the “Equation of Derivable Continuous Iterations”. A general solution of this equation will be obtained by means of the Laplace transform and it will be shown that derivable continuous iterations of a map must have a certain functional form. A formula for analytically calculating derivable continuous iterations of maps with at least a fixed point is provided.     

Intuitionistic Frege systems are polynomially equivalent

In a paper by Cook and Reckhow (1979), it is shown that any two classical Frege systems polynomially simulate each other. The same proof does not work for intuitionistic Frege systems, since they can have nonderivable admissible rules. (The rule A/B is derivable if the formula A → B is derivable. The rule A/B is admissible if for all substitutions σ, if σ(A) is derivable, then σ(B) is derivable.) In this paper, we polynomially simulate a single admissible rule. Therefore any two intuitionistic Frege systems polynomially simulate each other. Bibliography: 20 titles. Published in Zapiski Nauchnykh Seminarov POMI, Vol. 316, 2004, pp. 129–146.     

A proof-search procedure for intuitionistic propositional logic

A sequent root-first proof-search procedure for intuitionistic propositional logic is presented. The procedure is obtained from modified intuitionistic multi-succedent and classical sequent calculi, making use of Glivenko’s Theorem. We prove that a sequent is derivable in a standard intuitionistic multi-succedent calculus if and only if the corresponding prefixed-sequent is derivable in the procedure.     

Jordan higher all-derivable points on nontrivial nest algebras

Let A be a Banach algebra with unity I and M be a unital Banach A-bimodule. A family of continuous additive mappings D=(δ_i)_i∈N from A into M is called a higher derivable mapping at X, if δ_n(AB)=∑_i+j=nδ_i(A)δ_j(B) for any A,B∈A with AB=X. In this paper, we show that D is a Jordan higher derivation if D is a higher derivable mapping at an invertible element X. As an application, we also get that every invertible operator in a nontrivial nest algebra is a higher all-derivable point.