Skip to main content
3 of 3
added 18 characters in body
Terry Tao
  • 114.1k
  • 33
  • 462
  • 539

By adapting Popa's short (and slick) proof in

Popa, Sorin, On commutators in properly infinite W*-algebras, Invariant subspaces and other topics, 6th int. Conf., Timisoara and Herculane/Rom. 1981, Operator Theory: Adv. Appl. 6, 195-207 (1982). ZBL0529.46043.

of the Wiener-Weilandt theorem that the identity is not the commutator of two bounded operators, one can directly answer the OP's question without the need to invoke the result of Kadison, as follows.

If for contradiction we had $Dx=1$ for some $x \in A$, then we have $D(x^n) = n x^{n-1}$ for all $n \geq 1$, hence $D^n(x^n)=n!$. But $\|D^n(x^n)\| \leq \|D\|_{op}^n \|x\|^n$ grows at most exponentially in $n$, giving the required contradiction.

This argument in fact gives the more quantitative lower bound $\|Dx-1\| \geq \exp( - \|D\|_{op} \|x\|)$ when worked out more carefully; see Popa's paper for further discussion. There are also constructions that give somewhat matching upper bounds; see this recent paper of myself (for the case $A=B(H)$) and of Krishna-Johnson (for more general C^* algebras).

Terry Tao
  • 114.1k
  • 33
  • 462
  • 539