逆関数の存在は簡単ですね
関数がC1級ならば逆関数もC1級という話も、微分という演算が線型であるという所から行列を使うことになります
またまた線型代数でした
しかし局所的な議論たけなので大域的な問題はまた別の議論が必要です