Hilbert spaces have the strong Banach-Stone property for Bochner spaces (Q1822309)

The surjective isometries between separably-valued Bochner spaces \(L^ p(\mu _ i,V_ i)\) are fairly well described [see \textit{P. Greim}, Lect. Notes Math. 1033, 209-218 (1983; Zbl 0524.46020) for references and some results]. The known Banach-Stone theorems for non-separable range spaces yield in some cases the isomorphism of the underlying measure algebras [see \textit{P. Greim}, Trans. Am. Math. Soc. 287, 819-828 (1985; Zbl 0555.46013) for references and some results], but in no case is an explicit description of the isometries given. In this paper it is shown that for Hilbert range spaces there is such an explicit description: \(Tx(s)=T_ S(f(s)\Phi x(s))\), where the \(T_ S\) are surjective isometries between the range spaces, f is a suitable weight function, and \(\Phi\) extends, in a canonical manner, a set isomorphism between the two measure algebras.