Twitter APIの仕様変更のため、「いいね」の新規取得を終了いたしました

黒木玄 Gen Kuroki

@genkuroki

  • いいね数 389,756/311,170
  • フォロー 995 フォロワー 14,556 ツイート 293,980
  • 現在地 (^-^)/
  • Web https://genkuroki.github.io/documents/
  • 自己紹介 私については https://twilog.org/genkuroki と https://genkuroki.github.io と https://github.com/genkuroki と https://github.com/genkuroki/public を見て下さい。
Favolog ホーム » @genkuroki » 2017年03月12日
並び順 : 新→古 | 古→新

2017年03月12日(日)

黒木玄 Gen Kuroki @genkuroki

17年3月12日

#数楽 続き。Fのxy平面でのグラフとy=xはx=0,1/2,1で交わります。不動点が3個ある。y=x=1/2は縦方向線分[0,1]との交点であり、線分からそれ自身への連続函数の中間値の定理と似たようなことがそこで起こっています。

この例を見るといかにも位相幾何学的な話に〜続く

タグ: 数楽

posted at 00:02:12

黒木玄 Gen Kuroki @genkuroki

17年3月12日

#数楽 続き〜感じられるのですが、n次元球体Dでの角谷の不動点定理の集合函数F:D→2^Dには、そのグラフΓはD×Dの閉集合でかつ各値は空でない凸集合になるという条件がつけられています。凸という非位相幾何学的な条件が出て来る。続く

タグ: 数楽

posted at 00:08:55

黒木玄 Gen Kuroki @genkuroki

17年3月12日

#数楽 続き。そのようなFのグラフΓ⊂D×Dと対角部分集合Δ={(x,x)|x∈D}⊂D×Dが共通点を持つというのが、角谷の不動点定理の主張です。Fの値が凸集合になるという条件を除けば位相幾何学的な話に見える。

そこで同じような位相幾何学的定理について考えましょう。続く

タグ: 数楽

posted at 00:12:08

黒木玄 Gen Kuroki @genkuroki

17年3月12日

#数楽 続き。集合値函数は扱い難いのでそのグラフΓ⊂D×Dの方で考えましょう。ここでDはn次元球体です。p:Γ→Dとq:Γ→Dをp(x,y)=x、q(x,y)=yと定めておきます。数学を知っていればここまでは当然紙にすらすらと書かれるべきことであると感じることでしょう。続く

タグ: 数楽

posted at 00:17:45

黒木玄 Gen Kuroki @genkuroki

17年3月12日

#数楽 続き。簡単のためn≧2とし、n次元球体Dの表面(n-1次元球面)を∂Dと書き、∂DのグラフΓへの射影p:Γ→Dによる引き戻しp^{-1}(∂D)を∂Γと書くことにしましょう。そして、ブラウアーの不動点定理のよくある易しい証明法をそのまま使えるように次を仮定します。続く

タグ: 数楽

posted at 00:24:26

黒木玄 Gen Kuroki @genkuroki

17年3月12日

#数楽 続き
(1)(p|_{∂Γ})_*:H_{n-1}(∂Γ)→H_{n-1}(∂D)は0写像ではない。(例えばそれが同型写像ならば0写像にならない。)
(2)H_{n-1}(Γ)≅0 (例えばp_*:H_{n-1}(Γ)→H_{n-1}(D)が同型写像ならそうなる。)
続く

タグ: 数楽

posted at 00:31:51

黒木玄 Gen Kuroki @genkuroki

17年3月12日

#数楽 以上の仮定のもとで、あるγ∈Γが存在してp(γ)=q(γ)となることを示せます。すなわちΓ∩Δ≠∅となります。証明は教科書によくあるプラウアーの不動点定理の証明法と同様です。証明に続く。

タグ: 数楽

posted at 00:35:26

黒木玄 Gen Kuroki @genkuroki

17年3月12日

#数楽 証明:結論を否定して矛盾を導けばよい。すべてのγ∈Γについてp(γ)≠q(γ)が成立すると仮定する。q(γ)からp(γ)に向けての半直線と∂Dの交点をφ(γ)と定めることによって連続写像φ:Γ→∂Dでその∂Γへの制限がpの∂Γへの制限に一致するものが得られる。続く

タグ: 数楽

posted at 00:40:26

黒木玄 Gen Kuroki @genkuroki

17年3月12日

