[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
342(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/16(木)16:40 ID:6RwEALUm(5/8) AAS
つづき
*2^ 順序数は本来、上で述べた定義とは異なる仕方で定義されていた。
その定義とは、順序集合全体の集まりを「同型である」という “同値関係” によって類別したとき、順序集合 (A, <) の “同値類” を (A, <) の順序型 (order type) と呼び、特に整列集合の順序型を順序数と呼ぶというものである。
ところが現代の標準的な集合論においては、A が空集合でない限り (A, <) と同型な順序集合全体の集合といったものは存在しないことが示される。**)
したがって、このような順序数の定義の仕方は正当な方法であるとは認められない。
これを克服するために考えられたのが上で述べた定義であり、現在は上の定義（あるいはそれと同値な定義）が広く用いられている。
だが、順序型というアイデア自体が排除されたわけではない。
順序数を上で述べたような仕方で定義した後、それを用いることによって順序型を正当な方法で定義できるということが知られている。
ただし、整列集合の順序型と順序数は別のものになる。詳細は「順序型」を参照。
ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E5%9E%8B
省6
343: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/16(木)16:40 ID:6RwEALUm(6/8) AAS
つづき
正式な定義
上の説明では type(A, <A) をきちんと定義したことにはならない。なぜなら、全順序集合の "型" とは何かが定義されていないからである。(※) をみたすようにすべての全順序集合 (A, <A) に対して type(A, <A) を定義する方法として、まず次のようなものが考えられる。それは、(A, <A) と同型な順序集合全体の集合を type(A, <A) と定義する方法である。実際、このように定義すれば (※) が成り立つことが示せるので何の問題もないように思えるかもしれない。だが、この方法には一つ大きな欠点がある。それは、A が空集合でない限り (A, <A) と同型な順序集合全体の集合というものは存在しないことが（集合論の公理から）示されるということである。つまり、そのような集まりはあまりに大きすぎるため集合になることができないのである。**)
したがって上のような仕方で type(A, <A) を定義することはできない。そこで、この方法を少し修正して次のように順序型を定義する：
全順序集合 (A, <A) に対して type(A, <A) とは、(A, <A) と同型な順序集合のうちで階数が最小のもの全体の集合である。type(A, <A) を (A, <A) の順序型と呼び、ある全順序集合の順序型であるものを単に順序型と呼ぶ[1]。
全順序集合 (A, <A) と同型な順序集合で階数が最小であるものの階数を α とすれば、type(A, <A) の要素はすべて Vα + 1 [2]に属するので、type(A, <A) はきちんと集合として定義されている。このようにして定義された順序型が (※) の性質をみたしていることは次のようにして示すことができる：
略す
(引用終り)
注）**)
良く知られているが、"順序集合全体の集合といったもの"は、クラスになり、集合ではない。
省7
344: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/16(木)17:11 ID:6RwEALUm(7/8) AAS
>>340
>選択公理から整列定理を証明するのに
>ツォルンの補題を経由していたが
>その証明は全然直観的でなく実にわかりにくかった
ご苦労様です
下記の いつもの 尾畑研 東北大
第13章 整列集合 13.3 整列可能定理 ”ここではツォルンの補題を用いて証明しよう”
ですな
ついでに、第14章順序数も 貼っておきます
(参考)
省25
345(1): 01/16(木)17:51 ID:q09NtzhZ(5/5) AAS
>■ 順序数の比較可能性 任意のつの順序数は比較可能であることを示そう
>略す
>■整列集合と順序数
>略す
>■ 濃度の定義
>略す
>■ ブラリ・フォルティのパラドックス
>略す
君、実は数学大嫌いでしょ
♪略す 略す 略す 略す 略す 略す
省1
346(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/16(木)18:22 ID:6RwEALUm(8/8) AAS
渕野昌「実数の集合論の基礎の基礎」
”2002年7月26日(金)から7月29日(月)にかけて名古屋大学情報文化学部にて行われた「2002年度数学基礎論サマースクール」における講義の内容”
とある
「以下の議論は，形式的には，すべてZermelo-Fraenkel の集合論の公理系に選択公理を加えた体系（これをZFC とよぶ）の中で行われている」
とも
(参考)に、貼っておきますね
fuchino.ddo.jp/notes/set-th-of-reals-kiso-no-kiso.pdf
実数の集合論の基礎の基礎 渕野昌(Saka´ eFuchino)
2002年8月24日軽井沢にて起稿
2002年11月11日新横浜名古屋間の新幹線の車中にて脱稿
省7
347: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/16(木)20:50 ID:AB73gH0c(1/5) AAS
>>342 補足
>順序数を上で述べたような仕方で定義した後、それを用いることによって順序型を正当な方法で定義できるということが知られている。
>ただし、整列集合の順序型と順序数は別のものになる。詳細は「順序型」を参照。
下記ですね
貼っておきます
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
順序型
整列順序型と順序数
整列集合の順序型を特に整列順序型と呼ぶ。
省5
348(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/16(木)21:08 ID:AB73gH0c(2/5) AAS
>>345
>君、実は数学大嫌いでしょ
>♪略す 略す 略す 略す 略す 略す
> （ウルトラセブンの歌のつもりで）
コピーしたら、ダメといい
コピーしないで略すとすると、またダメという
所詮、二枚舌
ダブスタの男ｗ ；ｐ）
349(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/16(木)23:44 ID:AB73gH0c(3/5) AAS
>>341
>下記の"選択公理を仮定すれば、整列定理により任意の集合 A に対して A と同数であるような順序数が存在することが言える"
>を使うと、循環論法になる
なんか、思い出してきたな・・
下記の ”スコットのトリック”を、使う”スジ”が、あるね ；ｐ）
なお、Dana Scott氏は、コンピュータサイエンスや圏論で有名は方です
(参考)
ja.wikipedia.org/wiki/%E3%82%B9%E3%82%B3%E3%83%83%E3%83%88%E3%81%AE%E3%83%88%E3%83%AA%E3%83%83%E3%82%AF
スコットのトリック(英: Scott's trick)とは真クラス上の同値関係についての同値類の定義を、累積的階層のレベルを参照することによって与える方法である[1]。
この方法は選択公理でなく正則性公理に依存している。選択公理を仮定しないZFにおいて順序数の代表元を定義するのに用いることができる[2]。この方法は Dana Scott (1955) によって導入された。
省10
350: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/16(木)23:44 ID:AB73gH0c(4/5) AAS
つづき
en.wikipedia.org/wiki/Scott%27s_trick
Scott's trick
In set theory, Scott's trick is a method for giving a definition of equivalence classes for equivalence relations on a proper class (Jech 2003:65) by referring to levels of the cumulative hierarchy.
The method relies on the axiom of regularity but not on the axiom of choice. It can be used to define representatives for ordinal numbers in ZF, Zermelo–Fraenkel set theory without the axiom of choice (Forster 2003:182). The method was introduced by Dana Scott (1955).
ja.wikipedia.org/wiki/%E3%83%87%E3%82%A4%E3%83%8A%E3%83%BB%E3%82%B9%E3%82%B3%E3%83%83%E3%83%88
デイナ・スチュアート・スコット (英語:Dana Stewart Scott、1932年10月11日 - )はアメリカの計算機科学者、数学者、論理学者。数学的に難しい問題についての素養に基づき、非形式的だが厳格な方法で計算機科学・論理学・哲学にまたがる領域の根本的概念を明確化させてきた。オートマトン理論についての業績により1976年にチューリング賞を受賞。1970年代にはクリストファー・ストレイチーと共同でプログラム意味論への新たなアプローチを基礎付けた。様相論理、位相幾何学、圏論などでも業績を残している。
en.wikipedia.org/wiki/Dana_Scott
Dana Stewart Scott (born October 11, 1932) is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University;[1] he is now retired and lives in Berkeley, California.
(引用終り)
省1
351: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/16(木)23:47 ID:AB73gH0c(5/5) AAS
>>349 タイポ訂正
なお、Dana Scott氏は、コンピュータサイエンスや圏論で有名は方です
↓
なお、Dana Scott氏は、コンピュータサイエンスや圏論で有名な方です
352(2): 01/17(金)04:27 ID:bd1YOdDW(1/6) AAS
>>348
肝心なところをコピペせずに
無駄なところをコピペする
その馬鹿な態度がダメ
だったら何もしなければいい
所詮、大学１年の４月で挫折した高卒一般人に語れる数学は皆無
諦めろ
353(1): 01/17(金)04:32 ID:bd1YOdDW(2/6) AAS
> ・・・を、使う”スジ”が、あるね
毎度恒例の、自惚れ高卒一般人の連想ゲーム
> 一般的な・・・
> 略す
単語のつながりだけでわかろうとするのは生成AI並みの軽薄な態度
そんな論理抜きの連想で数学が分かるわけないだろ
軽く流すのは馬鹿、重く受け止めることで利口になる
数学したいなら、脳味噌の筋肉を鍛えること
嫌なら、数学は諦めなさい
354(1): 01/17(金)04:39 ID:bd1YOdDW(3/6) AAS
定石とか手筋とかいうのは思考を嫌う軽薄な態度
金はどこにあるかわからない
そこらじゅう探すしかない
たまたま見つかったところの状況だけみて
「そういうところにあるに違いない」と思うのは
ただの思い込みであって、実際はそうなってない
定石とか手筋とかになりはてたら数学として終わったということ
まあ、一般人は数学しないから結果としての方法しか興味ないんだろう
だったら大学１年で必ず習う
・実数論で実数（＝有理コーシー列）のコーシー列から極限となる実数（＝有理コーシー列）を求める方法
省3
355(2): 01/17(金)04:41 ID:bd1YOdDW(4/6) AAS
AIの研究を見て思うのは、”銀の弾丸”なんてないんだな、ってこと
結局、最後は力で決まる 無駄を承知でやりまくることでしか結果はでない
最初から効率とかコストとかいうのは愚かな態度
356(2): 01/17(金)04:47 ID:bd1YOdDW(5/6) AAS
数学者は馬鹿でなくてはならない、といった人がいる
要するに、常に効率のいい方法を求める利口になるな、ということ
新しい結果を出す最適の方法なんか存在しない
定石とか手筋とかいう奴は利口という名の愚か者
真に賢い者は無駄を厭わぬ馬鹿になる
357(1): 01/17(金)04:50 ID:bd1YOdDW(6/6) AAS
キーワード検索結果コピペ君は、整形女子みたいなもんである
自分が残念なのは顔のせいだと思って、ひたすら整形する
しかしながら整形の方向がトンチンカンなので、どんどん醜悪になる
本当に残念なのは、努力もせずに結果だけ欲しがる、虫のいい態度だと知るべし
358(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/17(金)10:33 ID:MEr9oV+O(1/6) AAS
>>352-357
>結局、最後は力で決まる 無駄を承知でやりまくることでしか結果はでない
>数学者は馬鹿でなくてはならない、といった人がいる
>要するに、常に効率のいい方法を求める利口になるな、ということ
>新しい結果を出す最適の方法なんか存在しない
ふっふ、ほっほ
おサルさん>>7-10
１）公開処刑 進行中なｗｗ ；ｐ）
２）おっさんな
「結局、最後は力で決まる 無駄を承知でやりまくることでしか結果はでない」
省34
359(1): 01/17(金)10:53 ID:16VOmuik(1) AAS
棋聖戦の第一局は二日目の現在
形勢はまったくの互角
360(1): 01/17(金)11:39 ID:MEr9oV+O(2/6) AAS
>>359
これは、御大か
朝の巡回ご苦労様です
棋聖戦の第一局ね
最近の碁は、昔とだいぶ違いますね
布石で、秀策のコスミ復活が目につきました
(参考)
kisei.yomiuri.co.jp/kisei/49th/top_7ban01.htm
読売
第49期棋聖戦七番勝負
省8
361(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/17(金)16:30 ID:MEr9oV+O(3/6) AAS
>>341
>下記の"選択公理を仮定すれば、整列定理により任意の集合 A に対して A と同数であるような順序数が存在することが言える"
>を使うと、循環論法になる
>ツォルンの補題を経由すると、”循環論法！”と言われるのを、一応避けられるね ；ｐ）
補足します
１）上記 ”任意の集合 A に対して A と同数であるような順序数が存在する”
が、選択公理に依存していると、>>310の wikipedia Well-ordering theorem の証明で
上記 ”順序数”の性質を使ったり あるいは
そもそも、”Well-ordering theorem”(＝整列可能定理)自身が、
上記 ”順序数”の性質を使っているとすると
省10
上下前次1-新書関写板覧索設栞歴
あと 641 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.245s*