Holomorphic families of forms, operators and C₀-semigroups

If $z\mapsto a_z$ is a holomorphic function with values in the sectorial forms in a Hilbert space, then the associated operator valued function $z\mapsto A_z$ is resolvent holomorphic. We give a proof of this result of Kato, on the basis of the Lax-Milgram lemma. We also show that the $C_0$-semigroups $T_z$ generated by $-A_z$ depend holomorphically on $z$.