相似変換とユニタリ変換

Question

今までユニタリ演算子に依る相似変換をユニタリ変換と思っていたのですが、違いますか？

私の理解ではAの相似変換は
P^(-1)AP
でPがユニタリのときAのユニタリ変換は
(P^†)AP
だと思っていました。

ところがある本で、Pをユニタリ演算子として相似変換を
(P^†)AP、
ユニタリ変換を
PAP^(-1)
としていました。(P^†)APは私の理解でもユニタリ演算子による相似変換なので分からなくはないのですがユニタリ変換はどうしても理解できません。
もし私が間違っているなら正しい定義を教えて下さい。よろしくおねがいします。

alice_44 · Accepted Answer

何だか長くなっているが、A No.9 の前半部分で
解決している話ではないかと思う。

行列 L, R が互いに逆行列の関係にあるとき、
n 次行列 A を LAR に移す n×n 次の線型写像を
行列の「相似変換」と呼ぶ。それは明確として、
「P による相似変換」といえば L=P を指すのか、
R=P を指すのか、それ以前に
「P による相似変換」という言い方があるのか？

これは、きちんと標準化された言い方ではなく、
そのため、PA(Pの逆) が正解な訳でも
(Pの逆)AP が正解な訳でもないが、
どちらかといえば (Pの逆)AP 派の人が多い
…というのが実際のところではないかと思う。

これに対して、「P によるユニタリ変換」は
少し状況が違っている。
「相似変換」が、それ自体、行列に対する変換
の名前なの比べ、「P によるユニタリ変換」は、
行列 A にユニタリ変換を施すというよりも、
座標系をユニタリ変換する際に、A の成分表示が
受ける変換を指しているように感じられる。

その意味で、繰り返し補足質問されている
「P によるユニタリ変換とはユニタリ行列 P による
相似変換という意味か？」は、微妙に No っぽい。
結果的に同じことになる訳で、No とも言い難いが、
そういう語源の言い回しではないのだろうと
思えてならない。(どうにも主観的だが)

その上で、「P によるユニタリ変換」が
PA(Pの逆) を指すのか、(Pの逆)AP を指すのか
といえば、「座標のユニタリ変換 P」が
x→Px を指すのか、x→(Pの逆)x を指すのか
に依ることになる。
座標変換の結果、ベクトルの成分表示が受ける
線型変換の表現行列が P と読めば x→Px だし、
基底を P で変換すると読めば x→(Pの逆)x だ。
(列ベクトルが「反変ベクトル」と呼ばれる所以
でもある。)

…というようなことが、既に A No.9 に出ている。
要するに、言い回しの曖昧さによる問題なので、
文脈に沿って確認する必要があるのだろう。

eclipse2maven · Answer

>それはeclipse2mavenさんがPにU^(-1)を代入しているつもりだという意味ですよね？
私も代入している感覚なのですが、最初にUで考えてUにP^(-1)を代入しても出発点と着地点が逆なだけですよね？

うーーん、数学屋は、PやUがどこに属するか　つまりどこの集合の元か常に意識します。PはGL(H)でUはU(H)　U(H)⊂GL(H)　だから　UにPを代入するのは。。。

>Uによる変換とPによる変換の関係は正しいですか？

正しいです。

＞それとA'=UAU^(-1)も相似変換であることは分かった上です。
とくに取り決めとか慣習が無いなら意味のない質問ですが、
通常、Aのユニタリ変換というときはUAU^(-1)とU^(-1)AUのどちらを指すのか？ということです。
相似変換についても同様に通常、どちらを指すのかが疑問です。

わたしは、どっちでもいいと思います。たんなる好みの問題、ただ、一度決めたら、それを守る必要はありますが。　　もちろん　右作用　左作用　って部分が出てきます。　群の表現とかは　たいてい左作用が多いですから　それだと　PAP^{-1}　のほうが便利ですが、　基底の変換から出発したら
P~{-1}AP に　なるわけです。

eclipse2maven · Answer

前半は、なんか式の感覚がおかしいような

Pは　変数のように使っていて、とくに　P=U^{-1}と　代入した感覚で使っています。

だから　またPを持ち出すのはなんか変。

だからA'=UAU^(-1)　も相似変換なんですが。　Pに　U^{-1} を代入しただけ

eclipse2maven · Answer

「式の解釈の違い」　を　定義してください。　意味不明です。

eclipse2maven · Answer

>「Uが点を移すならx'=Ux、e'=U^(-1)e、A'=UAU^(-1)

のときが　ユニタリ変換

＞これが正しいとして、このように相似変換とユニタリ変換の違いが式の解釈の違いとするのは一般的ですか？

上が正しくなかったので、この質問は意味をなさない

>ユニタリ変換の変換行列はユニタリでなければならないが、相似変換は逆行列が存在すれば定義できるので、「
>そういう意味では」（ユニタリ変換）⊂（相似変換）であるというのは正しいですか？

正しい　ただ　あえて　U＾｛ー１｝　となっているのは、　ハイゼンベルグ表示やシュレディンガー表示と絡めたいからだとおもいます。

