なんかうまくいきすぎて不気味つうか、なんか勘違いしてないか不安だ。変な感じがするのは、長さが定義できないのに等長埋め込みのように振る舞うとか。長さに関しては、内積が対称なら (x|x)を（平方根を取らないで）ノルムのように扱える。(x|x) = ≪x≫ と…

なるべく双対空間を使った定式化にしようとしてたら、細かい点が色々と気になりだした。まず、そもそも双対空間の定義； 標準的にU* = L(U, K) とするのが分かりやすいが、対称性に欠ける。スカラー値のペアリングを備えた2つの空間U, Wとする方法もあるが、…