完全な正規直交関数系は線形計量空間を作るそうですが
その正規直交関数系が作れる関数の集合の中ならば、別に任意の関数について
完全性がなくとも線形計量空間が作れると思うのですが…
やはり完全な正規直交関数系でないと計量空間は作れないのでしょうか？