# Isomorphism of Hilbert modules

In Hilbert space theory if we have a linear bijection $U:H \to K$ which is an isometry, then it preserves inner products. Suppose now that you have two (right) Hilbert modules $X,Y$ (say, over the same $C^*$-algebra $B$) and a $B$-linear isomorphism $T:X \to Y$ which is an isometry (recall that the norm in Hilbert module is defined via $\|x\|^2_X:=\| \langle x,x\rangle\|_B$). Does it follows that $T$ preserves $B$-valued inner products?

• $(a+b)^2=a^2+2ab+b^2$? Dec 30, 2014 at 20:49
• I take it Alex is coyly referring to a polarization identity. Nik's answer seems more adequate. Dec 31, 2014 at 0:40
• @Todd --- the subtlety is that we don't know $\langle x,x\rangle = \langle Tx, Tx\rangle$ --- then Alex's answer would work --- we only know $\|\langle x,x\rangle\|_B = \|\langle Tx, Tx\rangle\|_B$. The "inner product" on a Hilbert module takes values in a C*-algebra, but the norm is still a scalar. Dec 31, 2014 at 1:13

In fact, the inner product can be recovered from the norm and $B$-module structure by the formula $\langle x,x\rangle = \sup\{r(x)^*r(x): r: X \to B$ is $B$-linear and $\|r\| \leq 1\}$, and then you get $\langle x,y\rangle$ by polarization.