Banach and Hilbert spaces of vector-valued functions: Their general theory and applications to holomorphy