The first representation theorem establishes a correspondence between positive, self-adjoint operators and closed, positive
forms on Hilbert spaces. The aim of this paper is to show that some of the results remain true if the underlying space is
a reflexive Banach space. In particular, the construction of the Friedrichs extension and the form sum of positive operators
can be carried over to this case.