A characterization of real Hilbert spaces using the Bochnak complexification norm.

Abstract

In this paper we find an alternative description of the Bochnak complexification of a real Hilbert space. This new interpretation of the Bochnak norm lets us give a characterization of a real inner product space.