量子力学において必要になる概念なので定義ですけれど再度眺めてみることにします。 （定義） 実数体上の線形空間Ｈは、内積（u,v）が与えられノルム‖u‖=√（u,u）から決まる距離に関して完備性をもつものである 距離空間が完備であるとは 『任意のコーシー列…