TOSHI wrote:
> 　こんにちは。。。TOSHIです。
> 
> 　　任意のベクトル｜ｚ＞について＜ｚ｜A｜ｘ＞＝＜ｘ｜A~| ｚ＞*であることと
> 　＜ｚ｜ｂ｜ｙ＞＝b＜ｚ｜ｙ＞＝（b*＜ｙ｜ｚ＞）*であること。。。。。
> 　　つまり、＜ｘ｜A~| ｚ＞=b*＜ｙ｜ｚ＞であること、そして｜ｚ＞が任意である
> ことから自明ではないかと思うのですが、いかがでしょうか？
> 
> 双対空間は内積によって完全に一意的に定義され、それゆえAの共役A~は、
> 「反線形」であると思います。
> 
> 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　TOSHI
> 
TOSHI様　いつもありがとうございます。
帰宅途中にヒルベルト空間の内積について< x | y >* = < y | x >という
制限を見のがしていることに気が付きました。
あとはお示しいただいた通りですね。

柳楽＠生物系