套代数上零点广义Lie可导映射

设N是Hilbert空间H上的一个非平凡套,f是套代数AlgN上的一个连续广义零点Lie-可导映射,d是套代数AlgN上的一个连续Lie-导子。证明了,如果A,B∈AlgN且AB=0有f([A,B])=f(A)B-f(B)A+Ad(B)-Bd(A),则f([A,B])=f(A)B-f(B)A+Ad(B)-Bd(A),A,B∈AlgN。