18/12/07 22:00:09.00 5lSIzJwz.net
間抜けなスレ主が・・・
452:１３２人目の素数さん
18/12/08 00:16:18.24 gBY/bObG.net
スレ主のバカ歴史のまとめサイトはないの？
453:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 08:09:19.89 bIDCQoJi.net
>>403-404
おっちゃん、どうも、スレ主です。
おっちゃん、悪かった
謝るよ
おっちゃんを、みんなと同じレベルだなんて（＾＾
454:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 08:10:25.46 bIDCQoJi.net
>>25>>57>>111に書いた通り」
これ、一段落したので、しばらく時枝記事関連のカキコはスルーします（＾＾
皆さん、「超函数の理論I 第２章 層 伊東由文 PDF」 を読みましょう
（ URLﾘﾝｸ(wwwa.pikara.ne.jp) 超函数の理論I 第２章 層 伊東由文）(>>397より)
つづく
455:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 08:13:55.46 bIDCQoJi.net
>>415
つづき
えーと、あと
１）まず、時枝記事の再録します（下記）
(引用開始)
（スレ47 ｽﾚﾘﾝｸ(math板:18番)-27
特に スレ47 ｽﾚﾘﾝｸ(math板:21番)-22
21 自分返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2017/11/30(木) 22:08:43.55 ID:IqNIthYM [21/76]
さらに、数学セミナー201511月号P37 時枝記事に、次の一文がある
「R^N/～ の代表系を選んだ箇所で選択公理を使っている.
その結果R^N →R^N/～ の切断は非可測になる.
ここは有
456:名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系， 1905年)にそっくりである.」 さらに、過去スレでは引用しなかったが、続いて下記も引用する 「逆に非可測な集合をこさえるには選択公理が要る(ソロヴェイ， 1970年)から，この戦略はふしぎどころか標準的とさえいえるかもしれない. しかし，選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う. 現代数学の形式内では確率は測度論によって解釈されるゆえ，測度論は確率の基礎， と数学者は信じがちだ. だが，測度論的解釈がカノニカル， という証拠はないのだし，そもそも形式すなわち基礎， というのも早計だろう. 確率は数学を越えて広がる生き物なのである(数学に飼いならされた部分が最も御しやすいけれど).」 (引用終り)） 22 自分返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2017/11/30(木) 22:09:12.61 ID:IqNIthYM [22/76] 数学セミナー201511月号P37 時枝記事より 「もうちょっと面白いのは，独立性に関する反省だと思う. 確率の中心的対象は，独立な確率変数の無限族 X1，X2，X3，…である. いったい無限を扱うには， (1)無限を直接扱う， (2)有限の極限として間接に扱う， 二つの方針が可能である. つづく
457:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 08:14:29.37 bIDCQoJi.net
>>416
つづき
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)
しかし，素朴に，無限族を直接扱えないのか?
扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切もらえないのだから.
勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる.
ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい.」
(引用終り)
つづく
458:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 08:15:00.75 bIDCQoJi.net
>>417
つづき
２）さて、時枝記事は、前半は数当ての解法についてだが
後半で、論点を二つあげている（当然ここが、時枝記事のキモだ）
１．非可測集合を経由していること
２．（現代数学は）”素朴に，独立な確率変数の無限族（X1，X2，X3，…）を直接扱えない”
つづく
459:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 08:15:29.05 bIDCQoJi.net
>>418
つづき
３）非可測集合を経由していることの言い訳は、「非可測集合を経由したからお手つき， と片付けるのは，面白くない」で終わっている。つまり、数学としての証明なし！
（スレ20 ｽﾚﾘﾝｸ(math板:519番)
519 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 22:27:11.14 ID:f9oaWn8A [4/13]
(抜粋)
X=(X_1,X_2,…)をR値の独立な確率変数とする．
時枝さんのやっていることは
無限列x=(x_1,x_2,…)から定められた方法によって一つの実数f(x)を求める．
無限列x=(x_1,x_2,…）から定められた方法によって一つの自然数g(x)を求める．
P(f(X)=X_{g(X)})=99/100
ということだが，それの証明ってあるかな？
100個中99個だから99/100としか言ってるようにしか見えないけど．
(引用終り)）
つづく
460:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 08:16:05.90 bIDCQoJi.net
つづき
４）「（現代数学は）”確率の中心的対象，
X1，X2，X3，…，独立な確率変数の無限族（X1，X2，X3，…）を直接扱えない”」については、
下記、「確率変数の独立性というのは，可算族に対しては(1)も(2)も同値となるので，
”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが，これは全くの的外れ」を引用しておく
（(引用開始)
20 ｽﾚﾘﾝｸ(math板:538番)
461: (抜粋) 538 返信：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:54:57.90 ID:f9oaWn8A [13/13] うーん，正直時枝氏が確率論に対してあまり詳しくないと結論せざるを得ないな >確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ. の認識が少しまずい． 任意有限部分族が独立とは P(∀i=1,…n,X_i∈A_i)=Π[i=1,n]P(X_i∈A_i)ということだけど これからP(∀i∈N,X_i∈A_i)=Π[i=1,∞]P(X_i)が成立する（∵n→∞とすればよい） これがきっと時枝氏のいう無限族が直接独立ということだろう． ということは(2)から(1)が導かれてしまったので， 「(1)という強い仮定をしたら勝つ戦略なんてあるはずがない」時枝氏の主張ははっきり言ってナンセンス 確率変数の独立性というのは，可算族に対しては(1)も(2)も同値となるので， ”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが，これは全くの的外れ (引用終り)） 以上 つづく
462:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 08:16:41.53 bIDCQoJi.net
>>420
つづき
追記
時枝先生自身が、かれの記事の前半の解法について、疑問を呈している
あなた方、そこをスルーしても、ダメダメ
１）確率過程論を学べば、「確率の中心的対象，独立な確率変数の無限族 X1，X2，X3，…」を、扱います
そこで、時枝記事の前半の解法不成立が分ります
２）では、なぜ”当たらないのに、当たるように見えるか”について書いたのが
冒頭のカキコ（>>415）です
463:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 08:33:48.65 bIDCQoJi.net
余談だが
「選択公理～！」を魔法の呪文に使っている落ちこぼれ
「選択公理～！」と一言となえれば、オレ様証明が出来上がると勘違いしているみたい
だったら、ツォルンの補題なんていらないぜ
URLﾘﾝｸ(paiotunoowari.hate)<)
学生団体POMB(ポム)は、「数学で広がる、世界がある。」をテーマとして、自主ゼミやイベント企画、Web運営を行っています。
URLﾘﾝｸ(pomb.org)
Zorn の補題と選択公理
神戸大学理学部数学科１回生 吉岡玲音
２０１７年３月
URLﾘﾝｸ(nekodamashi-math.blog.so-net.ne.jp)
第１９回 選択公理と整列可能定理 [集合論入門] ねこ騙し数学 2018-05-08
３ Zornの補題
464:１３２人目の素数さん
18/12/08 08:51:50.65 MWKZqV5M.net
>>415
スレ主が伊東由文の名前をだしたら敗北宣言
そう（層）ですね
465:１３２人目の素数さん
18/12/08 08:55:53.98 MWKZqV5M.net
>>421
＞確率過程論を学べば、
＞「確率の中心的対象，独立な確率変数の無限族 X1，X2，X3，…」
＞を、扱います
これスレ主の妄想ね
確率過程論では、時枝の例のような扱いについて、何も言及してない
スレ主こそこの事実から逃げてはいけないね
466:１３２人目の素数さん
18/12/08 08:58:23.43 MWKZqV5M.net
>>422
スレ主は、以前、整列定理は当然成立、みたいなことをいってたが
実数の全要素が１つづつ並べられた時に「不都合」が生じたら
「どうやって実数の要素が並べられるんだ！」と前言撤回して
発狂する悪寒
467:１３２人目の素数さん
18/12/08 09:02:18.73 MWKZqV5M.net
スレ主が選択公理なしでも発狂する問題
自然数を無作為に１００個選んだ上で
そのうち９９個を公開する
さて隠した１個が、他の９９個より大きい確率は？
スレ主はここで１／１００と答えられない
なぜならそこでそう答えた瞬間
時枝論法が成立するから
468:１３２人目の素数さん
18/12/08 09:04:41.83 MWKZqV5M.net
スレ主が唯一可能？な言い訳
「自然数の無作為抽出は不可能」
理由：測度の可算加法性の定義に反するから
ああ、下らない
469:１３２人目の素数さん
18/12/08 09:09:40.10 MWKZqV5M.net
スレ主は一応大卒らしいが、どうせ工学部なので
大学１年の解析と線形代数くらいしかやってないだろう
電気系なら、大学２年で複素解析くらいやるかもしれんが
どっちにしても、時枝問題が理解できるレベルに達してない
470:１３２人目の素数さん
18/12/08 09:11:44.46 MWKZqV5M.net
スレ主は数学が得意なつもりらしいが、それも大学受験までの話
大学で見事に鼻っ柱を折られて以来、ヤケクソになってる模様
多分大学１年の実数の定義（デデキントの切断・カントルの基本列）が
理解できなかったんだろう
471:１３２人目の素数さん
18/12/08 09:14:14.87 MWKZqV5M.net
スレ主は世間的にはエリートかもしれんが、
この数学板では、数学のスの字も分からんサル扱い
なぜならここでは、数学科卒業レベルが最低線だから
そのレベルに達してない奴は人間とはみなされない
まあ、実際に数学板に書いてる奴らのいかほどが
人間扱いされるかは知るところではないが
472:１３２人目の素数さん
18/12/08 09:17:25.23 MWKZqV5M.net
スレ主がイチャモンをつけた数セミの記事が
「箱入り無数目」のようなチャチなものだった
点からもスレ主の数学理解レベルが分かる
もっと高尚な記事（それこそコホモロジーが出てくるとか）では
イチャモンのつけようもないだろう
命題からして何言ってるのか理解できないから
473:１３２人目の素数さん
18/12/08 09:18:47.07 MWKZqV5M.net
結論：スレ主は数学板一番のピエロ
嫌なら二度とここに書き込まないことだな
474:１３２人目の素数さん
18/12/08 10:06:07.76 Dy9q2lNv.net
>>431
数セミ批判かよ
楽しんで読んでる身としては嫌な気分だわ
475:１３２人目の素数さん
18/12/08 10:10:32.68 Dy9q2lNv.net
どの雑誌に書かれていようが記事の正誤は変わらんよな？
スレ主を攻撃したいだけなら他の方法でやれよ
476:１３２人目の素数さん
18/12/08 10:51:36.73 nzKzKTmO.net
数セミを一番批判してるのはスレ主でしょ
3年以上にわたって1つの記事をマチガッテイルと誹謗し続けてるんだからな
数学の記事にとってこれ以上の誹謗はない
>>431のチャチという言葉も、言葉のチョイス自体は口が悪いかもしれないが、
数セミ批判を目的とした「チャチ」ではないでしょ明らかに
477:１３２人目の素数さん
18/12/08 12:12:39.15 HF56cOWG.net
>>422
＞余談だが
＞「選択公理～！」を魔法の呪文に使っている落ちこぼれ
公理とは証明不要な命題、いわば魔法の呪文である。
＞「選択公理～！」と一言となえれば、オレ様証明が出来上がると勘違いしているみたい
選択公理を仮定すれば代表系が得られることは既に示されているがスレ主には理解できなかったようだ。
だからと言って
＞だったら、ツォルンの補題なんていらないぜ
などと発狂されても困る。
478:１３２人目の素数さん
18/12/08 17:18:58.49 MWKZqV5M.net
>>435
「チャチ」は数学のレベルとして高くないという意味
もちろん、数セミの記事としてはよくできている
批判でもなんでもない
479:１３２人目の素数さん
18/12/08 17:40:50.22 7s/F+/XB.net
スレ主が選択公理と層と確率過程と伊東由文をだしたら敗北宣言
まあどんどん負けワードが増えていくな
デデキントの切断からして何もわかってないのにコピペするだけだから
480:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 17:42:10.58 bIDCQoJi.net
>>402 追加
URLﾘﾝｸ(deepmind.com)
Deepmind
(抜粋)
2018
URLﾘﾝｸ(science.sciencemag.org)
Games from the 2018 Science paper A General Reinforcement Learning Algorithm that Masters Chess, Shogi and Go through Self-Play
Shogi
URLﾘﾝｸ(deepmind.com)
・Top 10 AlphaZero-Elmo games chosen by shogi Master Yoshiharu Habu (.zip file).
URLﾘﾝｸ(deepmind.com)
・100 AlphaZero-Elmo games (.zip file).
(引用終り)
481:１３２人目の素数さん
18/12/08 17:47:12.92 MWKZqV5M.net
>>439
482: スレ主がAIだしたら敗北宣言ｗ
483:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 17:49:19.76 bIDCQoJi.net
>>423-432
落ちこぼれ（ ID:MWKZqV5M ）の
秘孔をついたようだな（＾＾；
URLﾘﾝｸ(dic.pixiv.net)
ピクシブ百科事典
秘孔
ひこう
特に『北斗の拳』の北斗神拳的な意味での「経絡秘孔」を指す表現。
484:１３２人目の素数さん
18/12/08 17:51:12.97 MWKZqV5M.net
>>441
俺様、勝利宣言ｗ
URLﾘﾝｸ(www.youtube.com)
485:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 17:52:06.96 bIDCQoJi.net
>>433
数学から批評を抜いたら
宗教だろう
哲学にもならん
書かれた記事を信じるのか？
数学では？
それは権威主義だろう
どんなえらい先生に対しても
どうどうと疑問点を論ずべし
それが数学だろうぜ
486:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 17:53:00.35 bIDCQoJi.net
>>442
ピエロちゃん、またまた不遇になったのか？（＾＾；
487:１３２人目の素数さん
18/12/08 17:55:25.94 MWKZqV5M.net
>>443
数学から理解を抜いたら
只の念仏だろう
書かれた記事が理解できないのか？
数学が理解できないのか？
それじゃ無意味だろう
自分が何を理解できず
何を誤解しているのか？
それを反省するのが数学だろうぜ
なあ、自惚れスレ主よ
488:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 17:56:34.01 bIDCQoJi.net
>>443 補足
数学セミナーに類する雑誌は、アメリカにもあるのだろうが
数学セミナーの読者層（w）は、結構広いと思う
時枝記事も、もっとしっかり結論が伝わるように、書くべきだったろうと思う
あんな、生煮えの書き方じゃ、何を主張したかったのか？
それが見えない
そこが一番の問題だな
489:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 17:57:59.01 bIDCQoJi.net
>>445
ピエロちゃん、小学生に数学を教えていたんだって？ 首になったのか？ 無職のひきこ？
まあ、このスレで遊んでいきなよ（＾＾
490:１３２人目の素数さん
18/12/08 17:58:16.84 MWKZqV5M.net
>>444
数学板一番のピエロは雑談野郎のスレ主 貴様だｗ
491:１３２人目の素数さん
18/12/08 17:59:28.85 MWKZqV5M.net
>>446
時枝記事が理解できないのは
お前の数学レベルが低すぎるせい
著者の時枝のせいにするな
492:１３２人目の素数さん
18/12/08 18:01:21.86 MWKZqV5M.net
>>447
小学生にも数学が理解できることはあるが
サルのスレ主には数学の理解は無理らしい
もうここに書くな ここはサルの落書き場所じゃねぇ！
493:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 18:01:41.81 bIDCQoJi.net
>>447
まあ、中学受験のトップ校の算数の試験問題は、難問ぞろいだからね
底辺の大学入試の数学問題よりレベル高いかもしらん
そういう記事（「大学への数学」（誌））を読んだ記憶がある（灘中の問題だった）
ピエロちゃんじゃ、解けないかもな（＾＾
494:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 18:03:08.98 bIDCQoJi.net
>>448-450
不遇に負けずがんばれよ
落ちこぼれ数学科卒（＾＾
495:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 18:05:21.14 bIDCQoJi.net
>>450
5CHの公式定義は（＾＾
天下のチラシの裏のらくがき
または
公衆便所のらくがき
である
496:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 18:33:24.81 bIDCQoJi.net
>>443
ああ、>>433は、ピエロちゃんへの批判だったか
私も、数セミの愛読者ですが
497:１３２人目の素数さん
18/12/08 19:01:00.70 fs/+7rWW.net
>>415
> 結論は、>>129なので
数当てとは無関係の単なる極限の話として
h(x) = f(x) + g(x)を考えるとh(x)は連続関数である
URLﾘﾝｸ(lab.twcu.ac.jp)
p.2の定理3.2.3より「f + g は連続である」
f(0)の近傍(0, ε_f)をε_fと書きg(0), h(0)に対しても
同様にε_g, ε_hと書くことにする
h(x) = f(x) + g(x)であるからε_hはε_fとε_gの少なくとも1つと一致する
P(X={ε_f, ε_g}) = 1/2
ε_fあるいはε_gをランダムに1つ選べばそれがε_hと一致する確率は1/2
>>421
> 時枝記事の前半の解法不成立が分ります
> なぜ”当たらないのに、当たるように見えるか”について書いたのが
>>386
> すでにある数学の理論、近傍系の理論や、伊東由文先生のPDFなどを、援用できることです
上の確率1/2が確率0であるというのがスレ主の主張であるが
「すでにある数学の理論」あるいは「近傍系の理論」に反している
498:１３２人目の素数さん
18/12/08 19:52:15.25 HF56cOWG.net
スレ主よ
これ以上醜態晒すな
499:１３２人目の素数さん
18/12/08 19:59:47.59 yh9aYAvL.net
>>443
ウィキを信じている君が言ってはいかん。
500:１３２人目の素数さん
18/12/08 20:24:21.21 MWKZqV5M.net
>>452-454
ま、そうコーフンしないでｗ
落ちこぼれピエロのスレ主にも分かる時枝論法のエッセンスを
確率過程や層はもちろん、選択公理や同値関係も抜きで
話してあげるからさ ま、それまで大人しく待ってな
小学生未満のおサルさんｗ
501:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 21:12:50.64 bIDCQoJi.net
>>415
>「超函数の理論I 第２章 層 伊東由文 PDF」 を読みましょう
>（ URLﾘﾝｸ(wwwa.pikara.ne.jp) 超函数の理論I 第２章 層 伊東由文）(>>397より)
Sheaves(層)とその関連のyoutubeを集めました（主に関数系（代数幾何で省いたものがある））
あまり理解できていませんが、良さそうなものを見繕いました（＾＾
URLﾘﾝｸ(www.youtube.com)
Space with functions
Harpreet Bedi2012/11/16 に公開
Algebraic Analogue of Manifolds, and a precursor to sheaves
Ref: Part III notes Burt Totaro
URLﾘﾝｸ(www.youtube.com)
Sheaves and Stalk
Harpreet Bedi2012/11/28 に公開
Motivation for Sheaves, Definition, Examples, Germ and Stalk
コメント
Soham Chowdhury2 年前（編集済み）
I think "lie in the germ at at 0" is a bit misleading. Shouldn't it be that the constant 0-function (i.e. x-axis) and the two functions with the red tick have the same germ at 0? So your "germ at -1" is actually "germ of functions which take the value -1 in a small neighborhood of 0". Please correct me if this is wrong.
erikkk1 年前
i have a question, its probably a bit stupid but iam not shure if i am getting the idea of a germ correctly! The fact that you write F_(0,0) confuses me a little bit. So are the Germs of functions taking value say -1 at x=0 also in the Stalkt F_(0,0) or is this another one.?
URLﾘﾝｸ(www.youtube.com)
Sheaves and Stalks 2
Harpreet Bedi2012/12/06 に公開
Relationship between sheaves and stalks
コメント
Miguel Zamora5 年前
Is it the continuation of Shaves and Stalks? I think something is missed, thank you?
つづく
502:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 21:13:28.06 bIDCQoJi.net
>>459
つづき
URLﾘﾝｸ(www.youtube.com)
Stalks and Sheafification
Harpreet Bedi2015/01/24 に公開
URLﾘﾝｸ(www.youtube.com)
06. Algebraic geometry - Sheafification, continued (Diana Carolina Castaneda)
Anton Mosunov2016/10/28 に公開
Algebraic geometry seminar
Department of Pure Mathematics
University of Waterloo
October 27th, 2016
Following the notes of Ravi Vakil, available at
URLﾘﾝｸ(www.youtube.com)
URLﾘﾝｸ(www.youtube.com)
Presheaves and Sheaves
Harpreet Bedi2015/01/21 に公開
コメント
Ghazanfar Abbas2 年前
wao nice way to explain the concept of sheaf...,?
URLﾘﾝｸ(www.youtube.com)
Sheaves/Presheaves as Contravariant Functors, Kernel Presheaf is a Sheaf
Harpreet Bedi2013/08/27 に公開
There are two slides, in the first slide we talk about Presheaves as contravariant functors, talk about equalizer condition, sheafification and in the second slide we talk about Image and Coker presheag
コメント
tomuf2 年前
Hi, at the end of the video (around 12:45) - if you manage to lift s_1 and s_2 to G(U), doesn't it give you a unique projection to G(U)/Im(U)? Isn't the problem with coimage not being sheaf more related to the fact that s_1 and s_2 in G(U_1) and G(U_2) don't neccessarily need to agree on the intersection of U_1 and U_2??
つづく
503:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 21:13:58.93 bIDCQoJi.net
>>460
つづき
URLﾘﾝｸ(www.youtube.com)
Sheaf Regular functions
Harpreet Bedi2012/12/26 に公開
We describe the sheaf of regular functions, and prove gluing and restriction conditions.
コメント
Ron Erez5 年前
Hi. Really great lectures.
I do have a question. I've been using a bamboo tablet to teach lectures.
I'm curious as to what program your using and more importantly how large is your computer screen?
URLﾘﾝｸ(www.youtube.com)
Ideal Sheaf
Harpreet Bedi2012/12/17 に公開
We describe the Ideal Sheaf
コメント
tomuf2 年前
You define O_Y(U) = O_X(Y \cap U) for Y a closed subset. But aren't the sections of sheaf O_X defined only on open sets? It is not clear to me that Y \cap U is open in X for Y a closed subset.?
URLﾘﾝｸ(www.youtube.com)
Acyclic Sheaves and Cohomology
Harpreet Bedi2012/12/21 に公開
Compute cohomology using flabby resolutions. Ref: Algebraic Varieties (Kempf), Part III notes(Burt)
URLﾘﾝｸ(www.youtube.com)
Cech Cohomology Motivation I
Harpreet Bedi2014/01/23 に公開
Ref: 24 hours of Local Cohomology
コメント
MAPPLE2 年前
a question, the sheaf, at the beginning, is only defined for U1 and U2, but not for their intersection, right
And because of properties one can say that the sheaf at U12 is the direct sum of 2 copies of Z.Thanks?
URLﾘﾝｸ(www.youtube.com)
504:k5K7fTYw 1. Introduction to Cohomology (Revised) Harpreet Bedi2013/05/29 に公開 コメント Dougystyle112 年前 This is a rather minor point, but around 5:40, wouldn't it be more clear to write \phi_{i} \in Hom(C_{i}, Z) rather than equality?? SuperMoufle4 年前 I didn't get why phi_i= d_{i-1} o phi_{i-1} ? d_{i-1} takes his value in C_{i-1} and phi_{i-1} ends in Z, not C_{i-1}. つづく
505:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 21:14:39.33 bIDCQoJi.net
>>461
つづき
URLﾘﾝｸ(www.youtube.com)
1 Intro to Algebraic Geometry
Harpreet Bedi2014/07/28 に公開
コメント
Ghazanfar Abbas1 年前
Very nice lecture series , Please suggest the tex
506:t book.? https://www.youtube.com/watch?v=oCRE-kvw3k0 2 Chain Complex and Homology Harpreet Bedi2013/09/11 に公開 Describe Chain Complex and Homology algebraically. コメント Justin Scarfy3 年前 around 4:40- shouldnt x-y \in \Ker \partial_2 ? Similarly for g(x)-g(y) ... since they are cosets...? https://www.youtube.com/watch?v=bWCfAboTSs8 Motivation for CW Complexes Harpreet Bedi 2012/07/12 に公開 Motivation for CW Complexes, Algebraic Topology. The fill map mentioned is nothing but an attachment map described on the next slide https://www.youtube.com/watch?v=WHh9tLAdMwQ Computing Cohomology Groups Circle Torus Klein Bottle Harpreet Bedi2014/03/27 に公開 https://www.youtube.com/watch?v=fiBVn3s94Pc Torus Homology Harpreet Bedi2012/07/31 に公開 Homology of Torus without triangulation https://www.youtube.com/watch?v=w9HWrGHosA4 Delta Complex Harpreet Bedi2012/07/30 に公開 Delta Complex definition Algebraic Topology Hatcher Page 102-103 コメント Mike K6 年前 This is a definition of a simplex, not a delta complex. You need a quotient topology on a simplex or simplicial complex? https://www.youtube.com/watch?v=IuOL_YP26ZY Delta Complex Continued 1a Harpreet Bedi2012/07/30 に公開 Delta Complex definition Algebraic Topology Hatcher Page 102-103 つづく
507:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 21:15:00.08 bIDCQoJi.net
>>462
つづき
URLﾘﾝｸ(www.youtube.com)
Homology of Torus using Delta Complex
Harpreet Bedi2012/07/31 に公開
Homology of Torus using Delta Complex
コメント
gavrilo aleksic2 年前
Great thing. I had so much trouble calculating H1 delta. Hatcher's stupid explanation "bla bla bla since a+b-c is part of base...bla" zap oh itz Z + Z. Thanks man?
URLﾘﾝｸ(www.youtube.com)
Homology of Klein Bottle using Delta Complex
Harpreet Bedi
2012/07/31 に公開
Homology of Klein Bottle using Delta Complex
URLﾘﾝｸ(www.youtube.com)
Exact Sequence and homology of good pair with Example
Harpreet Bedi2012/08/02 に公開
Define Exact Sequence and relative Homology
URLﾘﾝｸ(www.youtube.com)
Long Exact Sequence of Pair
Harpreet Bedi2012/08/03 に公開
Long Exact Sequence of a Pair
コメント
Guillermo Valle1 年前
At the very end I think you mean "relative homology"?
URLﾘﾝｸ(www.youtube.com)
3 Short exact sequence and Long Exact sequence
Harpreet Bedi2013/09/11 に公開
Describe Short and Long Exact sequence, and how to break a LES into constituent SES
URLﾘﾝｸ(www.youtube.com)
Long Exact Sequence
Harpreet Bedi2012/08/25 に公開
Cohomology Introduction, Ref: Allen Hatcher Chapter 3
つづく
508:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 21:15:47.69 bIDCQoJi.net
>>463
つづき
URLﾘﾝｸ(www.youtube.com)
Exact Sequence , Direct and Inverse image Sheaves
Harpreet Bedi2012/12/17 に公開
We talk about exact sequence of sheaves and Direct and Inverse image of sheaves
コメント
Brian Droncheff4 年前
Thanks again Harpreet. A question around 13:05 or so. you said that f^(-1)(G(u) = .. I am a bit lost as F is a sheaf on X and U subset X, I don't understand how we G is being re-used on X. instead should this be f^(-1)G(v) = .. ?
URLﾘﾝｸ(www.youtube.com)
Long Exact Sequence of Sheaves
Harpreet Bedi2012/12/18 に公開
Get a Long Exact sequence of sheaves, from the Godement resolution.
Ref: Algebraic Varieites Kempf, Part III notes Burt
URLﾘﾝｸ(www.youtube.com)
Loss of Exactness and Resolution of Sheaves
Harpreet Bedi2012/12/18 に公開
コメント
goodwillhart1 年前
I don't understand the first couple of lines of this lecture. You start with a SES of sheaves, but then write a short exact sequence for an open subset U of X. What is the link between these?
If this were true for all open subsets U of X then it would be true for X. Or, if it were true for only the open subset U, I don't see why 0 -> F1(X) -> F2(X) -> F3(X) should be exact.?
MathProofsable5 年前
Thank you for the? videos, they are a great help.
In your example, don't you want to take a punctured disk small enough that it doesn't intersect the set 2pi*iZ. The k
509:ernel of the map Om --> Om* is the inverse of the identity map in Om*?? https://www.youtube.com/watch?v=iazzWijM9h4 SES of Flabby Sheaves Harpreet Bedi2012/12/18 に公開 Short Exact sequence of Flasque/Flabby Sheaves extends to Global Sections Ref: Algebraic Varieites Kempf, Part III notes Burt つづく
510:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 21:17:28.53 bIDCQoJi.net
>>464
つづき
URLﾘﾝｸ(www.youtube.com)
Sheaf of Differential Forms
Harpreet Bedi2013/01/01 に公開
We talk about the sheaf of differential forms, cotangent and tangent bundle, Canonical Bundle. There are three slides in this presentation, and the last one is extremely short about 2 minutes. Ref: Part III notes (Burt)
URLﾘﾝｸ(www.youtube.com)
Sheaves of Modules
Harpreet Bedi2012/12/27 に公開
We talk about sheaves of modules, tensor product of sheaves
Ref: Daniel Perrin Algebraic Geometry
URLﾘﾝｸ(www.youtube.com)
Sites and Sheaves Mainline 1
mimir2012/02/29 に公開
Definition of sieves and covering sieves in the special case of the open set category of a topological space.
URLﾘﾝｸ(www.youtube.com)
Definition of a Sheaf
mimir2012/02/16 に公開
A reminder of a definition: Sheaf.
つづく
511:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 21:21:14.55 bIDCQoJi.net
age
512:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 21:21:21.87 bIDCQoJi.net
>>465
つづき
URLﾘﾝｸ(www.youtube.com)
Lecture 6: Sheaves of sets (Part 1)
Daniel Murfet2018/07/10 に公開
The most important examples of topoi are categories of sheaves of sets on a small category. Patrick Eilliott introduced this class of examples over two talks, of which is the first.
In this talk he defines presheaves and sheaves on a topological space, and explains using the Yoneda lemma how to think about the sheaf condition in terms of sieves on objects in a category.
This is preparation for his second lecture, where he defines sheaves with respect to a Grothendieck topology.
The lecture notes are available here:
URLﾘﾝｸ(www.youtube.com)
For the general seminar webpage see
URLﾘﾝｸ(therisingsea.org)
つづく
513:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 21:22:50.35 bIDCQoJi.net
>>467
つづき
URLﾘﾝｸ(www.youtube.com)
David Ayala: Higher categories are sheaves on manifolds
University of Notre Dame2012/07/26 に公開
David Ayala, Harvard University)
Abstract: Chiral/factorization homology gives a procedure for constructing a topological field theory from the data of an E_n algebra. I'll explain a mulit-object version of this construction which produces a topological field theory from the data of an n-category with adjoints.
This construction is a consequence of a more primitive result which asserts an
equivalence between n-categories with adjoints and ``transversality sheaves'' on framed n manifolds - of which there is an abundance of examples.
This work is joint with Nick Rozenblyum.
URLﾘﾝｸ(www.youtube.com)
11 Derived Functors Ext and Tor
Harpreet Bedi2013/09/16 に公開
We describe left and right derived functors
コメント
PHD OF MATH SK82 年前
Does a left derived functor sometimes involve "additive, contravariant, right exact" with a injective resolution?????
つづく
514:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 21:25:37.95 bIDCQoJi.net
>>468
つづき
URLﾘﾝｸ(www.youtube.com)
16 End of Story (Recap)
Harpreet Bedi2013/09/18 に公開
Long Exact Sequence, Ext and Tor
URLﾘﾝｸ(www.youtube.com)
Yoneda LemmaHarpreet Bedi
2015/11/21 に公開
Proof of Yoneda Lemma from Handbook of Categorical Algebra Borceaux
コメント
Rostislav Svoboda1 週間前
1. Everytime
515:he says "number of natural transformations", he actually means "number of components of (this particular) natural transformation". 2. At 5:17 he talks about "other direction" but he defines τ and draws the components of τ in the same direction as in the first part of the proof. I.e. τ should be from [FA, Hom(A,-)] and the arrows on the picture should go from right to left: Hom(A, A) ← FA and Hom(A, B) ← FB. 3. At 5:58 the small "a" should be written next to the Object FA not A. Object A is an object from category C where C is locally small, i.e. only the morphisms of C must form Sets. Where objects of C may or may not be Sets.? つづく
516:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 21:26:22.72 bIDCQoJi.net
>>469
つづき
URLﾘﾝｸ(www.youtube.com)
02. Algebraic geometry - Sheaves and morphisms (Diana Carolina Castaneda)
Anton Mosunov2016/09/23 に公開
Algebraic geometry seminar
Department of Pure Mathematics
University of Waterloo
September 22nd, 2016
Following the notes of Ravi Vakil, available at
URLﾘﾝｸ(www.youtube.com)
下記、20:15辺りの図が綺麗だね
URLﾘﾝｸ(youtu.be)
URLﾘﾝｸ(www.youtube.com)
Tutorial on Sheaves in Data Analytics : Lecture 1
Michael Robinson
2015/08/25 にライブ配信
つづく
517:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 21:28:10.61 bIDCQoJi.net
>>470
つづき
付録（Category Introduction）
URLﾘﾝｸ(www.youtube.com)
Category Theory: The Beginner’s Introduction (Lesson 1 Video 1)
Dr. Martin J.M. Codrington2015/06/14 に公開
Lesson 1 is concerned with defining the category of Abstract Sets and Arbitrary Mappings. We also define our first Limit and Co-Limit: The Terminal Object, and the Initial Object.
Other topics discussed include Duality and the Opposite (or Mirror) Category.
つづく
518:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 21:28:31.53 bIDCQoJi.net
つづき
URLﾘﾝｸ(www.youtube.com)
What is Category Theory?
MathProofsable2018/01/04 に公開
URLﾘﾝｸ(www.youtube.com)
The Interaction Between Category Theory and Set Theory - Set Theory
Lectures Audio Mathematics2015/09/17 に公開
The Interaction Between Category Theory and Set Theory - Set Theory
以上
519:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 21:31:11.62 bIDCQoJi.net
>>472
ここら、全部英語だが
英語の方が、どうせなら、雰囲気が良いかも（＾＾
なんとなく、少しだけ分った気にさせてくれるから（＾＾；
まだ、全部は見てないが、さわりだけ見て、良さそうなのを選んだ
520:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 21:35:42.78 bIDCQoJi.net
Harpreet Bediさん
URLﾘﾝｸ(www.genealogy.math.ndsu.nodak.edu)
Mathematics Genealogy Project
Harpreet Bedi
Ph.D. The George Washington University 2018 UnitedStates
Dissertation: Cohomology of line bundles of Rational Degree over Perfectoid Space
Mathematics Subject Classification: 14?Algebraic geometry
Advisor 1: Yong Wu Rong
Advisor 2: Jozef Henryk Przytycki
521:１３２人目の素数さん
18/12/08 21:36:33.74 fs/+7rWW.net
>>473
> なんとなく、少しだけ分った気にさせてくれるから
自分(スレ主)の方が正しいという気にさせてくれるから
> さわりだけ見て、良さそうなのを選んだ
結局自分(スレ主)に都合の悪い書き込みをコピペで流しているだけでしょう
522:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 21:37:38.91 bIDCQoJi.net
>>473
いやね
ビデオを見ると
自分が読んできた層の関係の文書と、イメージが合っているかどうかの確認ができるのが良いね（＾＾
523:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 21:40:00.10 bIDCQoJi.net
>>475
>自分(スレ主)の方が正しいという気にさせてくれるから
これな>>475
>結局自分(スレ主)に都合の悪い書き込みをコピペで流しているだけでしょう
正確には、ごみレス流しかな
都合が悪いというより、”
524:つまらない”
525:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 21:41:05.35 bIDCQoJi.net
>>476
あなたも、層の勉強でビデオを見たらどうですか？
526:１３２人目の素数さん
18/12/08 21:52:02.40 fs/+7rWW.net
>>478
> 層の勉強でビデオを見たらどうですか？
大丈夫？
文章が変ですね
動揺しているのですか？
スレ主の主張が「すでにある数学の理論」あるいは「近傍系の理論」に
反していることを示したのでその必要もないでしょう
527:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 22:09:53.79 bIDCQoJi.net
>>455
> URLﾘﾝｸ(lab.twcu.ac.jp)
>p.2の定理3.2.3より「f + g は連続である」
ああ、失礼
新國 亮 (にっくに りょう)先生ですか。珍しい名前ですね（＾＾
URLﾘﾝｸ(lab.twcu.ac.jp)
新國 亮のウェブサイトです．
URLﾘﾝｸ(lab.twcu.ac.jp)
履歴
URLﾘﾝｸ(lab.twcu.ac.jp)
新國 亮 (にっくに りょう)
1974(昭和49)年5月11日生, 山形県新庄市出身
東京女子大学 現代教養学部 数理科学科 教授
(学歴)
1993年3月 山形県立 新庄北高等学校 卒業
1996年3月 立教大学 理学部 数学科 卒業
1999年3月 東北大学大学院 情報科学研究科 システム情報科学専攻 (数学教室) 博士課程前期2年の課程 修了
2002年3月 東北大学大学院 情報科学研究科 システム情報科学専攻 博士課程後期3年の課程 修了
博士(情報科学) 取得
2002年4月
-2003年3月 東北大学大学院 情報科学研究科 研究生
URLﾘﾝｸ(lab.twcu.ac.jp)
研究
専門 ： 位相幾何学(トポロジー), 特に空間グラフ理論, 結び目理論 (Researchmap / Google Scholar Page / ResearchGate Page)
URLﾘﾝｸ(lab.twcu.ac.jp)
担当講義
URLﾘﾝｸ(lab.twcu.ac.jp)
2013年度担当講義
URLﾘﾝｸ(lab.twcu.ac.jp)
幾何学AI, AII／幾何学I 配布物
(2013年度前期)
URLﾘﾝｸ(lab.twcu.ac.jp)
実連続関数についての補足 (6月19日(水)配付)
528:１３２人目の素数さん
18/12/08 22:11:24.17 7s/F+/XB.net
スレ主が以下のものを出すようになったら敗北宣言
選択公理
層
確率過程
伊東由文
youtube
AI
まだまだ増えるよ～～
529:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 22:19:26.48 bIDCQoJi.net
>>480
つづき
（>>455より）
「> 結論は、>>129なので
数当てとは無関係の単なる極限の話として
h(x) = f(x) + g(x)を考えるとh(x)は連続関数である
URLﾘﾝｸ(lab.twcu.ac.jp)
p.2の定理3.2.3より「f + g は連続である」
f(0)の近傍(0, ε_f)をε_fと書きg(0), h(0)に対しても
同様にε_g, ε_hと書くことにする
h(x) = f(x) + g(x)であるからε_hはε_fとε_gの少なくとも1つと一致する
P(X={ε_f, ε_g}) = 1/2
ε_fあるいはε_gをランダムに1つ選べばそれがε_hと一致する確率は1/2」
それ、貴方の書いている意味が、全く分らないが
おそらく、私のいう伊東由文先生のＰＤＦの関数の同値類（下記）を
（ URLﾘﾝｸ(wwwa.pikara.ne.jp) 超函数の理論I 第２章 層 伊東由文）(>>397より)
思いっきり勘違いしていると思います
530:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 22:20:32.09 bIDCQoJi.net
>>482です（＾＾；
531:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 22:50:48.10 bIDCQoJi.net
>>481
はいはい
>スレ主が以下のものを出すようになったら敗北宣言
じゃ、もっと敗北宣言を、させて下さい
１）全国の数学科生に告ぐ ＊＊）
どうぞ、大学の数学科教員に頼んで
”数学セミナー 2015年11月号 箱入り無数目 時枝 正の記事は正しい”ということ
及び、その理由を簡単に書いて（理由は、「正しいから正しい」でも可）
その方のサイトに、その方の実名で、アップしてもらえませんか？
（文案はどなたが書いても可です。その方が承認してアップするならね）
２）どうぞ、このスレ主に敗北宣言を出させて下さい
私は、大学の数学科プロ教員には、とても敵いませんので、すぐ敗北宣言を出します
赤っ恥で結構です。
私は、このスレを閉じますよ。
（まあ、彼らは、落ちこぼれのピエロとは実力が違いますからね。私の実力では抵抗は無駄でしょうね）
３）それが出るまでは、私の勝利＊です（ 注＊：これ定義です（＾＾； ）
注＊＊）：どうぞ、このスレを見たどなたでも、貴方が直接教員に頼んでも良いし、知り合いの学生を通じての依頼でも可です
上記１）について、よろしくお願いします。（＾＾；
（つまらん、低レベル（落ちこぼれレベル）の議論を、延々続けても仕方ないですからね）
それまでは、上記３）の定義の通り、私の勝ちです（＾＾
以上
532:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/08 22:51:23.70 bIDCQoJi.net
>>484
もちろん、そんなことには絶対ならんだろうという
見込みで書いていますよ（＾＾
533:１３２人目の素数さん
18/12/08 22:54:00.49 fs/+7rWW.net
>>482
f(x), g(x)は連続関数である
f(x)が点0の近傍(0, ε_f)で同値類の代表元a(x)に一致する
g(x)が点0の近傍(0, ε_g)で代表元b(x)に一致する
ならば
h(x) = f(x) + g(x)は連続関数で点0の近傍(0, ε_h)でa(x) + b(x)に一致する
534:１３２人目の素数さん
18/12/08 22:54:48.72 fs/+7rWW.net
>>482
f(x), g(x)は連続関数である
f(x)が点0の近傍(0, ε_f)で同値類の代表元a(x)に一致する
g(x)が点0の近傍(0, ε_g)で代表元b(x)に一致する
ならば
h(x) = f(x) + g(x)は連続関数で点0の近傍(0, ε_h)でa(x) + b(x)に一致する
535:１３２人目の素数さん
18/12/08 22:56:18.77 fs/+7rWW.net
書き込みが重複しました
失礼しました
536:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/09 00:03:29.69 I7n67ZWh.net
>>472
追加 Limit関係
URLﾘﾝｸ(www.youtube.com)
Stalks and Direct Limit
Harpreet Bedi2012/12/03 に公開
Start with definition of direct limit and construct very important examples of stalks from the definition. Definition of Birational varieties is also given.
URLﾘﾝｸ(www.youtube.com)
Direct Limit
Harpreet Bedi2017/04/06 に公開
コメント
沈嘉?1 年前
I had trouble in understanding the equivalence of defining a stalk at a point through direct limit and through germs . Now I get it! Thank you!
URLﾘﾝｸ(www.youtube.com)
What is Direct Limit?
Harpreet Bedi 2012/09/16 に公開
URLﾘﾝｸ(www.youtube.com)
Direct Limit (Mapping Telescope, Construction of Rational Numbers)
Harpreet Bedi2014/01/24 に公開
Construction of Rational Numbers via direct limit, copied from Hatcher section 3F.
URLﾘﾝｸ(www.youtube.com)
InverseLimit
Harpreet Bedi2017/08/30 に公開
537:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/09 00:24:20.44 I7n67ZWh.net
>>486
代数や関数の中では、h(x) = f(x) + g(x)の代表として
f(x) の代表a(x)とg(x)の代表b(x)との和、a(x) + b(x)を取るのは、なんの問題もない
但し、確率を考えるときは
h(x) の同値類の代表の取り方は、別の可能性もあるでしょ（a(x) + b(x)でなくともよい）
h(x) の同値類の中から、いろんな可能性を考えないといけない
（というか、確率計算だから、全ての可能性を考えないといけない）
とすると、近傍(0, ε_h)は、（ε近傍についての実数の完備性から）
近傍(0, ε_h/2)に、取り直すこともできれば
近傍(0, ε_h/n)などに、取り直すこともできる(ここに、∀ｎ∈Ｎ（自然数）)
（>>382にも類似のことを書きましたよ）
そうして、全ての場合を尽くした確率計算を（1/nに限らないので積分でしょう）しないといけないですよ
貴方がh(x) = f(x) + g(x)を持ち出した意味が、いまいち分らないが、そう思います
538:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/09 00:26:23.43 I7n67ZWh.net
>>490 タイポ訂正
代数や関数の中では
↓
代数や関数論の中では
539:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/09 00:27:55.66 I7n67ZWh.net
代数幾何かな？
まあ、私は代数幾何は分らないので、よく分りませんが（＾＾；
540:１３２人目の素数さん
18/12/09 01:04:29.14 ACXjBIKa.net
>>484
> 私は、大学の数学科プロ教員には、とても敵いませんので、すぐ敗北宣言を出します
> 赤っ恥で結構です。
> 私は、このスレを閉じますよ。
時枝正先生はStanfordの数学教授。プロ教員です。
URLﾘﾝｸ(mathematics.stanford.edu)
有言実行。スレを閉じてください。
541:１３２人目の素数さん
18/12/09 01:05:08.65 Q0MhjwKR.net
>>490
> h(x) の同値類の代表の取り方は、別の可能性もあるでしょ
ないです
重要なのは和をとったときに連続であるということです
> f(x)が点0の近傍(0, ε_f)で同値類の代表元a(x)に一致する
> g(x)が点0の近傍(0, ε_g)で代表元b(x)に一致する
であるからf(x) + g(x)ならa(x) + b(x)にしかならない
> 近傍(0, ε_h)は(略)取り直すこともできる
和をとる意味はf(x) = a(x)かつg(x) = b(x)となる点xを取りだせる
ような点0の近傍(0, ε_h)があるのかということです
すると>>40
542:5の(2), (3)は (A) (0, ε_f)⊂(0, ε_g)ならば共通部分は(0, ε_f) (0, ε_f)から点xを選べばf(x) = a(x)かつg(x) = b(x) つまり (0, ε_h) = (0, ε_f) (0, ε_g)から点xを選べばg(x) = b(x)しか確定しない (B) (0, ε_g)⊂(0, ε_f)ならば共通部分は(0, ε_g) (0, ε_g)から点xを選べばf(x) = a(x)かつg(x) = b(x) つまり (0, ε_h) = (0, ε_g) (0, ε_f)から点xを選べばf(x) = a(x)しか確定しない >>482 > P(X={ε_f, ε_g}) = 1/2 > ε_fあるいはε_gをランダムに1つ選べばそれがε_hと一致する確率は1/2 上に書いたことで少し書き直すと P(X={ε_f, ε_g}) = 1/2 ε_fあるいはε_gをランダムに1つ選んでそこから点xをとりだしたとき 点xでf(x) = a(x)かつg(x) = b(x)である確率は1/2 f(x) = a(x)かつg(x) = b(x)である点xを選べば数当ては成功します
543:１３２人目の素数さん
18/12/09 01:40:46.45 9ChKwkDV.net
大学一年の授業に着いていけないスレ主がスタンフォード大学教授を見下すスレ
544:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/09 08:08:00.76 I7n67ZWh.net
>>46
「数学セミナー201511月号P37 時枝記事より
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.」
(>>198 より)
Sergiu Hart氏のPDF November 4, 2013 （URLﾘﾝｸ(www.ma.huji.ac.il) ）
Sergiu Hart氏のPDFには、
”P2 の最後 “Remark. When the number of boxes is finite Player 1 can guarantee a win
with probability 1 in game1, and with probability 9/10 in game2, by choosing the xi independently and uniformly on [0, 1] and {0, 1, ・・・, 9}, respectively.”とある
(引用終り)
さて
Sergiu Hart氏のPDFに倣って、”choosing the xi independently and uniformly on [0, 1] ”としてみよう
確率変数の無限族から、ある二つxi,xjを取る。
xi >= xj となる確率は1/2
時枝の言葉で言えば、”xiがxjより大きい確率は1/2”
ここまでは良い
xi,xjが箱に入っているとする
xjの箱を開ける
１）xj＝0.1だと分った。時枝理論では、xi >= xj(=0.1) となる確率は1/2
２）xj＝0.5だと分った。時枝理論では、xi >= xj(=0.5) となる確率は1/2
３）xj＝0.9だと分った。時枝理論では、xi >= xj(=0.9) となる確率は1/2
これって、なんか変（＾＾；
545:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/09 08:09:46.48 I7n67ZWh.net
>>494
はい>>496
546:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/09 08:14:35.14 I7n67ZWh.net
>>495
問題文>>484の重要な条件を見落としています
その解答では、院試は通りませんね（＾＾；
で、どうぞ、時枝先生に連絡して
” ”数学セミナー 2015年11月号 箱入り無数目 時枝 正の記事は正しい”ということ
及び、その理由を簡単に書いて（理由は、「正しいから正しい」でも可）
その方のサイトに、その方の実名で、アップしてもらえませんか？
（文案はどなたが書いても可です。その方が承認してアップするならね）”
を、実行して貰って下さい
以上です
それが実現したら、このスレを閉じますよ
どうぞ、よろしくお願いします（＾＾
547:１３２人目の素数さん
18/12/09 08:22:57.59 ACXjBIKa.net
>>498
> 及び、その理由を簡単に書いて（理由は、「正しいから正しい」でも可）
理由は書いてるじゃん。記事の内容そのもの。
> その方のサイトに、その方の実名で、アップしてもらえませんか？
実名で雑誌に書いている。『サイトにアップ』じゃなきゃダメな屁理屈はなに？
結局辞める気はないんだねえ
548:１３２人目の素数さん
18/12/09 08:35:00.79 ACXjBIKa.net
まあ『バカは4年かけても分からない』で時枝の話は終わりでいいんじゃないか？
奇数芸人と同類で、どんなに教えても分からないバカはいるもんだ
煽ってスレ伸ばして小銭かせぐ社会活動をすることがバカなのか、
バカにいつまでも数学を教えようと頑張っちゃうことがバカなのか、わからんけども。
煽られて書き込んじゃうほうも、バカに教えたり罵倒することを快感に感じてるわけだからな
快感でなきゃ書きこまないもんな。快感はスレ主がいてこそ味わえる。
奇数芸人との決定的な違いは、お前が実在のスタンフォード教授の記事にケチをつけてるってことだな
本当にケチをつけたいならお前がメールしたらいいのに、なぜしないんだ？ｗ
理由はひとつ、おまえがこ
549:の話題に大して興味がないからだろうな 数学的興味はなく、スレのネタとしての興味しかないからだろう
550:１３２人目の素数さん
18/12/09 08:39:49.36 ACXjBIKa.net
プロ固定とは
URLﾘﾝｸ(resistance333.web.fc2.com)
★過去に流失したプロ固定の報酬表
【料金表】
スレ立てる：+200円
スレ削除される：-5000円
スレストされる：-2000円
ゴミ箱逝き：-1000円
DAT落ち：-500円
1000突破：+1000円
1レス付くごとに：+1円
30分で1000：+5000円
1時間以内に1000：+2000円
6時間以内に1000：+1000円
24時間以内に1000：+500円
リミッター発動：-3000円
鯖飛び：-5000円
551:１３２人目の素数さん
18/12/09 09:19:21.38 NUP9RcR1.net
自然数ｎを
「先頭からｎ番目まで箱に●が入りその後は○が入った無限列」
と同一視する
自然数をランダムに選択し、
例えば100番目の箱を開け続ければ
確率１で●が出る
「100番目」のところは「1000番目」でも「10000番目」でもいい
とにかく、ある自然数ｉを固定し、ｉ番目の箱を開け続ければいいだけ
（つづく）
552:１３２人目の素数さん
18/12/09 09:24:48.79 NUP9RcR1.net
>>503
さて、次に自然数を100個無作為に選択し
そのうちさらに無作為に1個ｎを選んで
残りの自然数の最大値maxを求める
自然数ｎに対応する列のmax番目の箱を開けたとき
中身が●の確率は1/100である
なぜならn>maxとなる確率が1/100だから
これまた、「100個」「1/100」のところは
「10000個」「1/10000」でよい
ある自然数ｉを選んでi個選べばいいだけ
その場合の確率は1/iになる
（つづく)
553:１３２人目の素数さん
18/12/09 09:30:52.48 NUP9RcR1.net
時枝論法のエッセンスは>>502と>>503の違いに集約される
もはや同値類も選択公理もない
また、このトリックに対して確率過程では反駁できない
芽・茎・層も全く無関係である
つまり、>>484のような「大学教員の権威」に訴える非数学的行為によらずとも
>>502-503のトリックにスレ主が一切反駁できなければスレ主の負けが確定
スレ主が何をいっても数学板のピエロに成り下がるだけのこと
554:１３２人目の素数さん
18/12/09 09:34:02.71 NUP9RcR1.net
>>484
>それが実現したら、このスレを閉じますよ
スレを続ける限り、スレ主は「勝った勝った」と吠える負け犬ピエロ
吠えるのは>>502-503に反駁できてからにしてね
555:１３２人目の素数さん
18/12/09 09:40:30.34 NUP9RcR1.net
自然数ｎを
「先頭からｎ番目まで箱に●が入りその後は○が入った無限列」
と同一視する
１．自然数をランダムに選択し、
例えば100番目の箱を開け続ければ
確率１で●が出る
「100番目」のところは「1000番目」でも「10000番目」でもいい
とにかく、ある自然数ｉを固定し、ｉ番目の箱を開け続ければいいだけ
２．さて、次に自然数を100個無作為に選択し
そのうちさらに無作為に1個ｎを選んで
残りの自然数の最大値maxを求める
自然数ｎに対応する列のmax番目の箱を開けたとき
中身が●の確率は1/100である
なぜならn>maxとなる確率が1/100だから
これまた、「100個」「1/100」のところは
「10000個」「1/10000」でよい
ある自然数ｉを選んでi個選べばいいだけ
その場合の確率は1/iになる
時枝論法のエッセンスは
１．と２．の違いに集約される
もはや同値類も選択公理もない
上記のトリックにスレ主が一切反駁できなければスレ主の負けが確定
「勝った」と吠えるのは上記のトリックに反駁できてからにしてね
負け犬ピエロのスレ主ちゃまへ
556:１３２人目の素数さん
18/12/09 09:41:30.97 OsPfE/uU.net
今回のケースを分析してみると
[1] 刑事事件としての名誉毀損（刑法230条1条）
[2] 民事事件としての名誉毀損
[3] 刑事事件としての侮辱罪
に該当することがわかると思います。
この問題が４年にわたって解決していないことを考慮すると、司法の場での裁判が最善の解決策であると思われます。
名誉毀損でお困りでしたら、一度弁護士に相談してみることをおすすめします。
557:１３２人目の素数さん
18/12/09 09:51:13.32 NUP9RcR1.net
>>506でテンプレが出来上がったから
今後、スレ主が何をほざいても
>>506を貼りつけるだけのこと
じゃ、オレはこれから↓聞きながら
乃木坂板読むから邪魔しないてくれｗ
URLﾘﾝｸ(www.youtube.com)
558:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/09 12:13:26.93 I7n67ZWh.net
>>439
追加
URLﾘﾝｸ(qhapaq.hatenablog.com)
559:/220556 コンピュータ将棋 Qhapaq (抜粋) 2018-12-07 AlphaZeroに投了宣言しないといけないかも知れない AlphaZeroの論文が出てきました。 （ https://deepmind.com/documents/260/alphazero_preprint.pdf ） arxivに出してた論文はイケてなかったですが今回のはイケてます。 QRLのレーティングではelmoとaperypaqのレート差は170程度、AlphaZeroとelmoのレート差が（勝率91%、400ちょい。なおelmoもaperypaqも探索部のバージョンが4.79にあがっている）なので、AlphaZeroとaperypaqのレート差は230程度となり、AlphaZeroの勝率は80％程度と予想されます。aperypaqを相手にした勝率は図でしか与えられていませんが https://cdn-ak.f.st-hatena.com/images/fotolife/q/qhapaq/20181207/20181207215404.png こんな感じになっており、図の長さから測定すると約88％（勝率から換算されるレートはaperypaq+340）程度の勝率であると推測できます。 (引用終り)
560:１３２人目の素数さん
18/12/09 13:34:45.30 9ChKwkDV.net
＞理由は書いてるじゃん。記事の内容そのもの。
その通り。落ちこぼれスレ主が理解できないだけの話。
スレ主は約束通りさっさと退場せよ。
561:１３２人目の素数さん
18/12/09 14:07:56.99 9ChKwkDV.net
スレ主屁理屈考え中ナウ
562:１３２人目の素数さん
18/12/09 14:44:21.79 NUP9RcR1.net
>>509 スレ主 AIネタてまず一敗
563:１３２人目の素数さん
18/12/09 14:46:28.66 NUP9RcR1.net
自然数ｎを
「先頭からｎ番目まで箱に●が入りその後は○が入った無限列」
と同一視する
１．自然数をランダムに選択し、
例えば100番目の箱を開け続ければ
確率１で●が出る
「100番目」のところは「1000番目」でも「10000番目」でもいい
とにかく、ある自然数ｉを固定し、ｉ番目の箱を開け続ければいいだけ
２．さて、次に自然数を100個無作為に選択し
そのうちさらに無作為に1個ｎを選んで
残りの自然数の最大値maxを求める
自然数ｎに対応する列のmax番目の箱を開けたとき
中身が●の確率は1/100である
なぜならn>maxとなる確率が1/100だから
これまた、「100個」「1/100」のところは
「10000個」「1/10000」でよい
ある自然数ｉを選んでi個選べばいいだけ
その場合の確率は1/iになる
時枝論法のエッセンスは
１．と２．の違いに集約される
もはや同値類も選択公理もない
上記のトリックにスレ主が一切反駁できなければスレ主の負けが確定
「勝った」と吠えるのは上記のトリックに反駁できてからにしてね
負け犬ピエロのスレ主ちゃまへ
564:１３２人目の素数さん
18/12/09 17:12:39.65 JK6NgeBP.net
スレ主は層や伊東やAIのコピペをしていくだけの虚しい作業を始めるだろう
565:１３２人目の素数さん
18/12/09 18:42:30.37 NUP9RcR1.net
スレ主におくる歌
URLﾘﾝｸ(www.youtube.com)
566:１３２人目の素数さん
18/12/09 18:56:17.03 Q0MhjwKR.net
>>496
> これって、なんか変
変なのはスレ主の頭
計算がめちゃくちゃ
> ここまでは良い
良くない
> choosing the xi independently and uniformly on [0, 1]
たとえばxiが0.1234ならN_i(ε) = 4, di = 5
xjが0.56789ならN_j(ε) = 5, dj= 6
xi, xjの2つから1つ選んだ時にN_i(ε)とN_j(ε)(or diとdj)の値が
最大のものを選ぶ確率は1/2
(ただしN_i(ε) = N_j(ε), di = djが起きる確率は0としている)
100個ならばN(ε)(or d)が最大であるものを選ぶ確率は1/100
567:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/09 19:08:20.93 I7n67ZWh.net
>>508
ピエロちゃん、ありがとう（＾＾
568:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/09 19:17:24.49 I7n67ZWh.net
>>513
笑えるよ、ピエロ
このスレにおける”ピエロ”の定義は、>>1 だよ（＾＾
そんなだから、数学で落ちこぼれるんだと思う
思うに、数学では
まずは定義を受入れないとね
もちろん、定義への批判と、改良・改善もありだがね
だが、おまえが自分の”ピエロ”という定義を変えようというのは
まさに、おまえにとって”ピエロ”という名称が、”効いているって”こと（ダメージになっている）
を、示しているってことだと思うぜ、おれは（＾＾；
参考（>>1）
サイコパスのピエロ（不遇な「一石」URLﾘﾝｸ(textream.yahoo.co.jp) 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」）
（参考）URLﾘﾝｸ(blog.goo.ne.jp) サイコパスの特徴、嘘を平気でつき、人を�
569:ｾまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
570:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/09 19:20:21.65 I7n67ZWh.net
>>507
どもありがとう（＾＾
571:１３２人目の素数さん
18/12/09 19:21:48.50 Q0MhjwKR.net
>>496
スレ主は
> 確率変数の無限族から、ある二つxi,xjを取る。
> xi >= xj となる確率は1/2
> 時枝の言葉で言えば、”xiがxjより大きい確率は1/2”
と
> 時枝理論では、xi >= xj(=0.1) となる確率は1/2
> これって、なんか変
とでxiの扱い方が異なっているよ
上では線の上に点を2つつけてそれらがxi, xjの2つだとみなしている状態
(等号は無視したとして)点の順番はxi < xjとxj < xiのどちらか
「なんか変」の場合は線の上にxjの1つしかなくて2つめの点xiをつける線の
長さがxjの左右で異なることを問題にしている
572:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/09 19:26:14.79 I7n67ZWh.net
>>514
スレ主は層や伊東やAIのコピペをしていく楽しくかつ有益な作業を始めるだろう
つまらん、時枝記事のカキコをほとんど無視してね（＾＾
あと、来週早くに「敗北宣言」を出せて下さるように(>>484)、みなさん頑張って下さい（＾＾；
私は、すぐにこのスレを閉じますので
573:１３２人目の素数さん
18/12/09 19:57:21.24 9ChKwkDV.net
あれ？>>513へのレスを読むつもりだったのに誹謗中傷以外何も見つけられなかった。
読解力落ちたかな？
574:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/09 20:13:23.27 I7n67ZWh.net
>>522
はい>>521（＾＾；
575:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/09 20:14:06.47 I7n67ZWh.net
>>516
なにを言っているのか、さっぱり分りません
よって、”つまらん”ね
576:１３２人目の素数さん
18/12/09 20:17:00.39 9ChKwkDV.net
得意の屁理屈すら出せなくなったかｗ
ゴミはゴミ箱へ スレ主は・・・
577:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/09 20:22:26.88 I7n67ZWh.net
>>520
>「なんか変」の場合は線の上にxjの1つしかなくて2つめの点xiをつける線の
>長さがxjの左右で異なることを問題にしている
ここ違うな。>>496で言っていることは
１）”確率変数の無限族から、ある二つxi,xjを取る。xi >= xj となる確率は1/2”の場合、
xiとxjの二つが、同じ確率分布に従うなら、その確率分布の”形”には鈍感（ほとんど影響されない）ということ
勿論、xiとxjが、異なる確率分布に従うなら、”xi >= xj となる確率は1/2”は言えない
（∵ 例えば、xi が[0、1]の区間の任意の実数を一様にとり、xj が[0、10]の区間の任意の実数を一様にとる場合など）
２）ところで、>>496に示したように、xiの値が分ってしまうと、
xiとxjの二つが、同じ確率分布に従うとしても
「xi >= xj となる確率」は
その確率分布の”形”に敏感になる
３）例えば分り易く、模擬試験の得点を考えよう
沢山の人が受けたが、試験が難しく、平均点30点で標準偏差が10とする。
xiが、50点だったとするとxiの標準偏差は70になる
なので、xjがかなり出来ればともかく、偏差値70超えまでいかないと、xi >= xjが成り立ち、かなり高確率でこうなる
しかし、問題が易しくて、平均点60点で標準偏差が10とすると
xiが、50点だったとしても xiの標準偏差は40になる
なので、xjがかなり出来が悪ければともかく、偏差値40以上なら、xi >= xjは不成立になる。かなり高確率でこうなる
（xjの点数が未知なら、粗くは偏差値の理論から確率が推定でき、もっと正確には得点分布から確率計算できる）
上記のように、同じxj＝50点でも、確率分布の”形”でこれだけ異なる
つづく
578:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/09 20:23:37.69 I7n67ZWh.net
>>526
つづき
４）さて、時枝の場合も、箱を開けてしまって、その結果と、まだ開いていない箱の数を比較するとき、
xiとxjの二つが、同じ確率分布に従うとしても上記のような違いが生じることに加え
模擬試験の得点とは異なる部分もあるのだ
それは、模擬試験の得点はほぼ正規分布に従う場合が多いが
xi,xjの分布はそう（正規分布に従う）とは限らない
例えば、仮にコーシー分布なら、平均値や標準偏差を考えることはできない
だから、箱を開けてしまったら、決定番号の確率分布を求める必要があるのだが、
時枝記事ではそこをスルーしているのだった
そこが
579:大きな問題だな 以上 （参考） https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%BC%E3%82%B7%E3%83%BC%E5%88%86%E5%B8%83 コーシー分布 (抜粋) コーシー分布は、期待値＊）や分散（あるいはより高次のモーメント）が定義されない分布の例として知られる。 期待値が定義されない限り、分散や標準偏差を考えることは不可能である。しかし、原点を中心とした2次モーメントを考えることは可能である。しかし、これもまた無限大となる。 （注＊）ここでいう期待値とは、平均値のことである ）
580:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/09 20:27:43.38 I7n67ZWh.net
>>525
はいはい
どうぞ、(>>498)時枝先生に連絡して下さい
来週の吉報をまってます
”数学セミナー 2015年11月号 箱入り無数目 時枝 正の記事は正しい”という時枝宣言が出されたという吉報をね（＾＾
581:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/09 20:39:40.76 I7n67ZWh.net
>>516
>たとえばxiが0.1234ならN_i(ε) = 4, di = 5
> xjが0.56789ならN_j(ε) = 5, dj= 6
こんなん
意味分る人いるんかね？
はて
”得意の屁理屈”すら出せなくなったよ（＾＾
582:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/09 20:42:55.95 I7n67ZWh.net
>>528
まあ、別に時枝先生に限らずとも
どこの大学でも可
数学科に限らずとも、大学で数学を教えているということが分る教員なら可だ
来週の吉報をまってます
”数学セミナー 2015年11月号 箱入り無数目 時枝 正の記事は正しい”という宣言が出されたという吉報をね（＾＾
583:１３２人目の素数さん
18/12/09 21:01:11.39 9ChKwkDV.net
権威に縋ろうとする醜態、みっともないことこのうえなし
権威に縋る必要などまったく無い、>>513に対するスレ主自身の見解を述べればいいだけ
なぜそれすらできない？ 敗北を認めることになるから？
584:１３２人目の素数さん
18/12/09 21:17:11.54 Q0MhjwKR.net
>>527
> 箱を開けてしまったら、決定番号の確率分布を求める必要があるのだが、
> 時枝記事ではそこをスルーしているのだった
> そこが大きな問題だな
回答者はどの列を選ぶかは箱の中身を見る前に決めます
どの列も当確率で選ぶとしています
6列に分ける場合で考える
2つの決定番号が等しい場合を考えなくて良い場合は
6個の決定番号d1, d2, d3, d4, d5 ,d6は自然数であるから
d'1 < d'2 < d'3 < d'4 < d'5 < d'6と並べ替えることができ
{1, 2, 3, 4, 5, 6}と対応させることができる
6面体サイコロ{1, 2, 3, 4, 5, 6}の各面の数字にシールを貼って隠したとします
そのうちの5面のシールをはがして数字を確認しました
スレ主はシールが貼ったままの面が出る確率が1/6から
変わるというのですか？
>>529
> 意味分る人いるんかね？
スレ主はこう書いているから
> >>494
> はい>>496
それは>>494の内容だとという意味ですよ
585:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/09 23:28:50.83 I7n67ZWh.net
>>459 関連
下記Harpreet Bedi先生の20：50辺りに茎と芽の説明がある
URLﾘﾝｸ(youtu.be)
この説明は、ほぼ>>249と合っているように思う
なお、
下記の14：15辺りに層の例示がある
URLﾘﾝｸ(youtu.be)
これ結構分り易いかも
余談だが、層の説明と例示が、
関数論と代数幾何とでは、かなり違う。
いや、圏論ベースでの説明も、またかなり違う。
（関数論は当然関数論ベースの説明だが、代数幾何での説明はかなり圏論寄りで、
圏論では、相当（輪をかけて）抽象的で、まあよく分らんがトポスを意識しているのかもしれない）
なので、そこをかなり意識して読まないと、つまづくように思う
（私は、かなり混乱しましたね（＾＾ ）
（>>459 より）
URLﾘﾝｸ(www.youtube.com)
Sheaves and Stalk
Harpreet Bedi2012/11/28 に公開
Motivation for Sheaves, Definition, Examples, Germ and Stalk
586:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/09 23:39:16.53 I7n67ZWh.net
突然ですが（＾＾；
URLﾘﾝｸ(www.youtube.com)
大学と大学院の違い
予備校のノリで学ぶ「大学の数学・物理」
2018/12/08 に公開
大学の仕組みって外からだとかなり分かりにくいですよね。そこで今回は高校生や一般の人向けに大学・大学院の構造をお話します。
コメント
KeikyuTobuLine 1367F
1 日前
1:45 みんな彼女が出来る…
1:47 君はできませんwwwww
けーすけ
1 日前
卒論は参加賞
修論は努力賞
ドク論は成果が必要
587:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/09 23:46:41.43 I7n67ZWh.net
これも突然ですが（＾＾；
URLﾘﾝｸ(www.youtube.com)
文系美女が、もしも天才数学少女だったら？【ドッキリ】
予備校のノリで学ぶ「大学の数学・物理」
2018/12/01に公開済み
文系東大生YouTuberもっちゃんに協力してもらい、数学教育系YouTuber鈴木貫太郎さんを騙します。YouTube史上最高に理系色が強いドッキリ企画になっております。結果やいかに・・・
コメント
もっちゃんねる
1 週間前
ドッキリ大成功！
迫真の演技でしたね！( )
588:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/09 23:57:03.26 I7n67ZWh.net
>>474
Harpreet Bedi先生
Ph.D. The George Washington University 2018 UnitedStates
Dissertation: Cohomology of line bundles of Rational Degree over Perfectoid Space
これ（Perfectoid Space）、ご存知 Peter Scholze さん、Fields Medalのお仕事関連ですね（＾＾
URLﾘﾝｸ(en.wikipedia.org)
Perfectoid space
In mathematics, perfectoid spaces are adic spaces of special kind, which occur in the study of problems of "mixed characteristic", such as local fields of characteristic zero which have residue fields of characteristic prime p.
A perfectoid field is a complete topological field K whose topology is induced by a nondiscrete valuation of rank 1, such that the Frobenius endomorphism Φ is surjective on K°/p where K° denotes the ring of power-bounded elements.
Perfectoid spaces may be used to (and were invented in order to) compare mixed characteristic situations with purely finite characteristic ones. Technical tools for making this precise are the tilting equivalence and the almost purity theorem. The notions were introduced in 2012 by Peter Scholze.[1]
URLﾘﾝｸ(en.wikipedia.org)
Peter Scholze
He won the Fields Medal in 2018, which is regarded as the highest professional honor in mathematics.[7][8][9]
589:１３２人目の素数さん
18/12/10 00:22:18.56 QhPNJW0G.net
スレ主現実逃避中なう
590:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/10 07:01:51.12 ZA5TjRWZ.net
突然ですがメモ（＾＾
URLﾘﾝｸ(math.stackexchange.com)
What does the stalk of a sheaf of discontinuous sections look like?
(抜粋)
I'm having some kind of cognitive dissonance here, but I'm having trouble figuring out which of my beliefs is false.
asked May 3 '13 at 5:25
Daniel McLaury
2 Answers
10
First let me note that the asociation F→G=G(F) is an extremely useful functor introduced by Godement in
591:his book and through which he calculates the Grothedieck cohomology of sheaves, the main virtue of his sheaves being that they are flabby, hence acyclic. So your choice of the letter G for this Godementification is excellent! And you are perfectly right that the stalk Gx is much, much larger than the corresponding Fx: congratulations for not sharing the common misconception that these stalks are equal. 3 In the third line you write that taking stalks commutes with direct sums, but the actual construction of G is a direct product, not a direct sum (unless X is finite). Even if X is finite, it won't be true that F=G unless all the points x are closed (so that X is actually discrete, in which case there is no difference between continuous and discontinuous sections). The reason is that if x is not closed, then i?(Fx) has non-zero stalks not just at x, but at all the points in the closure of x.
592:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/10 07:02:19.15 ZA5TjRWZ.net
>>537
どもありがとう（＾＾
593:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/10 07:05:55.88 ZA5TjRWZ.net
>>528
吉報をまってます
時枝先生が、書いたとか
大学の先生が、書いたとか（＾＾
594:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/10 07:13:40.14 ZA5TjRWZ.net
そんなことが、起こるわけねーだろ！
「ボーっと生きてんじゃねえよ!」
URLﾘﾝｸ(ja.wikipedia.org)
チコちゃんに叱られる!
(抜粋)
『チコちゃんに叱られる!』（チコちゃんにしかられる）は、NHK総合テレビで放送されているクイズバラエティ番組である。
回答者が答えに詰まると、チコちゃんの顔がCGによって突然真っ赤になり巨大化し、「ボーっと生きてんじゃねえよ!」[注釈 1]の決めぜりふと共に叱られてしまい、その後専門家に取材をしたVTRを流して答えを掘り下げるという構成で進められる番組[注釈 2][4][1]。タイトルロゴに描かれた「Don’t sleep through life!」は「ボーッと生きてんじゃねえよ!」の意訳[注釈 3]。
595:１３２人目の素数さん
18/12/10 07:44:58.70 pkGwI701.net
>>518
スレ主、記事に反駁一つ出来ず
ピエロに成り下がり二敗目を喫する
596:１３２人目の素数さん
18/12/10 09:01:42.90 QhPNJW0G.net
もはや数学でも何でもない
ただの駄々っ子
597:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/10 09:52:58.18 JZrNonw2.net
>>401
>ああレベルは違うが「わかってないことをさもわかってるように大量に書く」点では
>伊東由文とここのスレ主は通じるものがあるな
>数学会の困ったちゃん伊東の方がずっとマシだが
ああ、これ今気づいた
遅レスすまん
そうなんか
知らなかった
というか、おれのレベルでは、
「わかってないことをさもわかってるように大量に書く」
とか
「数学会の困ったちゃん」とかは、
全く検知できない
だが、
「わかってないことをさもわかってるように、”間違い”を大量に書く」なら問題だが
”間違い”でなければ許容範囲だろう
多くの大学数学教師が、海外の種本をベースに、
「わかってないことをさもわかってるように、自分の教科書に大量に書く」のは、日本の数学ではよくある
（多かれ少なかれね。分かっているレベルの差の問題はあるとしても）
そこから、本当に分かった人が小数でも数学者に育っていく
で、>>484を頼むわ
もし、数学教員なら貴方自身でも可だし
数学会に知り合いがいるなら、その人に頼んでおくれ
598:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/10 10:05:40.81 JZrNonw2.net
突然ですが
599: "Inter-universal geometry と ABC予想"は、定期的に覗いているここ以外で唯一のスレだが 下記で、「ZFCG」が出てきて、検索すると、下記の「宇宙際タイヒミュラー理論」がヒットしたので貼る https://rio2016.5ch.net/test/read.cgi/math/1543778612/242 Inter-universal geometry と ABC予想 35 http://a.yourpedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96 宇宙際タイヒミュラー理論 (抜粋) 目次 1 論文について 2 宇宙際について 3 楕円曲線と高さの理論 4 ディオファントス幾何 5 ホッジ＝アラケロフ幾何 6 フロベニオイド 7 遠アーベル幾何 8 ホッジ舞台 9 対数殻 10 核性 11 多輻的復元アルゴリズム 12 テート＝セミツイスト 13 数学基礎論による厳密な定式化 数学基礎論による厳密な定式化 グロタンディーク宇宙や種の言語と呼ばれる理論により宇宙際の議論の数学的定式化の構想をしている。 グロタンディーク宇宙 集合論は無限の階層を持つ。 公理から論理的演繹のみであらゆる数学を展開できるとされる公理的集合論ZFCのモデルとなる集合は、宇宙などと称されることが多い。圏の一般理論はZFCだけでは展開できないが、ZFCに新たに別の公理を加えたZFCGにおいては展開できるようになる。このモデルとなるのがグロタンディーク宇宙である。 グロタンディーク宇宙とは以下の定義で与えられる集合 U である： ZFCに付け加える公理、つまり論理式によってことなるモデルであるグロタンディーク宇宙が無数に作れるようになる。このとき、ZFCで成り立つ論理式の集まりをひとつの構造とみなす。すると種の理論によって別の構造や種との理論が作られる。種の理論は決定的なアルゴリズムとして利用する。 （ただし、通常の自己同型がこの理論では自己言及による非決定性問題となるという困難の解消が必要だという。）このような視点が'宇宙際'幾何という名称の由来となっているとしている。 以下の問題点が指摘されている。
600:１３２人目の素数さん
18/12/10 15:26:28.05 Dm5OJtCt.net
おっちゃんです。
土日は随分と盛り上がっていたようだが、スレ主には投了の2文字がないようだ。
これでは暖簾に腕押しだな。
それじゃ、おっちゃんもう寝る。
601:現代数学の系譜 雑談 古典ガロア理論も読む
18/12/10 18:41:12.83 JZrNonw2.net
>>546
おっちゃん、どうも、スレ主です。
レスありがとう
投了の2文字はあるよ
条件は、>>484に示した
おっちゃんも、もし知人の大学の数学教員が居れば、
あるいは学生を通じてでも良いが
>>484を頼むわ
ピエロも頼むよ、>>484を！
おまえも、いくら数学科”落ちこぼれ”とはいえ（＾＾
出身の数学科の教師に、依頼くらいできるだろ？
それとも、数学科はモグリで、学歴詐称かい？（＾＾
602:１３２人目の素数さん
18/12/10 19:08:06.90 pkGwI701.net
>>526
>xi >= xj となる確率は1/2”の場合、
>xiとxjの二つが、同じ確率分布に従うなら、
>その確率分布の”形”には鈍感（ほとんど影響されない）ということ
正しくは
「xiとxjの二つが、同じ確率分布に従うなら
xi >= xj となる確率は1/2」
>xiの値が分ってしまうと、
>xiとxjの二つが、同じ確率分布に従うとしても
>「xi >= xj となる確率」は
>その確率分布の”形”に敏感になる
スレ主は確率分布の積分計算でのみ
「xi >= xjとなる確率」を正当化しようとするから
確率分布の積分計算に敏感になる
し・か・し、「xi >= xj となる確率」は
確率分布に依存しないから
積分計算に固執するのは無意味である
>>527
>箱を開けてしまったら、決定番号の確率分布を求める必要があるのだが、
>時枝記事ではそこをスルーしている
時枝記事の場合、「決定番号の確率分布」が積分不能であるし
そもそも「xiとxjの二つが、同じ確率分布に従うなら
xi >= xj となる確率は1/2」を多重積分の計算で
確認する必要はない
必要のないことを無視するのは当然である
>そこが大きな問題だな
何の問題もない
スレ主は「数学は計算だ」と思ってるらしいが
実際はそうではない