[過去ログ] 現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net (716レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
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
¥さん、どうも。

昔、湯川先生がノーベル賞、そのあと朝永先生とつづいた
湯川先生は、朝永先生の繰り込み理論に不満で、晩年まで繰り込み理論の克服を探求された

時代は進んで、超ひも理論で、発散の困難は押さえられるとなったけど、期待したが繰り込み理論の克服まで行っていない

一方で、ビッグバン宇宙論で、量子ゆらぎと宇宙の大規模構造が関連しているとか、びっくりですね
やっと、ここまで分かったんだと

ただ、21世紀には、繰り込み理論を扱う正統な数学が出来ているだろうと思っていたんですけど
自然の奥行きは深い・・・
省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
364
(2): 現代数学の系譜11 ガロア理論を読む 2016/11/19(土)22:48 ID:0Q0Vh9CE(44/46) AAS
>>363 補足

大学レベルでは、超限帰納法で、普通に自然数以外の添字集合使います。整列可能定理により、任意濃度の集合に対して、添字集合として使えますが、なにか
外部リンク:kotobank.jp
超限帰納法(ちょうげんきのうほう)とは - コトバンク:

ブリタニカ国際大百科事典 小項目事典の解説
超限帰納法
ちょうげんきのうほう
transfinite induction
順序数αで番号づけられた命題 P(α)について,ξ<αについて P (ξ) が成立すれば,P (ξ) を証明することによって P (α) を証明する方法。自然数についての数学的帰納法を一般化したものである。

本文は出典元の記述の一部を掲載しています。
省12
365: 2016/11/19(土)22:52 ID:jXhg5uy0(5/7) AAS
やはりこいつは根本的にわかってない
366: 2016/11/19(土)22:52 ID:jXhg5uy0(6/7) AAS
やはりこいつは根本的にわかってない
367
(1): 2016/11/19(土)22:58 ID:zvdoNxu/(2/2) AAS
>>353
> 箱には番号も目印もない前提だろう

外部リンク:ja.wikipedia.org
> 順序
> 0, 2, 4, 6, 8, ..., 1, 3, 5, 7, 9, ...
> が挙げられる。この順序に関する整列集合の順序型は ω + ω である。
> 任意の元が直後の元を持つ(したがって最大元は存在しない)が、直前の元を持たない元が 0 と 1 の二つ存在する。

上の整列集合をそのまま数列だと考えたとして1の直前の元が無いことから有限個の箱を並べて
箱の数を増やした極限を一度とり(0, 2, 4, 6, 8, ... の部分)再度新たに有限個の箱を並べて極限を
とる必要がある(1, 3, 5, 7, 9, ... の部分)
省8
368
(1): 現代数学の系譜11 ガロア理論を読む 2016/11/19(土)23:10 ID:0Q0Vh9CE(45/46) AAS
>>364 補足

いま、ここに一つの0〜9までの一桁の数からなるランダムな数列
例えば、9,8,7,1,2,3,4,5,6,7,8,9,9,8,7,6,6,5,5,・・・・・

という数列があったとする
どういう添字集合で添え字するかは、数列の本質とは無関係
もし、無限数列なら、まずは可算か非加算かが問題だろう

数列が可算無限なら、任意の可算無限集合で添え字すれば、数学としては、それでなんら問題がないはず
もちろん、前から1,2,3・・・と連番を付与できれば最も単純だろうが・・

逆に考えれば、任意の可算無限集合になんらの方法で順序を入れて、順序集合にすることができれば、その順序集合と自然数の集合とは全単射が可能。だから、任意の可算無限順序集合で順序付けできる数列があれば、それは可算無限個からなる数列そのもの
それが、大学レベルの数学の結論だろ?
369: 2016/11/19(土)23:20 ID:WbKIAMeX(2/2) AAS
スレ主は話のすり替えがうまいねえw
おまいのキマイラ数列がR^Nの元ではないことくらい認めたまえよw
370
(5): 現代数学の系譜11 ガロア理論を読む 2016/11/19(土)23:34 ID:0Q0Vh9CE(46/46) AAS
>>367
どうも。スレ主です。
面白いことを考えるね(^^;

>有限個の箱をまず並べそこから箱の数を増やして極限を一度とったあとに再度箱を加える操作が行われなければ

逆に、有限個の箱をまず並べ、左(A列)と右(B列)に分ける。そうすると、左(A列)+右(B列)で全体の数列になる

ここで、例えば、A1,A2,・・・・,An,Ae, B1,B2,・・・・,Bn,Be とする
(ここに、Ae,Be の"e"は、end(最後)の意味で、A列とB列の最後の数を表す。つまりは、増やす箱は、Ae,Beの前に入れて行く。まさか、この(Ae,Beの前に入れて行く)操作を否定しないだろうね? 否定するなら数学的根拠を示せ )
ここでn→∞の極限を取れば良いだけの話。極限は一度で良い。大学の数学では
そして、明らかに、数列は可算無限個の数から成る!

>> 自然数N全体の半分しか使っていないよ、だから長さの比を有限からの極限で考えると半分だよ
省6
371: 2016/11/19(土)23:42 ID:jXhg5uy0(7/7) AAS
>>368
これは酷い
372
(2): 2016/11/19(土)23:57 ID:DaGMNr45(2/2) AAS
可算無限なら自然数と1対1対応がつくから可付番なんじゃないですか!?
1-
あと 344 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.017s