I am trying to understand the proof of the Fundamental Theorem of Calculus for Banach space-valued functions, and in particular, how the Theorem of Hahn-Banach is being applied there.
In the following, let $f:[x,y]\to E$ be a $C^1$-function taking values in a Banach space $E$, where $[x,y]\subset\mathbb R$ with $y\gt x$. Here, I consider $\mathbb R$ together with Lebesgue measure $\mu$.
Now the aim is to show that, $$\int_x^yf'\,d\mu=f(y)-f(x) ,$$ where the integral on the left is that of Bochner. In the proofs I have seen so far, we proceed as follows: for any $\phi\in E^*$ we have that,
In the first equality we have used the theorem which tells us that any bounded linear operator commutes with the Bochner integral (this is very similar to the more familiar Theorem of Hille), and in the second we have used the ordinary Fundamental Theorem of Calculus.
In the proofs I have looked at, we are then meant to apply the Hahn-Banach Theorem. It seems to me that we are meant to apply this Corollary:
Let $X$ be a normed vector space. If $x\in X$ is nonzero then there exists a $\psi\in X^*$ such that $\|\psi\|=1$ and $\psi(x)=\|x\|$.
Since the above chain of equalities holds for all $\phi\in E^*$ it will hold, in particular, for that functional provided by the above Corollary. For this functional, it then follows that,
but this is where I get a little unsure on the rationale behind applying Hahn-Banach. First of all, is this the right version of the Hahn-Banach Theorem we are meant to apply? Secondly, what, exactly, am I using it to show or deduce - that is to ask, how does its application get me back to the derivation of the original aim?