Path: ccsf.homeunix.org!ccsf.homeunix.org!news1.wakwak.com!nf1.xephion.ne.jp!onion.ish.org!news.daionet.gr.jp!news.yamada.gr.jp!newsfeed.media.kyoto-u.ac.jp!jpix!news0.dion.ne.jp!feed1.dion.ne.jp!news1.dion.ne.jp!53ab2750!not-for-mail
Message-ID: <40CE151C.2000300@d5.dion.ne.jp>
From: =?ISO-2022-JP?B?GyRCTHgzWkA5Q0sbKEI=?= <nagira@d5.dion.ne.jp>
Reply-To:  nagira@d5.dion.ne.jp
User-Agent: Mozilla/5.0 (Macintosh; U; PPC; ja-JP; rv:1.0.2) Gecko/20030208 Netscape/7.02
X-Accept-Language: ja,en
MIME-Version: 1.0
Newsgroups: fj.sci.math
Subject: =?ISO-2022-JP?B?GyRCJVIlayVZJWslSDZ1NFYkTkFQQlA2dTRWGyhC?=
Content-Type: text/plain; charset=ISO-2022-JP
Content-Transfer-Encoding: 7bit
Lines: 26
Date: Tue, 15 Jun 2004 06:14:04 +0900
NNTP-Posting-Host: 219.108.221.147
X-Trace: news1.dion.ne.jp 1087247516 219.108.221.147 (Tue, 15 Jun 2004 06:11:56 JST)
NNTP-Posting-Date: Tue, 15 Jun 2004 06:11:56 JST
Organization: DION Network
Xref: ccsf.homeunix.org fj.sci.math:1224

柳楽です。よろしくお願いします。内積に関して物理記述法をお許しください。

ヒルベルト空間の定義は内積空間でその内積から定義されたノルムに関して
完備なものということになっていると思います。
n次元複素列ベクトル空間に内積 < x | y > = Σ_i　x_i* y_iを入れた
空間C^nとのアナロジーで説明されることが多いので分かっているつもり
でしたがよくよく考えるとわからないことがでてきました。

C^nの場合、 | x > のi列成分をx_iとして < x | はi行成分がx_i*
(*は複素共役)である行ベクトルをあてることにより双対空間の元 < x |を
1対１対応させていますが一般のヒルベルト空間では | x >の共役元 < x |は
双対空間の元であることは確かですが、特に取り方が決まっていないように
見えますがどうなのでしょう？内積が定義されているので二つの元
| x >, | y >に対して写像 H^2∋ | x > , | y >  ->  < y | x >が
決められているので < x |も決められているということでしょうか？
今、困っているのは、Hに作用する線形演算子Aについて
 A | x > = b | y >　ならば　 < x  |A~ = b* < y |
(A~はAの共役演算子で< A~ y | x > = < y | A x >により定義）
を上記 C^nとのアナロジーなしで(C^nでは両辺のエルミート共役を
とるで終わりですね。）一般のヒルベルト空間で示すことができないことです。
これがないと自己共役演算子の異なる固有値の固有ベクトルが
直交することができずひいては完全性関係を導けないので、量子論において
可観測量に自己共役演算子をあてることの正当性が示せないですね。

柳楽@生物系