1次元、2次元、3次元でのリーマンテンソルについて
- 1次元、2次元、3次元でのリーマンテンソルについて計量テンソルやリッチテンソル、スカラー曲率を用いて表す問題に取り組んでいます。
- 1次元の場合は問題を解くことができましたが、2次元の場合にはなぜ特定の形になるのか理解できません。
- 3次元の場合にも独立成分の数や線形結合の関係について理解できません。
- ベストアンサー
1次元、2次元、3次元でのリーマンテンソルについて
1次元、2次元、3次元でのリーマンテンソルについて 1次元、2次元、3次元でのリーマンテンソル:R_αβγδを計量テンソルg_μνやリッチテンソルR_μνやスカラー曲率Rを用いて表わす問題をやっているのですが・・・ 1次元の場合はできました。 2次元の場合、自由度は1となるから R_αβγδ=(g_αγg_βδ-g_αδg_βγ)f・・・(☆) という形になるはずであると答えには書かれているのですがなぜ(☆)のようになるのかわかりません。。。 また3次元の場合にも、 このとき、R_αβγδの独立成分の数は6。一方R_αβの独立成分に数も6であるからR_αβγδはR_αβの線形結合で書き直せるはずである。 R_αβγδ=a(g_αγR_βδ-g_βγR_αδ-g_αδR_βγ+g_βδR_αγ)+b(g_αγg_βδ-g_αδg_βγ)R・・・(★) と書けるとあるのですがこれもさっぱりわかりません。 (☆)(★)となることを教えていただけないでしょうか?
- 物理学
- 回答数3
- ありがとう数17
- みんなの回答 (3)
- 専門家の回答
質問者が選んだベストアンサー
3次元の場合だけ。(3次元の場合が分れば2次元の場合も分かりそうなので) 1.R_αβ,R_αβγδの独立成分はともに6。 2.R_αβはR_αβγδたちの線形結合で書ける。係数はg^αβたち(特にg_αβたちの関数)で与えられる。 この2つを踏まえると、 R_αβγδはR_αβたちの線形結合で書ける。係数はg_αβたち(のみ)の関数である。 という事が分ります。 g_αβ(とg^αβ),R_αβを組み合わせて作れる4階テンソルのうち、R_αβについて1次のものは結局 g_ij g_kl g^mn R_mn = g_ij g_kl R g_ij R_klの2つしかありませんので、R_αβγδはこの2つの形をしたものの線形結合で書かれる事になります。(ijkl)は(αβγδ)の並び替えです。 あとはR_αβγδ,R_αβ,g_αβの対称性を踏まえると、 >R_αβγδ=a(g_αγR_βδ-g_βγR_αδ-g_αδR_βγ+g_βδR_αγ)+b(g_αγg_βδ-g_αδg_βγ)R の形である事が導出されるんじゃないかな、と。 細かいことは考えてないので検算してください。
その他の回答 (2)
- yokkun831
- ベストアンサー率74% (674/908)
>(1)g_μνに関する斉次4次式 という性質はなぜ言えるのでしょうか? よく考えもせずに,いい加減なことをかいてしまいましたね。ごめんなさい。 私の勘違いでした。で,いろいろ考えてみてまだ自信はないのですが,次のように考えられないだろうか,と暫定的な説明を試みます。 2階以上のテンソルをg_μνで展開することは常にできる? たとえば, R_αβγδ=g_αγB_βδ 両辺にg^αβをかければ, g^αβR_αβγδ = B_γδ となり,これによってテンソルB_γδが定まるから。 なお,私が先に書いた説明は,ご紹介のテキストの記述の意味とは考察が異なりますね。テキストの方は,上のような展開が可能であることを前提に,未知のテンソルを仮定してそれを導出するのでなく,独立な成分の個数の一致からダイレクトに計量テンソルとリッチテンソルの積の和になることを結論付けています。これは,6個の未知数は6個の方程式で決まるというのとほぼ同義かなと思います。さらには,リッチテンソルがリーマンテンソルの縮約によって得られることから,「自明」といえるのかもしれません。
お礼
お礼が遅くなり申し訳ございません。 もう少し考えてみようと思います。ありがとうございました!
- yokkun831
- ベストアンサー率74% (674/908)
R_αβγδは (1)g_μνに関する斉次4次式で,かつ (2) R_αβγδ = -R_βαγδ すなわち(α,β)の置換について反対称 R_αβγδ = -R_αβδγ すなわち(γ,δ)の置換について反対称 R_αβγδ = R_γδαβ すなわち(α,γ),(β,δ)の同時置換について対称 という対称性を持ちます。以下,3次元の場合について考察します。 (1)(2)を考慮すると,A_αβを2階テンソルとして R_αβγδ = g_αγ・A_βδ - g_αδ・A_βγ + g_βδ・A_αγ - g_βγ・A_αδ…(i) と展開できなければなりません。なぜなら,テンソルをいくつかの項に分けたときに,各項はもとのテンソルに階数の等しいテンソルであり,(1)から必ずg_μνを因子として含まなければなりません。なおかつ(2)の対称性から上の形だけが許されることがわかります。たとえば任意の2階テンソルが対称テンソルと反対称テンソルの和 T_αβ = 1/2(T_αβ + T_βα) + 1/2(T_αβ-T_βα) で表されることを思い起こしてください。 (i)をα,γについて縮約すると, R_βδ = g^αγ R_αβγδ = g^αγ(g_αγA_βδ - g_αδA_βγ + g_βδA_αγ - g_βγA_αδ) = 3A_βδ - A_βδ + g_βδA - A_βδ ※A=g^αγA_αγ = g_βδA + A_βδ さらに, R = g^βδR_βδ = 3A + A = 4A より, A_βδ = R_βδ - 1/4・g_βδR と書けることになります。これを代入した結果が★なのです。代入後の計算はおまかせします。テキストでは,一般にR_αβγδがR_αβとRの項の和として書けることを自明として(上の証明がすんでいるものとして),係数をa,bと書いたのでしょう。a=1,b=1/2になります。2次元についてはもっと簡単ですから考えてみてください。
お礼
回答ありがとうございます! 回答を参考に2次元、3次元の場合も求まりました。 一つ質問なのですが、 (1)g_μνに関する斉次4次式 という性質はなぜ言えるのでしょうか?
関連するQ&A
- リーマンの曲率テンソルについて
リーマンの曲率テンソルについて 前回も似たようなことで質問したのですが、考えても少し納得のいかないところがあったので再度質問させていただきました。 3次元の場合、 リーマンテンソルR_αβγδの独立成分の数は6。一方リッチテンソルR_αβの独立成分に数も6であるからR_αβγδは係数を計量テンソルg_μνとするR_αβの線形結合で書き直せるはずである。 と本に書いてあるのですが、独立成分がともに6となるのはわかるのですが、なぜそう書けるのかわかりません。。 どなたか教えていただけないでしょうか?
- ベストアンサー
- 物理学
- リーマンテンソルについて
リーマンテンソルについて 『一般相対論入門』 須藤靖 著 P46 問題[2.10] をやっています。 1次元、2次元、3次元でのリーマンテンソル:R_αβγδを計量テンソルg_μνやリッチテンソルR_μνやスカラー曲率Rを用いて表わ問題なのですが、どうしても納得できない箇所があります。 1次元の場合はできました。 2次元の場合、答えには、 自由度は1となるから R_αβγδ=(g_αγg_βδ-g_αδg_βγ)f という形になるはずであると答えには書かれているのですがなぜこのようになるのかわかりません。 対称性などからこの表式が成り立つのはわかるのですが、このように一意に表わせられるという保証はいったいどこから来たのでしょうか?? どなたかお願いします。
- ベストアンサー
- 物理学
- 電磁場テンソルについて
電磁場テンソルについて 間違えて回答を締め切ってしまったのでまた書きました。 一般相対論を勉強しててわからない問題がでてきたので質問させてもらいました。 今時空は次のようなミンコフスキー計量からあまりずれていない場合を考えています。 g_μν=η_μν+h_μν |h_μν|<<1 この場合、i=1,2,3として F^i_0=E^i Eは電磁場テンソルの電場成分 となることを示したいのですが。。。 g_μν=η_μν+h_μνなので、完全に特殊相対論の場合というわけではないので、電磁場テンソルF_μνは特殊相対論の場合の表記 F_μν=4×4行列(対角成分が0で残りがEとBで書かれているやつ) とは異なるということですよね? そう考えると、一般相対論では、電磁場テンソルF_αβはA_αをベクトルポテンシャルとして F_αβ=∂A_β/∂α-∂A_α/∂β で定義されているので、これをg_μν=η_μν+h_μνで添え字を上げて計算すると示すことができるのでしょうか? 完全なるミンコフスキー空間であれば簡単に示すことができるのですが。。。
- ベストアンサー
- 物理学
- 曲率テンソル
こんばんは。 大学の論文でリーマンの曲率テンソルの展開を扱っているのですが、、、 4次元の場合、リーマンの曲率テンソルを次のようにリッチテンソルで書ける部分A_αβγδと書けない部分B_αβγδに分解することを考えました。 R_αβγδ=A_αβγδ+B_αβγδ この分け方が一意であることを示したいのですが、どのようにしたらよいでしょうか? 私が考えたのは、 条件から 1、リッチテンソルR_μν=0ならばA_αβγδ=0 2、B_αβγδからリッチテンソルを求める操作は0、つまり、B^μ_βμδ=0 が成り立ちます。 続いて R_αβγδ=A_αβγδ+B_αβγδ=A’_αβγδ+B’_αβγδ と二通りに書けたとします。 A’_αβγδ、B’_αβγδはそれぞれ条件1、2を満たす。 この式にR_μν=0を代入してやればB_αβγδ=B’_αβγδとなり、さらに自動的にA_αβγδ=A’_αβγδが得られこの分解の一意性が示される。 と考えたのですがどうでしょうか? また、リッチテンソルを含まない曲率テンソルB_αβγδはB^μ_βμδ=0を満たすというのは当然のことのように思えるのですが、これを数学的に示すことはできないのでしょうか? よろしくお願いします。
- ベストアンサー
- 物理学
- 電磁場テンソルについて
電磁場テンソルについて F_μνを4元電磁場テンソルとした時に、F^μ_νの具体的な成分はどう表わされるのですか? 補足で、今時空は次のようなミンコフスキー計量からあまりずれていない場合を考えています。 g_μν=η_μν+h_μν |h_μν|<<1 g_μν=η_μνとして考えれば、問題の答えと一致する答えが得られるのですが、、、 どなたかよろしくお願いします。。
- ベストアンサー
- 物理学
- 運動量エネルギーテンソル
運動量エネルギーテンソルとは何か? ご教示願います。 運動量エネルギーテンソルを4×4行列で表した場合、 エネルギーが0成分、 運動量が1,2,3成分になると思うのですが、 単位の次元が違うはずです。 特に、01、02、03成分や10,20,30成分 が、どのようになっているのが教えてください。 ついでに、00と11,22,33成分の単位の次元も お願いします。
- ベストアンサー
- 物理学
- クリストッフェル記号について
クリストッフェル記号について 一般相対論を学習していて、クリストッフェル記号というものが出てて、その説明の箇所に、 接続係数Γ^α_βγがクリストッフェル記号 Γ^α_βγ=1/2・g^αμ・(g_μβ,γ+g_μγ,β+g_βγ,μ)・・・・・・(☆) だたし「,β」などは偏微分を表わす。 となることと以下の(a)~(e)は同値 (a)任意の点Pにおいて定義された局所ローレンツ系:g_αβ(P)=η_αβ、g_αβ,γ(P)=0 は局所慣性系:Γ^α_βγ(P)=0である (b)g_αβに対する共変微分が常に0である。つまりg_αβ;γ=0 (c)ベクトルの内積に対する共変微分がライプニッツ則を満たす。 ∇_u(v・w)=(∇_uv)・w+v・(∇_uw) (d)測地線が(a)で表わされる局所ローレンツ系での直線となる (e)測地線は、固有時を極大にする世界線と一致する とあるんですが、 (a)は与えられた式g_αβ(P)=η_αβ、g_αβ,γ(P)=0を(☆)に代入して求めまる感じでよいでしょうか? またなぜ、局所慣性系は接続係数が0になるのでしょうか? (b)については、g_αβを共変微分して、いじると g_αβ,γ=(Γ^μ_αγ)g_μβ+(Γ^μ_βγ)g_αμ という式が得られました。 この後どうすればよいのでしょうか? (c)については今考えているところです。 (d)(e)については何をやればよいのかわかりません。。。 どなたか教えてくださいませんか??? よろしくお願いします。
- ベストアンサー
- 物理学
- 大学 物理に詳しい方教えてください。
半径aの二次元球面空間に対して、極座標系(θ、φ)を用いた際の計量テンソルを求め、この空間のリーマン曲率テンソルとスカラー曲率を求めよ。 ただし極座標系は x=a・cosφsinθ y=a・sinφsinθ z=a・cosθ とする。
- 締切済み
- 物理学
- 1次元複素多様体は何故リーマン面?
よろしくお願い致します。 Xが複素atlasAのリーマン面とはXがAに於ける1次元複素多様体となっている時なのだそうです。 XはAに於けるn次元複素多様体 ⇔ (i)XはAに於けるn次元複素位相多様体, (ii)∀(U,V)∈{(U,V)∈T^2;U∩V≠φ}に対して, ∃f,g∈A;U=dom(f),V=dom(g)且つMap(g(U∩V),f(U∩V))∋fg^-1はbiholomorphic という定義を突き止めました。 で、f(z)=√zが2葉のリーマン面を使用して表される事は 知っていて,これが実際に1次元複素多様体を成している事を理解したいのですが f(z)=√zでのリーマン面(1次元複素多様体)にてXはC∪C(複素平面)になろうかと推測したのですがこれではC∪C=Cとなってしまい,1葉になってしまうので間違いと思います。 あと,f(z)=√zでの複素atlasは具体的にどのような同相写像の族となるのでしょうか? ttp://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1011365205 で取り合えずイメージは分かりました。 XはC_1∪C_2 (C_1=CとC_2=Cだが異なる複素平面),f:C_1∪C_2→Cとなるのかと思います。この場合,C_1∪C_2に於けるatlasAは何と書けますでしょうか?
- 締切済み
- 数学・算数
お礼
回答ありがとうございます。 質問なんですが、 2.R_αβはR_αβγδたちの線形結合で書ける。係数はg^αβたち(特にg_αβたちの関数)で与えられる。 といえるのはなぜですか?