[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 60 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
284: 2021/10/15(金)17:49 ID:W7p98/kC(23/23) AAS
>>283
ここで点列の定義を確認しない奴は数学諦めろ
外部ﾘﾝｸ:ja.wikipedia.org
「S に値を取る無限列とは、自然数全体のなす集合 N={1,2,3,…}から S への写像である。」
kiasjayG お前のことだぞ
285(3): 2021/10/15(金)20:50 ID:hUrbFxCT(5/6) AAS
>>282
(引用終り)
順序数
外部ﾘﾝｸ:ja.wikipedia.org
「O が順序数からなる集合のとき、∪ O もまた順序数であり、O の最小上界となっている。
そこで、∪ O を sup(O) とも書く。」
(引用終り)
1．誤読だよ、そこ。その引用の順序数 wikipedia 冒頭には、「順序数とは、整列集合同士の"長さ"を比較するために、自然数[1]を拡張させた概念である」とあって
注釈があるだろ？ 脚注 1^ 本項目では、各自然数が自分自身より小さな自然数全体の集合と等しくなるような仕方で自然数が定義されているものとする。例えば、0 = ? , 1 = { 0 } , 2 = { 0, 1 } である。
2．そして、あんたの引用は正確には、順序数の大小関係の章の
省8
286(3): 2021/10/15(金)20:52 ID:hUrbFxCT(6/6) AAS
>>285
まず訂正
(引用終り)
順序数
↓
(引用開始)
順序数
です
つづき
あと、細かいが
省12
287(1): ｺﾃもﾄﾘｯﾌﾟも不要の誰も真似したくないバカな性格 2021/10/15(金)20:52 ID:UPocKF29(1/2) AAS
> IUT48
ポニョ爺のバッカモーーーーーン!!マジでリアルに酒ぇえ溢したジャロウがぁあああああ!!
けしからぁぁぁああああああぁぁぁん!!もっとやれぇぇぇえええぇぇぇ!!
ほぅ言やぁ今日、女で非アブノーマルの癖にアイドルが好きな会社の後輩に
「何で男の癖にアイドルの良さが分からんの!!人生の9割方を損しとりますよ!!」とか言われた
何故かその女はAKS改めDH所属アイドルグループじゃのうて現役モー娘。推しじゃったが｡
アイドル？偶像性？は。形に過ぎぬわ。ベビーメタル？形に過ぎぬわ。何か才能あるのか？才能にも惚れぬ｡
288(1): 2021/10/15(金)20:53 ID:TMZrkZ9M(3/3) AAS
>>286
一回生レベルにすら到達してなくて院試を語るwwwwwwwwwww
289(2): ｺﾃもﾄﾘｯﾌﾟも不要の誰も真似したくないバカな性格 2021/10/15(金)21:07 ID:UPocKF29(2/2) AAS
たーしかに、これは、ミーハー行為じゃな
IUT48
言い得て妙
290(1): ω1 ◆y7fKJ8VsjM 2021/10/16(土)06:20 ID:3noIbAnj(1/10) AAS
ども、週末だけ登場する元Mara Papiyasです
この度、HNをω1に変更しましたのでよろしく
さて、平日の間になんかいろいろあったみたいですね
あいかわらずお🐒のSET A君は「認めなぁぁぁぁい！」
の一点コンパクト、じゃなかった一点張りだったみたいですが
>>285
>>「O が順序数からなる集合のとき、∪ O もまた順序数であり、O の最小上界となっている。
>> そこで、∪ O を sup(O) とも書く。」
>誤読だよ、そこ。
>あんたの引用は正確には
省18
291: ω1 ◆y7fKJ8VsjM 2021/10/16(土)06:45 ID:3noIbAnj(2/10) AAS
>>287 >>289 お元気でしたか？
IUT48といったのは私ではありません
･･･が、いいネーミングですね！！！
実はIUT48の公式ライバルとして
「＊＊坂46」という名前でデビューしようと思ったんですが、
＊＊に当てはまるいい言葉が思い浮かばず断念しました・・・
参考
外部ﾘﾝｸ:www.sonymusic.co.jp
292: ω1 ◆y7fKJ8VsjM 2021/10/16(土)06:53 ID:3noIbAnj(3/10) AAS
お🐒のSET Aを乃木坂メンバーに例えると誰か？と考えてみた
まあ、白石麻衣ではない どう考えてもそれはないｗ
動画ﾘﾝｸ[YouTube]
やっぱこいつか！
動画ﾘﾝｸ[YouTube]
臆面もなく音痴な歌を披露するクソ度胸！
SET Aは数学板のまなったんに決定！！！ｗ
ということで
ずっきゅん！！！
293(1): 2021/10/16(土)07:02 ID:UMLyo87G(1/8) AAS
>>290
>じゃ、おのSET Aはどうやってsup(O)を「実現」するんだい？
>書いてごらんよ
おれは名前の議論はしない。第三者に迷惑をかける可能性があるからね
で、おサルさん、極限の理解を間違っていたんだ >>285-286
格好わるいよね、あんたｗｗ
294: 2021/10/16(土)07:04 ID:UMLyo87G(2/8) AAS
>>289
蕎麦屋のおっさんかい？
ご苦労さんｗ
295: ω1 ◆y7fKJ8VsjM 2021/10/16(土)07:09 ID:3noIbAnj(4/10) AAS
俺を乃木坂メンバーに例えると誰か？と考えてみた
さすがに、生田絵梨花というのは欲張りすぎだろうｗ
動画ﾘﾝｸ[YouTube]
ま、せいぜいこの程度で勘弁しといてやるよ
動画ﾘﾝｸ[YouTube]
ヘタレと思わせといてからの背面飛び
さすが、SU-METALの実の姉ですなｗ
動画ﾘﾝｸ[YouTube]
それにしてもせいじ兄さんが大人げないｗｗｗ
296: ω1 ◆y7fKJ8VsjM 2021/10/16(土)07:21 ID:3noIbAnj(5/10) AAS
>>293
>で、・・・極限の理解を間違っていたんだ
>格好わるいよね、あんたｗｗ
いや、まちがってたのは、あんただよ
お🐒のSET A君
名前のことなら心配するな
セタとはいってない、SET A つまり「集合A」だ
さて 本題
Zermeloの後者関数S(a) := {a}による順序数の実現の場合
二つの順序数a,bが、a<bという関係を満たすのは
省18
297(3): 2021/10/16(土)07:41 ID:UMLyo87G(3/8) AAS
>>288
ID:TMZrkZ9M さんか
笑える。朝9時から夜8時まで、計14投稿で、4位
えらいね。「まぁ一応教科書も論文も細々と読んで亀の歩みで少しずつ賢くなってるつもりではある」か
「君はダメだね」は、認めるが、
おっさんは？ 見込みあるの？ｗｗ
亀の歩みとか言いながら、一方で、朝から晩まで高木の相手か？
ヒマだね。無職ヒキコモリか
朝9時から夜8時まで、5ｃｈ徘徊おじさんのご高説
説得力無いわなｗ
省21
298: ω1 ◆y7fKJ8VsjM 2021/10/16(土)08:03 ID:3noIbAnj(6/10) AAS
>>297
＞朝から晩まで高木の相手か？
高木君は病気（おそらく統合失調症）だから仕方ない
でもお🐒のSET Aは病気じゃないとすると・・・そっちのほうがヤバいな
299: 2021/10/16(土)09:33 ID:tQsDtm0U(1) AAS
病気ではない
300(6): 2021/10/16(土)09:45 ID:UMLyo87G(4/8) AAS
>>273 補足
(>>220より)
Axiom of infinity 外部ﾘﾝｸ:en.wikipedia.org
で、ノイマンの後者関数 suc(a)= a ∪ {a}。一方、ツェルメロの後者関数 suc(a)= {a}
比較すれば、分かるように、”a ∪ {a} -→ {a}” のように、余分の aを取ると、{a}になる
ここに、”-→” を、余分のaを取る操作を表すとする
0 = {} -→ {}0、 ネストの深さ0 （注：空集合までの{}のネストの深さ。以下同じ）
1 = {{}} -→ {{}}1、 ネストの深さ1
2 = { {}, {{}} } -→ {{{}}}2、 ネストの深さ2
3 = { {}, {{}}, {{}, {{}}} } -→ {{{{}}}}3、 ネストの深さ3
省15
301(3): 2021/10/16(土)09:45 ID:UMLyo87G(5/8) AAS
>>300
つづき
さて、{・・{{{{{}}}}}・・}ωが、集合Nから余分のaを取る操作 ”-→”で得られることは、上記で示した
集合Nの元は、”元に関する有限の記述では到達できない”という性質を持ち、{・・{{{{{}}}}}・・}ωもその性質を受け継いでいると言える
（∵ "集合Nの元＝自然数n には 最大値が存在しない" から）
だから、集合{・・{{{{{}}}}}・・}ωも ”元に関する有限の記述では到達できない”のです
だからと言って、集合論の中に それが存在しない とは言えない。それは、集合Nも同じこと
なお、”元に関する有限の記述では到達できない”身近な例として、集合Nの素数の集合がある
素数は、自分自身と1以外に約数を持たない数として定義できる
しかし、”集合Nの素数の集合”は、”元に関する有限の記述では到達できない”
省10
302(1): ω1 ◆y7fKJ8VsjM 2021/10/16(土)10:50 ID:3noIbAnj(7/10) AAS
>>300
>”a ∪ {a} -→ {a}” のように、余分の aを取ると、{a}になる
>ここに、”-→” を、余分のaを取る操作を表すとする
>1 = {{}} -→ {{}}1、 ネストの深さ1
>2 = { {}, {{}} } -→ {{{}}}2、 ネストの深さ2
>3 = { {}, {{}}, {{}, {{}}} } -→ {{{{}}}}3、 ネストの深さ3
>4 = { {}, {{}}, { {}, {{}} }, { {}, {{}}, {{}, {{}}} } } -→ {{{{{}}}}}4、 ネストの深さ4
> ・
> ・
ああ、その方法は可能だね・・・後続順序数の場合には（ニヤリ）
省11
303: ω1 ◆y7fKJ8VsjM 2021/10/16(土)10:55 ID:3noIbAnj(8/10) AAS
>>301
>さて、{・・{{{{{}}}}}・・}ωが、
>集合Nから余分のaを取る操作 ”-→”で得られることは、
>上記(>>300)で示した
･･･というお🐒のSET Aの思い込みは間違ってて
余分の自然数を全部取ったら、空集合になっちゃうことは
上記(>>302)で示した
ということで、それ以降の８行分は、無意味な寝言だから全部カットねｗ
304: 2021/10/16(土)10:55 ID:1XclTaaU(1/3) AAS
自分が考えてる事の定義すらできない
305(2): ω1 ◆y7fKJ8VsjM 2021/10/16(土)11:06 ID:3noIbAnj(9/10) AAS
纏めると
>>301
＞1．ツェルメロの後者関数 suc(a)= {a}による {・・{{{{{}}}}}・・}ωは、
＞ ノイマンの集合Nから余分のaを取る操作 ”-→”で、構成できる
?. ツェルメロの後者関数 suc(a)= {a}による ωは、
ノイマンの集合Nから余分のaを取る操作 ”-→”では、構成できないｗ
＞2．{・・{{{{{}}}}}・・}ωの元は、”元に関する有限の記述では到達できない”
＞ そもそも、集合Nの元は、”元に関する有限の記述では到達できない”という性質を持つので、
＞ その性質を受け継いでいる
＞ （集合Nの元には、最大値が存在しないことから従う）
省14
306(1): 2021/10/16(土)12:07 ID:UMLyo87G(6/8) AAS
>>305
ご意見は、承った
だが、それは
証明された命題ではない
307(1): 2021/10/16(土)12:44 ID:1XclTaaU(2/3) AAS
>>305
一回生の前期試験レベルの定義すらできんのに院試wwwwwwww
308: ω1 ◆y7fKJ8VsjM 2021/10/16(土)15:00 ID:3noIbAnj(10/10) AAS
>>306
>それは証明された命題ではない
ああ、
「ツェルメロの後者関数 suc(a)= {a}による {・・{{{{{}}}}}・・}ωは、
ノイマンの集合Nから余分のaを取る操作 ”-→”で、構成できる」
がね
そりゃ証明できないよ
だってＮの中に、最後の要素・・{{{{{}}}}}・・なんてないもん
309(1): 2021/10/16(土)18:40 ID:UMLyo87G(7/8) AAS
>>307
ID:1XclTaaUさんね
亀の歩み おじさんね>>297
夜中の0時1時に4投稿
朝は、10時からいままで必死に5ｃｈ
今日は、2 位/74ID中 Total 16だよ
完全に、廃人だな
「まぁ一応教科書も論文も細々と読んで亀の歩みで少しずつ賢くなってるつもりではあるがね」>>267
って、まあ この調子なら 亀の歩みも進んでないよね
笑えるおじさんだね。笑ってやるよｗｗｗ
省16
310(1): 2021/10/16(土)18:48 ID:1XclTaaU(3/3) AAS
3年経っても一回生レベルにすらいかんやつよりは早いけどなwwwwwwwww
311: 2021/10/16(土)23:59 ID:UMLyo87G(8/8) AAS
>>310
あらら、亀おじさんだねｗ
ご謙遜のつもりだろうがｗｗ
全く信用できんけどなｗｗｗ
5ｃｈで数学ゴッコで遊んでいるだけじゃんか、おっさんｗｗｗｗ
おれと同類だよｗｗｗｗｗ
312(3): 2021/10/17(日)00:00 ID:dQP0ifDN(1/22) AAS
>>300-301 補足の補足
ノイマン構成のNによるツェルメロ{・・{{{{{}}}}}・・}ωの元を
ビジュアル化できそに思うので、書いてみるね
まず、>>300より
N = { {}, {{}}, { {}, {{}} }, { {}, {{}}, {{}, {{}}} } ・・} -→ {・・{{{{{}}}}}・・}ω、 ネストの深さ∞
ここから
N = { 0,1,2,3,4,・・}として、この集合Nの最外側の{}を外して、元を並べると
自然数の列 0,1,2,3,4,・・ となる
これを区間 [0,1]に埋め込むために、有理数を使う
まず、2以降を
省16
313(3): 2021/10/17(日)00:00 ID:dQP0ifDN(2/22) AAS
>>312
つづき
この列で、0.1, 1-1/2,1-1/3,1-1/4,・・→1の箇所に右カッコ"}"を置くと
0, }1, }2, }3, }4,・・→}ω （注：例えば、}4の4は、添え字でカッコの順を示す。他も同様）
上記列の鏡映反転で、-1を掛けて、同じようにすると、左カッコ"{"の列が出来る
即ち
-1←・・,-1+1/4,-1+1/3,-1+1/2,-0.1,0
ω{←・・,4{ ,3{ ,2{ ,1{ ,0
こうすることで、左側も区間[-1,0]に埋め込める
左右を合わせると、区間[-1,1]に埋め込めて
省15
314(2): ω1 ◆y7fKJ8VsjM 2021/10/17(日)07:16 ID:w6C+QlCK(1/15) AAS
>>312
ヘタな考え、休むに似たり
まず、
> >>300
>N = { {}, {{}}, { {}, {{}} }, { {}, {{}}, {{}, {{}}} } ・・} -→ {・・{{{{{}}}}}・・}ω、
>ネストの深さ∞
がウソ
なぜか？
＞N = { 0,1,2,3,4,・・}として、この集合Nの最外側の{}を外して、元を並べると
＞自然数の列 0,1,2,3,4,・・ となる
省25
315(1): ω1 ◆y7fKJ8VsjM 2021/10/17(日)07:26 ID:w6C+QlCK(2/15) AAS
>>314のつづき
さて、>>313についてN∪ωにすり替える前のNで考え直してみる
「0.1, 1-1/2,1-1/3,1-1/4,・・の箇所に右カッコ"}"を置くと
0, }1, }2, }3, }4,・・
（注：例えば、}4の4は、添え字でカッコの順を示す。他も同様）」
「上記列の鏡映反転で、-1を掛けて、同じようにすると、左カッコ"{"の列が出来る 即ち
・・,-1+1/4,-1+1/3,-1+1/2,-0.1,0
・・,4{ ,3{ ,2{ ,1{ ,0」
「左右を合わせると、区間[-1,1]に埋め込めて
省16
316: ω1 ◆y7fKJ8VsjM 2021/10/17(日)07:44 ID:w6C+QlCK(3/15) AAS
>>315のつづき
>>313で、お🐒のSET Aはグダグダと以下の言い訳している
＞さて、最外側の{}ωを外すことは、
＞順序集合 N ∪ ωから、ωを取ることに相当するから、
＞脱コンパクト化だ
＞つまり、N ∪ ω→N とすることに相当する
ただのトートロジーｗ
＞だから元は、・・{{{{{}}}}}・・となる。これは、右半分だけを見れば
＞}}}}}・・→ 0 }1 }2 }3 }4・・ となって、全ての自然数を走るが、
＞脱コンパクト化でωには決して到達しない
省32
317(3): 2021/10/17(日)09:45 ID:dQP0ifDN(3/22) AAS
>>283
>最小の非可算順序数ω１は、いかなる可算順序数の点列の極限にもならんよ
>外部ﾘﾝｸ:ja.wikipedia.org
おっさん、さ、極限とか、点列コンパクト、
コンパクト化（コンパクトでない位相空間に一点付け加えるだけでコンパクト化する方法が必ず存在する(アレクサンドロフの一点コンパクト化)）
とか、何にも分かってないんじゃね？
おっさんな、以前、ε-δ論法（下記）で、”∀ε>0∃δ>0 s.t. ∀x∈R 0<|x-a|<δ ⇒ |f(x)-b|<ε”を丸暗記で書いて、自慢したろ？
確かに、1980年代頃までの日本の数学界では、ε-δ論法が分からないと、大学数学は理解できたと言えないという都市伝説があった気がする
しかし、世界の数学界は、ε-δ論法には必ずしも拘らないという流れだったのでは？
その理由は、1）ノンスタ（超準）が出た、2）ε-δ論法は距離空間限定で、一般の位相空間では使えないってこと
省10
318(4): 2021/10/17(日)09:47 ID:dQP0ifDN(4/22) AAS
>>317
つづき
一方、英wikipediaでは、”If the axiom of countable choice holds, every increasing ω-sequence of elements of [0,ω1) converges to a limit in [0,ω1). The reason is that the union (i.e., supremum) of every countable set of countable ordinals is another countable ordinal.”と記されている
この二つは、矛盾しない
というか、”最小の非可算順序数ω１は、いかなる可算順序数の点列の極限にもならん”
は、可算ωの次の極限順序数が、ω１であることを言い換えているだけであって、しかも、なんか変
上記の「ω1 は[0,ω1) の極限点であるが」は、ω1は「[0,ω1) の外」という一見当たり前のことに
”The reason is that the union (i.e., supremum) of every countable set of countable ordinals is another countable ordinal.”
という理由付け（＝略証）を与えていて、本来、この理由付け（＝略証）の方に、重点があるよね
ε-δ頭が邪魔をして、距離空間でない一般の極限が、なんにも分かってない気がするよｗ
省10
319(3): 2021/10/17(日)09:48 ID:dQP0ifDN(5/22) AAS
>>318
つづき
外部ﾘﾝｸ:en.wikipedia.org
First uncountable ordinal
Topological properties
If the axiom of countable choice holds, every increasing ω-sequence of elements of [0,ω1) converges to a limit in [0,ω1). The reason is that the union (i.e., supremum) of every countable set of countable ordinals is another countable ordinal.
The topological space [0,ω1) is sequentially compact, but not compact. As a consequence, it is not metrizable. It is, however, countably compact and thus not Lindelof. In terms of axioms of countability, [0,ω1) is first-countable, but neither separable nor second-countable.
外部ﾘﾝｸ:ja.wikipedia.org
コンパクト空間
コンパクト（英: compact, /k?m?pakt/[1]）は位相空間の性質であり、R^n上の有界閉集合が満たす性質を抽象化する事により定義される。
省6
320(2): 2021/10/17(日)09:51 ID:dQP0ifDN(6/22) AAS
>>319
つづき
外部ﾘﾝｸ:en.wikipedia.org
Limit point compact
In mathematics, a topological space X is said to be limit point compact[1][2] or weakly countably compact[3] if every infinite subset of X has a limit point in X. This property generalizes a property of compact spaces. In a metric space, limit point compactness, compactness, and sequential compactness are all equivalent. For general topological spaces, however, these three notions of compactness are not equivalent.
（余談 Nagata, J.-I Who? 長田 潤一先生。森田同値で有名な 森田紀一先生の弟子だって）
外部ﾘﾝｸ:en.wikipedia.org
Axiom of countability
References
1. Nagata, J.-I. (1985), Modern General Topology, North-Holland Mathematical Library (3rd ed.), Elsevier, p. 104,
省13
321(2): 2021/10/17(日)10:18 ID:dQP0ifDN(7/22) AAS
>>314
(引用開始)
> >>300
>N = { {}, {{}}, { {}, {{}} }, { {}, {{}}, {{}, {{}}} } ・・} -→ {・・{{{{{}}}}}・・}ω、
>ネストの深さ∞
がウソ
なぜか？
＞N = { 0,1,2,3,4,・・}として、この集合Nの最外側の{}を外して、元を並べると
＞自然数の列 0,1,2,3,4,・・ となる
が、列 0,1,2,3,4,・・の最右の元は存在しない！
省12
322(1): 2021/10/17(日)10:19 ID:dQP0ifDN(8/22) AAS
>>321
つづき
Successors are used to define the usual set-theoretic encoding of the natural numbers. In this encoding, zero is the empty set:
0 = {}.
The number 1 is the successor of 0:
1 = 0 ∪ {0} = {} ∪ {0} = {0} = {{}}.
Likewise, 2 is the successor of 1:
2 = 1 ∪ {1} = {0} ∪ {1} = {0,1} = { {}, {{}} },
and so on:
3 = {0,1,2} = { {}, {{}}, {{}, {{}}} };
省11
323(1): 2021/10/17(日)10:29 ID:Xgt7gya9(1/2) AAS
永遠の足踏み
324(3): 2021/10/17(日)11:10 ID:dQP0ifDN(9/22) AAS
>>323
亀おじさんだねｗ
夜中 00:59 に高木氏の相手か（下記）
02:19にも一つ投稿して、やっとお休みタイム
朝は、10時から2投稿
規則正しく、夜中の２時で寝て、朝は10時から５ｃｈ開始か？
おっさん、5ｃｈ廃人やねｗ
笑えるよ
10月16日、10月14日に、”Inter-universal geometry とABC 予想46”スレに
アンチIUT投稿ね
省26
325: 2021/10/17(日)11:10 ID:dQP0ifDN(10/22) AAS
>>324
つづき
（>>309より）
外部ﾘﾝｸ[html]:hissi.org
必死チェッカーもどき
数学 > 2021年10月16日 > 1XclTaaU
Inter-universal geometry とABC 予想46
914 ：１３２人目の素数さん[sage]：2021/10/16(土) 17:09:16.05 ID:1XclTaaU
今回の話にで望月先生に責任とってもらうのは無理やろ
論文自体に論証が不十分なとこがあって、それを論文誌に投稿する事自体にはなんの問題もない
省19
326(1): ω1 ◆y7fKJ8VsjM 2021/10/17(日)12:12 ID:w6C+QlCK(4/15) AAS
>>317-320
話、そらしたな
無限重シングルトンでは弁解不能と悟った?
だったら「自分が間違ってました」と認めなよ
いつも、その一言を言わないから、誤りを自覚せず
いつまでも同じ誤りを犯すんだよ
自分のためだよ
別にみんな素人相手にマウントして楽しいなんて思わないからさ
327(3): ω1 ◆y7fKJ8VsjM 2021/10/17(日)12:13 ID:w6C+QlCK(5/15) AAS
さて、今日もお🐒の調教を始めるかｗ
>>317
>冒頭の
>「最小の非可算順序数ω１は、いかなる可算順序数の点列の極限にもならん」
>は、wikipedia "最小の非可算順序数" の
>「ω1 は[0,ω1) の極限点であるが、 [0,ω1) 内の可算な点列で ω1 に収束するものは存在しない」
>を言っていると思うが
「と思うが」は不要、そう書いてあるｗ
外部ﾘﾝｸ:ja.wikipedia.org
>>318
省21
328(2): ω1 ◆y7fKJ8VsjM 2021/10/17(日)12:21 ID:w6C+QlCK(6/15) AAS
>>318
>上記の「ω1 は[0,ω1) の極限点であるが」は、ω1は「[0,ω1) の外」という一見当たり前のことに
>”The reason is that the union (i.e., supremum) of every countable set of countable ordinals is another countable ordinal.”
>という理由付け（＝略証）を与えていて、本来、この理由付け（＝略証）の方に、重点があるよね
なんか全然トンチンカンなこといってるね、この🐎🦌ｗ
「ω1 は[0,ω1) の極限点」と
「ω1 は[0,ω1) の無限点列の極限点」は違うよ
（※[0,ω1) の無限点列とは、Ｎから[0,ω1)への写像）
違い、わかる？
>ε-δ頭が邪魔をして、距離空間でない一般の極限が、なんにも分かってない気がするよｗ
省3
329(3): ω1 ◆y7fKJ8VsjM 2021/10/17(日)12:41 ID:w6C+QlCK(7/15) AAS
>>319
ああ、そのコピペじゃダメだね（バッサリ）
お🐒に問題
１．「コンパクト空間」「点列コンパクト空間」それぞれの定義を書け（初級）
２．[0,ω1)が、順序位相で点列コンパクト空間であるにもかかわらず、コンパクト空間でないことを示せ（中級）
（ヒント：[0,ω1)の具体的な開被覆を考えよ）
３．点列コンパクト空間がコンパクト空間となるための条件と、その証明を示せ（上級）
（初級）：検索できれば🐒でもできる
（中級）：検索だけでは解けないが、考えればどんな👦でもできる
（上級）：そもそも難しい
330(1): ω1 ◆y7fKJ8VsjM 2021/10/17(日)12:45 ID:w6C+QlCK(8/15) AAS
>>320
だからさあ、わかりもせずに検索して結果をコピペしても無駄だから
>>327で指摘したキミの誤りを理解して
>>328を読んで頭冷やした上で
>>329の問題解いてみてくれる？
キミがいかに身の程知らずだったか、キミにもわかるよ
331(1): 2021/10/17(日)13:12 ID:dQP0ifDN(11/22) AAS
>>326-330
>話、そらしたな
自分の内心の投影じゃね？
必死に、他人を攻撃せずにはいられない人だね、
あなたはｗ
(参考)
外部ﾘﾝｸ:bookpass.auone.jp
ブックパス
他人を攻撃せずにはいられない人 片田珠美 PHP研究所 2015
あらすじ・作品情報
省10
332(1): 2021/10/17(日)13:20 ID:dQP0ifDN(12/22) AAS
>>327
>>”最小の非可算順序数ω１は、いかなる可算順序数の点列の極限にもならん”
>>は、可算ωの次の極限順序数が、ω１であることを言い換えているだけであって、
>ωの次の極限順序数はω・２ね
>外部ﾘﾝｸ:ja.wikipedia.org
ご指摘ありがとう
ω１は、最小の非可算順序数で、可算ωの次の極限順序数ではないね
ご苦労さんでした
333: ω1 ◆y7fKJ8VsjM 2021/10/17(日)13:35 ID:w6C+QlCK(9/15) AAS
>>331
>他人を攻撃せずにはいられない人
それ、お🐒のSET Aなｗ
さっさと>>329の３問題解けやｗ
１．「コンパクト空間」「点列コンパクト空間」それぞれの定義を書け（初級）
２．[0,ω1)が、順序位相で点列コンパクト空間であるにもかかわらず、コンパクト空間でないことを示せ（中級）
（ヒント：[0,ω1)の具体的な開被覆を考えよ）
３．点列コンパクト空間がコンパクト空間となるための条件と、その証明を示せ（上級）
（初級）：検索できれば🐒でもできる
（中級）：検索だけでは解けないが、考えればどんな👦でもできる
省8
334(1): ω1 ◆y7fKJ8VsjM 2021/10/17(日)13:41 ID:w6C+QlCK(10/15) AAS
>>321-322
なんか、
「Nのネストの深さ∞」 だから
「Nの中に、ネストの深さが∞の要素が存在する」
と思ってる？
ほんとSET Aはアホウじゃねえ
そんなもんあるわけなかろうが
これから お🐒のSET A 改め 🦠のSET φ と呼ぶよｗ
335(1): 2021/10/17(日)14:22 ID:dQP0ifDN(13/22) AAS
>>334
(引用開始)
「Nのネストの深さ∞」 だから
「Nの中に、ネストの深さが∞の要素が存在する」
と思ってる？
そんなもんあるわけなかろうが
(引用終り)
ご高説は、承った
だが、それは意見であって
それには、証明が無い（理由付けさえ ないよね）
省3
336(1): ω1 ◆y7fKJ8VsjM 2021/10/17(日)15:02 ID:w6C+QlCK(11/15) AAS
>>335
マジで「Nの中に、ネストの深さが∞の要素が存在する」と思ってる？
Nの要素は皆自然数ｎで、そのネストの深さはｎ
ｎの要素は｛０，・・・，ｎ−１｝
もし、🦠のSET φの「シングルトン製造法」で
Nからシングルトンのωが作れるとするならば
Nは｛０，・・・，N−１｝ってことになる
しかし、もしN−１とかいう最後の元があるとすると
「ｎが自然数なら、ｎ＋１も自然数」
という自然数の定義に反するｗ
省2
337(1): 2021/10/17(日)15:41 ID:dQP0ifDN(14/22) AAS
>>336
おっさん、以前あった下記の「IUTスレでの”実数の不等号＜を使った無限列の存在の議論”」
を覚えているかい？
全く同じ間違いを犯して、数学科出身者にコテンパンにやられたよね、あなたは
今回の「可算無限重シングルトン」も、下記の他の あなたの間違いや錯覚に共通していると思うよ
あんた、結局、”可算無限”がちゃんと理解できていないんだ
しかし、”可算無限”がちゃんと理解できていないならば、それは数学科で落ちこぼれていたことを意味するよ
実際そうで、あなたのいろんな言説と符合するよね
やれやれ
業の深い人だね
省23
338: 2021/10/17(日)15:42 ID:ywsS3Axx(1) AAS
便食虫集合A
339: ω1 ◆y7fKJ8VsjM 2021/10/17(日)16:28 ID:w6C+QlCK(12/15) AAS
>>337
なんか全然無関係なことを関係づけようとしてるようですが…それ妄想なｗ
＞あんた、結局、”可算無限”がちゃんと理解できていないんだ
それ、🦠のあんた
具体的にいうと、自然数の集合Nに最大元が存在しないこと、全然理解できてないんだ
そんなアホがいるとおもわんかったよ
＞しかし、”可算無限”がちゃんと理解できていないならば、
＞それは数学科で落ちこぼれていたことを意味するよ
最大の自然数が存在しないって、理解できてないんじゃ
ペアノの公理が分かってないってことだよな
省6
340(3): 2021/10/17(日)18:35 ID:dQP0ifDN(15/22) AAS
>>248
>Wojciech Porowski氏
Wojciech Porowski氏のDR論文 Anabelian geometry of punctured elliptic curves
28 Jul 2020 昨年だね。欧米の学期は、9月始まりだから、7月なら、ちょうど年度末だね
残念ながら、フルテキストのアクセスにはID登録が必要みたい
外部ﾘﾝｸ[do]:ethos.bl.uk
Use this URL to cite or link to this record in EThOS
Title: Anabelian geometry of punctured elliptic curves
Author: Porowski, Wojciech
ISNI: 0000 0004 9350 4645
省6
341(1): 2021/10/17(日)18:36 ID:dQP0ifDN(16/22) AAS
>>340
つづき
This algorithmic approach is sometimes called monoanabelian. In this thesis we concentrate on the special case when the hyperbolic curve X is a smooth and proper curve of genus one over a p-adic local field K with one K-rational point removed i.e., elliptic curve E punctured at the origin. We consider the problem of reconstructing the local height of a rational point on an elliptic curve from the fundamental group \Pi_X equipped with a section of the absolute Galois group GK determined by this point. We provide such construction for the full e?tale fundamental group of X as well as for its maximally geometrically pro-p quotient in the case when the elliptic curve E has potentially good reduction.
Another problem we consider is determining the reduction type of the elliptic curve E from the maximal geometrically pro-p fundamental group of X, equipped with an additional data of the set of discrete tangential sections. Our main result provides such reconstruction when the residue characteristic p is greater than three. Moreover, we study the tempered fundamental group of a Tate curve and prove that a particular torsor of cohomology classes of theta functions admits a natural trivialization, well defined up to a sign, which is compatible with the integral structure coming form the stable model of the Tate curve. Finally, in the last chapter we shift our attention to studying GK- equivariant automorphisms of various multiplicative submonoids of the monoid (Kalg)× and describe their structure.
外部ﾘﾝｸ:eprints.nottingham.ac.uk
Depositing User: Porowski, Wojciech
Date Deposited: 28 Jul 2020 10:30
Last Modified: 28 Jul 2020 10:45
(引用終り)
以上
342(1): ω1 ◆y7fKJ8VsjM 2021/10/17(日)18:58 ID:w6C+QlCK(13/15) AAS
>>340-341
♪負けた~ 負けた~ また負けた~
ナニワのDQNが また負けた~
343(3): 2021/10/17(日)19:29 ID:dQP0ifDN(17/22) AAS
>>342
勝利宣言？
おまえは、西村博之のまねか？ 最低だなｗ（下記）
再び、”突然の勝利宣言は流石に笑える”（下記 「どんだけ悔しかったんだ」って）
これ、数学的に殆ど同じ間違いだよね
アホが染みついているらしい
吉本へ行け！（関西ギャグですｗ）
Inter-universal geometry と ABC予想 (応援スレ) 55
2chｽﾚ:math
968 名前：１３２人目の素数さん[] 投稿日：2021/06/27(日) 21:24:36.76 ID:2cYyqlhC
省15
344: ω1 ◆y7fKJ8VsjM 2021/10/17(日)20:31 ID:w6C+QlCK(14/15) AAS
>>343
＞おまえは、西村博之のまねか？
そういうキミは立花孝志のまねか？ｗ
345(1): 2021/10/17(日)20:44 ID:dQP0ifDN(18/22) AAS
>>297
>亀の歩みとか言いながら、一方で、朝から晩まで高木の相手か？
>朝9時から夜8時まで、5ｃｈ徘徊おじさんのご高説
>説得力無いわなｗ
>それに、おサルの肩を持つ時点、学力ゼロじゃんｗｗ
おーい、亀おじさん！
おっさん、おサルの肩を持ってたよね
数学で、おサルの応援を展開してみなよ、お〜いｗ
おっさん、おサルの肩を持つ時点で、学力ゼロじゃんｗｗ
346: ω1 ◆y7fKJ8VsjM 2021/10/17(日)20:57 ID:w6C+QlCK(15/15) AAS
>>345
＞おサルの肩を持つ時点で、学力ゼロじゃんｗｗ
そういうキミは反抗してる時点で、学力マイナスだけどなｗｗｗ
最大の自然数って何？あるなら示してごらん、今、ここでｗｗｗｗｗｗｗ
347(1): 2021/10/17(日)21:01 ID:Xgt7gya9(2/2) AAS
別に反論する気ないよ
反論の内容理解できる知能レベルに到達してないやん
今まで何回か「定義するとはどういう事か」説明したけど結局は理解出来なかったじゃん？
てか君がベタベタ貼り続けてきた文書の中にも「定義するとはどういう事か」の説明も“実際に数学的定義を行ってる実践例”もあったやろ
全部見てきてそれでもなお理解出来てない、つまり“知らないから”できないのではなく“数学的定義”が理解できる“知能レベル”に到達してないんだよ
しかもその原因は経歴的に数学的教育を受ける機会がなかったとか年齢的にまだ無理とかではなく、多分素頭が人格的問題に起因する原因なので突破できる見込みもないよ
諦めるが吉
348(1): 2021/10/17(日)21:20 ID:dQP0ifDN(19/22) AAS
>>324
亀おじさん
今日も規則正しく、5ｃｈを、ご徘徊か
廃人やね
”研究論文誌の編集部の相互信頼が崩れてしまえば数学の研究者は自分が引用する論文の正当性を一から百まで全部自分で確認しないといけなくなる
とてもじゃないけどそんなの不可能だよ”？
論文書き素人丸出しやん
自分が引用する論文の正当性については、場合分けが必要だろうさ
1）自分の論文の成否に関わる根幹部分かどうか？
2）根幹部分ではなく、単に研究の歴史や過去の研究例を紹介して、自分が解こうとしている課題の位置づけを明確にするためとか
省14
349(1): 2021/10/17(日)21:21 ID:dQP0ifDN(20/22) AAS
>>324
つづき
１３２人目の素数さん
書き込んだスレッド一覧
雑談はここに書け！【５９】
分からない問題はここに書いてね 470
面白い問題おしえて〜な 39問目
Inter-universal geometry と ABC予想 (応援スレ) 60
Inter-universal geometry とABC 予想46
高校数学の質問スレ Part414
省6
350(1): 2021/10/17(日)21:33 ID:dQP0ifDN(21/22) AAS
>>347
逃げ口上だけは立派だな
>今まで何回か「定義するとはどういう事か」説明したけど結局は理解出来なかったじゃん？
亀おじさん、数学科のゼミで教授から「ここの定義はどうなっているんだ？」と、
問い詰められたことがトラウマになっているんじゃね？
でもな、数学科のゼミは、あくまで訓練であって、対等のディスカッションじゃないよ。ご指導だよね
要するに、おれは新しい概念の定義など、していないし、使っていないから、無関係だよ
その逃げ口上は、全く筋違いだよ
自分が新しい概念を定義するならばともかくも、既存の理論と定義をそのまま使うならば
「定義するとはどういう事か」なんて、まったく無関係ですよ
省3
351: 2021/10/17(日)23:14 ID:dQP0ifDN(22/22) AAS
>>348 補足
> 2）根幹部分ではなく、単に研究の歴史や過去の研究例を紹介して、自分が解こうとしている課題の位置づけを明確にするためとか
そうそう
過去の研究例の紹介で、重要な先行研究を落とすと、剽窃や盗作騒ぎになりかねないことがある
「ここまでは、Ａ氏の論文にある」と書かないと、全文自分がやった如く書くと、怒られるよね
実際は、全部自分の力でやったとしても、その後で、「あれ、Ａさんの論文とかぶっている」と分かったら、そう書かないとね
数学の論文の引用文献には、そういう例がかなりある
その分野の専門家には、たとえ「他人の論文」だって、定理を見れば自力で証明が浮かぶこと、多いだろう
でも、先行の研究論文は、ちゃんとリストしておかないと怒られる。使う定理の他人の証明にギャップあっても、自力で証明付ければ無問題
そういうレベルの人が、論文が書けるんだよね
省4
352(1): 2021/10/18(月)07:05 ID:gn4/0Fi6(1/2) AAS
結局、例の人が、
「集合１には最大元０がある」
「集合２には最大元１がある」
・・・
「だ・か・ら、集合Nには最大限∞がある」
と毎度恒例の珍説を披露して自爆した感じ？
いつも、思うけど、「だ・か・ら」の前後がつながってないよな
「（１＋１／１）は有理数」
「（１＋１／２）＾２は有理数」
・・・
省8
353: 2021/10/18(月)07:22 ID:kJ1KX6XR(1/5) AAS
>>349 補足の補足
>過去の研究例の紹介で、重要な先行研究を落とすと、剽窃や盗作騒ぎになりかねないことがある
>「ここまでは、Ａ氏の論文にある」と書かないと、全文自分がやった如く書くと、怒られるよね
>実際は、全部自分の力でやったとしても、その後で、「あれ、Ａさんの論文とかぶっている」と分かったら、そう書かないとね
あと、先行研究の調査が甘くて、殆ど同じ内容だったり
あるいは、先行論文に包含されてしまうと、それで不掲載の判断を下されてしまう
その場合、別証明で、こちらの証明が優れているという主張に書き直して、認められることはあるだろう
ともかく、先行研究を調べてリストアップしておくことは、自分のためでもある
そして、文献リストに挙げた引用文献が正しいかどうかは、あまり気にしなくていいが
自分の論文の正しさに影響する部分については、自分が責任を持たないといけない
省5
354(23): 2021/10/18(月)07:47 ID:kJ1KX6XR(2/5) AAS
>>352
逆だね
おサルが、恒例の珍説、一般に無限列と認められていることを、彼は認められないんだ
前回は、「＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない」（下記）と珍説をいい、数学科生にボコボコにされて
今回も、それと類似の錯誤をしているんだね、哀れだよ
Inter-universal geometry と ABC予想 (応援スレ) 55
2chｽﾚ:math
158 名前：１３２人目の素数さん[sage] 投稿日：2021/06/17(木) ID:40Ayiq4a
＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない
ことも分からん「考えなしの素人」に数学はムリ
省31
355(1): 2021/10/18(月)13:09 ID:UlyYpyhI(1/2) AAS
>>350
逃げ口上
wwwwwwwww
定義もできんで数学語るwwwwwwwwwwwwwwwwe
356(1): 2021/10/18(月)13:11 ID:UlyYpyhI(2/2) AAS
>>361
定義もできん奴が論文書ける人間を語るwwwwwwwwwwwwww
357(1): 2021/10/18(月)14:30 ID:gn4/0Fi6(2/2) AAS
>>354
>前回は、「＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない」と珍説をいい、数学科生にボコボコにされて
>今回も、それと類似の錯誤をしているんだね、
なんか違うんじゃね
「＜上昇列」の定義に「＜降下列」の条件も含んでいたことに対して
「そんな条件要らないだろ、
列の任意の項ｘにたいしてｘ＜ｙとなる次の項ｙがあればいい」
と別の人が指摘しただけじゃね？
ただ、そもそもは、正則性公理で
「無限降下列が存在してはならない」
省10
358(1): 2021/10/18(月)22:06 ID:kJ1KX6XR(3/5) AAS
>>355-356
これはこれは、亀おじさんだねｗ
なんか、今日は大人しいな
5ｃｈ廃人と言われたから、自粛したかｗｗ
ヒキコモリのお楽しみを邪魔して悪かったな
まあ、おっさん、定義定義と、壊れたレコード＊）か、エンドレスのテープレコーダー＊）みたく繰り返す
（注＊） どちらも古語かなｗ）
確かに、基礎論廃人らしいかな？
だが、明らかに、論文一本投稿した経験ゼロ
丸わかりやんｗｗｗ
省12
359(1): 2021/10/18(月)22:09 ID:kJ1KX6XR(4/5) AAS
>>357
サイコパスのおサルさん>>5-6
必死ｗｗ
「＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない」という珍説
これを、珍説と言わすして、なにを珍説というべきか
笑えるおサルさんだね
必死の取り繕いが、輪を掛けて笑えるぜｗｗｗ
360: 2021/10/18(月)22:19 ID:kJ1KX6XR(5/5) AAS
>>358
>まあ、おっさん、定義定義と、壊れたレコード＊）か、エンドレスのテープレコーダー＊）みたく繰り返す
星裕一郎先生と直接対決させてみたいね
「歴史とは何か？」、「定義を述べよ」
星先生「歴史とは共同幻想である。歴史の授業で習う『歴史』が『事実』であった必要はなく，その『物語』を『歴史』と命名して皆で共有しているだけ」という理解が標準的だ」ですか
昔々、「共同幻想」という言葉がありました。これも。古語かも
Twitterﾘﾝｸ:hoshiyuichiro
星裕一郎
のツイート
10月15日
省5
361(1): 儂 2021/10/19(火)03:06 ID:uU4Cv73V(1) AAS
金もまた共有幻想に基づく運用実態ある現実である
逆痴漢してくる痴女に遭った
362: 2021/10/19(火)07:00 ID:fNghGQZM(1/9) AAS
>>359
「箱入り無数目の無限列の決定番号が確率１で∞」という珍説
「自然数全体の集合Nの中に最大元∞がある」という珍説
「Zermeloの後者関数によればωは無限重シングルトンにしかなり得ない」という珍説
🦟の羽音は、何もかもみな痛々しい…
363(33): 2021/10/19(火)07:11 ID:fNghGQZM(2/9) AAS
もちろん、正解は
「箱入り無数目の無限列の決定番号は確率１で自然数」
「自然数全体の集合Nの中に最大元はない」
「Zermeloの後者関数によってもωは∪ｎと定義されるから無限集合」
さて
「＜上昇列 ０＜１＜・・・ω という無限列があり得る」と
「＜上昇列 ０＜１＜・・・＜ω が有限列にしかなり得ない」は
両立する
両者の違い、分かるかな？ｗ
364(3): 2021/10/19(火)07:59 ID:TByB8cjK(1/11) AAS
>>363
おサル、自分の珍説擁護に必死。笑えるぜ
>「Zermeloの後者関数によってもωは∪ｎと定義されるから無限集合」
"定義される"は、受け身だよね
"定義する"なら、自分が定義するのだが
では聞く、"定義される"って、だれが？
数学の神かい？ おいおいｗ
だれか、こいつに数学で「定義するとは何か」を教えてやってくれよ
亀おじさんは、どこだい？ｗｗｗ
省8
365(1): 2021/10/19(火)08:02 ID:TByB8cjK(2/11) AAS
>>364
>「Zermeloの後者関数によってもωは∪ｎと定義されるから無限集合」
一つまじめに突っ込んでおくと
∪ｎ （ｎ→∞）で定義されるべきは、まずは、自然数の集合Ｎじゃんかｗｗｗ
366(1): 2021/10/19(火)08:48 ID:W6g8lNxi(1/2) AAS
定義とは何か分かってないのに定義できるはずがない
367(4): 2021/10/19(火)11:01 ID:v5S3dr6x(1/4) AAS
>>366
亀おじさん、おはよー！
朝から、「定義、定義」と連呼、ご苦労さんｗ
「定義、定義」ね。基礎論廃人だなｗｗ
おじさん、東北大の田中一之先生のとこの出身かい？（下記）
それだけ、「定義、定義」と、”ブイブイ”喚けるのは、かなり基礎論に自信があるんだろうから、まあ、田中一之先生のとこかと思った次第だ
でね、現代数学での定義の重要性は、否定しないが、
数学って、定義だけじゃないよね
かつ、明確な定義なしで、現代数学に繋がる多くの概念が、19世紀までの数学で研究されたよね
繰り返すが、明確な定義なしでね
省7
368(3): 2021/10/19(火)11:01 ID:v5S3dr6x(2/4) AAS
>>367
つづき
ヴェイユは、何を言いたかったのか？ 私には分からない
そもそも数学者ではないし、数学を学んだことはあるが、数学の研究をしたことも ないから
だが、考えてみると、「定義ありき」ではなく「自分の独自のアイデアありき」じゃないですか？
つまり、単純なロジックの繋がり、それはしばしば自明と数学では呼ばれるけれど、単純なロジックの繋がりを超えた自分の独自のアイデア、それが大事だと
実際、ガウスは、高木先生の近世数学史談などを読むと、計算の達人だったらしいが、多くの計算の中から、その奥に潜む非自明な数学的対象を見抜く人だった
そして、見抜いた数学的対象を、きちんと理論体系にまとめ上げる力量も持っていた
では、「定義」という面ではどうか？
ガウスは、数学の分野で多くの業績を残したが、思い返してみると、それほど「定義」は重視していなかったんじゃないかな？
省11
369(1): 2021/10/19(火)11:03 ID:v5S3dr6x(3/4) AAS
>>368
つづき
（参考）
外部ﾘﾝｸ:www.math.tohoku.ac.jp
田中一之
外部ﾘﾝｸ:sites.google.com
<仙台ロジック倶楽部? > ?
外部ﾘﾝｸ[html]:reuler.blog108.fc2.com
日々のつれづれ 高瀬正仁
新数学人集団(SSS)の時代 ノート31 ガウスのように 2017-01-28
省10
370: 2021/10/19(火)11:03 ID:v5S3dr6x(4/4) AAS
>>369
つづき
ヴェイユ
日本で本当に独創的な研究を始める人は少なかった。岩澤（健吉）はその少ないひとりだが、一方小平（邦彦）は非常によくできるにもかかわらず、私やレフシェッツ、ホッジなどの仕事を完成するようなことしか手を出さなかった。ごく最近、やっと彼自身の考えに基づく研究が出始めた。もっともっこれは岩澤が小平よりすぐれた数学者だという意味ではない。私の言いたいのは、小平のようにすばらしい数学者が、自分のアイデアを見出だすのにこんなにも遅れたことで、これはまさに驚くべきことだ。
しかし、戦後、日本の若い人の間に、自分のアイデアを持って始めようとする者が増えてきた。特に君たちはみな高みをねらっているが、日本でこのような傾向ができたのはごく最近のことで、非常によいことだ。
とにかくも自分のアイデアを持って始めるように。ガウスはそうだった。君たちもガウスのように始めろ。そうすればまもなく君たちは自分がガウスではないことを発見するだろうが、それでもよい。とにかくガウスのようにやれ。
モラルを変えるのはたいへんだが、数学のやり方を変えるだけならそれほどむずかしくはないだろう。
「ガウスのように始めよ」と、おそるべき言葉をヴェイユは3人のSSSに語り掛けました。「ガウスのように」とはどのようなことなのか、具体的なことはまだわかりません。
(引用終り)
以上
371: 2021/10/19(火)19:06 ID:fNghGQZM(3/9) AAS
>>364
>>「Zermeloの後者関数によってもωは∪ｎと定義されるから無限集合」
>では聞く、"定義される"って、だれが？
正式に定義したのは、Neumann
>>365
>∪ｎ （ｎ→∞）で定義されるべきは、まずは、自然数の集合Ｎじゃんか
（ｎ→∞）は要らない、
（ｎ∈Ｎ）が要るのは、その通り
ＮはPeanoの公理を受けて、Zermeloが無限公理で定義している
372(3): 2021/10/19(火)19:08 ID:fNghGQZM(4/9) AAS
>>364
>「＜上昇列 ０＜１＜・・・ω という無限列があり得る」と
>「＜上昇列 ０＜１＜・・・＜ω が有限列にしかなり得ない」は
>両立する
>なんだそりゃ？ｗ
つまり
無限＜上昇列 ０＜１＜・・・ の右側に、ωだけをくっつけた＜上昇列は存在するが
無限＜上昇列 ０＜１＜・・・ の右側に、●＜ωをくっつけた＜上昇列は存在しな
なぜなら ●＜ω となる ●はみな自然数だから
やっぱり🦟は全然分かってなくて
省3
373(1): 2021/10/19(火)19:10 ID:fNghGQZM(5/9) AAS
>>367
>「定義、定義」と連呼、ご苦労さん
>「定義、定義」ね。基礎論廃人だな
>「定義、定義」と、”ブイブイ”喚けるのは、
>かなり基礎論に自信があるんだろうから、
素人？
有名なブルバキの数学原論は定義から始めているが
ブルバキ創立メンバー
アンドレ・ヴェイユ
アンリ・カルタン
省15
374: 2021/10/19(火)19:11 ID:fNghGQZM(6/9) AAS
>>367
>例えば、「ガウスにように始めよ」という有名な言葉がある
>−−−−−−−−−−−−−−−−−−−−−−−−−−−
>ヴェイユは言う
>日本で本当に独創的な研究を始める人は少なかった。
>岩澤（健吉）はその少ないひとりだが、
>一方小平（邦彦）は非常によくできるにもかかわらず、
>私やレフシェッツ、ホッジなどの仕事を完成するようなことしか手を出さなかった。
>ごく最近、やっと彼自身の考えに基づく研究が出始めた。
>私の言いたいのは、小平のようにすばらしい数学者が、
省12
375: 2021/10/19(火)19:14 ID:fNghGQZM(7/9) AAS
>>368
>ヴェイユは、何を言いたかったのか？ 私には分からない
そりゃ素人には分からないだろうｗ
>そもそも数学者ではないし、
>数学を学んだことはあるが、
>数学の研究をしたこともないから
そもそも、数学も学べてないんじゃ、
分かりようがないだろうｗ
>だが、考えてみると、「定義ありき」ではなく
>「自分の独自のアイデアありき」じゃないですか？
省9
376(2): 2021/10/19(火)19:14 ID:fNghGQZM(8/9) AAS
>>368
>ガウスは、数学の分野で多くの業績を残したが、
>思い返してみると、それほど「定義」は重視していなかったんじゃないかな？
そりゃ、君がガウスの業績をどれ一つとして理解してないからそう誤解するんだろうｗ
>ガウス平面とか、ガウス整数とかあるけどね
これはひどい・・・ひどすぎる
ガウスの業績がそれだけだと思ってるなんて(>_<)
「平方剰余の相互法則」なんて、きっと名前すら知らないんだろう
そんなド素人がガロア理論とかIUTとか喚いてるなんて数学の冒涜だ！
>ガウスの時代、集合論も無く、
省5
377(1): 2021/10/19(火)20:36 ID:TByB8cjK(3/11) AAS
>>376
おサルの必死の取り繕い
笑える
>代数学の基本定理は、正確には実数の連続性もしくは実閉体の性質が必要
>ガウスはそのことを認識していた
？ それ立証できるかい？ｗｗｗ
「ガウスはそのことを認識していた」って
そもそも、ガウスの最初の証明は、彼の学位論文だった
それは現代の目から見れば、穴だらけかもしれない
いや、ガウス以前に何人もの人が、代数学の基本定理の証明に挑戦をした
省5
378(1): 2021/10/19(火)20:38 ID:TByB8cjK(4/11) AAS
>>373
> 19世紀以前の数学が、定義なしに研究された結果
>おかしな結論を導くようになってきたから、
>そういう不都合を無くすために定義を明確化する方法に進み、
>結果として出来上がったのが現代数学だってこと理解してる？
間違っている
カントールが無限の概念を素朴集合論で研究した
しかし、カントールの結果は正しかったが、
副産物で、素朴集合論ではパラドックスを生じることが分かった
一例が、バートランドラッセルのパラドックスだ（下記）
省12
379(1): 2021/10/19(火)20:39 ID:TByB8cjK(5/11) AAS
>>372
>無限＜上昇列 ０＜１＜・・・ の右側に、ωだけをくっつけた＜上昇列は存在するが
>無限＜上昇列 ０＜１＜・・・ の右側に、●＜ωをくっつけた＜上昇列は存在しな
>なぜなら ●＜ω となる ●はみな自然数だから
なんだそりゃ？ｗ
恥の上塗り
ことばのサラダじゃん
意味不明も、いいところだなｗｗｗ
380(2): 2021/10/19(火)22:04 ID:fNghGQZM(9/9) AAS
>>377
>代数学の基本定理の証明の各自のアイデアが先。そっちが先だろ？
アイデアって何だい？ 具体的に云ってごらん？
わかりもせずに🦟が何をブンブン云っても無駄
>>378
>21世紀の今は、
>（パラドックスの原因もかなり解明されて）
>二階の述語論理が復権しているよ
一階が分からん🦟が二階とかいくらブンブン云っても無駄
>>379
省3
381(2): 2021/10/19(火)22:51 ID:TByB8cjK(6/11) AAS
>>380
>>代数学の基本定理の証明の各自のアイデアが先。そっちが先だろ？
>アイデアって何だい？ 具体的に云ってごらん？
ほいよ
外部ﾘﾝｸ:ja.wikipedia.org
代数学の基本定理（英: fundamental theorem of algebra）とは、「次数が 1 以上の任意の複素係数一変数多項式には複素根が存在する」という定理である。
歴史
17世紀前半にアルベール・ジラール（フランス語版、英語版）らによって主張され、18世紀の半ばからジャン・ル・ロン・ダランベール、レオンハルト・オイラー、フランソワ・ダヴィエ・ド・フォンスネ（英語版）、ジョゼフ＝ルイ・ラグランジュ、ピエール＝シモン・ラプラスらが証明を試み、その手法は洗練されていった。1799年にカール・フリードリヒ・ガウスが学位論文でそれまでの証明の不備を指摘し最初の証明を与えた（ただし、現在ではガウスの最初の証明も完全ではなかったことが分かっている[1]）。後年ガウスはこの定理に3つの異なる証明を与えた。現在ではさらに多くの証明が知られている。
脚注
1^ ガウスの最初の証明は幾何学的な前提としてジョルダン曲線定理が暗黙で使われており、後年の観点からは不備がある
省14
382(1): 2021/10/19(火)22:55 ID:TByB8cjK(7/11) AAS
>>380
>訳も分からず「ことばのサラダ」とか発狂するよね
いやいや、至当だよｗ
外部ﾘﾝｸ:dictionary.goo.ne.jp
至当（しとう） の意味 goo
［名・形動］きわめて当然であり、適切であること。きわめて妥当であること。また、そのさま。「至当な（の）処置」「至当な（の）見解」
(引用終り)
再録しておく
(引用開始)
>>372
省9
383(3): 2021/10/19(火)23:06 ID:W6g8lNxi(2/2) AAS
定義もしないで禅問答wwwwwwww
上下前次1-新書関写板覧索設栞歴
あと 619 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.375s*