# Teorema da função inversa

O teorema da função inversa é um importante resultado da análise real que estabelece a existência, ainda que localmente, de um função inversa para uma aplicação continuamente diferenciável. E embora este teorema possua equivalência com o Teorema da função implícita, cujas ideias apereceram inicialmente nos escritos de Isaac Newton, Joseph Louis Lagrange (1736-1813) foi o matemático que apresentou um resultado que essencialmente é uma versão do Teorema da Função Inversa. Além da garantia da inversibilidade de aplicações, podemos utilizar este resultado para demostrar o Teorema fundamental da álgebra e resultados envolvendo superfícies regulares, no ramo da Geometria diferencial. Por outro lado, ainda existem versões generalizadas para este resultado, envolvendo funções holomorfas e aplicações definidas em Espaço de Banach, por exemplo.

## Versão na reta

Seja $f:O\to \mathbb {R} \,$ uma função de classe $C^{1}\,$ num domínio $O\,$ aberto. Se $x_{0}\in O\,$ e $f'(x_{0})\neq 0\,$ então existe um intervalo $(x_{0}-h,x_{0}+h)\subseteq O\,$ onde a $f\,$ é injetora e, portanto, sobrejetiva em sua imagem. Ademais, se $f^{-1}\,$ é a inversa de $f\,$ em sua imagem, temos:
    $\left.{\frac {df^{-1}(y)}{dy}}\right|_{y=f(x)}=\left({\frac {df(x)}{dx}}\right)^{-1}$

## Versões em $\mathbb {R} ^{n}$

* Seja $f:U\longrightarrow \mathbb {R} ^{n}$ uma função de classe ${\mathcal {C}}^{k}\,(k\geqslant 1)$ em um aberto $U\subset \mathbb {R} ^{n}$. Se $\alpha \in U$é tal que $f'(\alpha ):\mathbb {R} ^{n}\to \mathbb {R} ^{n}$ é invertível então existe uma bola aberta $B={\mathcal {B}}(\alpha ;\delta )\subset U$ tal que restrição $f|_{B}$ é um difeomorfismo sobre um aberto $V\ni f(\alpha )$.
* Sejam $U\subset \mathbb {R} ^{n}$um aberto e $f:U\subset \mathbb {R} ^{n}\longrightarrow \mathbb {R} ^{n}$de classe ${\mathcal {C}}^{k}(1\leqslant k\leqslant \infty )$ tal que, em um ponto $x_{0}\in U,f'(x_{0})\in {\mathcal {L}}(\mathbb {R} ^{n})$ é um isomorfismo. Então $f$ é um difeomorfismo de classe ${\mathcal {C}}^{k}$ de uma vizinhança $V$de $x_{0}$sobre uma vizinhança $W$de $f(x_{0})$.

## Métodos de demonstração

Dentre os diversos métodos de demonstração do Teorema da função inversa, podemos destacar os métodos utlizados para as versões acima.
Na primeira versão, utilizamos fundamentalmente um resultado que garante que o inverso de um homeomorfismo de classe $C^{1}$entre abertos é diferenciável de modo que para demonstrar que $f|_{B}$ é difeomorfismo, faz-se necessário mostrar apenas que $f(B)\ \subset \mathbb {R} ^{n}$é aberto, em que B é definido a partir da hipóstese que $f'(\alpha ):\mathbb {R} ^{n}\to \mathbb {R} ^{n}$é invertível e, em particular, é injetiva.
Para segunda versão, podemos considerar a demonstração mais comumente utilizada na literatura, que utiliza-se conceitos advindos da teoria de Espaços Métricos e fundamentam-se no Teorema do ponto fixo de Banach. Nesse sentido, é utilizado o resultado conhecido como perturbação da identidade para garantir que $f|_{V}$é um homeomorfismo de V em um aberto $W\ni f(x_{0})$. Além disso, podemos adequar V de modo que $f'(x)$seja invertível, restando mostrar que $f^{-1}(x)$é diferenciável e é de classe $C^{k}$, em que a primeira parte é mostrada por definição e a segunda por indução sobre k.

## Exemplo

Consideremos $f:\mathbb {R} ^{2}\to \mathbb {R} ^{2},$ definida por $f(x,y)=(e^{x}\cos y,e^{x}\sin y).$ O determinante jacobiano é:
${\begin{vmatrix}e^{x}\cos y&-e^{x}\sin y\\e^{x}\sin y&e^{x}\cos y\end{vmatrix}}=e^{2x}(\cos ^{2}y+\sin ^{2}y)=e^{2x}$
que é não-nulo para todo $(x,y)\in \mathbb {R} ^{2}.$ Concluimos que $f$ é um difeomorfismo local de classe $C^{\infty }.$

## Aplicações
### Toda matriz próxima da identidade $I_{n}$tem raiz quadrada.

Dadas as matrizes$x,m\in M(n\times n)$, diz-se que $x$é raiz quadrada de $m$quando $x^{2}=m$. Considerando a aplicação $f:M(n\times n)\to M(n\times n),f(x)=x^{2}$de classe $C^{\infty }$, sua derivada num ponto $x\in M(n\times n)$é a transformação linear $f'(x):\mathbb {R} ^{n^{2}}\to \mathbb {R} ^{n^{2}}$, dada por $f'(x)\cdot m=m\cdot x+x\cdot m$. Em particular, para $x=I_{n},$ tem-se $f'(I_{n})\cdot m=2m$, logo $f'(I_{n}):\mathbb {R} ^{n^{2}}\to \mathbb {R} ^{n^{2}}$é isomorfismo. Então, do teorema da função inversa, existe um aberto $U\subset M(n\times n)$, contendo a matriz identidade, restrita ao qual $f$ é um difeomorfismo sobre o aberto $V=f(U)$. Assim, para toda matriz $y\in V$existe uma única matriz $x=\surd y\in U$tal que $x^{2}=y$. Além disso, a aplicação $f^{-1}:V\to U,y\mapsto \surd y$é de classe $C^{\infty }$.

