We show in this paper that the module structure and the orthogonality structure of a Hilbert C∗-module determine its inner product structure. Let A be a C∗-algebra, and E and F be Hilbert A-modules. Assume Φ : E → F is an A-module map satisfying 〈Φ(x),Φ(y)〉A = 0 whenever 〈x, y〉A = 0. Then Φ is automatically bounded. In case Φ is bijective, E is isomorphic to F . More precisely, let JE be the cl...

We use the fixed point alternative theorem to prove that, under suitable conditions, every A-valued approximate isometry on a Hilbert C∗-module over the C∗-algebra A can be approximated by a unique A-valued isometry. AMS subject classifications: Primary 39B52, 39B82, 46B04, 46L08; Secondary 47H10