[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
97: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)11:43 ID:nJx1ApW/(6/7) AAS
おサルが、「無限小数激論スレ★1」へ行ったみたいで
いま、このガロアスレは、勢いで5位か
まあまあだな
ガロアスレの58（20代くらい前）が、いまだ13位って、どんだけ過疎板なんだよ
数学板って
”プロ固定”とか、うるさくいうやつが過去居たけど
これみりゃ、”プロ固定”なら、こんな過疎板やめて、他の板へとっくに移っているって、分かるでしょ
遊びでなけりゃ、やれないよ、こんな過疎の場所ではね（＾＾；
（参考）
外部ﾘﾝｸ[html]:49.212.78.147
省16
98: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)13:52 ID:nJx1ApW/(7/7) AAS
>>92 追加引用
下記、分かり易いわ
おサルが、素朴集合論の思考のクセに抜けきれず、躓いていることがよく分かるねｗ（＾＾；
外部ﾘﾝｸ:lemniscus.hatenabloｇ.com/entry/20120616/1339838683#sec6-7
再帰の反復blog
2012-06-16
反復的集合観と公理的集合論
(抜粋)
目次
1.素朴集合論
省14
99(2): 2019/09/13(金)19:04 ID:QEVZazxA(7/18) AAS
>>89
>”フォン・ノイマン宇宙の全ての集合が推移的なわけ”ですよね
これはヒドイｗｗｗ
答えは否
最も簡単な反例{{{}}}は既にしめした
理解できない？頭悪すぎだろ？
省11
100: 2019/09/13(金)19:04 ID:QEVZazxA(8/18) AAS
>>91
外部ﾘﾝｸ[pdf]:www.math.tsukuba.ac.jp
>以下では，集合論の公理を仮定する．
>定義18. 1. x が推移的である(Trans(x)) とは，
>∀y∀z(z ∈ y ∈ x → z ∈ x)
>となることである．
ニワトリは日本語も正しく読めないのか？
定義18の1は、
「集合xが推移的」
という言葉の意味を定義しただけ
省14
101: 2019/09/13(金)19:05 ID:+P68OVAU(1) AAS
>>91
> 大中小の丸でいいでしょ
空集合と偶数からなる集合と奇数からなる集合を「五重丸」を用いてベン図で表せ
Odd = {1, 3}
Even = {2, 4}
102(2): 2019/09/13(金)19:05 ID:QEVZazxA(9/18) AAS
ニワトリにはこっちのほうが分かりやすいか
外部ﾘﾝｸ[pdf]:eurekagap.up.seesaa.net
「Definition 1.2.1.
集合 x が推移的（transitive）であるとは，
∀v(v ∈ x → v ⊆ x)
となることである．
これは x の元の元もまた x に属しているということである．」
いっとくが∀v(v ∈ x → v ⊆ x)は公理ではない
∀v(v ∈ x → v ⊆ x)が成り立つ集合xを
推移的だといってるだけ
省15
103(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)21:40 ID:Ct8Lh9wH(4/15) AAS
>>102
”Eureka GAP”さんのPDFね〜ｗ（＾＾
”Eureka GAP”さん、どこかで聞いたことがあると思ったら
過去スレで取り上げた記憶があるなー
おサルは、
１）それ、「日本の大学を卒業後アメリカへ留学して数学科の大学院生をやっています。専門は集合論です」
て、知って引用しているかなーｗ（＾＾
２）それ、「ずいぶん前に公開した「順序数と基数」がtypoがひどすぎると指摘されていたので、GWを使って修正しました。
内容はほとんど変わっていませんが、修正したおかげで読めるようになったと思います。
集合論自体には興味ないけど、順序数と基数の基本的な事実だけ知りたいよーというような人が参照できるように書いてあります」
省23
104: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)21:42 ID:Ct8Lh9wH(5/15) AAS
>>103
ＵＲＬがＮＧワードとかで通らなかったので、全角に直した
まあ、キーワード検索で飛んでくれ（＾＾；
105(1): 2019/09/13(金)22:02 ID:T2CuI5jY(2/4) AAS
>>91
>>おまえは{}、{{}}、{{{}}}の三者を
>>どうベン図で書くつもりだ？
>大中小の丸でいいでしょ
>三重丸で
>{}は小丸、{{}}は中丸、{{{}}}は大丸
これって知識とか関係無いよね
純粋に知能の有無だよね
サルは決定的に知能が欠けている！
まあサルだしｗ
106(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)22:03 ID:Ct8Lh9wH(6/15) AAS
>>99
アホバカおサルと、賢いニワトリの論争かね
楽しいね〜、フォン・ノイマン宇宙がわからんとね、おサルはｗ（＾＾
外部ﾘﾝｸ:ja.wikipedia.org
宇宙 (数学)
(抜粋)
数理論理学において、構造 (もしくはモデル) の宇宙（うちゅう、英: Universe）とは議論領域のことである。
通常の数学
与えられた X (カントールの場合には、 X = R) の部分集合を考えれば、宇宙は X の部分集合の集合の存在を要請する。
主要な関心が X であっても、 X よりもかなり大きな宇宙が必要とされることになる。 上記のアイデアに続いて、X の宇宙としての 上部構造 が要請される。 これは次のような再帰的構造によって定義される。
省8
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 に属している。超準解析も自然数の超準モデル上の上部構造において行うことができる。
宇宙が関心のある任意の集合 U であった前節からの哲学のわずかな転換に注意しよう。研究される集合は、前節では宇宙の部分集合であったが、本節では宇宙の要素である。
したがって、P(SX) はブール束であるが、関連するもの SX 自体はそうではない。結果として、上部構造の宇宙を前節の冪集合の宇宙であるとみて、それにブール束とベン図の概念を直接的に適用することはまれである。
そのかわりに、個々のブール束 PA を用いて作業することができる。ここで、A は SX に属する任意の関連する集合である。
省2
108(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)22:05 ID:Ct8Lh9wH(8/15) AAS
>>107
つづき
集合論
SNは通常の数学の宇宙であるという主張に正確な意味を与えることは可能である。すなわち、それはツェルメロ集合論のモデルである。
公理的集合論は元来1908年にエルンスト・ツェルメロによって開発された。ツェルメロ集合論は"通常の"数学を公理化することができるため、カントールによって三十年早く始められたプログラムを達成して、確実に成功した。
しかし、ツェルメロ集合論は公理的集合論および数学基礎論、特にモデル理論における他の研究のさらなる発展にとって不十分であった。
劇的な例として、上述の上部構造プロセスの記述はツェルメロ集合論においてそれ自身実行できないことが挙げられる。最終ステップとして、無限和 (infinitary union) としてのSを形成するための置換公理が必要である。
置換公理は、ツェルメロ＝フレンケル集合論を形成するように1922年にツェルメロ集合論に付加された。この公理集合は今日最も広く受け入れられている。
そのため、通常の数学がSNにおいてなされるのに対し、SNの議論は"通常の"数学を越えてメタ数学の領域となる。
しかし、もし超冪集合論が持ち込まれた場合、上記の上部構造のプロセスそれ自体は明らかに超限帰納法のはじまりに過ぎない。
省8
109: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)22:06 ID:Ct8Lh9wH(9/15) AAS
>>108
つづき
圏論
圏論に歴史的につながる宇宙への別のアプローチの方法がある。これはグロタンディーク宇宙と呼ばれる。
大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である。
例えば、グロタンディーク宇宙 U における2つの集合の和集合も U の内部にある。同様に、共通部分、順序対、冪集合などもまた U の内部にある。
これは上記の上部構造に類似している。グロタンディーク宇宙の利点は、それが実際の集合であって固有類ではないことである。
グロタンディーク宇宙の難点は、厳密さを欲するなら、グロタンディーク宇宙を捨てなければならないことである。
最も一般的なグロタンディーク宇宙 U の用途はすべての集合の圏を U で置き換えるものである。S ∈U のとき、U-large でないなら、集合S は U-small となる。
すべての U-small 集合の圏 U-Set は、すべての U-small の集合を対象として、それらの集合の間のすべての関数を射としてもつ。
省10
110: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)22:08 ID:Ct8Lh9wH(10/15) AAS
>>106
(引用開始)
もし開始地点がちょうど X = {} ならば、数学で必要となる多くの集合は {} 上の上部構造の要素として現れる。
しかし、S{} の要素のそれぞれは有限集合であろう！
自然数のひとつひとつはそれに属すが、すべての自然数の集合 N は属さない（それは S{} の部分集合であるにもかかわらず）。
実際、X 上の上部構造はすべての遺伝的有限集合から成る。
このように、それは有限主義者の数学の宇宙と考えられる。
時代をさかのぼれば、19世紀の有限主義者レオポルト・クロネッカーはこの宇宙において仕事をしたことが思い出される。
彼は、それぞれの自然数は存在するが、集合 N（完全な無限）は存在しないと信じていた。
(引用終り)
省2
111: 2019/09/13(金)22:15 ID:T2CuI5jY(3/4) AAS
>>92
素朴集合論とか公理的集合論とか以前の問題ｗ
バカ過ぎｗ
112(1): 2019/09/13(金)22:17 ID:T2CuI5jY(4/4) AAS
サルは分かってるふりが大好きだね
この期に及んで公理的集合論がどうのォン・ノイマン宇宙がどうのとｗ
中学数学すら分かってないことがバレてるのにｗ
113(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)22:21 ID:Ct8Lh9wH(11/15) AAS
>>103
(引用開始)
”Eureka GAP”さんのPDFね〜ｗ（＾＾
おサルは、
１）それ、「日本の大学を卒業後アメリカへ留学して数学科の大学院生をやっています。専門は集合論です」
て、知って引用しているかなーｗ（＾＾
(引用終り)
じゃ、こちらもＰＤＦをばｗ（＾＾；
下記の、渕野昌先生 「フォン・ノイマンと公理的集合論」
「現代思想」2013 年８月増刊号
省12
114: 2019/09/13(金)22:26 ID:QEVZazxA(10/18) AAS
>>105
＞賢いニワトリ
そう思ってる時点でニワトリはバカｗ
>>102はバカでも分かると思って引用してやったまでだが
書いてあることは筑波大の坪井氏のpdfと大して変わらん
要するにニワトリは言葉の定義を公理と勘違いする
大馬鹿っぷりを演じたまで
どこに
「すべての集合は推移的だ！」「すべての集合は順序数だ！」
とかいう公理がある思う馬鹿がいるかよｗ
115: 2019/09/13(金)22:28 ID:QEVZazxA(11/18) AAS
>>106
＞賢いニワトリ
そう思ってる時点でニワトリはバカｗ
>>112
ニワトリは、集合が推移的とか順序数であるとかいう用語の定義を
「すべての集合は推移的でありしたがって順序数である」
と読み違える正真正銘の馬鹿だから
分かったつもりのワカランチンなんだな、これがｗｗｗ
116: 2019/09/13(金)22:34 ID:QEVZazxA(12/18) AAS
集合論のどのテキストにも
「全ての集合は推移的である」とか
「全ての集合は順序数である」とか
いう嘘は書いてない
ニワトリは
「集合ｘが推移的であるとは・・・である」
「集合ｘが順序数であるとは・・・である」
という言葉の定義を、「公理」と読み違えるほどの
正真正銘の馬鹿野郎である
おそらく日本人ではなく朝鮮人だろうｗ
省1
上下前次1-新書関写板覧索設栞歴
あと 886 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s