[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net (716ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
344: 現代数学の系譜11 ガロア理論を読む 2016/11/19(土)15:56 ID:0Q0Vh9CE(30/46) AAS
前層の圏までいかないと、モノイドと対比できないような気もするが・・
345(1): 2016/11/19(土)17:40 ID:ADamYXwO(1/2) AAS
>>339
おっちゃんです。スレ主がトンデモであることは、スレ主が>>316で
>時枝記事では、R^ Nは未定義。だから、R^ Nをどう解釈が問題となる
と書いたところに端的に現れている。
R^N は、実数列全体からなる空間で、数列空間の1つである。
時枝記事を読むにあたり、文脈上 R^N は定義されている。
何も問題はない。
346(1): 2016/11/19(土)17:50 ID:ADamYXwO(2/2) AAS
>>339
>>114では
>実数列の集合 R^Nを考える.
と明記されている。>>316で
>１．時枝記事では、R^ Nは未定義：>>114に引用の通り。
>２．だから、”可算無限個の箱”から類推解釈するしかない。
と書き解釈することがスレ主の思い込みである。
347(1): 2016/11/19(土)17:58 ID:zvdoNxu/(1/2) AAS
>>318
> そして、明らかに∈R^ N
明らかにとごまかさずに数列の順番を変えないで自然数と1対1に対応させてみなさい
> {（a,1）,（a,2）,・・・,（a,2n+1）,・・・,（b,2）,（b,4）,・・・,（b,2n）,・・・}
(上の(a,2)は(a,3)に直す)
{1, (a,1)}, {2, (a,3)}, {3, (a,5)}, ... , {n, (a,2n-1)}, ... の部分は可算無限でありこの部分だけで自然数との対応は終了する
{?, (b,2)}, {?, (b,4)}, ... , {?, (b,2n)}, ... の?の部分に入る自然数は無い
> その最大値∞は避けられないように思う
決定番号を求めるには代表元と同じ長さの数列を比較しなければいけないが解答者はスレ主が挙げた数列から
代表元と同じ長さの可算無限数列{(a,1), (a,3), ... , (a, 2n-1), ... }あるいは{(b,2), (b,4), ... , (b, 2n), ... }
省1
348: 2016/11/19(土)19:05 ID:WbKIAMeX(1/2) AAS
おいおいまじかｗ
>>302-303の通りじゃねえかｗ
>>302
> ここまで引っ張っといて
>
> R^Nの定義を勘違いしてましたテヘ
>
> じゃすまねーぞおいｗ
>>303
> > y_n＝2 を満たす n が存在しない。だから、R^N の中には存在しない
省4
349(2): 現代数学の系譜11 ガロア理論を読む 2016/11/19(土)19:30 ID:0Q0Vh9CE(31/46) AAS
>>341 関連
「前層 P∈ Set^C_op」が分からなかったんだ
Set^C_opが集合の写像を表すベキ記号のパロディーなんだね（＾＾；
なんか、昔そんな話を聞いた気もしたんだけど・・（＾＾；
外部ﾘﾝｸ:infinitytopos.wordpress.com
圏論 ? はじまりはKan拡張:
∞カテゴリーIV
投稿日: 2015年2月15日
(抜粋)
・米田、余完備、Kan拡張
省1
350: 現代数学の系譜11 ガロア理論を読む 2016/11/19(土)19:34 ID:0Q0Vh9CE(32/46) AAS
>>349 つづき
集合の写像を表すベキ記号 B^A の説明
外部ﾘﾝｸ[html]:teenaka.at.webry.info
「べき集合」のおさらい T_NAKAの阿房ブログ/ウェブリブログ:2006/08/04
(抜粋)
さて、このページ
外部ﾘﾝｸ:aozoragakuen.saku強制改行
ra.ne.jp/taiwaN/taiwa3/taikaku/node5.html
によると、
「二つの集合AとBに対し，集合Aから集合Bへの写像の集合をべき集合といい B^A と書く．」
省27
351: 現代数学の系譜11 ガロア理論を読む 2016/11/19(土)19:35 ID:0Q0Vh9CE(33/46) AAS
このサクラのスペルがNGワードらしい
352: 現代数学の系譜11 ガロア理論を読む 2016/11/19(土)19:55 ID:0Q0Vh9CE(34/46) AAS
>>345-346
どうも。スレ主です。
おっちゃん、レスありがとう
そうやって、おっちゃんが、時枝記事擁護側にいることが、ありがたい（＾＾；
>時枝記事を読むにあたり、文脈上 R^N は定義されている。
>何も問題はない。
いや、定義の話は、>>114で、「実数列の集合 R^Nを考える」としか書いていないよ
だから、「実数列の集合 R^N」をどう考えるか？ 「何も問題はない」ように解釈する必要があるってこと
それを>>316で書いた
いいかい、「実数列の集合 R^N」は非常に明確だ。但し、”数列のしっぽによる同値類の決定番号”が絡んでこなければ
省6
353(2): 現代数学の系譜11 ガロア理論を読む 2016/11/19(土)20:23 ID:0Q0Vh9CE(35/46) AAS
>>316 訂正
＜時枝記事では、R^ Nは未定義。だから、R^ Nをどう解釈が問題となる＞
↓
＜時枝記事では、R^ Nは未定義。だから、R^ Nをどう解釈するかが問題となる＞
>>347
カントールの集合論を否定したいのか？
「有限主義」？
>> そして、明らかに∈R^ N
>明らかにとごまかさずに数列の順番を変えないで自然数と1対1に対応させてみなさい
数列の順番を変えないで?
省16
354: 2016/11/19(土)20:34 ID:jXhg5uy0(4/7) AAS
これは酷い、酷過ぎる
355: ￥ ◆2VB8wsVUoo 2016/11/19(土)20:37 ID:21LrO2+x(1) AAS
ネット掲示板で学術を行うのは、とても良い習慣です。なので続けましょう。
￥
356(1): 現代数学の系譜11 ガロア理論を読む 2016/11/19(土)21:05 ID:0Q0Vh9CE(36/46) AAS
>>349 関連
下記”このような「分かりやすさと扱いやすさのトレードオフ」は数学の様々な場面で付きまとう問題である．”うーむ、至言だね（＾＾；
外部ﾘﾝｸ:infinitytopos.wordpress.com
圏論 ? はじまりはKan拡張:
∞カテゴリーIII
投稿日: 2015年2月10日
(抜粋)
・抽象化の力
しかし，この説明にはかなり不満も多いだろう．というのも，位相空間にはイメージのしやすさという明確な優位性がある．少々simplicial setの圏の性質が良かったところで，少なくとも位相空間に関する事は位相空間内で考えるほうが「分かりやすい」だろう．
これは圏に関してもそうだ．ある程度，圏論のイメージを掴んでいる人なら，Nerveを取らなくとも通常の圏のまま扱う方が分かりやすいに決まっている．
省4
357(1): 現代数学の系譜11 ガロア理論を読む 2016/11/19(土)21:24 ID:0Q0Vh9CE(37/46) AAS
￥さん、どうも。
昔、湯川先生がノーベル賞、そのあと朝永先生とつづいた
湯川先生は、朝永先生の繰り込み理論に不満で、晩年まで繰り込み理論の克服を探求された
時代は進んで、超ひも理論で、発散の困難は押さえられるとなったけど、期待したが繰り込み理論の克服まで行っていない
一方で、ビッグバン宇宙論で、量子ゆらぎと宇宙の大規模構造が関連しているとか、びっくりですね
やっと、ここまで分かったんだと
ただ、２１世紀には、繰り込み理論を扱う正統な数学が出来ているだろうと思っていたんですけど
自然の奥行きは深い・・・
省11
358: 現代数学の系譜11 ガロア理論を読む 2016/11/19(土)21:27 ID:0Q0Vh9CE(38/46) AAS
>>357 訂正
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
宇宙の大規模構造
外部ﾘﾝｸ[html]:www.kyoto-su.ac.jp
小さなゆらぎが作り出した宇宙の大規模構造?銀河の分布から見えてくる宇宙の全体像? | サイエンス＆テクノロジー | 研究・社会連携 | 京都産業大学: 理学部 物理科学科 原 哲也 教授
(抜粋)
大規模構造の起源は宇宙誕生まで遡る
追伸
あんまり、学術というほどのことはしていませんが・・・、ま、私の備忘録です
省15
359(2): 現代数学の系譜11 ガロア理論を読む 2016/11/19(土)21:37 ID:0Q0Vh9CE(39/46) AAS
>>356 関連
外部ﾘﾝｸ:junology.hatenablog.com
Godement 層の理論ノート0 前層 - junologyのブログ: 2012-05-26
(抜粋)
前層の例
順序集合A
は、順序関係?を射として圏と思えることに注意する。
外部ﾘﾝｸ:junology.hatenablog.com
junologyのブログ 2012-06-14
Godement 層の理論ノート1 層とetale space
省18
360: 現代数学の系譜11 ガロア理論を読む 2016/11/19(土)21:39 ID:0Q0Vh9CE(40/46) AAS
>>359 訂正
また、?∈O(X)であるが、(SH2)でI=?の場合を考えるとF(?)は一点集合である。
↓
また、Φ∈O(X)であるが、(SH2)でI=Φの場合を考えるとF(Φ)は一点集合である。
補足：Φは空集合を意味する。正規の空集合記号は文字化けで、ギリシャ文字で代用した
361: 現代数学の系譜11 ガロア理論を読む 2016/11/19(土)21:39 ID:0Q0Vh9CE(41/46) AAS
ことほど左様に不便な板なのよ、ここは（＾＾；
362: 現代数学の系譜11 ガロア理論を読む 2016/11/19(土)22:30 ID:0Q0Vh9CE(42/46) AAS
>>359 関連
加藤 五郎ちゃんの前層の定義も、開集合とその包含写像をベースにした位相カテゴリーTからの集合Setsやアーベル群のカテゴリーGへの反変函手という説明
Awodeyは、位相カテゴリーTに限らず、一般のカテゴリーCをベースにした説明だ
363(1): 現代数学の系譜11 ガロア理論を読む 2016/11/19(土)22:38 ID:0Q0Vh9CE(43/46) AAS
>>353 補足
>> そして、明らかに∈R^ N
>明らかにとごまかさずに数列の順番を変えないで自然数と1対1に対応させてみなさい
大学レベルの数学における添字集合分かりますか？
外部ﾘﾝｸ:ja.wikipedia.org
添字集合
(抜粋)
数学における添字集合（そえじしゅうごう、index set）は、別の集合の元に対して「ラベル」付けを行うときの、「ラベル」の集合を言う[1]。
各「ラベル」は指数、添数、添字 (index) などと呼ばれる。添字となるものは、列の項の番号であったり、媒介変数であったりと様々である。
添字付けられた族のラベル付けや次数付き代数系の次数付けの添字として使うものは、数学的には種類はなんでもよく、適当な集合 Λ を選んで、その元 λ ∈ Λ を添字にすることができる。添字付けの数学的な意味は、添字集合からの写像である。
省4
上下前次1-新書関写板覧索設栞歴
あと 353 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.049s