[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
89(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)08:04 ID:Ct8Lh9wH(1/15) AAS
>>84
>フォン・ノイマン宇宙自体は推移的であっても
>フォン・ノイマン宇宙の全ての集合が推移的なわけではない
意味分かんねー（＾＾
”フォン・ノイマン宇宙の全ての集合が推移的なわけ”ですよね
∵ フォン・ノイマン宇宙は、「0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラス」
（参考）
省15
90(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)08:05 ID:Ct8Lh9wH(2/15) AAS
>>89
つづき
外部ﾘﾝｸ[pdf]:www.math.tsukuba.ac.jp
数理論理学II Akito Tsuboi 筑波大
(抜粋)
P11
1.3 順序数
省11
91(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)08:07 ID:Ct8Lh9wH(3/15) AAS
>>85
>おまえは{}、{{}}、{{{}}}の三者を
>どうベン図で書くつもりだ？
大中小の丸でいいでしょ
三重丸で
{}は小丸、{{}}は中丸、{{{}}}は大丸
（>>90より）
省10
103(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)21:40 ID:Ct8Lh9wH(4/15) AAS
>>102
”Eureka GAP”さんのPDFね〜ｗ（＾＾
”Eureka GAP”さん、どこかで聞いたことがあると思ったら
過去スレで取り上げた記憶があるなー
おサルは、
１）それ、「日本の大学を卒業後アメリカへ留学して数学科の大学院生をやっています。専門は集合論です」
て、知って引用しているかなーｗ（＾＾
省26
104: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)21:42 ID:Ct8Lh9wH(5/15) AAS
>>103
ＵＲＬがＮＧワードとかで通らなかったので、全角に直した
まあ、キーワード検索で飛んでくれ（＾＾；
106(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)22:03 ID:Ct8Lh9wH(6/15) AAS
>>99
アホバカおサルと、賢いニワトリの論争かね
楽しいね〜、フォン・ノイマン宇宙がわからんとね、おサルはｗ（＾＾
外部ﾘﾝｸ:ja.wikipedia.org
宇宙 (数学)
(抜粋)
数理論理学において、構造 (もしくはモデル) の宇宙（うちゅう、英: Universe）とは議論領域のことである。
省11
107(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)22:04 ID:Ct8Lh9wH(7/15) AAS
>>106
つづき
しかし、S{} は通常の（有限主義者ではない）数学者にとっては不足である。なぜなら、N が S{} の部分集合として利用可能であるとはいえ、依然として N の冪集合は利用不可能だからである。
特に、実数の任意の集合は利用不可能である。そのため、もう一度上記のプロセスを開始して S(S{}) を形成する必要があるだろう。
しかし、物事を単純に保つために、自然数の集合 N は所与として SN を形成し、N 上の上部構造をとってもよい。
これはしばしば通常の数学の宇宙であると考えられる。通常研究される数学のすべてはこの宇宙の要素を参照していると考えるということである。
例えば、普通の実数の構成（デデキントの切断）はどれも SN に属している。超準解析も自然数の超準モデル上の上部構造において行うことができる。
省5
108(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)22:05 ID:Ct8Lh9wH(8/15) AAS
>>107
つづき
集合論
SNは通常の数学の宇宙であるという主張に正確な意味を与えることは可能である。すなわち、それはツェルメロ集合論のモデルである。
公理的集合論は元来1908年にエルンスト・ツェルメロによって開発された。ツェルメロ集合論は"通常の"数学を公理化することができるため、カントールによって三十年早く始められたプログラムを達成して、確実に成功した。
しかし、ツェルメロ集合論は公理的集合論および数学基礎論、特にモデル理論における他の研究のさらなる発展にとって不十分であった。
劇的な例として、上述の上部構造プロセスの記述はツェルメロ集合論においてそれ自身実行できないことが挙げられる。最終ステップとして、無限和 (infinitary union) としてのSを形成するための置換公理が必要である。
省11
109: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)22:06 ID:Ct8Lh9wH(9/15) AAS
>>108
つづき
圏論
圏論に歴史的につながる宇宙への別のアプローチの方法がある。これはグロタンディーク宇宙と呼ばれる。
大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である。
例えば、グロタンディーク宇宙 U における2つの集合の和集合も U の内部にある。同様に、共通部分、順序対、冪集合などもまた U の内部にある。
これは上記の上部構造に類似している。グロタンディーク宇宙の利点は、それが実際の集合であって固有類ではないことである。
省13
110: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)22:08 ID:Ct8Lh9wH(10/15) AAS
>>106
(引用開始)
もし開始地点がちょうど X = {} ならば、数学で必要となる多くの集合は {} 上の上部構造の要素として現れる。
しかし、S{} の要素のそれぞれは有限集合であろう！
自然数のひとつひとつはそれに属すが、すべての自然数の集合 N は属さない（それは S{} の部分集合であるにもかかわらず）。
実際、X 上の上部構造はすべての遺伝的有限集合から成る。
このように、それは有限主義者の数学の宇宙と考えられる。
省5
113(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)22:21 ID:Ct8Lh9wH(11/15) AAS
>>103
(引用開始)
”Eureka GAP”さんのPDFね〜ｗ（＾＾
おサルは、
１）それ、「日本の大学を卒業後アメリカへ留学して数学科の大学院生をやっています。専門は集合論です」
て、知って引用しているかなーｗ（＾＾
(引用終り)
省15
118(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)23:20 ID:Ct8Lh9wH(12/15) AAS
>>99
(引用開始)
>>89
>”フォン・ノイマン宇宙の全ての集合が推移的なわけ”ですよね
これはヒドイｗｗｗ
答えは否
最も簡単な反例{{{}}}は既にしめした
省20
119(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)23:21 ID:Ct8Lh9wH(13/15) AAS
>>118
つづき
外部ﾘﾝｸ:en.wikipedia.org
Urelement
(抜粋)
In set theory, a branch of mathematics, an urelement or ur-element (from the German prefix ur-, 'primordial') is an object that is not a set, but that may be an element of a set. Urelements are sometimes called "atoms" or "individuals."
Contents
省10
120: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)23:23 ID:Ct8Lh9wH(14/15) AAS
>>119
つづき
Adding urelements to the system New Foundations (NF) to produce NFU has surprising consequences.
In particular, Jensen proved[5] the consistency of NFU relative to Peano arithmetic; meanwhile, the consistency of NF relative to anything remains an open problem, pending verification of Holmes's proof of its consistency relative to ZF.
Moreover, NFU remains relatively consistent when augmented with an axiom of infinity and the axiom of choice.
Meanwhile, the negation of the axiom of choice is, curiously, an NF theorem. Holmes (1998) takes these facts as evidence that NFU is a more successful foundation for mathematics than NF.
Holmes further argues that set theory is more natural with than without urelements, since we may take as urelements the objects of any theory or of the physical universe.[6]
省3
124(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)23:39 ID:Ct8Lh9wH(15/15) AAS
>>118 追加
まあ、ご参考
・フォン・ノイマン宇宙「整礎的集合から得られたでかい領域」
・構成可能宇宙「人間に扱える有限モデルに行き着く領域」
下記でも，見て下さい
（参考）
外部ﾘﾝｸ:www.practmath.com
省38
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.047s