The four claims below show that has a bounded inverse and that the Cayley transform of a bounded accretive operator is contractive. For an arbitrary , write . ThenTaking the supremum over the unit ball gives
The lower bound in (ii) makes the image of closed: if converges, the bound makes Cauchy; completeness gives its limit and hence a image preimage. The same bound applies to by (iii), so its kernel is zero. The orthogonal complement identityshows that the image is dense, using the orthogonal decomposition by a closed subspace for its closure. Being both closed and dense, it equals . Thus is onto and bounded below, and by part 3(a)(iii) it has a bounded inverse. Moreover
Articles by others on the same topic
There are currently no matching articles.