21/06/17 18:03:13.14 fmi4nuTk.net
>>239
つづき
例 2.1. 半順序のハッセ図においては，半順序の最小元が始対象であり，最大元が終対象である．
論理式の〈グラフ〉においては，矛盾 K が始対象であり，恒真 J が終対象である．
例 2.2. 集合と関数の〈グラフ〉Set においては，空集合 H が始点であり，任意の単元集合 t?u が
終点である．
URLﾘﾝｸ(ja.wikipedia.org)
始対象と終対象
251:始対象でも終対象でもあるような対象は零対象（れいたいしょう、ゼロたいしょう、英: zero object, null object）と呼ばれる。 点付き圏 (pointed category) とは零対象を持つ圏を言う。 (引用終り) 以上
252:１３２人目の素数さん
21/06/17 18:09:18.98 fmi4nuTk.net
>>239 訂正 引用文献
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
始対象と終対象
↓
（参考）
URLﾘﾝｸ(www.math.mi.i.nagoya-u.ac.jp)
圏と論理へのいざない・レクチャーノート
木原 貴行
名古屋大学 情報学部・情報学研究科
最終更新日: 2020 年 4 月 3 日
な（＾＾；
253:１３２人目の素数さん
21/06/17 18:10:14.66 Ot/XW6x+.net
>>238
226で岡先生の言葉を引用するのであれば
数学の説明をするように求められたので
繰り返しになりますが
数学は進歩すれば単純になる(岡潔)
進歩して複雑になるという主張があったようなので書きました。
254:１３２人目の素数さん
21/06/17 18:31:53.16 KCAxlwiy.net
>>222
改めて整理すると、
a:{0, …, ω}→{0, …, ω}でa(x)=xとなる関数を考える
aの定義域はインデックス集合であり、aは列である
列をa、インデックス集合をIとして∀i,j∈I i≦j⇒ai≦ajが成り立つとき、aは真の上昇列や<上昇列であると呼ぶ
I={0, …, ω}とすると∀i,j∈I i < j ⇒ i = ai < aj = jが成り立つので、aは真の上昇列であり、インデックス集合が無限なので無限列でもある
論理的にどこが、そして何が誤っているかを知りたい
255:１３２人目の素数さん
21/06/17 18:36:17.78 t5y9QPXM.net
岡の言葉としては
「真理にはいい加減な人間を寄せ付けない威厳がある」
というのもあるし、結局数学は難しいんだというような
発言もあるよ。
256:１３２人目の素数さん
21/06/17 18:38:02.65 t5y9QPXM.net
岡は将棋や囲碁も好きでよくやったらしいが
人間がAIにまったく勝てない未来は
想像できなかったんじゃないかな。
AIは何も神秘があるわけではなく
論理・計算があるだけだが
その指し手は人間から見て奥深く神秘的
人間の認識は浅く、そのさらに奥があることを示している。
257:１３２人目の素数さん
21/06/17 18:40:03.78 40Ayiq4a.net
>>231-238
要するにみんなオカの仕事が理解できない、でOK？ｗ
258:１３２人目の素数さん
21/06/17 18:42:53.05 Ot/XW6x+.net
>>246
岡潔と書かずにオカと書いておられるのは
何か含みがあるのですか？
259:１３２人目の素数さん
21/06/17 18:43:14.69 40Ayiq4a.net
>>239
＞「始者以外は前者がある」
＞「終者以外は後者がある」
＞じゃない？
そだねｗ
で、君のいう無限列では、上記の条件を満たすかい？
み・た・さ・な・い・よ・ね
具体的にいうと ωの前者がないよね
な・い・よ・ね
260:１３２人目の素数さん
21/06/17 18:50:57.06 Ot/XW6x+.net
>>245
つまり、AIが囲碁や将棋で人間の能力を凌駕したことは
そこにとどまることではなく
知識というものに対する認識を社会全体が全般的に改めていく必要が生じたということ
かもしれません。
261:１３２人目の素数さん
21/06/17 18:51:31.90 fmi4nuTk.net
>>248
ほいよ >>243を読みな（＾＾；
262:１３２人目の素数さん
21/06/17 18:53:52.58 Ot/XW6x+.net
>>244
それは「進歩して単純になる」と
一応は両立しえますが。
263:１３２人目の素数さん
21/06/17 18:58:06.44 40Ayiq4a.net
>>243
そもそも「＜の左右の項が存在する」という条件がない
そこが論理的な誤り
はい、ID:KCAxlwiy 負けた
はい、ID:KCAxlwiy 死んだ
264:１３２人目の素数さん
21/06/17 18:59:57.66 40Ayiq4a.net
>>247
>岡潔と書かずにオカと書いておられるのは
漢字の無意味な重さが嫌いなんで
陳をチャーンと書いたからといって
数学における彼の重要性は変わらない
265:１３２人目の素数さん
21/06/17 19:02:01.72 40Ayiq4a.net
>>244
＞「真理にはいい加減な人間を寄せ付けない威厳がある」
そういうオカ自身は数学以外については
ホラ話を語る実にいい加減な人間
になりはてているのは皮肉である
＃威厳もへったくれもない
266:１３２人目の素数さん
21/06/17 19:03:30.23 40Ayiq4a.net
>>245
数学は囲碁や将棋より全然深いからなあ
AIが数学の重要な定理を証明したら呼んでくれ
ほめてやるから
267:１３２人目の素数さん
21/06/17 19:06:01.16 40Ayiq4a.net
誤解のないようにいっておくが
AIが数学の定理を証明する時代は来るだろう
そしてそのようなAIに別になんら
特別なアイデアがあるわけではない
という可能性は実に大きいだろう
つまり人の理性も所詮は動物の本能行動と
本質的に変わらないことが証明されるだろう
別に驚くことでもない
268:１３２人目の素数さん
21/06/17 19:11:32.39 40Ayiq4a.net
ID:KCAxlwiy の粗雑なアイデアでは
インデクス集合は全順序集合でありさえすればいい
ということになるが、もちろん全然不十分である
＜列である、というためには
「インデクス集合の任意の要素について
たかだか１つある終要素以外はその後者が存在する
たかだか１つある始要素以外はその前者が存在する」
どの要素についても前者も後者も存在しないようでは全然ダメである
＜の左右に必ず要素を記載するのだから
この条件が必要ないというなら、そいつはウソつきか馬鹿である
ID:KCAxlwiy はどちらかね？
269:１３２人目の素数さん
21/06/17 19:14:23.42 40Ayiq4a.net
ID:KCAxlwiy は＜列としての条件の存在を隠蔽したいがために
インデクス集合という言葉で幻惑してごまかしたいようだが
単にみっともないピエロを演じただけである
270:１３２人目の素数さん
21/06/17 19:47:00.99 cShhXzNG.net
公開鍵方式の発表で世界各国要人に対しての既存技術による監視目的盗聴盗撮がし難く成って
米国一強世界支配の恒久的な実現計画が頓挫したんだからNSAが泣こうが激怒しようが、既にしてやられた事に
波風立てて返せんじゃろ。してやられる前なら例えばリンカーン、がーフィールド、ケネディの様に暗殺されたり
アンドリュージャクソンみとう暗殺未遂4回に遭ったりされるが
FRBによるFacebook仮想通貨リブラ潰し
271:１３２人目の素数さん
21/06/17 19:53:39.59 KCAxlwiy.net
>>257
いや、インデクス集合が全順序集合である必要はない
添字つけたい集合に全射がある集合でさえあれば良い
その上で全順序集合であれば真の上昇列を論じることができるということ
272:１３２人目の素数さん
21/06/17 20:00:30.28 KCAxlwiy.net
>>252
その条件はどこで必要なの？
273:１３２人目の素数さん
21/06/17 20:35:12.15 L7j4dqHM.net
>>250 関連貼る
純粋・応用数学9 ｽﾚﾘﾝｸ(math板:51番)-
2021/06/16 ID:gpkuWhQq
The ordinal α is compact as a topological space if and only if α is a successor ordinal.
順序数αが(順序)位相空間としてコンパクトであるのは、αが後続順序数であるとき、そのときに限る
(引用終り)
文章を一部だけ切り取ってくるのは、なんだかね
出典を明示しないと
下記“Ordinals as topological spaces”の項にある
URLﾘﾝｸ(en.wikipedia.org)
Order topology
In mathematics, an order topology is a certain topology that can be defined on any totally ordered set. It is a natural generalization of the topology of the real numbers to arbitrary totally ordered sets.
A topological space X is called orderable if there exists a total order on its elements such that the order topology induced by that order and the given topology on X coincide. The order topology makes X into a completely normal Hausdorff space.
The standa
274:rd topologies on R, Q, Z, and N are the order topologies. Topology and ordinals Ordinals as topological spaces Any ordinal number can be made into a topological space by endowing it with the order topology (since, being well-ordered, an ordinal is in particular totally ordered): in the absence of indication to the contrary, it is always that order topology that is meant when an ordinal is thought of as a topological space. (Note that if we are willing to accept a proper class as a topological space, then the class of all ordinals is also a topological space for the order topology.) The set of limit points of an ordinal α is precisely the set of limit ordinals less than α. Successor ordinals (and zero) less than α are isolated points in α. In particular, the finite ordinals and ω are discrete topological spaces, and no ordinal beyond that is discrete. The ordinal α is compact as a topological space if and only if α is a successor ordinal. (引用終り) 以上
275:１３２人目の素数さん
21/06/17 20:46:09.28 L7j4dqHM.net
>>258
おさる
しっかり ID:KCAxlwiyに教えて貰え
自分がどれだけ、バカを言ってきたのかを
276:１３２人目の素数さん
21/06/17 21:16:05.85 dG29Ttnj.net
>>246
レスを見たがオカと読んでいるだけだな
ここでがんばれ
277:１３２人目の素数さん
21/06/17 21:27:29.54 ks5sFeQk.net
>>256
そのような変化が開くであろう
人間の生活における新たな可能性を夢見る楽しさというものを
共有したいと思います
278:１３２人目の素数さん
21/06/17 22:01:57.56 L7j4dqHM.net
>>260 追加
>いや、インデクス集合が全順序集合である必要はない
>添字つけたい集合に全射がある集合でさえあれば良い
>その上で全順序集合であれば真の上昇列を論じることができるということ
そうそう
その添え字集合の話は賛成だな
そもそも、このおサルとの無限列の話は、下記の自然数のツェルメロによる構成
つまり、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
・
・
としたシングルトン（単元集合）で、可算無限でどうなるか？
おサルは、そのようなシングルトンは存在しないという
私は、添え字集合を考えて、その極限として lim n→∞ {{・・{{}}・・}}n＝ {{・・{{}}・・}}∞
として、可算多重無限シングルトンは定義できると言った
そこから派生して、おサルは、そのような可算多重無限シングルトンは
正則性公理で禁じられている 無限降下列を構成するから、存在しえないと言い出した
私は、正則性公理で禁じられている 無限降下列は、上記の添え字集合の上昇列とは別物だと主張した
その流れが、今に続いているのです（＾＾
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
自然数
形式的な定義
自然数の公理
「ペアノの公理」も参照
任意の集合 a の後者は a と {a} の合併集合として定義される。
suc (a):=a∪{a}.
略
以上の構成は、自然数を表すのに有用で便利そうな定義を選んだひとつの結果であり、他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。
例えば、0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
と非常に単純な自然数になる。
(引用終り)
以上
279:
21/06/17 22:24:59.83 nSv4MM/V.net
>>193
＞トランプは、日米同盟の敵だと思った。
それは的を射ています
トランプ（そしてかつての参謀・スティーブ・バノンは）日本を米国から「独立させて」独立自主路線を進�
280:ﾞよう促していた面もあります すなわち日米同盟の解消といっていいでしょうね
281:
21/06/17 22:28:01.72 nSv4MM/V.net
>>196
＞藤原正彦みたいな狂った愛国馬鹿の元祖
若き数学者のアメリカ、は高校のとき数学の先生に薦められて読みました、当時はよくわからなかったけれどもエリートのある種の焦燥感を嫌みなく表現している、と思ったものでした、もっとも私はすでにエリートではなかったのですが‥‥
そんな若き数学者のアメリカの著者がどうして右翼に突っ走ってしまったのか？
その精神的変遷はぜひ小説で書いて欲しいと思っています
282:１３２人目の素数さん
21/06/17 22:56:25.63 ks5sFeQk.net
>>268
「若き数学者のアメリカ」は私も読みました。
その前には岡潔と湯川秀樹を繰り返し読んでいました。
岡潔と湯川秀樹はそれからも繰り返し読んできましたが
藤原正彦氏の著作は繰り返して読む気がしませんでした。
よって氏の精神的変遷には全く興味がありません。
283:１３２人目の素数さん
21/06/18 04:41:20.22 TaGVpl9m.net
藤原正彦の文章や本は、読む気もせず読んでません
284:１３２人目の素数さん
21/06/18 05:13:23.98 TaGVpl9m.net
>>256
>誤解のないようにいっておくが
>AIが数学の定理を証明する時代は来るだろう
>そしてそのようなAIに別になんら
>特別なアイデアがあるわけではない
>という可能性は実に大きいだろう
代数などの離散的な数学では可能かも知れないが、
非線形の解析とかの大抵の連続的な数学では物理的に時間が有限である以上不可能
近似値を取りアルゴリズムを作ってAIで連続的な数学をしても、実数体の濃度は連続体濃度に等しいから
完全にすべての連続的な数学の証明をAIがしてくれる訳ではない
現段階では、天気予報とかの過去のデータからのシミュレーションによる未来予測も100%的中出来てはいない
285:１３２人目の素数さん
21/06/18 09:07:19.13 bblRRAYm.net
>>271
連続的な数学が滅んで
離散的な数学だけになってしまうことも
考えられるだろう
286:粋蕎
21/06/18 09:48:40.32 xDVRCVDz.net
>>272
絶対？間違ってたら借金上限額借り受けた上での全財産を全額寄附しつつ担保誓約しつつ主張できる？
287:１３２人目の素数さん
21/06/18 09:58:55.61 WiAlxlcJ.net
>>123
>URLﾘﾝｸ(blog.livedoor.jp)
>しかし事実は小説よりも奇なり、でして、新型コロナは米国のマッドサイエンティスト・ファウチ氏の改造ウィルスだったそうです、これには驚きました
C++さん、どうも、スレ主です
遠隔レス、かつスレチで悪いが
そこは調査中らしい（下記の「90日以内の報告」（三ヶ月））
あと、下記のwsj 社社説では、”米国立衛生研究所（NIH）は2014年から19年にかけ、非営利団体エコヘルス・アライアンスを通じ、WIVに340万ドル（約3億7400万円）を送金していた”
”NIHの資金はコウモリのコロナウイルスの研究に費やされていた。そして、WIVはウイルスの毒性や感染力を高めるための機能獲得実験を実施していた公算が大きい”
”ファウチ氏はそれ以降、彼の所属する組織は機能獲得の研究への資金提供は行っておらず、エコヘルス・アライアンスの資金はサンプル収集のために利用されるものだった、と話すようになっ
288:た” ってことです。つまり、武漢に第三者を経由して、340万ドル（約3億7400万円）を送金され、（意図せず）その資金がウイルスの毒性や感染力を高めるための機能獲得実験に使われたかも ってこと。”マッドサイエンティスト”との決めつけは、まだ早いのでは？ （参考） https://www.sankeibiz.jp/business/news/210527/cpc2105270943003-n1.htm 米大統領が「コロナ起源、90日以内の報告」を指示 「動物説」「流出説」が混在 2021.5.27 sankeibiz つづく
289:１３２人目の素数さん
21/06/18 09:59:30.22 WiAlxlcJ.net
>>274
つづき
URLﾘﾝｸ(jp.wsj.com)
wsj 2021年6月18日
【社説】ファウチ氏と武漢ウイルス研究所
(抜粋)
米国立アレルギー感染症研究所所長のファウチ氏は、新型コロナが武漢ウイルス研究所（WIV）のような研究施設から流出したとの説に疑問を呈してきた。こうした説を何度か否定した後でファウチ氏は先月、施設からの流出の可能性を認めた。それは、メディアや学者の間で、この仮説が見直された始めたからだ。
とりわけ興味深いのは、以下の件だ。米国立衛生研究所（NIH）は2014年から19年にかけ、非営利団体エコヘルス・アライアンスを通じ、WIVに340万ドル（約3億7400万円）を送金していた。
NIHの資金はコウモリのコロナウイルスの研究に費やされていた。そして、WIVはウイルスの毒性や感染力を高めるための機能獲得実験を実施していた公算が大きい。ファウチ氏は2020年2月のメールで、自らの部下にあたるヒュー・オーキンクロス氏にコロナウイルスの機能獲得実験に関する論文を送付した。ファウチ氏は「この論文を読め」と命じ、「今日中にやらなくてはならない任務がある」と述べた。オーキンクロス氏は論文についてコメントし、彼らは「われわれに、海外で行われているこの作業との何らかのつながりがあるかを判断しよう」としていたのだろうと述べた。
ファウチ氏はそれ以降、彼の所属する組織は機能獲得の研究への資金提供は行っておらず、エコヘルス・アライアンスの資金はサンプル収集のために利用されるものだった、と話すようになった。しかし、同氏は2日、ポータルサイト「ニューズ・ネーション・ナウ」とのインタビューで、「WIVに関するもの全てを保証することはできない。われわれにそれは無理だ」と述べている。
ファウチ氏は今週、自身の電子メールについて、「文脈から外れて引用される可能性が極めて高い。全文の意味がとらえられていない」と語った。それは真実かもしれない。しかし、そうであればなおのこと、米国とWIVおよび機能獲得の研究とのつながりを調査するべき理由がある。この問題は新型コロナの起源に関するものだが、同時にこの種の研究の将来のリスクと利益にも関係している。
(引用終り)
以上
290:１３２人目の素数さん
21/06/18 11:06:25.52 WiAlxlcJ.net
ご参考
URLﾘﾝｸ(www.)アマゾン/dp/4828308989
日本一わかりやすいABC予想 2021/6/15
小山 信也 (著), 箱﨑 沙也加 (編集), 長原 佑愛 (イラスト)
上位レビュー、対象国： 日本
文理両道
5つ星のうち5.0 わかりやすい中にも，著者の思いが
2021年6月16日に日本でレビュー済み
Amazonで購入
書名の「わかりやすい」が本書の最初の特徴であることは間違いありません．しかし，それだけでなく，ABC予想の本質をとらえ，予想の意味（あるいは意義）が説明されていることが，真の特徴であると思います．
このことは「あとがき」を見るとよくわかります．以下に著者の思いの詰まった「あとがき」を抜粋します．
柳龍太
5つ星のうち5.0 本当に日本一わかりやすい！！
2021年6月15日に日本でレビュー済み
みなさんもABC予想が望月教授によって証明されたというような内容が新聞の一面に掲載されていたことは記憶に新しいのではないだろうか？しかし、ABC予想がどのような主張なのか、またそもそも予想って？数学の定理の意義って？社会にどう役に立つの？などといった疑問を持っている方も多いだろう。ABC予想がどのような主張なのかが説明されている本は現在多数出版されているがどれも踏み込んだ数学の内容が必要であるものが多く、簡単に主張や面白さが分かればいいのになという人や、そもそも予想とはなにか？のような疑問を持つ人に対して書かれた本ではないだろう。しかしこの本は論文掲載から証明が認められるまでのプロセスであったり、予想がそもそもどのように生まれるのかということから説明してあり、日本一わかりやすいとタイトルにあるだけあるなと感じさせられる内容であった。
Pooh
5つ星のうち5.0 非常に読みやすい！！
2021年6月18日に日本でレビュー済み
この本を読む前は、世界中の数学者を悩ませてきた数学の超難問「ABC予想」を、私なんかが理解できるわけがないと思っていました。しかし、この本に書かれていることはほとんどが高校までに習う内容で、大学生の私でも簡単に読み進めることができました。やはり数学というのは基礎がとても大事だということを改めて感じることができる本でした。
291:１３２人目の素数さん
21/06/18 11:07:08.29 SQepgi2z.net
>>252
>「＜の左右の項が存在する」
>>261
>その条件はどこで必要なの？
必要とかいう以前の「＜列」の定義だろ？
292:１３２人目の素数さん
21/06/18 11:08:12.73 SQepgi2z.net
>>260
>>インデクス集合が全順序集合である必要はない
>>添字つけたい集合に全射がある集合でさえあれば良い
>>その上で全順序集合であれば真の上昇列を論じることができるということ
>>266
>そうそう
>その添え字集合の話は賛成だな
なに支離滅裂なこといってんだ？
293:１３２人目の素数さん
21/06/18 11:10:26.13 SQepgi2z.net
>>266
猿回し> 自然数のツェルメロによる（シングルトン（単元集合））構成が、
猿回し> 可算無限でどうなるか？
おサル> そのようなシングルトンは存在しない
猿回し> 添え字集合を考えて、その極限として
猿回し> lim n→∞ {{・・{{}}・・}}n＝ {{・・{{}}・・}}∞
猿回し> として、可算多重無限シングルトンは定義できる
おサル> そのような可算多重無限シングルトンは
おサル> 正則性公理で禁じられている無限降下列を構成するから、
おサル> 存在しえない
猿回し> 正則性公理で禁じられている 無限降下列は、
猿回し> 上記の添え字集合の上昇列とは別物だ
猿回しの二つの誤り
１．ツェルメロ構成によるωがシングルトン
２．＜列、０＜・・・＜ωが無限列
294:１３２人目の素数さん
21/06/18 11:18:18.37 SQepgi2z.net
>>279
■誤り１の説明
lim n→∞ {{・・{{}}・・}}n は
∪(n∈N）{{・・{{}}・・}}n であるから
{{・・{{}}・・}}∞ ではなく
{{},{{}},{{{}}},…} という無限集合である
■誤り２の説明
・・・{{}}・・・は、要素が存在しないから、そもそも集合ではない
{{・・・ ・・・}}は、要素が存在するが、無限降下してしまい、
{}に到達しないから、正則性公理と矛盾し、集合ではない
一方、正解である{{},{{}},{{{}}},…}は
どの要素も有限重シングルトンであるから
有限回で必ず{}に到達する
295:１３２人目の素数さん
21/06/18 11:26:06.09 1qYwJmwc.net
>>277
>>243では列をa、インデックス集合をIとして∀i,j∈I i≦j⇒ai≦ajが成り立つとき、aは真の上昇列や<上昇列であると呼んでいる
296:１３２人目の素数さん
21/06/18 11:35:58.99 SQepgi2z.net
>>281
その定義は不十分
つまり、Iが全順序集合であるだけでは不十分
・minIはたかだか1つで
minI以外のIの任意の要素iについて
j<iとなるjの最大元が存在する
・maxIはたかだか1つ
maxI以外のIの任意の要素iについて
i<jとなるjの最小元が存在する
簡単にいってしまえば、Iは、
Zもしくはその部分集合
と同様の性質を有する必要がある
297:１３２人目の素数さん
21/06/18 11:39:45.07 1qYwJmwc.net
>>282
その条件がないと>>243のどこが立ち行かなくなる？
298:１３２人目の素数さん
21/06/18 11:43:05.18 SQepgi2z.net
Zの部分集合Sで
Ⅰ 最小元を持つ
Ⅱ 最大元を持つ
Ⅲ 無限集合である
という条件を満たすものは存在しない
つまり最小元と最大元をみたせば、有限集合であるし
逆に無限集合であれば、最小元もしくは最大元が存在しない
299:１３２人目の素数さん
21/06/18 11:45:51.64 SQepgi2z.net
>>283
そもそも
「列をa、インデックス集合をIとして∀i,j∈I i≦j⇒ai≦ajが成り立つとき、
aは真の上昇列や<上昇列であると呼ぶ」
という＜上昇列の定義が独善的な誤り
300:１３２人目の素数さん
21/06/18 11:48:12.16 SQepgi2z.net
ウソ定義によるウソ上昇列で、無限個の項があるものがある
といったところで、数学としては全く無意味である
ウソ数学の話は、数学板ではなく他所でやってくれ
301:１３２人目の素数さん
21/06/18 11:50:59.29 SQepgi2z.net
{0, …, ω}の場合、x＜ωとなる最大のxが存在しないのでアウト
ID:1qYwJmwc がこのことを理解しないならば猿回しと同類である
302:１３２人目の素数さん
21/06/18 11:52:03.83 1Bo6l00w.net
>>285
つまるところ、
「列をa、インデックス集合をIとして∀i,j∈I i≦j⇒ai≦ajが成り立つとき、
aは真の上昇列や<上昇列であると呼ぶ」
という定義にはなん�
303:ﾌ問題もなく、これを認めれば無限列であるということも成り立つが、 あなたの中の常識に反するというだけの話？
304:１３２人目の素数さん
21/06/18 11:55:17.33 SQepgi2z.net
Zに、-∞と∞をつければ、>>284の三条件を満たせる と思うなら誤り
―∞＜ｘ となる最小のｘは存在しないし
（つまりー∞の後者が存在しない）
ｘ＜∞ となる最大のｘも存在しない
（つまり ∞の前者が存在しない）
上記の条件をとっぱらったものを「＜上昇列」というのはウソである
305:１３２人目の素数さん
21/06/18 12:09:36.81 SQepgi2z.net
>>288
>つまるところ、
>・・・
>という定義にはなんの問題もなく
数学における定義と異なるなら重大な問題だが理解できんか？
>あなたの中の常識に反するというだけ
数学における定理は「私の中の常識」ではないが
むしろ、あなたの定義こそ「あなたの中だけの常識」ではないか？
306:１３２人目の素数さん
21/06/18 12:18:43.68 dY1rsWa5.net
>>288
定義を変えて考えるのは勝手だが、定義を変えた用語をもとに既存の定理や結果を使うからだめなんだろ。
307:１３２人目の素数さん
21/06/18 12:45:37.66 1Bo6l00w.net
>>290
言い方が悪かった
well-definedという意味で問題はないということは共通認識で良いんだよね
>>291
それはどこのこと？
308:１３２人目の素数さん
21/06/18 12:57:03.65 WiAlxlcJ.net
>>233
>別に応援する気にはならないよ
>基本的に正しいに決まっているし
どうも、スレ主です
私も、基本的には同意です
が、”風評被害”（下記）の緩和みたいな意味もあるし
IUT自身は、まだどんなものか、漠然としか分からないが＊）、
おもしろそうなので、興味を持って見ています
いつ、世界に認められるかも含めて
＊）私見ですが
・フェルマー方程式 a^n+b^n=c^n をフライ曲線から、楕円曲線に持ち込んで、谷山志村とぶつけるというのが、ワイルズ先生の筋
・で、ABCはn=1で、同様にして、楕円曲線に持ち込んで、
・さらに遠アーベル（楕円曲線に穴をあけて群を作る）に持ち込んで
・それでも足りないから、遠アーベルの先へ、それがIUT
・フロベニオイド、ホッジ舞台、 テータ橋梁
・そして、下記 多輻的復元アルゴリズム：Inter-universal Teichmuller Theory III の定理3.11で構成された論文の抽象的部分の中心となる手法。ガウス積分を多数の宇宙に分離して計算の精度を高め、重みの定理により集計するシステムとして宇宙際アルゴリズムが働く。
・なにか、素数ｐを走る計算をするような気がするのですが・・
（だれか、上記のキーワードを入れた説明を書いてくれないかな？（＾＾；）
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
風評被害（ふうひょうひがい）とは、風評によって、経済的な被害を受けること[1]。狭義として「報道被害」もこれの一部にあたる。
URLﾘﾝｸ(ja.)ユアペディア/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論
目次
1 論文について
2 宇宙際について
3 楕円曲線と高さの理論
4 ディオファントス幾何
5 ホッジ＝アラケロフ幾何
6 フロベニオイド
7 遠アーベル幾何
8 ホッジ舞台
9 対数殻
10 核性
11 多輻的復元アルゴリズム
12 テート＝セミツイスト
(引用終り)
以上
309:１３２人目の素数さん
21/06/18 13:00:40.04 3NkH6hF0.net
>>273
そんな、人を一�
310:ﾆ離散に追い込みかねない攻撃は なしにしていただきたいと思います。
311:１３２人目の素数さん
21/06/18 13:07:51.27 WiAlxlcJ.net
>>290
スレ主です
相乗りして悪いが
おサル
お前の負けだよｗ（＾＾；
312:１３２人目の素数さん
21/06/18 13:30:55.20 WiAlxlcJ.net
>>282
>簡単にいってしまえば、Iは、
>Zもしくはその部分集合
>と同様の性質を有する必要がある
そりゃ、おサルの算数ではそうだろうさ（＾＾
だが、人の数学では下記の通りだｗ（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
添字集合
特定の添字集合による添字付けには、特別な呼び方をすることがある。たとえば、I が自然数からなる（つまり I ⊂ N となる）とき、集合 S の元の I による添字付け
略
は S の元への賦番、あるいは S の元の数え上げといい、集合 S の元がこのような添字付けによって尽くされるならば、S は可賦番であるという。
有向集合による添字付けは有向点族（ネット）の概念に用いられる。
URLﾘﾝｸ(en.wikipedia.org)
In mathematics, an index set is a set whose members label (or index) members of another set.[1][2] For instance, if the elements of a set A may be indexed or labeled by means of the elements of a set J, then J is an index set. The indexing consists of a surjective function from J onto A, and the indexed collection is typically called an (indexed) family, often written as {Aj}j∈J.
Contents
1 Examples
2 Other uses
3 See also
Examples
An enumeration of a set S gives an index set J⊂ N , where f : J → S is the particular enumeration of S.
Any countably infinite set can be (injectively) indexed by the set of natural numbers N .
For r∈ R, the indicator function on r is the function 1r： R → {0,1} given by
略
The set of all such indicator functions, {1r}r∈ R , is an uncountable set indexed by R .
Other uses
In computational complexity theory and cryptography, an index set is a set for which there exists an algorithm I that can sample the set efficiently; e.g., on input 1n, I can efficiently select a poly(n)-bit long element from the set.[3]
(引用終り)
以上
313:１３２人目の素数さん
21/06/18 14:29:24.02 SQepgi2z.net
>>292
定義をすり替えるウソツキはキモチ悪い
314:１３２人目の素数さん
21/06/18 14:34:05.09 SQepgi2z.net
>>296
猿回し君は何が肝心なのか、まだわかってないんだねぇ
「添字集合」だけ読んでもダメ
そもそも＜の左右の項が存在する、というのが重要
そこ漫然と否定した猿回し君が大間違い
猿回し君の一人負けだよ
それにしても君はオウンゴールの自爆負けばっかりだねえ
文章読めないの？ 独りよがりな妄想が止まらないの？
315:１３２人目の素数さん
21/06/18 14:34:47.23 WiAlxlcJ.net
>>297
おサル
お前の負けだよｗ（＾＾；
お前には、人の高等数学は無理
サルだもの
このスレから、さる（去る）よろしｗｗ
316:１３２人目の素数さん
21/06/18 14:36:24.44 WiAlxlcJ.net
>>298
ハハハ
まあ、頑張ってくれ
相手は強敵だよ、多分な（＾＾；
317:１３２人目の素数さん
21/06/18 14:36:52.82 SQepgi2z.net
>>293
猿回し君に数論幾何は無理
「ボクの生まれた国、日本は世界一ィィィィィ」
っていいたいためだけにIUTを応援してるんなら
恥かくだけだからやめたほうがいいよ
あと、オリンピックみたいな「国粋ポルノ」で
射★するのも恥ずかしいからやめたほうがいいよ
318:１３２人目の素数さん
21/06/18 14:38:07.70 SQepgi2z.net
>>300
＞相手は強敵だよ
君のドッ�
319:yルゲンガーも君同様に弱っちいねｗｗｗ
320:１３２人目の素数さん
21/06/18 14:40:34.49 SQepgi2z.net
>>295
誤 相乗りして悪いが
正 ドッペルゲンガー発生させて悪いが
君はジコチュウな幼児だってわかってるから全然驚かないよ
そんな姑息なことしても恥の上塗りだってことがわからないかね？ｗ
321:１３２人目の素数さん
21/06/18 14:44:00.23 SQepgi2z.net
ID:1qYwJmwcの定義だと、
例えば実数を引数とする関数も「列」となり
さらに、単調増加関数は「＜上昇列」となる
そんな破廉恥な拡大を許してまで
無限上昇列を完全正当化したがるのは
頭がオカシイ
322:１３２人目の素数さん
21/06/18 14:45:19.03 SQepgi2z.net
数学に またも負けたか 猿回し
おあとがよろしいようで
323:１３２人目の素数さん
21/06/18 14:46:26.64 1Bo6l00w.net
>>297
well-defined性などに問題ないなら、常識の問題だな
何故常識の問題になってしまったかと言うと、<列という単語の意味が常識に依存してしまっていたから
常識からでは無限列はないと結論づけることはできないので、まず<列の定義から厳密に主張すれば良かった
324:１３２人目の素数さん
21/06/18 14:46:50.58 SQepgi2z.net
>>279-280
猿回しの二つの誤り
１．ツェルメロ構成によるωがシングルトン
２．＜列、０＜・・・＜ωが無限列
■誤り１の説明
lim n→∞ {{・・{{}}・・}}n は
∪(n∈N）{{・・{{}}・・}}n であるから
{{・・{{}}・・}}∞ ではなく
{{},{{}},{{{}}},…} という無限集合である
■誤り２の説明
・・・{{}}・・・は、要素が存在しないから、そもそも集合ではない
{{・・・ ・・・}}は、要素が存在するが、無限降下してしまい、
{}に到達しないから、正則性公理と矛盾し、集合ではない
一方、正解である{{},{{}},{{{}}},…}は
どの要素も有限重シングルトンであるから
有限回で必ず{}に到達する
325:１３２人目の素数さん
21/06/18 14:49:09.90 SQepgi2z.net
>>306
> まず<列の定義から厳密に主張すれば良かった
<列の定義から厳密に主張されている
君が理解できなかったのが悪かった
326:１３２人目の素数さん
21/06/18 14:51:06.06 SQepgi2z.net
要するに ID:1Bo6l00w が自分が理解できない箇所を
そっくりそのまま読み落としたのが悪かった
well-defined？ それ以前の問題
国語ができない人に数学は無理
327:１３２人目の素数さん
21/06/18 14:53:33.13 SQepgi2z.net
ID:1Bo6l00w の独善定義では
>>304のようなものまで
「列」「＜上昇列」となる
そのことに気づいてないようじゃ
数学やる意味がない
328:１３２人目の素数さん
21/06/18 15:06:25.12 1Bo6l00w.net
>>304
その結果が特におかしいとは思わないが矛盾を導くの？
>>308
<列のあなたの中の定義がこのスレで出てきたのはだいぶ後半だったと思うが
とどのつまり、曖昧な用語を使った結果定義に共通認識がなかった
無限列がない、と結論付けるには厳密な用語を使わなければならず、それをしなかったという落ち度があるな
329:１３２人目の素数さん
21/06/18 16:00:34.10 SQepgi2z.net
>>311
＞その結果が特におかしいとは思わないが矛盾を導くの？
順序数は無限降下列を持たない、って知らないの？
＞<列のあなたの中の定義がこのスレで出てきたのはだいぶ後半だったと思うが
最初から定義は示されていた
君が読まなかったか読んでも理解できなかったかのいずれか
とどのつまり、君が理解できず、曖昧と喚いてるだけ
無限列がないと、結論されているのだから厳密な用語の定義がある
あなたが定義を確認しなかったのが落ち度
330:１３２人目の素数さん
21/06/18 16:10:02.46 SQepgi2z.net
ID:1Bo6l00w の変態ぶり
自分の主張が特におかしいとは思わない
→順序数は無限降下列を持たない、という数学の成果がおかしい！
曖昧な用語を使った結果定義に共通認識がなかった
→俺様に理解できない用語の定義は無意味！
無限列がない、と結論付けるには厳密な用語を使わなければならず、
それをしなかったという落ち度がある
→俺様が理解できる範囲の厳密な定義では、無限列は存在する
したがって俺様に分からん屁理屈を用いる数学者どもに落ち度がある
全知全能の俺様を否定する数学者が間違ってる！
さすが、「裸の王様」猿回し君ですなぁ
331:１３２人目の素数さん
21/06/18 16:11:42.01 SQepgi2z.net
もう猿回し君は死んでいいよ
ドッペルゲンガーまで発生させて
自分を正当化するとか異常者だから
恥ずかしいと思わないのかね？
332:１３２人目の素数さん
21/06/18 16:18:37.43 1Bo6l00w.net
>>312
>>158が最初だが出てたか？
>>179で定義を確認したが、そのときはインデックス集合に条件があるかのように返答していたな
しかしwikipediaを見てもそんなものはなく、話す中でようやくあなたの言いたいことが見えてきたという流れだった
>順序数は無限降下列を持たない
すまん、それが矛盾を導くのか？
333:１３２人目の素数さん
21/06/18 16:24:36.73 WiAlxlcJ.net
>>314
おサルさ、ボコボコにされているな
>ドッペルゲンガーまで発生させて
おれが召喚したわけじゃないよ
だけどな
数学ってのは、屁理屈は痛痒しないよ
それを思い知ることになるぞｗ（＾＾；
おサル
頑張れよｗ
334:１３２人目の素数さん
21/06/18 16:25:46.12 WiAlxlcJ.net
>>316 誤変換訂正
数学ってのは、屁理屈は痛痒しないよ
↓
数学ってのは、屁理屈は通用しないよ
分かると思うが（＾＾；
335:１３２人目の素数さん
21/06/18 16:29:19.54 1+GXU3Ah.net
>>272
連続的な数学は自然科学や経済学との親和性が強く
それらの現象がアイディアの元になっているから、それらの分野が滅ばない限り連続的な数学が滅ぶことはない
自然科学や経済学が滅ぶかというと、滅びそうもない
だから、連続敵的な数学は滅ばない可能性が極めて高い
原理的に、計算機の内部の演算のような処理をする部分は、離散的な処理しか出来ない構造になってる
336:１３２人目の素数さん
21/06/18 16:35:06.80 SQepgi2z.net
>>315
＞＞順序数は無限降下列を持たない
＞すまん、それが矛盾を導くのか？
君の定義では無限降下列を持つだろ？
まさか、確認してないのか？
自分のいってることもわからんとか頭大丈夫か？
337:１３２人目の素数さん
21/06/18 16:36:54.10 SQepgi2z.net
>>316
＞ボコボコにされているな
ID:1Bo6l00w がなｗ
さすがドッペルゲンガー
猿回し本人同様、実に弱っちいｗ
338:１３２人目の素数さん
21/06/18 16:38:18.42 SQepgi2z.net
猿回し＞数学ってのは、屁理屈は通用しないよ
猿回し君にとっては、大学数学は全て
「俺様には理解できない屁理屈」
だろうな
諦めて数学板から出て行けよ
339:１３２人目の素数さん
21/06/18 16:41:27.30 1+GXU3Ah.net
>>272
>>318の下から2行目の漢字訂正：連続敵的 → 連続的
340:１３２人目の素数さん
21/06/18 16:41:31.49 SQepgi2z.net
>>315
誤 179で定義を確認したが
正 179で定義を捏造したが
>>179を見た瞬間
「あ、こいつ定義を捻じ曲げてきたな」
とわかったよ
ほんとおまえって自分が正しいといいはるためなら
平気でウソつくんだな
どっかの島国の東北のド田舎出身の無学なハゲ首相と同じだなｗ
341:１３２人目の素数さん
21/06/18 16:42:17.54 1Bo6l00w.net
>>319
具体的に何が無限降下列なの？
342:１３２人目の素数さん
21/06/18 16:43:27.40 SQepgi2z.net
URLﾘﾝｸ(fujinkoron.jp)
いまこそこの方には首相にこう言ってほしいね
「オリンピック開催とか何考えてんだ このハゲ！」
343:１３２人目の素数さん
21/06/18 16:45:57.68 SQepgi2z.net
>>324
なんか一気に馬鹿のフリしてごまかそうとしてるね
君のいうインデックス集合が無制限なら無限降下列もできちゃうよ
ほれほれ、インデックスどうした？ｗ
344:１３２人目の素数さん
21/06/18 17:02:16.40 WiAlxlcJ.net
>>324
横からすまんが
時間節約のために
１．無限降下列の説明は、>>188ご参照
２．で、何が”無限降下列”？ってのは、確たる記述は見つけられなかった
３．で、私見では、
>>188の二つのwikipediaの”無限降下列”が議論の出発点だった
二つのwikipediaの”無限降下列”は、あくまで、底なし沼のようなもの
４．一方で、底のある無限上昇列があって、無限に上ったあと、例えば頂上から降りれば、形式的には、無限降下ではあるけれども
二つのwikipediaの”整礎”、”正則性公理”に記されている「無限降下列」は、”底ありの無限上昇列”とは別もの
∵ 無限降下列と無限上昇列の二つとも禁止したら、有限列しかできないよね。それはへん（＾＾；
以上、老婆心ながら補足でした
345:１３２人目の素数さん
21/06/18 17:08:49.67 SQepgi2z.net
>>327
猿回しは黙れ
時間節約のためなら、
今ここで貴様が死ねｗ
（完）
346:１３２人目の素数さん
21/06/18 17:09:35.83 iFv2CSvJ.net
>>318
コロナ禍でテレワークが進んだように
これからは自然への接し方も大きく変化するかもしれない
その結果、連続というフィクションなしでも
数学はやっていけるんだということに
ならないとも限らない」
347:１３２人目の素数さん
21/06/18 17:12:21.21 SQepgi2z.net
無限上昇列でωが現れる場合、かならず有限番目に現れる
348:要するにいかなる順序数λも、そこに至るのは有限番目 つまり無限上昇列の「無限番目」というものは存在しない したがって「無限上昇列」があって「無限降下列」がないとしても矛盾はない
349:１３２人目の素数さん
21/06/18 17:29:47.43 1Bo6l00w.net
>>326
自分には無限降下列がないように見えるから、具体的に教えてほしい
350:１３２人目の素数さん
21/06/18 17:45:24.70 WiAlxlcJ.net
>>330
(引用開始)
無限上昇列でωが現れる場合、かならず有限番目に現れる
要するにいかなる順序数λも、そこに至るのは有限番目
つまり無限上昇列の「無限番目」というものは存在しない
したがって「無限上昇列」があって「無限降下列」がないとしても矛盾はない
(引用終り)
ワハハ、ワハハ
それ、おサルさ、お主のいう「コトバのサラダ」そのものじゃんか（＾＾
”無限上昇列”
と
”無限上昇列”
の定義をさ
しっかり書けよ
サル（＾＾
351:１３２人目の素数さん
21/06/18 17:45:40.87 1+GXU3Ah.net
>>329
計算機の内部の構造上、アナログ的な処理をすべてデジタル的で有限な処理に変換することは出来ない
いっていることはそのことと大体同じ
352:１３２人目の素数さん
21/06/18 17:47:02.61 WiAlxlcJ.net
>>332 訂正
”無限上昇列”
と
”無限上昇列”
の定義をさ
↓
”無限上昇列”
と
”無限降下列”
の定義をさ
スマン（＾＾
353:１３２人目の素数さん
21/06/18 17:49:54.06 1+GXU3Ah.net
>>329
ついでに、高度な有機化学とかの実験は常に危険と隣り合わせで、コロナの状況の中でもやっているだろう
354:１３２人目の素数さん
21/06/18 18:32:45.95 3NkH6hF0.net
>>335
その種の実験は近い将来全部リモートで
できるようになるのでは？
355:１３２人目の素数さん
21/06/18 18:42:43.57 WiAlxlcJ.net
>>332
(引用開始)
無限上昇列でωが現れる場合、かならず有限番目に現れる
要するにいかなる順序数λも、そこに至るのは有限番目
(引用終り）
追加
１．何を言っているのか、わけわからんな、おサよ
２．”無限上昇列でωが現れる場合、かならず有限番目に現れる”？ おサルのいう「無限上昇列」の定義は？
「かならず有限番目に現れる」？ どこから どう数えて 有限番目になるのか？
３．「いかなる順序数λも、そこに至るのは有限番目」？ なにそれ？
どこから どう数えて 有限番目になるのか？
４．λ＝ω1 （最小の非可算順序数（下記））で、「ω1に至るのは有限番目」を示せ！！ｗ（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
最小の非可算順序数（英: First uncountable ordinal）ω1の存在は、選択公理によらずに示すことができる（ハルトークス数を参照）。ω1は極限順序数で、すべての可算な順序数を含む非可算集合である。ときに Ω とも表記される。その濃度は最小の非可算基数 ?1 に等しい。
位相的性質
任意の順序数は、順序位相の入った位相空間と捉えることができる。位相空間 [0,ω1) および [0,ω1] は、いくつかの興味深い性質を持っている。
[0,ω1) は点列コンパクトであるがコンパクトではない。任意の距離空間においてその二つは同値であるから、[0,ω1) は距離化不可能である。
可算コンパクトではあるため、 [0,ω1) はコンパクトでない可算コンパクト空間の例になっている。
他にも ω1 は、長い直線やTychonoff plankといった、位相空間論における重要な反例を作り出すために用いられている。
連続体仮説
詳細は「連続体仮説」を参照
連続体仮説とは『連続濃度はω1の濃度と等しい』という命題で、19世紀にカントルによって提唱された。現在では、ZFCにおいて証明も反証もできない命題であることが知られている。
(引用終り)
以上
356:１３２人目の素数さん
21/06/18 18:50:04.23 SQepgi2z.net
>>331
>自分には無限降下列がないように見える
自分の定義にしたがってそう証明してごらんｗ
357:１３２人目の素数さん
21/06/18 18:57:25.58 3NkH6hF0.net
>>335
地下２kmくらいの生命体の研究も
リモートでやるしかないだろう
そのような存在に対する科学的知識を
まとめるための新しい数学としては
離散的なものが適しているように思えるのだが
358:１３２人目の素数さん
21/06/18 18:59:31.80 WiAlxlcJ.net
>>338
>>自分には無限降下列がないように見える
>自分の定義にしたがってそう証明してごらんｗ
笑える（＾＾； >>332-334 なｗ
359:１３２人目の素数さん
21/06/18 19:22:38.51 iFv2CSvJ.net
高木貞治が「過渡期の数学」で
離散数学について何かコメントしていたように思う
あの時�
360:繧謔閧熏｡の方がもっと過渡期かも
361:１３２人目の素数さん
21/06/18 19:57:59.53 t9uwnfo9.net
>>338
正則性の公理からすべての集合は無限降下列を持たない
したがって上の列を使ってどんな集合を作ろうが無限降下列を持たない
362:１３２人目の素数さん
21/06/18 20:16:21.10 ZHLrkwL7.net
>>342
>>>338
>正則性の公理からすべての集合は無限降下列を持たない
>したがって上の列を使ってどんな集合を作ろうが無限降下列を持たない
どうも
スレ主です
全面同意です
完全同意です（＾＾
363:粋蕎
21/06/18 20:22:42.11 xDVRCVDz.net
絶対に正しい主張なら借金上限額を借り入れた上での全財産を担保にした上で主張できる､
借金上限額額を借り入れた上での全財産を担保に出来ないならば、出鱈目な大法螺吹きによる張ったりをこく陰痴己である｡
出鱈目、大法螺吹き、張ったり、陰痴己。つまりは、嘘である｡
「大方の予測を付けての当て推量による張ったりを言っただけで嘘を吐いた積もりは無い」と宣う言い分は
『張ったり口を叩く行為くらいは嘘を吐きには成らない』と言って自己を過保護にしている事を自ら晒す事に成るが
嘘は嘘である｡
>>294
何だ、借金上限額を借り入れた上での全財産を担保に主張したら一家離散の羽目に陥らざるを得ないんか？
一家離散の羽目に陥らざるを得ない時点で、吹かしこいてんじゃろうが、張ったりじゃろうが､
大法螺吹きじゃろうが、陰痴己じゃろうが、嘘吐いたんろうが。商売屋か？
しかし商売屋にしても其れも大義名分も欠いとる様じゃけぇ、商売とは言えんな､
『売（バイ）』じゃな、バイ。的屋系露店の消え物売りと同類｡
堅気の癖して極道の真似事とは、徹しとるのう、腹が座っとるのう。人の金を喰う算段なんじゃ？
分かったか？大義名分も無く張ったりこくと言う事が、どんだけ畏れ多い事か｡
それとも畏れを知らん様な輩（今時の言葉で言う所のDQN）なら、畏れを知る体験をして来た方が良えんと違うか？
畏れ・危機意識が欠如しとるけぇ、自分が何をしとるか分からず、相手に思い知らされるじゃけぇ｡
364:粋蕎
21/06/18 20:29:37.41 xDVRCVDz.net
>>295
其の援護レス、遂に数学の話じゃない事を認めてる事に気付かんか？
嘘八百行為が証明されても悪びれないSetAこそ『畏敬の念を覚える体験ver.大人向け』した方が世の為じゃな｡
365:１３２人目の素数さん
21/06/18 20:46:04.11 ZHLrkwL7.net
>>345
蕎麦屋のおっさん
相変わらずだな
訳の分からんことをｗ
366:１３２人目の素数さん
21/06/18 20:56:54.31 ZHLrkwL7.net
>>342-343
正則性公理は、下記”Koga”が分かり易い
「最小値」と
「Φ に還元される」と
この二つが重要キーワードです
URLﾘﾝｸ(www.cs-study.com)
集合論：正則性 (Regularity)
27th June 2019 (Updated)
24th Jan. 2018 (First)
Akihiko Koga
内容
動機
[もやもや感」の解消
後日談(正則性公理の技巧的な感じの源泉) (2019.06.27)
話を元に戻して，正則性公理の意図としては，∈ の無限降下列が存在しないことの要請なのだが， フォン・ノイマン順序数だけの集合 x に対しては，この元の集合 x と交わりを 持たない要素 y∈x の存在は大変ありがたい．これは ∈ を順序 < と したときの x の最小値 min x になるからだ．つまり，
y1 < y2 iff y1 ∈ y2
と定義すると，フォン・ノイマン順序数のある集合 x に対しては，
∃ y∈x (x ∩ y = Φ)
という条件は，y に対しては，
￢ (∃ y1∈x y1∈y)
(つまり ￢ (∃ y1∈x y1<y) となり，y が x の中の最小値）
となる．これは順序集合の最小値が必要な時，すぐそれを取り出すことができる 論拠を公理として与えることができることを意味する．
つづく
367:１３２人目の素数さん
21/06/18 20:57:15.02 ZHLrkwL7.net
>>347
つづき
正則性公理は，集合の要素として，それ以上要素を持たない「もの」としてΦ以外に 許すとき（そのような「もの」をアトム(atom)と言ったり，Urelementというが），
∃ y∈x (x ∩ y = Φ)
の形では言うことができない．例えば，a をアトムとして，「もの」
a
の中には要素がないので，上のような y∈a の存在は言えない．小さいことを 言うようだが，
set(x) → ∃ y∈x (x ∩ y = Φ)
のように x が集合ならという条件 set(x) を付けることになる．また，その時の y は当然 x の 中の要素の最小値ということではなくなる．それは例えば，もうひとつアトム b をとって，x={a, b} としてみればよい． a と b の間に ∈ 関係はないのであるから，どちらが最小ということもない．ということで，正則性公理の上の形は， ZFC のようにすべてが Φ に還元される集合論とフォン・ノイマン順序数を順序の 基準に取っているとき役に立つことになる．
基礎の公理/正則公理の表現方法としては，もう少し素直に，∈の無限降下列が 存在しないという表現方法もあるようだ．ただし，無限降下列の定義も難しいので フォン・ノイマンのこの形の正則性公理は便利かつコンパクトな表現であるということは 言えると思う．
(引用終り)
以上
368:
21/06/18 22:05:32.70 Z7pzaeCl.net
>>274
＞”マッドサイエンティスト”との決めつけは、まだ早いのでは？
論点をずらしてはいけませんよ、マッドサイエンティストかどうかは私にはどうでもよく、私が問題にしたいのは
・covid-19 コロナウィルスは自然発生したウィルスではなくラボで作られた「改造ウイルス」であること
です。これは、現時点ではこれはもうファクトでありフェイクではありません
そして、当初この「改造ウイルス」説を唱えた者に対して、非国民呼ばわりし、よってたかって村八分に加担した人々がいた、ということ
369:１３２人目の素数さん
21/06/18 22:07:09.05 ZHLrkwL7.net
>>349
>です。これは、現時点ではこれはもうファクトでありフェイクではありません
まだ早いと思う
アメリカの90日レポートを待て
370:１３２人目の素数さん
21/06/18 23:15:55.04 bblRRAYm.net
アメリカの90日レポート？
タイではなくて？
371:１３２人目の素数さん
21/06/18 23:25:06.97 ZHLrkwL7.net
>>350
スレチだが
ご参考(wikipediaを鵜呑みにしているわけではない、一つの資料として)
URLﾘﾝｸ(en.wikipedia.org)
Investigations into the origin of COVID-19
Laboratory incident
A final scenario, considered unlikely by scientists, is the introduction of the virus to humans through a laboratory incident. The Wuhan Institute of Virology has performed research into bat coronaviruses since 2005, and identified the RaTG13 virus which is the closest known relative of SARS-CoV-2. Research topics included investigations into the source of the 2002?2004 SARS outbreak and 2012 MERS outbreak, some of which involved conducting gain of
372:function research on viruses. The proximity of the laboratory to the initial outbreak has led some to speculate that it may be the entry point, and politicians, media personalities and some scientists have called for further investigations into the matter. Based on the available genomic evidence, bioengineering of the virus for deliberate release has been ruled out by experts, with remaining investigations considering the possibility of a collected natural virus inadvertently infecting laboratory staff during the course of study. https://en.wikipedia.org/wiki/COVID-19 COVID-19 History https://ja.wikipedia.org/wiki/%E6%96%B0%E5%9E%8B%E3%82%B3%E3%83%AD%E3%83%8A%E3%82%A6%E3%82%A4%E3%83%AB%E3%82%B9%E6%84%9F%E6%9F%93%E7%97%87_(2019%E5%B9%B4) 新型コロナウイルス感染症 (2019年) 2019年12月に中華人民共和国湖北省・武漢市で初めて検出された新興感染症で、一般に武漢市から世界各地に感染が拡大（パンデミック）したと考えられているが、バルセロナ大学（スペイン）の発表によると2019年3月採取の廃水から新型コロナウイルスが検出されている。イタリアの国立がん研究所の研究によると2019年9月に採取した同国での肺がん検査受診者の血液中から新型コロナウイルスの抗体が検出されており、武漢市で報告される前から、世界中にウイルスが広まっていた可能性が、2020年3月時点で指摘されている。 (引用終り)
373:１３２人目の素数さん
21/06/18 23:29:02.31 ZHLrkwL7.net
>>351
>アメリカの90日レポート？
下記ね。米大統領の
>>274より（参考）
URLﾘﾝｸ(www.sankeibiz.jp)
米大統領が「コロナ起源、90日以内の報告」を指示 「動物説」「流出説」が混在 2021.5.27 sankeibiz
374:１３２人目の素数さん
21/06/18 23:30:11.10 4KGJ8dRA.net
IUTスキャンダルそっくり
375:１３２人目の素数さん
21/06/18 23:39:08.17 ZHLrkwL7.net
>>354
そうあせらないで
IUT国際会議
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Foundations and Perspectives of Anabelian Geometry
場所：オンライン 期間：2021-06-28?2021-07-02
組織委員：Ivan Fesenko （英・ノッティンガム大学）
南出新（京都大学数理解析研究所）
譚福成（京都大学数理解析研究所）
Benjamin Collas（京都大学数理解析研究所）
組合せ論的遠アーベル幾何とその周辺
場所：オンライン 期間：2021-07-05?2021-07-09
組織委員：星裕一郎（京都大学数理解析研究所）
望月新一（京都大学数理解析研究所）
Ivan Fesenko （英・ノッティンガム大学）
南出新（京都大学数理解析研究所）
辻村昇太（京都大学数理解析研究所）
Benjamin Collas（京都大学数理解析研究所）
宇宙際タイヒミューラー理論への誘い（いざない）
場所：420号室＋オンライン 期間：2021-08-31?2021-09-03
組織委員：星裕一郎（京都大学数理解析研究所）
望月新一（京都大学数理解析研究所）
Ivan Fesenko （英・ノッティンガム大学）
田口雄一郎 （東京工業大学）
宇宙際タイヒミューラー理論サミット２０２１
場所：420号室＋オンライン 期間：2021-09-07?2021-09-10
組織委員：星裕一郎（京都大学数理解析研究所）
望月新一（京都大学数理解析研究所）
Ivan Fesenko （英・ノッティンガム大学）
田口雄一郎 （東京工業大学）
376:１３２人目の素数さん
21/06/18 23:42:33.72 4KGJ8dRA.net
マスコミ カネ ポスト 査読
編集者 出版
377:１３２人目の素数さん
21/06/19 02:57:00.81 dl/k8hqf.net
>>336
>>335でいう「高度な有機化学とかの実験」というのは、院生レベルの有機化学の実験
その中には常に危険と隣り合わせの実験がある
変なこと書くになるけど、院生レベルの有機化学の知識がある人なら、
サリンとかの有毒ガスはドラフトチェンバーとかの装置さえあれば合成出来る
そういう危険な実験は計算機では到底出来ないだろう
>>339
地下２kmくらいの生命体の研究は計算機で出来る可能性はある
378:１３２人目の素数さん
21/06/19 06:58:04.43 dMVF6Ao+.net
>>340
アルェー、ドッペルゲンガーはどうしたのかな？
379:１３２人目の素数さん
21/06/19 07:01:08.74 dMVF6Ao+.net
>>342
降下列の定義を変えたら、無限降下列はできちゃうよ
ただ、それは異なる定義によるものだから、
元の定義による結果を否定するものではないな
380:１３２人目の素数さん
21/06/19 07:03:24.56 dMVF6Ao+.net
>>349
＞現時点ではこれはもうファクトであり
💊、飲もうな
統合失調症は治る病気だぞ
381:１３２人目の素数さん
21/06/19 07:07:40.31 dMVF6Ao+.net
>>355
>そうあせらないで
あせってるのはあんただよ、あんた
ニッポン自慢は、ν速板でやりなよ
382:１３２人目の素数さん
21/06/19 07:11:51.39 dMVF6Ao+.net
ニッポン大好きな人におくる曲
URLﾘﾝｸ(www.youtube.com)
・・・何もかもみななつかしい
383:１３２人目の素数さん
21/06/19 07:18:41.88 dMVF6Ao+.net
今の気分は
五輪・ダメ・ゼッタイ
URLﾘﾝｸ(www.youtube.com)
本当に大事なものが何なのか、気づこう
384:
21/06/19 07:44:23.90 R0tszRzH.net
>>360
治るとはいわないでしょう、寛解とはいいますが
そのような基本的な言葉の使い方すら間違える病気に対する理解の浅薄な馬鹿の言うことなんか信用できるものでしょうか？
385:１３２人目の素数さん
21/06/19 08:44:07.22 IxFCR29a.net
>>359
スレ主です
おサルは、数学科出身だったよね
>元の定義による結果を否定するものではないな
では聞く
「元の定義」を書いてください
出来ないよね、あんたにはｗ
386:１３２人目の素数さん
21/06/19 08:52:21.94 dMVF6Ao+.net
>>364
>治るとはいわないでしょう、寛解とはいいますが
寛解も治ったうちですよ
基本的なのではなく細かい言葉遣いにすぎません
数学とは違うのですからそこに拘っても意味ありません
他人を馬鹿を罵るのも「症状」の一つと思って許してあげますよ
それが正常な人というものです
387:１３２人目の素数さん
21/06/19 08:56:11.96 dMVF6Ao+.net
>>365
>おサルは、数学科出身だったよね
あなたのいうおサルとは誰ですか？
具体的に氏名を書いていただけますか？
さらにその人物が
どこの大学の数学科をいつ卒業したか
も証拠つきで書いていただけますか？
もしそれが不可能であるならば
過去にとある人物が
東京大学理学部数学科を卒業した
とかいってもこういえばいいだけかと
「はいはい、わろすわろす」
それができない時点で頭悪いな、と判断します
388:１３２人目の素数さん
21/06/19 09:01:10.82 dMVF6Ao+.net
>>367
＞では聞く 「元の定義」を書いてください
すでに十分書かれてるようですが
全く理解できませんでしたか？
そもそもωからはじめて、より小さい順序数をその都度選ぶ、
というプロセスをつづければ、有限回で空集合に至らざるを得ない
というだけの話です
わけもわからずインデクス集合を持ち出す時点で完全な拡大解釈であって
そこで無限降下列が実現可能だとしても、本来の上記の意味の降下列とは
全然別物なので無意味です
それがわからないなら・・・
数学学んでも無駄だからやめたほうがいいですね
389:１３２人目の素数さん
21/06/19 09:05:30.33 dMVF6Ao+.net
まず、ω＞ｘで、ωより小さいｘを選ぶ場合
どのようなｘを選んでも、自然数になりますから
その時点で勝負は決まる、ということが
どうしても ID:IxFCR29a 氏には分からないようです
度し
390:難いですね ＞スレ主です 5chのスレッドに主はいませんよ スレッドを立てた人を「主」という人がいますが誤解ですね スレッドを立てたからといって、 スレッドの所有権を有するわけでもなく アクセス制限や投稿の削除ができるわけでもない まさに立てただけ そういう人は「1」と呼ばれるだけのことです
391:１３２人目の素数さん
21/06/19 10:03:13.47 H9G4VwdL.net
>>359
無限降下列の定義は変えてないけど
>>368
無限降下列は実現不能だけど
仮に実現できてしまったとしたらwell-definedでないということだから、それを先に確認した
392:１３２人目の素数さん
21/06/19 10:38:56.73 dMVF6Ao+.net
>>370
>仮に実現できてしまったとしたらwell-definedでない
なんか言葉遣いがおかしいな
まず、数学でいうwell-definedの意味、分かってる？
次に、もしあなたの定義で実現できた場合、
"well-definedでない”のではなく
そもそも数学における定義とは異なっている
ということは、どうしても分かりたくない？
393:１３２人目の素数さん
21/06/19 10:40:27.53 IxFCR29a.net
>>367
>>おサルは、数学科出身だったよね
>あなたのいうおサルとは誰ですか？
しらばっくれてｗ
お前のことだよ、おサル
昨日は、 ID:SQepgi2z [34/34](例えば>>338)だったよね
さらに、テンプレ>>5に、おサルのことは書いてあるよ
（>>5より）
「おサル＝サイコパス＊）のピエロ、不遇な「一石」、“鳥なき里のコウモリ”そのままで、“シッタカ”ぶり男で、アナーキストのアホ男です。
なお、IUTスレでは、「維新さん」と呼ばれることもあります。（突然“維新～！”と絶叫したりするからです（＾＾； ）
表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊） （Yahoo!でのあだ名が、「一石」）」
哀れな素人氏から、
「サル石」と呼ばれる男とは（”サル”の由来はこれ）
お前のことだよ！！（＾＾
（参考）
URLﾘﾝｸ(hissi.org)
トップページ > 数学 > 2021年06月18日 > SQepgi2z
1 位/93 ID中 Total 36
使用した名前一覧 １３２人目の素数さん
書き込んだスレッド一覧
Inter-universal geometry と ABC予想 (応援スレ) 55
Inter-univeral geometry と ABC予想44 （2レス）
Inter-univeral geometry と ABC予想44
109 ：１３２人目の素数さん[]：2021/06/18(金) 11:22:14.58 ID:SQepgi2z
>>107-108
結局、ABC予想について説明しただけで
IUT理論による証明についてはまったく
言及すらしてないわけね？
Inter-univeral geometry と ABC予想44
110 ：１３２人目の素数さん[]：2021/06/18(金) 11:27:50.69 ID:SQepgi2z
ま、ブンゲンの本も買わなかったから
小山氏の本も買わないだろうな
毎日新聞あたりが
「夢見る数学者～IUT理論騒動～」
とかいう本を出したら買ってもいいけど
(引用終り)
以上
394:１３２人目の素数さん
21/06/19 10:40:38.49 dMVF6Ao+.net
Well-defined
URLﾘﾝｸ(ja.wikipedia.org)
数学におけるwell-defined（ウェル・ディファインド）は、
「定義によって一意の解釈または値が割り当てられる」
ことを言う。
395:１３２人目の素数さん
21/06/19 10:41:22.39 dMVF6Ao+.net
ある定義がwell-definedであるのは
以下の二命題が示されたときである。
396:１３２人目の素数さん
21/06/19 10:41:59.09 dMVF6Ao+.net
命題１：実際に成立する
（定義で）示された表式が成立しない場合、well-definedであるとは言えない。
397:１３２人目の素数さん
21/06/19 10:42:43.60 dMVF6Ao+.net
命題２：経由する中途の表式に依存しない
往々にして、（数学上の）定義はいくつもの表式を経由する。
このとき、最終的な結論が中途の表式に依存している場合、
well-definedであるとは言えない。
398:１３２人目の素数さん
21/06/19 10:47:57.26 dMVF6Ao+.net
>>372
なんか一人発●してる方がいらっしゃいますが
そんなに「維新！」っていわれてムカついたのなら
こう言い返せばよかったのに
「なんですか？トミファさん」
399:１３２人目の素数さん
21/06/19 10:52:08.69 dMVF6Ao+.net
>>179
＞インデックス集合をIとして∀i,j∈I i≦j⇒ai≦ajが成り立つことか
Iとして任意の半順序集合を取る場合、
数学における上昇列は上記の条件を満たすが
逆は正しくないので不十分
400:１３２人目の素数さん
21/06/19 10:58:13.45 dMVF6Ao+.net
>>179
＞I={0, …, ω}から
そもそもインデクス集合として{0, …, ω}をとった時点でオウンゴール
ｘ＜ωとなるｘ∈Ｉで、最大のものがある？ ないよね？ だから、ダメ
<列の意味を理解してないから、そういう間違いをやらかす
401:１３２人目の素数さん
21/06/19 11:02:14.73 MYDkk4us.net
>>357
危険だからAIつきのロボットにやらせるというのは
もはや常識になっていると思っていましたが
その意味では廃炉は挑戦しがいのある課題では？
402:１３２人目の素数さん
21/06/19 11:02:40.60 H9G4VwdL.net
>>378
「数学における上昇列」とは？
>>379
「<列」の定義があなたとこちらでは違うという話だな
曖昧な単語で結論づけてしまったことに落ち度があるということで落ち着いてる
403:１３２人目の素数さん
21/06/19 11:02:56.30 dMVF6Ao+.net
まとめ
・ID:H9G4VwdLさんはwell-definedが分かってない
・ID:IxFCR29aさんはそもそも匿名掲示板が分かってない
匿名掲示板でアイデンティティを主張するくらい、バカなことはありません
しかもそのアイデンティティがバカ丸出しだったら、もう救いようがありません
404:１３２人目の素数さん
21/06/19 11:08:29.66 dMVF6Ao+.net
>>381
＞「数学における上昇列」とは？
０からはじめて、より大きい順序数をその都度選ぶ、
というプロセスをつづけることです
＞「<列」の定義があなたとこちらでは違うという話だな
いえ、数学界とあなた一人で違うということです
私ではなく数学界
あなたのいう「こちら」に数学界はありません
あなた一人です
＞曖昧な単語で結論づけてしまったことに
＞落ち度があるということで落ち着いてる
不十分な定義で自己満足したあなた一人に
全ての落ち度があるということで
数学界全体が落ち着きまくってます
あなた、おちつきましょうね
自分が数学の神だと思ってるなら、
そんなもんではないことに気づきましょう
あなたは数学のどん底の地獄の亡者です
はいあがれるといいですね（真上から見下げる目線）
405:１３２人目の素数さん
21/06/19 11:12:06.94 dMVF6Ao+.net
まとめ
「０からより大きな順序数を選んでいって
どの順序数もωより小さい無限列が構成できる」と
「ωからより小さい順序数を選んでいったら
かならず有限回で０に至る」は
全く矛盾しませんよ
♪なんでだろーなんでだろーなんでだなんでだろー
406:１３２人目の素数さん
21/06/19 11:13:06.75 IxFCR29a.net
>>368
>＞では聞く 「元の定義」を書いてください
>すでに十分書かれてるようですが
>全く理解できませんでしたか？
スレ主です
おサルは、数学科出身だったよね
誤魔化しにかかっているよね（＾＾
数学では「定義」の確認は、きほんの”き”
それができないおサルさん
数学で「定義」を聞かれたのに対して、”十分書かれてるようですが”って、なにそれ？ｗ
”十分書かれてる”？
”ようです”？
なにそれ？
数学で「定義」は、出来るだけ簡素に明解に書くべきもの
数学で「定義」を聞かれたら、以前に述べていたとしても、最低でもどこに記されているのかは、真摯に答えるべき
普通は、数学の「定義」は簡単に答えられるから、即答するよね
即答できないのは、数学のド素人だよ（おれも似たようなものだがｗ（＾＾； ）
407:１３２人目の素数さん
21/06/19 11:13:32.65 dMVF6Ao+.net
ついでにいうと、
「ノンコンパクトな集合を包含するコンパクト集合が存在する」
というのも全く矛盾ではありません
♪なんでだろーなんでだろーなんでだなんでだろー
408:１３２人目の素数さん
21/06/19 11:15:13.53 dMVF6Ao+.net
>>385
>誤魔化しにかかっているよね
いいえ
>>383で、定義書いてますから 残念！
409:１３２人目の素数さん
21/06/19 11:17:24.00 dMVF6Ao+.net
>>385
＞即答できないのは、数学のド素人だよ（おれも似たようなものだがｗ
似たようなもの、ではなく、そのものです
ID:IxFCR29aさん あなたは、数学のド素人DEATH！
URLﾘﾝｸ(www.youtube.com)
410:_poK8kVOU&ab_channel=ion13
411:１３２人目の素数さん
21/06/19 11:37:43.78 H9G4VwdL.net
>>383
数学界で常識なら、ググれば定義の一つでも出てくるはずだけど
とりあえず、あなたの言いたいことはようやく分かった
何かしらの定理や補題が証明できてそれを主張するなら、その側が厳密に述べなければならない
それをせずにツッコまれることこそ数学では当たり前だよ
412:１３２人目の素数さん
21/06/19 11:39:11.81 IxFCR29a.net
>>387
>>>383で、定義書いてますから 残念！
？>>383より
(引用開始)
＞「数学における上昇列」とは？
０からはじめて、より大きい順序数をその都度選ぶ、
というプロセスをつづけることです
＞「<列」の定義があなたとこちらでは違うという話だな
いえ、数学界とあなた一人で違うということです
(引用終り)
1．まず、「列」の定義が違うんじゃ無いの？（下記）
2．「０からはじめて、より大きい順序数をその都度選ぶ」だったら、”順序数”そのものじゃんかｗ
数学の定義になってないわな、おサル
おサル、アホ丸出しと思うのは、おれだけか？
おサル、数学科出身だよねｗｗｗ（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
列とは、粗く言えば、対象あるいは事象からなる集まりを「順序だてて並べる」ことで、例えば「Ａ，Ｂ，Ｃ」は３つのものからなる列である。狭義にはこの例のように一列に並べるものを列と呼ぶが、広義にはそうでない場合（すなわち半順序に並べる場合）も列という場合がある（例：有向点列）
数を並べた列を数列、（何らかの空間上の）点を並べた列を点列、文字を並べた列を文字列（あるいは語）という
列の構成要素は、列の要素あるいは項と呼ばれ、例えば「Ａ，Ｂ，Ｃ」には３つの項がある。項の個数をその列の項数あるいは長さという。項数が有限である列を有限列（ゆうげんれつ、finite sequence）と、そうでないものを無限列（むげんれつ、infinite sequence）と呼ぶ。（例えば正の偶数全体の成す列 (2, 4, 6, ...) ）。
URLﾘﾝｸ(ja.wikipedia.org)
順序数とは、整列集合同士の"長さ"を比較するために、自然数[1]を拡張させた概念である
0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω))), ............, ω + ω, S(ω + ω), S(S(ω + ω)), S(S(S(ω + ω))), ..............................
まず、0 が最小の順序数である。その後に S(0) = 1, S(S(0)) = 2, S(S(S(0))) = 3, ... と有限順序数（自然数）が通常の順序で並んでいる。そして、すべての自然数が並び終えると、次に来るのが最小の超限順序数 ω である。無限に続いていく。だがそれで終わりではない
(引用終り)
以上
413:１３２人目の素数さん
21/06/19 11:47:54.59 AWat3zSx.net
>>380
>危険だからAIつきのロボットにやらせるというのは
>もはや常識になっていると思っていました
危険な実験は下手すると大事故につながる
爆発して建物が吹っ飛ぶこともあり得る
逆に、AIが何らかの化学反応を起こすようなこともあり得る
そういう危険な実験はAIでは出来ない
414:１３２人目の素数さん
21/06/19 12:03:26.58 dMVF6Ao+.net
>>389
＞数学界で常識なら、ググれば定義の一つでも出てくるはずだけど
常識的なことはわざわざ書きませんよ
集合における∈の意味みたいなもんです
あとは数学ド素人のあなたの愚痴なので聞き流します
415:１３２人目の素数さん
21/06/19 12:05:25.29 dMVF6Ao+.net
>>390
＞まず、「列」の定義が違うんじゃ無いの？
まず、自分が正しい、という自惚れた思い込みを、真っ先に捨てましょうね ド素人さん
416:１３２人目の素数さん
21/06/19 12:07:50.38 dMVF6Ao+.net
>>390
＞「０からはじめて、より大きい順序数をその都度選ぶ」だったら、
＞”順序数”そのものじゃんか
いいえｗ
たとえば、０の次にωを選んでもＯＫです
べつに必ず後者となる順序数を選ばなくてはならない
なんていってませんよ
いってないことが幻聴で聞こえるのは素人の病です
まっさきに直しましょうね
417:１３２人目の素数さん
21/06/19 12:14:05.83 dMVF6Ao+.net
>>390
＞数学の定義になってないわな
なってますよ ド素人君が理解できないだけです
０＜１＜２＜３＜・・・でも
０＜１＜３＜７＜・・・でも
なんでもいいですが、
いつまでたってもωに至らない無限列はいくらでも存在します
一方で
ω＞ｘ＞ｙ＞・・・
と下がっていく場合、最初にどんなｘを選んでも
それは自然数ですから、そこから下がる列は有限です
要するにωから下がる列は、ｘの選び方で、
いくらでも長くできますが、どう頑張っても
所詮は有限長です
たったこれだけのことが理解できない
ID:H9G4VwdLさんと
ID:IxFCR29aさんは
そもそも数学に全く向いていないので
今すぐ数学を諦めて数学板に書くのはもちろん読むのもやめて
ν速板あたりで「世界に冠たるニッポン！」とか国粋ポルノカキコ
して人生の時間を無駄に過ごせばいいんじゃないでしょうか
418:１３２人目の素数さん
21/06/19 12:17:38.37 dMVF6Ao+.net
オリンピックを見たがる人って
靖国神社に参拝したがる人と同じで
自分と国家（ニッポン）を同化させて
陶酔したい国家依存症患者なのかな
と思います
国家って結局アンフェタミンですよね
ウヨクって結局政治思想じゃなく
ある種の依存症なんだと思います
そう思うと憐れみしかないですね
419:１３２人目の素数さん
21/06/19 12:21:30.06 dMVF6Ao+.net
行動嗜癖
URLﾘﾝｸ(ja.wikipedia.org)
行動嗜癖（こうどうしへき、Behavioral addiction）、
プロセス嗜癖（process addiction）、過程嗜癖（かていしへき））とは、
嗜癖の一形態であり、当人の身体的、精神的、社会的、金銭的な幸福に対して
ネガティブな結果を招くにも関わらず、報酬刺激をもたらす非薬物関連行動へ
強迫的に従事している状態。
420:１３２人目の素数さん
21/06/19 12:23:28.54 dMVF6Ao+.net
「嗜癖性ありとして特定されている過剰行動には、
ギャンブル、摂食、性交、ポルノ、
パソコン、ビデオゲーム、インターネット、
エクササイズ、買い物がある。」
靖国参拝とか外国人排撃も入れたほうがいいね
どうみても嗜癖だから
421:１３２人目の素数さん
21/06/19 12:24:15.67 IxFCR29a.net
>>342
>正則性の公理からすべての集合は無限降下列を持たない
>したがって上の列を使ってどんな集合を作ろうが無限降下列を持たない
どうも
猿回しの、スレ主です（＾＾
おサルとの会話中に（バトル中？）
横から悪いが
これ賛成！！
時間の節約のために、解説するよ（当たっているかどうかは不明だが）
1．正則性の公理のいう無限降下列とは？
思うにその本質は、「∈ を順序 < と したときの x の最小値 min x」の存在ってこと(下記Kogaより)
それはまた、選択公理と合わせて、無限降下列 A1 ∋ A2 ∋ A3 ... の非存在でもある
2．最小値 min xの存在は、下記の整礎関係 Well-founded relation ”every non-empty subset S ⊆ X has a minimal element with respect to R”でもある
”Equivalently, assuming the axiom of dependent choice, a relation is well-founded if it contains no countable infinite descending chains: that is, there is no infinite sequence x0, x1, x2, ... of elements of X such that xn+1 R xn for every natural number n.”
つまり、”axiom of dependent choice”と合わせて、”no infinite sequence x0, x1, x2, ... of elements of X”
3．で、整礎関係 正則性の公理とも、無限降下列 A1 ∋ A2 ∋ A3 ... の非存在は
最小値 min xの存在と対立するもの。つまり、最小値 min xの存在する列は、たとえ無限列であっても、整礎関係 正則性の公理の下での無限降下列ではない
この最小値 min xの存在する無限列を、”無限上昇列”と呼べば、全てが現代の高等数学と整合します！
4．なお、
422:有限列では、全順序では最小値は常に存在するので、整礎関係 正則性の公理の下での、”降下” or ”上昇”の区別は無意味です 以上 追記 おサルは、アホやな（＾＾ つづく
423:１３２人目の素数さん
21/06/19 12:24:37.69 IxFCR29a.net
>>399
つづき
（>>347より）
URLﾘﾝｸ(www.cs-study.com)
集合論：正則性 (Regularity)
27th June 2019 (Updated) Akihiko Koga
(このページの内容は 英語版の Wikipedia の Axiom of Regularity の項目 を参考にした．と言うか殆ど絵を入れただけのような気もする)
(抜粋)
1.正則性 => A ∋ A1 ∋ A2 ∋ A3 ... という無限列は存在しない
(上記無限降下列は、正則性に矛盾する。証明略す。原文見てください)
3．A1 ∋ A2 ∋ A3 ... という無限列は存在しない & 選択公理 => 正則性（従属選択公理で可）
(証明略。原文見てください)
後日談
正則性公理の意図としては，∈ の無限降下列が存在しないことの要請なのだが， フォン・ノイマン順序数だけの集合 x に対しては，この元の集合 x と交わりを 持たない要素 y∈x の存在は大変ありがたい．
これは ∈ を順序 < と したときの x の最小値 min x になる
(>>188より)
URLﾘﾝｸ(ja.wikipedia.org)
整礎関係
URLﾘﾝｸ(en.wikipedia.org)
Well-founded relation
In mathematics, a binary relation R is called well-founded (or wellfounded) on a class X if every non-empty subset S ⊆ X has a minimal element with respect to R, that is, an element m not related by sRm (for instance, "s is not smaller than m") for any s ∈ S.
Equivalently, assuming the axiom of dependent choice, a relation is well-founded if it contains no countable infinite descending chains: that is, there is no infinite sequence x0, x1, x2, ... of elements of X such that xn+1 R xn for every natural number n.
(引用終り)
以上
424:１３２人目の素数さん
21/06/19 12:25:32.47 jEvz9hTC.net
>>395
ω+1={1,2,3,...,ω}が最大値を持つ超限順序数であることと、無限降下列を持たないことごっちゃになってるな
中途半端に基礎論勉強したって感じなのかな
425:１３２人目の素数さん
21/06/19 12:28:03.72 dMVF6Ao+.net
J民党って、結局この手の嗜癖耽溺者に支持されてるんだよね
国粋的活動なんて結局他国との緊張状態を産むだけで
ネガティブな結果しかもたらさないし、結局格差問題に
目をつぶる時点で、貧困層を拡大する点でもネガティブなんで
二重に有害だけど、耽溺してる人は止められないんだね
426:１３２人目の素数さん
21/06/19 12:33:15.14 dMVF6Ao+.net
>>401
＞ω+1={1,2,3,...,ω}が最大値を持つ超限順序数であることと・・・
その話は一切してない
あなたがごっちゃにしてるだけ
あなたが数学基礎論を齧ったけど理解しそこねただけ
427:１３２人目の素数さん
21/06/19 12:39:05.61 jEvz9hTC.net
>>403
いや君が勘違いしてるようにしか見えないけど、
>>383の「0からはじめてより大きな順序数をその都度選ぶというプロセスを続けること」てあるけど、これ意味なしてないよね