>>449 つづき

定義

H がヒルベルト空間であるとは、H は実または複素内積空間であって、さらに内積によって誘導される距離関数に関して完備距離空間をなすことを言う[2]。ここで、H が複素内積空間であるというのは、H は複素線型空間であって、その上に内積、即ち H の元の対 x, y に複素数 ?x,y? を対応させる写像であって、条件

１．?y,x? は ?x,y? の複素共役である：
　 ? y , x ? = ? x , y ? ￣ ..
２．?x,y? は第一引数に関して線型である[3]： 任意の複素数 a, b に対して
　 ? a x 1 + b x 2 , y ? = a ? x 1 , y ? + b ? x 2 , y ?
３． 内積 ??, ?? は正定値である：
　 ? x , x ? ? 0
　 かつ等号成立は x = 0 と同値。

を満たすものが存在することをいう。

つづく