Additive maps derivable at some points on \(\mathcal J\)-subspace lattice algebras (Q947649): Difference between revisions

Let \(X\) be a Banach space over the real or complex field. A family \(\mathcal L\) of subspaces of \(X\) is called a subspace lattice of \(X\) if it contains \(\{0\}\) and \(X\), the closed linear span \(\bigvee_{\gamma\in\Gamma}L_\gamma\), and the intersection \(\bigwedge_{\gamma\in\Gamma}L_\gamma\) of every family \(\{L_\gamma:\gamma\in\Gamma\}\) of elements of \(\mathcal L\) are in \(\mathcal L\). For a subspace lattice \({\mathcal L}\) of \(X\), the associated subspace lattice algebra \(\operatorname{Alg}{\mathcal L}\) is the set of all operators on \(X\) leaving every subspace in \(\mathcal L\) invariant. Let \({\mathcal J}({\mathcal L})=\{K\in{\mathcal L}:K\neq\{0\}\) and \(K_{-}\neq X\}\), where \(K_{-}=\bigvee\{L\in{\mathcal L}:K\nsubseteq L\}\). A subspace lattice \(\mathcal L\) is called a \(\mathcal J\)-subspace lattice on \(X\) if \(\bigvee\{K:K\in{\mathcal J}({\mathcal L})\}=X\); \(\bigwedge\{K_{-}:K\in{\mathcal J}({\mathcal L})\}=\{0\}\); \(K\vee K_{-}=X\) (\(K\in{\mathcal J}({\mathcal L}))\); \(K\wedge K_{-}=\{0\}\) (\(K\in{\mathcal J}({\mathcal L}\))). In the paper under review, it is proved that if \(\mathcal L\) is a \(\mathcal J\)-subspace lattice on a real or complex Banach space \(X\) with \(\dim X>2\) and \(\delta:\operatorname{Alg}{\mathcal L}\to \operatorname{Alg}{\mathcal L}\) is an additive map derivable at zero point, i.e., \(\delta(A)B+A\delta(B)=0\) (\(A,B\in\operatorname{Alg}{\mathcal L}\), \(AB=0\)), then there exists an additive derivation \(\tau\) on \(\operatorname{Alg}{\mathcal L}\) and a scalar \(\lambda\) such that \(\delta(A)=\tau(A)+\lambda A\) for all \(A\in\operatorname{Alg}{\mathcal L}\). The authors also prove that if \(\mathcal L\) is a \(\mathcal J\)-subspace lattice on a complex Banach space \(X\) and \(\delta:\operatorname{Alg}{\mathcal L}\to \operatorname{Alg}{\mathcal L}\) is a linear map derivable at unit operator, i.e., \(\delta(A)B+A\delta(B)=0 ~(A,B\in\operatorname{Alg}{\mathcal L}\), \(AB=I)\), then \(\delta\) is a derivation.