- ベストアンサー
教えてください。
Σ【j=1→3】 R_ji ↑e'_j = ↑e_i 両辺に右から(R^-1)_ikを掛けてiで和をとれば、 Σ【i=1→3】 R_ji (R^-1)_ik = delta_{jk} (ただしdeltaはクロネッカーのでるた、)だから、 ↑e'_k = Σ【i=1→3】↑e_i (R^-1)_ik が得られる。 この式変形の1行1行が言っていることがさっぱりわかりません。各行の変形を詳しく教えていただけないでしょうか?
- みんなの回答 (1)
- 専門家の回答
質問者が選んだベストアンサー
関連するQ&A
- クロネッカーのδと三階反対称テンソルε
シグマの省略はなしとします。 [i,j=1→3]Σε[ijk]ε[ijl]=2δ[kl] が示せません。 ε[ijk]ε[ijl]=δ[kl]-δ[jk]δ[jl]-δ[ij](δ[ij]δ[kl]-δ[ik]δ[jl])+δ[il](δ[ij]δ[jk]-δ[ik]) となって iについて和を取れば [i=1→3]Σε[ijk]ε[ijl]=δ[kl]-δ[jk]δ[jl] これをjについて和を取って [j=1→3]Σ(δ[kl]-δ[jk]δ[jl])=δ[kl] [i,j=1→3]Σε[ijk]ε[ijl]=δ[kl] となってしまいます。 jについてから和をとるとうまくいったのですが何処がおかしいですか?
- ベストアンサー
- 数学・算数
- クロネッカーのデルタについて
クロネッカーのデルタ:δαβは δikδkj =δij = (1;i=j のとき or 0 ; i≠j のとき) という性質を持っているのですが、上式はどのように導出するのでしょう。考え方を教えて頂けないでしょうか。 また、 i≠k のときは、i , j がどんな値をとっても上式の値は“0”にしかならないのではないかと思うのですが、どうなんでしょう?
- ベストアンサー
- 数学・算数
- 転置行列 証明
転置行列 証明 t(AB)=tBtAの証明について 知恵袋にあった証明を引用させて頂きます。 行列の積が定義できることを前提に、各行列の(i,j)成分を次のようにおきます。 A : a_ij B : b_ij tA : a_ij(t) = a_ji ____ (1) tB : b_ij(t) = b_ji ____ (2) 行列の積の定義から、ABの(i,j)成分は Σ a_ik*b_kj すると、t(AB)の(i,j)成分は Σ a_jk*b_ki = Σ b_ki*a_jk ____ 積の交換 = Σ b_ik(t)*a_kj(t) ____ (1)と(2)から明らか この関係式は、t(AB)の(i,j)成分がtBtAの(i,j)成分と等しいことを示しています。よって t(AB)=tBtA Σ a_jk*b_ki=Σ b_ki*a_jk について積の交換をした理由が知りたいです。 t(AB)=tBtAだから、なんとなく交換したのではなくて交換しなければ成らない理由があると思うのですが その点について教えていただけませんでしょうか? 以上、よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 座標変換について
座標変換について 回転座標変換を表す行列を R=(R_ij) と書く事にします。 v_i'=Σ【j=1→3】R_ijv_j のように変換されるものとします。 ここで、 (1) 『座標変換で矢印(ベクトル)そのものは変わらないから、内積は回転しても変わらない』 とはどういうことですか? (2)『そこで、任意のベクトル↑u,↑vに対して Σ【i=1→3】u_i'v_i'=Σ【i,j,k=1→3】R_ijR_iku_jv_k=Σ【i=1→3】u_iv_i が成り立たなければならない。このためには Σ【i=1→3】R_ijR_ik=δ_jk となっていることが必要十分である。』 などと書いてありましたが、この理由がわかりません。
- ベストアンサー
- 数学・算数
- Lebesgue測度μではμ(S\T)=μ(S)-μ(T)と変形できるの?
Cantor集合の説明で [0,1]を3等分して(1/3,2/3)を取除くと[0,1/3]と[2/3,1]が残る。次に[0,1/3]と[2/3,1]を3等分して (1/9,2/9),(7/9.8/9)を取除く。 n回目には長さ1/3^nの区間2^(n-1)を取除いた事になるので取除かれた区間全体Gの長さμ(G) (μはLebesgue測度)は Σ[n=1..∞]2^(n-1)/3^n=1 …(1) 従って μ([0,1]\G)=μ([0,1])-μ(G)=(1-0)-1(∵Lebesgue測度の定義と(1))=0 でこの差集合[0,1]\GをCantor集合という。 でμ([0,1]\G)=μ([0,1])-μ(G)となぜ変形出来るのか分かりません。 Lebesbue測度の定義は下記のとおりだと思います。でもどうしても差集合のルベーグ測度が夫々のルベーグ測度の差になる事が導けません。μ([0,1]\G)=μ([0,1])-μ(G)となぜ変形出来るのでしょうか? [定義]Aを全体集合,B⊂2^Aとする。BがA上でσ集合体をなす時,AはBの可測空間をな すと言い,(A,B)と表す。 [定義] (A,B)を可測空間とする。写像f:B→R∪{+∞}は(A,B)上で測度をなす。 ⇔(def) (i) ∀A∈B,f(A)∈{r∈R;0≦r}∪{+∞},f(φ)=0 (ii) ∀m,n∈N\{0} (m≠n), b_m,b_n∈B且つ b_m∩b_n=φ⇒f(∪[k=1..∞]b_k)=Σ[k=1..∞]f(b_k) [定義]f:B→R∪{+∞}を可測空間(A,B)上の外測度をなす。 ⇔(def) (i) f(2^A)⊂[0,∞],特にf(φ)=0 (ii) C⊂D(C,D∈2^A)⇒f(C)≦f(D) (iii) f(∪[n=1..∞]C_n)≦Σ[n=1..∞]f(C_n) (C_n∈2^A (n∈N)) [定義]f:B→R∪{+∞}を可測空間(A,B)上の外測度とする。E(⊂A)は(A,B)上でf-可測 (集合)。 ⇔(def) ∀C∈2^A,f(C)=f(C∩E)+f(C∩E^c) [定義] R^nのm次元区間全{Π[i=1..m](a_i,b_i]\ {∞};a_i,b_i∈R∪{∞}(i=1,2,…,m)} (m≦n)をI(m,n)で表す。 [定義] R^nのm次元区間塊全体{∪[j=1..k]I_i;k∈N\{0},I^m∋I_1,I_2,…,I_k:互い に素}をC(m,n)で表す。 このとき,C(n,n)はR^nで有限加法族をなす。 [定義] 写像g:∪C(n,n)→R^nを C(n,n)∋∀∪[i=1..k]Π[ji=1..n](a_ji,b_ji]→g(∪[i=1..k]Π[ji=1..n](a_ji,b_ji]):= Π(b_i-a_i) (k=1且つΠ[i=1..n](a_j1,b_j1]は有界の時) sup{Π[i=1..n](d_i-c_i);(Π[j1=1..n](a_j1,b_j1]⊃)Π[i=1..n](c_i,d_i]は有界} (k=1でΠ[j1=1..n](a_j1,bj1]は非有界の時) 0 (k=1でΠ[j1=1..n](a_j1,b_j1]=φの時) Σ[i=1..k]g(Π[ji=1..n](a_ji,b_ji]) (k>1で ∪[i=1..k]Π[ji=1..n](a_ji,b_ji]∈C(n,n) (但し ,Π[j1=1..n](a_j1,b_j1],Π[j2=1..n](a_j2,b_j2],…,Π[jn=1..n](a_jn,b_jn]は互 いに素)の時) と定義するとこのgは可測空間(R^n,C(n,n))での有限測度をなす。 そして写像h:2^(R^n)→Rを2^(R^n)∋∀A→h(A):= inf{Σ[k=1..∞]g(E_k);A⊂∪[k=1..∞]E_k (E_k∈C(n,n) (n∈N\{0}))} で定義するとこのhは可測空間(R^n,C(n,n))で外測度をなす。 この時,このhをLebesgue外測度という。 [定義] 写像h:2^(R^n)→R∪{+∞}はルベーグ外測度とする。 L:={E∈2^(R^n);Eは可測空間(R^n,2^(R^n))上でh-可測}をLebesgue可測集合全体の集 合という。 [定義] hをLebesgue外測度とする。制限写像h|Lは測度をなす。 この時,この制限写像h|HをR^n上のLebesgue測度という。
- ベストアンサー
- 数学・算数
- 過渡現象のある微分方程式について。
Ldi/dt + (r+R)i = E で表される式があるのですが、これをラプラス変換を使わずに解きたいのですが、本を見ると 1/{E-(r+R)i}di = 1/(L) dt…(1) に変形していて、ここまでは分かるのですが、そのあと i = E/(r+R) + Ae^{(-r+R)/(L)t}…(2) まで飛んでいるのですが、ここにいたるまでの計算が分かりません。 (1)を両辺積分すると思うのですが、私の計算だとそのあと、 -1/(r+R)log{E-(r+R)i} = logLC e-(r+R)i = e^{logLC・1/(r+R)} = Le^{C/r+R} になります…。ここまでくると、(2)の式にはならない、ということがわかってどこか間違っているのかと思うのですが…? よろしくお願いします。
- ベストアンサー
- 物理学
- 単因子論で(1,1)が必ず1になるのは何故?
僕の先生は、単因子論の基本変形を、以下のように書きました。 (1) 行iと行jの入れ替え (1') 列iと列jの入れ替え (2) 行iに ある数a∈Rをかける (2') 列iに ある数a∈Rをかける (3) 行iに ある多項式をかけたものを別の行jに加える (3') 列iに ある多項式をかけたものを別の列jに加える これでは、 t-1 0 0 0 t-1 0 0 0 t-1 の要素(1,1)が1にできないと思います。 この場合、どう計算すればいいのか、お教え願います。
- ベストアンサー
- 数学・算数
- 四元数、八元数の別の形ってありえますか?
いわゆる超複素数系(特に四元数、八元数)についての質問です。 (通常の)四元数・八元数の定義からすると、3個または7個の 虚数単位を対等・等価に見るため、以下のような性質を満たします。 ・四元数の場合、1,2,3番目の虚数単位をそれぞれi,j,kとおくと、 ij=-ji=k,jk=-kj=i,ki=-ik=jが成立する。 ここで質問なのですが、 たとえノルム保存の性質が崩れてしまうなどの犠牲があるとしても、 以下の条件を満たすような、通常の定義とは異なる四元数・八元数の 定義・体系というのは代数学的に成立しうるものでしょうか。 ・例えば、i^2=-1,j^2=-1,k^2=-1などの性質は成立しても、 ij=-ji=k,jk=-kj=i,ki=-ik=jなどの性質は持たない四元数体系 質問は以上です。 ちなみに、何故こんな質問をしたかというと、もともとは、 ある演算の目的から、実数部分と1番目の虚数単位部分だけを 特別扱いでき(通常の複素数として扱える)、2番目以降の虚数 単位部分は1番目までとは代数的性質の異なる付属品的なもの として扱えるようなことはできないか、と考えたためです。 演算の途中結果を2番目以降の虚数単位の係数に入れて保存し、 後の段階で必要なときに取り出せるということができれば、 数値演算はもとより、理論展開・考察をする上でも便利だし 面白いな、と思ったのです。 通常の四元数の定義だと、ij=kなどの性質があるため、j,kの係数に 保存したい値を入れた後に実数と1番目の虚数iだけを使って計算 しても、j,kの値が自動的に変わってしまいます。 以上です。ご教示よろしくお願いします。
- ベストアンサー
- 数学・算数
- FAX-2840のメモリーがいっぱいで印刷できないトラブルについて相談です。
- Windows11で有線LAN接続の環境で使用しており、メモリーがいっぱいで印刷ができません。
- ブラザー製品で印刷時に表示されるメモリーがいっぱいのエラーメッセージについての質問です。
お礼
どうもありがとうございました!