21/05/16 13:36:28.77 9vjOuok2.net
>>20
何を批判されているのか理解してから書けば良いのに。
的外れな誤魔化し解答。
51:現代数学の系譜 雑談
21/05/16 13:36:39.53 vPH1Cr+L.net
>>37
( ..., -4, -2, 0, 2, 4, 6, 8, ... )
から
左半分の無限列を取ります
..., -4, -2, 0
一番右は、0 でこれが最後で、その左は-2です
無限列です
・・,1/n,・・,1/2,1/1(=1)
↓↑
・・, n ,・・, 2 , 1
不等号を入れます
・・<1/n<・・<1/2<1/1(=1)
↓↑
・・> n >・・> 2 > 1
一番右？ 1と1/1(=1)です
一つ左？ 2と1/2です
抽象思考が苦手なんですね
無理しなくてもいいよ（＾＾；
52:現代数学の系譜 雑談
21/05/16 13:40:12.76 vPH1Cr+L.net
>>50
補足
(引用開始)
・・<1/n<・・<1/2<1/1(=1)
↓↑
・・> n >・・> 2 > 1
(引用終り)
不等号の向きが逆になっているところがみそです
まあ、抽象思考ができないなら（＾＾
難しいかな？（＾＾；
53:１３２人目の素数さん
21/05/16 13:42:01.27 K5qR5NBQ.net
>>36
>上昇列で、無限列が出来た
>とする
無限上昇列には最後の項は無いですが？
>それを、勝手に降下列と解釈したり
>有限だと
>主張する
最後が無い上昇列は下降列になり様が無いですけど？さかさまに辿ろうにも初項が無い列なんて存在しませんから。
逆に最後がある上昇列は有限上昇列ですから、さかさまに辿れば有限下降列ですけど？
>それってヘン～！ ｗｗ（＾＾；
へんなのは＜１の左が何であるか答えられないのに列だと言い張るキミですね
54:１３２人目の素数さん
21/05/16 13:52:41.83 K5qR5NBQ.net
>>43
>この順で、数列ができる
>(0, 1, 2, 3, ............)
>と書ける
はい。
最後の項は無いですけど？ それで？
>抽象的な思考ができないと
>ついてこれないよね
>無理しなくてもいいよ
>落ちこぼれさん（＾＾；
抽象的思考を「イカサマを許す思考」と誤解しているようですね。
＜１の左が何か答えられないのはただのイカサマに過ぎません。抽象的思考とは何の関係もありません。
55:１３２人目の素数さん
21/05/16 14:04:25.15 K5qR5NBQ.net
>>50
>( ..., -4, -2, 0, 2, 4, 6, 8, ... )
>から
>左半分の無限列を取ります
>..., -4, -2, 0
>一番右は、0 でこれが最後で、その左は-2です
>無限列です
0から始まり左へ並べた列なんでしょ？
ならその場合の最後とは一番左のことですね。
で、一番左は無いですね。はい、それで？
>・・,1/n,・・,1/2,1/1(=1)
> ↓↑
>・・, n ,・・, 2 , 1
>
>不等号を入れます
>
>・・<1/n<・・<1/2<1/1(=1)
> ↓↑
>・・> n >・・> 2 > 1
>
>一番右？ 1と1/1(=1)です
>一つ左？ 2と1/2です
長々と無駄なこと書かなくて良いですよ？
逆に並べたときの最後である一番左は無いですね。はい、それで？
>抽象思考が苦手なんですね
>無理しなくてもいいよ（＾＾；
え？？？
列を逆に並べるだけのことが抽象思考なんですか？逆に並べるだけなんて幼稚園児でもできますけど？
56:１３２人目の素数さん
21/05/16 14:07:44.25 K5qR5NBQ.net
>>51
>不等号の向きが逆になっているところがみそです
＜列を逆に並べたら当然そうなりますよねｗ みそ？ｗ
>まあ、抽象思考ができないなら（＾＾
>難しいかな？（＾＾；
逆に並べるだけなら幼稚園児でもできますけど、どこが抽象思考なんですか？
57:１３２人目の素数さん
21/05/16 14:10:16.26 K5qR5NBQ.net
落ちこぼれクン、だんだん劣化してるねｗ
もともと酷かったけど輪をかけて酷くなってる
58:１３２人目の素数さん
21/05/16 14:13:43.14 K5qR5NBQ.net
>>49
仰る通りです。
彼は何を指摘されてるかすら理解できないようです。
指摘されて間違いに気付くのがふつーの馬鹿。これは救い様がある。
彼は救い様の無い馬鹿。
59:現代数学の系譜 雑談
21/05/16 14:39:33.40 vPH1Cr+L.net
初項と末項がある無限数列
の例
-1<-1/2<-1/3<・・<-1/n<・・<0<・・<1/n<・・<1/3<1/2<1
初項-1、末項1
0が集積点で
可算無限長の数列ができた
初等的な例ですがね
抽象思考が苦手なんですね
無理しなくてもいいよ（＾＾；
60:現代数学の系譜 雑談
21/05/16 14:48:09.78 vPH1Cr+L.net
おサルの一匹は、数学科出身だという
思うに、数学科には向いていないのでは？
数学科に行ったのが、不幸だったかもね
その頭じゃ、卒業がやっとだったろうね
もう一匹も、なんか落ちこぼれっぽいおサルさん
間違っている方に、
チョウチンを付けている
哀れなやつ（＾＾；
61:１３２人目の素数さん
21/05/16 14:54:17.77 K5qR5NBQ.net
>>43
>抽象的な思考ができないと
>ついてこれないよね
>無理しなくてもいいよ
>落ちこぼれさん（＾＾；
抽象的思考とはものごとを抽象化して思考すること。
抽象化とは、一言で言えば適用範囲を拡大すること。理論の抽象度が上がるほどその理論の適用可能範囲が拡大します。
例えば、連立一次方程式の解法を抽象化した線型代数学は線型性を満たすあらゆる数学的対象に適用可能。
落ちこぼれクン、線形空間、線形写像の定義をそらで言えますか？こちらも大学一年4月の課程ですよ？
＜１の左が何か答えないのはただのイカサマであって、抽象的思考とは何の関係もありません。
62:現代数学の系譜 雑談
21/05/16 14:55:14.04 vPH1Cr+L.net
>>58
補足
>初項と末項がある無限数列
>の例
>-1<-1/2<-1/3<・・<-1/n<・・<0<・・<1/n<・・<1/3<1/2<1
有理数体Qが、稠密で全順序であることから
この程度の例は
いくらでも作れる
わざわざ例示するまでもないこと
本質は、
「有理数体Qが、稠密で全順序であること」
だよ（＾＾；
63:１３２人目の素数さん
21/05/16 15:01:34.57 K5qR5NBQ.net
>>58
>初項と末項がある無限数列
>の例
>-1<-1/2<-1/3<・・<-1/n<・・<0<・・<1/n<・・<1/3<1/2<1
>初項-1、末項1
>0が集積点で
>可算無限長の数列ができた
>初等的な例ですがね
例になってないですね。なぜならそれ＜列じゃないですから。
＜列であると言い張るなら、0のすぐ右の項が何であるか答えて下さい。
>抽象思考が苦手なんですね
>無理しなくてもいいよ（＾＾；
0のすぐ右の項が何であるか答えないのはただのイカサマであって抽象思考とは何の関係もありません。
64:１３２人目の素数さん
21/05/16 15:02:55.32 K5qR5NBQ.net
>>59
このスレにサル並みの頭脳の持ち主は一人しかいませんよ？
あなたですよ？落ちこぼれクン
65:１３２人目の素数さん
21/05/16 15:13:53.47 K5qR5NBQ.net
>>61
>有理数体Qが、稠密で全順序であることから
>この程度の例は
>いくらでも作れる
では0を含む例をひとつ作って下さい。
その例において0の次の有理数が何であるか答えて下さい。
>わざわざ例示するまでもないこと
何ですか？その喧嘩でフルボッコされておいて「今日のところはこのくらいにしといてやる」みたいな言い方ｗ
「例示するまでもない」は「例示できない」の間違いでしょう。
>本質は、
>「有理数体Qが、稠密で全順序であること」
>だよ（＾＾；
本質を語るのは、0の次の有理数を答えてからにして下さいね。
66:１３２人目の素数さん
21/05/16 15:20:30.51 K5qR5NBQ.net
抽象的思考を「イカサマを許す思考」と誤解している落ちこぼれクンに数学は無理なので数学板への書き込みは遠慮して頂けますか？
67:１３２人目の素数さん
21/05/16 15:26:47.35 K5qR5NBQ.net
もし
「0の次の有理数が何であるかは定まらない、定め様が無い。しかし＜列は存在する。」
と言うなら、不等号＜の定義から勉強し直して下さい。
68:現代数学の系譜 雑談
21/05/16 16:31:03.84 vPH1Cr+L.net
>>58
(引用開始)
初項と末項がある無限数列
の例
-1<-1/2<-1/3<・・<-1/n<・・<0<・・<1/n<・・<1/3<1/2<1
初項-1、末項1
0が集積点で
(引用終り)
（補足説明）
列の前半は
-1<-1/2<-1/3<・・<-1/n<・・
↓↑
1, 2, 3, ・・ ,n , ・・
の（自然数Nとの）全単射
列の後半は
・・<1/n<・・<1/3<1/2<1
↓↑
・・, n ,・・, 3 , 2, 1
の（自然数Nとの）全単射
このような対応がつくので
列の前半、後半とも
可算無限長です（＾＾
なんか、落ちこぼれおサルは
議論に負けたくないと
くさい屁理屈こねて
墓穴を大きくしている
あたま悪すぎｗ（＾＾；
69:１３２人目の素数さん
21/05/16 16:54:15.52 04xEM0RP.net
>>43
>自然数N＝{0, 1, 2, 3, ............}
70: >これ普通 >自然数を全て書き上げることはできない >”.......”などとするのは、数学では普通 >この順で、数列ができる >(0, 1, 2, 3, ............) >と書ける >抽象的な思考ができないと >ついてこれないよね 雑談君、「抽象」って言葉の意味、知ってる？ 上記はただの省略ｗ ついでにいうと･･･ではなにも云ったことにならない Nの定義 ・0を要素とする ・nが要素であれば、その後者n'も要素である 上記２点を満たす最小の集合 これもただの定義であって、別に抽象でもなんでもない ちゅうしょう【抽象】 《名・ス他》 多くの物や事柄や具体的な概念から、 それらの範囲の全部に共通な属性を抜き出し、 これを一般的な概念としてとらえること。
71:１３２人目の素数さん
21/05/16 16:59:21.83 04xEM0RP.net
>>50
＞・・,1/n,・・,1/2,1/1(=1)
＞ ↓↑
＞・・, n ,・・, 2 , 1
＞不等号を入れます
＞・・<1/n<・・<1/2<1/1(=1)
＞ ↓↑
＞・・> n >・・> 2 > 1
＞一番右？ 1と1/1(=1)です
＞一つ左？ 2と1/2です
＞抽象思考が苦手なんですね
それ、抽象でもなんでもないただの文字列操作ですｗ
じゃ、文字列遊びが好きな幼児の雑談くんにしつも~ん
０・・,1/n,・・,1/2,1/1(=1)
↓↑
∞・・, n ,・・, 2 , 1
で、間に不等号をいれるっていうけど
Ｑ１． ０＜＊ として ＊に入る数を答えよ
Ｑ２、 ∞＞＊ として ＊に入る数を答えよ
チャーシューメンマとかいって誤魔化すのナシねｗ
72:１３２人目の素数さん
21/05/16 17:01:57.79 04xEM0RP.net
>>53
＞抽象的思考を「イカサマを許す思考」と誤解しているようですね。
カレ、具体的に答えを示せない言い訳に
「チャーシューとメンマ」っていってるみたいです
オレ、担々麺が好きなんだよなｗ
73:１３２人目の素数さん
21/05/16 17:06:24.78 04xEM0RP.net
>>58
＞初項と末項がある無限数列の例
＞-1<-1/2<-1/3<・・<-1/n<・・<0<・・<1/n<・・<1/3<1/2<1
＞初項-1、末項1
＞0が集積点で
＞可算無限長の数列ができた
＞初等的な例ですがね
初歩的に誤ってますがねｗ
どうやら整列順序＝全順序と誤解してるみたいですね
＞列でも＜列でも、「集積点」は存在しませんよ
直前と直後が存在しないとダメですから
＞抽象思考が苦手なんですね
論理的思考が全くできないパクチー🐎🦌なんですね
数学やめて草原でも走り回ってたらどうですか？ｗ
74:１３２人目の素数さん
21/05/16 17:08:55.47 04xEM0RP.net
>>60
＞ ＜１の左が何か答えないのはただのイカサマであって、
＞ 抽象的思考とは何の関係もありません。
整列順序の定義すら理解できない🐎🦌の雑談君に何言っても無駄かもね
だから彼は大学１年の４月で数学から落ちこぼれるんだよ
大阪大？聞いて呆れるｗｗｗ
75:１３２人目の素数さん
21/05/16 17:12:35.66 04xEM0RP.net
>>61
＞本質は、
＞「有理数体Qが、稠密で全順序であること」
＞だよ
Qは整列順序集合ではないよ
知らないの？
{x∈Q|x>0}に最小元ないじゃん
ほら、整列順序の定義に真っ向から反したｗ
あんた、定義くらい理解しようよ
🐕🐈じゃあるまいしｗ
76:１３２人目の素数さん
21/05/16 17:16:07.94 04xEM0RP.net
>>67
雑談君の例は、「<0<」のところでアウ！！！
御愁傷様(-||-)
地獄に堕ちてくださいね
77:１３２人目の素数さん
21/05/16 17:19:15.69 04xEM0RP.net
>>67
正誤表
誤 おサル
正 在阪関西人の変態 雑談君
とっととピョンヤンに帰りなよ
78:１３２人目の素数さん
21/05/16 17:21:32.45 04xEM0RP.net
ぶっちゃけ、
79:全順序と整列順序の違いも理解できん奴に 正規部分群の定義なんか理解できるわけないよな ガロア理論どころか群論すらムリなので 数学諦めて数学板から失せろ この在阪朝鮮猿め！
80:１３２人目の素数さん
21/05/16 17:23:20.46 04xEM0RP.net
このスレも 🐎🦌が悪あがきするせいで
あっちゅー間に埋まりそうだなｗｗｗｗｗｗｗ
81:１３２人目の素数さん
21/05/16 17:29:30.26 K5qR5NBQ.net
>>67
>列の前半は
>-1<-1/2<-1/3<・・<-1/n<・・
> ↓↑
> 1, 2, 3, ・・ ,n , ・・
>の（自然数Nとの）全単射
はい、最後が無いですね。
>列の後半は
>・・<1/n<・・<1/3<1/2<1
> ↓↑
>・・, n ,・・, 3 , 2, 1
>の（自然数Nとの）全単射
はい、最後が無いですね。
えーっと、０はどこへ行ったのかな？
>このような対応がつくので
>列の前半、後半とも
>可算無限長です（＾＾
はい。０が無ければ。
でもあなたが<列だと言ってるものには0があるんですけど。
で、私の質問は「0のすぐ右は何か？」なんですけど、あなた答えてませんね。
>なんか、落ちこぼれおサルは
>議論に負けたくないと
>くさい屁理屈こねて
>墓穴を大きくしている
>あたま悪すぎｗ（＾＾；
頭が良いはずのあなたはなぜ０のすぐ右を答えられないんですか？
82:１３２人目の素数さん
21/05/16 17:36:05.87 04xEM0RP.net
>>78
＞頭が良いはずのあなた（＝雑談君）は
＞なぜ０のすぐ右を答えられないんですか？
お🐎🦌だからさｗ
背理法で証明
１．雑談君は一応国立の大阪大学を出てるというから頭いいはず。
なら、０のすぐ右も答えられる筈
２．しかし、ちっとも答えられない
３．１と２は矛盾するので、雑談君は実は頭悪いｗ
大阪大学卒はフカシか、なんかの手違いで合格しただけかもしれんｗ
83:１３２人目の素数さん
21/05/16 17:40:38.07 04xEM0RP.net
雑談君が大学数学の初歩すら理解できない「論理障害」であることは明らか
ここでいう論理障害とは、論理的な思考能力が欠如していることを指す
文章を論理式として読解し、論理的な推論によって結論を導く能力がない
だから、具体的な図や式をいじる操作しかできない
それじゃ大学数学は全く理解できない
いますぐ数学書を全部売り払ったほうがいい 無駄だから
84:１３２人目の素数さん
21/05/16 18:51:41.15 K5qR5NBQ.net
>>67
>くさい屁理屈こねて
そう思うのはキミが理屈を理解できないからだね。
"＜"の左右が定まっていない＜列など存在しない、この理屈をね。
85:現代数学の系譜 雑談
21/05/16 19:59:09.80 vPH1Cr+L.net
>>67
下記
”特別な順序型
Q を有理数全体の集合、R を実数全体の集合とし、<Q と <R をそれぞれ Q 上と R 上の通常の大小関係とすると、(Q, <Q) と (R, <R) はともに全順序集合である。通常、type(Q, <Q) は η 、type(R, <R) は λ で表される。”
おサルが屁理屈こねても、ムダムダｗ（＾＾；
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
順序型
順序型（じゅんじょがた、order type）とは、全順序集合同士の "形" を比較するために、その構造のみに注目することによって得られる概念である。
正式な定義
上の説明では type(A, <A) をきちんと定義したことにはならない。なぜなら、全順序集合の "形" とは何かが定義されていないからである。(※) をみたすようにすべての全順序集合 (A, <A) に対して type(A, <A) を定義する方法として、まず次のようなものが考えられる。それは、(A, <A) と同型な順序集合全体の集合を type(A, <A) と定義する方法である。実際、このように定義すれば (※) が成り立つことが示せるので何の問題もないように思えるかもしれない。だが、この方法には一つ大きな欠点がある。それは、A が空集合でない限り (A, <A) と同型な順序集合全体の集合というものは存在しないことが（集合論の公理から）示されるということである。つまり、そのような集まりはあまりに大きすぎるため集合になることができないのである。したがって上のような仕方で type(A, <A) を定義することはできない。そこで、この方法を少し修正して次のように順序型を定義する：
特別な順序型
Q を有理数全体の集合、R を実数全体の集合とし、<Q と <R をそれぞれ Q 上と R 上の通常の大小関係とすると、(Q, <Q) と (R, <R) はともに全順序集合である。通常、type(Q, <Q) は η 、type(R, <R) は λ で表される。
つづく
86:現代数学の系譜 雑談
21/05/16 19:59:31.38 vPH1Cr+L.net
>>82
つづき
整列順序型と順序数
整列集合の順序型を特に整列順序型と呼ぶ。α を順序数とし ∈α を α 上の所属関係とすると、(α, ∈α) は整列集合なので type(α, ∈α) は整列順序型である。逆に、任意の整列集合は必ずある順序数 α に対する (α, ∈α) と同型なので、整列順序型は必ずある順序数 α に対する type(α, ∈α) の形で表すことができる。以下では type(α, ∈α) を α で表す。
URLﾘﾝｸ(ja.wikipedia.org)
モストフスキ崩壊補題
一般化
全ての整礎的かつ集合状な関係は整礎的かつ集合状かつ外延的な関係に埋め込める。これはモストフスキ崩壊補題の変形を導く：整礎的かつ集合状な関係は、あるクラス上の∈-関係と同型である。(このクラスは一意的でないし、推移的である必要もない。)
応用
ZFの集合モデルは集合状かつ外延的である。 モデルが整礎的なら本補題により、ZFの推移的モデルと一意的に同型である。
ZFのあるモデルの∈-関係が整礎的であるというのは、そのモデル内で正則性公理が成立するという主張よりも強いことに注意。
(引用終り)
以上
87:現代数学の系譜 雑談
21/05/16 20:10:58.19 vPH1Cr+L.net
おサルたち、本当にあたまが悪いのか
はたまた、議論に勝ちたいがために、屁理屈をこねくり回して、あたまの悪いまねをしているのか
どちらか分からなかったが
どうも、前者らしいな
(>>82より)
”特別な順序型
Q を有理数全体の集合、R を実数全体の集合とし、<Q と <R をそれぞれ Q 上と R 上の通常の大小関係とすると、(Q, <Q) と (R, <R) はともに全順序集合である。通常、type(Q, <Q) は η 、type(R, <R) は λ で表される。”
なんだからさ
屁理屈こねくり回して、どうにもならんぜ
しっかり、
>>82-83を
噛みしめなよ
アホなおサルさんよ
88:１３２人目の素数さん
21/05/16 20:21:42.48 04xEM0RP.net
>>82
まーだ、Qが通常の＞では整列順序集合でないことが理解できないのかな？
文章一つ読めないパクチーは数学に興味もつなって 無駄だからｗｗｗ
89:１３２人目の素数さん
21/05/16 20:23:21.18 04xEM0RP.net
>>84
ついでにいうと Rも通常の＞では整列順序集合ではない
文章一つ読めないパクチーは数学に興味もつなって 無駄だからｗｗｗ
90:１３２人目の素数さん
21/05/16 20:27:07.42 K5qR5NBQ.net
>>82
誰もQ、Rが全順序集合でないなんて言ってませんが何か？
だからキミは何を指摘されてるかすら理解できない白痴と言われちゃうんだよ
91:１３２人目の素数さん
21/05/16 20:35:51.82 K5qR5NBQ.net
>>84
>”特別な順序型
>Q を有理数全体の集合、R を実数全体の集合とし、<Q と <R をそれぞれ Q 上と R 上の通常の大小関係とすると、(Q, <Q) と (R, <R) はともに全順序集合である。通常、type(Q, <Q) は η 、type(R, <R) は λ で表される。”
>なんだからさ
なんだから何？
えーっと、キミ、何を指摘されてるか分かってるかな？
>屁理屈こねくり回して、どうにもならんぜ
どうにもならないのは0の次の有理数、0の次の実数でしょうにｗ
92:現代数学の系譜 雑談
21/05/16 22:47:05.43 vPH1Cr+L.net
>>82
カントールのω解説 下記が参考になるな
URLﾘﾝｸ(www.jstage.jst.go.jp)
科学哲学 41-1（2008） C・S・パースとモデル論的論理学の初期局面
C・S・パースとモデル論的論理学の初期局面
石田正人
C・S・パース（1839-1914）
カントールにならい順序数を整列集合の順序型（order type）とみ
なすと，順序数の体系は 19 世紀数学のなかへ実に大胆な構造を導入したもの
であることが分かる．まず有限数を 2 つ掛け合わせても有限であるから，カ
ントールの超限順序数のクラスは非アルキメデス的である 11．また順序数の
算術（ordinal arithmetic）においては，可換性が一般には成り立たないが，
これは順序型からの構造的な帰結と言ってもよい．最も単純な例として 2・
ω ＝ ω ≠ ω・2 をとってみると，2・ω は，2 つの点の組をω個並べたに過
ぎないので，その構造はωと同じであるが，ω・2 は，ωが 2 つあるという
意味なので 12，1 つ目の無限なるω構造の後を 2 つ目のω構造が追いかける格
好になる（図 4）13．
これは
93:一見してωとは異なるより奇妙な構造である．同様に，1 ＋ω ≠ ω＋ 1 を考えてみると，1 ＋ω ＝ ω は，いわば変哲のない構造であるが，ω＋ 1 の方は，ω構造を追いかける余分な点が 1 つ，無限の自然数列の彼方に存す ることになり，あえて図示すれば風変わりな印象を与える． このように順序数が非アルキメデス的性格を示しながら無限なる上方の超 限順序数に至るまで整然と層化・体系化されているという洞察をもたらした のが，数学史上に輝くカントール無限論の相貌の一つとすると，無限に小さ い下方領域が反転的に層化されていてもよいのではないか，と考えるのは， ある意味で自然なことであろう．とくに ω・2 は，無限の構造を 2 つの点の 位置へ挿入したものと見ることも出来るから，このような意味では，無限の 構造を限りなく微小な領域の内側へ畳み込むというパースの発想は，カントー ルの無限論と本質的に関わっており，このことがパースをして実数論の超準 モデルへと導いた，とみることができる 14． つづく
94:現代数学の系譜 雑談
21/05/16 22:51:59.69 vPH1Cr+L.net
>>89
つづき
パースは，カントールの順序数を概ね好意的に解釈するが，それは，カントール自身が確信していたように，このような自然数の構造的延長が，ある意味では自然だからである．
例えば 0 と 1とを両端とする，通常の実数直線の 0 を含む正の部分をみて，{1-10^-n} なる数列，即ち，0，0.9，0.99，0.999，... と展開する数列をこの数直線上に取れば，1 という値に至る前に可算無限の項が続くことになる．
この数列の果てに数 1 があることを私たちは（例えば 0.9・・＝ 1 という形で）難なく受け入れているから，可算無限の数列のむこうになお数があるというのは，小さな縮尺のなかで見ればむしろ当然のことでもある．
延々と続くこれら無限の項に順序数を振っていくと，カントールのω，さらに先の ω＋ 1，遙か彼方のω＋ω ＝ ω・2 といった順序数を数え上げることになるが，順序型を数直線上へ投影してみると，超限順序数は意外に自然な直観に基づいているとも言える．
だが，このようなことは事後的にみれば自然に見えるだけで，超限順序数の導入がカントールという天才による革新的一歩であったことも明白な事実であり，カントールによる数の概念の革新の意義にパースは直ちに気付いている．順序型を通じて，数というものが本質的に構造である
ということ，それゆえ超限数もまた無限の構造であるという観念が，カントールにおいて具体的に示されただけでなく，カントールを通じて 19 世紀数学は非アルキメデス的変域に鮮烈に晒される機会をもった．
それに触発されたパースの実数論の超準モデルに対する直観が，モデル論的論理学の発展史に先立って開花しており，この文脈のなかで見られたときに，パースはより明確にモデル論的論理学の源流に立つとは言えまいか，というのが本節の論点である 15．
4. 数学的創造性の論理
超準解析によって無限小を再び解析学のなかへ取り入れたロビンソンは，超準解析が「未来の解析学（analysis of the future）」となると信じる理由がある，というゲーデルの言葉を有名にしたが，実際ゲーデルは，超準解析
対して肯定的な関心を示している（Godel [10], 311, 307-310）．
洗練された形ではないとはいえ，60 年以上前のパースが超準解析的な視点に立って解析学を見据えていたことはいささか驚きに値する
(引用終り)
以上
95:１３２人目の素数さん
21/05/16 23:27:30.81 K5qR5NBQ.net
>>89-90 いくらコピペして分かってる風を装っても、順序数の一番基本が分かってないから無意味。 「極限順序数は後続順序数ではない」
97:１３２人目の素数さん
21/05/16 23:30:11.26 04xEM0RP.net
>>91
そだね、順序の基本が分かってないから無意味
「全順序集合だが、整列順序集合出ないものがある」（例、Q,R）
98:１３２人目の素数さん
21/05/16 23:31:19.51 04xEM0RP.net
雑談 ◆yH25M02vWFhP は変態数学マニア
99:現代数学の系譜 雑談
21/05/17 07:10:08.14 QZBefhAf.net
>>84 追加
下記の定義 6.3 基数, 順序型, 順序数 分かり易い（＾＾
（参考）
URLﾘﾝｸ(researchmap.jp)
山口 睦 ヤマグチ アツシ (Atsushi Yamaguchi)
URLﾘﾝｸ(www.las.osakafu-u.ac.jp)
山口 睦 Atsushi Yamaguchi 大阪府立大
URLﾘﾝｸ(www.las.osakafu-u.ac.jp)
授業関連
幾何学
URLﾘﾝｸ(www.las.osakafu-u.ac.jp)
集合と位相空間についてのプリント (2021年4月23日版)
§6. 基数・順序数
注意 6.2 Set を集合全体の集まり, Ord を順序集合全体の集まり, W-ord を整列集合全体の集まりとする. このとき,
命題 6.1 により, 集合の対等 ～ は Set における「同値関係」であり, 命題 5.5 により, 順序同型 ' は Ord, W-ord に
おける「同値関係」である. また, W-ord は Ord の「部分集合」とみなされ, 順序構造を忘れる対応 Φ : Ord → Set,
Φ(X, ≦X) = X があり, これは「同値関係」を保つ写像である.
定義 6.3
(1) Set, Ord, W-ord をそれぞれ同値関係 ～, ', ' により類別した「商集合」Set/～, Ord/', W-ord/'の要素をそれぞれ, 基数, 順序型, 順序数と呼ぶ.
card : Set → Set/～, T : Ord → Ord/', t : W-ord → W-ord/'をそれぞれ「商写像」とする.
集合 X に対し, card X を X の基数または濃度, 順序集合 (X, ≦) に対し, T(X, ≦) を(X, ≦) の順序型, さらに (X, ≦) が整列集合ならば t(X, ≦) を (X, ≦) の順序数と呼ぶ.
(2) Set/～ における関係 ≦ を次で定義する. 基数 a, b に対し, card X = a, card Y = b となる集合 X, Y をとり,
「a ≦ b ⇔ X から Y への単射が存在する.」このとき, ≦ は, card X = a, card Y = b となる集合 X, Y の選び方によらない.
(3) W-ord/' における関係 ≦ を次で定義する. 順序数 μ, ν に対し, t(W, ≦W ) = μ, t(Z, ≦Z) = ν となる整列集合 (W, ≦W ), (Z, ≦Z) をとり,「μ ≦ ν ⇔ (W, ≦W ) から (Z, ≦Z) への順序単射が存在する.」
このとき, ≦ は,(W, ≦W ) = μ, (Z, ≦Z) = ν となる整列集合 (W, ≦W ), (Z, ≦Z) の選び方によらない.
つづく
100:現代数学の系譜 雑談
21/05/17 07:10:36.76 QZBefhAf.net
>>94
つづき
注意 6.4
(1) Φ : Ord → Set は「同値関係」を保つため φ・T = card・Φ を満たす写像 φ : Ord/' → Set/～ がただ一つ存在する.
(2) W-ord ⊂ Ord であり W-ord/' ⊂ Ord/' とみなされる. φ を W-ord/' に制限したものも φ で表すと, φは関係 ≦ を保つ. 順序数 μ に対し, φ(μ) を μ に対応する基数という.
定理 6.5 (Set, ≦) および (W-ord, ≦) は全順序集合である.
定理 6.6 集合 X に対し, card P(X) > card X である. 従って, いくらでも大きな基数が存在する.
定義 6.7 card N = ?0, card R = ? とおき, それぞれ可算基数, 連続の基数と呼ぶ. また, card X = ?0 である集合を可算集合, card X > ?0 である集合を非可算集合, card X ≦ ?0 である集合をたかだか可算な集合と呼ぶ.
系 6.10 X が無限集合ならば X ～ Y となる X の部分集合 Y がある.
定理 6.11 card P(N) = ?. 従って, ? > ?0 である.
補題 6.12 μ を順序数とする. このとき W-ord/' の部分順序集合 {ν ∈ W-ord/'| ν < μ} は整列集合である.
定理 6.13 順序数からなる任意の集合は整列集合である.
(引用終り)
以上
101:現代数学の系譜 雑談
21/05/17 07:23:35.47 QZBefhAf.net
>>94 追加
渕野先生（＾＾
定理9 ”R 上の順序型が ω1 の整列順序で R2 の部分集合として見たとき”
って、こんなところに「順序型」
（参考）
URLﾘﾝｸ(math.cs.kitami-it.ac.jp)
非可測集合は存在するのか？
渕野 昌 (Saka´e Fuchino)
00.12.05(火) (21.02.07(日 17:45(JST)) 微少な加筆／修正)
以下のテキストは，北海道大学大学院理学研究科における 2000 年 10 月 10 日の講演のため
のノートに基づくものである．
この文章は集合論の非専門家を読者として想定している．そのため，集合論の特別な知
識は仮定せずに読めるような記述になるよう試みたつもりである．いくつかの結果は証明
なしに引用したが，詳細については，[4] を参照されたい．
集合論版の逆数学と言えるような枠組で考えることで，選択公理を放棄することなく，し
かも，PD （第 3 節後半を参照）を仮定すれば非可測集合の存在しない楽園での解析学を，
決定性の公理の下での解析学やソロベイモデルでの解析学をある意味で内包する形で，展
開できるではないか，というのがその趣旨であるが，このような考えを支持すると考えら
れる射影的集合に関連したいくつかの結果について第 3 節で触れることになる．
P1
1 Vitali 集合
P7
3 射影的集合
第 1 節で見たように，選択公理を仮定した場合，Vitali の定理により非可測集合は存在す
る．しかし，Vitali の定理の証明の非可測集合の構成は，実数上に存在することが選択公
理によって保証された整列順序を用いる，というきわめて非構成的なものであった．それ
ではある意味で構成的とみなせるような実数の集合で非可測なものは存在するのか，とい
う自然な疑問がわいてくる．もし，ある意味で構成的な実数の集合からなる十分に大きな
クラスについてその元がすべて可測である，という主張が成り立つとすると，そのことか
ら，解析学的に自然な集合を扱っている限り非可測集合が現れることはない，ということ
の保証が得られることになる．このために，まず射影的集合 (projective sets) について
復習をしておく．
つづく
102:現代数学の系譜 雑談
21/05/17 07:23:57.61 QZBefhAf.net
>>96
つづき
定理 9 (K. G¨odel, 1938) V = L （すべての集合は構成的である）を仮定すると，Δ12 集合で，非可測なものが存在する．
証明． V = L を仮定すると R 上の順序型が ω1 の整列順序で R2 の部分集合として見
たとき Δ12 集合となるものが存在する．フビニの定理により，もしこの集合が可測とする
と，この集合も，この集合の R2 での補集合も測度 0 となるが，このことから R2 の測度
も 0 であることが帰結されてしまい，矛盾である．QED
一方，定理 3 の証明では実は ZF + DC + “すべての実数の集合はルベーク可測” の成
り立つモデルを構成する過程で，ZFC + “すべての射影的集合はルベーク可測” の成り立
つモデルが構成されていた，したがって，
定理 10 (R. Solovay, 1970) ZFC + IC が無矛盾なら，ZFC + “すべての射影的集合はル
ベーク可測である” を満たすようなモデルを構成することができる．
上の結果での Solovay のモデルは連続体仮説も満たすものになっていたが，ここでの
証明に少し変更を加えると，同じ仮定から，ZFC + ￢CH + “すべての射影的集合はルベー
ク可測である” のモデルを構成することもできる．言い換えると “すべての射影的集合は
ルベーク可測である” という命題からは連続体の大きさは決定できない．
一方，到達不可能基数よりずっと大きな ? つまり，その存在の仮定がずっと大きな無
矛盾性の強さを持つような ? 巨大基数の存在を仮定すると，そのことから，すべての射
影的集合のルベーク可測性が帰結できる：
定理 11 (S. Shelah and H. Woodin, 1990) 超コンパクト基数が存在するなら，すべての射
影的集合はルベーク可測である．
上の結果での超コンパクト基数の存在は，後に，H. Woodin により，定理 6 でも現れた
103: “ 無限個のウディン基数が存在する” という，これより無矛盾性の強さのずっと弱い仮定で 置き換えられている． “すべての射影的集合はルベーク可測である” という命題は，AD を弱めた射影的決定 性と呼ばれる次の命題から導くことができる， (引用終り) 以上
104:現代数学の系譜 雑談
21/05/17 07:55:08.60 QZBefhAf.net
>>96 追加
こちらの 非可測集合にも
「順序数=整列集合の順序型（順序同型により, 整列集合全体に同値関係を入れたときの同値類）を用いる」と出てくるね
（参考）
URLﾘﾝｸ(researchmap.jp)
平場 誠示 ヒラバ セイジ (Seiji Hiraba)
URLﾘﾝｸ(www.ma.noda.tus.ac.jp)
解析学 I (Analysis I)
Lebesgue 積分論
(Lebesgue Integral Theory) 1
平場 誠示 (Seiji HIRABA) 東京理科大学
P17
6.3 非可測集合
定理 6.3 Ln ? Bn.
証明は ♯Bn = ｱﾚﾌ (連続無限) を認めてもらえば, 以下のように示せる. Cantor 集合のように連続
濃度をもつ Lebesgue 測度 0 の集合があるので, その部分集合も全て Ln の元で, その全体の濃度は ♯2R. 従って, ♯Ln = ♯2R > ♯R = ｱﾚﾌ = ♯Bn.
更に, ♯Bn = ｱﾚﾌ については, 簡単に言えば, n = 1 のとき, 基本集合 (a, b] (?∞ ≦ a ≦ b ≦ ∞) の
全体からなる集合族の濃度は連続で, それらの元の可算回の集合演算で得られる集合全体を考え,
更にそれの可算回操作で, ということを, 無限に繰り返して得られる集合族が Borel 集合体 B1 と
なるので, その濃度は, 連続無限となる. (正確な証明は, 次節の最後に与える.)
P23
最後に, 前節の E が非可測集合なることと定理 6.3 で用いた ♯Bn = ｱﾚﾌ の証明を与えよう.
♯Bn = ｱﾚﾌ については, 順序数=整列集合の順序型（順序同型により, 整列集合全体に同値関係を入れたときの同値類）を用いる.
ちなみに整列集合とは, 全順序集合で, 任意の空でない部分集合が最小元をもつもの.
順序数を表すのに, Φ は 0 として, {1, 2, . . . , n} の同値類を n, N の同値類をω とする.
また, 順序数の濃度を, その同値類の元の一つ, 即ち, 代表元の濃度として定義する. 更
に, 濃度が ｱﾚﾌ0 の順序数は無数にあり, 最小のものが ω で, 次が ω + 1, ω + 2, . . . となる. 例えば,
N ∪ A の順序数は A = {1}, {1, 2}, N に応じて, ω + 1, ω + 2, 2ω となる. また, N2 = N ∪ N ∪ ・ ・ ・
は, ω2 = ω + ω + ・ ・ ・ となる. (順序は辞書式)
[♯Bn = ｱﾚﾌ の証明]
略
(引用終り)
以上
105:現代数学の系譜 雑談
21/05/17 08:00:54.27 QZBefhAf.net
基数, 順序型, 順序数
全順序 N、Z、Q、R
なんにも分かってないサル二匹か（＾＾
106:１３２人目の素数さん
21/05/17 10:45:54.84 1VWltCj+.net
突然ですが、メモ（＾＾
URLﾘﾝｸ(www.nikkei.com)
ゲイツ氏ら注目の核融合発電、京大発スタートアップ挑む
日経産業新聞
2021年5月15日 2:00 [有料会員限定]
核融合発電が世界で熱気を帯びている。水素を燃料にエネルギーを生み出し二酸化炭素（CO2）も出さない夢の技術に、世界でスタートアップが興り米マイクロソフト創業者ビル・ゲイツ氏らが投資する。日本は京都大学発スタートアップが名乗りを上げ、米ゴールドラッシュの「ジーンズ」のビジネスモデルで挑む。
「海外の複数の大型案件へ受注提案を繰り返している」。核融合のスタートアップ、京都フュージョニアリング（KF、京都府宇治市）の長尾昂代表取締役は目を輝かせる。拠点は京大宇治キャンパスの小さな研究室だ。世界有数の核融合発電の研究者である京大の小西哲之教授と外資系コンサル出身の長尾氏は2019年10月、KFを設立した。
KFは核融合炉に不可欠な消耗の激しい部品の開発と生産に特化する。炉の開発に比べ初期投資が安く、炉の運転前から売り上げがたつ。1900年代半ば米国で金の採掘者がこぞって履き、定着したジーンズから着想した。大型の資金調達の計画も進む。
つづく
107:１３２人目の素数さん
21/05/17 10:46:27.99 1VWltCj+.net
>>100
つづき
消耗部品に着目
看板商品は炉内部で中性子と反応して熱エネルギーを取り出す「ブランケット」。消耗が大きく2～3年で交換が必要だ。KFはシリコンカーバイド製の1メートル角のブロックを数百個使い組み立てる。素材合成、設計技術が基本的な競争力だ。開発に必要な真空チャンバーなど京大の設備も使える点を強みにする。
19年5月、小西氏は京大のベンチャーキャピタルが催した起業家向けの会合で、核融合発電が持つ可能性について語った。「面白いでかいことを言う人がいるな」。参加していた京大大学院出身の長尾氏は新電力にもいた経験もあり心にひっかかった。「結構ありかもな」
「論文ばかりではおもしろくない」
19年6月に小西氏は英国の学会に出席して海外の研究者仲間と話すうち、消耗部品に特化するアイデアがひらめいた。「論文ばかりではおもしろくないよね」。起業を決断した。京大ベンチャーキャピタルの仲介で、小西氏と長尾氏が組むことになる。
長尾氏は現在は投資家の対応を担当し、技術や営業は小西氏が受け持つ。20年末、小西氏は米国の業界団体フュージョン・パワー・アソシエイツのオンライン会議でスピーチすると複数のコンサルティングの依頼が舞い込んだ。同時期、長尾氏はコーラル・キャピタル（東京・千代田）などから1億2千万円の出資を引き出した。
(引用終り)
以上
108:１３２人目の素数さん
21/05/17 10:55:17.34 HWg8rjhz.net
>>99
あれ？反論は諦めたんですか？
ならさっさと退場願います
ここはあなたの来る処ではありません
109:１３２人目の素数さん
21/05/17 12:13:53.05 1VWltCj+.net
これも
昨晩、TVみやねやでやっていた
URLﾘﾝｸ(president.jp)
PRESIDENT WOMAN
三つ子の子育てでパートナーが転職
｢私は女性科学者じゃない｣英国のワクチン開発を率いたオックスフォード大教授がついたため息
冨久岡 ナヲ ジャーナリスト 2021.04.12
ワクチン接種プロジェクトを指揮したビンガム博士
せっかくワクチンが完成しても、迅速に接種を進められなければ意味がない。前代未聞の速さとスケールで集団接種を行うためのプロジェクトを指揮するのに適した人物は誰か。しばらく考え込んでいた英国首相ボリス・ジョンソンは携帯電話を手に取った。
「キミに、人々が死んでいくのを止
110:めてほしいんだ」と、ジョンソン首相が連絡したのはケイト・ビンガム博士。オックスフォード大学で生化学を学んだあと金融分野に転じ、バイオベンチャー相手の投資コンサルタントとして活躍していた。とんでもない大役の指名に迷ったが、22歳の長女に「お母さん！ もし迷っているのが私だったら『自分を卑下するな。自信を持ちなさい』って叱るでしょう？」と激励され、この役目を無償で引き受けた。 ビンガム博士はさっそく特別チームを編成する。「公衆衛生庁を飛び越して民間のコンサルタントを起用」という首相の型破りな人事もさることながら、博士が招集した面々も、製薬業界の裏事情に詳しいビジネスマン、武器輸送の専門家など、まるでアウトローを集めた映画のキャストのようだった。 国防省潜水艦配置局から引き抜かれた女性管理職のルース・トッドさんは、「開発中のワクチンすべてに暗号名をつける」という提案をし、当時120ほどあった開発中ワクチンの中からどれが選ばれるかが外部に漏れないようにした。 リーダーたちの努力は実り、英国は世界に先駆けてドイツのファイザー製ワクチンを承認し、2020年12月3日から全国で一斉接種をスタートさせた。 ワクチン承認の決断を下したのは英医薬品・医療製品規制庁（MHRA）の最高責任者ジューン・レイン博士。薬理学者だ。レイン博士と、集団接種プロジェクトを指揮したビンガム博士の両名とも、ワクチンの手配や接種の開始が早期に実現した理由として、オックスフォード大研究者たちがすばやく開発に着手していたこと、臨床試験の開始と同時に製造の準備を進めたこと、英国がすでにEUを離脱し移行期間に入っていたためこうした決定を自国だけで行うことができたことを挙げている。 https://president.jp/mwimgs/c/5/-/img_c54a1abab2aa60f19629a2104dc90156291489.jpg
111:１３２人目の素数さん
21/05/17 12:15:39.76 1VWltCj+.net
>>102
反論？ 不要でしょｗ
サルは踊らせるだけでいい
112:１３２人目の素数さん
21/05/17 12:19:23.22 S2Qn0/do.net
>>104
自分が理解できないと猿呼ばわりして誤魔化し♪
ダメ人間の典型例ですな。
相手が言っていない事を言われた気になっているあたり、被害妄想とかもあるでしょ。
113:１３２人目の素数さん
21/05/17 12:56:32.43 Ka93ClwI.net
>>99
>全順序
おやおや、パクチーの雑談君は
整礎関係が全順序とは全然別ってことが
全く理解できてないんだねぇ
整礎関係
URLﾘﾝｸ(ja.wikipedia.org)
「数学において、二項関係が整礎（せいそ、英: well-founded）であるとは、
真の無限降下列をもたないことである。」
「順序集合論では、半順序に対応する真の順序 (strict partial order) が整礎関係となるとき、
その半順序を整礎（整礎半順序）と呼ぶ。
全順序がこの意味で整礎であるとき、整列順序と呼ぶ。」
全順序でない整礎関係の例。
・正整数全体 {1, 2, 3, ...} に a < b ⇔ [a は b を割り切る かつ a ≠ b] となる順序を入れたもの。
・固定された文字集合上の有限文字列全体に s < t ⇔ s は t の真の部分文字列である、で定まる順序。
・自然数の順序対全体の集合 N × N 上の、(n1, n2) < (m1, m2) ⇔ n1 < m1 かつ n2 < m2 となる順序。
・固定された文字集合上の正規表現全体の成す集合に、s < t ⇔ s は t の真の部分表現であるとして定義される関係。
・集合を要素とする任意のクラスの集合要素関係 ∈ 。これは正則性公理そのものである。
・任意の有限有向非輪状グラフのノード全体の、a R b ⇔ a から b へいく辺があるとして定義される関係。
整礎でない関係の例。
・負整数全体 {－1, －2, －3, …} の通常の順序。任意の非有界部分集合が最小元を持たない。
・有限文字集合上の文字列全体の成す集合上の、通常の順序関係（辞書式順序）。
列 "B" > "AB" > "AAB" > "AAAB" > ⋯ は無限降鎖になる。
この関係は、全体集合が最小元（つまり空文字列）を持ったとしても整礎ではない。
・有理数全体（または実数全体）の標準的な順序（大小関係）。
たとえば、正の有理数（または正の実数）全体は最小元を持たない。
114:１３２人目の素数さん
21/05/17 12:58:46.47 Ka93ClwI.net
つまり
全順序：長方形
整礎関係：ひし型
整列順序：正方形
みたいな感じ
雑談君は整礎が全然わかってないねえ┐(´∀｀)┌ﾔﾚﾔﾚ
115:１３２人目の素数さん
21/05/17 14:14:36.46 1VWltCj+.net
>>107
違うと思うよ
全順序は、下記 「元を直線に並べた図式によってその集合が表せるということでもあり、それは「線型」順序の名の由来である」
だよ。だから、全順序は１列に並べられるってこと
整列順序は、全順序（１列）かつ「任意の部分集合が必ず ≦ に関する最小元をもつものをいう」
ってこと。この最小元は、大小を考えたときの小の方だけ。つまり、大については「最大元の存在要求なし」（だらだら無限に伸びてよし）！ｗ（＾＾
整礎関係は、全順序を満たさない（1列でなくとも良い）が、「X の空でない任意の部分集合 S が R に関する極小元を持つことをいう」
ってこと
間違ったことを書かないようにね
URLﾘﾝｸ(ja.wikipedia.org)
全順序
反対称性によって a < b かつ b < a であるという不確定な状態は排除される[1]。完全性を持つ関係は、その集合の任意の二元がその関係で比較可能（英語版）であることを意味する。これはまた、元を直線に並べた図式によってその集合が表せるということでもあり、それは「線型」順序の名の由来である[2]。
URLﾘﾝｸ(ja.wikipedia.org)
集合 S 上の整列順序関係 (wellorder) とは、S 上の全順序関係 "≦" であって、S の空でない任意の部分集合が必ず ≦ に関する最小元をもつものをいう。
URLﾘﾝｸ(ja.wikipedia.org)
整礎関係
定義
集合あるいはクラス X 上の二項関係 R が整礎であるとは、X の空でない任意の部分集合 S が R に関する極小元を持つことをいう[1]。（関係 R がさらに集合的であることを仮定する著者もいる[2]。X が集合であればこれは自動的に成り立つ。）
116:１３２人目の素数さん
21/05/17 14:27:47.36 HWg8rjhz.net
>>104
>反論？ 不要でしょｗ
じゃキミの負け確定なのでとっとと退場してね
117:１３２人目の素数さん
21/05/17 14:30:43.56 HWg8rjhz.net
>相手が言っていない事を言われた気になっているあたり、被害妄想とかもあるでしょ。
被害妄想と自己愛でほとんど精神錯乱してると思われる。
会話が成立しません。
118:１３２人目の素数さん
21/05/17 14:37:54.81 HWg8rjhz.net
>>108
>全順序は、下記 「元を直線に並べた図式によってその集合が表せるということでもあり、それは「線型」順序の名の由来である」
>だよ。だから、全順序は１列に並べられるってこと
キミさあ、落ち着いて考えようね。
直線上のどの点にも「隣の点」は存在しないよ？分る？
どうして
>だから、全順序は１列に並べられるってこと
になるの？ 馬鹿？
119:１３２人目の素数さん
21/05/17 14:51:28.75 1VWltCj+.net
>>111
ふふふ
おサルは、そこで躓いているのかな？（＾＾；
120:１３２人目の素数さん
21/05/17 15:00:21.98
121: ID:S2Qn0/do.net
122:１３２人目の素数さん
21/05/17 15:16:27.47 HWg8rjhz.net
>>112
え？？？
直線上の点に隣の点があると言いたいの？
じゃあ点０の隣は何？
123:１３２人目の素数さん
21/05/17 15:17:47.07 HWg8rjhz.net
ふふふ なんて気持ちの悪い作り笑いしなくていいからちゃんと答えてね。０の隣の点。
124:１３２人目の素数さん
21/05/17 15:28:36.87 Ka93ClwI.net
>>108
＞整列順序は、全順序（１列）かつ
＞「任意の部分集合が必ず ≦ に関する最小元をもつものをいう」
＞ってこと。
Qは、最小元を持たない部分集合が存在する
たとえば、0より大きい有理数に最小元はない
＞この最小元は、大小を考えたときの小の方だけ。
＞つまり、大については「最大元の存在要求なし」
＞（だらだら無限に伸びてよし）！ｗ
なんか根本的にわかってなさそうｗ
{1-1/10^n|n∈N}∪{1} という集合を考える
上記の部分集合である {1-1/10^n|n∈N} には、たしかに最大元はない
だ・か・ら、1からまず降りるときに
{1-1/10^n|n∈N}のいかなる要素よりも小さくない
最大の元におりることができない
そして、１＞ｒとして
{1-1/10^n|n∈N}のいかなる要素ｒを選んだところで
ｒよりも大きい上記の集合の元は無数にある
つまり＞降下列の最初のステップで、
無限個の元をすっとばすしかない
無限個の元を全部経由する＞降下列はつくれない
そこが分からない雑談君は
整列集合も＞降下列も定義から理解できない
正真正銘の🐎🦌（つまり人間未満の動物）ってことｗｗｗ
数学ムリだから諦めな
大阪大なんて嘘だろ？
大阪○〇大の〇〇を省略すんなよｗｗｗ
125:１３２人目の素数さん
21/05/17 15:30:42.82 Ka93ClwI.net
>>111
＞おサルは、そこで躓いているのかな？
パクチーは、整礎性でつまづいてるのかｗｗｗ
ほんと言葉が理解できない「動物」には困ったもんだｗｗｗ
126:１３２人目の素数さん
21/05/17 15:48:37.17 HWg8rjhz.net
>無限個の元を全部経由する＞降下列はつくれない
これを何度説明しても理解しないんだよね彼。
彼の頭蓋骨の中身は豆腐でしょ、脳みそが入ってるとは信じがたい。
127:１３２人目の素数さん
21/05/17 17:20:44.41 Ka93ClwI.net
>>118
＞＞無限個の元を全部経由する＞降下列はつくれない
＞これを何度説明しても理解しないんだよね彼。
核心にふれると、「チャーシュー思考」とかいって
思考放棄する🐎🦌だからね 雑談君はｗｗｗ
128:１３２人目の素数さん
21/05/17 18:18:40.98 1VWltCj+.net
サル二匹のうち
一匹は、数学科出身を名乗る（修士卒とか）けど・・
こんなレベルなの？ やれやれｗ（＾＾；
129:１３２人目の素数さん
21/05/17 18:45:36.53 HWg8rjhz.net
と、学部一年4月に落ちこぼれた馬鹿が申しております
130:１３２人目の素数さん
21/05/17 19:53:41.38 Ka93ClwI.net
チャーシュー君、頑張って整礎関係、理解しようねｗｗｗｗｗｗｗ
131:１３２人目の素数さん
21/05/17 21:15:46.42 /7E7xUz8.net
新訂版序文の人 大類昌俊@Ohrui_math_bass
弟は俺より頭が悪く「次男は頭が悪いもん」とか言ってたし俺も勉強を教える時に苦労したが、鉄道に関しては職業に就く適性はあったみたいで、頭の良し悪しより適性がないと解けない問題は得意だったようだし、実際今運転手をやってる。偏差値はせいぜい学力試験の成績の振り分けに過ぎない。
132:現代数学の系譜 雑談
21/05/17 22:54:27.40 QZBefhAf.net
>>108 追加
英語版
URLﾘﾝｸ(en.wikipedia.org)
Well-order
Examples and counterexamples
Natural numbers
The standard ordering ≦ of the natural numbers is a well ordering and has the additional property that every non-zero natural number has a unique predecessor.
Another well ordering of the natural numbers is given by defining that all even numbers are less than all odd numbers, and the usual ordering applies within the evens and the odds:
0 2 4 6 8 ... 1 3 5 7 9 ...
This is a well-ordered set of order type ω + ω. Every element has a successor (there is no largest element). Two elements lack a predecessor: 0 and 1.
Reals
The standard ordering ≦ of any real interval is not a well ordering, since, for example, the open interval (0, 1) ⊆ [0,1] does not contain a least element. From the ZFC axioms of set theory (including the axiom of choice) one can show that there is a well order of the reals. Also Wac?aw Sierpi?ski proved that ZF + GCH (the generalized continuum hypothesis) imply the axiom of choice and hence a well order of the reals. Nonetheless, it is possible to show that the ZFC+GCH axioms alone are not sufficient to prove the existence of a definable (by a formula) well order of the reals.[1] However it is consistent with ZFC that a definable well ordering of the reals exists?for example, it is consistent with ZFC that V=L, and it follows from ZFC+V=L that a particular formula well orders the reals, or indeed any set.
つづく
133:現代数学の系譜 雑談
21/05/17 22:56:20.24 QZBefhAf.net
>>124
つづき
An uncountable subset of the real numbers with the standard ordering ≦ cannot be a well order: Suppose X is a subset of R well ordered by ≦. For each x in X, let s(x) be the successor of x in ≦ ordering on X (unless x is the last element of X). Let A = { (x, s(x)) | x ∈ X } whose elements are nonempty and disjoint intervals. Each such interval contains at least one rational number, so there is an injective function from A to Q. There is an injection from X to A (except possibly for a last element of X which could be mapped to zero later). And it is well known that there is an injection from Q to the natural numbers (which could be chosen to avoid hitting zero). Thus there is an injection from X to the natural numbers which means that X is countable. On the other hand, a countably infinite subset of the reals may or may not be a well order with the standard "≦". For example,
・The natural numbers are a well order under the standard ordering ≦.
・The set {1/n : n =1,2,3,...} has no least element and is therefore not a well order under standard ordering ≦.
Examples of well orders:
・The set of numbers { - 2-n | 0 ≦ n < ω } has order type ω.
・The set of numbers { - 2-n - 2-m-n | 0 ≦ m,n < ω } has order type ω2. The previous set is the set of limit points within the set. Within the set of real numbers, either with the ordinary topology or the order topology, 0 is also a limit point of the set. It is also a limit point of the set of limit points.
・The set of numbers { - 2-n | 0 ≦ n < ω } ∪ { 1 } has order type ω + 1. With the order topology of this set, 1 is a limit point of the set. With the ordinary topology (or equivalently, the order topology) of the real numbers it is not.
References
1＾S. Feferman Some applications of the notions of forcing and generic sets Fundamenta Mathematicae (1964)
URLﾘﾝｸ(matwbn.icm.edu.pl)
つづく
134:現代数学の系譜 雑談
21/05/17 22:56:38.17 QZBefhAf.net
>>125
つづき
日本語版
URLﾘﾝｸ(ja.wikipedia.org)
整列集合
例と反例
自然数の全体 N
（0 を含む）自然数全体の成す集合 N は通常の大小関係 ≦ が整列順序を与える。この整列集合の順序型は ω で表される。さらに、0 でない任意の自然数は唯一の直前元を持つ。
N における別な整列順序としては、例えば、どの偶数もどんな奇数よりも小さいものとし、偶数同士あるいは奇数同士では通常の大小関係を適用すること�
135:ﾅ得られる順序 0, 2, 4, 6, 8, …, 1, 3, 5, 7, 9, … が挙げられる。この順序に関する整列集合の順序型は ω + ω である。任意の元が直後の元を持つ（したがって最大元は存在しない）が、直前の元を持たない元が 0 と 1 の二つ存在する。 実数からなる集合 正の実数全体の成す集合 R+ に通常の大小関係 ≦ を考えたものは整列順序ではない。例えば開区間 (0, 1) は最小元を持たない。一方、選択公理を含む集合論の ZFC 公理系からは、実数全体の成す集合 R 上の整列順序が存在することが示せる。しかし、ZFC や、一般連続体仮説を加えた体系 ZFC+GCH においては、R 上の整列順序を定義する論理式は存在しない[1]。ただし、R 上の定義可能な整列順序の存在は ZFC と(相対的に)無矛盾である。例えば V=L は ZFC と(相対的に)無矛盾であり、ZFC+V=L ではある特定の論理式が R（実際には任意の集合）を整列順序付けることが従う。 つづく
136:現代数学の系譜 雑談
21/05/17 22:57:03.69 QZBefhAf.net
>>126
つづき
R の非可算部分集合に通常の大小関係を入れたものが整列集合にならないことは、実数直線 R を互いに交わりを持たない区間の和に分割するとき、そのような区間の数が高々可算であることからわかる。可算無限集合ならば、通常の大小関係 ≦ が整列順序となることも、ならないこともありうる。整列順序となる例としては次のようなものが挙げられる。
・集合 {-2-n | 0 ≦ n < ω} は ω を順序型に持つ。
・集合 {-2-n - 2-m-n | 0 ≦ m, n < ω} は順序型 ω2 を持つ。一つ前の例に挙げた集合は、この集合に集積点の集合として含まれる。実数全体の成す集合 R の中では（通常の位相でも順序位相でも）0 も集積点に含まれる（これは集積点全体の成すの集合の集積点にもなっている）。
・集合 {-2-n | 0 ≦ n < ω} ∪ {1} は順序型 ω + 1 である。この集合に順序位相を考えれば、1 は集積点であるが、R に通常の位相（順序位相でも同じことだが）を入れても 1 は集積点にはならない。
参考文献
1^ S. Feferman: "Some Applications of the Notions of Forcing and Generic Sets", Fundamenta Mathematicae, 56 (1964) 325-345
(引用終り)
以上
137:現代数学の系譜 雑談
21/05/18 07:18:10.81 4SccZpT/.net
>>124 補足
(引用開始)
URLﾘﾝｸ(en.wikipedia.org)
Well-order
Examples and counterexamples
Reals
The standard ordering ≦ of any real interval is not a well ordering, since, for example, the open interval (0, 1) ⊆ [0,1] does not contain a least element.
From the ZFC axioms of set theory (including the axiom of choice) one can show that there is a well order of the reals.
Nonetheless, it is possible to show that the ZFC+GCH axioms alone are not sufficient to prove the existence of a definable (by a formula) well order of the reals.[1]
However it is consistent with ZFC that a definable well ordering of the reals exists-for example, it is consistent with ZFC that V=L, and it follows from ZFC+V=L that a particular formula well orders the reals, or indeed any set.
References
1＾S. Feferman Some applications of the notions of forcing and generic sets Fundamenta Mathematicae (1964)
URLﾘﾝｸ(matwbn.icm.edu.pl)
(引用終り)
これだね
S. Feferman Some applications of the notions of forcing and generic sets Fundamenta Mathematicae (1964)
(抜粋)
P1
The most interesting of these are the following:
(1) No set-theoreticallydefinable well-ordering of the continuum can be proved to exist fromthe Zermelo-Fraenkel axioms together with the axiom of choice andthe generalized continuum hypothesis.
P9
4.11 THEOREM. If s=1 there is no set-theoretically definable well-ordering of the continuum in M*.
Proof. What comes to the same thing, there is no formula F(X, Y)of L which establishes a well-ordering relation in the set of all subsetsFundamenta Mathematicae, T. LVI 略
つづく
138:現代数学の系譜 雑談
21/05/18 07:18:27.88 4SccZpT/.net
>>128
つづき
P10
Thus, from 4.9 (ii) we obtain: it is consistent with Z-F, AC and GCH,that there is no set-theoretically definable well-ordering of the continuum.
(That is, it is consistent to adjoin to these axioms the statement, foreach formula ? of L with two free variables, which expresses that Fdoes not determine a well-ordering of the continuum.)
This bears onquestions dealt with by Myhill and Scott [13] (1).
(*). The following result of Scott, which will appear in that paper, is of specialinterest in this connection: it is provable in Z-F that there is a definable well-orderingA with field I a subset of the continuum, such that any other well-ordering 4, of thissort has field TiCr.
A simple explicit definition of this A can be given.
(引用終り)
以上
139:１３２人目の素数さん
21/05/18 08:27:27.31 rb9GigYc.net
>>126
>正の実数全体の成す集合 R+ に通常の大小関係 ≦ を考えたものは整列順序ではない。例えば開区間 (0, 1) は最小元を持たない。一方、選択公理を含む集合論の ZFC 公理系からは、実数全体の成す集合 R 上の整列順序が存在することが示せる。
じゃダメじゃんｗ
通常の大小関係では整列順序でないんでしょ？
はい、終了。とっとと退場して下さい。
140:１３２人目の素数さん
21/05/18 08:28:26.19 rb9GigYc.net
得意のコピペで自らの首を絞める哀れな落ちこぼれ 瀬田
141:１３２人目の素数さん
21/05/18 08:43:10.14 W8fi4PC4.net
>>130
＞選択公理を含む集合論の ZFC 公理系からは、
＞実数全体の成す集合 R 上の整列順序が存在することが示せる。
雑談君は、この文章を誤解してるね
おそらく
「＞選択公理を含む集合論の ZFC 公理系からは、
実数全体の成す集合 R 上の通常の順序が整列順序だと示せる。」
ってね
全然違うよ ほんと日本語読めないんだな 在阪朝鮮人はｗ
142:現代数学の系譜 雑談
21/05/18 08:44:53.81 4SccZpT/.net
>>130-131
>>正の実数全体の成す集合 R+ に通常の大小関係 ≦ を考えたものは整列順序ではない。例えば開区間 (0, 1) は最小元を持たない。一方、選択公理を含む集合論の ZFC 公理系からは、実数全体の成す集合 R 上の整列順序が存在することが示せる。
>じゃダメじゃんｗ
>通常の大小関係では整列順序でないんでしょ？
意味分からん
「正の実数全体の成す集合 R+ に通常の大小関係 ≦ を考えたものは整列順序ではない」
は、初等的な結果だよ。中高校レベル
一方で、「選択公理を含む集合論の ZFC 公理系からは、実数全体の成す集合 R 上の整列順序が存在することが示せる」
は、大学レベル
何の反論にもなっていないぞ！ｗ（＾＾；
お茶目な おサルだねぇ～！！ｗ（＾＾
143:現代数学の系譜 雑談
21/05/18 08:46:54.42 4SccZpT/.net
>>132
ははは
>>128-129
をどぞ
何のための >>128-129だと思ったの
>>128-129を嫁め！ｗ
144:１３２人目の素数さん
21/05/18 08:50:39.12 rb9GigYc.net
>>133
まさかとは思うが、ZFCなら通常の大小関係で整列順序になると思ってる？
それって「選択公理を仮定すれば最小の正実数が存在する」と言ってるのと同じことだよｗ
もちろん大間違い、0点で落第ですｗ
はい、終了。とっとと退場して下さい。
145:１３２人目の素数さん
21/05/18 08:52:59.77 W8fi4PC4.net
N∪{∞} という集合を考える
0を起点として１，２，３と順々にたどる「自然数電鉄」がある
しかし∞は自然数電鉄の終点ではない
∞には、１，２，３・・・の各駅から
「リミット・エアライン」の飛行機で飛ぶしかない
安達氏は、飛行機嫌いだから「∞なんていけるわけない！」という
まあ、文明嫌いのお爺ちゃんだから仕方ない
で、雑談君は
「いや、リミット・エアラインなんか使わなくても、自然数電鉄だけで∞に行ける！
で、∞から自然数電鉄にのれば、無限個の駅を通過して０に戻れる！」
といって駄々こねる鉄ヲタ
いや、だめなんだってｗ
０から∞にいくには、どこからでもいいけど
最後はリミット・エアラインで飛ぶ必要がある
逆も同様
∞から最初にリミット・エアラインで
自然数電鉄のどこかの駅に行く必要がある
だから乗り物にのるのは有限回
146:１３２人目の素数さん
21/05/18 08:55:09.43 W8fi4PC4.net
>>134
なるほど 理解できなかったから英語のままコピペでごまかした、とｗ
雑談君 数学以前に英語もダメだったんだね
ま、そもそも国語がダメだけどｗｗｗ
147:１３２人目の素数さん
21/05/18 09:02:20.71 W8fi4PC4.net
>>136の比喩で考えると、
たんなる飛行機嫌いの安達老人より
鉄道万能主義の雑談君のほうが
はるかに精神的にヤヴァイとわかる
148:１３２人目の素数さん
21/05/18 09:06:56.68 W8fi4PC4.net
>>138
安達氏と雑談君は飛行機を認めない点では同じ
しかし安達氏は∞が鉄道でいけないことは理解してる
雑談君は∞も自然数同様、鉄道で行けると何の根拠もなく盲信狂信してる
ここの読者は
「∞は鉄道ではいけないけど、飛行機使えば行ける」
と分かってる
149:１３２人目の素数さん
21/05/18 09:26:53.49 rb9GigYc.net
はっきり差が付きましたな
安達＞瀬田
瀬田よ
だから言ってるだろ？キミは口では無限と云いつつ実際は有限しか認めてないと。
自然数鉄道で行けるのは有限だけ。∞へも自然数鉄道で行けると思ってるキミは有限しか認めてないんだよ。分かる？
150:１３２人目の素数さん
21/05/18 12:08:40.55 rb9GigYc.net
安達 有限との違いを理解した上で無限を拒絶
瀬田 そもそも違いを理解していない
文学部に負けた阪大工学部ｗ
151:１３２人目の素数さん
21/05/18 12:09:25.73 MmiRs6gm.net
突然ですが
URLﾘﾝｸ(www.nikkei.com)
GoogleがOS開発に新言語 背景にサイバー戦争の影 日経 （
152:日経クロステック/日経コンピュータ 中田敦） 2021年5月18日 5:00 [有料会員限定] 米グーグルが2021年4月、基本ソフト（OS）を開発するプログラミング言語に「Rust（ラスト）」を採用すると明らかにした。米マイクロソフトも既に採用を始めている。CやC++の独壇場だったOS開発に、15年に「バージョン1」になったばかりの新世代言語であるRustが採用される背景には、サイバー戦争の深刻化がある。 グーグルは4月6日（米国時間）に、OS「Android（アンドロイド）」の開発言語にRustを採用すると発表した。 また同社は8日後の4月14日（同）に、Android のベースとなるLinux（リナックス）カーネルの開発にRustが適していると公式ブログで主張すると共に、Linuxカーネル開発へのRustの採用を目指す団体である「Rust for Linux」に参加したことを明らかにしている。 マイクロソフトはグーグルよりも早い19年7月の時点でOS開発にはRustが適しているとのブログを発表しているほか、19年11月にはOS「Windows（ウィンドウズ）」の一部のコンポーネントをRustによって実装し始めたことを明らかにしている。 カーネルなど中核部分に採用 1970年代初めにOS「UNIX（ユニックス）」の開発にC言語が採用されて以来、OS開発はCやその後継であるC++の独壇場だった。 グーグルはこれまでもAndroidの開発にJava（ジャバ）やKotlin（コトリン）を採用していたが、中核となるカーネルやデバイスドライバーなどの開発にはC/C++しか使ってこなかった。RustはC/C++と同様にカーネルなどの開発に使用する。 つづく
153:１３２人目の素数さん
21/05/18 12:09:54.45 MmiRs6gm.net
>>142
つづき
グーグルは数千万行にも及ぶ既存のC/C++のコードを書き換えるのは不可能としており、新規のコードの開発にのみRustを適用する方針だ。それでもOS開発の常識が数十年ぶりに変わるのだけは間違いない。
Rustはウェブブラウザー「Firefox（ファイアフォックス）」を開発する米モジラ財団が開発を主導するプログラミング言語だ。開発が始まったのは06年で、安定版であるバージョン1がリリースされたのが15年のことだ。まだ新しい言語をグーグルやマイクロソフトがOS開発に採用する理由は、OSのセキュリティー強化にある。
Rustは、プログラムに必要なメモリーの確保や解放に関連するバグが生じない「メモリー安全」が保証されたプログラミング言語である。それに対してこれまでのOS開発に使われてきたC/C++は「大規模な開発においてメモリー安全なコードを記述することがほぼ不可能」（マイクロソフトのブログより）なのだという。
脆弱性の70%がメモリー管理バグに起因
グーグルによればAndroidに存在した深刻なセキュリティー脆弱性の70%近くがメモリー安全に関するバグに起因するという。マイクロソフトも脆弱性の70%がメモリー安全に関するバグに起因すると述べている。C/C++を使う限りセキュリティー脆弱性を根絶するのは不可能と考えて、Rustを採用するに至ったというわけだ。
今日のアプリケーション開発における主流の言語であるJavaやC#もメモリー安全が保証されている。しかしJavaやC#はメモリー安全を実現するために、プログラムが稼働するランタイムがメモリーの割り当てや解放を管理するガベージコレクション（GC）を採用している。
つづく
154:１３２人目の素数さん
21/05/18 12:10:21.14 MmiRs6gm.net
>>143
つづき
GCを採用する言語はメモリー管理の挙動をプログラマーが厳格に制御できず、処理のオーバーヘッドも発生するため、カーネルやデバイスドライバーなどの開発（システムプログラミング）には不向きである。またカーネルを稼働するのに適した小型のランタイムを実装するのも難しい。
それに対してRustはGCを使わない。プログラマーはRustの「所有権」という概念に基づいてメモリーを管理する。
グーグルやマイクロソフトによるOS開発へのRust採用は、プログラミング言語を変えなければならないほどOS開発者が追い詰められている現状も物語る。
OSのセキュリティー脆弱性は、サイバー戦争の当事者にとって喉から手が出るほど欲しい「兵器」になり得る。中国やロシアといった強権的な国家の政府機関だけでなく、米国など西側諸国の政府機関もOSの脆弱性を見つけては報告せずに隠しておき、未知の脆弱性を狙う「ゼロデイ攻撃」のツールとして悪用している。
米国政府も脆弱性を悪用
米メディア「MIT Technology Review（MITテクノロジーレビュー）」は21年4月、グーグルが20年4月までに発見したWindowsなどに存在する複数のセキュリティー脆弱性について、西側諸国の政府機関が攻撃手段として使っていたものだったと報じた。
WannaCryのケースからも明らかなように、脆弱性という兵器の流通が野放しになることで被害を受けるのは、罪の無い一般市民だ。OS開発言語のRustへの移行によって兵器の生産に終止符が打たれ、市民の被害が減ることを願うばかりである。
［日経クロステック2021年4月30日付の記事を再構成］
(引用終り)
以上
155:１３２人目の素数さん
21/05/18 17:31:53.50 MmiRs6gm.net
>>133 追加
下記、極限における無限の問題、無限小、超準解析、アキレスと亀のパラドックス、
実数の連続性（連続だが間に無限小が（＾＾； ）
（付録：層＆茎と無限小近傍）
（参考）
URLﾘﾝｸ(www.nagaitoshiya.com)
永井俊哉ドットコム
無限性のコペルニクス的転回
2012年4月8日2021年5月2日
目次
1.極限における無限の問題
2.ε-δ 論法による問題の解決
3.超準解析による問題の解決
4.アキレスと亀のパラドックス
5.無限に対応する対象はあるのか
1. 極限における無限の問題
無限とは何かという問題は、古代ギリシャのゼノンが提起して以来、重要な哲学的問題であったが、アイザック・ニュートンやゴットフリート・ライプニッツが17世紀に微積分学を創設したことで、改めて考えられることになった。もっとも当時は、関数の極限を求める際の無限小（infinitesimal）や無限大（infinity）の扱い方は粗雑であった。
2. ε-δ 論法による問題の解決
ε-δ 論法は、オーギュスタン＝ルイ・コーシー[2]、ベルナルト・ボルツァーノ[3]の試みを経て、1861年にカール・ワイエルシュトラス[4]によって完成された。ε-δ 論法では、無限小の概念を用いずに極限を求めることができるというのが一般的な認識である。
略
ε-δ 論法の開発者自身が自覚していたことではないが、ε-δ 論法の意義は、極限における有限と無限を分割し、後者を認識対象の属性から認識作用の属性へと振り替えたところにある。
ε-δ 論法の開発者あるいは解説者が、ε-δ 論法によって極限から無限概念を排除することに成功したと信じていたのも、真理とは認識主体とは独立に認識対象に帰属するという素朴な客観主義を前提にしていたからだということができる。無限を認識対象から認識作用へと排除することで、無限を目立たなくさせることはできるが、無限はなくなったわけではない。ε-δ 論法は有限と無限を区別した点で正しかったが、無限が排除されたのではない以上、有限と無限の区別を維持しつつ、無限を再び可視化する必要が出てくる。1960年代から登場した超準解析の意義はそこにある。
3. 超準解析による問題の解決
二つの実数間に存在する超実数は有限の超実数（finite hyperreal number）と呼ばれる。
無限小は有限の超実数ではあるが、0 以外は実数ではない。0 ではない有限の超実数 hは、限りなく 0 に近く、h=~ 0 と表記される。
つづく
156:１３２人目の素数さん
21/05/18 17:32:38.14 MmiRs6gm.net
>>145
つづき
URLﾘﾝｸ(ja.wikipedia.org)
実数の連続性
実数の連続性(continuity of real numbers)とは、実数の集合がもつ性質である。 実数の連続性は、実数の完備性(completeness of the real numbers)とも言われる。また、実数の連続性を議論の前提とする立場であれば実数の公理と記述する場合もある。
また、実数の連続性における連続性とは関数の連続性とは別の概念である。
目次
1 実数の連続性と同値な命題
2 デデキントの公理
3 上限性質
4 有界単調数列の収束定理
実数の連続性と同値な命題
実数の連続性と同値な命題は多数存在する。順序体において、実数の公理は
1.デデキントの公理
2.上限性質を持つ
3.有界単調数列の収束定理
4.アルキメデス性と区間縮小法の原理を満たす
5.ボルツァーノ＝ワイエルシュトラスの定理
6.次の２条件を満たす
・アルキメデス性を持つ
・コーシー列は収束する
7.中間値の定理
8.最大値の定理
9.ロルの定理
10.ラグランジュの平均値の定理
11.コーシーの平均値の定理
12.ハイネ・ボレルの定理
と同値である。
赤摂也『実数論講義』 には、これらの命題を含めて22個の同値な命題とその証明が記されている。
デデキントの公理
詳細は「デデキント切断」を参照
(A,B)を実数の集合Rの切断とすれば、Aに最大元があってBに最小元がないか、Bに最小元があってAに最大元がないかのいずれかである。
リヒャルト・デーデキントが提示した。
つづく
157:１３２人目の素数さん
21/05/18 17:33:16.94 MmiRs6gm.net
>>146
つづき
下記 P43
「その場合, 層の系列が完全であるとは, 全ての点での茎が完全, つまり各点の無限小近傍において加群の系列が完全であることを意味している」
つまり、「無限小近傍」に思い至らないと、層や茎が分からないんだよね（＾＾；
（参考）
URLﾘﾝｸ(forcing.nagoya)
The Dark Side of Forcing
既刊同人誌
URLﾘﾝｸ(forcing.nagoya)
2014/08/17 The Dark Side of Forcing Vol.3(C86) PDF 足立真訓, 倉永崇, 才川隆文, 鈴木佑京, 淡中圏, 宮崎達也 1変数複素関数論の見直しによる層係数コホモロジー入門、可述算術の解説、線形代数の多元的見方、企業との公理的集合論共同勉強会事始め、数学短歌
P40
*26 現代数学において, 何度も観察される現象に, 幾何的対象と関数環の双対性がある. 集合の特性関数や,
論理学の命題と外延の関係や, 位相空間におけるウリゾーンの距離化定理などは全てその初等的な現れで
ある. 高等数学においては, 多様体など, 幾何的対象を直接考えるのではなく, その上の, その対象と双対
的になるような適切な関数の層を考えることが多い, すると, 関数は環をなすので, 線形代数やその拡張で
ある環上の加群の議論が使え, 後で述べる, 層のコホモロジー論などが, この対象の幾何的性質をうまく抽
出するのだ. これがグロタンディークがコホモロジー論によって, 線形でない対象の議論も全て, 線形代
数に帰着させてしまう手法である.
またこの双対性によって, 本来幾何的対象の上の関数環として導入されたわけではない任意の環を, 何
らかの幾何学的対象の上の関数環だと見なそうという手法が, scheme 論であり, 詳しくは [3] を参照.
体 K に対応する scheme である Spec(K) は位相空間としては実際に点になる. ただし局所環付き空間
と呼ばれるものになるので, 位相空間としての単なる一点よりは複雑な構造を持つ
P43
この議論は環上の加群に限らず, 任意の対象が入射的対象の部分対象になっているよう
な（入射的対象を十分に持つ, と呼ばれる）アーベル圏から, 別のアーベル圏の関手に対し
て使える*32. もっとも重要な例は, 各種多様体や scheme や解析空間などの局所環付き空
間 X 上の, 加群の層から加群もしくは加群の層への関手である.
その場合, 層の系列が完全であるとは, 全ての点での茎が完全, つまり各点の無限小近傍
において加群の系列が完全であることを意味している.
(引用終り)
以上
158:１３２人目の素数さん
21/05/18 17:45:41.16 rb9GigYc.net
いくらコピペしても
「選択公理を仮定すれば最小の正実数が存在する」
なんて考えてるようじゃ無意味。
159:１３２人目の素数さん
21/05/18 22:22:57.15 W8fi4PC4.net
>>142-144 雑談君 全く反論できず 遁走ｗｗｗｗｗｗｗ
160:１３２人目の素数さん
21/05/18 22:24:15.08 W8fi4PC4.net
>>145-147
雑談君 整礎関係が全く理解できず 爆死ｗｗｗｗｗｗｗ
161:１３２人目の素数さん
21/05/18 22:26:15.56 W8fi4PC4.net
大阪朝鮮学校卒の🐎🦌 雑談 ここに死すｗｗｗ
162:１３２人目の素数さん
21/05/18 22:29:32.98 W8fi4PC4.net
雑談は日本語が全く読めない🐎🦌ｗｗｗ
163:１３２人目の素数さん
21/05/18 22:30:02.78 W8fi4PC4.net
文章が読めないのでコピペで誤魔化すテイタラクｗｗｗ
164:１３２人目の素数さん
21/05/18 22:30:38.26 W8fi4PC4.net
述語論理は全く理解できないパクチーｗｗｗ
165:１３２人目の素数さん
21/05/18 22:31:16.17 W8fi4PC4.net
必要条件と十分条件の違いも判らず、全て同値と誤解ｗｗｗ
166:１３２人目の素数さん
21/05/18 22:31:54.58 W8fi4PC4.net
条件文が理解できないので条件を省略する🐎🦌ｗｗｗ
167:１３２人目の素数さん
21/05/18 22:33:01.06 W8fi4PC4.net
さっさとピョンヤンに帰れ 朝鮮猿ｗｗｗ
168:１３２人目の素数さん
21/05/18 23:57:16.66 rb9GigYc.net
えーっと
サル並みの頭脳の瀬田くんに数学は無理
が結論でいいのかな？
169:１３２人目の素数さん
21/05/19 05:56:17.94 U53l80ep.net
>>158 ＯＫ牧場ｗｗｗｗｗｗｗ
170:現代数学の系譜 雑談
21/05/19 07:53:54.77 H7LP/xSH.net
サル二匹
まあ、隔離スレで放し飼いする方が
世間のスレにご迷惑をかけなくていいなｗ（＾＾；
171:現代数学の系譜 雑談
21/05/19 07:54:22.17 H7LP/xSH.net
>>128 補足
”選択公理⇔整列可能定理”について
（下記が分かり易いね）
URLﾘﾝｸ(paiotunoowari.hatenadiary.jp)
整列可能定理 2015-12-03 ぱいおつ日記
ひかるさんのアドベントカレンダー企画の3日目の記事です.
(抜粋)
Nは普通の大小関係で整列集合になってます.
Zとかも普通の大小関係は整列順序じゃないけど0<?1<1<?2<2<...<?n<n<...と並べ直したら整列集合になってます.
こんなふうに,ある順序で整列集合でないような集合でも別の順序では整列集合になっていたりします.
有名ですが,じつは,どんな集合にも整列順序が入れられるというのは選択公理と同値です.
選択公理
任意の集合族{Xα|α∈A}に対して,各α∈Aでφ(α)∈Xαとなる写像φ:A→∪α∈A Xα(選択関数)が存在する.
整列可能定理
任意の集合はある順序で整列集合になる.
じゃあ,証明していきます.
(選択公理⇒整列可能定理の証明)
任意の集合Xを考える.
φ:2X:Xを選択関数とする.つまり,各Y⊆Xでφ(Y)∈Yとする.
X の各部分集合Yに関する次の2つの性質を合わせてPと呼ぶことにする.
(P1)Yは整列順序を入れられる.
(P2)任意のy∈Yでy=φ(X?Y<y>)である.
性質Pをみたす集合全体をAで添え字づけて{Yα|α∈A}としておく.
また,Y:=∪α∈A Yαとする.
次の3つのステップに分けて証明を進めていきます.
ステップ１
各α,β∈Aについて次のいずれかひとつが成り立�
172:ｿ,成り立つのはひとつだけである. (ア)Yα=Yβ. (イ)Yα<a>=Yβ(∃a∈Yα). (ウ)Y alpha=Yβ<b>(∃b∈Yβ). ステップ２ Yは性質Pをみたす. ステップ３ じつはY=Xである. 略 つづく
173:現代数学の系譜 雑談
21/05/19 07:54:45.62 H7LP/xSH.net
>>161
つづき
じゃあ逆向きも示していきます.
選択公理から整列定理を導くのは少し長かったけど,逆はわりとスッキリ示せます.
(整列可能定理⇒選択公理の証明)
任意の非空集合族{Xα|α∈A}を考える.
整列可能定理を用いて∪α∈A Xαに整列順序を入れる.
すると,各α∈AでXαは最小元mαを持つ.
そこで,写像φ:A→∪α Xαをφ(α)=mα(∀α∈A)で定める.
するとこのφが選択関数となっている.■
参考文献
『集合論入門』(ちくま学芸文庫)赤攝也著
つづく
174:現代数学の系譜 雑談
21/05/19 07:55:02.59 H7LP/xSH.net
>>162
つづき
（下記は本格的）
URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
東北大学大学院情報科学研究科 システム情報科学専攻 尾畑研究室
URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
第13章 整列集合 GAIRON-book : 2018/6/21(19:23)
すべての自然数を小さいものから順に一列に並べれば,
1 2 3 4 . . .
のような見慣れた配列が得られる. これは, 自然数に通常の大小による順序関係
を与えて得られる全順序集合 (N, >=<) の一つの簡便な表示である. 一般の全順序
集合に対しても, 任意の 2 元が比較可能であることから, すべての元が一列に並
んでいるとは言えるが, 自然数の配列にはいろいろと特異な点がある. 本章で
は, この自然数の配列の特徴を抽象化した概念である整列順序を導入して, すべ
ての集合に整列順序を定義できること (整列可能定理) を証明する.
13.1 整列集合
順序集合 (X, ≦) は, すべての空でない部分集合が最小元をもつとき, 整列集
合であるといい, そのような順序を整列順序という. 定義から整列集合は必ず全
順序集合であることに注意しよう. 実際, a, b ∈ X に対して集合 {a, b} は X の
空でない部分集合になるから, それは最小元をもつ. 最小元は a または b であ
るが, それが a であれば a ≦ b となるし, それが b であれば b ≦ a となる.
これは, 任意の a, b ∈ X が比較可能であることを意味し, X は全順序集合である
ことがわかる. 定義から空でない整列集合 X それ自身は最小元 min X をもつ.
つづく
175:現代数学の系譜 雑談
21/05/19 07:55:25.17 H7LP/xSH.net
>>163
つづき
定 理 13.1 自然数 (N, >=<) は整列集合である.
一方, 実数 R, 有理数 Q, 整数 Z は通常の大小関係 >=< によって全順序集合で
あるが, いずれも整列集合ではない. それらには最小元がないからである. だか
らと言って, 実数や有理数を 0 以上のものに限っても整列集合にはならない. た
とえば, X = [0, +∞) の部分集合 A = (0, +∞) には最小元が存在しない.
ここで, 自然数を並び替えて得られる順序の例をいくつか考えておこう.
例 13.2 自然数 x, y ∈ N に対して, x ≧ y のとき x ≦' y と定義すれば, 全順序
集合 (N, ≦') が得られる (問 12.6). 要は,
. . . 4 3 2 1
のように, 自然数を通常とは逆順に並べることに相当する. この配列には min N
が存在しないから, (N, ≦') は整列集合ではない.
例 13.4 自然数を偶数と奇数を分けて, 偶数同士, 奇数同士では通常の大小を考
え, 偶数と奇数では奇数の方が小さいとする順序関係 ≦1 を導入する. この順序
に関して自然数を書き並べれば,
1 3 5 . . . 2 4 6 . . . (13.2)
のような配列が得られる. こうして得られる全順序集合 (N, ≦1) は整列集合に
なる. 実際, 任意の空でない部分集合 A ⊂ N が与えられたとき, A が奇数を含
めば A に含まれる奇数のうち最小のものが min A を与え, A が偶数のみから
なるときは, A に属する偶数のうち最小のものが min A を与える.
次に, 整列集合の簡単な性質を述べておく.
定 理 13.5 整列集合の部分順序集合は整列集合である.
ｐ5
13.2 整列集合の基本定理
本節では, 整列集合が 2 つ与えられたとき, どちらか一方は他方を延長したも
のであるという基本定理を証明する. そのために切片という概念が重要になる.
(X, ≦) を整列集合とする. a ∈ X に対して
X?a? = {x ∈ X | x < a}
を X の a による切片という.
定 理 13.14 整列集合 X, Y に対して次の 3 つの場合のうち, いずれか 1 つだ
けが成り立つ.
(i) X と Y は順序同型である.
(ii) X と Y の切片が順序同型である.
(iii) X の切片と Y が順序同型である.
つづく
176:現代数学の系譜 雑談
21/05/19 07:55:52.68 H7LP/xSH.net
>>164
つづき
13.3 整列可能定理
与えられた集合に適当な順序を定義して整列集合にできるだろうか. 直感的
には, 集合の元を 1 つずつ順に並べればよいわけで, 有限集合に対してなら何ら
問題なくできる. しかし, 無限集合に対してはどうだろうか. カントルはできる
と予想し, ツェルメロが証明を与えた.
1) 実際, ツェルメロは選択公理から整列
可能定理を導いたが, ここではツォルンの補題を用いて証明しよう.2)
定 理 13.15 (整列可能定理) 任意の集合は, 適当な順序を定義することで
整列集合にできる.
証 明 X を任意の集合とする. X の部分集合 A とその上の整列順序 ≦A を
組にした (A, ≦A) の全体を M とする. X の部分集合 A = Φ 上には整列順序が
あるので, M 自身は空ではない. (A, ≦A),(B, ≦B) ∈ M に対して, ある b ∈ B
が存在して A = B?b? であって, A 上の順序 ≦A が (B, ≦B) の部分順序集合と
しての順序と一致するとき, (A, ≦A) < (B, ≦B) と定義する. この二項関係 <
は M 上の等号なしの順序となり, 順序集合 (M, ≦) が得られる.
(M, ≦) がツォルン集合であることを示す.
略
以上によって, (M, ≦) はツォルン集合である. そうすれば, ツォルンの補題に
よって, (M, ≦) には極大元が存在する. それを (S, ≦S) としよう. もし S≠ X
であれば, s ∈ X＼S をとって, S? = S ∪ {s} とおく. S? 上に順序 <S? を
x <S? y ⇔ (i) x, y ∈ S, x <S y, または (ii) x ∈ S, y = s
のように定義すると, (S, ? ≦S?) は整列集合になる. つまり, (S, ? ≦S?) ∈ M であり,
(S, ≦S) < (S, ? ≦S?) が成り立つから, (S, ≦S) が極大元であることに反する. し
たがって, (M, ≦) の極大元は X とその上の整列順序を組にしたものである. 言
い換えれば, X 上に整列順序が存在する.
QED
つづく
177:現代数学の系譜 雑談
21/05/19 07:56:15.07 H7LP/xSH.net
>>165
つづき
注）
1)カントルは 1883 年の有名な論文で整列集合の概念を与えて, すべての集合を整列集合にでき
ることは原理であり自明なことであると主張した. 後年になって, 証明を試みたようであるが成果
は得られず, 連続体仮説とともにカントルの残した集合論の大きな課題となった. ツェルメロは選
択公理 (AC2) を原理として提起して, それを用いて整列可能定理を証明した (1904). その議論は
大論争を巻き起こしたが, 情況が明らかになる中で, ツェルメロは集合の公理を提示するとともに,
整列可能定理の別証明を与えた (1908).
2)赤 [] にはツェルメロの元証明にしたがった議論が収められている.
（引用者注：赤 [] は、上記ぱいおつ日記 『集合論入門』(ちくま学芸文庫)赤攝也著 かあるいは、別の赤攝也先生の著作と思われる）
つづく
178:現代数学の系譜 雑談
21/05/19 07:56:41.48 H7LP/xSH.net
>>166
つづき
URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
GAIRON-book : 2018/6/21(19:23)
第12章 順序集合
P8
12.3 ツォルンの補題
順序集合に極大元があるための使いやすい十分条件を与えておこう.
定 理 12.18 (ツォルンの補題)2)
空でない順序集合 X において, すべての全
順序部分集合が上界をもつならば X には極大元が存在する.
注）
2)Max August Zorn (1906?1993, ドイツの数学者) が整列可能定理に代わる集合論の公理とし
て提案して, 代数におけるいくつかの応用を示した (1935). ツォルン自身は「補題」とは呼んでお
らず, MP (maximum principle, 極大原理) と称した. その論文で選択公理と整列可能定理の同値
性を予告したが, 公表されなかったようである.
3)ここでは Halmos [], 松村 [] にしたがって, 集合と写像を用いた初等的な証明を紹介する. よ
く知られた超限帰納法による証明は簡潔で直感的なのだが, そのためには整列集合の理論を準備す
る必要がある
つづく
179:現代数学の系譜 雑談
21/05/19 07:57:02.74 H7LP/xSH.net
>>167
つづき
URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
GAIRON-book : 2018/6/4(8:44)
第11章 選択公理
集合論が発展する過程で, 数学の深みの中から現れた選択公理は大きな論争
を巻き起こした. その後, 選択公理は集合論の ZF 公理系から独立であることが
示されたが, 今では多くの分野であまり意識されていない. 本章では, 選択公理
について基本的な理解を深めながら, その現れ方と有用性を垣間見たい.
P4
11.2 選択公理
選択公理には同値な述べ方が何通りかある. 大まかには, 選択集合を用いる
か, 選択関数を用いるか, あるいは直積集合を用いることになるが, それぞれに
多少のバリエーションがある. ここでは, 使いやすく簡潔なものを採用しよう.2)
(AC1) ? を空でない集合族とする. もし Φ not∈ ? であり, ? に属する集合が互い
に素であれば, 集合 A ⊂∪? で3), すべての X ∈ ? に対して |A∩ X| = 1
となるものが存在する. この集合 A を集合族 ? の選択集合という.
(AC2) ? を空でない集合族とする. もし Φ not∈ ? であれば, 写像 f : ? ?→ ∪?
ですべての X ∈ ? に対して f(X) ∈ X となるものが存在する. この写像f を集合族 ? の選択関数という.
(AC3) 集合系 (Aλ|λ ∈ Λ) において, すべての λ ∈ Λ に対して Aλ≠ Φ であれば, 直積集合は ?λ Aλ≠ Φ を満たす.
すぐに証明するが, (AC1)?(AC3) は同値な命題である. これら (のうちの 1 つ)
を選択公理 という. (AC1) と (AC2) において, 集合族 ? 自身が空ならば命題
は自明に成り立つので, ? を単に集合族としても同じことである. ここでは, 応
用を考えて, 集合族 ? をあらかじめ空ではないと断った. 集合の公理 (S10) と
して述べた選択公理 (第 3.3 節) は, 述べ方にわずかな違いがあるが (AC1) と同
値である. また, (AC3) では集合系を扱っているが, 集合系の定義によって, 初
めから Λ≠ Φ である.
つづく
180:現代数学の系譜 雑談
21/05/19 07:57:24.21 H7LP/xSH.net
>>168
つづき
URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
GAIRON-book : 2018/6/21(19:23)
第3章 集合の演算
P11
3.3 集合の公理
(S10) 選択公理 ここでも集合の元はまた集合であることを思い出す. X は空
集合を元として含まず, 任意の 2 つの元が互いに素であるとき, すべての x ∈ X
に対して x ∩ A が 1 個の元だけからなるような集合 A が存在する.
∀X((Φ not∈ X ∧ ∀x ∈ X∀y ∈ X(x≠ y → x ∩ y = Φ))→ ∃A∀x ∈ X∃t(x ∩ A = {t}))
直感的には, A は X の元であるところの各集合から 1 個ずつ元を取り出してま
とめたものであり, それが集合になることを保証している. あるいは, このよう
な操作で集合が構成できることを保証している. この A を選択集合と呼ぶ. 選
択公理の述べ方には何通りかあり, さらに同値な命題もいろいろ知られている.
第 11 章で詳しく扱う (第 13.3 節も見よ).
つづく
181:現代数学の系譜 雑談
21/05/19 07:57:48.75 H7LP/xSH.net
>>169
つづき
（補足の英文資料）
URLﾘﾝｸ(en.wikipedia.org)
A choice function (selector, selection) is a mathematical function f that is defined on some collection X of nonempty sets and assigns to each set S in that collection some element f(S) of S. In other words, f is a choice function for X if and only if it belongs to the direct product of X.
An example
Let X = { {1,4,7}, {9}, {2,7} }. Then the function that assigns 7 to the set
182:{1,4,7}, 9 to {9}, and 2 to {2,7} is a choice function on X. Choice function of a multivalued map Given two sets X and Y, let F be a multivalued map from X and Y (equivalently, F:→ P(Y) is a function from X to the power set of Y). A function f:→ Y is said to be a selection of F, if: ∀ x∈ X,(f(x)∈ F(x)),. The existence of more regular choice functions, namely continuous or measurable selections is important in the theory of differential inclusions, optimal control, and mathematical economics.[2] See Selection theorem. https://en.wikipedia.org/wiki/Selection_theorem Selection theorem Preliminaries Given two sets X and Y, let F be a multivalued map from X and Y. Equivalently, F:→ P(Y) is a function from X to the power set of Y. A function f:→ Y is said to be a selection of F if ∀ x∈ X:,,,f(x)∈ F(x),. In other words, given an input x for which the original function F returns multiple values, the new function f returns a single value. This is a special case of a choice function. The axiom of choice implies that a selection function always exists; however, it is often important that the selection have some "nice" properties, such as continuity or measurability. This is where the selection theorems come into action: they guarantee that, if F satisfies certain properties, then it has a selection f that is continuous or has other desirable properties. つづく