A condition for a subspace of image to be an ideal Original Research Article

Let H be a real or complex Hilbert space with dim H> 1. The subspace image is an ideal if and only if image for every image, image. Every element of image is the finite sum of TA − AT* type operators.