- ベストアンサー
曲がった空間での微分について質問
曲がった３次元座標系（座標軸の線が曲がっている）があり、計量テンソルgijが求まっているとします。計量テンソルとは座標軸の線の３つの接線ベクトル同士の内積(3x3)が成分となっているマトリックスとして表現されるテンソルと認識しております（共変基底ベクトル同士の内積）。ある本にこのマトリックスの行列式(det(g))の曲線座標(k)での微分が、2det(g)×cf2(i,i,k)となるということが書いてあり、容易に誘導できると書いてあります。 cf2(i,j,k)とは第2種クリストッフェル記号という意味で、この記号は分数形式で表示されるので、(i,j,k)ではiが上、j,kが下にくるものです。←表示に苦慮しております。知っている人は知っているという類のものです。 式として表示すると、 (det(g)),k=2det(g)×cf2(i,i,k) となるということですが、証明できるでしょうか。私は簡単にできなくて困っております。 どのようにして証明するのでしょうか。複数の本を見ておりますが、さらっと通りぬけており私は理解できません。 よろしくお願いします。
- skmsk19410
- お礼率54% (276/507)
- 数学・算数
- 回答数2
- ありがとう数2
- みんなの回答 （2）
- 専門家の回答
質問者が選んだベストアンサー
添え字が下つきの計量テンソル成分をｇμν(共変)、上付きをｇμν(反変)、ｇμν(共変)の行列式をｇと書くことにします。ｇを微分すると ∂g/∂xα = Σ(∂g/∂ｇμν(共変))(∂ｇμν(共変)/∂xα) 行列式を第ν列で展開すると余因子をΔμνとしたとき g = ΣΔμνｇμν(共変) (μについての和) よって ∂g/∂ｇμν(共変) = Δμν ｇμν(共変)はｇμν(反変)の逆行列だからクラーメルの公式より ｇμν(反変) = Δμν/g 以上より ∂g/∂xα = g ｇμν(反変)(∂ｇμν(共変)/∂xα) = 2det(g)×cf2(i,i,k)
その他の回答 (1)
- ojisan7
- ベストアンサー率47% (489/1029)
クリストッフェル記号まで戻らずに、一般的に、行列式の微分がどのように表されるかを思い出してみれば、簡単ですね。その公式に計量テンソルを代入すればよいのです。非常に簡単ですよ。
お礼
有難うございます。 アドバイスを受けて、以下のようなことを想起しました。 まず、行列式を行列成分とその余因子で展開して表示する。３×３の行列だったら、展開の仕方のパターンが６通りになると思いますが、全部展開したら同じになるわけですね。で、それを微分するということかと思います。３×３の２階のテンソルに限った場合の展開式ということですね。３成分以上でかつ高階のテンソルには使えないということになるでしょうか。この場合だけに限った表現とみなして地道に展開して調べてみようと思います。
関連するQ&A
- テンソル積の定義と具体的な演算
ベクトルには内積、外積、テンソル積（ディアド）があります。 (1,2), (-3,0)の内積、外積（３次元になるけど）はそれぞれ定義に沿って簡単に計算できます。テンソル積ではどうなるでしょうか。 テンソル積についてだけ、本を読んでも定義が述べられていないように感じます。テンソル積の性質とか成分の表現などは記述されていますが。テンソル積は２階までだったらマトリックスとして書けるけれども、高階だったら紙に正確に書けない（３階だったらキューブ、４階だったらもう無理）というようなことでしょうか。 ところで、この"定義"ですが、内積では、 A.B=AiBj(ei.ej)=AiBjδi,j=AiBi というのは定義とは言えないと思います。基底ベクトルの計算に内積が含まれているからですね。またこれが成立するのは直交座標系だけということになります。そういう意味でのテンソル積の"定義"を知りたいと思います。以前、テンソル積は難しいという意見がありました。しかし、難しい定義というのは存在せず、ややこしいとか、用語が難解で覚えにくいというのはあると思いますが。 また、○○積という言葉ですが、英語だとスカラー積、ベクトル積、テンソル積（これだけは日本語と英語が同じ？）ということで、その積の結果出力されるものの種類となっているということでよいでしょうか？ また、表記について、内積（ドット）、外積（×）ですが、テンソル積は○←×としたり、２つのベクトルをただ単につなげて表記する（記号なし）場合もあります。古い本ほど○←×になっているような気がしますが、最近は記号なしが主流なのでしょうか。
- 締切済み
- 数学・算数
- ユークリッド計量の例 計算
リーマン幾何学のユークリッド計量についてわからないところがあります。 本にユークリッド計量の例で下のものが書かれていたのですが、 m次元 ベクトル空間に内積が与えられているとする。 この時、Vの各点uに対して、移動τ_u:u→u+vを通してT_uVに内積〈 ，〉_uが定義される。すなわち、〈dτ_u(v),dτ_u(w)〉_u=〈v,w〉(v,u∈V)。このようにしてV上のリーマン計量gを定める。Vの一つの基底{e_1,…,e_m}を選び、{e^1,…,e^m}をその双対基底とする。Vの座標系(x_1,…,x_m)をx^i(v)=e^i(i=1,…,m)によって定義して、これによってgを表現すると、 g=Σ^(m)_(i,j=1) a_(ij)dx^i(テンソル積)dx^j (a_(ij)=〈e_i,e_j〉∈R) となる。{e_1,…,e_m}が正規直行基底であればgはユークリッド計量そのものである。 gの式がなぜそうなるのかがわかりません。 大変恐縮ですが、教えていただきたいです。 あと、
- 締切済み
- 数学・算数
- 座標系の回転の問題です
大学物理入門の問題です 【問題】 空間に固定された座標系Sと、回転している別の座標系S'を考える。座標系S'は、Sに対して角速度ω=Ωi+Ωjで回転しているものとする。ただしこれらの座標系の原点は一致するとする。また、時刻t=0においてこれらの2つの座標系は一致するとする。時刻tにおいて、座標系S'のx'軸、y'軸、z'軸方向の単位ベクトルをそれぞれi'(t)、j'(t)、k'(t)とする。 時刻tにおけるベクトルi'(t)、j'(t)、k'(t)を求めよ 問題は以上です 文中のωはベクトル、i、j、kはそれぞれ座標系Sのx軸、y軸、z軸方向の単位ベクトルです できれば、ベクトルi'(t)、j'(t)、k'(t)がどのような回転をするのか、図を用いて説明していただけると嬉しいです どなたか知恵をお貸しください よろしくお願いします
- ベストアンサー
- 数学・算数
- Maxwell方程式のテンソル表示
今読んでいる本に次のような記述があります。 「∇xH =δD/δt + Jをテンソル表示すると （e_ijk）(H_k,j) = (D_i)' ＋(J_i)、ただしe_ijk = 1/2(i-j)(j-k)(k-i) 」 記号_ は添え字、δは偏微分記号の意味です。最初の式でH,D,Jはベクトルです。 質問１：（H_k,j)で、k,jというのはなぜkとjの間にカンマがあるのでしょう。これはテンソルの成分H_kjとは違いますよね。 質問２：左辺の（e_ijk）は（H_k,j)の係数と考えていいでしょうか。 質問３：導出のヒントがあればお願いします。
- ベストアンサー
- 数学・算数
- 相対論のテンソルについて
今、相対論でテンソルの勉強をしているものですがテンソルがいまいちよくわかりません。そこで質問なのですが １・基本テンソル（二階の上つきでも下つきでも（g^μνとか））って基本ベクトルの内積なんですよね。じゃあスカラーなんじゃないんですか？ ２・混合テンソルの基本テンソルは 上つき基本ベクトルと下つき基本ベクトルの内積と考えていいんですか？ 何かとわからないところが多くて困ってますどうかわかりやすいご説明お願いいたします。
- 締切済み
- 物理学
- テンソルの階級がよく分かりません。
テンソルとは、色々定義の仕方があるみたいですが、 多重線形性のある、多ベクトル空間からスカラーなど体への写像のことだと私は定義しています。 そこで、階級とは何かと思って調べたら、一般に添字の数とか書かれていました。 ですが、上の定義上でのテンソルではイマイチぱっときません。。。 例えば、ドメインにベクトル空間がp個、双対ベクトル空間がq個のテンソルの時、 ”p-階反変 q-階共変テンソル”と呼ばれているので、 階級とは、テンソルの写像のドメインのベクトル空間の数のこと、と思っていたのですがあっているでしょうか？ そうすれば、例えば、ベクトル空間V1, V2があって u∈V1,v∈V2として その内積u・vは二個のベクトル空間の中の元を実数に対応する写像なので、T(u,v)とし、 二階のテンソルだと思うのですが、あっているでしょうか？ もっと言えば、 普通のベクトルの内積はT(u,v)=Σδ(i,j)u(i)*v(j) δ(i,j)=クロネッカーのデルタ関数 u(i)とv(j)はそれぞれのベクトルの成分 そうすると、添字でのテンソルの定義だと、恐らくクロネッカーのデルタ関数がテンソルで、 添字が二個あるので、階級は二と、なる。。であってますでしょうか？ ですが、 例えば T(u,v)＝Σαu(i)*v(j)、 αは定数 とすると、添字はゼロ、（定数は成分に依存し無いので)、０階級になるのでしょうか？？ つまり、階級とは、ドメインのベクトル空間の元の個数に関係ないモノで、p-階反変 q-階共変テンソル、所謂テンソルの型の表現の階級とは別のものなのでしょうか？？ 説明が下手でとても分かりづらい文章になってしまい申し訳ありません。 つまるところ、階級とは、一体なんのことなのでしょうか？？
- ベストアンサー
- 数学・算数
- アフィン空間 ユークリッド空間 ベクトル空間
アフィン空間についていろいろ勉強しているのですが、なかなかわからなくて・・・もう何度質問したことか＞＜ アフィン空間はベクトル空間ではないと思っているのですが、アフィン空間とベクトル空間が同じになる場合があるのでしょうか？ 一次結合の係数和が1の時、アフィン空間＝ベクトル空間となるのでしょうか？ また、アフィン空間はユークリッド空間から絶対的な原点・座標を取り除いた空間ですよね（wiki参照）。以前の質問で、計量の有無はアフィン空間であるか否かには関係無いとの事でした。 ということは、アフィン空間はベクトル空間ではないが位相空間、計量を定義すれば距離空間となるのでしょうか？ 私のイメージでは、 ある集合→（ベクトルを定義）→ベクトル空間→（位相を入れる）→位相空間→（ノルム・内積を定義）→距離空間 なんですが・・・ アフィン空間はこのイメージから外れてしまって良くわからないのです・・・
- ベストアンサー
- 数学・算数
- 三次元座標変換について質問
みなさんこんにちは。 G68の機能を用いて三次元座標変換をしようと考えています。 以下のような指令を用いてテストを行ってみました。 例?）G68X0.Y0.Z0.I1.J0.K0.R30. 例?）G68X0.Y0.Z0.I0.J1.K0.R30. ところが、例?、?のように回転中心座標軸I、Jで指令しても 常にZ軸が回転中心となって座標変換されてしまいます。 このような現象が起こってしまう原因としてどのような要因が考えられますでしょうか。 お手数ですが教えていただけると幸いです。 ちなみに制御装置はFANUC 15iMAです。 宜しくお願い致します。
- 締切済み
- マシニングセンター
- テンソルの等方性について
数物系でよく出てくるテンソルですが、等方性を仮定するとした場合、制約がついてくるようです。 例えば２階のテンソルは、その表現は通常のマトリックスのようにPi,jとなると思います。これに等方性を仮定すると、 Pi,j=Aδi,j ここでδはクロネッカーのデルタです。これはどのようにして証明できるでしょうか。 テンソルを考える上でも基底ベクトルがあってそれによってテンソルの各成分Pi,jの表現が決まってくると思います。基底ベクトルを回転させても成分が常に同じとなる、というのが等方性だと私は思っているのですが。テンソルの成分変換もテキストには載っているので、変換前後で同じになるための条件を見ればいいのかなと思いますが、なんとなくうまくいきません。すべて勘違いかも知れません。 どうでしょうか。 よろしくお願いします。
- ベストアンサー
- 数学・算数
お礼
回答、有難うございました。具体的に行列式を展開する必要がなくて助かりました。 最後のところで、cf2(i,i,k)=2ｇμν(反変)(∂ｇμν(共変)/∂xα) が既に証明されていることが前提ですが、これはcf2(i,j,k)の定義式でi=jとして調べれば出てくるようです。cf2(i,j,k)の定義式は本によると２つあり(メトリックテンソルの微分が3項出てくるものとちょっと込み入った微分記号で表示するもの)、当然両者は同値であるわけですが。