08/12/12 09:16:30
>>134
> tM~_B_B'(F)M_B_B'(F)=I(ただし~は共役の意味,tは転置の意味,Iは単位行列の意味です)を示せばいいのだと思います。
多分これが違う．
何も言わずにユニタリと言ったらそれでいいのだけど，
今は内積が指定されているから，それはユニタリの条件にならない．
（それがユニタリの条件になるのは内積が <x,y> = Σx_i~ y_i で定義されていないとだめ）
08/12/12 09:16:30
>>134
> tM~_B_B'(F)M_B_B'(F)=I(ただし~は共役の意味,tは転置の意味,Iは単位行列の意味です)を示せばいいのだと思います。
多分これが違う．
何も言わずにユニタリと言ったらそれでいいのだけど，
今は内積が指定されているから，それはユニタリの条件にならない．
（それがユニタリの条件になるのは内積が <x,y> = Σx_i~ y_i で定義されていないとだめ）