あるヒルベルト空間 HHH が与えられたとき、それ上の連続線形汎関数 f∈H∗f \in H^{*}f∈H∗ は、 HHH 上のある点 x0x_0x0 がただひとつ存在して、 f(x)=⟨x,x0⟩f(x) = \langle x, x_0 \ranglef(x)=⟨x,x0⟩ を満たす。
ヒルベルト空間を有界関数全体として、線形汎関数を [a,b][a, b][a,b] の定積分操作とするときにもこれが当てはまり、ある関数 fff が存在して、 fff との内積操作でもって任意の関数の積分値を計算できる。
(その実、 [a,b][a,b][a,b] で 111, それ以外で 000 になるような関数のことである)
http://yeaf.web.fc2.com/sub1.html
ヒルベルト空間
内積が定義されるベクトル空間の一般化。
再生核ヒルベルト空間
(なにこれ): 正定値カーネルに対して 1 対 1 で定義されるヒルベルト空間
ヒルベルト空間上の超平面と点の距離
https://yamagensakam.hatenablog.com/entry/2021/07/25/184016
複素ベクトルの内積
x,y∈Cn\bm{x}, \bm{y} \in \mathbb{C}^nx,y∈Cn に対して、
これは、ヒルベルト空間の内積の定義を満たす。