Functional Analysis with Applications