设z为内积空间X一固定元。求证：
f(x)=＜x，z＞，x∈X
定义了X上范数为‖z‖的有界线性泛函证明若映射X→X'，z→f为满射，则X必为Hilbert空间。