現代数学の系譜工学物理雑談古典ガロア理論も読む73

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む73 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

861: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/07/31(水) 09:59:42.54 ID:/g9to0os

>>860
問答無用！ｗ（＾＾；

（>>851より）
下記の通り「時枝の手法では、あるD∈Nがあって、XDは確率1−ε（例えば99/100など）で、実数値rDを取るという」だから
「Dが一定」である必要なし！
(>>829より）
１）独立同分布(IID)を仮定しよう。具体的に、コイントスで、{0,1}を入れた（>>812）
　可算無限個の確率変数の族X1,X2,・・・（時枝記事後半にある通り）
　で任意のi∈Nで、Xiは確率1/2で、0か1かの値を取る
２）ところが、時枝の手法では、あるD∈Nがあって、XDは確率1−ε（例えば99/100など）で、実数値rDを取るという
　これは矛盾である（>>812）
３）独立同分布(IID)を仮定した瞬間、これで終りでしょｗ（＾＾
これには、全部裏付けがあるよ(下記)
>>465 >>474 >>479
（過去なんども繰り返し述べてきた通りだが、確率過程論の知識がないと、時枝不成立がなかなか理解できないのだろう）

>必ずXD=rD

(>>831より)
時枝の設定は、次の通り
スレ20 https://rio2016.5ch.net/test/read.cgi/math/1512046472/18-
(抜粋)
過去スレ20 再録 http://rio2016.2ch.net/test/read.cgi/math/1466279209/2-7
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
・・・・
列r のD番目の実数r(D)を見て， 「第k列のD番目の箱に入った実数はs^k(D)＝rD」と賭ければ，めでたく確率99/100で勝てる.
確率1-ε で勝てることも明らかであろう.
(引用終り)
ここで、実数値rDは、（-∞，+∞）の範囲をカバー出来ていなければ、的中確率99/100など得られない
だが、コイントスのIID ２値{0,1}のみとは、真っ向矛盾している
コイントスのIID ２値{0,1}のみを仮定すれば、実数値rDで的中確率99/100など得られるはずがない！

「必ずXD=rD」というが、例えばrD=e^π 又はrD=πなどの実数値（上記時枝記事記載の通り）では、コイントスの２値{0,1}は的中できるはずがない！！（＾＾
QED

http://rio2016.5ch.net/test/read.cgi/math/1563282025/861

867: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/07/31(水) 12:12:34.00 ID:/g9to0os

>>863
哀れな素人さん、どうもスレ主です。

> 0.33333……≠1/3の証明を僕は挙げているのに、
>お前はそれについてちっとも考えようとせず、
>定義の問題だと考えている（笑

" 0.33333……≠1/3の証明"は、>>803ですね
それも分かりますが、現代数学では、「一点コンパクト化」（下記）で、自然数を拡張して
" 0.33333……＝1/3”を理解します（多分（＾＾； ）

小学生や高校生向きではないですがｗ（＾＾
利口過ぎる小学生や高校生は、哀れな素人さんのように考えるかも知れませんね（＾＾；

https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E5%8C%96
コンパクト化
(抜粋)
コンパクト化は数学の一分野である位相空間論の概念である

目次
1 概要
2 基本事項
3 アレクサンドロフの一点コンパクト化

概要
位相空間X のコンパクト化とは、X をコンパクトな位相空間に稠密に埋め込む操作を指す。X を数学的に取り扱いやすいコンパクトな空間へ埋め込むと、X の性質を調べやすくする事ができる。

実応用上、こうした「付け加えた点」（すなわち  K＼i(X)の点）は直観的には無限の彼方にあるとみなせるケースが多いので、  K＼i(X) をコンパクト化  (K,i) の無限遠境界といい、無限遠境界上の点を無限遠点という事がある。

X をコンパクト化する方法は一意とは限らず、複数のコンパクト化の方法がある事がある。したがって実用上はX の構造を保つなど、X の性質が調べやすくなるコンパクト化の方法を選ぶ必要がある

著名なコンパクト化の方法として、アレクサンドロフの一点コンパクト化とストーン・チェックのコンパクト化という両極端なものがある。前者はその名の通り、１点付け加えるだけで（コンパクトでない）任意の空間X をコンパクト化する方法である。これはいわば「最小の」コンパクト化

一点コンパクト化の例
・n次元ユークリッド空間 {R} ^{n} の一点コンパクト化は、n次元球面   {S} ^{n} と同相である。特にリーマン球面 {C}^ は複素平面   {C} の一点コンパクト化として与えられる。
・自然数全体（離散位相）   {N}  の一点コンパクト化は   {N} に最大元 ω を付け加えた順序集合   {N} ∪ ω の順序位相と同相になる。

http://rio2016.5ch.net/test/read.cgi/math/1563282025/867

872: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/07/31(水) 14:09:02.49 ID:/g9to0os

>>869
>お前は依然として、定義次第でどう解釈しても良い、
>というふうに考えている。

現代数学をきちんと学べば、数学は公理と定義をどう設定するかで、大きく異なることが分かります
（下記の「構成主義」（含む有限主義）ご参照）

なお、無限小数を認めない立場を取ると、「円周率 πは、有限小数か？」という話しになって
それは、結構問題が大きい。「円周率 πは無限小数！」としないと、いろんな数学公式が成り立たない
（下記、数学リメディアル教材 西田 顕郎 筑波大学 P3 よくある質問 3 ご参照）

例えば、オイラーの公式 e^(iθ)＝cosθ+isinθ（下記） もだめだろうし
三角関数の扱いも大変になるし
なので、「無限小数を認めましょう」というのが、現在の多くの人の立場だと思いますよ（＾＾
（構成主義も認めつつ）

http://pen.envr.tsukuba.ac.jp/~nishida/math_remedial.pdf
数学リメディアル教材 西田 顕郎 筑波大学
筑波大学生物資源学類
平成 31 年度（2019/02/18 改訂版）

P3
よくある質問 3 定義と公理の違いがわかりません... ほぼ同
じです。強いて言えば, 公理の方が大げさな感じです。

さて, 驚くべきことに, ひとつの事柄の定義は, ひとつ
とは限らず, 場合によっては, 複数ありえるのだ。例え
ば円周率 π は, 「円周の長さをその円の直径で割ったも
の」と定義するのが普通だが,
π = 4 ×(1/1?1/3+1/5?1/7+ ・ ・ ・ )
というふうに,「奇数の逆数に, 正負交互に符号をつけて
無限に足し合わせ, 最後に 4 倍したもの」とも定義でき
るのだ! これはだいぶ先の大学の数学でないと理解でき
ないから, 今はわからなくても OK(気になる人は P.151
参照)。これを π と定義すれば, それが「円周の長さをそ
の円の直径で割ったもの」に等しいということが数学的
に証明でき, そのことは定理となるのだ。

http://pen.envr.tsukuba.ac.jp/~nishida/
奈佐原（西田）顕郎 (Kenlo Nishida NASAHARA)
筑波大学　生命環境系　准教授（2008/11/01-）
http://pen.envr.tsukuba.ac.jp/~nishida/fig/2011_0517_Nasahara.jpg

つづく

http://rio2016.5ch.net/test/read.cgi/math/1563282025/872

879: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/07/31(水) 17:06:49.27 ID:/g9to0os

メモ
https://www.itmedia.co.jp/news/articles/1907/30/news030.html
「量子コンピュータとは何か」を問う“新たな壁”：
「量子理論の副産物に過ぎなかった」──東芝の「量子コンピュータより速いアルゴリズム」誕生秘話 (1/5)
2019年07月30日 [井上輝一，ITmedia]

米Googleと米航空宇宙局（NASA）が2015年に「従来のコンピュータより1億倍速い」と評した量子アニーラ「D-Wave」を作るカナダD-Wave Systems、量子アニーリングを模したアルゴリズムをデジタル回路上に再現する富士通と日立、光を用いて解く「コヒーレント・イジングマシン」を作るNTTの研究グループなどだ。IBMなどが作る「量子ゲート方式」の量子コンピュータを用いた組合せ最適化計算の研究も盛んだ。

各社が組合せ最適化計算に取り組むのは、これを高速に解けると交通渋滞の解消や金融ポートフォリオの最適化など、社会問題の解決やビジネスへ応用が見込めるからだ。

そんな中、他社の計算性能を上回るアルゴリズムを東芝の研究者が開発した。専用マシンを必要とせず、家庭向けのPCに搭載される「GPU」でも高速に計算できるという。

東芝は4月に、同アルゴリズムを搭載したFPGA（プログラミング可能な集積回路）による計算で、それまで最速だったコヒーレント・イジングマシンを上回る計算性能を発揮したとする論文を発表した。
https://www.itmedia.co.jp/news/articles/1904/22/news097.html

もともとは量子コンピュータ理論の「副産物」

後藤さんは、東京大学で大学院まで物理学を学んだ後、東芝で量子コンピュータや量子光学を専門に研究してきた。

後藤さんは2016年に、「量子分岐マシン」と名付けた量子コンピュータの理論を発表した。これは量子アニーリングと同様に、組合せ最適化問題を表す「イジングモデル」を解くマシンだが、「汎用量子コンピュータ」の動作原理である量子ゲート計算にも応用できるという。しかし、この新型量子コンピュータには特殊な素子を用いなければならず、既存の量子ビットとも異なるためにまだ開発途上だ。

この古典分岐マシンの理論こそ、量子コンピュータより速いという「シミュレーテッド分岐アルゴリズム」の原型である。

後藤さんの研究結果は、量子コンピュータ研究が越えていかねばならない壁を大きく引き上げたことになりそうだ。

http://rio2016.5ch.net/test/read.cgi/math/1563282025/879

884: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/07/31(水) 17:58:04.46 ID:/g9to0os

>>883 補足

昔は、宇宙人説もあったね（＾＾；
https://ja.wikipedia.org/wiki/%E3%83%84%E3%83%B3%E3%82%B0%E3%83%BC%E3%82%B9%E3%82%AB%E5%A4%A7%E7%88%86%E7%99%BA
ツングースカ大爆発
(抜粋)
https://upload.wikimedia.org/wikipedia/commons/thumb/e/ed/Tunguska_Ereignis.jpg/375px-Tunguska_Ereignis.jpg

概要
落下した隕石が大気中で爆発したために、強烈な空振が発生し半径約30-50kmにわたって森林が炎上し、約2,150平方キロメートル[4]の範囲の樹木がなぎ倒された。1,000km離れた家の窓ガラスも割れた。爆発によって生じたキノコ雲は数百km離れた場所からも目撃された。
イルクーツクでは衝撃による地震が観測された[5]。 爆発から数夜に渡ってアジアおよびヨーロッパにおいても夜空は明るく輝き、ロンドンでは真夜中に人工灯火なしに新聞を読めるほどであった[6][7]。 地面の破壊規模から見て爆発した「物体」の大きさは当初3mから70mと推定された[5]。

近くに村落がなかったため、死者は報告されていない。一時、死者1名と報告されたが誤報であった。ただし非常に僻地であるため、発見されなかった犠牲者がいた可能性もある[8]。破壊力はTNT火薬にして5-15メガトンと考えられていたが、後ほど5メガトン程と訂正された[1]。

2007年、米サンディア国立研究所の研究チームが、スーパーコンピューターを使った解析による検討を発表した。解析によると、隕石自体は従来考えられたサイズより小型であり、広範囲の被害は大気中でのエアバーストが原因とされた[1]。

2013年、ウクライナ、ドイツ、米国の科学者のグループが、当時の泥炭の地層より、隕石を構成していたと見られる鉱物を検出した。これによって爆発は隕石が原因だったと特定された。

http://rio2016.5ch.net/test/read.cgi/math/1563282025/884

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.036s