### Teorema fundamendal da Álgebra.

Seja $p:\mathbb {R} ^{2}\rightarrow \mathbb {R} ^{2}$um polinômio complexo não constante, $p(z)=a_{0}+a_{1}z+...+a_{n}z^{n},\,a_{n}\neq 0,\,n\geq 1$. Afirmamos que p é sobrejetivo. Em particular, existe $z_{0}\in \mathbb {R} ^{2}$tal que $p(z_{0})=0$.
A demonstração desse teorema utiliza-se inicialmente do conceito de derivada como uma transformação linear para denotar para cada $z\in \mathbb {R} ^{2}$a derivada de 𝑝 no ponto 𝑧 por $p'(z)$ e definir o conjunto $F=\{z\in \mathbb {R} ^{2}\,|\,p'(z)=0\}$. Uma vez que um polinômio não-nulo possui número finito de raízes, garantimos que o conjunto $F$, assim como $p(F)$ , é finito e consequentemente $\mathbb {R} ^{2}-p(F)$é conexo. A fim de satisfazer as hipóteses do Teorema da Função Inversa, definimos por restrição de $p$ uma nova aplicação $P:\mathbb {R} ^{2}-p^{-1}(p(F))\rightarrow \mathbb {R} ^{2}-p(F)$, garantindo que para cada $z\in P,\,z\notin F,P'(z)=p'(z)$ é um complexo não-nulo e portanto, $P'(z)$é um isomorfismo. Deste modo, pelo Teorema da Função Inversa, 𝑃 é uma aplicação aberta, e em particular, a imagem de 𝑃 é um subconjunto aberto de $\mathbb {R} ^{2}-p(F)$. Mas por outro lado, pode se mostrar que o conjunto de valores de P é um subconjunto fechado de $\mathbb {R} ^{2}-p(F)$, concluindo que a imagem de 𝑝 é aberta e fechada em $\mathbb {R} ^{2}-p(F)$, que é conexo. Portanto, P é sobrejetivo em $\mathbb {R} ^{2}-p(F)$, e como $p(F)$ está contido na imagem de $p$, tem-se que $p$ é sobrejetivo em $\mathbb {R} ^{2}$, o que conclui a demonstração.

### A inversa de aplicações lineares $i:GL(\mathbb {R} ^{n})\to GL(\mathbb {R} ^{n})$é de classe $C^{k}$.

Por simplicidade, ponhamos $U=GL(\mathbb {R} ^{n})$. Definamos $\Phi :U\times U\to U\times U$por $\Phi (X,Y)=(X,XY)$. Então $\Phi \in C^{\infty }$com $\Phi '(X,Y)\cdot (H,K)=(H,XK+HY)$. Logo $\Phi '(X,Y):{\mathcal {L}}(\mathbb {R} ^{n})\times {\mathcal {L}}(\mathbb {R} ^{n})\to {\mathcal {L}}(\mathbb {R} ^{n})\times {\mathcal {L}}(\mathbb {R} ^{n})$é um isomorfismo, cujo inverso é dado por $(A,B)\mapsto (A,X^{-1}B-X^{-1}AY)$. Segue do teorema da função inversa que $\Phi$é um difeomorfismo local e como $\Phi$é injetora, segue que é difeomorfismo. Em particular, sua inversa $\Phi ^{-1}:U\times U\to U\times U$, dada por $\Phi ^{-1}(S,T)=(S,S^{-1}T)$, é diferenciável. Seja $\eta :U\to U\times U$definida por $\eta (S)=(S,I)$A composta $\xi \circ \eta :U\to U$é diferenciável. Mas $\xi \circ \eta (S)=S^{-1}=i(S)$e, portanto, $i:U\to U$é um difeomorfismo. De $X\cdot i(X)=I$, segue-se por fiferenciação que, para todo $H\in {\mathcal {L}}(\mathbb {R} ^{n}),H\cdot I(X)+X\cdot i'(X)\cdot H=0$ e portanto, $i'(X)\cdot H=-X^{-1}HX^{-1}.$ Segue-se que $i(X)=X^{-1}$é de classe $C^{\infty }.$

## Generalizações
### Espaços de Banach

Seja $U$uma vizinhança aberta da origem de $X$e $F:U\to Y$uma função continuamente diferenciável. Suponha que a derivada de Fréchet $dF_{0}:X\to Y$de $F$ no ponto 0 é um isomorfismo linear limitado de X em Y, então existe uma vizinhança aberta $V$de $F(0)$em $Y$e uma função continuamente diferenciável $G:V\to X$tal que $F(G(y))=y,\forall y\in V$. Mais ainda, $G(y)$é a única solução suficientemente pequena x para $F(x)=y$.

### Funções holomorfas

Seja $F$ uma função holomorfa definida num aberto $U\subset \mathbb {C} ^{n}$ em $\mathbb {C} ^{n}$. Se a matriz jacobiana das derivadas complexas é inversível em um ponto $p$, então $F$é uma função inversível na vizinhança de $p$.