I am running into some trouble proving this statement:
There is a square-root function in a neighborhood of the identity matrix in .
Basically I need to show that there is a function from a neighborhood of into , with , such that for all .
I know that I can apply the inverse-function theorem with . But I am unsure where to begin.