はじめてテンソルを学ぶので基礎の基礎と思われます。以下、もし文字化けしている文字があるとすれば、それは○の中に×印(警察署の地図記号みたいな)です。テンソル積の記号です。
テキストで
「ベクトルa,b,u,vに対し、u,vを変数とし実数値をとる関数a⊗bをaとu、bとvの内積を用いてつぎのように定義する:a⊗b(u,v)=(a・u)(b・v) …」
ここは理解できます。すなわち関数a⊗bはベクトルu,vを引数(ベクトルでも引数というのかわかりませんが)にとって、上式で定義される計算をするとスカラー積どうしの掛け算なので確かに実数値を返します。
「…この式は、変数u,vに対しそれぞれ線形関係が成り立つから、a⊗bは双線形形式である。この双線形形式a⊗bをaとbのテンソル積という。…」
これもわかります。a⊗b(u+U,v)=(a・(u+U))(b・v)=(a・u+a・U)(b・v)=(a・u)(b・v)+(a・U)(b・v)=a⊗b(u,v)+a⊗b(U,v)など調べていけば確かに双線形形式の定義を満たすからです。そしてこれをaとbのテンソル積という、というのも定義ですからそう受け入れざるを得ません。
問題は次からです。(以下、総和規約を用いてます。i,jは下付き添え字です)
「…a⊗b=(aiei)⊗(bjej)=aibjei⊗ejであるから,a⊗bの成分は行列を用いて
a⊗b=(aibj)
=
a1b1 a1b2 a1b3
a2b1 a2b2 a2b3
a3b1 a3b2 a3b3
と書ける。…」
これは多分、行列の(i,j)成分が基底ei⊗ejの成分を表していると思うのですが、あっていますでしょうか。
最大の問題は次の点。
a⊗bがこのように書けることとa⊗b(u,v)の計算とはどういう関係があるのでしょうか。計算ならこんなことしなくても定義a⊗b(u,v)=(a・u)(b・v)に従えば計算できると思うのですが。
No.2ベストアンサー
- 回答日時:
補足について。
第1項の誤植と思われる間違いを除けばそのような理解で問題ありません。
a,bについても線形ですので。
質問としては,a⊗bが行列で書けたとして,a⊗b(u,v)が(行列)(u,v)となり,行列が関数で(u,v)が変数?,どうやって計算するの?という意味でしたが,行列で書いているのはあくまでa⊗bの各基底ei⊗ej(i,j=1,2,3)の(ベクトルみたいに)成分を並べたものだということですね。
計算としては
a⊗b(u,v)=a1b1e1⊗e1(u,v)+a1b2e1⊗e2(u,v)+a1b3e1⊗e3(u,v)+a2b1e2⊗e1(u,v)+a2b2e2⊗e2(u,v)+a2b3e2⊗e3(u,v)+a3b1e3⊗e1(u,v)+a3b2e3⊗e2(u,v)+a3b3e3⊗e3(u,v)
でa1b1e1⊗e1(u,v)=a1b1u1v1のように計算して和をとっていくと結果の実数値が得られるんですね。
ありがとうございました。
No.1
- 回答日時:
一つ目はそれでいいです。
二つ目に関しては人によって違う解釈を持ちそうですから、参考程度に。
(a・u)(b・v)の計算をするための方法というよりは、これはテンソル積という量を(忠実に)表現する方法を与えているだけでしょう。テンソル積ではなく線形代数でもそうですが、こうやって数値で表現する方法がないと具体的に計算したい時(2つの元が等しいかどうか知りたい、和を計算したいなど)に困ってしまうんですよ。
表現するだけなら、9成分のベクトル(と同じ表現)でも問題ないはずなのに、どうして行列で表現するのかという趣旨の質問であれば、行列で表現しておくと
(a,u)(b,v) = u^t A v
を満たすような行列Aの事を指している事になるから、という事でしょう。
この回答への補足
もしかして
a⊗b=(aiei)⊗(bjej)=aibjei⊗ej
は総和規約より
a⊗b=(aiei)⊗(bjej)=aibjei⊗ej=a1b1e1⊗e2+a1b2e1⊗e2+a1b3e1⊗e3+a2b1e2⊗e1+a2b2e2⊗e2+a2b3e2⊗e3+a3b1e3⊗e1+a3b2e3⊗e2+a3b3e3⊗e3
であり,
a⊗b(u,v)というのは
a⊗b(u,v)=a1b1e1⊗e2(u,v)+a1b2e1⊗e2(u,v)+a1b3e1⊗e3(u,v)+a2b1e2⊗e1(u,v)+a2b2e2⊗e2(u,v)+a2b3e2⊗e3(u,v)+a3b1e3⊗e1(u,v)+a3b2e3⊗e2(u,v)+a3b3e3⊗e3(u,v)
ということでしょうか。例えば,1項目なら
a1b1e1⊗e2(u,v)=a1b1u1v2
という感じでしょうか。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 物理学 ベクトルと座標系につきまして 1 2022/04/03 06:23
- 数学 線形代数学の問題です! Vは 4 次元ベクトル空間とし線形変換 f ∶ V→ V のある基底 v1, 1 2022/06/12 09:25
- Excel(エクセル) マクロだと数式が表示される 2 2022/09/10 14:48
- Excel(エクセル) ExcelのIF関数について 4 2023/05/24 12:54
- Excel(エクセル) ユーザー定義について質問です。 2 2023/06/28 13:21
- 数学 3次元実ベクトル空間において, 平面 P:x-y+z+1=0 と直線 L:2(x-1)=-y=-z 3 2022/10/29 14:39
- Visual Basic(VBA) Excel のユーザー定義関数でソルバーが動作しない 1 2022/09/05 19:51
- 数学 線形代数の正規直行系についての問題がわからないです。 1 2022/07/16 11:20
- 物理学 ベクトルを2乗表記 (v↑)^2 について 4 2023/05/24 15:00
- その他(プログラミング・Web制作) プログラミングって本来数学的な計算をする為のものではないのですか? 学校で配られたFortran90 11 2022/08/25 22:14
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
3行3列の行列の和と積の計算...
-
線形代数です。 正方行列A,BがA...
-
連続的ポストごめんなさい
-
数学「行列」の実生活への応用
-
matlabで条件をみたしたデータ...
-
行列を分割するメリットを教え...
-
基本行列の積
-
高校数学で教わる行列っていっ...
-
行列の式の英語読み方について
-
行列の平方根?のようなもの
-
逆行列(AB)^-1について
-
掃き出し法は、行の基本変形と...
-
3行3列の逆行列(ルートを含む)
-
Aが2次正方行列とする。 (1)A...
-
Aはn次正方行列で、どんなn次...
-
回転行列の4行4列の意味について
-
零行列 O のことも 零因子 と呼...
-
複素数を含む行列の逆行列は存...
-
[☆急いでます!!☆] 基本変形の解...
-
ansatzとは
おすすめ情報