計量実ベクトル空間の基底の諸定義

 計量実ベクトル空間の基底の諸定義を、https対応。