INVERSE AND IMPLICIT FUNCTION THEOREMS FOR NONCOMMUTATIVE FUNCTIONS ON OPERATOR DOMAINS

Classically, a noncommutative function is defined on a graded domain of tuples of square matrices. In this note, we introduce a notion of a noncommutative function defined on a domain Omega subset of B(H)(d) , where H is an infinite dimensional Hilbert space. Inverse and implicit function theorems in this setting are established. When these operatorial noncommutative functions are suitably continuous in the strong operator topology, a noncommutative dilation-theoretic construction is used to show that the assumptions on their derivatives may be relaxed from boundedness below to injectivity.