eclipse2maven · Answer

ではなくて、

変換という言葉を　基底　あるいは　座標を　移して、　A　が　どう移るか？　の場合に　使っているようです。

線形代数で言えば　基底の変換にともなう　線形写像の表現行列の変化　が　変換（相似変換）

ユニタリ変換は　P=U^{-1}　のとき　をいう

U自体は本来　点を移しているのですが　これを基底または座標を移すと思うには　P=U^{-1}と思えばよいと考えているわけです。　その際の相似変換のことを　ユニタリ変換と言っている

この本の定義です。

Aは力学変数で　点は状態関数で　シュレディンガーだったら、　固有ベクトルで状態関数を展開して見るでしょうけど

基底を　U^{-1}で取り替えて　A自体の変化を見ていくのが　Aのユニタリ変換であり、こっちがハイゼンベルグ表示

数学でいう変換は　ある集合の全単射な写像全般を指します。数学で言うユニタリ変換は　ヒルベルト空間H自身の全単射な線形写像で内積を変えない写像のことを言います。非常に一般的です。

それと　いまは　ヒルベルト空間H　の　自分自身への有界線形写像　B(H)　のなかで　ユニタリなもの　U(H)　が　B(H)　に作用しているわけで、　これ自体も線形に作用しているけど、この作用自体がユニタリになってるわけでもない。B(H)自体は線形位相空間にできますが、位相を決めてない。その場合には　U(H)　から　B(B(H))となっているわけで　B(H)自体に内積が定義されているわけでないので、本来は　ユニタリ変換とは　言わないと思います。だから　H上のユニタリ作用素のなす作用素環の　B(B(H))）への準同型をひとつ決めただけで、ユニタリという表現は使わないですね。
随伴表現とかいうかな　ただその場合は　右表現か　左表現かで　UAU^{-1}　か　U^{-1}AU か決めますね。

eclipse2maven · Answer

No9 の　最後の2行は　消し忘れました。　だから　内容に関係ないです。

eclipse2maven · Answer

#6の補足の補足  を少し修正します。

この本ではPは基底をe'=Peと変換するユニタリ行列として出てきています。
ですからベクトルは
x'=(P^†)x、
演算子は
A'=(P^†)AP
と変換します。この演算子の変換を相似変換と書いてあります。

（ここまではいいです。）

こちらは　座標軸（基底）を動かすことで、結果的に動いているように見えるわけで、その変化が
Aが　(P^†)APに変化した。（点は　ｘ－－＞　P^{-1}ｘ　と変わる

じゃあ　実際　点をU　だけ移すことは　座標を　e'=U^{-1}e と変換することと同じですよね。
このUがユニタリのとき、Aがどう変化したかを　座標が変わったとして動きを見るならば　P=U^{-1}
のときにあたりますよね、実際　A'=UAU^{-1} になります。これをユニタリ変換といってるわけです。

点ｘが動くことと　座標が動くことは　裏表ですよね。　それでUはもともと点の動きですが、それを
座標の動き（P=U^{-1} ) として、Aの相似変換を見たのが　ユニタリ変換です。

ところで、話は変わりますが、今の本は量子力学の本だよね？　前の物理学におけるりー代数は、アイソスピンから統一理論だから、　ゲージ理論だから当然場の量子論だから　第二量子化した世界だよね？　そこで　スピノール表現とか古典リー環の比較的単純なやつの最高ウェイト表現とかそのテンソル表現とかの具体的実現の話でしょう？　なんかレベル違いすぎない？

ユニタリ変換に関しては、このPを用いてAのユニタリ変換UAU^(-1)を作ることができて、AとPAP^(-1)はユニタリ的に同値であると書いています。

eclipse2maven · Answer

すでに　No5,６　ですべて答えてます。

それと、前回（物理の群の質問）もそうですが、もう少し質問の聞き方、態度を考えられた方がいいかと。

早い話、線形代数が理解できてないだけのはなしです。

eclipse2maven · Answer

N０６の訂正

P=e^{-tiH/h}　　じゃ　なくて　　P=e^{tiH/h}　　　ですね

相似変換とユニタリ変換

何だか長くなっているが、A No.9 の前半部分で

>それはeclipse2mavenさんがPにU^(-1)を代入しているつもりだという意味ですよね？

前半は、なんか式の感覚がおかしいような

この回答への補足

「式の解釈の違い」 を 定義してください。

この回答への補足

>「Uが点を移すならx'=Ux、e'=U^(-1)e、A'=UAU^(-1)

この回答への補足

ではなくて、

この回答への補足

No9 の 最後の2行は 消し忘れました。

#6の補足の補足 を少し修正します。

この回答への補足

すでに No5,６ ですべて答えてます。

この回答への補足

N０６の訂正

この回答への補足

似たような質問が見つかりました

関連するカテゴリからQ&Aを探す

デイリーランキングこのカテゴリの人気デイリーQ&Aランキング

マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング

「式の解釈の違い」　を　定義してください。

No9 の　最後の2行は　消し忘れました。

#6の補足の補足を少し修正します。

すでに　No5,６　ですべて答えてます。