[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net (716ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
123: 2016/11/05(土)12:05 ID:O+MERBc0(4/4) AAS
うん。身近にこういう奴がいなくてよかったと思うｗ
124: 現代数学の系譜11 ガロア理論を読む 2016/11/05(土)12:20 ID:DzICE8Th(19/47) AAS
>>122
プロ固定、ageるなって！（＾＾；
125: 現代数学の系譜11 ガロア理論を読む 2016/11/05(土)12:22 ID:DzICE8Th(20/47) AAS
余談だが
Categories for the Working Mathematician Mac Lane, Saunders 2nd ed 1998
pdfが落ちていて、ダウンロードできた
著作権問題があるから、ＵＲＬはアップしないが・・・（＾＾；
126(1): 現代数学の系譜11 ガロア理論を読む 2016/11/05(土)12:26 ID:DzICE8Th(21/47) AAS
手元にあると、圏論の歩き方とか、Awodeyを読むときに便利だね
127(1): 現代数学の系譜11 ガロア理論を読む 2016/11/05(土)12:28 ID:DzICE8Th(22/47) AAS
Awodeyは確かに、日本語訳で分からないところがあって、原文読むと分かる場合が多い
128: 現代数学の系譜11 ガロア理論を読む 2016/11/05(土)12:43 ID:DzICE8Th(23/47) AAS
>>83
> 6. \は元プロ研究者らしいからこいつにだけは媚売っとこうっと
媚売ってどうこうなる人でも無いだろ？
つーか、\さんは、いろんなことを深いところまで知っているし
ルネトムと話をしたとか
「トリビアですが、私は田崎氏のお父様から解析力学の単位を（無試験で）貰いました。」ガロア理論スレ23 2chｽﾚ:math
とか
話は面白いし
まあ、住んでいる世界が私とは全く違ったんだねと思う（＾＾；
確率に関する知識も深いものがあるよね
省4
129(1): 現代数学の系譜11 ガロア理論を読む 2016/11/05(土)13:32 ID:DzICE8Th(24/47) AAS
前スレで層の質問をおっちゃんにした
「任意の前層が表現可能関手の余極限と同型である」は標語だと、どこかに書いてあったね
外部ﾘﾝｸ:qiita.com
【圏論メモ】任意の前層が表現可能関手の余極限と同型であることの証明 - Qiita amoO_Oが2016/03/25に投稿(2016/04/10に編集)
(抜粋)
定義
小さい圏
Ob(C),Hom(C)Ob(C),Hom(C) がともに集合であるような圏 CC を 小さい圏 と呼ぶ。
C上の前層
反変関手 P:C→SetP:C→Set を CC 上の前層 と呼ぶ。
省14
130: 現代数学の系譜11 ガロア理論を読む 2016/11/05(土)13:40 ID:DzICE8Th(25/47) AAS
米田函手はY:C→SetsCop
これは位相から前層への写像とみることができます。だと
外部ﾘﾝｸ:myuon-myon.hatenablog.com
PSh圏とcolimit - Just $ A sandbox 2013-05-30
位相空間Xに対して、X上の前層Fとは、Xの開集合から集合への写像
F(U)(U∈O(X))
(で、かつ制限写像というものが定められているものの)のことです(詳しくは層 (数学) - Wikipedia等を参照)。
ここで、O(X)
に包含関係で順序を入れてこれを順序集合の圏(Cと表記)とみなします。するとFは、
F:Cop→Sets
省22
131(1): 2016/11/05(土)15:33 ID:rB//53Un(1/3) AAS
>>117
> 可算無限個という単純な規定だけでは不十分で、キマイラ数列を排除する規定を加えないといけないよ
出題者がz ＝ 3.14159265358979…2718281828459…を構成して出題したとしても
解答者は有限長の(例えば)3.1415926からはじめて一度だけ極限をとれば3.14159265358979…を得ることが
できるので新たに規定を加える必要はない
(実際には解答者は箱の中の数字を見るわけではなくて自然数と箱を対応させるわけだが)
解答者が上のzを得るためには3.1415926からはじめたとすると極限をとって3.14159265358979…を得た後に
有限長の(例えば)271828を用いて3.14159265358979…271828を得て再度極限をとって
z ＝ 3.14159265358979…2718281828459…を得ることになる
極限を何度とるかは解答者が自由に決めることができる
省1
132(1): 2016/11/05(土)15:42 ID:wlZe4quV(1/4) AAS
X上の数列というのは一般的にはNからXへの関数のことです。時枝もそれだけを考えてます。
スレ主は2×NからXへの関数を考えてるので全然違うものです。
Nと2×Nは濃度としては同じですが集合として異なります。
133(1): 2016/11/05(土)16:36 ID:uEkBZ7nZ(1) AAS
出題された可算個の実数がどんなふうにあっても、解答者が並べなおせばいいだけだ
このことは以前にも誰かが指摘していたが、スレ主は理解していない
134: 2016/11/05(土)19:19 ID:l70uwVZ9(1/5) AAS
今になってR^Nが分かりませんとか悪夢だろw
135(4): 現代数学の系譜11 ガロア理論を読む 2016/11/05(土)19:36 ID:DzICE8Th(26/47) AAS
>>131-133
はい、そういう主張があることは認めます
どうぞ、論文にまとめてＰＤＦにして投稿をお願いします
このスレでは、ここまでで良いでしょ
１．>>131 について：時枝記事では、>>114の２にあるように、事前に、可算無限個の数列のある番号から先のしっぽが一致する場合の同値類を類別します。
そして、事前の同値類と類別と、１００列の数列を比較します。
問題は、キマイラ数列をどう区別し排除するのか？ 時枝記事では、不純数列は排除します。不純数列は入らないようにしますというのですね。どうやって？
いま、ある数列Ａがあるとする。Ａは可算無限個の数列だ。しっぽの同値類分類をするという。Ａが、キマイラ数列でなく、通常の数列だとどうやって見分けるのか？
２．>>132 について：「Nと2×Nは濃度としては同じですが集合として異なります」は是として、では>>115の３にあるように、”閉じた箱を100列に並べる”という。これはN→100×Nでしょ？
では、ビデオの逆回しのように、100×N→Nも可能では？ N→100×Nと100×N→Nと両方可能だとします。この文脈で、ぞうぞ”濃度としては同じですが集合として異なります”を数学にしてください
省1
136: 現代数学の系譜11 ガロア理論を読む 2016/11/05(土)19:38 ID:DzICE8Th(27/47) AAS
>>135 訂正
事前の同値類と類別と、１００列の数列を比較します。
↓
事前の同値類の類別と、１００列の数列を比較します。
137: 現代数学の系譜11 ガロア理論を読む 2016/11/05(土)19:42 ID:DzICE8Th(28/47) AAS
「圏論の歩き方」第８章 座談会
”下鴨：・・圏自身を代数構造として研究しようという話ですよね。この方向でもっとできることがあるし、またやらなければならない・・・”という発言
これに関連して、∞カテゴリーとか、高次圏、quasi category などがある（下記）
圏論の拡張版だね（＾＾；
外部ﾘﾝｸ:infinitytopos.wordpress.com
∞カテゴリー ? はじまりはKan拡張 2015年1月30日 投稿者: infinity_topos
以前の投稿でも書いたように，近年Jacob Lurieによる∞カテゴリー理論の進展が著しい．しかし，いまだにその理論の基礎を解説する日本語の文章は殆ど見受けられないように思われる．そこで，何回かに分けて，以下でその初歩の部分について解説をしてみようと思う．
●高次圏とは何か
まず，高次圏の理論について解説しよう．通常の圏は対象と射を持つが，高次圏とはそれに加え”高次の射”を持つ圏の事である．例えば，2-圏とは対象と射に加え「射の射」である2-射を持つもので，3-圏は「2-射の間の射」である3-射を持つものである．
このようにして，n-圏が定義される．そのようなものの最もシンプルな具体例としては，圏の圏Catが挙げられる．圏の圏Catは対象は圏，射は関手に加え，2-射として自然変換がある．
省4
138: 現代数学の系譜11 ガロア理論を読む 2016/11/05(土)19:44 ID:DzICE8Th(29/47) AAS
つづき
●enriched categoryによるアプローチ
さて，ここまで明確な定義を与えず高次圏の概念を説明してきたが，実は高次圏の問題はその定義にあった．というのも，多くの手法によって良い定義を与える努力が為されてきたが，あまり上手く行かなかったのである．例えば，古典的なものとしてはenriched category(豊穣圏)を用いた定式化があった．それを軽く説明しよう．
まず，enriched categoryとは，大雑把にいうとHom集合にある圏Vの対象の構造が入る圏である．例えば，通常の圏はSet-enriched categoryだと考えられる．また，圏の圏CatはHom集合に関手圏としての構造が入る．このことから，次のような定義が与えられた．
Definition.(strict n-category)
0-圏をSetとする．n-圏とは(n-1)Cat-enriched categoryの事である．
しかし，このような定義は技術的に非常に扱いずらい問題があった．その理由としては単純に射が多すぎるため，その可換性の条件などが非常に煩雑になるという訳だ．せいぜい2-圏が限界で，3-圏になるととても扱えたものではなかった．このように，多くの情報を扱う分「その情報をいかに簡略化し扱いやすくするか」という事は付随する大きな問題であった．
●∞カテゴリーの3つのモデル
さて，Lurieの理論に話をもどそう．Higher Topos Theoryにおいて，この”(∞,1)-圏”というアイデアを実現する対象として，ある意味において同値な次の3つのモデルを導入している．
省8
139: 現代数学の系譜11 ガロア理論を読む 2016/11/05(土)19:45 ID:DzICE8Th(30/47) AAS
つづき
これは最も説明しやすい．つまり，Hom集合に”空間”の構造が入っているという事である．通常の圏は，離散位相によりtopological categoryとみなすことができ，逆にtopological categoryが与えられればその”Hom空間”のΠ_0をHom集合として取ることにより”ホモトピー圏”を得ることができる．
異なるtopological categoryでも，”Hom空間”がup to homotopicで同型であれば，同じホモトピー圏を与えることが出来るという事である．次のモデルも本質的には変わらない．
Definition.(simplicial category)
simplicial categoryとはsimplicial setの圏に関するenriched categoryである．
simplicial setについては何も説明していないが，実はこれはある意味で「位相空間と同値な空間概念」とみなすことが出来る．
例えば，位相空間の特異コホモロジーはDold-Kan対応によりsimplicial setのコホモロジー論の一部とみることが出来るし，特筆すべきことは位相空間の基本群，ホモトピー群と同値な理論をsimplicial set内で構成する事が出来る．
これらは，特異単体を取る関手と幾何的実現関手により同値にうつりあう．このことから，simplicial categoryがtopological categoryと「同値な枠組み」である事は感覚的に”納得”は出来るだろう．
以上のモデルは比較的その”意味”について納得しやすいものだろう．しかし，Higher Topos Theoryにおいて中心的に扱われるのは，これらではなく次のquasi categoryと呼ばれるものである．
省6
140: 現代数学の系譜11 ガロア理論を読む 2016/11/05(土)19:48 ID:DzICE8Th(31/47) AAS
”「分かりやすさと扱いやすさのトレードオフ」は数学の様々な場面で付きまとう問題である．”か。至言かも・・・
外部ﾘﾝｸ:infinitytopos.wordpress.com
∞カテゴリーIII 投稿日: 2015年2月10日 投稿者: infinity_topos
(抜粋)
前回の二回の投稿で∞カテゴリーの一つのモデルであるquasi categoryについて解説してきた．その話によると，位相空間（の特異単体）や圏はsimplicial setの中でそれぞれ特徴づけを持ち，それらの性質を合わせたものがquasi categoryなのであった．
では，なぜsimplicial setで考える事に意味があるのか，それにはどういった優位性があるのだろうか，と考えるのは自然な疑問だろう．今回はそれに対する一つの答えを与えようと思う．
●Simplicial setの圏論的性質
まずは，圏論的な性質から考察しよう．これに関しては，simplicial setは位相空間と比べ格段に「良い」性質を持つ事が知られている．というのも，位相空間の圏は性質が悪すぎるのだ．
例えば，位相空間の圏はカルテシアン閉ではない．つまり，\displaystyle Hom_{\mathsf{Top}}(X\times Y,Z)\cong Hom_{\mathsf{Top}}(X,Z^Y)は成立しない．また，2つのCW複体\displaystyle X,Yの直積空間\displaystyle X\times YにCW複体の構造が入るとは入らない．
これらの問題は，前者は\displaystyle Yが局所コンパクト，後者は片方の空間が局所コンパクトなら実は成立する．しかし，では局所コンパクト空間のみ考えればよいかといえば，今度は局所コンパクト空間の圏\displaystyle \mathsf{LocCpt}は余極限について閉じない．
省3
141: 現代数学の系譜11 ガロア理論を読む 2016/11/05(土)19:49 ID:DzICE8Th(32/47) AAS
つづき
話をsimplicial setに戻そう．位相空間の圏と異なり，simplicial setの圏は非常に良い圏論的な性質を持つ．それは，この圏が関手圏\displaystyle \mathsf{Set}^{\Delta^{op}}に他ならないため，\displaystyle \mathsf{Set}から多くの良い性質を引き継げる事に多くを起因する．
例えば，\displaystyle \mathsf{Set}_{\Delta}は完備かつ余完備で，カルテシアン閉でもある．また，関手圏なので極限や余極限はsectionwiseに\displaystyle \mathsf{Set}内で求めればよい．更に，これは棚から牡丹餅とも言えるが，前層の圏なので特に(Grothendieck) toposになっている．
そこで，topos理論などの少々高等な圏論を用いる事も出来る．必ずしもこれら全ての性質を使うとは限らないが，なんといっても使える手が多いのだ．
●抽象化の力
しかし，この説明にはかなり不満も多いだろう．というのも，位相空間にはイメージのしやすさという明確な優位性がある．少々simplicial setの圏の性質が良かったところで，少なくとも位相空間に関する事は位相空間内で考えるほうが「分かりやすい」だろう．
これは圏に関してもそうだ．ある程度，圏論のイメージを掴んでいる人なら，Nerveを取らなくとも通常の圏のまま扱う方が分かりやすいに決まっている．
その感覚は正しいだろう．では，わざわざなぜsimplicial setで考えるのか？それを説明するために，一つの例としてgroupoidを値に持つ(co)fibered categoryを挙げてみようと思う．古典的には，これには同値な二つの定義がある．（例えばSGA1を参照されたい．）
Definition1.(cofibered category)
省3
142: 現代数学の系譜11 ガロア理論を読む 2016/11/05(土)19:50 ID:DzICE8Th(33/47) AAS
つづき
Definition2.(cofibered category)
\displaystyle D上のcofibered categoryとは関手\displaystyle F:C\to Dで
(1) すべての\displaystyle c\in ob(C)とすべての射\displaystyle \eta:F(c)\to dに対して，ある射\displaystyle \tilde{\eta}:c\to \tilde{d}が存在して\displaystyle F(\tilde{\eta})=\etaが成立する，
(2) すべての射\displaystyle (\eta:c\to c')\in Mor(C)と対象\displaystyle c''\in ob(C)に対して
\displaystyle Hom_{C}(c',c'')\to Hom_{C}(c,c'')\times_{Hom_{D}(F(c),F(c''))}Hom_{D}(F(c'),F(c''))は全単射，を満たすものをいう．
これらの同値性はGrothendieck構成によって得られる．
Theorem.(Grothendieck construction)
圏同値\displaystyle \int :\mathsf{Fun}(D,\mathsf{Grpd})\cong \mathsf{Cofib}^{\mathsf{Gprd}}(D)が存在する．
圏同値なのならどちらも同じかと思うかもしれないが，そういう訳ではない．前者は一見シンプルで分かりやすいが，2-圏的な対象であるという難しさがある．それに比べ後者は少々複雑な条件が伴うが，2-圏的な要素を排除する事に成功している．このような「分かりやすさと扱いやすさのトレードオフ」は数学の様々な場面で付きまとう問題である．
省2
上下前次1-新書関写板覧索設栞歴
あと 574 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.019s