Resumo: Neste trabalho estudaremos teoremas sobre pontos fixos, a citar, Banach, Brouwer, Schauder e Schaefer, e apresentamos algumas aplicações destes. Para o de Banach, sua demonstração fornece um processo interativo para encontrar o ponto fixo. Munidos dos resultados sobre Lagrangianas nulas provamos que não existe uma retração suave da bola unitária em sua fronteira. Utilizando ideias de função suavizante constatamos que não existe retração contínua, com a posse desses fatos demonstramos o teorema do ponto fixo de Brouwer. O teorema de Schauder, é uma generalização do teorema de Brouwer, cuja prova é obtida por aproximações de aplicações com imagens de dimensão finita, e pelo teorema do ponto fixo de Brouwer conseguimos provar o resultado. Sobre aplicações compactas e um certo conjunto limitado, definimos uma aplicação nas hipóteses do teorema de Schauder onde computamos a existência de um ponto fixo que a fortiori é o ponto fixo desejado no teorema do Schaefer. Trazemos como resultados do teorema do ponto fixo de Banach as equações integrais de Fredholm e Volterra, o teorema de Picard-Lindelöf sobre sistema de equações diferenciais ordinárias e a existência de solução fraca de uma equação diferencial parabólica semilinear. Como aplicações dos teorema de Schauder e Schaefer comprovamos a existência de solução fraca para equações diferenciais elípticas semilinear e quase linear
Abstract: This work is concerned with the Fixed Point theorems, more precisely, we deal with the Banach, Brouwer, Schauder and Schaefer theorems, and their applications. For the proof of Banach?s theorem, the iterative process has been presented providing the successive approximation algorithm for applications. In order to prove the Brouwer Fixed Point theorem, we show that there is no continuous retraction from the unit ball into its boundary. The machinery of the Null- Lagrangian and some Functional Analysis results are used. The Shauder theorem is proven as a generalization of the Brouwer Fixed Point theorem to the infinite-dimensional compact and convex sets. Finite-dimensional projections are used for continuous operators to show the to be possessed with a fixed point. As a corollary, we prove in the sequel the Schaefer Fixed Point theorem which is useful to solve boundary and initial-boundary value problems for non-linear differential equations |