Apresentar ferramentas de análise funcional para o tratamento de equações em dimensão infinita, em especial a teoria espectral e de operadores lineares.