由赋范实线性空间构成欧氏空间的充分必要条件

欧氏空间一般是由实线性空间中定义内积来引进度量概念,如范数、角度等。内积实质上是定义在这个空间上的一个二元函数,它具有对称性、可加性、齐次性和正定性。由不同的具有上述性质的二元函数可以在同一个空间中引进不同度量的欧氏空间。但如果给定的空间是赋范实线性空间,即在这个实线性空间中已经给定了范数,那么能否在这个空间中定义一个内积来构成一个欧氏空间,使这个欧氏空间的范数与原来的范数一致呢?一般说来,不一定可能的。(在本文末将举出例子证明这种不可能性。)