#数楽 続き。包含写像i:∂Γ→Γについて、φ⚪︎i=p_{∂Γ}:∂Γ→∂D。(1)より(φ⚪︎i)_*=(p_{∂Γ})_*:H_{n-1}(∂Γ)→H_{n-1}(∂D)は0ではない。しかし、(2)より0になるH_{n-1}(Γ)を経由するφ_*⚪︎i_*は0になる。続く

タグ: 数楽

posted at 00:49:15

黒木玄 Gen Kuroki @genkuroki

17年3月12日

#数楽 続き。これはホモロジーの函手性に反するので、矛盾が導かれた。q.e.d.

Γが連続写像f:D→Dのグラフならば射影p:Γ→Dは同相写像なので上の主張の仮定は自明に成立しています。だから上の結果はブラウアーの不動点定理の一般化になっています。

タグ: 数楽

posted at 01:00:05

黒木玄 Gen Kuroki @genkuroki

17年3月12日

#数楽 数学科の授業でホモロジー論について教えることはとても楽しい仕事になります。以上では図を一つも示しませんでしたが、図を描きながら考えることはとても大事。

タグ: 数楽

posted at 01:02:38

黒木玄 Gen Kuroki @genkuroki

17年3月12日

#数楽 あと以上で紹介したホモロジー論の教科書によく書いてあるブラウアーの不動点定理の証明法はホモロジーの函手性がどれだけ強力であるかを鮮やかに示しています。

一般によい函手が得られると数学的に非自明な定理が極めて容易に得られます。よい函手を作るには非自明なアイデアが必要。

タグ: 数楽

posted at 01:06:12

黒木玄 Gen Kuroki @genkuroki

17年3月12日

#数楽 角谷の不動点定理の設定でリンク先の仮定が成立していることを示せれば、角谷の不動点定理の純位相幾何的な証明が得られたことになります。射影p:Γ→DがΓとDおよび∂Γと∂Dのホモロジー群の同型を誘導することを示せば十分。続く
twitter.com/genkuroki/stat...

タグ: 数楽

posted at 07:13:01

黒木玄 Gen Kuroki @genkuroki

17年3月12日

#数楽 続き。角谷の不動点定理の設定ではΓはコンパクトでp:Γ→Dは全射でpのファイバーはすべて可縮になる。ゆえにVietoris–Begleの定理より、pはホモロジー群の同型を誘導する。
en.m.wikipedia.org/wiki/Vietoris–Begle_mapping_theorem

タグ: 数楽

posted at 07:20:50

黒木玄 Gen Kuroki @genkuroki

17年3月12日

#数楽 続き。これで角谷の不動点定理の証明もできました。角谷の不動点定理の設定で、ΓがD×Dの閉集合であることからΓがコンパクトであることが出て、pのファイバーが空でない凸集合であることから、pが全射でかつpのファイバーが可縮であることが出ます。めでたし、めでたし。

タグ: 数楽

posted at 07:24:22

鰹節猫吉 @sunchanuiguru

17年3月12日

@temmusu_n @genkuroki その中心つき六角数というのがnの3乗になるというのは、「立方体を斜めから見ると六角形に見える。」ということですね。 #数楽

タグ: 数楽

posted at 07:43:15

黒木玄 Gen Kuroki @genkuroki

17年3月12日

#数楽 というわけで、n次元閉球体Dについて、閉グラフΓ⊂D×Dを持つF(x)≠∅を満たす集合値函数F:D→2^Dに関する角谷の不動点定理では、「すべてのF(x)が凸集合」という条件を「すべてのF(x)は可縮」に弱められるということのようです。

タグ: 数楽

posted at 08:11:47

天むす名古屋 Temmus @temmusu_n

17年3月12日

#数楽 @sunchanuiguru なるほど!n^3になることのこんな自明な説明があったとは。中心つき六角数1を1×1×1の立方体だと思って、それをCHex_2でくるむと一辺2の立方体ができる!n^4-(n-1)^4が四次元立方体の皮ともみなせることになりますね。 pic.twitter.com/W0HCZWE3So

タグ: 数楽

posted at 16:51:15

黒木玄 Gen Kuroki @genkuroki

17年3月12日

今日はひっさびさにCDの内容をパソコンに取り込む作業をしていた。ExactAudioCopyを使ってwav+cueで取り込んで、cueファイルをxrecode IIに食わせてエンコードした。同等の作業を「普通の人でもやる気になれる方法」でやる方法があると助かる。

タグ:

posted at 17:58:11

黒木玄 Gen Kuroki @genkuroki

17年3月12日

