で与えられるは空間の完全正規直交系である。