SMS: Introducao a análise funcional: espacos de Banach e cálculo diferencial