他にも「Minecraftの家庭内サーバーを立ててみんなで遊ぶ」というのを最も楽に実現する方法を教えてくれる人がいると助かる。うちでは5人を超えて遊ぶことは無さそうなのでLogMeIn Hamachiを使って実現している。

タグ:

posted at 18:00:29

黒木玄 Gen Kuroki @genkuroki

17年3月12日

マインクラフトがどういうゲームかを何も知らずにサバイバルモードでいきなり始めたらすぐに死んだ。すぐに死ぬゲームをずっと遊んで無かったのでかなり新鮮に感じた。クリエイティブモードにしてまったりぼーっと建築する方が好みかも。

タグ:

posted at 18:02:08

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

17年3月12日

#数楽 ⚡️ "角谷の不動点定理について"

twitter.com/i/moments/8408...

タグ: 数楽

posted at 18:21:22

黒木玄 Gen Kuroki @genkuroki

17年3月12日

@water029 どうもありがとうございます。foobar2000でもできたのか。実はつい1時間ほど前にインストールした。今度調べてみます。

タグ:

posted at 18:23:16

A級3班国民 @kankichi573

17年3月12日

#数楽 haskellのあまりのワケワカメさに耐えられず本を買ったw >
amzn.to/2meO0uF 
Haskellによる関数プログラミングの思考法 著者がbirdってなんだかアレ

タグ: 数楽

posted at 18:42:41

積分定数 @sekibunnteisuu

17年3月12日

#掛算  須賀原洋行氏、自分のツイートを削除Togetterまとめ togetter.com/li/1076170 @togetter_jpさんから

タグ: 掛算

posted at 19:43:31

黒木玄 Gen Kuroki @genkuroki

17年3月12日

調べてみた。なるほどfoobar2000で一通りできるのか。

タグ:

posted at 20:41:08

黒木玄 Gen Kuroki @genkuroki

17年3月12日

#数楽 ミニマックス定理と集合値函数の不動点定理のシンプルな関係

簡単のため一時的にX,Yは有限集合であるとし、fはX×Y上の実数値函数であるとし、a=max_x min_y f(x,y)、b=min_y max_x f(x,y)とおく。常にa≦bとなることが容易にわかる。続く

タグ: 数楽

posted at 22:38:51

黒木玄 Gen Kuroki @genkuroki

17年3月12日

#数楽 続き。a=bが成立するときfはミニマックス定理を満たすと言う。続く

タグ: 数楽

posted at 22:49:21

黒木玄 Gen Kuroki @genkuroki

17年3月12日

#数楽 集合値函数F:X×Y→2^{X×Y}を
F(x,y)=A_y×B_x
A_y={x'∈X|b≦f(x',y)}
B_x={y'∈Y|f(x,y')≦a}
と定める。ある(x,y)∈X×Yで(x,y)∈F(x,y)を満たすものが存在するとき、Fは不動点定理を満たすと言う。

タグ: 数楽

posted at 22:50:03

黒木玄 Gen Kuroki @genkuroki

17年3月12日

#数楽 定理:fがミニマックス定理を満たす⇔Fが不動点定理を満たす。

⇒の証明:a=b=f(x,y)とすると(x,y)∈F(x,y)となる。

⇐の証明:(x,y)∈F(x,y)を満たす(x,y)∈X×Yが存在するとき、f(x,y)≦a≦b≦f(x,y)となるのでa=b.

タグ: 数楽

posted at 22:59:37

黒木玄 Gen Kuroki @genkuroki

17年3月12日

#数楽 以上の話は自明過ぎるほど自明なのだが、この自明な注意がないとミニマックス定理と集合値函数の不動点定理の関係がクリアに理解できないと思う。ミニマックス定理と不動点定理についてググってもそのような「自明だが教育的に必要な注意」を発見できなかったのでツイートすることにした。

タグ: 数楽

posted at 23:04:32

黒木玄 Gen Kuroki @genkuroki

17年3月12日

#数楽 補足:上のFのグラフΓは
Γ={(x,y;x',y')∈(X×Y)^2|f(x,y')≦a≦b≦f(x',y)}
になる。このΓと
Δ={(x,y;x',y')∈(X×Y)^2|x=x',y=y'}
が共通点を持つこととfに関するミニマックス定理が成立することは同値。

タグ: 数楽

posted at 23:12:52

@genkurokiホーム
スポンサーリンク
▲ページの先頭に戻る
ツイート  タグ  ユーザー

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

掛算 統計 超算数 Julia言語 数楽 JuliaLang 十分 と教 モルグリコ 掛け算

※タグはスペースで区切ってください

送信中

送信に失敗しました

タグを編集しました