Vector calculus on weighted reflexive Banach spaces

We study first-order Sobolev spaces on reflexive Banach spaces via relaxation, test plans, and divergence. We show the equivalence of the different approaches to the Sobolev spaces and to the related tangent bundles.