Rを環としV,Wを左R加群とする。
T:=span{(x_1+x_2,y)-(x_1,y)-(x_2,y),(x,y_1+y_2)-(x,y_1)-(x,y_2),(rx,y)-r(x,y),(x,,ry)-r(x,y)}
と定義し,
V(×)W:={{(x,y)∈span(V×W);(x,y)≡(v,w) (mod T)};(v,w)∈V×W}をR上のテンソル積という。
{(x,y)∈span(V×W);(x,y)≡(v,w) (mod T)}をv(×)wと書き,(v,w)のテンソルという。
定義から
(v_1+v_2)(×)w=v_1(×)w + v_2(×)w
v(×)(w_1+w_2)=v(×)w_1 + v(×)w_2
(αv)(×)w=v(×)(αw) =α(v(×)w)
が成り立つとあったのですが
(v_1+v_2)(×)w∈V(×)Wを採ると,
(v_1+v_2)(×)w={(x,y)∈span(V×W);(x,y)≡(v_1+v_2,w) (mod T)}と書け、
∀(x,y)∈{(x,y)∈span(V×W);(x,y)≡(v_1+v_2,w) (mod T)}をとると
(x,y)=(t,s)+(v_1+v_2,w) (但し(t,s)∈T) (∵合同の定義)
=(t+v_1+v_2,s+w)から
(t+v_1,s+w)+(t'+v_2,s'+w)の形
({(x,y)∈span(V×W);(x,y)≡(v_1,w) (mod
T)}+{(x,y)∈span(V×W);(x,y)≡(v_2,w) (mod T)}の元)
というふうにやっていくのかと思いましたら
「(x,y)=(t,s)+(v_1+v_2,w) (但し(t,s)∈T) (∵合同の定義)」
が既に間違いなようです。
∀(x,y)∈{(x,y)∈span(V×W);(x,y)≡(v_1+v_2,w) (mod T)}をとると
からどのようにして
(x,y)∈{(x,y)∈span(V×W);(x,y)≡(v_1,w) (mod T)}+{(x,y)∈span(V×W);(x,y)≡(v_2,w) (mod T)}
が示せますでしょうか?
A 回答 (1件)
- 最新から表示
- 回答順に表示
No.1
- 回答日時:
>(t,s)+(v_1+v_2,w)=(t+v_1+v_2,s+w)から・・・
これは成り立ちますか?いいかえれば、
(x_1,y_1)+(x_2,y_2)=(x_1+x_2,y_1+y_2)
という性質が成り立つかどうかということです。
このことは保証されていませんね。組(x,y)はふつうのベクトルではありませんから。
大切なことは、
(x_1,y)≡(v_1,w)かつ、(x_2,y)≡(v_2,w)(modT)⇒(x_1+x_2,y)≡(v_1+v_2,w)(modT)
が成り立つということです。これはご自分で証明して下さい。
次に考えることは、
(x_1,y)≡(v_1,w)かつ、(x_2,y)≡(v_2,w)(modT)となる任意のx_1,x_2∈V,y∈Wに対して、Tの定義より、
(x_1+x_2,y)-(x_1,y)-(x_2,y)∈Tですから、
(x_1+x_2,y)≡(x_1,y)+(x_2,y)(modT)
したがって、テンソルの定義より
(v_1+v_2)(×)w=v_1(×)w + v_2(×)w
となります。
ありがとうございます。
>>(t,s)+(v_1+v_2,w)=(t+v_1+v_2,s+w)から・・・
> これは成り立ちますか?いいかえれば、
> (x_1,y_1)+(x_2,y_2)=(x_1+x_2,y_1+y_2)
> という性質が成り立つかどうかということです。
> このことは保証されていませんね。組(x,y)はふつうのベクトルではありませんから。
組だったのですか、、知りませんでした。
> 大切なことは、
> (x_1,y)≡(v_1,w)かつ、(x_2,y)≡(v_2,w)(modT)⇒(x_1+x_2,y)≡(v_1+v_2,w)(modT)
> が成り立つということです。これはご自分で証明して下さい。
(x_1,y)≡(v_1,w) (mod T)より
(x_1,y)-(v_1,w)∈T,
(x_2,y)≡(v_2,w)(modT)より
(x_2,y)-(v_2,w)∈T
よってそれぞれ
(x_1,y)-(v_1,w)=a_1(x_1+x_2,y)-b_1(x_1,y)-c_1(x_2,y)+d_1(x,y_1+y_2)-e_1(x,y_1)-f_1(x,y_2)+g_1(rx,y)-h_1r(x,y)+j_1(x,,ry)-k_1r(x,y)…(1).
(x_2,y)-(v_2,w)=a_2(x_1+x_2,y)-b_2(x_1,y)-c_2(x_2,y)+d_2(x,y_1+y_2)-e_2(x,y_1)-f_2(x,y_2)+g_2(rx,y)-h_2r(x,y)+j_2(x,,ry)-k_2r(x,y)…(2).
(但し,a_1,b_1_c_1,d_1,e_1,f_1,g_1,h_1,h_1,j_1,k_1,a_2,b_2_c_2,d_2,e_2,f_2,g_2,h_2,h_2,j_2,k_2∈R)
と言う風に一次結合で表せる。
でこれから
(x_1+x_2,y)-(v_1+v_2,w)が(1)や(2)のように表せなければならないんですよね。
これからどうにもできません。どうすればいいのでしょうか?
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- HTML・CSS HTMLで特定の文字だけ色を変えたいのですが、指定した色と違う色が反映してしまいます。 下記、「前」 5 2023/06/27 12:08
- JavaScript htmlとcssで分数を表示後、分数の右側に文書を書きたい 1 2022/04/28 10:09
- HTML・CSS 分数が正常に表示されない。 6 2022/05/09 18:53
- PHP ランキングを表示する際の画像の大きさを固定することは可能でしょうか? <?php if ( has_ 1 2022/07/21 14:55
- 物理学 仕事を表すW=Fxのグラフは、縦軸がF、横軸がx、その面積がWになりますが、一様な電場での電位を表す 4 2022/12/30 18:56
- HTML・CSS CSSのホバーエフェクト 1 2023/06/19 06:53
- HTML・CSS アコーディオンメニューが思うように動作しません。 1 2023/08/20 16:48
- その他(プログラミング・Web制作) pythonのWebスクレイピングでfind_allだとurlがNoneに 4 2022/04/17 18:21
- HTML・CSS CSS のみのタブ切り替えについて 1 2023/01/11 16:47
- 数学 線形代数についての問題がわからないです。 1 2023/01/08 14:53
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
自然数 整数 有理数 実数 加法 ...
-
皆さん定義を教えてください 「...
-
三角関数(たとえばf(x)=sinxと...
-
無限から無限を引いたら何にな...
-
ネットストーカーの定義 最近SN...
-
「logx^2=2logx」が間違って...
-
1未満と1以下の違い
-
ACCESS IIF関数 複数条件の設...
-
ACCESS VBAでインポート定義の場所
-
べき乗
-
定義付けできない言葉について
-
p⇒q=(¬p)∨qについて
-
「互いに素」の定義…「1と2は互...
-
日本語 ことば ひとまわり ふた...
-
e<3の証明を教えてください。
-
集合間演算に関する質問
-
変数の宣言の名称を教えてくだ...
-
負の階乗 (-1/2)! =√π
-
ヘシアンが0の場合どうやって極...
-
複雑な家庭とは
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
べき乗
-
無限から無限を引いたら何にな...
-
1未満と1以下の違い
-
p⇒q=(¬p)∨qについて
-
「logx^2=2logx」が間違って...
-
数字の1とは何なのか?
-
「互いに素」の定義…「1と2は互...
-
変数の宣言の名称を教えてくだ...
-
ACCESS VBAでインポート定義の場所
-
日本語 ことば ひとまわり ふた...
-
ACCESS IIF関数 複数条件の設...
-
Excelファイルの「数式」タブ→...
-
e<3の証明を教えてください。
-
なぜ小数は自然数ではないので...
-
ヘシアンが0の場合どうやって極...
-
2進数の符号ビットの入った数...
-
最大元と極大元の定義の違いが...
-
eの0乗は1ってどういう原理です...
-
フーリエ級数展開の初項はなぜa...
おすすめ情報