• 締切済み

エルミート共役の別名

量子力学に必要な数学の英語版を和訳しています。今、エルミート共役のあたりを訳していたのですが、 The Hermitian conjugate is also called transpose matrix, the associate matrix, and the adjoint matrix. と書いてありました。最初の共役転置行列と最後の随伴行列はわかったのですが、途中のassociate matrixっていうのをインターネットで和訳してあるのを探しても見つかりません。誰か教えていただけませんか？

みんなの回答

  • ryn
  • ベストアンサー率42% (156/364)
回答No.1

手元の辞書では付属行列となっていました．

marumedia
質問者

お礼

ありがとうございます。参考にさせていただきます。

  1. カテゴリ
  2. 学問・教育
  3. 自然科学
  4. 物理学

関連するQ&A

  • エルミート共役ラガーの入力方法

    このカテゴリの質問には相応しくない(パソコンのカテゴリの方がいい) かもしれませんがすみません。 量子力学でエルミート共役をあらわすラガーはパソコンではどのように 入力するのでしょうか？ よろしくお願いします。

  • 【量子力学】エルミート共役と複素共役など

    量子力学が相変わらず難しすぎて、どこがわからないのかわからないという状況なのですが、 少し糸口になりそうな部分がわかったような気がするので質問させて頂きます。 複素共役を考えると、ブラケットでは、例えば 　（１）　（＜ψ｜Ａ｜φ＞）^*　＝　＜φ｜Ａ^†｜ψ＞ となり、同じものを波動関数の式では 　（２）　｛∫ψ^*Ａφdx｝^*　＝　∫φ^*Ａψdx　（全空間で積分ということでdxとしています） のように書かれると思うのですが、エルミート共役はどのようになるのでしょうか？ 　（３）　（＜ψ｜Ａ｜φ＞）^†　＝　？ 　（４）　｛∫ψ^*Ａφdx｝^†　＝　？ という意味です。 私が今思っていることとしては、「内積をとった（ブラケットが閉じた）もの全体に対するエルミート共役」 という概念を考えること自体がおかしいのではないか、などと考えているのですが…。また逆に、 　（５）　｛Ａ｜ψ＞｝^†　＝　＜ψ｜Ａ^† 　（６）　｛Ａ｜ψ＞｝^*　＝　？ という疑問や、更にこれを波動関数の式（(2)みたいな式のことです。何と呼ぶのかわからない…。）で書くとどうなるのか、 などなど、もう何も分かってない気がしてきます（＾＾；； とりあえず質問は上記の通りなのですが、（２）のような表記の意味がどうにもよくわからっていないというのが正直なトコロです。。 ブラケットなどの行列力学のような書き方は比較的しっくり来るのですが…。 波動関数というもの自体が、「関数だからベクトルじゃないの？？」とか、 「順序とか関係なく、[ψ,φ]＝０でいいの？？」とか…。もうなんだか混乱しすぎ…orz という感じなので、どうかお救い下さい。 恐らく質問文が既にいろいろ間違ってたりするのでしょうが、何とか汲み取ってご教授くだされば幸いです。 いろいろ質問が多くなってしまいましたが、よろしくお願い致します。

  • エルミート演算子

    こんばんは。量子力学（数学かも）に関する質問です。 学校でこのような問題が出ました。 「Aがエルミートであるとき，A^2（Aの２乗）もエルミートであることを証明せよ。」 これがどうしても分かりません。 ご存知の方是非教えてください。

  • エルミート行列の行ベクトルによる分解

    4行4列のエルミート行列　H=(H)^t* 　[　()^t*は転置と複素共役をとる記号とします] は、複素数の2つの行ベクトル v=(a b c d) u=(e f g h)で 　H=(v)^t* v + (u)^t* u　‥(1) と書けものでしょうか？ (1)の右辺はエルミート行列ですし、Hのパラメータの数16個、 v、uのパラメータ16個（成分が複素数なので）と、パラメータの数は あっているので、書けるように思うのですが、確信がもてません。 参考文献でも構いません。教えていただけますでしょうか。 なお、私はあまり数学ができる方ではありません。 よろしくお願いします。

  • エルミート行列以外にも固有値が実数になるか

    http://okwave.jp/qa/q8156118.html に「エルミート行列の固有値は必ず実数になる」ことが証明されていました。 その内容の逆「実数の固有値をもつ行列はすべてエルミートである」は真でしょうか。 すくなくとも「エルミート行列以外にも固有値が実数になる」と言えれば、事例があれば、「エルミート行列の固有値は必ず実数になる」は真ではなく偽となるでしょう。 偽が明確になるとブラケット演算に偏りがちな量子力学に新たな発展の道が生まれると思います。複素数でシュレディンガー波動方程式の解を考えることに意義が生まれます。私はトンネル共鳴現象やエバネッセント波もそうではないかと思うのです。エバネッセント波という光子の現象がありますが、光速度が０で、あるミクロンの領域だけに明るい領域ができたり、物質に吸引や反発力を作用しています。 　

  • 量子力学　共役演算子がわからない

    量子力学でノートを見返していました。 ダガーやブラケットが出てきますが、概念がいまいちわかりません。 というか何がわからないのかすらわからなくて困っています。 １．<a|b>=<b|a>∗ ひっくり返すと共役複素数になるのはわかるのですが、実際どんなことを言っているのかが・・・ ２．A^|a>=<a|A^ も同じくです。 ３．共役というのとエルミートというのは同じことをいっているのでしょうか？？ ４．ダガーとはいったいなんなのでしょうか？ ５．<a|A^|a>=<a|A^+|a>*というのは１．の性質を使っているのだろうとは想像できるのですが、どうしたらこの等式が成り立つのかがわかりません。 ６．O^|a>=b|b>の共役が<b|O^+=b*<b| ７．O＾† = -O^ ８．共役演算子の性質として <f|A^|g>=<g|A^†|f>*が成り立つので、 （αA^）† = α*A^† (A^+B^)† =A^† + B^† (A^B^)† =B^† + A^† （A†）†＝A＾ が成り立つとあるのですが、どれもなんでこうなるのかがいまいちわかりません。 いっぱいあるのですが、根本からわかっていないので、説明があると助かります。 よろしくお願いします。

  • エルミート行列の正定性

    下記の問題を自分なりに解こうとしたのですが、理解できない所があります。 問） 任意のエルミート行列：Ｈ = H*(共役転置行列)が 実対称行列R = Rt(転置行列）と実歪対称行列S = -St を用いて、H = R+jS(j = √(-1))と一意に決まるとき (R,S,Hはn×nで正方) H > 0 ⇔ （R　-S） > 0 　　　　　　(S　R) （見づらいですがHが正定であることと、２n×２nのブロック行列が正定であることが等価） の関係が成り立つことを示す。 証明） H>0よりH*>0　(?) H+H*＝(R+jS)+(R-jS)=2R > 0　⇒　R > 0 ブロック行列にschurの補題を適応すると R-StR^(-1)S > 0 かつ　R > 0 の条件が導ける。 この条件（R-StR^(-1)S > 0）が示せれば、必要十分を満たすはず。 形としてはRからR^(-1)の合同変換を引いたものが正定だとみれる様な気がするのですが、これが一般的に成り立っているのかどうかわかりません。 当然の様に逆行列を書きましたが、Rが正則かも分からないです。 Rが正則だと考えたとしてこのやり方で解けるでしょうか？ そもそもアプローチの仕方が間違っているのでしょうか。 分からないことだらけですが、どなたか助言をお願いします。

  • ユニタリ行列って？？

    ユニタリ行列ってなんですか？ユニタリを満たすと、量子力学や、線形代数学において、どのような意味をもつのでしょうか？行列の要素に簡単な数値を用いて説明してもらえるとうれしいです。 次の文章は、自分で調べてみたけど、いまいち意味がわからなかったことです。 複素正方行列をUとすると、そのエルミート共役がその逆数に等しいとき、ユニタリと呼ばれるんですか？ U^†＝U^(-1) （１）エルミート行列Aの対角要素は相似（ユニタリ）変換により、要約される。 D=U^†AU ここでUは列が行列Aの直交ベクトルであるユニタリ行列で、実数対角行列で、対角要素は行列Aの固有値である とありました。

  • エルミート多項式の利用方法

    エルミート多項式についてお尋ねします。この多項式はある特殊な方程式の解であるとか、積分による直交性とかの説明はネットに出ていますし、物理数学の本に載っているようです（載っていない本もありますが）。量子力学でに利用もあるようです。 私の分野の研究でも出てこないことはないようですが、ここがエルミート多項式の出番だという感じがしません。どういうときに使えるのでしょうか。連立常微分方程式の境界値問題という状況で出てくるようなのですが、それもケースバイケースだと思うのですが。フーリエ級数（スペクトルとか）のようななじみがあるものではないのでこれが登場する場面の一般論としてはどうなるでしょうか。使用例は例でしかないので一般化しにくいのですが。

  • 行列について質問です。

    ある参考書には A*＝Aを満足する正方行列Aをエルミット行列（A*を随伴行列) とくにAが実行列のときAがエルミット行列という条件はAT＝A（ATを転置行列） AA*＝A*A＝Eを満足する正方行列Aをユニタリ行列 とくに、Aが実行列であるとき、Aがユニタリ行列という条件はAAT＝ATA＝Eである。 と書かれていました。 しかし、一方で、ある参考書には AT＝A*ならばエルミット行列(A*を複素共役行列)、AT＝－A*ならば反エルミット行列 転置と複素共役とを同時に行って得られる行列をエルミット共役行列といい、Aｔで表す この記法をつかえば、エルミット行列はAｔ＝Aである 正方行列AはAｔ≡（A*）T＝A＾-1（A＾－１を逆行列)またはAｔA＝Eをみたすときユニタリ行列という 実ユニタリ行列は直行行列と呼ばれる つまり直行行列はAT＝A^－１またはATA＝Eによって定義される 長文になりましたが、これらの参考書の記述はあっていますか？ おそらく、随伴行列とエルミット共役行列が同じなのではないかとも思っていますが、どうでしょうか？ また、実ユニタリ行列は実数でつくられたユニタリ行列であると解釈してもよろしいでしょうか？

注目のQ&A

カテゴリ

専門家に質問してみよう

職業から探して質問する

あなたにピッタリな商品が見つかる！ OKWAVEセレクト

質問する