[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
31(7): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)07:43 ID:IlUCyPH9(4/9) AAS
>>30
つづき
５）∈−順序は、推移的なので、xの任意の元 u ∈ x が成立つと、x ∈ y → u ∈ ｙ成立（∵推移性より）
だから、この場合は”x ∈ y → x ⊂ y ”成立
６）で、我々が通常扱う集合は、超限帰納法も適用可の場合が多く、∈−順序が成立つとして良い
∈−順序が成立つ場合は、”x ∈ y → x ⊂ y ”成立
７）「まったく別もの」ではないが、別もの
省22
32(1): 2019/09/11(水)07:47 ID:h4/yIPnA(5/12) AAS
>>29-30
>>21を読もう
x ∈ y → x ⊂ y の初等的反例を示してるぞ
やっぱニワトリには集合論は無理かｗ
33(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)07:49 ID:IlUCyPH9(5/9) AAS
>>30 補足
＞（それ以外にも、反例はあるな。後述）
・例えば、自然数Nで、偶数の集合を、2Nとすると
2N ⊂ N が成立つ
・しかし、2N ∈ N とすると、2Nは可算無限集合なので、Nの元は有限順序数のみの定義に反する （＾＾；
34(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)07:53 ID:IlUCyPH9(6/9) AAS
>>32
＞x ∈ y → x ⊂ y の初等的反例を示してるぞ
（>>31より）
８）なお、”x ∈ y → x ⊂ y ”を認めないと、素朴集合論のベン図に反例が出る
つまり、x ∈ yであるにも関わらず、xのある元 u ∈ x で、u not∈ y となると、素朴集合論のベン図が描けないｗ（＾＾；
(引用終り)
（＾＾；
35: 2019/09/11(水)08:43 ID:9NZxnffP(1/6) AAS
バカ丸出し
36(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)14:05 ID:z0Cctf8f(1/10) AAS
>>31 訂正
７）「まったく別もの」ではないが、別もの
↓
７）「別もの」だが、「まったく別もの」ではない
かな（＾＾；
補足
繰り返すが、
省25
37(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)14:20 ID:z0Cctf8f(2/10) AAS
>>36 追加
「モストフスキ崩壊補題」で、関連ありそうな箇所を、下記追加引用しておく
外部ﾘﾝｸ:ja.wikipedia.org
モストフスキ崩壊補題
(抜粋)
応用
ZFの集合モデルは集合状かつ外延的である。 モデルが整礎的なら本補題により、ZFの推移的モデルと一意的に同型である。
省7
38(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)14:30 ID:z0Cctf8f(3/10) AAS
>>37 補足
＞応用
＞ZFの集合モデルは集合状かつ外延的である。
”集合状”かｗ、これ意味わからんと思ったが（＾＾
”Every set model of ZF is set-like and extensional. ”の「set-like」の直訳だね（＾＾；
＜参考引用、該当英文箇所＞ (なお、Applicationも、”応用”より”適用”が適訳かもね。微妙だが)
外部ﾘﾝｸ:en.wikipedia.org
省13
39(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)17:20 ID:z0Cctf8f(4/10) AAS
>>3の
「哀れな素人さん：古代ギリシャの数理哲学を語る人」
最近見ないと思ったら
こちら（下記）で忙しいのか（＾＾；
おサルが踊らないと スレの勢いが出ないな〜ｗ ｂｙ サル回しのスレ主より（＾＾；
（参考）
0.999…＝1か！？無限小数激論スレ★1
省1
40(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)17:45 ID:z0Cctf8f(5/10) AAS
>>37-38 補足
重箱の隅かも知れないが
良く読むと
和訳
だからMは正則性公理を満たす(内部的には整礎的である)が、
Rは整礎的関係でなく、この崩壊補題も適用できない。
英文
省17
41: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)17:51 ID:z0Cctf8f(6/10) AAS
>>39 補足
＞おサルが踊らないと スレの勢いが出ないな〜ｗ ｂｙ サル回しのスレ主より（＾＾；
おサルたちを、あっちの哀れな素人さん関連の無限小数激論スレへ取られたという意味ね（＾＾
哀れな素人さんは、定義から、”素人”で”人”ですよ！ 誤解無きよう、念のため（＾＾；
42: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)17:56 ID:z0Cctf8f(7/10) AAS
静かになったので、AIネタでも（＾＾
外部ﾘﾝｸ:www.nikkei.com
AI使いこなす人材育成 文科省と10大学、課程策定へ
2019/8/28 11:30日本経済新聞 電子版
(抜粋)
製造業や小売り・サービス、医学や農業などの各分野で人工知能（AI）を使いこなす人材を増やすため、文部科学省は全国の大学と共同で新たな人材育成のカリキュラムの策定に乗り出す。
各大学の得意分野を生かし、実務に応用できる知識やノウハウを身につける講義や教材の内容を2020年にもつくる。
省2
43: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)18:03 ID:z0Cctf8f(8/10) AAS
外部ﾘﾝｸ[html]:www.asahi.com
朝日新聞
ＡＩの現場、主婦が大活躍 政府は人材不足というけれど
有料記事
杉本崇 2019年8月22日11時51分
(抜粋)
画像を認識したり、外国語を翻訳したり、社会のいろんな場面で人工知能（ＡＩ）を使ったサービスが普及するなか、政府が「ＡＩ人材が不足している」と危機感をあらわにしている。一方、ＡＩに知識を学習させる仕事では主婦らが活躍。計算式をプログラムする技術者の不足は解消されつつあるとの声も上がる。幅広い分野にまたがるＡＩの現場は、求められる技能や人材も多岐にわたっている。
省2
44: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)18:23 ID:z0Cctf8f(9/10) AAS
外部ﾘﾝｸ[html]:webronza.asahi.com
論座
初任給が高騰するAI人材とは誰のこと？
産業界が求めているのは、AIをツールとして使いこなすことができる人 20190811
伊藤智義 千葉大学大学院工学研究院教授
(抜粋)
初任給730万円、いや1000万円も
省13
45: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)18:28 ID:z0Cctf8f(10/10) AAS
外部ﾘﾝｸ:www.excite.co.jp
ニュース エキサイト
[注目トピックス 日本株]アイスタディがストップ高、高度IT「人材育成・提供」サービスを具現化
Fisco2019年9月10日
(抜粋)
アイスタディ<2345>は大幅高。ストップ高買い気配となっている。エイム・ソフトの完全子会社化を発表した。
同社は現在、「HR Tech × Ed Tech の分野にて日本を代表するソリューションカンパニーを目指す」という新たなビジョンを掲げるとともに、次なる成長ステージへと歩みを進めるべく中期経営計画を推進している。
省2
46(2): 2019/09/11(水)19:21 ID:h4/yIPnA(6/12) AAS
>>30
>我々の通常接する素朴集合論に近い議論では、
>”x ∈ y → x ⊂ y ”を認めた方が良い
こりゃまたヒドイ・・・
>>31
>我々が通常扱う集合は、
>超限帰納法も適用可の場合が多く、
省13
47: 2019/09/11(水)19:22 ID:h4/yIPnA(7/12) AAS
>>34
>なお、”x ∈ y → x ⊂ y ”を認めないと、
>素朴集合論のベン図に反例が出る
>つまり、x ∈ yであるにも関わらず、
>xのある元 u ∈ x で、u not∈ y となると、
>素朴集合論のベン図が描けない
ベン図ｗｗｗｗｗｗｗ
省15
48: 2019/09/11(水)19:24 ID:h4/yIPnA(8/12) AAS
>>33
そもそも
{1}⊂{0,1,2}
だが、
0={}
1={0}
2={0,1}
省3
49: 2019/09/11(水)19:25 ID:h4/yIPnA(9/12) AAS
余談だが、ニワトリは
{},{{}},{{{}}},{{},{{}}},…
などの集合たちについて、
どういうベン図を書くつもりなんだろう？
50: 2019/09/11(水)19:27 ID:h4/yIPnA(10/12) AAS
>>36-38 >>40
ニワトリ 理解もできないことを理解したつもりで
見当違いのコケコッコーｗｗｗｗｗｗｗ
51(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)20:41 ID:IlUCyPH9(7/9) AAS
おサルご苦労
一匹だけ戻ってきたか
一番低脳なのが
さあ、踊ってくれ ｂｙ サル回しのスレ主より ｗ（＾＾；
52(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)20:45 ID:IlUCyPH9(8/9) AAS
（>>30-31）
筑波大 坪井先生の数理論理学IIをベースに考えてみよう
P5 公理的集合論「x ∈ y の直観的な意味は，もちろん元x が集合y に属することであるが，x も一つの集合だと考える．」
なので、元ｘを、ベン図の点で表わす必要ないよね
おサルのベン図はしらんけどなｗ（＾＾；
アホなおサルｗ
（参考）
省2
53: 2019/09/11(水)20:54 ID:h4/yIPnA(11/12) AAS
ニワトリは夜もコケコッコーｗｗｗｗｗｗｗ
54: 2019/09/11(水)20:56 ID:h4/yIPnA(12/12) AAS
>>52
＞元ｘを、ベン図の点で表わす必要ないよね
どうやって表すんだい？ｗ
何も考えてないくせに粋がるなよ
アホなニワトリｗｗｗｗｗｗｗ
全ての集合が推移的とか順序数とか
勘違いしてる馬鹿に集合論なんか到底無理
省1
55(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)21:00 ID:IlUCyPH9(9/9) AAS
（>>30-31）
> ５）∈−順序は、推移的なので、xの任意の元 u ∈ x が成立つと、x ∈ y → u ∈ ｙ成立（∵推移性より）
> だから、この場合は”x ∈ y → x ⊂ y ”成立
∈−順序は、推移的なので、
u ∈ x ∈ ｙ なら
三重丸を描けば良い
一番内側がｕ、中間がｘ、一番外がｙ
省10
56(1): 2019/09/11(水)22:14 ID:9NZxnffP(2/6) AAS
サルが分かっていなかったのは現代数学の集合論ではなく中学数学の集合論でした（＾＾
57(1): 2019/09/11(水)22:16 ID:9NZxnffP(3/6) AAS
だから言ってるだろサル
近所の中学生に集合を教えてもらえと
おまえは一つも言いつけを聞かんサルだな
だから人間になれんのだ
58(1): 2019/09/11(水)22:26 ID:9NZxnffP(4/6) AAS
>>36
>・>>30での、筑波大 坪井先生
> 公理的集合論「x ∈ y の直観的な意味は，もちろん元x が集合y に属することであるが，x も一つの集合だと考える」
> （”元x も一つの集合だと考える”とすると、直感的には、x ∈ y → x ⊂ y だろうと）
相変わらず妄想が激しいなｗ
書かれていないことまで自分勝手に妄想してる
これは数学以前、病気
省3
59(1): 2019/09/11(水)22:33 ID:9NZxnffP(5/6) AAS
こりゃ時枝記事どころじゃないなｗ
中学数学も分かってなかったとはｗ
60(1): 2019/09/11(水)22:35 ID:9NZxnffP(6/6) AAS
>>51
どうやって{{}}のベン図書くのか答えを期待してたら
>おサルご苦労
>一匹だけ戻ってきたか
>一番低脳なのが
>さあ、踊ってくれ ｂｙ サル回しのスレ主より ｗ（＾＾；
だってさ、アホくさ
61: 2019/09/12(木)06:33 ID:0bjYSisu(1/6) AAS
>>55
> (∈−順序は推移的なので）”x ∈ y → x ⊂ y ”成立
そりゃx,yが順序数なら、成り立つよ
しかし一般の集合は順序数じゃないだろｗ
順序数でない集合なんて
有限集合でもいくらでも作れる
たとえば{{{}}}とか
省1
62: 2019/09/12(木)06:40 ID:0bjYSisu(2/6) AAS
>>55
＞一番内側がｕ、中間がｘ、一番外がｙ
＞それをベン図で解釈すれば、
＞u ⊂ x ⊂ ｙ
だろ？ベン図で描けるのはあくまで
u ⊂ x ⊂ ｙ
であって
省18
63: 2019/09/12(木)06:43 ID:0bjYSisu(3/6) AAS
>>56-60
＞分かっていなかったのは現代数学の集合論ではなく中学数学の集合論
ほんと、ヒドイよね
ここまで酷い馬鹿はめずらしいｗ
∈が推移的な集合（まさに推移的集合というｗ）なんて特殊なのにね
阪大どころか工業高校すら無理だろ
もう特殊学級レベルだねｗ
64(1): 2019/09/12(木)06:47 ID:0bjYSisu(4/6) AAS
一般の集合 ⊃ 推移的集合 ⊃ 順序数
ニワトリの誤り
順序数同士でのみ成り立つことを見落として
一般の集合で成り立つと勘違いしたｗ
注意力散漫の上に自分の誤りにも気づけない
アクセルだけでブレーキのない車だな
危険この上もない
65: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/12(木)07:50 ID:cMDg8k3q(1/6) AAS
おサルの踊りで、このガロアスレの勢いが3位にランクインした。ありがとう ｂｙ サル回しのスレ主ｗ（＾＾
66(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/12(木)08:12 ID:cMDg8k3q(2/6) AAS
>>55 追加
分かりました、分かりました（＾＾
要するに、正則性公理→フォン・ノイマン宇宙やね
そして、我々が通常学部数学扱う集合は、フォン・ノイマン宇宙内
フォン・ノイマン宇宙内は、「遺伝的整礎集合全体のクラス」
で、モストフスキ崩壊補題（>>37）「ZFの集合モデルは集合状かつ外延的である。 モデルが整礎的なら本補題により、ZFの推移的モデルと一意的に同型である」
なので、普通（ＺＦＣ内で）はベン図で議論してよいってことだな（＾＾
省16
67(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/12(木)08:13 ID:cMDg8k3q(3/6) AAS
>>66
つづき
外部ﾘﾝｸ:ja.wikipedia.org
フォン・ノイマン宇宙
(抜粋)
フォン・ノイマン宇宙 Vとは、遺伝的整礎集合全体のクラスである。この集まりは、ZFCによって定義され、ZFCの公理に解釈や動機を与えるためにしばしば用いられる。
整礎集合の階数(rank)はその集合の全ての要素の階数より大きい最小の順序数として帰納的に定義される。
省16
68(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/12(木)08:17 ID:cMDg8k3q(4/6) AAS
>>64
>一般の集合 ⊃ 推移的集合 ⊃ 順序数
（>>66より）
「正則性公理は全ての集合が整礎的であることを要求していて、だからZFCでは全ての集合がVに属する。
しかし、正則性公理を除いたり否定するような別の公理系を考えることも可能である(例えばen:Aczel's anti-foundation axiom)。
このような非整礎集合の集合論は一般的に採用はされていないが、研究する余地はある。」
（フォン・ノイマン宇宙 ja.wikipediaより）
省8
69: 2019/09/12(木)09:26 ID:Wqo+hvYQ(1/2) AAS
バカ丸出し
70(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/12(木)11:08 ID:2dM7jvB/(1/7) AAS
メモ
外部ﾘﾝｸ:www.nikkei.com
クラウドより速い「エッジ」、IoT時代の新インフラ
2019/9/12 4:30日本経済新聞 電子版
（企業報道部 堀越功、山田遼太郎、北郷達郎、清水孝輔）
［日経産業新聞 2019年9月5日付を再構成］
(抜粋)
省6
71(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/12(木)11:09 ID:2dM7jvB/(2/7) AAS
>>70
つづき
■宇宙から画像送信
宇宙でエッジを導入する動きも出ている。宇宙航空研究開発機構（JAXA）は、宇宙船で撮影した画像の中から、カメラに内蔵するAIで適切な画像を選んで地球に送る検討を始めた。カメラに内蔵したAIで、1秒当たり画像30枚の良しあしを判断できる。ソフトウエアの検証は終わり、現在はハードウエアの小型化に取り組んでいる。
▼エッジコンピューティング 情報端末や制御機器でデータを処理したり、モノや利用者に近いエリアにサーバーを分散配置して情報処理したりすること。エッジは「端」を意味し、ネットワークを介して幅広いエリアの情報処理を集中して行うクラウドコンピューティングの限界から生まれた。
あらゆるモノがネットにつながる「ＩｏＴ」の到来で、膨大なモノから大量のデータが生成されつつある。大量のデータをクラウドで処理すると２つの課題が生じる。ネットワークを介してクラウドまでデータ転送する際に時間がかかってしまう点と、データの転送コストが膨れ上がる点だ。
一方、エッジコンピューティングはデータの転送距離が短いため、ほぼリアルタイムで処理結果を現場に戻せる。データの転送コストも抑えられる。
省4
72: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/12(木)11:10 ID:2dM7jvB/(3/7) AAS
>>71 補足
”■集中と分散繰り返す
ITインフラはメインフレームによる集中処理から、パソコンや小型サーバーへの移行、その後クラウドの台頭と、集中と分散を繰り返してきた歴史を持つ。クラウドではIBMやアマゾン・ドット・コムなど米国企業が世界を席巻した。
エッジにより分散化の波が再び起きつつある。欧米や中国企業も動き出しているが、覇者はまだいない。日本勢が世界で存在感を高められるか注目される。”
いやいや
面白いですねｗ（＾＾
73(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/12(木)11:19 ID:2dM7jvB/(4/7) AAS
>>68 追加
外部ﾘﾝｸ:kururu.hatenabloｇ.com/entry/20060608/1149748301
kururu_goedel’s diary 2006-06-08
正則性公理
(抜粋)
haskellもプログラミングにおける型理論もわかりませんが、正則性公理が型に通じているというのは多分鋭い考察です。ゲーデルがLの構成について講義したときに、まず最初にRから始めるバージョンをやったらしいです。そうすると、ラッセルの型理論に近い形で広がっていきます。
事実、ゲーデルはLの構成をラッセルの理論の拡張だと思っていたようです。これは、このあたりの歴史の本を見ると出ています(=ソース探すの面倒だから各自でお願い)。
省7
74(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/12(木)12:05 ID:2dM7jvB/(5/7) AAS
>>73 追加
外部ﾘﾝｸ:ja.wikipedia.org
整礎的集合
(抜粋)
整礎的集合（せいそてきしゅうごう、well-founded set）とは、空集合に和集合演算やべき集合演算などの集合演算を繰り返し施すことにより得られる集合である。
集合の階数
整礎的集合 x に対して、x ∈ Vα + 1 をみたす最小の順序数 α を x の階数（rank）といい、これを rank(x) で表す。
省3
75(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/12(木)13:33 ID:2dM7jvB/(6/7) AAS
>>74 追加
（>>36より再録）
・（>>31より）∈−順序は、推移的なので、xの任意の元 u ∈ x が成立つと、x ∈ y → u ∈ ｙ成立（∵推移性より）
だから、この場合は”x ∈ y → x ⊂ y ”成立
(引用終り)
順序というのは、すべからく、推移律を満たすものである（下記）ｗ（＾＾；
外部ﾘﾝｸ:ja.wikipedia.org
省15
76: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/12(木)14:04 ID:2dM7jvB/(7/7) AAS
メモ
外部ﾘﾝｸ:style.nikkei.com
ブックコラム NIKKEI STYLE
パソコンも計算間違い 0.1+0.1+0.1=0.3じゃない!?
『文系プログラマーのためのPythonで学び直す高校数学』から
2019/9/12
(抜粋)
省6
77(1): 2019/09/12(木)19:30 ID:0bjYSisu(5/6) AAS
>>66
>普通（ＺＦＣ内で）はベン図で議論してよいってことだな
これはヒドイｗ
>>68
>非整礎集合の集合論を考えていたのか
これもヒドイｗ
{{{}}}(順序数どころか推移的集合でもない)
省14
78(1): 2019/09/12(木)19:31 ID:0bjYSisu(6/6) AAS
>>75
>∈−順序は、推移的
>順序というのは、すべからく、推移律を満たすものである
そもそも全ての集合に∈−順序がある
（つまり、全ての集合が
「∈ がその上で整列順序になる集合」）
というのが根本的誤解
省1
79: 2019/09/12(木)21:37 ID:Wqo+hvYQ(2/2) AAS
もうサルは黙ってろよ
アホは発言禁止
80(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/12(木)23:25 ID:cMDg8k3q(5/6) AAS
おサルが二匹、踊ってくれるのか？ ありがとう ｂｙ サル回しのスレ主より（＾＾
81(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/12(木)23:53 ID:cMDg8k3q(6/6) AAS
>>77-78
言い訳必死だな、サルはｗ（＾＾
・∈−順序は、公理的集合論ＺＦＣの目玉の重要キーワードでしょ？
これで、帰納法及び超限帰納法が可能になるんだ
・フォン・ノイマン宇宙（>>67）も、重要キーワードでしょ？
「V=WF ここで、Vはフォン・ノイマン宇宙を指し、WFは0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラスを指す」
そして、フォン・ノイマン宇宙で、学部数学なら展開できる
省8
82(2): 2019/09/13(金)00:12 ID:T2CuI5jY(1/4) AAS
これテンプレに入れとけサル
数学板の名物になるぞｗ
>>842
＞Ω ⊂ R^N と Ω ∈ R^N はまったく別ものである
「まったく別もの」ではない
詳しくは、>>832の「ZFC公理系について：その1（及び2）」を読んでみな
簡単に書くと
省6
83: 2019/09/13(金)06:47 ID:QEVZazxA(1/18) AAS
>>80
＞∈−順序は、公理的集合論ＺＦＣの目玉の重要キーワードでしょ？
いいやｗ
おまえ日本語が読めない馬鹿だろｗ
＞フォン・ノイマン宇宙では、∈−順序が成り立ち、∈が推移律を保つ
＞推移律：x∈y∈z で、ここでｘはｙの任意の元として、
＞ｘに対し∀x∈zが成立→即y⊂z成立 かつ x⊂z成立
省16
84(2): 2019/09/13(金)06:48 ID:QEVZazxA(2/18) AAS
>>81
＞∈−順序は、公理的集合論ＺＦＣの目玉の重要キーワードでしょ？
いいやｗ
おまえ日本語が読めない馬鹿だろｗ
＞フォン・ノイマン宇宙では、∈−順序が成り立ち、∈が推移律を保つ
＞推移律：x∈y∈z で、ここでｘはｙの任意の元として、
＞ｘに対し∀x∈zが成立→即y⊂z成立 かつ x⊂z成立
省16
85(1): 2019/09/13(金)06:53 ID:QEVZazxA(3/18) AAS
>>81
＞数学者って人種は「おまいら高校の極限はゴマカシなんだ」みたいなのスキでね
＞だから、もしベン図がゴマカシ（不正確と言ってもいい）だったら、
＞きっとそういう人が出てくるはず
＞「y∈zとしても、ｙの元で、zに含まれない元が存在するんだ。
＞ だから、ベン図に反例がある（あるいは描けない）」
＞みたいなことをいう人がね
省9
86: 2019/09/13(金)06:56 ID:QEVZazxA(4/18) AAS
>>82
数学板名物、ニワトリ集合論ｗｗｗ
＞１）二つの集合A,Bで、A ∈ B → A ⊂ B
＞２）二つの集合A,Bで、A ⊂ B → A ∈ B
＞３）”A ∈ B → A ⊂ B” ＆ ”A ⊂ B → A ∈ B”が成立つから、二つは同値
結論、集合＝順序数
（ニワトリ曰く、「だって任意の集合は選択公理で整列可能だもん！」ｗｗｗ）
87: 2019/09/13(金)06:58 ID:QEVZazxA(5/18) AAS
>>80
＞おサルが二匹、踊ってくれるのか？
ニワトリ一羽、今日もトンデモ主張をコケコッコーｗ
さすが正規部分群を誤解する馬鹿だけのことはあるｗｗｗ
88: 2019/09/13(金)07:14 ID:QEVZazxA(6/18) AAS
⊂に関しては、任意の集合Ｘ,Ｙ,Ｚで
X⊂Ｙ Ｙ⊂Ｚ ならば Ｘ⊂Ｚ
がいえる
し・か・し
∈に関しては、任意の集合Ｘ,Ｙ,Ｚで
X∈Ｙ Ｙ∈Ｚ ならば Ｘ∈Ｚ
とはいえない
省3
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
92(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)11:22 ID:nJx1ApW/(1/7) AAS
>>81
>・おっと、そもそもあなたは、公理的集合論では、集合の元もまた一つの集合ってこと、公理的集合論ではおサルやイヌの集合は登場しないのだよ。素朴集合論の思考のクセが抜けてないみたいだねｗｗ（＾＾
いつもお世話になっております”再帰の反復”さん（＾＾
下記が、素朴集合論と公理的集合論との関係をうまく説明している
坪井先生の（>>90）「定義18. 1. x が推移的である(Trans(x)) とは，∀y∀z(z ∈ y ∈ x → z ∈ x)」も、これで理解しやすくなるでしょ（＾＾
（参考）
外部ﾘﾝｸ:lemniscus.hatenabloｇ.com/entry/20120616/1339838683#sec6-7
省34
93(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)11:23 ID:nJx1ApW/(2/7) AAS
>>92
つづき
しかし内包公理を取らない立場では、aとbが等しいかどうかを判断するためには何らかの新しい原理が必要になる。
そして、そのような新たな原理を積極的に提案するよりも初めから自分自身を含むような集合を排除して考えようということになる
(この場合必ずしも自分自身を含む集合は存在しないと強く主張する必要はなくて、そういうものは排除した範囲で考えようという立場かもしれない)。
いずれにしても自分自身を含む集合を認めないなら、同様の理由で
a∈b∈aとかa∈b∈c∈aとなるような集合も認められない。もっと一般的に
省14
94(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)11:24 ID:nJx1ApW/(3/7) AAS
>>93
つづき
正則性公理
反復的集合観に先立って次の整礎原理を述べた。
整礎原理
a1∋a2∋a3∋a4∋a5∋…とどこまでも続くような集合は存在しない。
これを次のように公理化する。
省11
95(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)11:24 ID:nJx1ApW/(4/7) AAS
>>94
つづき
7. ZFC
ここまで出てきた公理を列挙すると次のようになる。
8. クラス
ZFCでは内包公理は認められない。
しかし、ある概念(を定義した述語)P(x)があるならばそれに対応する集合{x|P(x)}について語るというのは数学でごく普通におこなわれることなので、集合論でもそのような言い方を使いたい。
省15
96: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)11:29 ID:nJx1ApW/(5/7) AAS
>>95 追加
なんか文字化けあるね
英文からのコピペ
貼付けの目視では、正常なんだが
投稿後見ると
化けている
a partially ordered set (X, ?)
省9
97: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)11:43 ID:nJx1ApW/(6/7) AAS
おサルが、「無限小数激論スレ★1」へ行ったみたいで
いま、このガロアスレは、勢いで5位か
まあまあだな
ガロアスレの58（20代くらい前）が、いまだ13位って、どんだけ過疎板なんだよ
数学板って
”プロ固定”とか、うるさくいうやつが過去居たけど
これみりゃ、”プロ固定”なら、こんな過疎板やめて、他の板へとっくに移っているって、分かるでしょ
省19
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
反復的集合観と公理的集合論
省17
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)
>となることである．
ニワトリは日本語も正しく読めないのか？
省17
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 に属しているということである．」
省18
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
ＵＲＬがＮＧワードとかで通らなかったので、全角に直した
まあ、キーワード検索で飛んでくれ（＾＾；
105(1): 2019/09/13(金)22:02 ID:T2CuI5jY(2/4) AAS
>>91
>>おまえは{}、{{}}、{{{}}}の三者を
>>どうベン図で書くつもりだ？
>大中小の丸でいいでしょ
>三重丸で
>{}は小丸、{{}}は中丸、{{{}}}は大丸
これって知識とか関係無いよね
省3
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
111: 2019/09/13(金)22:15 ID:T2CuI5jY(3/4) AAS
>>92
素朴集合論とか公理的集合論とか以前の問題ｗ
バカ過ぎｗ
上下前次1-新書関写板覧索設栞歴
あと 891 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.052s