質問: <σ[i=1..n]c_iv_i,σ[i=1..n]d_if(v_i)> と書ける。。。 からどのようにして証明してけばいいのでしょうか?
回答: 解決されたようですが、一言補足: > でもkabaokaba様のお話しだと自己随伴"= (for∀x,y∈v)"の部分は不要そうですね。 実は「positive の定義:≧0(∀x∈v)」 から、自己随伴性は自動的に導かれます。 よろしかったらチャレンジしてみてください。