20/09/29 21:08:35.82 JfmTq990.net
>>741
つづき
Several other mathematicians developed vector-like systems in the middle of the nineteenth century, including Augustin Cauchy, Hermann Grassmann, August Mobius, Comte de Saint-Venant, and Matthew O'Brien. Grassmann's 1840 work Theorie der Ebbe und Flut (Theory of the Ebb and Flow) was the first system of spatial analysis that is similar to today's system, and had ideas corresponding to the cross product, scalar product and vector differentiation. Grassmann's work was largely neglected until the 1870s.[10]
Peter Guthrie Tait carried the quaternion standard after Hamilton. His 1867 Elementary Treatise of Quaternions included extensive treatment of the nabla or del operator ∇.
In 1878, Elements of Dynamic was published by William Kingdon Clifford. Clifford simplified the quaternion study by isolating the dot product and cross product of two vectors from the complete quaternion product. This approach made vector calculations available to engineers?and others working in three dimensions and skeptical of the fourth.
Josiah Willard Gibbs, who was exposed to quaternions through James Clerk Maxwell's Treatise on Electricity and Magnetism, separated off their vector part for independent treatment. The first half of Gibbs's Elements of Vector Analysis, published in 1881, presents what is essentially the modern system of vector analysis.[10][7] In 1901, Edwin Bidwell Wilson published Vector Analysis, adapted from Gibb's lectures, which banished any mention of quaternions in the development of vector calculus.
(引用終り)
以上
853:１３２人目の素数さん
20/09/29 21:16:55.31 3gGgCYQz.net
ぽっぽっぽ
854:１３２人目の素数さん
20/09/29 21:17:09.89 3gGgCYQz.net
鳩ぽっぽ
855:１３２人目の素数さん
20/09/29 21:17:29.79 3gGgCYQz.net
豆がほしいか
856:１３２人目の素数さん
20/09/29 21:17:49.82 3gGgCYQz.net
そらやるぞ
857:１３２人目の素数さん
20/09/29 21:18:06.41 3gGgCYQz.net
みんなで仲善く
858:１３２人目の素数さん
20/09/29 21:18:27.02 3gGgCYQz.net
食べに來い
859:１３２人目の素数さん
20/09/29 21:21:35.70 3gGgCYQz.net
あめあめ ふれふれ かあさんが
860:１３２人目の素数さん
20/09/29 21:21:52.33 3gGgCYQz.net
じゃのめで おむかえ うれしいな
861:１３２人目の素数さん
20/09/29 21:22:08.08 3gGgCYQz.net
ピッチピッチ チャップチャップ
862:１３２人目の素数さん
20/09/29 21:22:23.84 3gGgCYQz.net
ランランラン
863:１３２人目の素数さん
20/09/29 22:02:50.77 lT/rGugt.net
🌧🌧🌧
☔ 。。ﾔｯﾊﾟﾘ雨ﾊ。。
𐀪𐁑彡☂︎゛💞相愛傘💕
ﾃﾞｽｮﾈｯ!
。。。ｱﾙﾙﾙﾙﾙｪｪｪｪ…?
💓愛合傘💖ﾀﾞｯﾀｶﾅ…
864:現代数学の系譜 雑談
20/09/29 22:09:36.19 JfmTq990.net
>>738
>ベクトル歴史
山上 滋先生、下記、なかなか面白い（＾＾
URLﾘﾝｸ(www.math.nagoya-u.ac.jp)
ベクトルあれこれ
?古人の求めたるところを
山上 滋 名古屋大
2016 年 1 月 27 日
目次
1 見通しなど 2
2 実数と複素数の幾何学 4
3 重心座標 7
4 ベクトル空間 7
5 ユークリッド空間 9
6 直交群 10
7 ユークリッド変換 11
8 四元数は予言する 12
付録 A ぶつぶつ交感 16
解析学特論（基礎解析） 大学院
目的：ベクトルは、日常語としても使われる程、人口に膾炙したものとなっているが、
その数学教育の中に
865:おける位置づけについて、発展の歴史的流れにも配慮しつつ理解を深 める。 到達目標：ベクトルの概念の自然科学における発展の流れを知る。その背景の下、数学 概念としてのベクトルの確かな理解とその運用方法を修得する。 以下の項目のいくつかについて演習もまじえて学習し、ベクトルの考え方に対する理解 を深める。
866:１３２人目の素数さん
20/09/29 22:10:07.36 lT/rGugt.net
|∞ ﾇｼｻﾏ…ｺﾞﾒﾝﾅｻｨ…
|;´д`)め~さまの思惑通りﾆ
с 荒らしﾁｬｯﾃ…ﾓｩｼﾏｾﾝ…
| 許ｼ亭許ｼﾃ…
＼＼＼＼ｶﾞﾊﾞｯ!
_|~|〇
|∞ 失礼ｼﾏｼﾀ…
|`;)))
с
|
Σ|
Σ|Ю彡
Σ|
ﾊﾟﾀｯ!
867:現代数学の系譜 雑談
20/09/29 22:10:14.56 JfmTq990.net
>>753
いらっしゃい
お元気そうで、なによりです（＾＾；
868:１３２人目の素数さん
20/09/29 22:14:17.89 lT/rGugt.net
゜○。ｫ休ﾐﾅｻｨ。。。🍀ﾟ○。🍀🐑🍀ﾟ🐑🐑🍀🐑🐑🐑🍀。○゜良ぃ夢を。。。○゜🍀🍀🐑🐑🐑🐑🐑🍀🍀。○゜
869:現代数学の系譜 雑談
20/09/29 22:15:42.91 JfmTq990.net
>>754
山上 滋先生、追加下記、これもなかなか面白そう（＾＾
URLﾘﾝｸ(www.math.nagoya-u.ac.jp)
行列代数あれこれ 山上 滋 2017
線型代数の内容は、今となってはどれも代り映えがせず、だれがやっても金太郎飴状態のようにも思えるの
で、あえてそれに逆らうのは愚かなれど、別の見方をすると、十年一日、進歩がないというか、時代の変化を
無視してきたというのか、そのつけを支払わされるのは、教わる学生のみならず、巡り巡って社会全体に及ぶ
という大風呂敷。冥途のみやげに最後の悪あがきもまた一興。
８年ぶりの線型代数、相変わらず進歩がないというよりもむしろ劣化が激しいので、今回はぜひとも教科書
の指定をと思い、以下の項目をチェック。
(i) ３次元座標空間の幾何学はあるか。正射影、平面の方程式、距離の公式。
(ii) 連立一次方程式の幾何学的解釈があるか。
(iii) 行列式の導入が帰納的になされているか。行列式の幾何学的意味が説明してあるか。
(iv) 掃き出し法に列の操作が混入してないか。行のみの操作に限定しているか。
(v) 実二次形式の標準化が説明してあるか。極値問題への応用が意識されているか。
何と、大部分が (iii), (iv) でアウト。かろうじて残ったものも (i), (ii) であえなく撃沈。ううむ、困った。
しようがないので、昔のノート*1 をふくらまして凌ぐことにしよう。題して、行列代数あれこれ*2。あれこれ
というよりは、行きあたりばったりであるか。行き倒れにならないといいのだが、はてさて。
*1 懐かしの「行列代数これだけ」URLﾘﾝｸ(sss.sci.ibaraki.ac.jp)
*2 線型代数は使ってなんぼのもんである。あれもこれもと欲張るよりは、基本的なところをさっとやって、あとは個々人の関心のお
もむくまま実践するのがよい。そうして、必要になったときに必要な範囲で掘り下げる。丁寧にしつこく教えたとて身につくもの
でなし。その意味で、教科書は簡潔明瞭が良いのであるが、一方で砂をかむの苦行を強いるものは避けたい。行きあたりばったりを標榜する所以である。
目次
1
870:行列事始め 3 2 直線と平面の幾何学 5 3 行列とその計算 10 4 ２次・３次の行列式 15 5 一般の行列式 16 6 行列式の特徴づけ 19 略
871:現代数学の系譜 雑談
20/09/29 22:50:39.68 JfmTq990.net
>>758
失礼、2020年版が出ていました。84ページが、85ページに増えている
それよりも、新しい版は、誤植などのバグが修正されている可能性大なので、是非こちらを（＾＾
URLﾘﾝｸ(www.math.nagoya-u.ac.jp)
授業記録
名古屋大学における授業の記録です。
URLﾘﾝｸ(www.math.nagoya-u.ac.jp)
行列代数あれこれ
山上 滋
2020 年 7 月 6 日
872:現代数学の系譜 雑談
20/09/29 22:53:33.34 JfmTq990.net
山上 滋先生は、昔はイバ大にいて、
以前数学板に居たコテの猫さんが、
山上 滋先生を評価していましたね～（＾＾；
873:現代数学の系譜 雑談
20/09/29 23:44:13.96 JfmTq990.net
外積代数も、普遍性あり
用語大混乱：「内積」(inner) 、「外積」(outer) 内部積（英語版） (interior) 、外（部）積 (exterior) 、外積代数、幾何代数（英語版）、スカラー積
いやはや、思い出してきました、なんか混乱させられた記憶が・・（＾＾
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
外積代数
圏論の言葉で言えば、外積代数は普遍構成によって与えられる、ベクトル空間の圏上の函手の典型である。
2.4 普遍性
普遍性
外積代数の普遍性
URLﾘﾝｸ(ja.wikipedia.org)
内積
関連のある積について
「内積」(inner) という語は「外積」(outer) の反対という意味での名称だが、外積は（きっちり反対というよりは）もう少し広い状況で考えることができる。
上記の内積と外積に対して、混同するべきではないがよく似た積として内部積（英語版） (interior) と外（部）積 (exterior) というのが、ベクトル場や微分形式に対する、あるいはより一般に外積代数における演算として定義される。
さらにややこしいことに、幾何代数（英語版）において、内積 (inner) と（グラスマン）外積 (exterior) は幾何積（クリフォード線型環におけるクリフォード積）に統合される（内積は二つのベクトル (1-階ベクトル) をスカラー (0-階ベクトル) へ写し、外積は二つのベクトルを二重ベクトル (2-階ベクトル) へ写す）。そしてこの文脈においてグラスマン積はふつうは「外積」(outer)（あるいはウェッジ積）と呼ばれ、またこの文脈での内積は（考える二次形式が必ずしも正定値であることを要求されないという意味では「内積」でないので）スカラー積と呼ぶのが形式上はより適切である。
874:１３２人目の素数さん
20/09/30 05:52:35.59 wXBmLOg8.net
>>761
>>761
＞外積代数も、普遍性あり
別に驚くことじゃない
すべての反対称テンソルが、ベクトルの外積として表せるわけじゃないから
多重線型写像は、そのままでは線形写像にならないが
定義域を拡大すれば、一意的に線形写像にできる
テンソルとは拡大された定義域
875:１３２人目の素数さん
20/09/30 05:55:22.17 wXBmLOg8.net
>>761
＞いやはや、思い出してきました
何を？
＞なんか混乱させられた記憶が・・・
定義を理解しないからだよ
だからいまだに
「内積も行列式もテンソルじゃない」
なんて初歩的な誤り、平気で口にするんだよ
876:１３２人目の素数さん
20/09/30 06:00:39.01 wXBmLOg8.net
ま、テンソルも
「ベクトルのテンソル積がなす空間」
ではなく
「ベクトルのテンソル積の線型結合がなす空間」
と云ってしまえば、簡単だけどね
実際、基底同士のテンソル積の線型結合で表せるし
877:１３２人目の素数さん
20/09/30 06:16:49.15 wXBmLOg8.net
>>758
YS氏、いうことはごもっともだが、
それなら、自分で教科書書けばいいのに
＞(iv) 掃き出し法に列の操作が混入してないか。行のみの操作に限定しているか。
そうね 「邪念」を排すれば、列の操作は要らないね
＞(iii) 行列式の導入が帰納的になされているか。
「帰納的導入」ってなにかと思ったら、より小さい行列式を用いて定義する、ってことね
行列式と掃き出し法をつなげるなら、そうしたほうがいいね
線型代数なのに、いきなり偶置換・奇置換を持ち出すのは「暴挙」なんだろう
偶置換、奇置換による１、－１の決定は、帰納的な定義から定理として導けるから <
878:現代数学の系譜 雑談
20/09/30 16:18:52.14 GzqVILqn.net
>>762
>＞外積代数も、普遍性あり
>別に驚くことじゃない
あらら、自分で言ったこと覚えているか？
「行列式はテンソルです」(>>576)
「内積も、行列式同様、テンソルです」（>>593）
って、言ったよね
とろで、行列式は、外積代数の外冪を使って定義されるよ(>>722)
外積代数も、普遍性あり
テンソル代数も、普遍性あり
だったら、「行列式はテンソルです」というと
外積代数とテンソル代数とが、”一意な同型射を除いて一意的”（下記）ってなるよね
それは、おかしいよね（＾＾；
（∵ 外積代数とテンソル代数とは、全く同型じゃない。例えば、田丸>>716 数学概論ＰＤＦ 第 1 章 テンソル代数 と 第 2 章 外積代数 ご参照 ）
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
普遍性
(抜粋)
数学の様々な分野において、ある特定の状況下にて一意に射を定めるような抽象的性質が、特定の構成を定義、あるいは特徴づけたりする事がしばしばある。このような性質を普遍性（英: universal property）と呼ぶ。普遍性は圏論を用いて抽象的に論考される。
存在と一意性
もし、普遍射 (A, φ) が存在すれば、一意な同型射を除いて一意的である。
例
テンソル代数
879:１３２人目の素数さん
20/09/30 17:50:08.17 wXBmLOg8.net
>>766
>外積代数も、普遍性あり
>テンソル代数も、普遍性あり
>だったら、
>外積代数とテンソル代数とが、
>”一意な同型射を除いて一意的”
>ってなるよね
>それは、おかしいよね
全然おかしくないが
>もし、普遍射 (A, φ) が存在すれば、
>一意な同型射を除いて一意的である
だからテンソル空間も外積空間（反対称的テンソル空間）も
”それぞれ”一意化されるが
君、一意化を誤解してる？
普遍性、全く理解できてないだろ
テンソル積と外積は違うんだろ？
だったらテンソル空間と（その部分空間となる）反対称的テンソル空間も違うが？
880:１３２人目の素数さん
20/09/30 18:56:45.87 wXBmLOg8.net
ところで、外積を「交代テンソル積」とすれば
「対称テンソル積」というものも考えられる
反対称テンソル（交代テンソル）
URLﾘﾝｸ(ja.wikipedia.org)
対称テンソル
URLﾘﾝｸ(ja.wikipedia.org)
対称テンソル積は
・置換に対する符号の転換を無視して足し合わせる
・同じ基底同士の積を０としない
という形で実現できる
881:現代数学の系譜 雑談
20/09/30 20:07:20.42 WPXiFBae.net
おサルは、統合失調症だったよね
自分で言ったこと覚えているか？
「行列式はテンソルです」(>>576)
「内積も、行列式同様、テンソルです」（>>593）
って、言ったよね
あんた、数学無理じゃねぇ？
「行列式はテンソルです」(>>576)
「内積も、行列式同様、テンソルです」（>>593）
って、数学的に意味不明だよ
それに気付かないのか？
統合失調症
数学無理だよ
882:粋蕎
20/09/30 20:36:26.52 nTJimpPg.net
瀬田氏の名前のイニシャルはYじゃったか
883:１３２人目の素数さん
20/09/30 20:37:27.86 wXBmLOg8.net
>>769
◆yH25M02vWFhPは、知的障害か
>「行列式はテンソルです」
>「内積も、行列式同様、テンソルです」
>って、数学的に意味不明だよ
◆yH25M02vWFhPは、数学が分からない知的障害か
「テンソルとは多重線型写像である」
という定義の意味が不明なんだから
明らかな知的障害
数学以前に日本語の文章が理解できない時点で知的障害
884:１３２人目の素数さん
20/09/30 20:44:10.23 wXBmLOg8.net
>>770
違うよ
「YS氏」とは山上 滋（やまがみ しげる）氏のこと
885:１３２人目の素数さん
20/09/30 20:48:37.83 wXBmLOg8.net
多重線形写像はテンソル空間からスカラーへの線型写像を一意に定めるし
その線型写像もまたテンソルである
886:１３２人目の素数さん
20/09/30 20:53:27.98 wXBmLOg8.net
◆yH25M02vWFhPは読み書き障害がある
日本語の文章の意味が正しく理解できない
国語ができない人には数学はもちろん、いかなる学問も無理
887:１３２人目の素数さん
20/09/30 20:56:15.45 wXBmLOg8.net
正規部分群の定義の誤解も、定義の文章が正しく読めなかったせい
∈と⊂の誤解も、∈と⊂の定義の文章が正しく読めなかったせい
そして今回のテンソルの件も、定義の文章が正しく読めなかったせい
数学以前に、国語からやり直したほうがいい
今のままで、初歩的な誤りを繰り返すだけで、何も正しく学べない
888:粋蕎
20/09/30 21:08:04.69 nTJimpPg.net
ヤマタノチンポ>>765
済まん、投稿者の事じゃのうて引用先の名大数学教授じゃったか、飛ばし読みし過ぎた
889:１３２人目の素数さん
20/09/30 21:31:05.55 wXBmLOg8.net
◆yH25M02vWFhPの本名には興味ないな
数学どころか英語も国語もダメな時点で
取るに足らない人物であることは明らか
890:現代数学の系譜 雑談
20/10/01 07:53:54.15 puwLBl/N.net
>>733
>V⊗Wと、V×Wでは次元が全然違う
>前者の次元はdimV×dimW
>後者の次元はdimV+dimW
あんた、勘違いしているよ
後者V×Wの次元も、dimV×dimWだよ
そう考えないと、下記のテンソル積の「商としての定義」の記述と合わないぜ
つまり、テンソル積 U = V ◯x W と デカルト積 V × W とでは、集合として V ◯x W ⊂ V × W という包含関係があるんだよ！
そう考えないと、基底を用いた定義での「順序対 (ξi, ηj) は記号 "◯x" を用いて ξi ◯x ηj と書くことにすれば・・」も、解釈不能になる
（5ch数学板では、数学記号が自由に使えず視認性が悪い。なので、原文のサイトを見て下さい）
そこのところから、勘違い・大間違いかよ、やれやれ（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
テンソル積
(抜粋)
定義
基底を用いた定義
共通の体 F 上のベクトル空間 V, W に対して、V の基底 B = {ξ1, ξ2, …, ξn} および W の基底 B′ = {η1, η2, …, ηm} をとるとき、これらの直積 B × B′ が生成する nm-次元の自由ベクトル空間
V◯x_FW(=V◯x W):= span _F((ξ_i,η_j)｜ 1<= i<= n,1<= j<= m)
を V と W との F 上のテンソル積と呼ぶ。V ◯x W の元としての順序対 (ξi, ηj) は記号 "◯x" を用いて ξi ◯x ηj と書くことにすれば、V × W の任意の元は適当な有限個のスカラー cij を用いて
Σ _{i,j}c_{ij}(ξ _i◯x η _j)
の形の有限和に表される。これにより、任意のベクトル v ∈ V および w ∈ W のテンソル積 v ◯x w が定義できる。
つづく
891:現代数学の系譜 雑談
20/10/01 07:54:12.93 puwLBl/N.net
>>778
つづき
商としての定義
一般に、体 K 上のベクトル空間 V, W が与えられたとき、それらのテンソル積 U = V ◯x W は、デカルト積 V × W の生成する K-上の自由線型空間 F(V × W) の、
(v_1,w)+(v_{2},w)～ (v_1+v_{2},w)
&(v_1,w) + (v_2,w) ～ (v_1 + v_2,w) (v, v_1, v_2 ∈ V; w, w_1, w_2 ∈ W; c ∈ K)
&c(v,w) ～ (cv,w) ～ (v,cw)
で与えられる同値関係 ～ による商として定義することができる。これは F(V × W) における演算から誘導される演算によりベクトル空間を成す。
普遍性
テンソル積の普遍性
双線型写像 φ: V × W → V ◯x W が存在して、任意のベクトル空間 Z と双線型写像 h: V × W → Z が与えられるとき、
h = ~h ◯ φ を満足する線型写像
~h: V ◯x W → Z が一意に存在する。
この意味において、φ は V × W から作られる最も一般の双線型写像になっている。特に、これにより（一意的に定義される）テンソル積を持つ任意の空間の集まりが対称モノイド圏（英語版）の例となることが導かれる。テンソル積の一意性は、上記の性質を満たす任意の双線型写像 φ′: V × W → V ◯x′ W に対し、同型写像 k: V ◯x W → V ◯x′ W が存在して φ′ = k ◯ φ を満足することを言う。
(引用終り)
以上
892:現代数学の系譜 雑談
20/10/01 08:03:04.54 puwLBl/N.net
>>733 追加
(引用開始)
>>723
>”3 階のテンソル”は代数学の抽象テンソルとは、無関係。
>むしろ、単なる直積集合（デカルト積）と思うべし
(引用終り)
でな、(>>635より)
(引用開始)
URLﾘﾝｸ(www.orsj.or.jp)
オペレーションズ・リサーチ
最適化から見たディープラーニングの考え方 得居 誠也 2015 年 4 月号
P195
図 5 畳み込み層の概略図．入力と出力はともに 3 階のテンソルで表される．
テンソルの各軸は，画像の縦・横方向およびチャンネルの種類に対応する．
各チャンネルは，入力がカラー画像なら R，G，B
ここの得居誠也氏のディープラーニング 、”3 階のテンソル”は
代数学の抽象テンソルとは、無関係。むしろ、単なる直積集合（デカルト積）と思うべし
では、なぜデカルト積と言わず3 階のテンソルというかと言えば、添え字が3種ってことでしょ（＾＾
普通、デカルト積は添え字は１種類で済ませるのに対し、テンソルは複数添え字を使うので、これを借用したと思う
(引用終り)
得居誠也氏は、>>778のV×Wに属する話だよ。”商”には落とさない
つまり、２次元のデジタル画像を、カラーの R，G，B つかって、3次元のデカルト積でコンピュータ処理するときに
添え字が3種にするのだが、”商”は全く関係ないよ！
分かってないな～！（＾＾；
893:１３２人目の素数さん
20/10/01 11:11:52.20 ZvCLwev4.net
>>769
オカシイオカシイじゃなくて、何がどうオカシイのか言わないと
で、何がどうオカシイと？
894:現代数学の系譜 雑談
20/10/01 13:52:08.19 7fZLD5Mp.net
>>781
そう慌てなさんな
分からない人には分からない
分かる人には分かる
そもそも
「行列式はテンソルです」(>>576)
「内積も、行列式同様、テンソルです」（>>593）
って、数学的におかしいよね
それに気づかないってことは
どっか何が欠けているんだろうね
何か知らないが
何が欠けているか知らないが
そういう人に、「おかしい」と分からせるのは
大変なんだよ、自覚がないからな
895:１３２人目の素数さん
20/10/01 13:58:54.79 ZvCLwev4.net
>>782
あなたの論法はいつもそれですね
箱入り無数目でも「大学の確率論・確率過程論を学べば分かる」
それ、何の主張にもなってないこと、そろそろ理解しましょうね
896:現代数学の系譜 雑談
20/10/01 14:25:37.23 7fZLD5Mp.net
>>780 補足
”(>>635より)
(引用開始)
URLﾘﾝｸ(www.orsj.or.jp)
オペレーションズ・リサーチ
最適化から見たディープラーニングの考え方 得居 誠也 2015 年 4 月号
P195
図 5 畳み込み層の概略図．入力と出力はともに 3 階のテンソルで表される．
テンソルの各軸は，画像の縦・横方向およびチャンネルの種類に対応する．
各チャンネルは，入力がカラー画像なら R，G，B
ここの得居誠也氏のディープラーニング 、”3 階のテンソル”は
代数学の抽象テンソルとは、無関係。むしろ、単なる直積集合（デカルト積）と思うべし
では、なぜデカルト積と言わず3 階のテンソルというかと言えば、添え字が3種ってことでしょ（＾＾
普通、デカルト積は添え字は１種類で済ませるのに対し、テンソルは複数添え字を使うので、これを借用したと思う
(引用終り)
得居誠也氏は、>>778のV×Wに属する話だよ。”商”には落とさない
つまり、２次元のデジタル画像を、カラーの R，G，B つかって、3次元のデカルト積でコンピュータ処理するときに
添え字が3種にするのだが、”商”は全く関係ないよ！”
ここを、補足しておくと
１．いま、１枚のデジタル画像（カラー写真）があるとする。縦10、横10で 10x10のピクセル（画素）から成るとする
２．物理的には、2次元のカラー写真と見ることもできるけれども、
コンピュータのデジタル処理を考えると
10x10の画素で、カラーのR，G，Bの3種の情報の重ね合わせと見て、300個のコンピュータプロブラムの情報処理とするのが良い
３．デカルト積で、下記の2次元直交座標系（x,y）と同様に、同じ流儀で言えば、300次元 300個の数字の組で、１枚のデジタル画像情報が扱えるのです
４．それで、>>778のような ”V×W 次元はdimV+dimW ”みたいな流儀だと、10＋10＋3＝23次元という計算になるけど、アホでしょ、それは（＾＾；
５．また、300次元で、添え字１つで、i＝1～300とするよりも
10ｘ10の数字の並びの行列が、R，G，B 3枚あるとする方が、分かり易い
デカルト積だが、添え字はテンソル流ってことですね（＾＾
つづく
897:現代数学の系譜 雑談
20/10/01 14:26:07.30 7fZLD5Mp.net
>>784
つづき
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
直積集合
(抜粋)
集合のデカルト積（デカルト-せき、英: Cartesian product）または直積（ちょくせき、英: direct product）、直積集合、または単に積（せき、英: product）、積集合は、集合の集まり（集合族）に対して各集合から一つずつ元をとりだして組にしたもの（元の族）を元として持つ新たな集合である。
具体的に二つの集合 A, B に対し、それらの直積とはそれらの任意の元 a ∈ A, b ∈ B の順序対 (a, b) 全てからなる集合をいう[1]。
2次元直交座標系
有名な歴史的な例としては、解析幾何学における直交座標系がある。ルネ・デカルトは、数を用いて幾何学的な図形を表現したり、図形から数の情報を得たりするために、平面のそれぞれの点に実数の組を対応させ、その点の座標と名付けた。ふつう、このような組の1番目および2番目の要素は、それぞれ x および y 座標と呼ばれる。したがって、実数の組のすべての集合、すなわち ?�
898:~?（? は実数）という直積集合は、平面上のすべての点の集合に対応する。 (引用終り) 以上
899:現代数学の系譜 雑談
20/10/01 14:27:52.32 7fZLD5Mp.net
>>783
なんだ、おサルか
＞箱入り無数目でも「大学の確率論・確率過程論を学べば分かる」
ちゃんと主張になっているよｗ
箱入り無数目の記事不成立も
「大学の確率論・確率過程論を学べば分かる」！！ｗｗ（＾＾；
900:１３２人目の素数さん
20/10/01 14:50:16.74 ZvCLwev4.net
>>786
あなたの論法が正しいならこう帰結されます
箱入り無数目の記事成立も
「国語・数学を学べば分かる」！！ｗｗ（＾＾；
901:現代数学の系譜 雑談
20/10/01 15:21:15.32 7fZLD5Mp.net
>>787
（>>782より再録）
そもそも
「行列式はテンソルです」(>>576)
「内積も、行列式同様、テンソルです」（>>593）
って、数学的におかしいよね
それに気づかないってことは
どっか何が欠けているんだろうね
何か知らないが
何が欠けているか知らないが
そういう人に、「おかしい」と分からせるのは
大変なんだよ、自覚がないからな
(引用終り)
「行列式はテンソルです」(>>576)
「内積も、行列式同様、テンソルです」（>>593）
って、みんな、”ドン引き”してしまっているんだよね（＾＾
”こいつ何言っているだ？”ってね
”気は確かか”ってね
それに、気付いていないのかな？ｗ（＾＾；
902:現代数学の系譜 雑談
20/10/01 16:22:27.83 7fZLD5Mp.net
余談ですが、直積もテンソルを学ぶときに、用語が混乱しやすいです
下記、ご参照（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
直積
数学において、直積を考えられる対象は様々ある。そのうちの一部を以下に挙げる。
・集合の直積
・群の直積
・加群の直積（ドイツ語版、英語版）
・環の直積
・位相空間の直積
・ベクトルの直積
URLﾘﾝｸ(ja.wikipedia.org)(%E3%83%99%E3%82%AF%E3%83%88%E3%83%AB)
直積 (ベクトル)
線型代数学における直積（direct product[1]）あるいは外積（outer product）は典型的には二つのベクトルのテンソル積を言う。座標ベクトル（英語版）の外積をとった結果は行列になる。外積の名称は内積に対照するもので、内積はベクトルの対をスカラーにする。外積は、クロス積の意味で使われることもあるため、どちらの意味で使われているか注意が必要である。
ベクトル同士の外積は行列のクロネッカー積の特別な場合である。
「テンソルの外積」を「テンソル積」の同義語として用いる文献もある。外積は R, APL, Mathematica などいくつかの計算機プログラム言語では高階函数でもある。
URLﾘﾝｸ(ja.wikipedia.org)
直積集合
（「積集合」と「デカルト積」はこの項目へ転送されています。その他の用法については「共通部分 (数学)」、「デカルトモノイド圏」をご覧ください。）
集合のデカルト積（デカルト-せき、英: Cartesian product）または直積（ちょくせき、英: direct product）、直積集合、または単に積（せき、英: product）、積集合は、集合の集まり（集合族）に対して各集合から一つずつ元をとりだして組にしたもの（元の族）を元として持つ新たな集合である。
具体的に二つの集合 A, B に対し、それらの直積とはそれらの任意の元 a ∈ A, b ∈ B の順序対 (a, b) 全てからなる集合をいう[1]。
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
共通部分 (数学)
共通集合（きょうつうしゅうごう）、交叉（こうさ、交差）、交わり（まじわり、meet）、積集合（せきしゅうごう）、積（せき）[1]、などとも呼ばれる。ただし、積集合は直積集合の意味で用いられることが多い。
903:現代数学の系譜 雑談
20/10/01 16:32:15.27 7fZLD5Mp.net
>>789 補足
直積 (ベクトル)が、
「典型的には二つのベクトルのテンソル積を言う」であって
「外積（outer product）」と呼ばれたり
直積集合が、「デカルト積」だとか
初学者レベルの集合論では、共通部分を、
積集合（せきしゅうごう）とか、積と言ったりします
テンソルのテキスト（教科書）を読むとき
ここらの、著者の立場（代数系の人かとか、応用系か（例えばベクトル解析、あるいは物理系とか）など）、用語の定義によく注意しましょう
あと、時代で用語の流行り廃れがあります
細かくフォローできていませんが
なんか、混乱させられた記憶があります（＾＾；
904:現代数学の系譜 雑談
20/10/01 17:00:06.08 7fZLD5Mp.net
>>784 補足訂正
10x10の画素で、カラーのR，G，Bの3種の情報の重ね合わせと見て、300個のコンピュータプロブラムの情報処理とするのが良い
↓
10x10の画素で、カラーのR，G，Bの3種の情報の重ね合わせと見て、300個の変数のコンピュータプロブラムの情報処理とするのが良い
”300個の変数のコンピュータプロブラム”に、補足訂正します（＾＾；
905:１３２人目の素数さん🐙
20/10/01 17:56:30.50 ZvCLwev4.net
>>788
気は確かかと思うのはあなたの勝手ですが、根拠を示さなければナンセンスであるという至極当たり前のことを何故あなたは理解しないのですか？
906:１３２人目の素数さん
20/10/01 18:56:17.25 YkS1knOQ.net
>>778
>>V⊗Wと、V×Wでは次元が全然違う
>>前者の次元はdimV×dimW
>>後者の次元はdimV+dimW
>あんた、勘違いしているよ
>後者V×Wの次元も、dimV×dimWだよ
トンデモ、ｷﾀ━━(ﾟ∀ﾟ)━━!!
ま、正規部分群の定義の読み違いやら
∈と⊂の混同やらとかいう
明らかなトンデモぶりを見てきた
こちらとしては「ああ、またか」って
感じですけどね
>そう考えないと、下記のテンソル積の「商としての定義」の記述と合わないぜ
>つまり、テンソル積 U = V ◯x W と デカルト積 V × W とでは、
>集合として V ◯x W ⊂ V × W という包含関係があるんだよ！
包含関係が逆
正しくは V×W⊂V⊗W
つまり、ｔ∈V×Wが存在して
任意のv∈V、ｗ∈Wについて、
t=v⊗wでない
V × W の変数の値はdimV+dimW個しかない
逆に、V⊗Wの次元はdimV×dimW
>そう考えないと、基底を用いた定義での
>「順序対 (ξi, ηj) は記号 "◯x" を用いて ξi ◯x ηj と書くことにすれば・・」
>も、解釈不能になる
確かに、nm個のξi ⊗ηjは、V×Wの中にある、
しかし、
「だから V×Wの次元はdimV×dimW」
といってるなら誤り
２つのξi ⊗ηjの和が、ベクトル同士のテンソル積で表せないなら
V×Wの要素ではない
つまり、V×Wは、V⊗Wの中に「曲面」として埋め込まれており、
したがって、V⊗W内の線型空間ではない
>そこのところから、勘違い・大間違いかよ、やれやれ
勘違いしてるのは、キミだよ、キ・ミ
907:１３２人目の素数さん
20/10/01 19:13:10.72 YkS1knOQ.net
>>780
>ここの・・・ディープラーニング 、”3 階のテンソル”は
>代数学の抽象テンソルとは、無関係。
>むしろ、単なる直積集合（デカルト積）と思うべし
引用された記事書いた人が、この文章見たら、確実に泣くな
V×Wだったら、2種類の添字要らない
Vの基底がe1~enで、Wの基底がε１~εｍだったら
V×Wを線型空間とみなした場合の基底は
e1~enおよびε１~εｍのn+m個だろ？
(v,w)∈V×W なんだからさ
ほんとマジで全然わかってないな
じゃ、聞くけど
e1⊗ε1＝(e1,ε1)∈V×W
e2⊗ε2＝(e2,ε2)∈V×W
として
e1⊗ε1＋e2⊗ε2＝(v,w)
となるようなvとwって何？
>>778で
V⊗W⊂V×W
と言い切ったんだから
e1⊗ε1＋e2⊗ε2＝(v,w)
となるようなvとwを
具体的に書き表し切ってみせられるよね
さあ、やって！今！ここで！
ほんと、いつまでたっても
自分が微積分も線形代数も基礎から誤解してる
トンデモだという自覚がないんだねぇ（呆）
908:１３２人目の素数さん
20/10/01 19:18:00.12 YkS1knOQ.net
>>782
＞分からない人には分からない
＞分かる人には分かる
◆yH25M02vWFhPには分からない
数学者卒業者には皆分かる
◆yH25M02vWFhPが >>778
＞V×Wの次元も、dimV×dimWだよ
と言い切った瞬間
「数学のスの字も分からん正真正銘のidiot」
であることが、数学科出身者にとって明らかとなった
909:１３２人目の素数さん
20/10/01 19:25:50.02 YkS1knOQ.net
>>780 >>784
＞…氏は、>>778のV×Wに属する話だよ。”商”には落とさない
あまりに馬鹿な誤解なので、著者が気の毒すぎて、名前が書けない
だいたい、「商」ってなんだ？ 意味が分らん
(v,w)∈V×Wなので、Vがn次元で、Wがｍ次元なら、V×Wはn+m次元
C^nは、CをR^2と見たとき、R^(2*n)であって、R^(2^n)ではないだろｗ
ほんと、どこまで底抜けのidiotなんだろうな こいつは
910:１３２人目の素数さん
20/10/01 19:34:32.03 YkS1knOQ.net
>>785
＞直積集合
＞集合のデカルト積（デカルト-せき、英: Cartesian product）
＞または直積（ちょくせき、英: direct product）、直積集合、
＞または単に積（せき、英: product）、積集合は、
＞集合の集まり（集合族）に対して
＞各集合から一つずつ元をとりだして組にしたもの（元の族）
＞を元として持つ新たな集合である。
＞具体的に二つの集合 A, B に対し、
＞それらの直積とはそれらの任意の元
＞a ∈ A, b ∈ B の順序対 (a, b)
＞全てからなる集合をいう。
だろ？
で、
「任意のｔ∈V⊗Wについて、
ｔ＝v⊗ｗ＝(v,w)∈V×Wとなる
v∈V,w∈Wが必ず存在する」
というなら、ｔから(v､w)への関数を
具体的に示してみせて
ここまで言われて自分の誤りに気づけないなら
◆yH25M02vWFhP 君は正真正銘のidiotだよ
911:１３２人目の素数さん
20/10/01 19:52:48.79 YkS1knOQ.net
線型空間V,Wについて、直積集合V×Wに、
(v1,w1)+(v2,w2)=(v1+v2,w1+w2)
a(v,w)=(av,aw)
のように成分ごと演算を定義して
線型空間の構造を入れたものを
VとWの「直和」といいV⊕Wで表す
加群の直和
URLﾘﾝｸ(ja.wikipedia.org)
これは、双線型写像の考え方とは明らかに異なるんだよね
φ(v1+v2､w)=φ(v1､w)+φ(v2,w)
φ(v､w1+w2)=φ(v,w1)+φ(v,w2)
φ(av,w)=φ(v,aw)=aφ(v,w)
ほんと、線形代数が根本から全然分かってないんだねぇ、◆yH25M02vWFhPは
912:１３２人目の素数さん
20/10/01 20:21:46.55 YkS1knOQ.net
>>788
＞みんな、”ドン引き”してしまっているんだよね
「V×Wの次元も、dimV×dimWだよ」って、
数学科出身者全員、”ドン引き”どころか”超弩級失笑”
ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
913:１３２人目の素数さん
20/10/01 20:29:21.00 YkS1knOQ.net
今日のまとめ
１．V×Wに線型空間の構造を入れたものは、直和V⊕W
２．V×WからVとWのテンソル積V⊗Wへの写像は双線型写像であって、
線型写像ではない つまりV×WはV⊗Wの線型部分空間ではない
914:現代数学の系譜 雑談
20/10/01 21:09:04.57 puwLBl/N.net
>>793
>>あんた、勘違いしているよ
>>後者V×Wの次元も、dimV×dimWだよ
>V × W の変数の値はdimV+dimW個しかない
あーらら、頑張るねｗ
だが、あんたの負けだな
下記の田丸先生読んでみな（＾＾
「定義 1.3 U0 を実線型空間, ι : V × W → U0 を双線型写像とする. 」
「命題 1.7 {v1, . . . , vn} を V の基底, {w1, . . . , wm} を W の基底とする.
また, U0 :=R^mn とおき, ι : V × W → U0 を双線型写像とする.
このとき, もし {ι(vi, wj )} が U0 の基底ならば, (U0, ι) は V と W のテンソル積である.」
だよ
つまり、V × Wは、R^mn つまり、mとnの積の次元なのですよ（＾＾；
（参考 >>716より）
URLﾘﾝｸ(www.math.sci.hiroshima-u.ac.jp)
数学概論 (2014年度前期) 講義資料 数学専攻 M1 対象, 輪講科目. 田丸 広島大（今は大阪市大）
(抜粋)
Ｐ2
定義 1.3 U0 を実線型空間, ι : V × W → U0 を双線型写像とする. このとき (U0, ι) が
V と W の テンソル積 であるとは, 次が成り立つこと:
1.1.2 基底を用いた構成
ここでは, テンソル積を基底を用いて構成する.
命題 1.7 {v1, . . . , vn} を V の基底, {w1, . . . , wm} を W の基底とする.
また, U0 :=R^mn とおき, ι : V × W → U0 を双線型写像とする.
このとき, もし {ι(vi, wj )} が U0 の基底ならば, (U0, ι) は V と W のテンソル積である.
この命題の仮定をみたす ι が存在することは容易に分かるので, テンソル積が存在する
ことが従う.
系 1.8 dim(V ◯x W) = dim V ・ dim W. とくに {v1, . . . , vn}, {w1, . . . , wm} をそれぞれ
V , W の基底とすると, {vi ◯x wj} は V ◯x W の基底である.
これでテンソル積の次元が分かった. 次は, 次元を用いた判定条件.
(引用終り)
以上
915:現代数学の系譜 雑談
20/10/01 21:21:58.86 puwLBl/N.net
>>796
>＞…氏は、>>778のV×Wに属する話だよ。”商”には落とさない
>だいたい、「商」ってなんだ？ 意味が分らん
何が分からないのかな？
下記のwikipediaの通りだよ
テンソル積、商としての定義より
体 K 上のベクトル空間 V, W
デカルト積 V × W の生成する K-上の自由線型空間 F(V × W)
「・・同値関係 ～ による商として定義することができる」とあるよ（下記）
デカルト積 V × Wにおいて、Vがm次元、Wがn次元として、m+n次元にしかならないとしたら
デカルト積 V × Wの商から、テンソル積 U = V ◯x W での、積のmn次元が出るわけないでしょ
デカルト積 V × Wが、積のmn次元だから、テンソル積 U = V ◯x W での、積のmn次元が出るんだよｗ（＾＾；
（参考 >>778より）
URLﾘﾝｸ(ja.wikipedia.org)
テンソル積
(抜粋)
定義
商としての定義
一般に、体 K 上のベクトル空間 V, W が与えられたとき、それらのテンソル積 U = V ◯x W は、デカルト積 V × W の生成する K-上の自由線型空間 F(V × W) の、
(v_1,w)+(v_2,w)～ (v_1+v_2,w)
&(v_1,w) + (v_2,w) ～ (v_1 + v_2,w) (v, v_1, v_2 ∈ V; w, w_1, w_2 ∈ W; c ∈ K)
&c(v,w) ～ (cv,w) ～ (v,cw)
で与えられる同値関係 ～ による商として定義することができる。
これは F(V × W) における演算から誘導される演算によりベクトル空間を成す。
(引用終り)
以上
916:１３２人目の素数さん
20/10/01 22:00:50.31 YkS1knOQ.net
>>801
>あーらら、頑張るね
あーらら、頑張るね idiot
でも頑張れば頑張るほど間違い続けて馬鹿にされるよ idiot
>U0 :=R^mn とおき, ι :V × W → U0 を双線型写像とする
ιは双線型写像であって線型写像ではないのは分かってるかな？
つまりι（V × W ）は線形空間ではない
>もし {ι(vi, wj )} が U0 の基底ならば,
>(U0, ι) は V と W のテンソル積である
もし{ι(vi, wj )} が U0 の基底であっても
{ι(vi, wj )} が ι（V × W ）の全ての元を生成できるわけではない
このことが分からないキミは・・・idiot ！
>つまり、V × Wは、R^mn つまり、mとnの積の次元なのですよ
超特大トンデモ発言 ｷﾀ―(ﾟ∀ﾟ)―!!
V × Wは、R^(m+n) つまり、mとnの和の次元なのだよ
大学に合格できなかった高卒idiot君
917:１３２人目の素数さん
20/10/01 22:12:33.55 YkS1knOQ.net
>>802
＞下記のwikipediaの通りだよ
同値関係も同値類もまったく理解できない
idiotのキミには到底理解できないから諦めな
918:１３２人目の素数さん
20/10/01 22:19:45.24 YkS1knOQ.net
そもそも、idiotの君には「自由線型空間」の
「自由」の意味が全く理解できないだろう
自由加群
URLﾘﾝｸ(ja.wikipedia.org)
「集合 E が与えられたとき、E 上の自由加群とは E を基底 にもつ自由加群である。」
つまり
「デカルト積 V × W の生成する K-上の自由線型空間 F(V × W)」
（正しくはV×W上の自由K-線型空間F(V×W)）
とは、V×Wの任意の元を基底に持つK-線型空間
919:１３２人目の素数さん
20/10/01 22:26:02.10 YkS1knOQ.net
F(V × W)においては
(v_1,w) (v_2,w) (v_1+v_2,w)
はそれぞれ独立である
つまり
920:F(V × W)の基底は無限にある
921:現代数学の系譜 雑談
20/10/02 00:02:46.13 4l+W3Pp2.net
>>805-806
(引用開始)
「自由」の意味が全く理解できないだろう
自由加群
URLﾘﾝｸ(ja.wikipedia.org)
「集合 E が与えられたとき、E 上の自由加群とは E を基底 にもつ自由加群である。」
F(V × W)においては
(v_1,w) (v_2,w) (v_1+v_2,w)
はそれぞれ独立である
つまりF(V × W)の基底は無限にある
(引用終り)
いやいや、おサルの妄想は、面白ね～
統合失調症の妄想って、こんなに面白いことになるのかね？
「つまりF(V × W)の基底は無限にある」って、あらま、突然「基底は無限」になる？ｗ（＾＾；
V × W って、あなた、「V × Wは、R^(m+n) つまり、mとnの和の次元なのだよ」(>>803)と言った尻から、突然「基底は無限」かよ、おいｗ（＾＾
自由加群って、定義としては、下記自由加群wikipedia”R-加群 M が基底をもつとき、M は自由加群であるという[2]。”
ってこと。この話は、過去スレでも議論した
「自由」の意味は、自由加群wikipedia”一般化”のところに図があるから、その周辺を読んでみなよ
それで分かるだろう
で、R-加群は、必ずしも基底を持たないって話だったでしょ
基底を持つ場合を、特に定義したわけですよ、大事だからね
それから、下記 テンソル積 wikipedia「商としての定義
一般に、体 K 上のベクトル空間 V, W が与えられたとき、それらのテンソル積 U = V ◯x W は、デカルト積 V × W の生成する K-上の自由線型空間 F(V × W) 」
は、下記の 自由加群wikipedia「構成
集合 E が与えられたとき、E 上の自由 R-加群を作ることができる」で
集合 E＝ V × W（デカルト積）として、構成される 自由 R-加群として、
単純」に記号F(V × W)を使って”K-上の自由線型空間 F(V × W)”を定義するってことじゃね？ それ以上でも以下でもない（＾＾
つづく
922:現代数学の系譜 雑談
20/10/02 00:03:14.52 4l+W3Pp2.net
>>807
つづき
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
自由加群
(抜粋)
定義
R-加群 M について、集合 E ⊂ M が M の基底であるとは、次の2条件を満たすことである。
1.E は M を生成する。すなわち、M の任意の元は E の元に R の係数をかけたものの有限和である。
2.E は一次独立である。すなわち、任意の E の互いに異なる有限個の元 e_1,e_2,・・・ ,e_n に対して r_1e_1+r_2e_2+・・・ +r_ne_n=0_M であれば、 r_1=r_2=・・・ =r_n=0_R となる。
（ただし 0M は M の零元で、0R は R の零元である。）
R-加群 M が基底をもつとき、M は自由加群であるという[2]。
基底の濃度を自由加群 M のランク（階数）と言い、濃度が有限ならば、M をランク n の自由加群、あるいは単に有限ランクの自由加群と言う。
構成
集合 E が与えられたとき、E 上の自由 R-加群を作ることができる。それは単純に R の|E| 個のコピーの直和であり、しばしば R(E) と表記される。この直和を C(E) と表記し、具体的に構成しよう。
一般化
より弱い一般化として平坦加群やねじれのない加群がある。平坦加群はテンソル積が完全列を保つという性質をもつ。環が特別な性質をもてば、逆が成り立つことがある。例えば、任意の完全局所デデキント環上のすべてのねじれのない加群は平坦加群、射影加群、自由加群でもある。
URLﾘﾝｸ(upload.wikimedia.org)
（参考 >>778より）
URLﾘﾝｸ(ja.wikipedia.org)
テンソル積
(抜粋)
定義
商としての定義
一般に、体 K 上のベクトル空間 V, W が与えられたとき、それらのテンソル積 U = V ◯x W は、デカルト積 V × W の生成する K-上の自由線型空間 F(V × W)
(引用終り)
以上
923:現代数学の系譜 雑談
20/10/02 00:05:36.12 4l+W3Pp2.net
>>807 タイポ訂正
単純」に記号F(V × W)を使って”K-上の自由線型空間 F(V × W)”を定義するってことじゃね？ それ以上でも以下でもない（＾＾
↓
単純に記号F(V × W)を使って”K-上の自由線型空間 F(V × W)”を定義するってことじゃね？ それ以上でも以下でもない（＾＾
”」”を抜く
分かると思うが（＾＾；
924:１３２人目の素数さん
20/10/02 02:46:17.34 joDAzeh/.net
>>807
>「つまりF(V × W)の基底は無限にある」って、あらま、突然「基底は無限」になる？ｗ（＾＾；
>V × W って、あなた、「V × Wは、R^(m+n) つまり、mとnの和の次元なのだよ」(>>803)と言った尻から、突然「基底は無限」かよ、おいｗ（＾＾
一行目はF(V × W)、2行目はV × Wなんだけど、なに発狂してるんですか？
925:１３２人目の素数さん
20/10/02 02:50:54.29 7SeDt20X.net
ガロアを無視しちゃなんねぇ。
舘野 鴻：「がろあむし」偕成社 (2020/Sep)
40p．2200円
URLﾘﾝｸ(www.kaiseisha.co.jp)
実在の虫の一生 淡々と
日経夕刊 10/1 (竹内 薫が選ぶ3冊)
926:現代数学の系譜 雑談
20/10/02 06:40:50.69 4l+W3Pp2.net
>>807 訂正
集合 E＝ V × W（デカルト積）として、構成される 自由 R-加群として、
↓
集合 E＝ V × W（デカルト積）の基底 として、構成される 自由 R-加群として、
だな
E＝ V × W（デカルト積）ではないですね
補足
１．V × W（デカルト積）で、>>801の田丸先生より
{v1, . . . , vn} を V の基底, {w1, . . . , wm} を W の基底とする.
２．デカルト積の定義（下記）より、基底のペア (vi, wj)∈V × W となる
３．この基底のペア(vi, wj)は、mn個存在する
４．この基底のペア(vi, wj)で、ベクトル空間を考えると、V × W（デカルト積）はmn次元のベクトル空間になる
５．テンソル積の空間は、V × W（デカルト積）全体ではなく、下記直積 (ベクトル)wikipediaの 二つのベクトル v∈V、w∈ のテンソル積 v ◯x w から成るものに制限される
（下記「典型的には二つのベクトルのテンソル積を言う。座標ベクトル（英語版）の外積をとった結果は行列になる。」ってことね。（ｍｎ行列全体ではなく、直積 (ベクトル)の形に制限される。詳しくは、直積 (ベクトル)wikipediaをご参照））
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
集合のデカルト積（デカルト-せき、英: Cartesian product）または直積（ちょくせき、英: direct product）、直積集合、または単に積（せき、英: product）、積集合は、集合の集まり（集合族）に対して各集合から一つずつ元をとりだして組にしたもの（元の族）を元として持つ新たな集合である。
具体的に二つの集合 A, B に対し、それらの直積とはそれらの任意の元 a ∈ A, b ∈ B の順序対 (a, b) 全てからなる集合をいう[1]。
URLﾘﾝｸ(ja.wikipedia.org)(%E3%83%99%E3%82%AF%E3%83%88%E3%83%AB)
直積 (ベクトル)
線型代数学における直積（direct product[1]）あるいは外積（outer product）は典型的には二つのベクトルのテンソル積を言う。座標ベクトル（英語版）の外積をとった結果は行列になる。
(引用終り)
以上
927:現代数学の系譜 雑談
20/10/02 07:01:21.72 4l+W3Pp2.net
>>812 補足
ここらは、
手元に、雪江明彦 代数学2があるけど、Ｐ127 ”2.10 テンソル積”を併読すると、よく分かると思う
雪江明彦では、テンソル積の普遍性を使って、テンソル積を定義している
よく言われるが、数学では”ある数学の対象Ａが、ある性質を持つ”ということが分かると
逆に、”ある性質を持つ 数学的対象Ａ’ ”という形で、対象Ａを抽象的に定義することがよくあるという
”テンソル積の普遍性を使って、テンソル積を定義している”というのも
その典型例かもね（＾＾
928:現代数学の系譜 雑談
20/10/02 11:02:11.23 lW4e9AjH.net
やれやれ
「V × Wは、R^(m+n) つまり、mとnの和の次元なのだよ 」（>>803）
「自由加群 デカルト積 V × W の生成する K-上の自由線型空間 F(V × W) とは、V×Wの任意の元を基底に持つK-線型空間 つまりF(V × W)の基底は無限にある」（>>805-806）
この二つの発言もひどいな(>>812-813)
下記もひどいけどな～（＾＾；
「行列式はテンソルです」(>>576)
「内積も、行列式同様、テンソルです」（>>593）
って、みんな、”ドン引き”してしまっているんだよね（＾＾
おいおい
”・内積や行列式がテンソルであることが理解できない
・機械工学やらオペレーションズリサーチやらのテンソルが
数学におけるテンソルの定義を満たしてることも理解できない
こういう人を、我々、数学科で学んだ”神”はこう呼ぶ
idiot”（>>640）って、なに言ってんだろうね？
てめえ、ベクトル空間のデカルト積 V × W の次元さえ理解できていないのに
「数学科で学んだ”神”」を自称するかね～？ｗ（＾＾
”オペレーションズリサーチ”の理解もあやしいな
普通は、”オペレーションズリサーチ”には、テンソルは出てこないよ（テンソルを使ってはいけないことはないけども）
いまどきのAIとかビッグデータと、昔からの”オペレーションズリサーチ”とを混同しているようだな（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
オペレーションズ・リサーチ
(引用終り)
以上
929:１３２人目の素数さん
20/10/02 19:17:30.66 GDNIEcV7.net
>>807
>「つまりF(V × W)の基底は無限にある」って、あらま、突然「基底は無限」になる？
（中略）
>集合 E＝ V × W（デカルト積）として、構成される 自由 R-加群として、
>単純に記号F(V × W)を使って”K-上の自由線型空間 F(V × W)”を定義する
>ってことじゃね？
いちいち？で疑問形で終わるって、キミ自分に全然自信ないの？
さすが大学に受からなかった高卒だな
大卒で数学理解してれば、？じゃなく！で言い切れる
言い切れないキミは、数学界の落伍者！
>>808
>R-加群 M について、集合 E ⊂ M が M の基底であるとは、次の2条件を満たすことである。
>1.E は M を生成する。すなわち、M の任意の元は E の元に R の係数をかけたものの有限和である。
>2.E は一次独立である。すなわち、任意の E の互いに異なる有限個の元 e_1,e_2,・・・ ,e_n に対して
>r_1e_1+r_2e_2+・・・ +r_ne_n=0_M であれば、 r_1=r_2=・・・ =r_n=0_R となる。
>（ただし 0M は M の零元で、0R は R の零元である。）
で、E=V×Wとしたとき、V×Wって有限集合かい？違うだろ？
じゃ、基底は無限にある！
無限にあることも分からず、無限にある？と疑うキミは完全なidiot！！！
930:１３２人目の素数さん
20/10/02 19:43:47.67 GDNIEcV7.net
>>812
>集合 E＝ V × W（デカルト積）として、構成される 自由 R-加群として、
> ↓
>集合 E＝ V × W（デカルト積）の基底 として、構成される 自由 R-加群として、
>だな
>E＝ V × W（デカルト積）ではないですね
はい、キミは日本語も読めないidiot 確定！！！
E＝ V × W（デカルト積）
「集合 E＝ V × W（デカルト積）として、構成される 自由 R-加群として、」
のみが正しい文章
そもそも V×W というだけでは線型空間にならない
V×Wにたいして
(v1,w1)+(v2,w2)=(v1+v2,w1+w2)
とかいう演算を入れるなら
線型空間の直和V⊕Wとなる、
その次元は dim V + dim W
931:１３２人目の素数さん
20/10/02 19:44:14.30 GDNIEcV7.net
>>812
>１．V × W（デカルト積）で、
> {v1, . . . , vn} を V の基底, {w1, . . . , wm} を W の基底とする.
結構
>２．デカルト積の定義（下記）より、基底のペア (vi, wj)∈V × W となる
然り
>３．この基底のペア(vi, wj)は、mn個存在する
然り
>４．この基底のペア(vi, wj)で、ベクトル空間を考えると、V × W（デカルト積）はmn次元のベクトル空間になる
否！キミはそこで間違った！気違った！発狂した！トンデモになった！
まず 基底のペア(vi, wj)を「新たな基底」として「（VでもWでもない）新たなベクトル空間」を考えるのはいい
し・か・し、その「新たなベクトル空間」は V × W（デカルト積）ではない！V⊗W （テンソル積）である
なぜ、そう言い切れるか？それは例えば
(v1,w1)+(v2､w2)
932:は、双線型性を保持する+の定義では (v,w)として表せず、したがってV × Wの要素ではないからだ ウソだというなら、(v1,w1)+(v2､w2)=(v､w)となるv,wを、 v1,v2,w1,w2を使ってあらわしてくれ キミがどんな式を書いてもその誤りを即座に指摘して キミを焼き🐓にしてみせようｗ >５．テンソル積の空間は、V × W（デカルト積）全体ではなく、 >二つのベクトル v∈V、w∈W のテンソル積 v ◯x w から成るものに制限される 逆だ！キミは日本語も正しく読めないidiotだな 二つのベクトル v∈V、w∈W のテンソル積 v⊗w からなる集合こそ V × W（デカルト積）からV⊗Wへの双線型写像の像 そしてそれは、集合Vと集合Wのテンソル積 V⊗W の真部分集合 つまりt∈V⊗Wのほとんど全てはv⊗wとは表せない （v1⊗w1+v2⊗w2 のような形には表せるが、v⊗wにはできない）
933:１３２人目の素数さん
20/10/02 19:57:21.04 GDNIEcV7.net
>>813
キミは、普遍性が全然わかってない
普遍性とは
V×W→U が双線型写像なら
V×W→V⊗W によって、一意的に
V⊗W→U という線型写像が構成できる
ということ
その際用いられる、双線型写像
V×W→V⊗W は
１．全射ではない！
２．単射でもない！
１は
「ベクトル同士のテンソル積で実現できる行列の行列式は０だが
行列の中には行列式が０でない者が存在する」
ことで示せる
２は
「ベクトルv⊗wは、スカラーが体を成す場合
0でない任意のスカラーaについて
av⊗(1/a)w 及び (1/a)v⊗aw と等しい」
ことで示せる
934:現代数学の系譜 雑談
20/10/02 20:49:28.19 4l+W3Pp2.net
>>815-818
おサル頑張るね～ｗ（＾＾；
だが、その屁理屈のクソ粘りをやればやるほど、お前さんの数学の才能の無さ、理解の無さ、結果としての数学科のオチコボレってことが、ハッキリするだけだよ
まあ、適当に遊んでやるぜよ（＾＾
勝負は、とっくについている
こちらの勝ちってねｗｗ（＾＾；
(>>815より)
>>集合 E＝ V × W（デカルト積）として、構成される 自由 R-加群として、
>>単純に記号F(V × W)を使って”K-上の自由線型空間 F(V × W)”を定義する
>>ってことじゃね？
>いちいち？で疑問形で終わるって、キミ自分に全然自信ないの？
>さすが大学に受からなかった高卒だな
疑問形で終わるのは、おれはwikipediaの記述を100％していないからだよ
wikipediaの記述が間違っていることも、結構あるからね
(>>817より)
>> ４．この基底のペア(vi, wj)で、ベクトル空間を考えると、V × W（デカルト積）はmn次元のベクトル空間になる
>否！キミはそこで間違った！気違った！発狂した！トンデモになった！
>まず 基底のペア(vi, wj)を「新たな基底」として「（VでもWでもない）新たなベクトル空間」を考えるのはいい
>し・か・し、その「新たなベクトル空間」は V × W（デカルト積）ではない！V⊗W （テンソル積）である
違うだろ？ 田丸先生のは、下記の冒頭 「話を簡単にするために, 有限次元の実線型空間のみを扱う.」とあるよ
つまり、係数（スカラー）が実数（体）だから、ベクトル空間だよ（下記 環上の加群 wikipediaご参照）
この議論は、過去のスレで行列の零因子との関係でやったでしょ。忘れたらしいなｗ（＾＾；
つづく
935:現代数学の系譜 雑談
20/10/02 20:50:08.36 4l+W3Pp2.net
>>819
つづき
（参考 >>716より）
URLﾘﾝｸ(www.math.sci.hiroshima-u.ac.jp)
数学概論 (2014年度前期) 講義資料 数学専攻 M1 対象, 輪講科目. 田丸 広島大（今は大阪市大）
URLﾘﾝｸ(ja.wikipedia.org)
環上の加群
(抜粋)
環上の加群（かぐん、英: module）とは、ベクトル空間を一般化した概念で、係数（スカラー）を体の元とする代わりに、より一般の環の元としたものである。
ベクトル空間においては、スカラーの全体は体を成し、ベクトルに対して分配律などの特定の条件を満足するスカラー乗法によって作用している。
例
・K が体ならば、「K-線型空間」（K 上のベクトル空間）の概念と K-加群の概念は一致する。
(引用終り)
以上
936:１３２人目の素数さん
20/10/02 21:07:15.47 GDNIEcV7.net
>>819
🐓こそ諦めが悪い
ま、キミがいくらもっともらしい口を叩いても
数学の才能の無さ、理解の無さ、
大学にも受からん正真正銘のオチコボレという現実が
ハッキリクッキリ露見するってもんだ
🔥🔥🔥🔥🔥🔥🔥🔥🔥🔥🔥🔥🔥🔥🔥🔥🔥🔥
さて、今日も哺乳類にすらなれない🐓をオチョクルとするか
🐓相手に連戦連勝ってのも、腐れアジアの出っ歯メガネ野郎こと
弱小日本軍を焼き尽くす米軍みたいで実に大人気ないけどな
＞疑問形で終わるのは、おれはwikipediaの記述を100％「理解」していないからだよ
そりゃそうだろ Fラン大学すら受からん正真正銘のidiotだからな
＞wikipediaの記述が間違っていることも、結構あるからね
🐓のいうことは、100%間違ってるがね
いまだかつて正しかったためしがない
貴様ほど知的レベルの低いidiotは見たことないね
>>まず 基底のペア(vi, wj)を「新たな基底」として
>>「（VでもWでもない）新たなベクトル空間」を考えるのはいい
>>し・か・し、その「新たなベクトル空間」は
>>V × W（デカルト積）ではない！V⊗W （テンソル積）である
>違うだろ？
ち・が・わ・ん・よ！
>＊＊先生のは、 「話を簡単にするために, 有限次元の実線型空間のみを扱う.」とあるよ
>つまり、係数（スカラー）が実数（体）だから、ベクトル空間だよ
V×Wは無限集合だから、有限次元にならんよ
無限集合を有限集合だといいはる🐓はidiot！
>この議論は、過去のスレで行列の零因子との関係でやったでしょ。忘れたらしいなｗ
🐓は自分の主張が論理に反することに気づけんらしいな
なるほど脳味噌がちょびっとしかないトリ頭のidiot
937:１３２人目の素数さん
20/10/02 21:11:05.97 GDNIEcV7.net
>>822
＞V×Wは無限集合だから、有限次元にならんよ
idiotにも分かるようにいってやろう
V×Wは無限集合だから、V×Wの要素それぞれが基底となる線型空間は
決して有限次元にはなり得んよ
🐓は負けた
しかも別に俺が負かしたわけではない
勝手にオウンゴールで自爆したｗ
恨むなら自分の思考力の無さを恨めｗ
938:１３２人目の素数さん
20/10/02 21:19:23.12 GDNIEcV7.net
◆yH25M02vWFhP は自信満々で発した言葉が
悉く初歩的レベルで間違ってる
ここまで劣悪なidiotは珍しい
思考力がないのみならず、直感力すらない
数学？(ヾﾉ･∀･`)ﾑﾘﾑﾘ
939:現代数学の系譜 雑談
20/10/02 21:22:31.45 4l+W3Pp2.net
>>819
>この議論は、過去のスレで行列の零因子との関係でやったでしょ。忘れたらしいなｗ（＾＾；
過去スレで、戸松 玲治先生、行列単位 Eijの議論あったよね
で、行列単位 wikipedia 「体 K 係数の n × m 行列全体は K-ベクトル空間であり、nm 個の行列単位はその基底となる。」とある
忘れたらしいなｗ（＾＾；
純粋・応用数学（含むガロア理論）3
ｽﾚﾘﾝｸ(math板:428番)
428 自分返信：現代数学の系譜 雑談 ◆yH25M02vWFhP [] 投稿日：2020/08/19(水)
URLﾘﾝｸ(www.ma.noda.tus.ac.jp)
線形代数学 I 及び演習（演習） No.1 9 月 16 日配布 担当：戸松 玲治
(抜粋)
P1
(i, j) 成分のみ 1, 残りは 0 という行列を Eij と書く. これを行列単位という
問題 1 (1pt.) 行列単位をすべて集めたもの Eij^n i,j=1 は, ベクトル空間 Mn(K) の基底であることを示せ.
P2
問題 2 (2pt.) Mn(K) の行列単位 Eij^n i,j=1 に対して, 次が成り立つことを示せ:
EijEkl = δj,k Eil.
つまり二つの行列単位を掛けると,
真ん中の二つの文字が異なれば 0 になり,
同じであればそれが縮約された行列単位になる.
(引用終り)
URLﾘﾝｸ(ja.wikipedia.org)
行列単位
(抜粋)
線型代数学や、環と加群の理論において、行列単位（ぎょうれつたんい、英: matrix unit）とは、ただ 1 つの成分が 1 で残りの成分が全て 0 である行列のことである。(i, j) 成分が 1 の行列単位は Eij などと書かれる。
体 K 係数の n × m 行列全体は K-ベクトル空間であり、nm 個の行列単位はその基底となる。
行列 M = (mij) に対して、Eij?M?Ekl = mjk?E?il が成り立つ（ただし行列のサイズは積が定義されるようなものとする）。とくに、行列単位同士の積について、Eij?Ekl は j = k のとき Eil で、j ≠ k のとき 0 である：
E_ijE_kl=δ_jkE_il
ここで、δjk はクロネッカーのデルタである。
(引用終り)
以上
940:１３２人目の素数さん
20/10/02 21:26:37.80 GDNIEcV7.net
正規部分群の定義にある、gHg^(-1)=Hを、
「gHg^(-1)がHと同型」と読んだ時点で
なんだこいつ、と思ったが、その後
a∈b ⇔ a⊂b
とか発言するのを見て
「こいつ正真正銘のidiotだな」
と悟った
だから
「内積も行列式もテンソルたり得ない！」
「V×Wに線型空間の構造を入れれば次元はdim V × dim W」
とトンデモ発言を連発してもまったく�
941:ﾁかない こいつは全く考える能力がなく、×はなんでもかんでも×だと 馬鹿まるだしの連想をする以外できない🐓アタマの持主 大阪にはこんな馬鹿しかいないのか
942:１３２人目の素数さん
20/10/02 21:30:01.63 GDNIEcV7.net
>>824
＞「体 K 係数の n × m 行列全体は K-ベクトル空間であり、
＞ nm 個の行列単位はその基底となる。」
然り
し・か・し、任意のｎ×ｍ行列が、
ｎ次元ベクトルとｍ次元ベクトルの
テンソル積として表せるか？
というなら答えは、断じて否だｗ
テンソル積の和、とかではなく、
ただ一つのテンソル積 として表せないなら
V×Wの要素たり得ない
943:現代数学の系譜 雑談
20/10/02 23:32:19.78 4l+W3Pp2.net
>>824
ベクトル空間とテンソル積の関係が
理解できていない、数学科卒オチコボレ生よ、あわれ！ ｗ（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
ベクトル空間
(抜粋)
定義
「体 F 上のベクトル空間 V 」とは、後に述べるような、二種類の演算を備えた集合 V のことである。ベクトル空間 V の元はベクトル (英: vector ) と呼ばれる。体 F は係数体 (英: coefficient field, scalar field ) と呼ばれる。係数体 F の元はスカラー (英: scalar ) あるいは係数 (英: coefficient ) と呼ばれる。
テンソル積
詳細は「ベクトル空間のテンソル積」を参照
同じ体 F 上の二つのベクトル空間 V と W のテンソル積 (英: tensor product ) V ◯xF W あるいは単に V ◯x W は、線型写像を多変数にするような概念の拡張を扱う多重線型代数における中心的な概念のひとつである。写像 g : V × W → X が双線型写像であるとは、g が両変数 v, w の何れについても線型であることを言う。これはつまり、w を固定したとき写像 v → g(v, w) が線型であり、かつ v を固定した時も同様であることを意味する。
テンソル積は以下のような意味で、双線型写像を普遍的に受け入れる特別のベクトル空間である。それはテンソルと呼ばれる記号の（形式的な）有限和
v1 ◯x w1 + v2 ◯x w2 + ... + vn ◯x wn
の全体からなる線型空間で、これらの元は a をスカラーとして
a ・ (v ◯x w) = (a ・ v) ◯x w = v ◯x (a ・ w),
(v1 + v2) ◯x w = v1 ◯x w + v2 ◯x w,
v ◯x (w1 + w2) = v ◯x w1 + v ◯x w2
なる規則で縛られている[44]。
つづく
944:現代数学の系譜 雑談
20/10/02 23:32:53.36 4l+W3Pp2.net
>>827
つづき
これらの規則は、順序対 (v, w) を v ◯x w へ写す V × W から V ◯x W への写像 f が双線型となることを保証するものである。テンソル積の普遍性とは
任意のベクトル空間 X と任意の双線型写像 g : V × W → X が与えられたとき、写像 u : V ◯x W → X が一意的に存在して、上記の写像 f との合成 u ◯ f が
g : u(v ◯x w) = g(v, w) に等しくなるようにすることができる[45] というものである。
テンソル積の普遍性は対象を、その対象からの、あるいはその対象への写像によって間接的に定義するという（進んだ抽象代数学ではよく用いられる）手法の一例である。
URLﾘﾝｸ(ja.wikipedia.org)
テンソル積の普遍性を表す可換図式
(引用終り)
以上
945:１３２人目の素数さん
20/10/03 06:30:04.80 SmtMlBCP.net
>>827
>ベクトル空間とテンソル積の関係が理解できていない
それは、◆yH25M02vWFhP、君のほうだよ
>>828
>順序対 (v, w) を v ⊗ w へ写す
>V × W から V ⊗ W への写像 f が
>双線型となる
で、その写像ｆが
１．全射でない
２．単射でない
というのは理解できてるかな？キミ
>>818に書かれていることだが、
（全射でないことの証明）
・v1⊗w1+v2⊗w2は、V⊗Wの元である（V⊗Wが線型空間であるから）
・一方v1⊗w1+v2⊗w2が写像fの像であるためには
v⊗w=v1⊗w1+v2⊗w2となる、v∈Vおよびw⊗Wが
存在しなくてはならない（f(v,w)=v⊗wであるから）
・ところでV＝Wとすると、例えばv1⊗v2として表せる元を
正方行列と見たとき、その行列式は必ず０である
（どの行も他の行のスカラー倍であるから）
・一方、任意の正方行列は
v1⊗v2+v3⊗v4+…のような和の形であらわせるので
V⊗Wの元である
・そして、正方行列の中には行列式が０でないものが存在する
・つまり、V⊗Wの元の中にはv1⊗v2として表せないものが存在する
ゆえに、写像ｆの像に入らない元が存在するので、前者ではない
（単射でないことの証明）
・a ・ (v ⊗ w) = (a ・ v) ⊗ w = v ⊗ (a ・ w) である（二重線形性より）
・いっぽう、（a・ｖ、ｗ）と（ｖ、ａ・ｗ）は、異なる元である
・つまり、異なる元を写像ｆで写した先が等しいから、ｆは単射でない
ここから何がいえるか
・デカルト積Ｖ×Ｗの次元は、テンソル積Ｖ⊗Ｗの次元より小さい
・しかもデカルト積Ｖ×Ｗの次元のｆの像は、もとのＶ×Ｗの次元よりも小さい
陰関数定理が分かっていれば証明できるが、ここでは面倒なので省略する
946:１３２人目の素数さん
20/10/03 07:04:43.83 SmtMlBCP.net
(x1,x2,x3)∈R^3
(y1,y2,y3)∈R^3
とする
(x1,x2,x3,y1,y2,y3)∈R^3×R^3(=R^6) から
(z11,z12,z13,z21,z22,z23,z31､z32､z33)∈R^3⊗R^3(=R^9)への
写像ｆを以下のように定義する
z11 = x1 * y1
z12 = x1 * y2
z13 = x1 * y3
z21 = x2 * y1
z22 = x2 * y2
z23 = x2 * y3
z31 = x3 * y1
z32 = x3 * y2
z33 = x3 * y3
このとき、以下が云える
f(R^6)は、R^9の部分多様体であり、その次元はたかだか5(=6-1)
一般にR^n×R^m(=R^(n+m))から、R^n⊗R^m(=R^(n*m))への写像fを
上記と同様の形で定義した場合
f(R^(n+m))は、R^(n*m)の部分多様体であり、その次元はたかだかn+m-1である
947:１３２人目の素数さん
20/10/03 07:23:11.28 SmtMlBCP.net
>>830を、さらに一般化する
R^n_1×…×R^n_m(=R^(n_1+…+n_m))から、
R^n_1⊗ … ⊗R^n_m(=R^(n_1*…*n_m))への写像fを
z i(1)…i(m) = x1_i(1) * … * xm_i(m)
のような形で定義した場合
f(R^(n_1+…+n_m))は、R^(n_1*…*n_m)の部分多様体であり、
その次元はたかだか(n_1+…+n_m)-(m-1)である
948:ammonium nitrate
20/10/03 14:45:05.60 SmtMlBCP.net
このスレ、不要につき爆破します
💣💣💣💣💣💣💣💣
949:ammonium nitrate
20/10/03 14:45:59.18 SmtMlBCP.net
爆破！
💥💥💥💥💥💥💥💥
950:ammonium nitrate
20/10/03 14:50:04.14 SmtMlBCP.net
このスレ 廃止しました
🏴🏴🏴🏴🏴🏴🏴🏴
951:ammonium nitrate
20/10/03 14:51:14.44 SmtMlBCP.net
このスレ 廃止しました
🏴🏴🏴🏴🏴🏴🏴🏴
🏴🏴🏴🏴🏴🏴🏴🏴
🏴🏴🏴🏴🏴🏴🏴🏴
🏴🏴🏴🏴🏴🏴🏴🏴
🏴🏴🏴🏴🏴🏴🏴🏴
🏴🏴🏴🏴🏴🏴🏴🏴
🏴🏴🏴🏴🏴🏴🏴🏴
🏴🏴🏴🏴🏴🏴🏴🏴
952:ammonium nitrate
20/10/03 14:54:02.48 SmtMlBCP.net
昭和を代表する名曲ｗ
URLﾘﾝｸ(www.youtube.com)
953:ammonium nitrate
20/10/03 14:57:10.21 SmtMlBCP.net
これが令和になると・・・こうなるｗ
URLﾘﾝｸ(www.youtube.com)
さすが21世紀！（違）
954:ammonium nitrate
20/10/03 15:59:52.37 SmtMlBCP.net
URLﾘﾝｸ(www.youtube.com)
衝撃波の雲が目に見えるってスゲェな
955:１３２人目の素数さん
20/10/03 16:51:53.06 LCj5Mg3b.net
|∞゜*。○゜。>>832-835
|´д`)…
|∞
|`)…ｪﾓｶﾄｫﾓﾀ…
|∞ ｪﾓｯﾋﾟ🍄ﾓ時々
|д`) 過疎系ﾆｭｰ速ﾃﾞ
с ﾚｽﾊﾞ相手ﾉﾚｽﾆ…
♆(و´∀`)ว💣💥💥💥
投ｹﾞﾀﾘ。。。
💣ｬ💥ｬ💀ｬ💩ﾀﾍﾟｽﾄﾘｰ
織ﾘ上ｹﾞﾀﾘｼﾃﾀ。。。
。。。。。。
٩(ᐛ)(ᐖ)۶
ｩﾙﾄﾗｯ!ｿｩﾙｯ!ﾂｨﾝｯ!👯
956:１３２人目の素人さん
20/10/03 16:54:58.00 LCj5Mg3b.net
ｿｯｸﾘﾀﾞｯﾋﾟｨｨｯ!
|=з ﾋﾟｯﾋｬｧｧｧｯ!
957:ammonium nitrate
20/10/03 17:14:07.86 SmtMlBCP.net
>>839
( ´∀｀)人(´∀｀ )ﾅｶｰﾏ
958:１３２人目の素数さん
20/10/03 17:27:18.33 LCj5Mg3b.net
ﾀﾀﾞﾉ('A`)人('A`)ﾅｶｰﾏ
ﾅﾝﾃｨｬｬｧ!
|∞
٩`)ﾓｯﾄ一体化…
|b
|=з ///ﾋﾟｬｧｧｧｯ///
959:現代数学の系譜 雑談
20/10/03 19:03:14.09 5JuF9jlR
960:.net
961:現代数学の系譜 雑談
20/10/03 19:04:28.67 5JuF9jlR.net
>>842
どうも
いらっしゃい
お元気そうでなによりです（＾＾
962:１３２人目の素数さん
20/10/03 19:18:14.86 SmtMlBCP.net
>>843
>>829-831 理解したかい？
963:１３２人目の素数さん
20/10/03 19:52:10.47 LCj5Mg3b.net
ぬしさま…
ｲﾂﾓｲﾂﾓぉｽﾙﾙｪ汚ｼﾁｬｯﾃ
ｺﾞﾒﾝﾅｻｨ…
∞ ∞
(*“)*‥))✨ﾍﾟｺﾘ(>>844)
964:１３２人目の素数さん
20/10/03 20:00:01.02 LCj5Mg3b.net
彡∞
ﾘﾎﾞﾝ∞ｽﾞﾚﾀ~!
965:１３２人目の素数さん
20/10/03 20:41:26.00 SmtMlBCP.net
>>846
🐓に「様」つけるとか卑屈に謝るとか、キモチワルイ♀だな
966:１３２人目の素数さん
20/10/03 20:45:46.12 SmtMlBCP.net
数学の分からん🐓が不法にスレッドを占拠して
数学的に誤ったトンデモネタを書き散らかす
荒らし行為を行っている
謝るべきは🐓のほう
焼かれて食われちまえ チキン野郎
967:１３２人目の素数さん
20/10/03 20:53:12.23 SmtMlBCP.net
小澤徹 (おざわ とおる)
1961年11月生
1980年3月 早稲田大学 高等学院 卒業
1980年4月 早稲田大学 理工学部 物理学科 入学
1984年3月 早稲田大学 理工学部 物理学科 卒業 (応用物理学科 飯野理一・堤正義研究室)
ほう・・・
968:１３２人目の素数さん
20/10/03 21:12:14.82 LCj5Mg3b.net
|∞ ٩(>>848)💢
|д･᷅)… ( )ว
с ) u u
|=з
969:１３２人目の素数さん
20/10/03 21:16:04.07 LCj5Mg3b.net
ﾒｶﾞ文字化ｹｼﾃﾙ…ªªﾓｽﾞﾚﾃﾙ…
。○
゜
970:現代数学の系譜 雑談
20/10/03 22:32:04.24 5JuF9jlR.net
>>852
ご遠慮なく
ここは、自由ですよ
おサルも放し飼いですよ
971:現代数学の系譜 雑談
20/10/04 08:16:58.31 f31A/48O.net
小澤徹 テンソル空間 メモ（これ結構良いね）
URLﾘﾝｸ(www.ozawa.phys.waseda.ac.jp)
小澤徹 (おざわ とおる)
III. 教育活動
4.数学小ネタ集 URLﾘﾝｸ(www.ozawa.phys.waseda.ac.jp)
URLﾘﾝｸ(www.ozawa.phys.waseda.ac.jp)
テンソル空間
平成 26 年 11 月
小澤 徹
P7
３．テンソル積の同型の構成
定理４ X とY をベクトル空間とする。夫々の基底を(ei; i ∈ I)及び(fj; j ∈ J)とし、添字集
合I とJ の直積集合I×J の生成するベクトル空間をF0(I×J)とする。各(x, y) ∈ X ×Y に対
し{i ∈ I; e*i(x) ≠ 0}及び{j ∈ J; f*j(y) ≠ 0}は有限であり、
一次結合Σ(i,j)∈I×J e*i(x)f*j(y)ι(x,y)
は F0(I × J) の元となる。付随する写像
B : X × Y ∋ (x, y) → B(x, y) =Σ(i,j)∈I×J e*i(x)f*j(y)ι(i,j) ∈ F0(I × J)
は双線型となる。
定理 2 に拠って B = T ◯ ρ なる T ∈ L(X ◯x Y ; F0(I × J)) が一意的に存在
する。このとき T は全単射とな�
972:� X ◯x Y と F0(I × J) との同型を与える。この対応は元毎には ξ =Σ(i,j)∈I×J cijei ◯x fj ∈ X ◯x Y ←→ α =(i,j)∈I×J cij ι(i,j) ∈ F0(I × J) で与えられる。 ここに I 及び J は夫々I 及び J の有限部分集合であり cij = (T(ξ))(i, j) = ev(i,j)(α)である。 (証明) T が同型である事を示せば充分である。 略 つづく
973:現代数学の系譜 雑談
20/10/04 08:17:23.16 f31A/48O.net
>>854
つづき
P1
１．集合の生成するベクトル空間
空でない集合 S 上の函数で有限な台をもつもの全体を F0(S) と表す：
F0(S) = {f : S → K; ♯Suppf < ∞}
ここに Suppf = {x ∈ S; f(x) ≠ 0} は f の台とする。各点毎の和とスカラー倍
(f + g)(x) = f(x) + g(x),
(af)(x) = af(x)
により F0(S) に和とスカラー倍が定義され F0(S) はベクトル空間を成す。
各 x ∈ S に対し
ιx(y)
：=1, y = x
：=0, y ∈ S ＼ {x}
として ιx ∈ F0(S) が定まる。
ι(x) = ιx と置くと写像 ι : S → F0(S) が定まり
ι(x) = ι(y) ⇔ιx = ιy ⇒ ιx(y) = ιy(y)=1 ⇒ x = y より
ι は単射となる。
各 x ∈ S に対し evx : F0(S) → K
が evx(f) = f(x) で定まる。
このとき任意の f ∈ F0(S) に対し
f =Σx∈S f(x)ιx =Σx∈S evx(f)ιx
が成立つ。ここに総和は Suppf の有限個の点を除いて零であり、Suppf 上では一つの項のみ
零でない値を取る事に注意する。
上の等式は F0(S) 内の線型変換としての恒等写像の分解
id =Σx∈S evx(・)ιx
を与えていると見做す事が出来る。
(引用終り)
以上
974:１３２人目の素数さん
20/10/04 08:41:29.36 mLeuvA76.net
>>854
>これ結構良いね
文章の意味、わかってる？
>X とY をベクトル空間とする。
>夫々の基底を(ei; i ∈ I)及び(fj; j ∈ J)とし
質問 (x, y) ∈ X ×Y としたときの
e*i(x)、 f*j(y)とは何？
もちろん、私はわかってるよ 大学の数学科なら必ず学ぶ、基本だから
でも、線形代数を大学で全く学んでない◆yH25M02vWFhP 君、わかってる？
975:１３２人目の素数さん
20/10/04 08:47:31.40 mLeuvA76.net
>>854
>これ結構良いね
文章の意味、ホントにわかってる？
>添字集合I とJ の直積集合I×J の生成するベクトル空間をF0(I×J)とする。
で、その前に、こういうのも出てくるね
君、全然引用してないけど
「積ベクトル空間 X × Y の生成するベクトル空間 F0(X×Y) を導入する：
F0(X×Y) = {f : X × Y → K; #Suppf < ∞}」
質問：F0(I×J)はF0(X×Y)と、どう違うのか分かってる？
（いわずもがなだが集合I×Jは有限集合で、集合X×Yは無限集合)
976:１３２人目の素数さん
20/10/04 09:01:33.73 mLeuvA76.net
>>854
>これ結構良いね
文章の意味、ホンっっっトにわかってる？
>定理 2 に拠って B = T ◯ ρ なる T ∈ L(X⊗Y ; F0(I × J)) が一意的に存在する。
>このとき T は全単射となり X⊗Y と F0(I × J) との同型を与える。
で、君、肝心のX⊗Yの定義に関する記述、全く引用してないよね
ちゃんと全部読んでる？
「積ベクトル空間 X × Y の生成するベクトル空間 F0(X×Y) を導入する：
F0(X×Y) = {f : X × Y → K; #Suppf < ∞}」
双線型写像であれば零を与える組を想定して
F0(X×Y)の部分集合M1, M2 を次で定義する：
M1 = {ι(ax+a’x’,y) － aι(x,y) － a’ι(x’,y) ∈ F0(X × Y ); x, x’ ∈ X, y ∈ Y, a, a’ ∈ K}
M2 = {ι(x,ay+a’y’) － aι(x,y) － a’ι(x,y’) ∈ F0(X × Y ); x ∈ X, y, y’ ∈ Y, a, a’ ∈ K}
M1 ∪ M2 の生成する F0(X × Y ) の部分空間を M とする：M = Span(M0 ∪ M1)
F0(X × Y ) を M で割った商ベクトル空間を Z とする：Z = F0(X × Y )/M」
X⊗Yは集合としては上記のZであるが、これがF0(I × J)と同型になること、わかってる？
定理４の証明、全部省略してるけど もしかして訳も分からず鵜呑み？
それダメだよ 馬鹿になるから
977:１３２人目の素数さん
20/10/04 09:12:36.39 mLeuvA76.net
◆yH25M02vWFhPが、過去の投稿で
「商による(テンソル積空間の)定義」
といってるのは、 >>858に書いた、F0(X × Y )/Mのことだね
（これ一見すると実にペダンティックだが、
要は異なる(x,y)について二重線形性による
同値関係を入れてるだけで、理屈が分れば屁
978:でもないが 工学部とかの「土人」にとっては、青銅器や鉄器の如き代物ｗ） で、同じく◆yH25M02vWFhPが、過去の投稿で 「多次元配列」 といってるのは、>>857のF0(I×J) このくらいなら、工学部の「土人」でも分かる石器みたいなもん で、要は 「数学科の連中がもったいつけて定義してる青銅器やら鉄器みたいなもんは 実は工学部の土人が扱える石器と全然変わらんよ」 というのが定理４ あのさ、文章リンクするのはいいけど 「これ結構良いね」 とかほざくんなら、このくらいコメントつけろよ ガキの使いじゃないんだからさ ま、でも工学部の「土人」には無理か え？大学出てないから「土人」ですらない？ おいおい、そもそも人間じゃないのかよ おまえ、俺たち人間に食われる野獣か？
979:１３２人目の素数さん
20/10/04 09:17:35.36 mLeuvA76.net
>>855
これ、大して意味ないね。常識だしｗ
有限台に限るのは、そもそも代数的な線型空間で
ベクトルの無限和なんて考えないから
で、また、どうせトンチンカン解釈してるんだろ
あんた肝心なポイント（定理２のくだり）引用しないで
こんなカスみたいなところドヤ顔で引用するから
馬脚を現すんだよ ま、こりゃ馬脚どころかトリ脚だなｗ
980:現代数学の系譜 雑談
20/10/04 11:43:51.62 f31A/48O.net
>>860
>有限台に限るのは、そもそも代数的な線型空間で
>ベクトルの無限和なんて考えないから
違うよ
また、おまえ”スベッタ”な～！w
ｗ（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
ベクトル空間
(抜粋)
歴史
ベクトル空間の重要な発展がアンリ・ルベーグによる函数空間の構成によって起こり、後の1920年ごろにステファン・バナフとダフィット・ヒルベルトによって定式化された[10]。その当時、代数学と新しい研究分野であった函数解析学とが相互に影響し始め、 p-乗可積分函数の空間 Lp やヒルベルト空間などの重要な概念が生み出されることとなる[11]。そうして無限次元の場合をも含むベクトル空間の概念は堅く確立されたものとなり、多くの数学分野において用いられ始めた。
数ベクトル空間 Fn は、すでに示した基底によってその次元が n であることがわかる。多項式環 F[x]（上述）の次元は可算無限（基底の一つは 1, x, x2, … で与えられる）であり、ある（有界または非有界な）区間上の函数全体の成す空間など、もっと一般の函数空間の次元は当然無限大になる[nb 4]。
981:１３２人目の素数さん
20/10/04 12:17:05.07 mLeuvA76.net
>>861
>>そもそも代数的な線型空間で
>>ベクトルの無限和なんて考えないから
>違うよ
>また、おまえ”スベッタ”な～！w
君さぁ、いい加減、学習しようよ
君のナイーブな直感で、
「おまえ、間違ったな！ アイ・ハヴァ・ウィン！」
とわめいた事例は、一つの例外もなく全て君の負けだった
という厳然たる事実にさ
>多項式環 F[x]の次元は
>可算無限（基底の一つは 1, x, x2, … で与えられる）
そこで質問
形式的べき級数環を線型空間とみなした場合
その基底はいかなるものか示した上で
基底の全体集合の濃度についても答えよ
わ・ざ・わ・ざ、こう質問したのだから
多項式環を線型空間とみなした場合の基底
とは確実に違うことだけは気づいとけよ🐓
982:粋蕎
20/10/04 12:39:12.85 R1FgWeYZ.net
非学者論に負けず、他力本願｡
279:現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/07/29(水) 10:33:40.69 ID:ruijdO0n
＜転載＞ ”0.999...”について
0.99999……は１ではない その11
ｽﾚﾘﾝｸ(math板:119番)
まあ
983:、三流は三流らしく ちゃんと､ 超一流や一流の人をベースに議論しなさいよ https://ja.wikipedia.org/wiki/0.999...#p-%E9%80%B2%E6%95%B0 0.999... テレンス・タオ "0.999…" は 1 に「無限に近い」｡ イアン・スチュアートはこの解釈を、「0.999… は 1 よりも『ほんの少しだけ小さい』」という直観を厳密に正当化する「全く合理的な」方法として特徴づけた[23]｡ ・超一流のテレンスタオがさ、” "0.999…" は 1 に「無限に近い」”という主張は、ちゃんと21世紀の数学の中で正当化できるという（ノンスタでね) （一流のイアン・スチュアートも、この解釈を、「0.999… は 1 よりも『ほんの少しだけ小さい』」という直観を厳密に正当化する「全く合理的な」方法として特徴づけた[23]という) ・勿論、スタンダードな "0.999…＝1"もあり ・だからさ、三流さんたちは、両方ありを前提に議論しないとさｗ あなた方は、三流なんだからさ まあ、三流は三流らしく ちゃんと､ 超一流や一流の人をベースに議論しなさいよ
984:粋蕎
20/10/04 12:43:37.56 R1FgWeYZ.net
非学者論に負けず、間違い指摘を細かい事と言って取り合う事から逃避
301:現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/07/31(金) 10:34:59.05 ID:Trt2z5f1
> 299
おっさん、細かいことは良いんだよ
20世紀に、ロビンソンがノンスタ（超準）を考えて
実数を拡張して、無限小と無限大を取り入れた
21世紀の現代数学では、無限小をきちんと数学として扱えるようになった
おっさんらの議論は、古いんだよ
URLﾘﾝｸ(ja.wikipedia.org)
超実数
(抜粋)
超実数（ちょうじっすう、英: hyperreal number）または超準実数（ちょうじゅんじっすう、英: nonstandard reals）と呼ばれる数の体系は無限大量や無限小量を扱う方法の一つである｡
URLﾘﾝｸ(ja.wikipedia.org)
無限小
(抜粋)
無限小（むげんしょう、英: infinitesimal）は、測ることができないほど極めて小さい「もの」である｡
連続の法則および無限小の数学的に厳密な定式化は、1961年にアブラハム・ロビンソンによって達成された
ウラジーミル・アーノルドは1990年に以下のように書いている:
Nowadays, when teaching analysis, it is not very popular to talk about infinitesimal quantities. Consequently present-day students are not fully in command of this language. Nevertheless, it is still necessary to have command of it.[4]
（訳: 今日では、解析学の授業において無限小量について述べることはあまり一般的ではない。その結果、当世の学生はこの言葉づかいに全く習熟していない。にも拘らず、未だにそれを扱うことが必要である)
985:粋蕎
20/10/04 12:45:05.53 R1FgWeYZ.net
非学者論に負けず、間違い指摘を興味が無い事と言って取り合う事から逃避
495:現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/24(月) 18:49:40.66 ID:rNo847jr
おっさん、スレ違いだよ
細かい話は、別スレでやってくれ
おれは興味ないんだよね、それ
それに、ここは、IUTスレだよ
なお、安達スレには、適当に殴り込み掛けるからね
悪しからずｗｗ（＾＾；