[過去ログ]
分からない問題はここに書いてね426 [無断転載禁止]©2ch.net (1002レス)
分からない問題はここに書いてね426 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1493648300/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
必死チェッカー(本家)
(べ)
レス栞
あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
318: 132人目の素数さん [] 2017/05/14(日) 09:59:34.50 ID:aOBm0ly2 志賀浩二著『ベクトル解析30講』を読んでいます。 k 階のテンソル積のまでは、その元に意味がありました。 k 階のテンソル積は、 V^* × V^* × … × V^* から Rへの k 重線形関数の 集合でした。 それがテンソル代数になるとその元が写像だということが意識されなくなります。 これはどういうことでしょうか? http://rio2016.5ch.net/test/read.cgi/math/1493648300/318
331: 132人目の素数さん [] 2017/05/14(日) 14:00:19.11 ID:aOBm0ly2 >>237 sum binomial(15, i)*4^(15-i) from i = 5 to 15 = 5012015501 5 * 5012015501 = 25060077505 sum binomial(15, i)*binomial(15-i, j)*3^(15-i-j) from j = 5 to 15-i from i = 5 to 10 = 323173994 binomial(5, 2) * 323173994 = 3231739940 binomial(15, 5) * binomial(10, 5) = 756756 25060077505 - 3231739940 + 756756 = 21829094321 5^15 = 30517578125 21829094321 / 30517578125 = 0.715295762710528 http://rio2016.5ch.net/test/read.cgi/math/1493648300/331
332: 132人目の素数さん [] 2017/05/14(日) 14:02:50.22 ID:aOBm0ly2 >>329 k 階のテンソル積を、 V^* × V^* × … × V^* から Rへの k 重線形関数の集合 は、結局、お望みの代数的構造を構成するのに利用しただけということですね。 http://rio2016.5ch.net/test/read.cgi/math/1493648300/332
357: 132人目の素数さん [] 2017/05/14(日) 20:31:46.48 ID:aOBm0ly2 http://imgur.com/g6TBgHR.jpg http://imgur.com/pZuyOrX.jpg http://imgur.com/wkZELGf.jpg ↑は伊理正夫 他著『ベクトルとテンソル』です。 2枚目と3枚目の赤い線を引いたところを見てください。 意味不明です。 伊理正夫さんは大丈夫な人なのでしょうか? http://rio2016.5ch.net/test/read.cgi/math/1493648300/357
359: 132人目の素数さん [] 2017/05/14(日) 20:44:48.16 ID:aOBm0ly2 >>357 あ、勘違いしていました。 おかしくないですね。 http://rio2016.5ch.net/test/read.cgi/math/1493648300/359
360: 132人目の素数さん [] 2017/05/14(日) 20:48:17.29 ID:aOBm0ly2 >>357 ところで、この本、伊理正夫さんの本にしては、異常に丁寧に書かれていますね。 http://rio2016.5ch.net/test/read.cgi/math/1493648300/360
375: 132人目の素数さん [] 2017/05/14(日) 22:11:19.74 ID:aOBm0ly2 伊理正夫 他著『ベクトルとテンソル』を読んでいます。 (1) 次元 n のベクトル空間 V において、ある一次独立なベクトルの集合 {b_1, …, b_s} に V の任意のベクトル b を加えたものが一次従属になるならば、 {b_1, …, b_s} は V の基底である。 (2) k > n のとき、任意のベクトル {b_1, …, b_k} は一次従属である。 と書いてあります。 (2)の証明ですが、(1)の「直接の結果である」と書かれていますが意味不明です。 (1)から(2)はどのように導かれるのでしょうか? http://rio2016.5ch.net/test/read.cgi/math/1493648300/375
377: 132人目の素数さん [] 2017/05/14(日) 22:16:15.01 ID:aOBm0ly2 k (> n) 個のベクトル {b_1, …, b_k} が一次独立であると仮定し、 背理法で(1)の直接の結果として、矛盾を導けるでしょうか? http://rio2016.5ch.net/test/read.cgi/math/1493648300/377
378: 132人目の素数さん [] 2017/05/14(日) 22:21:18.06 ID:aOBm0ly2 k (> n) 個のベクトル {b_1, …, b_k} が一次独立であると仮定する。 {b_1, …, b_k} に V の任意のベクトル b を加えたものが一次従属ならば、 {b_1, …, b_k} は V の基底である。よって、 k = n > n となって矛盾。 そうでなければ、 {b_1, …, b_k, b_(k+1)} が一次独立になるような b_(k+1) が存在する。 {b_1, …, b_k, b_(k+1)} に V の任意のベクトル b を加えたものが一次従属ならば、 {b_1, …, b_k, b_(k+1)} は V の基底である。よって、 k + 1 = n > n となって矛盾。 そうでなければ、 {b_1, …, b_k, b_(k+1), b_(k+2)} が一次独立になるような b_(k+2) が存在する。 … となって矛盾は(1)の「直接の結果」として導けません。 http://rio2016.5ch.net/test/read.cgi/math/1493648300/378
380: 132人目の素数さん [] 2017/05/14(日) 22:26:29.35 ID:aOBm0ly2 >>376 (1)の「直接の結果」として(2)を導けますか? http://rio2016.5ch.net/test/read.cgi/math/1493648300/380
381: 132人目の素数さん [] 2017/05/14(日) 22:28:22.50 ID:aOBm0ly2 >>375 伊理正夫さんは大丈夫な人なのでしょうか? http://rio2016.5ch.net/test/read.cgi/math/1493648300/381
383: 132人目の素数さん [] 2017/05/14(日) 22:35:38.67 ID:aOBm0ly2 http://imgur.com/g6TBgHR.jpg http://imgur.com/pZuyOrX.jpg http://imgur.com/wkZELGf.jpg ↑の3枚目の画像の次元の定義を見てください。 n 次元ベクトル空間では、「高々有限個のベクトルしか一次独立でありえない」ことは 伊理正夫さんは証明していません。 http://rio2016.5ch.net/test/read.cgi/math/1493648300/383
384: 132人目の素数さん [] 2017/05/14(日) 22:43:24.75 ID:aOBm0ly2 伊理正夫さんの説明だけからは、有限次元であってかつ無限次元であるようなベクトル空間が 存在しうるということになります。 http://rio2016.5ch.net/test/read.cgi/math/1493648300/384
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.092s*