Основные определения и теоремы к зачету по функциональному анализу