Functional analysis for factorization algebras: differentiable vector spaces