20/09/20 23:44:51.58 w0R3FJMo.net
sage
601:132人目の素数さん
20/09/21 06:10:06.99 ygseaWNf.net
◆yH25M02vWFhP >>523の質問に答えられず 遁走
🐎🦌は数学板に書くな いや そもそも読むな 時間の無駄だ
602:現代数学の系譜 雑談
20/09/21 07:12:06.52 THwyOeaW.net
>>502 補足
>下記の”uylindaun71の日記 2020-05-14 テンソル 行列 違い”
>この人、機械学習のソフトウェアライブラリのテンソルと、連続体のテンソルが別物だってこと気付いていない
くどいが、補足 >>477より
21世紀の現代社会の”テンソル”は、大きく3種ある
1.AI数学の単なる数の多次元配列を、コンピュータ内の処理として扱うための道具(これは最近出てきた)
2.物理のテンソル:代表例が3次元弾性力学の応力テンソルと、アインシュタインの一般性相対性理論の4次元時空のテンソル(最古の概念はこれ)
3.抽象代数学のテンソル:多重線形
(引用終り)
この3つは、ある視点(切り口)では共通
603:点もあるが、一方ある視点(切り口)では別物と理解する方が、良い面もあるのです(^^; 1のAIのテンソルは、単に多次元の数の配列です。下記、Chainer Tutorialが良い。著者 得居 誠也氏は、東大数学科だから、数学の内容は信頼できる 間違って、2の物理のテンソルや、3の抽象代数学のテンソルに、深入りしないこと。深入りしても、得られるものは少ない 2の物理のテンソルや、3の抽象代数学のテンソルは、コンピュータ計算に乗せる話は、殆ど無いから 2の物理のテンソルの人も、間違って、3の抽象代数学のテンソルに深入りしても、得られるものは少ない 3の抽象代数学のテンソルは、具体的なテンソルの成分計算をしない方向で議論を抽象化しているし、物理との接点が薄くなっている 3の抽象代数学の人は、教養として、軽く1や2のテンソルを学んでおくのは、良いと思う 抽象的な議論の裏にある具体例を知っておくことは、悪くない つづく
604:現代数学の系譜 雑談
20/09/21 07:17:39.70 THwyOeaW.net
>>526
つづき
なお、「行列式はテンソルです」だけは、ダメです(^^;
(>>505より)
Chainer Tutorial
5.1. スカラ・ベクトル・行列・テンソル
得居 誠也
現在は深層学習フレームワーク Chainer の開発者
東京大学 理学部 数学科 2010/03
(引用終り)
以上
605:現代数学の系譜 雑談
20/09/21 07:27:20.82 THwyOeaW.net
>>526 補足
> 2.物理のテンソル:代表例が3次元弾性力学の応力テンソルと、アインシュタインの一般性相対性理論の4次元時空のテンソル(最古の概念はこれ)
物理のテンソルの概念が、一番古いってことです
2.物理のテンソル→3.抽象代数学のテンソル→1.AI数学の単なる数の多次元配列のテンソル
という順番です
”1.AI数学の単なる数の多次元配列のテンソル”なんて、だれでも思い付く
けれども、コンピュータ処理が時代には、あまり意味がない
古典数学は、紙とエンピツと言いますが、多次元配列は二次元の紙には書けない
コンピュータ処理で、多次元配列の数が扱える
というか、ビッグデータを扱うには、多次元配列にした方が良い
そういうことで、多次元配列を考えて、”テンソル”というちょっと格好良い名前を借用したのでしょう(^^;
606:現代数学の系譜 雑談
20/09/21 07:29:46.48 THwyOeaW.net
>>528 タイポ訂正
けれども、コンピュータ処理が時代には、あまり意味がない
↓
けれども、コンピュータ処理がない時代には、あまり意味がない
失礼しました(^^;
607:132人目の素数さん
20/09/21 08:04:29.75 ygseaWNf.net
>>526
>1.AI数学の単なる数の多次元配列を、
> コンピュータ内の処理として扱うための道具(これは最近出てきた)
>1のAIのテンソルは、単に多次元の数の配列です。
>Chainer Tutorialが良い。
>著者 得居 誠也氏は、東大数学科だから、数学の内容は信頼できる
上記著者の「深層ニューラルネットの積分表現理論」
という論文には「抽象代数学」のテンソルがでてくるぞ
読め
608:132人目の素数さん
20/09/21 08:09:23.28 ygseaWNf.net
>>527
>なお、「行列式はテンソルです」だけは、ダメです
ダメ=一意的に定められない、という意味か?
「n×nの行列式は、
n次元ベクトルn個の組からスカラーへの反対称的な多重線型写像であって
n次元ベクトルの相異なる基底n個の組のカラー値が1もしくは-1となるもの」
とすればほぼ十分だろう
これ、線形代数の常識な 覚えとけ
609:132人目の素数さん
20/09/21 08:19:40.01 ygseaWNf.net
>>528
>物理のテンソルの概念が、一番古いってことです
>2.物理のテンソル→3.抽象代数学のテンソル→1.AI数学の単なる数の多次元配列のテンソル
>という順番です
実は、
3.抽象代数学→2.物理→1.AI
な
URLリンク(ja.wikipedia.org)
「テンソルという言葉は、1846年にウィリアム・ローワン・ハミルトンによって
特定の種類の代数系(やがてクリフォード代数として知られるようになる)における
ノルム操作を記述するために導入された。
現在の意味で使われるようになったのは
1899年のヴォルデマール・フォークトからである。」
ま、19世紀はグラスマン代数だのクリフォード代数だのといった
抽象代数が生まれた時代でもあった
外積代数(グラスマン代数)
URLリンク(ja.wikipedia.org)
クリフォード代数
URLリンク(ja.wikipedia.org)
610:132人目の素数さん
20/09/21 08:26:03.47 ygseaWNf.net
>>528
>…多次元配列は二次元の紙には書けない
>コンピュータ処理で、多次元配列の数が扱える
>…ビッグデータを扱うには、多次元配列にした方が良い
>そういうことで、多次元配列を考えて、
>”テンソル”というちょっと格好良い名前を借用したのでしょう
今日、サイテーの🐎🦌発言キタ―(゚∀゚)―!!
>>530で紹介した論文に、数学におけるテンソルがバッチリでてくるので
「高卒🐎🦌のボクちゃんには理解不能な
多重線形性とかいう概念とは全く無関係の
ただの多次元配列」
という嘘は、この瞬間、完全否定
御愁
611:傷様 自分の名前すら漢字で正しく書けず Fラン大学にも入れなかった 工業高校卒の🐎🦌◆yH25M02vWFhP
612:現代数学の系譜 雑談
20/09/21 09:25:19.75 THwyOeaW.net
>>530
>上記著者の「深層ニューラルネットの積分表現理論」
>という論文には「抽象代数学」のテンソルがでてくるぞ
うむ
彼は、東京大学情報理工学系研究科の博士課程にも在籍していますとあるので
DR論文ネタの投稿かな(^^;
別におれの言っていることも間違っては居ないぞ(^^
URLリンク(www.beam2d.net)
得居 誠也
東京大学情報理工学系研究科の博士課程にも在籍しています.
東京大学 情報理工学系研究科 コンピュータ科学専攻 (2016/4 ? 現在)
指導教員:佐藤一誠 講師
URLリンク(techplay.jp)
TECH PLAY
深層学習フレームワークで世界に伍して闘った、その先見性とは? ─SOCIAL TECH PLAYER賞は「Chainer」開発チーム
インタビュー
2020/07/22
2019年12月、Preferred Networksは、開発の基盤技術である深層学習フレームワークを自社開発した「Chainer」から、Facebookが開発した「PyTorch」に移行することを発表した。TECH PLAYER AWARD 2020審査員は、Chainerが深層学習技術にもたらした功績と、基盤技術を移行する決断を高く評価。「SOCIAL TECH PLAYER 賞」に選出した。
URLリンク(s3.ap-northeast-1.amazonaws.com)
▲Chainerが日経優秀製品・サービス賞2018で日本経済新聞賞を受賞した当時のChainer開発チーム
613:Dan Shirley
20/09/21 10:05:14.77 ygseaWNf.net
>>533
>別におれの言っていることも間違っては居ないぞ
なにいったっけ?w
中身がないから「間違ってすらいない」よな
もう高卒の🐎🦌が見栄張るなよ みっともないから
おまえ、断捨離な 数学から一切縁切れw
614:現代数学の系譜 雑談
20/09/21 10:14:13.91 THwyOeaW.net
>>534
>>上記著者の「深層ニューラルネットの積分表現理論」
>>という論文には「抽象代数学」のテンソルがでてくるぞ
>彼は、東京大学情報理工学系研究科の博士課程にも在籍していますとあるので
>DR論文ネタの投稿かな(^^;
多分、得居 誠也氏は、”Chainer”ネタでDR論文を書こうとしていると思うが
「Chainer 作りました」だけでは、DR論文にならない
もっと、学問チックにしないとね
そのために、”「抽象代数学」のテンソル”を使いたいのだろうね
で、”「抽象代数学」のテンソル”を使って、学問チックなお化粧をする
だが、それは無駄ではないと思う
”「抽象代数学」のテンソル”を使って、学問チックなお化粧をすることが、基礎理論の深化を促し
次の発展に繋がると思うな(^^
(参考)
URLリンク(ja.wikipedia.org)
Chainer
Chainer (チェイナー) は、ニューラルネットワークの計算および学習を行うためのオープンソースのソフトウェアライブラリである。バックプロパゲーションに必要なデータ構造をプログラムの実行時に動的に生成する特徴があり[4]、複雑なニューラルネットワークの構築を必要とするディープラーニング(深層学習)で用いられる[3][1]。Python 2.x系および3.x系から利用でき[要出典]、GPUによる演算をサポートしている[3][5]。株式会社Preferred Networks(PFN)からリリースされている[5][1]。2019年12月5日、開発元のPFNは今後はChainerから、Facebookが主導して開発しているPyTorchに順次移行すると発表した[1]。
概要
Chainerは"define-by-run"というモデル設計手法を取り入れた深層学習のフレームワークの先駆けで、後発のPyTorchなどにも大きな影響を与えた[1]。Preferred Networks(PFN)が日本の機械学習系のベンチャー企業であることから、日本語の関連資料が多いという特徴がある[5]。
つづく
615:現代数学の系譜 雑談
20/09/21 10:16:39.49 THwyOeaW.net
>>536
つづき
開発元のPFNは2019年12月5日、フレームワーク開発を終了してChainerはメンテナンスフェーズへ移行すること、自社はChainerからFacebookが主導するPyTorchに順次移行することを発表した[1]。
URLリンク(tech.preferred.jp)
2015.06.09
Deep Learning のフレームワーク Chainer を公開しました
得居です。
なぜ今新しいフレームワーク?
Deep Learning のフレームワークとしては Caffe, Theano/Pylearn2, Torch7 の 3 つが人気です。これらはフィードフォワードなネットワークを書くことが基本的な目標として開発されています。ですが、最近では Deep Learning の進展に伴い、より複雑なネットワークを柔軟に書けることの必要性が高まっています。そこで、この中でも特に自由度が高い Theano をベースに、新しいフレームワークがたくさん模索されています(例:Blocks, Keras, Lasagne, deepy など)。
Chainer はこれとは異なるアプローチを取ります。Python をベースとしていますが、Theano は使いません。制御構造はすべて Python のものがそのままつかえます。Chainer は、実際に Python のコードを用いて入力配列に何の処理が適用されたかだけを記憶しておき、それを誤差逆伝播の実行に使います。このアプローチは、複雑化していく Deep Learning の研究・開発速度を保つために必要だと考えており、私たちが新しいフレームワークの開発に乗り出した理由です。
URLリンク(www.jstage.jst.go.jp)
URLリンク(www.jstage.jst.go.jp)
計測と制御/58 巻 (2019)
リレー解説 機械学習の可能性
《第2回》機械学習と開発環境:深層学習フレームワークの動向 鈴木 亮太
Define and Run/Define by Run
Define by Run 実行初期はニューロン間のシナプ
スは張られていない.コードに従ってニューロン間にデー
タが流れることでリンクが定義され,従ってネットワー
クが動的に構築される.データによってネットワーク構
造が変わる Recursive Neural Network や,再帰リンク
をもつ Recurrent Neural Network (RNN) を真に実装
可能である.
3. フレームワーク比較
(引用終り)
以上
616:現代数学の系譜 雑談
20/09/21 17:40:51.96 THwyOeaW.net
>>530
>>著者 得居 誠也氏は、東大数学科だから、数学の内容は信頼できる
>上記著者の「深層ニューラルネットの積分表現理論」
>という論文には「抽象代数学」のテンソルがでてくるぞ
違うな。それは
「深層ニューラルネットの積分表現理論」は、下記の早稲田 園田翔氏のDR論文だな
テンソルは、5箇所に出てくる
最初の3箇所は、第3 章数学的準備のところで、超関数と拡散方程式の話
多次元空間の拡散方程式のために、テンソルを準備している
超関数は、拡散方程式が偏微分方程式なので、弱解を使うための準備
(別に、抽象数学のテンソル積を明示的に使う話でもない)
後の2箇所は、深層ニューラルネットの理論で、
DAE:denoising autoencoder デノイジング・オートエンコーダー
のDAE を輸送写像とみなす方法で,積分表現に関連して出てくるテンソル
上記の拡散方程式に関連している話
なお、論文本体よりも、付録のP155 付録B 背景知識 がよく纏まっている
”P171 B.1.8 情報理論小史”は、秀抜。種本がある気もするが、一読の価値ありだな(^^
これ、あんたには読めないだろうな。おれも読めないが(^^;
あなたには、もっとね。おれは、”付録B 背景知識”は、よく書けていると思ったぜ
(参考)
URLリンク(core.ac.uk)
深層
617:ニューラルネットの積分表現理論 2017 年 2 月 園田翔 早稲・大学大学院先進理工学研究科 電気・情報生命専攻 情報学習システム研究 つづく
618:現代数学の系譜 雑談
20/09/21 17:41:35.57 THwyOeaW.net
>>538
つづき
P34
第3 章数学的準備
3.3 一般の空間上の関数と超関数
◯xは(π ないしε の意味で)完備化したテンソル積をあらわす。
P48
3.11 拡散方程式
(aij) はC1 級正定値テンソル,bi, c はHolder 連続関数とする。
拡散係数をD(x, t) とするR
ここでD(x, t) は各点でC2 級かつ正定値対称なテンソルとする。
P12
本研究の結果は二つに分けられる:浅いニューラルネットの積分表現
理論と,深層ニューラルネットの積分表現理論である。浅いニューラル
ネットの理論では,ReLU と呼ばれる活性化関数に対応するように積分
表現理論を拡張し,ニューラルネットとRadon 変換およびウェーブレッ
ト変換との関係を詳らかにし,さらに積分表現を離散化してニューラル
ネットを学習する方法を提案した。
深層ニューラルネットの理論では,デノイジング・オートエンコーダー
(denoising autoencoder; DAE)と呼ばれるクラスに対して,DAE を輸送
写像とみなす方法で,積分表現を構成した。
P113
6.5.3 位相共役性
ただしa, b, c はそれぞれH に値をとるテンソルとし,縦ベクトルとみなす。
P114
ただしra,rb,rc はそれぞれrH に値をとるテンソルとする。
つづく
619:現代数学の系譜 雑談
20/09/21 17:41:59.03 THwyOeaW.net
>>539
つづき
P155
付録B 背景知識
ニューラルネットの中ではどのように情報を表現し,処
理しているのだろうか。この問題を理解するために,情報やデータ表現
について整理する。また,ニューラルネットはどのように設計すべきか。
この問題を理解するために,複雑性やモデル選択について整理する。そ
して,ニューラルネットの中では,どのように秩序が形成されているの
だろうか。この問題をアナロジーとして理解するために,水と油が分離
する原理の考え方を整理する。
B.1 情報とは何か
Shannon 情報量(エントロピー)
B.1.2 情報理論における情報
B.1.3 統計学における情報
データ,情報,知識
B.1.5 集合代数としての情報
B.1.7 情報の意味と価値
意思決定
P171
B.1.8 情報理論小史
B.2 データ表現の観点
B.2.2 単射性,忠実性,モノ
B.2.3 全射性,十分性,エピ
B.3 複雑性の測り方
B.4 モデル選択の考え方
B.5 水と油はなぜ分離するか
(引用終り)
以上
620:現代数学の系譜 雑談
20/09/21 17:46:04.31 THwyOeaW.net
>>538
得居 誠也氏の記事では、下記があったな
解説記事だが
これ分り易いな(^^
URLリンク(www.orsj.or.jp)
オペレーションズ・リサーチ
最適化から見たディープラーニングの考え方 得居 誠也 2015 年 4 月号
機械学習において,人手で設計した特徴量にもとづく手法が性能の限界を迎えつつあるなか,計算機性能
の進歩とデータセットの大規模化によって,深層学習(ディープラーニング)は圧倒的な認識性能を次々に
叩き出し,産業界を巻き込み注目を集めている.本稿では,教師あり学習とニューラルネットの基本的な定
式化からはじめ,深層学習において高い性能を実現するための最適化,モデリング,正則化の技術について
広く紹介する.
621:現代数学の系譜 雑談
20/09/21 17:48:43.98 THwyOeaW.net
>>541 補足
テンソルは、一箇所のみ
P195
図 5 畳み込み層の概略図.入力と出力はともに 3 階のテ
ンソルで表される.テンソルの各軸は,画像の縦・横
方向およびチャンネルの種類に対応する.各チャン
ネルは,入力がカラー画像なら R,G,B に対応し,
中間層ではその位置における何らかの特徴を表す.畳
み込み演算は,入力の各矩形をベクトルに展開し,そ
れぞれに同じ重み行列 W を作用させ,位置ごとに
ベクトルを出力する.
(引用終り)
と出てくる。抽象的なテンソルは無いぜ!(^^;
622:Dan Shirley
20/09/21 20:15:51.59 ygseaWNf.net
>>538
>これ、あんたには読めないだろうな。おれも読めないが
大学にも受からん高卒の貴様に読めるわけないだろ
おれには読める!どうだクヤシイか?
数学板は貴様のような馬鹿の来るところじゃない
失せろ!永遠に来るな!!この大🐎🦌野郎!!!
623:Dan Shirley
20/09/21 20:29:29.34 ygseaWNf.net
>>542
>抽象的なテンソルは無いぜ!
多重線型性くらいで抽象的と泣き言云う🐎🦌は数学板から失せろ 永遠に!
624:現代数学の系譜 雑談
20/09/22 09:14:46.88 qkl/9znF.net
>>543
>>これ、あんたには読めないだろうな。おれも読めないが
あれれ、そのコメント
自分も、読めないことを認めたんだ~! やれやれだなw(^^;
>>544
>>抽象的なテンソルは無いぜ!
>多重線型性くらいで抽象的と泣き言云う歷は数学板から失せろ 永遠に!
あれれ、典型的な論点ずらしか?
AIのテンソルは、主として、得居 誠也氏の記事(>>541-542)にあるように
「テンソルの各軸は,画像の縦・横
方向およびチャンネルの種類に対応する.各チャン
ネルは,入力がカラー画像なら R,G,B に対応し,
中間層ではその位置における何らかの特徴を表す.」って話
つまり、単なるデジタル数字の多次元配列だってこと(>>526ご参照)
一方、抽象数学のテンソルの定義は、このような具体的な成分表示によらないって話し
やれやれ
要するに、あなた
「行列式はテンソルです」って、全然”テンソル”が分かってなかったってことを露呈したわけだ
(>>519ご参照)
シッタカしたつもりが、単にアホ晒しただけのこと
625:132人目の素数さん
20/09/22 14:48:50.48 jk08YZjf.net
>>545
>自分も、読めないことを認めたんだ~!
(肩を叩いて)
>>543のダン・シャーリー(断捨離のもじり?)の書き込み、
よく読もうね
「おれには読める!どうだクヤシイか?」
>AIのテンソルは、・・・単なるデジタル数字の多次元配列だってこと
多重線型性について述べてないからといって、
多重線形性がないとはいえませんね
工学系の人は、数学の説明を端折りますから
数学の話がしたいわけじゃないしね
>一方、抽象数学のテンソルの定義は、このような具体的な成分表示によらない
線型空間が有限次元なら成分表示できますよ
あなたが抽象数学のテンソルの定義を
全くわかってないからできないだけでしょ
例えば
「n×nの行列の行列式は
n組のn次元線型空間からスカラーへの反対称的な多重線型写像で
n次元線型空間の基底をe1,…,enとしたとき
(e1,…,en)に対応する値を1とするもの」
とすれば、一意的に求まりますよ
こんなの、大学の線型代数の基本ですがね
(行列式が狭義の線形代数から逸脱している、という指摘はあるが
どうせベクトル解析で、外積とか外微分とかやるんだから
先取りしても別にかまわない)
626:現代数学の系譜 雑談
20/09/22 15:47:12.88 qkl/9znF.net
メモ
URLリンク(www.yomiuri.co.jp)
[ワールドビュー]中国先行のAI 曲がり角…編集委員 石黒 穣 読売 2020/09/20
昆虫は、ピンの先ほどの小さな脳で多彩な行動をコントロールしている。
空や地面を動き回ってエサを探し、危険を察知すれば巧みに身をかわす。メスのフェロモンを頼りに隣町から飛来するオスもいる。
「何億年もの進化の過程で、多様な環境を生き抜く問題解決能力を手に入れたのが昆虫だ。AI(人工知能)でも難しいことをたやすくやってのける」
東大先端科学技術研究センター所長の神崎亮平教授は、敬意を込めて言う。
とりわけ昆虫が優れているのは、自然の様々な状況に対応するノウハウを誰からも教わらずに備えている点という。
対照的に、AIでは人間が答えを与えないと始まらない。正解データを大量に入力してAIを鍛える手法は、今日のAIブームを支える中核技術の深層学習(ディープラーニング)の特徴でもある。
たとえば自動運転では、カメラに映る画像から歩行者や信号、対向車を識別するのに深層学習が使われる。まず何千枚、何万枚もの画像を用意し、映っているのが人なら人、車なら車、バイクならバイクと印をつけて、AIに学習させていく。1枚ごとに向きや姿勢、服装がまちまちの人が映る画像を大量に学習させれば、どんな向きや姿勢でも人を人と識別できるようになる。
AIに教え込むこの工程は、実は単純な手作業だ。パソコンをずらりと並べて人海戦術で行われることが多い。データ工場と呼ばれ、中国の地方都市などで続々と誕生している。
この深層学習が先導してきたAI開発が曲がり角を迎えているといわれる。
国立情報学研究所の山田誠二教授は「AIの大きな弱点は常識を学べないことだ。深層学習では克服できない」と語る。
常識とはしていいこと、いけないことを見極める能力だ。たとえば木の枝に腰掛けているとき、幹の近くをノコギリで切れば自分も一緒に落っこちる。人にとっては当たり前でも、機械に理解させるのは至難という。そんなレベルでは暴走が心配だ。先頭を行く中国は暴走を防ぐ手立てを用意しているだろうか。
世界では、深層学習の限界を踏まえた次の新技術を探る動きが盛んだ。日本が巻き返すチャンスもありそうだ。ちっぽけなサイズでAIにも劣らない昆虫の脳もヒントになる。
627:現代数学の系譜 雑談
20/09/22 15:51:18.03 qkl/9znF.net
>>546
(引用開始)
>自分も、読めないことを認めたんだ~!
(肩を叩いて)
>>543のダン・シャーリー(断捨離のもじり?)の書き込み、
よく読もうね
「おれには読める!どうだクヤシイか?」
(引用終り)
ああ、了解
「自分も、読めないことを認めた」わけではないことは、了解した
が
「おれには読める!」
と主張しているのは分かった
が、その主張には証明がないな
まあ、ここを見た皆さんが判断するだろう
こいつは、「おれには読める!」と主張しているが
本当は、あやしいってぞ!
てねww(^^
628:132人目の素数さん
20/09/22 15:57:31.23 jk08YZjf.net
>>548
キミ、他人をとやかくいう暇があったら
AIの論文くらい読めるようになったほうがいいよ
数学的にはちっとも難しくないんだからさ
少なくともIUTよりは全然易しい
頑張ってみたら?
まずは線型代数からやり直そうな
いきなり佐武一郎とか読まないほうがいいよ
あれ、そもそも章立てが古いし
行列式から入ってるけど、あれは昔のスタイルだね
個人的には「アントンのやさしい線型代数」とかいいんじゃないかね?
この本で理解できたら、あとは佐武でもなんでも読んだらいいよ うん
629:現代数学の系譜 雑談
20/09/22 18:07:56.01 qkl/9znF.net
>>538 補足
正直、この園田翔のDR論文はすぐには読めない
かなり、数学理論を勉強しながらでないとね(^^;
で
「今後の展望
学習機械の汎化誤差を近似誤差と推定誤差に分けて考え
る。近似誤差を評価するのは関数近似理論,推定誤差を評価するのは統計
学や学習理論である。積分表現理論は専ら関数近似の理論であり,デー
タの存在は希薄である。しかし今後は,統計的な解析にも取り組んでい
く必要がある。」
ってある
学習機械の汎化誤差:近似誤差と推定誤差
積分表現理論:専ら関数近似の理論
ということは、学習機械の汎化誤差の半分しか扱ってない
だから、これを読んでも、いまいちという気がする
もちろん、この分野の専門家なら、読む価値あると思うが
一般人には、付録の方が価値があると思う(>>540)
(>>538より)
URLリンク(core.ac.uk)
深層ニューラルネットの積分表現理論 2017 年 2 月 園田翔
早稲・大学大学院先進理工学研究科
電気・情報生命専攻 情報学習システム研究
(抜粋)
第1章 序論
深層ニューラルネットは,2012 年頃から機械学習や人工知能の分野で
急速に発展を続けている学習機械である。深層ニューラルネットの快挙
は,大画像に対する一般物体認識タスクで人間と同程度のスコアを記録
し,囲碁では「人?最強」とも呼ばれる棋士イ・セドル氏に勝利するな
ど,枚挙に暇がない。ニューラルネットは,神経細胞が繋がり合って情
報を処理論する?子を抽象化した「脳の数理論モデル」として,20 世紀半ば
に?場し,これまでに二度のブームを引き起こしている。深層ニューラ
ルネットは第三次ブームの立役者である。
つづく
630:現代数学の系譜 雑談
20/09/22 18:09:22.39 qkl/9znF.net
>>550
つづき
「深層」という修飾語は,中間層の数が従来のニューラルネットよりも
多いことを強調している。ニューラルネットを深層化することで,内部
の情報表現が階層化され,情報処理論が効?化されることは,以前から予
想されていた。しかし,古典的な学習法であるバックプロパゲーション
(backpropagation)では,深層ニューラルネットを学習させることができ
なかった。原因は?々だが,例えば,層が深くなるに連れて,学習に必
要な誤差信号が減衰し,学習が極端に遅くなるためである。深層ニュー
ラルネットを学習させる技術を総称して,深層学習という。深層学習が
立て続けに成功し始めたのは,2006 年の Hinton や Bengio のプレトレー
ニングからである。
本論研究では,深層ニューラルネットの中で何が起きているのか,なぜ
深層にした方が良いのかという問題に対して,深層ニューラルネットの
積分表現理論の開発を通じて問題解決を図る。深層ニューラルネットの
内部では,タスクに有利な情報表現(特徴量写像)が獲得されていると考
えられている。情報表現を自動的に獲得するという意味で,深層学習は
表現学習とも呼ばれる。しかし,深層学習はヒューリスティクスを多く
含むので,実際に獲得される特徴量の素性は分からないことも多い。そ
もそも,浅いニューラルネットは任意の関数を近似できるほど表現力が
高い(万能関数近似器)のに,なぜ深層にする必要があるのだろうか。
本論研究が拠り所とする積分表現は,ニューラルネットの中間層素子に
関する総?を積分に置き換えて得られる。これは中間層素子を積分核と
する積分変換であり,双対リッジレット変換と呼ばれる。リッジレット
変換は Radon 変換やウェーブレット変換との関係が深く,幾何学的性質
や解析的性質がよく調べられている。
つづく
631:現代数学の系譜 雑談
20/09/22 18:09:53.46 qkl/9znF.net
>>551
つづき
通常のニューラルネットは,積分
表現の離散化を通じて理論解できる。積分表現理論は 90 年代に起きた第二
次ブームにおいて,浅いニューラルネットの表現能力を調べる過程で成
立した。残念ながら,深層ニューラルネットの積分表現理論は今日まで
ほとんど調べられていない。中間層が二層以上ある場合には,単に積分
核が入れ子になるだけで,中間層同士の関係をうまく定式化できないた
めである。
本論研究の結果は二つに分けられる:浅いニューラルネットの積分表現
理論と,深層ニューラルネットの積分表現理論である。浅いニューラル
ネットの理論では,ReLU と呼ばれる活性化関数に対応するように積分
表現理論を拡張し,ニューラルネットと Radon 変換およびウェーブレッ
ト変換との関係を詳らかにし,さらに積分表現を離散化してニューラル
ネットを学習する方法を提案した。
深層ニューラルネットの理論では,デノイジング・オートエンコーダー
(denoising autoencoder; DAE)と呼ばれるクラスに対して,DAE を?送
写像とみなす方法で,積分表現を構成した。また,?送写像の極限を調
べることで,無限層ニューラルネットに相当する連続 DAE の性質を明ら
かにした。DAE はデータ分布のエントロピーを減らす方向に入力データ
を再配置する?送作用があり,この作用は層を深くした方が顕著になる
ことが分かった。従って,浅い DAE と深層 DAE とでは抽出される特徴
量が異なることから,DAE においては積極的に深層化す�
632:ラきであると言 える。本論研究の結果を深層学習のアルゴリズムに反映する方法の開発は, 今後の重要な課題である。 つづく
633:現代数学の系譜 雑談
20/09/22 18:10:43.52 qkl/9znF.net
>>552
つづき
本論文の構成は,第 1 章が本論研究の概要と?文の構成の説明,第 2 章が
関連研究と先行研究のサーベイ,第 3 章と第 4 章が本論を展開するうえ
での準備,第 5 章から第 7 章が本論,第 8 章が本論研究の総括である。第 2
章以降の各章の詳細は次の通りである。
第 2 章では関連研究および先行研究について,深層ニューラルネット
と浅いニューラルネットの二つの観?で整理論する。まず深層ニューラル
ネットについては,最初に全体の動向を概観する。次に,本論研究の主題の
一つである「深層ニューラルネットの中では何が起きているか」につい
て言及している研究を整理論する。本論研究で取り扱う ReLU や DAE につい
ては独立に節を設けるほか,オートエンコーダーと対照的な表現学習の
例として,畳み込みネットワークについても解説する。一方,浅いニュー
ラルネットについては,まず 90 年代の結果を整理論する。具体的には,万
能関数近似能力を軸にして積分表現理論が?場するまでの経緯を説明す
る。続いて,積分表現理論以降に?場したリッジレット解析や学習理論
について,その後の展開を整理論する。
第 3 章では,本論研究で用いる数学的な道具を整理論する。具体的には,
Fourier 変換や Radon 変換,ウェーブレット解析,拡散方程式,最適?送
理論の基本論的な定理論や公式を整理論する。さらに,本論で展開される超関
数や特異積分の計算について解説する。これらの計算には,これまでに
まとまった解説が少なく,申請者が独自に計算した内容も含む。
第 4 章では積分表現理論について基本論事項を説明する。本論章は本論を
展開するうえでの準備にあたるが,積分表現理論は本論研究の要であり,申
請者の考察も多く含むことから,独立に章を設けた。まず積分表現理論
がリッジレット解析と等価であることを説明したあと,リッジレット変
換が Radon 変換とウェーブレット変換の合成変換に分解できることを示
す。これにより,リッジレット解析の幾何学的な意味付録けが明らかとな
る。最後に,リッジレット変換の離散化や,ベクトル値の場合の考え方
を説明する。これにより,現実のニューラルネットと積分表現との関係
が明らかとなる。
つづく
634:現代数学の系譜 雑談
20/09/22 18:11:36.15 qkl/9znF.net
>>553
つづき
第 5 章では浅いニューラルネットの積分表現理論を展開する。まず,深
層学習において,ReLU と呼ばれる非有界な活性化関数が用いられる背景
を簡単に説明する。これにより,深層ニューラルネットの積分表現理論
を展開するためには ReLU を含む超関数によるリッジレット解析が必要
であることが分かる。本論章の前半では,超関数によるリッジレット変換
が存在すること,および適当な条件の下で再構成公式(逆変換)が成り
立つことを理論的に示す。後半では,リッジレット変換の具体例を解析
的に計算し,さらに再構成公式の数値例を計算することで,理論の実効
性を確率認する。
第6章では深層ニューラルネットの積分表現理論を展開する。まず,DAE
が?場した背景と,DAE の学習アルゴリズムを簡単に説明し,Alain and
Bengio の変分計算によって学習アルゴリズムの?留?が?に求まること
を示す。続いて,得られた DAE が?送写像とみなせることを説明する。
本論章の前半では,浅い DAE による?送の性質を調べる。後半では,三つ
の深層 DAE(積層 DAE,合成 DAE,連続 DAE)を導入し,深層 DAE に
よる?送現象を軸として深層DAEの積分表現理論を展開する。積層DAE
は深層学習の一種であるプレトレーニングで現れる形式だが,解析が難
しい。合成 DAE は浅い DAE の合成写像であり,これ自体も?送写像な
ので解析は比較的容易である。連続 DAE は合成 DAE の連続極限であり,
無限層のニューラルネットに相当する。本論章の主結果は二つある。まず,
連続 DAE による?送に伴って変形されたデータ分布(押出測度)が,逆
向きの拡散方程式に従うことを示す。つまり,連続 DAE はデータ分布の
エントロピーを減らすようにデータ?を再配置する連続力学系である。次
に,積層 DAE と合成 DAE の等価性を示す。つまり,積層 DAE から得ら
れる特徴量は,ある線形写像によって適当な合成 DAE �
635:ゥら得られた特徴 量に変換できる。二つの主結果の系として,合成 DAE と積層 DAE はい ずれも,層を重ねるに連れて連続 DAE と?似の振舞いをするようになる ことが分かる。最後に,深層 DAE の積分表現は,層毎の積分表現を合成 したものとして得る。 つづく
636:現代数学の系譜 雑談
20/09/22 18:12:38.55 qkl/9znF.net
>>554
つづき
第 7 章では積分表現を離散化することでニューラルネットを学習させる方法を説明する。再構成公式を離散化することで学習済ニューラルネッ
トが得られる。離散化は離散フーリエ変換のように規則的な格子に沿っ
て行うこともできるが,本論章ではサンプリングによる方法を提案する。こ
れは,データからリッジレット変換を推定し,得られた変換を確率分布
とみなして,パラメータをサンプリングする方法である。リッジレット
変換をパラメータ空間上の確率分布とみなしたものをオラクル分布と呼
ぶ。人工データおよび実データに対してアルゴリズムを適用し,バック
プロパゲーションに依らない学習が行えることを確率認した。
第 8 章では本論研究を総括し,今後の展望について述べる。
なお付録 A では,本論文で省略した定理論の証明を掲載している。
また付録 B では,情報やエントロピー,複雑性などの基本論的かつ解釈の難しい
概念について,諸分野での用例を元にして整理論する。本論付録の内容は,深
層ニューラルネットの中でどのように情報を処理論しているかについて考
察を加えるための背景知識となるが,本論を展開するうえで必ずしも全
て理論解しておく必要はないため,付録に置いた
今後の展望
慣習に従い,学習機械の汎化誤差を近似誤差と推定誤差に分けて考え
る。近似誤差を評価するのは関数近似理論,推定誤差を評価するのは統計
学や学習理論である。積分表現理論は専ら関数近似の理論であり,デー
タの存在は希薄である。しかし今後は,統計的な解析にも取り組んでい
く必要がある。深層学習を利用すると,どのような構造にすれば良いの
か,どの活性化関数を使えば良いのかといったモデル選択の問題や,ど
うすれば学習が上手くいくのかといった最適化の問題に直面する。この
ような問題を解析するためには,データとニューラルネットを対応付け
る規則,すなわち学習アルゴリズムを解析する必要がある。また,深層
ニューラルネットのパラメータは数十億個にのぼり,データサイズから
見てもほとんど無限と思われるほど大量にあるにも関わらず,学習でき
るのはなぜか。このような問題は一般的な新 NP 問題を解決する糸口とも捉えられるので,今後の重要な課題と言える
(引用終り)
637:現代数学の系譜 雑談
20/09/22 19:13:58.18 qkl/9znF.net
>>549
>まずは線型代数からやり直そうな
>行列式から入ってるけど、あれは昔のスタイルだね
自分が躓いたところを言っているのかい?
「行列式はテンソルです」って、笑えたよ(^^
いやね、第3章 数学的準備の目次を見ると
ちょっと、知らない分野があるので、
すぐには読めないと思ったわけ
それに、>>550に書いたけど、DR論文本体は
いまいち面白そうじゃない(自分の興味のあることを書いていない)
そういうことです
付録はつまみ読みしたよ
面白かったな(^^
638:132人目の素数さん
20/09/22 19:20:49.14 jk08YZjf.net
>>550
>正直、このDR論文はすぐには読めない
>かなり、数学理論を勉強しながらでないとね
君、いったいどういうふうに論文読んでるの?
当然、未知のことが書かれてることがあるじゃん
そういう場合、理解するためにどうやってるの?
もしかしてただサルのごとくキーワード検索して
自分でも読める文献を延々と検索しつづけるの?
それ・・・正真正銘の馬鹿戦略だよね?
要するにたったワンステップで分かろうとするわけじゃん
そんなの虫が良すぎるって自分でも思わないの?
当然、検索した結果の文章も分からない場合
さらに、その中のキーワードで検索するよね?
つまり自分の立ち位置と目標の間に
いくつも中間目標を設定するよね
で、今の自分に十分到達可能な中間目標から
順々に攻略していくよね
例えば、K2に上るのに、
自分が今いるのがパキスタンの海岸近くのカラチだとするよね
そしたら少なくとも内陸のイスラマバードまでは行って、
そしてそこからカシミールのギルギットまで行って・・・
と順序立てて考える必要があるよね
そういうこと全然考えてないの?
639:132人目の素数さん
20/09/22 19:28:53.46 jk08YZjf.net
>>556
>DR論文本体はいまいち面白そうじゃない
そりゃ理解できないことは面白くないだろ
理解できてはじめて面白いと感じる
>(自分の興味のあることを書いていない)
君の興味あることって何?
まさか
「全ての問題の真偽を判定する方法」
なんて馬鹿なこといわないよね?w
(なぜこれが馬鹿なことなのかは、自分で考えてみよう)
>付録はつまみ読みしたよ
>面白かったな
そうやって自分が賢いと自分にウソをつき続けるの、やめようよ
一生馬鹿から抜け出せないよ
大卒だと偽装するくせに、行列式すら理解できないとか
ヒド過ぎるよ 全然笑えないって
大学出てるといいはりたいんなら、行列式くらい理解しようぜ
多重線形性が分れば、テンソルだと認めざるをえなくなるって
いったい何と闘ってるの?僕?僕は敵じゃないよ
君の敵は僕でも数学でもない
本当の自分から目を背ける君自身の弱さ
640:132人目の素数さん
20/09/22 19:37:19.47 jk08YZjf.net
>「行列式はテンソルです」って、笑えたよ
なんか性懲りもなく書き続けてるけど
それがいかにトンデモな発言かわかってないの?
行列式は列ベクトルの組の多重線型写像だよ
これだけでテンソルだと分かる
逆にテンソルでないというなら、
多重線型性がないっていうのかい?
反例は?そんなもんあるわけないじゃんw
もういいかげんわけもわからず、つっぱり続けるの、やめなよ
恥かくのは君だよ 笑われるのは君だよ 俺じゃない
数学分かりたいんなら 素直にありのままの自分を受け入れなよ
無知でなにもわかってない自分自身をさ
そうでないと何も学べないよ
641:現代数学の系譜 雑談
20/09/23 06:54:21.03 LeQWW8SA.net
<転載>
Inter-universal geometry と ABC予想 (応援スレ) 49
スレリンク(math板:100番)-101
100 名前:132人目の素数さん[sage] 投稿日:2020/09/22(火) 22:35:46.71 ID:PrdD62BV [1/2]
URLリンク(noschool.asia)
101 自分:現代数学の系譜 雑談 ◆yH25M02vWFhP [sage] 投稿日:2020/09/22(火) 22:55:34.90 ID:qkl/9znF [16/18]
>>100
ありがとう
そうです、そうです
URLリンク(noschool.asia)
NoSchool.inc
テンソルと行列
(抜粋)
2×2行列が2階のテンソルでないことは知っていますが、上の場合は両方ベクトルと書かれているので疑問に思いました。
また、行列とテンソルは概念的に全く重なることはないのでしょうか?
2年前
数学(大学)の質問
rghwr さんの質問
回答一覧(1件)
ベストアンサーに選ばれました
tamu 先生 の回答
先生
2年前
> 2×2行列が2階のテンソルでないことは知っていますが
2×2行列A=(a_ij)は、V=R^2とした時
T:(V^*)×V→R
(e^*_i,e_j)→a_ij
によって、2階(1階共変、1階反変)のテンソルとみなせます。
(引用終り)
上記は、純粋数学というよりも、物理数学系ですね
そして、よく言われる(書かれている)こと
例えば、上記「2×2行列と、2階のテンソルとは別物」って注意(書き)です
しかしながら、2階のテンソルがしばしば、行列で表現できるのも事実
(2×2行列に限らず、n×n行列でも類似のことがあります)
で、この文脈で
「行列式はテンソルです」って、笑える
(引用終り)
以上
642:132人目の素数さん
20/09/23 09:52:36.80 7U6sk/iJ.net
>>560
�
643:」田くんは論理が分かってないね。 「行列式は2階テンソルである。」 なんて書かれてないんだけど、なに発狂してんの?
644:現代数学の系譜 雑談
20/09/23 10:17:24.14 Ukw5lW7M.net
転載
Inter-universal geometry と ABC予想 (応援スレ) 49
スレリンク(math板:109番)-110
物理数学は、下記ご参照
テンソルあるよ
昔、コーシー、ポアソンの頃、彼らがテンソルで個体力学を、数学的に研究した
URLリンク(ja.wikipedia.org)
物理数学
(抜粋)
物理学で用いられるいくつかの数学的手法を総称した呼び方であり、特定の数学分野を示すものではない
・線型代数
・ベクトル解析
・テンソル
・微分方程式
・フーリエ変換
・群論
・複素解析
URLリンク(lib.nagaokaut.ac.jp)
連続体力学の基礎 古口日出男 永澤茂 20150619 長岡技術科学大学出版会
(抜粋)
1. 1 連続体力学の歴史
個体に関する力学
フックの法則 17世紀
弾性力学 18世紀 ベルヌーイ、オイラー、ラグランジュ、19世紀 コーシー
テンソルの概念を応力とひずみに導入 19世紀 コーシー
実際の問題に関する解 19世紀 ポアソン
URLリンク(structure.cande.iwate-u.ac.jp)
構造工学研究室 岩手大学
URLリンク(structure.cande.iwate-u.ac.jp)
構造力学の歴史 1988.5.26
(抜粋)
ガリレイ(Domino Galileo Galilei, 1564-1642) 材料力学の最初の本「二つの新しい科学」 片持ばりの断面抵抗力,中空断面はりの強さを論じた
ロバ-ト・フック(Robert Hooke, 1635-1703) フックの法則,はりの曲げにさいし凸側では引張りを受け凹側では圧縮される
ヤコブ・ベルヌ-イ(Jacob Bernoulli, 1654-1705) たわみの曲率は曲げモ-メントに比例する
レオナ-ド・オイラ-(Leonard Euler, 1707-1783) 柱の座屈
ナビィエ(L.M.H. Navier, 1785-1836) 単純ばりのたわみ曲線による解法,平面保持の仮定
コ-シ-(Augustin Cauchy, 1789-1857) 等方弾性体の完全な方程式系
ポアソン(S.D. Poisson 1781-1840) ポアソン比,板のたわみ方程式
マクスウェル(James Clerk Maxwell, 1831-1879) 相反法則
1795 パリにエコ-ル・ポリテクニク(L'Ecole Polytechnique パリ高等理工科学校) 開校 モンジュ、ラクランジュ、フ-リエ、ポアソンらの教授陣
645:現代数学の系譜 雑談
20/09/23 10:18:04.81 Ukw5lW7M.net
で、この文脈で
「行列式はテンソルです」って、笑える
646:裏ボス系のアラフェス
20/09/23 10:55:56.08 BXKSsIMy.net
こっちは背理法になっちゃうけど、前提が仮定なので背理法でも証明は可能といえよう。
i^2=,j^2=,k^2=-1
これは余分な集合を割り引いたもの。例えば、(AかつA)においてAという記号の集合は一つ邪魔である。よって、
0(元々あったもの)-1(余分に加えてしまったもの)で i^2 = -1 となる。以下も同様である。
ijk = -1
これは同様の思考で、ただし、掛ける集合がお�
647:ンいに全部違うから、大体50%くらいの確率で交わるとし、 0 - 1/2 - 1/2 = -1 である。まぁ、俺は数学を専門にした覚えはないからクレームの反応受けても理解できないと思ってね。やるのは思いついたのを書き残しておくくらい。じゃあ、みんな頑張ってねー
648:現代数学の系譜 雑談
20/09/23 11:38:24.11 Ukw5lW7M.net
>>562 補足
下記は、物理数学系だが
行列(行列式,余因子,逆行列)、ベクトル、テンソルとある
この文脈で
「行列式はテンソルです」って、笑える
(参考)
URLリンク(solid4.mech.okayama-u.ac.jp)
機械工学者向けサイト by 多田 直哉 岡山大
(抜粋)
関連の基礎数学
URLリンク(solid4.mech.okayama-u.ac.jp)
行列と総和規約(Matrix and Summation Convention)
キーワード:行列,クロネッカー・デルタ,置換記号,行列式,余因子,逆行列,固有値,対角化,総和規約
URLリンク(solid4.mech.okayama-u.ac.jp)
ベクトル(Vector)
キーワード:ベクトル,スカラー積(内積),ベクトル積(外積),テンソル積,座標変換,勾配,発散,回転,微分演算子
URLリンク(solid4.mech.okayama-u.ac.jp)
テンソル(Tensor)
キーワード:テンソル,内積,テンソル積,座標変換,縮約,商法則
649:現代数学の系譜 雑談
20/09/23 11:40:48.22 Ukw5lW7M.net
>>564
ありがとう(^^
650:ID:1lEWVa2s
20/09/23 16:11:06.43 MqkxRjd6.net
>>562
ヤング係数は無いのか。
651:132人目の素数さん
20/09/23 17:10:29.05 jby33uIR.net
>>560
2×2行列の行列式DETはテンソルですよ
(もちろんn×n行列の行列式もテンソル)
DET:V×V→R
反対称性
DET(e_1,e_1)=-DET(e_1,e_1)=0
DET(e_1,e_2)=-DET(e_2,e_1)=1
DET(e_2,e_2)=-DET(e_2,e_2)=0
上記の場合、2階共変テンソルですね
(注:2×2の場合、2階だというだけで、
n×nの場合、n階である、つまり、引数の数がn個)
DET((a11e_1+a21e_2),(a12e_1+a22e_2))
= DET(a11e_1,(a12e_1+a22e_2))+DET(a21e_2,(a12e_1+a22e_2))
= DET(a11e_1,a12e_1)+DET(a11e_1,a22e_2)
+DET(a21e_2,a12e_1)+DET(a21e_2,a22e_2)
= a11a12*DET(e_1,e_1)+a11a22*DET(e_1,e_2)
+a21a12*DET(e_2,e_1)+a21a22*DET(e_2,e_2)
= a11a12*0+a11a22*1
+a21a12*(-1)+a21a22*0
= a11a22-a21a12
大学で習わなかった?
あ、大学行ってないのかw
これ、遠山啓の「数学入門(上)」にもほぼ同様のこと書いてあるから
(ま、ちょっとだけアレンジしたけど、大筋は同じ)
652:132人目の素数さん
20/09/23 17:11:05.56 jby33uIR.net
>>561
>「行列式は2階テンソルである。」
>なんて書かれてないんだけど
セタは、行列式(determinant)=行列(matrix)、だと思い込んでるね
全然違うよ
「n×n行列の行列式は、n階(共変)テンソルである」
が正しいね
>「行列式はテンソルです」って、笑える
「行列式は行列です」って、アタマ痛ぇw
653:132人目の素数さん
20/09/23 17:37:44.92 jby33uIR.net
>>564
💊飲んでますか?
エビリファイ、レキサルティ 効きますよ
URLリンク(ja.wikipedia.org)
適応
添付文書に記載された用法は以下である。
統合失調症
成人は1日6mg-12mgを開始用量として、1日6mg-24mgを維持量とする。
1回または2回に分けて経口投与し、1日30mgを超えないようにする。
年齢や症状に応じて適宜減量する。
効果を発揮するまでに約2週間必要なため、2週間以内に増量しないことが望まれる。
654:裏
20/09/23 17:55:15.65 Lrj4KtsS.net
>>570
眠り薬と鎮静剤ですかね。
まぁ、そんなところでしょうが、
気付け
655:薬以上には役に立っていますよ。
656:132人目の素数さん
20/09/23 19:44:30.11 jby33uIR.net
>>571
>眠り薬と鎮静剤ですかね。
いえ、抗精神病薬です。
ちなみに睡眠薬は身体によくないよ
ベンゾジアゼピン
URLリンク(ja.wikipedia.org)
ベンゾジアゼピン薬物乱用
URLリンク(ja.wikipedia.org)
657:粋蕎
20/09/23 19:54:57.84 LRTMYflj.net
実数→複素数→多元数
スカラー→ベクトル→テンソル
テンソルは正方行列である
658:132人目の素数さん
20/09/23 20:00:07.61 jby33uIR.net
蕎麦に質問だ
実行列の行列式は、列ベクトル(行ベクトルでもいいが)が張る
平行体のn次元体積を表している
複素行列の行列式は、いったい何を表しているんだろう?
答え?僕は知らないよ 単に思いついたから訊いてみただけ
659:132人目の素数さん
20/09/23 21:41:24.65 jby33uIR.net
◆yH25M02vWFhP 死す
スレリンク(math板:124番)-125
660:現代数学の系譜 雑談
20/09/23 23:29:05.88 LeQWW8SA.net
<転載>
Inter-universal geometry と ABC予想 (応援スレ) 49
スレリンク(math板:122番)-123
jby33uIR さんは、維新さん(下記)(^^;
「行列式はテンソルです」って、笑える
必死だな
”「n×n行列の行列式は、n階(共変)テンソルである」
が正しいね”か、外しまくりだな(下記 テンソル wikipedia)
(参考)
URLリンク(hissi.org)
必死チェッカーもどき
(抜粋)
トップページ > 数学 > 2020年09月23日 > jby33uIR
3 位/75 ID中 Total 10
使用した名前一覧
132人目の素数さん
書き込んだスレッド一覧
33歳数学ど素人だが、フィールズ賞目指すスレ
残念だった天才・秀才達を思い出そう
純粋・応用数学(含むガロア理論)4
Inter-universal geometry と ABC予想 (応援スレ) 49
書き込みレス一覧
33歳数学ど素人だが、フィールズ賞目指すスレ
617 :132人目の素数さん[sage]:2020/09/23(水) 06:04:01.08 ID:jby33uIR
AIはAI 自分は自分
数学したくない人はセックスでもしてればいいよ
純粋・応用数学(含むガロア理論)4
569 :132人目の素数さん[sage]:2020/09/23(水) 17:11:05.56 ID:jby33uIR
「n×n行列の行列式は、n階(共変)テンソルである」
が正しいね
純粋・応用数学(含むガロア理論)4
570 :132人目の素数さん[]:2020/09/23(水) 17:37:44.92 ID:jby33uIR
??飲んでますか?
エビリファイ、レキサルティ 効きますよ
URLリンク(ja.wikipedia.org)
URLリンク(ja.wikipedia.org)
テンソル
つづく
661:現代数学の系譜 雑談
20/09/23 23:29:42.76 LeQWW8SA.net
>>576
つづき
例
工学では剛体や流体内の応力がテンソルによって説明される。実際のところ「テンソル」という言葉はラテン語の「延びる物」、つまり応力を発生するもの、という意味の言葉からきている。物体内の特定の面要素に特に注目して考えれば、面の一方の側にある物質が反対側に対して力をおよぼしていると考えられる。一般にはこの力は面に垂直な向きに働いてはおらず、面の向きに線形的に依存して決まるとしかいえない。したがってこれは(2,0)型のテンソル(正確に言えば、応力は位置によってかわるので、(2,0)型のテンソル場)によって記述される。
幾何におけるテンソルでは二次形式や曲率テンソルが有名である。物理学におけるテンソルにはエネルギー・運動量テンソル、慣性能率テンソルや極分解テンソルがある。
幾何学的な量や物理学的な量はその記述について内在的な自由度を考えることによって分類できる。圧力、質量、温度などのスカラー量はただ一つの数によって指定できる。力のようなベクトル量を表示するためには数のリストを用いる必要があるし、二次形式のような量は複数の添字系によって並べられる数の配列を用いて表示される。これらの量はテンソルとして考えなければとらえることができない。
実際のところテンソルの概念はとても一般的なものであり、上の例全てに当てはまっている。つまり、スカラーやベクトルはテンソルの特別なものと見なすことができる。スカラーをベクトルと区別し、これら二つをより一般のテンソル�
662:ゥら区別しているのは、その要素の表現にもちいられる配列の添字の組の数である。この数はテンソルの階数(または位数)とよばれる。したがってスカラーは階数 0(添字は必要ない)のテンソルであり、ベクトルは階数 1 のテンソルだということになる。 テンソルの別の例は一般相対性理論におけるリーマン曲率テンソルであり、次元<4, 4, 4, 4>(空間3次元と時間1次元で合わせて4次元)の4階テンソルとして表現される。これは256( = 4 × 4 × 4 × 4)の成分を持っているが、実際に独立な要素の数は20であり、表記を大きく単純化することができる[4]。 (引用終り) 以上
663:粋蕎
20/09/24 01:34:30.54 SCQzjZ4+.net
>>574
知らん。実時間上n次元体積に対する虚時間上n次元体積?
664:132人目の素数さん
20/09/24 06:27:45.02 H6sqOdXp.net
◆yH25M02vWFhP 四度目の死
スレリンク(math板:134番)
665:132人目の素数さん
20/09/24 06:29:20.65 H6sqOdXp.net
「n×n行列の行列式は、n階(共変)テンソルである」
テンソル
URLリンク(ja.wikipedia.org)
「テンソルの変換法則が実際に基底の取り方に依らないことは証明できることではあるが、
しばしばより内在的な定義が取り上げられる。
その一つが、テンソルを多重線型写像として定義することである。」
交代多重線型形式
URLリンク(ja.wikipedia.org)
「線型代数学における行列の行列式や、
微分幾何学における微分形式は
多重線型交代形式の重要な例である。」
多重線型交代写像
URLリンク(ja.wikipedia.org)
「W = K のときを考えれば、函数 det_e は
f(e_1,…,e_n)=1 を満たす唯一の n-重線型交代形式 f
として特徴づけられる。」
◆yH25M02vWFhP 今度こそキッチリ死んで、
次は、数学のわかる賢いヤツに生まれ変われよ!
666:現代数学の系譜 雑談
20/09/24 10:29:57.31 2CuZB/b0.net
>>567
ヤング率ね
下記英文wikipedia によると
”However, the first use of the concept of Young's modulus in experiments was by Giordano Riccati in 1782?predating Young by 25 years.[35] Furthermore, the idea can be traced to a paper by Leonhard Euler published in 1727, some 80 years before Thomas Young's 1807 paper.”
とある。オイラーは偉大だね
URLリンク(ja.wikipedia.org)
ヤング率
ヤング率(ヤングりつ、英語: Young's modulus)は、フックの法則が成立する弾性範囲における、同軸方向のひずみと応力の比例定数である[1]。
この名称はトマス・ヤングに由来する。縦弾性係数(たてだんせいけいすう、英語: modulus of longitudinal elasticity[1])とも呼ばれる。
概要
ヤング率は、線形弾性体ではフックの法則
ε = σ/ E
ε:ひずみ,σ:応力,E:ヤング率
より、
E= σ/ε
である。
一般の材料では、一方向の引張りまたは圧縮応力の方向に対するひずみ量の関係から求める。ヤング率は、縦軸に応力、横軸にひずみをとった応力-ひずみ曲線の直線部の傾きに相当する。
URLリンク(ja.wikipedia.org)
トマス・ヤング(Thomas Young, 1773年6月13日 - 1829年5月10日)は、イギリスの物理学者。
弾性体力学の基本定数ヤング率に名前を残している。ほかにエネルギー (energy) という用語を最初に用い、その概念を導入した。
URLリンク(en.wikipedia.org)(scientist)
Thomas Young (scientist)
Young's modulus
667: Main article: Young's modulus Young described the characterization of elasticity that came to be known as Young's modulus, denoted as E, in 1807, and further described it in his Course of Lectures on Natural Philosophy and the Mechanical Arts.[34] However, the first use of the concept of Young's modulus in experiments was by Giordano Riccati in 1782?predating Young by 25 years.[35] Furthermore, the idea can be traced to a paper by Leonhard Euler published in 1727, some 80 years before Thomas Young's 1807 paper.
668:現代数学の系譜 雑談
20/09/24 10:43:07.99 2CuZB/b0.net
内積:二つのベクトルに対してある数(スカラー)を定める二項演算であるためスカラー積(スカラーせき、英: scalar product)ともいう。
多重線型写像:多重線型写像の終域が係数体(スカラー値)のときはとくに多重線型形式と言う。
例えば、スカラー積は対称双線型形式であり、行列式は正方行列の列(あるいは行)ベクトルを引数と見れば多重線型形式である。
では、内積はテンソルか?ww
(参考)
URLリンク(ja.wikipedia.org)
内積
線型代数学における内積(ないせき、英: inner product)は、(実または複素)ベクトル空間上で定義される非退化かつ正定値のエルミート半双線型形式(実係数の場合には対称双線型形式)のことである。二つのベクトルに対してある数(スカラー)を定める二項演算であるためスカラー積(スカラーせき、英: scalar product)ともいう。
URLリンク(ja.wikipedia.org)
多重線型写像
一変数の多重線型写像は線型写像であり、二変数のそれは双線型写像である。より一般に、k 変数の多重線型写像は k 重線型写像 (k-linear map) と呼ばれる。多重線型写像の終域が係数体(スカラー値)のときはとくに多重線型形式と言う。例えば、スカラー積は対称双線型形式であり、行列式は正方行列の列(あるいは行)ベクトルを引数と見れば多重線型形式である。
すべての変数が同じ空間に属していれば、対称(英語版)、反対称、交代(英語版) k 重線型写像を考えることができる(注意すべき点として、基礎(英語版)環(あるいは体)の標数が 2 でなければ後ろ2つは一致し、標数が 2 であれば前2つは一致する)。例えば、スカラー積は対称であり、行列式は反対称である。
多重線型写像や多重線型形式は多重線型代数において研究の基本的な対象である。多重線型写像の系統的な研究により行列式、外積(フランス語版)、そして幾何学的内容を含む多くの他の道具の一般的な定義が得られる。
目次
1 定義
2 成分表示
3 テンソル積との関係
4 対称性・反対称性・交代性
例
・任意の双線型写像は多重線型写像である。例えば、ベクトル空間上の任意の内積や R3 のベクトルのクロス積は多重線型写像である。
669:現代数学の系譜 雑談
20/09/24 11:27:05.30 2CuZB/b0.net
>>582 関連
多重線型写像に「テンソル積との関係」という記述があります。ご参考
(参考)
URLリンク(ja.wikipedia.org)
多重線型写像
目次
1 定義
2 成分表示
3 テンソル積との関係
4 対称性・反対称性・交代性
テンソル積との関係
多重線型写像は本質的にテンソル積空間上の線型写像であると考えることができる。
すなわち多重線型写像の空間 L(E1, ・・・, Ek; F) と線型写像の空間 L(E1 〇x ・・・ 〇x Ek; F) との間に自然な一対一対応が存在する(テンソル積の普遍性)。
ここに E1 〇x ・・・ 〇x Ek は E1, ・・・, Ek のテンソル積である。
この対応関係において対応する多重線型写像 f: E_1 x ・・・ x E_k→ F と線型写像 ~f: E_1〇x ・・・ 〇x E_k→ F の間の関係は、
等式
~f(x_1〇x ・・・ 〇x x_k)=f(x_1,・・・ ,x_k) (x_i∈ E_i)
によって端的に表される。すなわち、この等式を満たすという意味で
f は ~f の制限であり、
~f は f の唯一の線型な拡張である[注釈 1]。
注釈1^
上記の関係式では
~f の値は単純テンソル上でしか与えられていないが、単純テンソルの全体はテンソル積空間全体を生成するから、
線型写像 ~f はこれだけで一意に決定されることに注意する。
<英文>
URLリンク(en.wikipedia.org)
Multilinear map
Contents
1 Examples
2 Coordinate representation
3 Example
4 Relation to tensor products
Relation to tensor products
There is a natural one-to-one corre
670:spondence between multilinear maps f: V_1x ・・・ x V_n→ W, and linear maps F: V_1〇x ・・・ 〇x V_n→ W, where V_1〇x ・・・ 〇x V_n denotes the tensor product of V_1,・・・ ,V_n. The relation between the functions f and F is given by the formula F(v_1〇x ・・・ 〇x v_n)=f(v_1,・・・ ,v_n).
671:現代数学の系譜 雑談
20/09/24 12:20:09.60 2CuZB/b0.net
>>583 補足
ja.wikipedia ”多重線型写像”の和文がおかしいな(下記)
英 for each i, if all of the variables but v_i are held constant, then f(v_1,・・・ v_i,・・・ v_n) is a linear function of v_i.[1]
和 各 i に対して、vi を除くすべての変数を固定して変化させないとき、 f(v_1,・・・ ,v_n) は vi に関して線型である[1]。
なんか、和文の意味が取れないと思ったら、誤訳かね
「vi を除くすべての変数を固定して変化させないとき」
”if all of the variables but v_i are held constant”
”held constant”は、定数でいいんじゃない?
で、”but v_i are held constant ”のところ、「vi を除くすべての変数を固定して変化させないとき」は、意味逆じゃね?(^^;
(参考)
URLリンク(ja.wikipedia.org)
多重線型写像
正確には、多重線型写像は、 V_1,・・・ ,V_n および W をベクトル空間(あるいは可換環上の加群)として、次の性質を満たす写像
f: V_1x ・・・ x V_n→ W
である: 各 i に対して、vi を除くすべての変数を固定して変化させないとき、 f(v_1,・・・ ,v_n) は vi に関して線型である[1]。
<英文>
URLリンク(en.wikipedia.org)
Multilinear map
More precisely, a multilinear map is a function
f: V_1x ・・・ x V_n→ W,
where V_1,・・・ ,V_n and W are vector spaces (or modules over a commutative ring), with the following property: for each i, if all of the variables but v_i are held constant, then f(v_1,・・・ v_i,・・・ v_n) is a linear function of v_i.[1]
672:現代数学の系譜 雑談
20/09/24 13:04:02.68 2CuZB/b0.net
>>584 訂正
(引用開始)
「vi を除くすべての変数を固定して変化させないとき」
”if all of the variables but v_i are held constant”
(引用終り)
?
これで良いのか
”are held constant”は、複数形だかならね(^^;
673:現代数学の系譜 雑談
20/09/24 13:12:00.49 2CuZB/b0.net
>>585 追加
各 i に対して、vi を除くすべての変数を固定して変化させないとき、 f(v_1,・・・ ,v_n) は vi に関して線型である[1]。
for each i, if all of the variables but v_i are held constant, then f(v_1,・・・ v_i,・・・ v_n) is a linear function of v_i.[1]
ここで、”linear function of v_i”をしっかり訳して、f(v_1,・・・ v_i,・・・ v_n)とv_iを明示して
”各 i に対して、vi を除くすべての変数を固定して変化させないとき、 f(v_1,・・・ v_i,・・・ ,v_n) は viの線型関数となる[1]。”
くらいにしないと、意味取りにくいな(^^
674:132人目の素数さん
20/09/24 16:54:17.81 H6sqOdXp.net
>>582
>内積:二つのベクトルに対してある数(スカラー)を定める二項演算であるため
> スカラー積(スカラーせき、英: scalar product)ともいう。
>多重線型写像:多重線型写像の終域が係数体(スカラー値)のときは
> とくに多重線型形式と言う。
>例えば、スカラー積は対称双線型形式であり、
>行列式は正方行列の列(あるいは行)ベクトルを引数と見れば多重線型形式である。
>では、内積はテンソルか?ww
ええ、内積も、行列式同様、テンソルですが、何か?
(完)
675:132人目の素数さん
20/09/24 16:56:30.99 H6sqOdXp.net
>>584
>"all of the variables but v_i …"
>なんか、和文の意味が取れないと思ったら、誤訳かね
>「vi を除くすべての変数・・・」は、意味逆じゃね?
なんだ、◆yH25M02vWFhPは、数学だけじゃなく英語もダメなのか?
”all ○ but ●”(●以外の○全部)も知らんとは(呆)
例えば
”all but finitely many ・・・”は、
「有限個の例外を除いて(すべて)」の意味
676:132人目の素数さん
20/09/24 16:58:38.55 H6sqOdXp.net
>>586
(「vi に関して線型である」について)
>”linear function of v_i”をしっかり訳して
> 「viの線型関数となる」くらいにしないと
>意味取りにくいな
関係ないな
単に、◆yH25M02vWFhPが、
(数学だけでなく)英語も不勉強で
”all … but …”を知らんだけ
こんな🐎🦌じゃ、国立大学なんか、到底受かるわけねぇな
677:132人目の素数さん
20/09/24 17:18:16.34 vInmwnby.net
>>584
>"all of the variables but v_i …"
>なんか、和文の意味が取れないと思ったら、誤訳かね
>「vi を除くすべての変数・・・」は、意味逆じゃね?
「vi を除くすべての変数・・・」で合ってるよ。
このbutは「~以外の」という意味の前置詞な。butは接続詞のみと思ったら間違い。
678:132人目の素数さん
20/09/24 18:54:48.44 SCQzjZ4+.net
大阪符内大学学部別偏差値一覧
URLリンク(www.univ-library.com)
より詳細に
大阪符内大学学科別偏差値一覧
URLリンク(www.minkou.jp)
679:現代数学の系譜 雑談
20/09/24 20:15:42.68 TqvS6Yz8.net
>>591
ご苦労さん(^^
680:現代数学の系譜 雑談
20/09/24 20:28:17.23 TqvS6Yz8.net
>>587
(引用開始)
>では、内積はテンソルか?ww
ええ、内積も、行列式同様、テンソルですが、何か?
(完)
(引用終り)
へへー
「内積も、行列式同様、テンソルです」か
強弁・詭弁も、ここまでくれば、立派なもの
真の数学とはほど遠いけどなw(^^
ソフィスト:(古代ギリシャ)政治的成功を望む人間は大衆に自己の主張を信じさせる能力を必要とした。そのためには、自信たっぷりに物事を語ることで人々を納得させ、支持を取り付けるものとしての話術の習得が必須であった
とあるな
面白い(^^;
(参考)
URLリンク(ja.wikipedia.org)
ソフィスト
ソフィスト(英: Sophist, 古希: Σοφιστ??, Sophist?s, ソピステース)は、紀元前5世紀ごろ、すなわちペルシア戦争後からペロポネソス戦争ごろにかけて、主にギリシアのアテナイを中心に活動した、金銭を受け取って徳を教えるとされた弁論家・教育家の総称。
ギリシア語に忠実な読みはソピステースである。語源としては「賢くする」を意味する動詞「ソピゾー」(σοφ?ζω)から作られた名詞であり、「賢くする人」「智が働くようにしてくれる人」「教えてくれる人」といった意味がある。代表的なソフィストに、プロタゴラス、ヒッピアス、ゴルギアス、プロディコスがいる。彼らの同時代人にソクラテスがいる。
時代背景
ソロンの立法(紀元前594年)、クレイステネスの改革(紀元前507年)を経てアテナイには民主制が形成される。この世界史に初めて登場する民主制は、従来の有力・富裕氏族による独裁を防ぎ、選挙・抽選によって国民(女性・未成年・奴隷を除く)のほとんど全てが政治に関わることを可能とした。
しかし、ペロポネソス戦争の頃から、冷静に政治的判断を行うべき評議会(政務審査会)はその機能を失う。評議会には説得力のある雄弁を用いて言論を支配するデマゴーグ(煽動的民衆指導者)が現れるようになり、戦争期の興奮の中、デマゴーグの誘導によって国策が決められるようになってしまった。
つづく
681:現代数学の系譜 雑談
20/09/24 20:28:40.03 TqvS6Yz8.net
>>593
つづき
そのような社会状況の中で、政治的成功を望む人間は大衆に自己の主張を信じさせる能力を必要とした。そのためには、自信たっぷりに物事を語ることで人々を納得させ、支持を取り付けるものとしての話術の習得が必須であった。ここに、大金を出して雄弁の技術を身につけようとする者と、それを教えるとするソフィストの関係が成り立つこととなった。
URLリンク(ja.wikipedia.org)
詭弁
詭弁(詭辯、きべん、希: σοφιστικ?、英: sophism)とは、主に説得を目的として、命題の証明の際に、実際には誤っている論理展開が用いられている推論。誤っていることを正しいと思わせるように仕向けた議論。奇弁、危弁とも。意図的ではない誤謬は異なる概念。
歴史
「詭弁」という語は、『史記』に見ることができる。 「屈原賈生列伝」で「設詭辯於懐王之寵姫鄭袖(詭弁を懐王の寵姫鄭袖に設く)」との用例がある[8]。 「五宗世家」で「好法律持詭辯以中人(法律を好み詭弁を持して、以て人に中つ)」との用例があり[9]、『史記索隠』は詭弁の語義について「詭誑ノ弁」(あざむき、たぶらかす言葉)と注している。
古代中国の詭弁は学問的な発展につながらなかったが、古代ギリシャの時代には詭弁が飛躍的に発展し後
682:世の論理学の発展へとつながっていった[10]。この時代は、弁舌に長じた哲学者達を多く輩出し、日本語で「詭弁家」とも称されるソフィストを生んだ。 ゼノンやプロタゴラスは紀元前400年以前のギリシアのアテナイなどで活躍し、哲学の分類では名家やソフィストなどを含めて詭弁学派と呼ぶことがある。 ギリシャ、ローマの時代では、為政者、立候補者が高い地位につくために、人心を得る演説をする必要があった。そのためには、正当な弁論術よりも、詭弁、強弁、争論が有用であったため、ソフィストが台頭することとなった[12]。 (引用終り) 以上
683:132人目の素数さん
20/09/24 21:04:13.77 H6sqOdXp.net
>>593
>「内積も、行列式同様、テンソルです」か
ええ
それが真の数学ですが
大学にも入れない🐎🦌には理解できなかったかな?(嘲)
数学はともかく、英語でall butも知らないんじゃねwwwwwww
684:132人目の素数さん
20/09/24 21:56:43.65 H6sqOdXp.net
>>591
◆yH25M02vWFhP は 大阪と大学の間の2文字を省略したらしいw
ちなみにもっとも偏差値の低い大阪**大学のシラバスを確認したが
代数学1~3で線型代数をやるらしい
1はベクトルと行列(正則行列、逆行列)と一次変換で終わってしまい
2でやっと行列式、3で固有値をやるらしい
使ってるテキストを調べたが、レビューがボロクソだったには泣けた
教科書くらい分かりやすいものを作れよといいたい
685:132人目の素数さん
20/09/24 22:04:30.89 H6sqOdXp.net
ただの線型代数で四苦八苦してるような大学じゃ
テンソルとか外積代数とかいうだけで最先端とか思ってるだろうし
線型表現なんて出てきた日には白目剥いて泡吹いて卒倒するんじゃないだろか?
686:132人目の素数さん
20/09/24 23:26:33.62 YmbVQKzN.net
>>593
>へへー
>「内積も、行列式同様、テンソルです」か
>強弁・詭弁も、ここまでくれば、立派なもの
>真の数学とはほど遠いけどなw(^^
じゃあテンソルじゃないことを示してみて
687:現代数学の系譜 雑談
20/09/25 07:20:05.53 r08k0jea.net
>>593 補足
>「内積も、行列式同様、テンソルです」か
>強弁・詭弁も、ここまでくれば、立派なもの
説明します(^^
内積とテンソルの違い
”ベクトル解析 物理のかぎしっぽ”の”もういちどだけ内積・外積”にあるよ
内積はテンソル積を使って説明できる
(原文見る方が、良いです。この板ではテンソル積(丸にxが入った)が書けないので◯xで代用しているし、添え字(上付き、下付き)も不便なので視認性が悪いから)
要するに、内積はテンソル積を使って説明できるが、テンソルではない
テンソル:私達は,最初にそのままベクトルを掛け合わせ,そこに独特のルールを課することで内積と外積を分離しましたが,何も分離しないで,そのままテンソル積 ◯x の形で考えることもできます.このようにして出てきた量は,テンソルと呼ばれます.
ってあるよ
関連のところも、引用しておいたので見て下さい
”テンソルの概念”、”多重線形性とテンソル空間”などもご参照
(”ベクトル解析 物理のかぎしっぽ”は、よく書けていると思うので、興味のある人は他の箇所も読んでおくといいです(^^ )
(なお、”注 たまに,テンソルのことを行列だと勘違いしている人に遭遇します”とか、”注 ベクトルの集合は ベクトル空間 と呼ばれる代数構造を持ちますが,ベクトルの元同士に適切な乗法を定義したベクトル空間を代数と呼びます.代数と言うと,代数学の意味もありますから紛らわしいですが,数学者は乗法の定義されたベクトル空間を代数と呼んでしまっても混乱しないようです.テンソル積によってベクトル空間から生成される代数は テンソル代数 と呼ばれます.”とかも(^^; )
(参考)
URLリンク(hooktail.org)
ベクトル解析 物理のかぎしっぽ
URLリンク(hooktail.sub.jp)
もういちどだけ内積・外積
(抜粋)
ベクトルの掛け算(テンソル積)
{A}=a^1{e_1}+a^2{e_2}+a^3{e_3}
{B}=b^1{e_1}+b^2{e_2}+b^3{e_3}
つづく
688:現代数学の系譜 雑談
20/09/25 07:20:39.72 r08k0jea.net
>>599
つづき
{A}◯x {B}
=(a^1{e_1}+a^2{e_2}+a^3{e_3})◯x (b^1{e_1}+b^2{e_2}+b^3{e_3})
=a^1b^1{e_1}◯x {e_1}+a^1b^2{e_1}◯x {e_2}+a^1b^3{e_1}◯x {e_3}
+a^2b^1{e_2}◯x {e_1}+a^2b^2{e_2}◯x {e_2}+a^2b^3{e_2}◯x {e_3}
+a^3b^1{e_3}◯x {e_1}+a^3b^2{e_3}◯x {e_2}+a^3b^3{e_3}◯x {e_3} (1)
内積
基底の積 {e_i}◯x {e_j} に関して,次のようなルールを決めることにします.
もし i=j ならば, {e_i}◯x {e_i} =1 とする.
もし i ≠ j ならば, {e_i}◯x {e_j} =0 とする.
すると式 (1) は次のようになります.
{A}◯x {B}
=a^1b^1{e_1}◯x {e_1}+a^2b^2{e_2}◯x {e_2}+a^3b^3{e_3}◯x {e_3}
=a^1b^1+a^2b^2+a^3b^3
このルール 1 ~ 2 を導入する場合は,特に ◯x の代わりに ・ と書くことにしましょう.
{A}・ {B}=a^1b^1+a^2b^2+a^3b^3
これはご存知の通り,内積に他なりません.
考察
内積
式 (1) で行った掛け算にはちゃんと名前がついていて,実はテンソル積と言います.テンソル積に対し,特別にルールを課すと,内積と外積という掛け算を作ることを見ました.基底の積が {e_1}◯x {e_1} のように同じ基底の積になっているものだけを内積と呼び,同様に {e_1}◯x {e_2} のように異なる基底の積になっているものを外積と呼びましたが,テンソル積の成分を次のように行列で書くと,テンソル積成分のうちどこが内積部分と外積部分に相当するのかがよく分かります.
つづく
689:現代数学の系譜 雑談
20/09/25 07:21:38.88 r08k0jea.net
>>600
つづき
テンソル
私達は,最初にそのままベクトルを掛け合わせ,そこに独特のルールを課することで内積と外積を分離しましたが,何も分離しないで,そのままテンソル積 ◯x の形で考えることもできます.このようにして出てきた量は,テンソルと呼ばれます.
注
たまに,テンソルのことを行列だと勘違いしている人に遭遇します.この勘違いは恐らく,物理学や工学に出てくるテンソルの多くが二階のテンソルで,式 (2) の行列形でいきなり教科書に紹介されることに原因していると思われます.式 (1) のように基底に着目し,ベクトルを拡張したものがテンソルだということが分かっていれば,テンソルを単なる行列だと勘違いすることは無いでしょうし,三階以上のテンソル成分を行列で表わそうと思ったら少し工夫が必要だということも察せられるでしょう.
このあと テンソルの概念 では,テンソル成分が座標変換の際に満たすべき関係式を使ってテンソルを定義します.テンソルは結構奥の深い分野ですから,それだけで色々楽しめると思います.
注
ベクトルの集合は ベクトル空間 と呼ばれる代数構造を持ちますが,ベクトルの元同士に適切な乗法を定義したベクトル空間を代数と呼びます.代数と言うと,代数学の意味もありますから紛らわしいですが,数学者は乗法の定義されたベクトル空間を代数と呼んでしまっても混乱しないようです.テンソル積によってベクトル空間から生成される代数は テンソル代数 と呼ばれます.
つづく
690:現代数学の系譜 雑談
20/09/25 07:21:57.77 r08k0jea.net
>>601
つづき
URLリンク(hooktail.sub.jp)
テンソルの概念
URLリンク(hooktail.sub.jp)
多重線形性とテンソル空間
(抜粋)
ここまで勉強したことを少しおさらいしておきましょう.ベクトル空間 V とその双対空間 V^{*} という考え方がベクトル代数に出てきましたが,そこで考えた線形性を二変数関数にまで拡張し,双線形性という性質を考えることで,新たにベクトル空間 V ◯x V = L_2(V^{*}) という概念に到達しました.そして, V ◯x V の元は,私達が今まで考えてきた二階のテンソルであることを確認しました.
同様にして,多変数関数に対して多重線形性という性質を考えることで,さらに高次のベクトル空間 V ◯x V ◯x ・ ・ ・ ◯x V= L_{n}(V^{*}) を考えることが出来ます.このようにして生成したベクトル空間を,一般には テンソル空間 と呼び,記号 ◯x をテンソル積と呼ぶのでした.
(引用終り)
以上
691:現代数学の系譜 雑談
20/09/25 15:44:36.35 gn+8iQGQ.net
>>593 補足
>「内積も、行列式同様、テンソルです」か
>強弁・詭弁も、ここまでくれば、立派なもの
「行列式」について
「外積代数」:
”線型代数学において外積は、線型変換の行列式や小行列式を記述する基底の取り方に依存しない抽象代数的な仕方を提供し”
とあるけど
外積はテンソルとは違うよね
外積の記述
”5 交代テンソル代数
しかしこれはテンソル積とは異なる乗法”って書かれていますよね~(^^
(参考)
URLリンク(ja.wikipedia.org)
外積代数
ベクトルの外積(がいせき、英語: exterior product)あるいは楔積(くさびせき、ウェッジ積、英語: wedge product)はクロス積をある特定の性質に着目して、より高
692:次元の場合へ一般化する代数的な構成である。クロス積やスカラー三重積のようにベクトル同士の外積はユークリッド幾何学において面積や体積およびそれらの高次元における類似物の研究に用いられる。線型代数学において外積は、線型変換の行列式や小行列式を記述する基底の取り方に依存しない抽象代数的な仕方を提供し、階数や線型独立性といった概念に根本的に関係してくる。 外積代数(がいせきだいすう、英語: exterior algebra)は、ヘルマン・グラスマンに因んでグラスマン代数(グラスマンだいすう、英語: Grassmann algebra)[1]としても知られ、与えられた体 K 上のベクトル空間 V 上の外積によって生成される多元環である。多重線型代数やその関連分野と同様に、微分形式の成す多元環を通じて現代幾何学、特に微分幾何学と代数幾何学において広く用いられる。 つづく
693:現代数学の系譜 雑談
20/09/25 15:45:04.65 gn+8iQGQ.net
>>603
つづき
形式的には、外積代数は ?(V) あるいは ?*(V) で表され、V を線型部分空間として含む、外積あるいは楔積と呼ばれる ∧ で表される乗法を持つ、体 K 上の単位的結合代数である。外積は結合的で双線型な乗法
∧ : ∧ (V) x ∧ (V) → ∧ (V);(α ,β )→ α ∧ β
であり、V 上の交代性
(1) 任意の v∈ V に対して v∧ v=0
を持つものである。これは以下の性質
(2) 任意の u,v∈ V に対して u∧ v=-v∧ u
(3) v_1,・・・ ,v_k∈ V が一次従属ならば v_1∧ v_2∧ ・・・ ∧ v_k=0
を特別の場合として含む[2]。
圏論の言葉で言えば、外積代数は普遍構成によって与えられる、ベクトル空間の圏上の函手の典型である。この普遍構成によって、体上のベクトル空間だけに限らず、可換環上の加群やもっとほかの興味ある構造にたいしても外積代数を定義することができる。外積代数は双代数のひとつの例である。つまり、外積代数の(ベクトル空間としての)双対空間にも乗法が定義され、その双対的な乗法が楔積と両立する。この双対代数は特に V 上の重線型形式全体の成す多元環で、外積代数とその双対代数との双対性は内積によって与えられる。
5 交代テンソル代数
しかしこれはテンソル積とは異なる乗法であって、Alt の核がちょうど両側イデアル I に一致して(K は標数 0 だと仮定している)、自然な同型
A(V)=~ ∧ (V)
が存在する。
7 歴史
(引用終り)
以上
694:132人目の素数さん
20/09/25 17:45:19.65 odtDyxBa.net
>>599
>内積はテンソル積を使って説明できる
然り
>…が、テンソルではない
否
>>603
>交代テンソル代数
>これはテンソル積とは異なる乗法
然り
>外積はテンソルとは違うよね
否
以下で明らかになように
「反変ベクトルのテンソル積からスカラーへの線型写像」
であるので共変テンソルである
もういちどだけ内積・外積
URLリンク(hooktail.sub.jp)
「内積
基底の積 ei ○x ej に関して,次のようなルールを決めることにします.
もし i=j ならば, ei ○x ei =1 とする.
もし i=/=j ならば, ei ○x ej =0 とする.」
「外積
今度は,次のようなルールを導入してみましょう.
ei ○x ej =-ej ○x ei とする.
(もし i=j ならば, ei ○x ei=- ei ○x ei なので、左辺右辺とも0)」
(注:元のHPの記述がダサいのでスマートに修正)
ここで、外積について
「n次元のとき e1 ○x ・・・ ○x en = 1」
とすれば、n×nの行列式の定義ができる
つまり、反変ベクトルのテンソル積の各基底に対して
スカラーを割り付けるだけなので、共変テンソル
◆yH25M02vWFhP、引用したHPで自説を真正面から否定され自爆
695:132人目の素数さん
20/09/25 19:48:58.10 CLji2EFp.net
>◆yH25M02vWFhP、引用したHPで自説を真正面から否定され自爆
わろたw
696:現代数学の系譜 雑談
20/09/25 20:56:27.01 r08k0jea.net
>>605-606
時枝でもサルは二匹居たけど
チンパンジー並みの知能が二匹なのか
はたまた、低脳が二つのIDを使い分けているのかしらないが
「行列式はテンソルです」(>>576)
「内積も、行列式同様、テンソルです」(>>593)
か
チンパンジー並みの知能が二匹なのか
はたまた、低脳が二つのIDを使い分けているのかしらないが
そんなことを書いている数学教科書および論文皆無
みんな、呆れているぜw(^^;
697:現代数学の系譜 雑談
20/09/25 21:12:38.66 r08k0jea.net
「行列式はテンソルです」(>>576)
「内積も、行列式同様、テンソルです」(>>593)
か
698:こんなん、時枝以上に勝負は明白 チンパンジーに賛同する数学徒ゼロ 別に、こちらが百万言を労して説明する必要なしだが 面白いから じわじわやるかなw(^^; しかし、無知無理解も、ここに極まれりか なるほど 数学科でオチコボレるはずだわな なんにも数学分かってないんかいww(^^;
699:132人目の素数さん
20/09/25 21:16:15.14 odtDyxBa.net
>>607
>「行列式はテンソルです」
>「内積も、行列式同様、テンソルです」
>そんなことを書いている数学教科書および論文皆無
いや、どの教科書にも書いてあるけど
ニワトリ並の知能の◆yH25M02vWFhPには読み取れないだけ
ここはトリの来るとこじゃない
700:132人目の素数さん
20/09/25 21:22:01.22 odtDyxBa.net
>>608
>こちらが百万言を労して説明する必要なし
そもそも◆yH25M02vWFhPが引用したHPが
内積も行列式も共変テンソルである決定的証拠
>>605で、◆yH25M02vWFhP、自爆死
しかし自分が死んだことにも気づかぬありさま
シロウトって哀れだね・・・
701:現代数学の系譜 雑談
20/09/25 23:35:45.18 r08k0jea.net
>>608 補足
下記、テンソルの概念に、「ベクトルは一階のテンソル」とある
内積はご存知二つのベクトルのスカラー積です
この文脈で、「内積も、行列式同様、テンソルです」(>>593)とかなればさ
あらら、「内積も、ベクトルです」とかなってよw、それワケワカだわなw(^^;
(参考)
URLリンク(hooktail.sub.jp)
テンソルの概念
添字の数が 2 なので,計量テンソルは 二階のテンソル という種類になります.実は スカラーは零階のテンソル , ベクトルは一階のテンソル なのです.
702:132人目の素数さん
20/09/26 08:33:32.51 yzp/rGwK.net
>>611
>「ベクトルは一階のテンソル」
>内積はご存知二つのベクトルのスカラー積
>この文脈で、「内積も、行列式同様、テンソルです」とかなれば
>「内積も、ベクトルです」とかなって
なにワケワカランこといってんだ? この🐎🦌
スカラーは0階のテンソル
ベクトルは1階のテンソル
そして2階以上のテンソルは、
スカラーでもベクトルでもない
内積は、「2階の」「共変」「対称」テンソルだぞ
2階わかってるか?
共変わかってるか?
対称わかってるか?
ついでにいうと、(n×nの)行列式は
「n階の」「共変」「反対称」テンソルだぞ
n階わかってるか?
共変わかってるか?
反対称わかってるか?
703:132人目の素数さん
20/09/26 08:42:08.92 yzp/rGwK.net
シロウトがつまづく石 その1
・ベクトルn個のテンソル積は、n階テンソル
・一方任意のn階テンソルが、ベクトルn個のテンソル積に分解できるわけではない
なぜか?
ベクトルがd次元だとする
・n階テンソルの次元はd^n
・一方 n個のベクトルの直積の次元はndで、
dが2以上、nが2以上で、d=2、n=2以外なら nd<d^n
したがってベクトルのテンソル積で表せないテンソルが存在する
704:現代数学の系譜 雑談
20/09/26 08:45:53.31 l8trEkrZ.net
これいいね
分り易いね
URLリンク(ibis.t.u-tokyo.ac.jp)
社会人向け講座「データ分析者養成コース」
機械学習技術とその数理基盤
(第2部)
鈴木大慈
東京大学大学院情報理工学系研究科数理情報学専攻
理研AIP
2018年4月4日/4月18日
P63
深層学習の脆さ
少し作為的ノイズを入れ
ただけでパンダをテナガ
ザルと間違える.
しかもかなり強い自信を
もって間違える.
[Szegedy et al.: Intriguing properties of neural networks. ICLR2014.]
標識をハックすることで誤認識を誘発.
「STOP」を「スピード制限時速45mile」と誤認識
[Evtimov et al.: Robust Physical-World Attacks on Machine Learning Models. 201
705:7] 深層学習の信頼性評価はまだ難しい
706:現代数学の系譜 雑談
20/09/26 08:48:27.57 l8trEkrZ.net
>>612-613
(引用開始)
内積は、「2階の」「共変」「対称」テンソルだぞ
2階わかってるか?
ついでにいうと、(n×nの)行列式は
「n階の」「共変」「反対称」テンソルだぞ
n階わかってるか?
(引用終り)
”n階”の数学的定義は?www(^^
707:132人目の素数さん
20/09/26 08:52:29.42 yzp/rGwK.net
シロウトがつまづく石 その2
反変と共変の違いが分かってない
反変ベクトルが普通のベクトルだとすると
・共変ベクトルは反変ベクトルからスカラーへの線形写像
そして
・反変ベクトルは共変ベクトルからスカラーへの線形写像
と同一視できる(ここ、重要!!!)
上記を踏まえた上で
・n階共変テンソルは、n個の反変ベクトルからスカラーへのn重線型変換
・n階反変テンソルは、n個の共変ベクトルからスカラーへのn重線型変換
(注:”n個の反変ベクトルのテンソル積全体”としないのは、
線型空間にならないから)
で、実は同値であるが(問:証明せよ)
・n階共変テンソルは、n階反変テンソルからスカラーへの線型写像
・n階反変テンソルは、n階共変テンソルからスカラーへの線型写像
708:132人目の素数さん
20/09/26 09:12:32.24 yzp/rGwK.net
>>599-602のリンクのHPの記載を見れば
内積も行列式も
(”複数の反変ベクトルのテンソル積”を包含する)反変テンソルから
スカラーへの線型写像になっている、とわかる
したがって共変テンソルである
(もちろん、もとの
”複数の反変ベクトルからスカラーへの多重線型写像”
の定義でも共変テンソルだが)
709:現代数学の系譜 雑談
20/09/26 10:16:56.41 l8trEkrZ.net
>>616-617
”n階”の数学的定義は?wwww(^^
710:現代数学の系譜 雑談
20/09/26 10:37:56.07 l8trEkrZ.net
>>>612-613 & >>616-617
”n階”の数学的定義は?wwwww(^^
(>>608より)
「行列式はテンソルです」(>>576)
「内積も、行列式同様、テンソルです」(>>593)
か
こんなん、時枝以上に勝負は明白
チンパンジーに賛同する数学徒ゼロ
別に、こちらが百万言を労して説明する必要なしだ
(引用終り)
「行列式はテンソルです」(>>576)
「内積も、行列式同様、テンソルです」(>>593)
か
ばかサルが、屁理屈こね回して、
失言を正当化しようと、悶絶している
笑える
いくら屁理屈こね回しても
「行列式はテンソルです」(>>576)
「内積も、行列式同様、テンソルです」(>>593)
なんて、アホとしか言いようがないぜ