双線型汎関数、エルミート、正定値について

　AをC上の線形空間とし、φ：A×A→Cを双線型汎関数とするとき、
　
　φがエルミート←→φ（a、a）はRの元であることを示せ　（aは任意のAの元）


という問題がわからないので教えてください。
よろしくお願いします。


（Cは複素数体、Rは実数体です。）

No.2 回答者： Tacosan 回答日時： 2014/03/14 00:49

念の為ここでいう「双線型」の定義を確認したいところだけど, 例えば

φ(a+b, a+b)
とか
φ(a+ib, a+ib)
とかをごりごり処理していったらなにか出てこないかな.

No.1 回答者： Tacosan 回答日時： 2014/03/13 00:05

具体的にはどこがどうわからない?

この回答への補足

すみません、質問の仕方が雑でした。

Φ（a,a)が実数ならば、Φ（a,b)とΦ（b,a)の共役複素数が等しい（Φがエルミート）

という事を示すのに、Φ（a,a)が実数であることがどのように
関わってくるのかがわかりません。

補足日時：2014/03/13 23:01