X



トップページ数学
548コメント579KB

現代数学の系譜 カントル 超限集合論他 3

■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん
垢版 |
2020/07/18(土) 10:01:53.32ID:ywyns0bH
このスレでは、超限集合論その他関連する事項を、全て扱います
脱線ありですw

1)テンプレ1
過去スレ
現代数学の系譜 カントル 超限集合論2
https://rio2016.5ch.net/test/read.cgi/math/1576852086/
現代数学の系譜 カントル 超限集合論
https://rio2016.5ch.net/test/read.cgi/math/1570237031/

関連スレ
1)現代数学はインチキのデパート
https://rio2016.5ch.net/test/read.cgi/math/1570145810/28-
直接には、ここの28からの続き

2) 1)の前スレ
現代数学はインチキだらけ
https://rio2016.5ch.net/test/read.cgi/math/1567930973/1-

3) 2)の中の正則性公理に関する議論の前のスレ(^^
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77
https://rio2016.5ch.net/test/read.cgi/math/1568026331/1-

2)テンプレ2
まあ、カッカとせずに、のんびりやりましょう(^^
あと、関連事項は、>>1のスレから適宜写してくることにしましょう(^^

なお、私は
『おっさんずラブ』ならぬ、おっさんずゼミ・・ つまり;
おっさんずゼミ=「どこのだれとも知れぬ”名無しさん”のおっさんたちとの、ゼミ」、それやる気ないです
おれは、そんな趣味ないよw(^^;
好きなときに好きなことを書かせてもらいます
5CH数学板は、遊びです

https://ja.wikipedia.org/wiki/%E3%81%8A%E3%81%A3%E3%81%95%E3%82%93%E3%81%9A%E3%83%A9%E3%83%96
おっさんずラブ
(抜粋)
『おっさんずラブ』は、2016年からテレビ朝日系列において放送されているテレビドラマシリーズである。同年12月31日(30日深夜)に『年の瀬 変愛ドラマ第3夜』として単発放送された[1][注釈 1]後、「土曜ナイトドラマ」枠で2018年に第1シリーズ[2]、2019年に第2シリーズが放送予定である。
(引用終り)
0198132人目の素数さん
垢版 |
2020/09/22(火) 13:56:18.33ID:bhCM9tOh
結局瀬田くんは何一つ示せなかったね
自分がどうしようもないアホだということ以外は
0199132人目の素数さん
垢版 |
2020/09/22(火) 14:11:36.89ID:jk08YZjf
セタ君のおかしなこと

1.箱の中が確率変数だとしたとき、いかなる自然数nについても
  列の決定番号がnとなる確率は求められない
  なぜなら列から決定番号への関数が非可測だからである
2.ところが、セタの主張では、非可測性が消えてしまっている
  いかなる場合も、一律箱の確率分布で決まるとする これおかしくね?

何が狂ってるか それは>>190にある通り

箱をいったん選んだら、二度と選びなおせない

そういう「狂った」読み方をしてるから、非可測性が全然出てこない
0200132人目の素数さん
垢版 |
2020/09/22(火) 14:16:22.51ID:jk08YZjf
>>190 再掲

時枝、Pruss、セタ 三者の違い

1.箱の中身に関して
 時枝
  箱の中身は定数
  出題者が箱の中身を入れられるのは最初の一回だけ
 Pruss
 セタ
  箱の中身は確率変数
  出題者は毎回、箱の中身を入れ替えられる

2.箱の選択に関して
 時枝
 Pruss
  選択される列の番号は確率変数
  回答者は毎回、列を選びなおせる(つまり箱も選び替えられる)
 セタ
  選択される箱の番号は定数
  回答者は最初に列を選び、記事の戦略で箱を選んだら
  再び選び替えることはできない(つまり同じ箱で予測する)

3.予測的中確率について
 時枝
  少なくとも99/100 運が良ければ1
 Pruss
  計算不能(非可測性&non conglomerabilityにより)
 セタ
  0(箱の中身の確率分布のみで計算可能)

 セタの主張は、「2.箱の選択に関して」で
 セタの独善的なルールを適用することによってのみ成立する
 
 セタがこのことを明確に述べないのは
 自分でも「箱を選びなおせない」というルールが
 独善的だと気付いているからだろう
0201132人目の素数さん
垢版 |
2020/09/24(木) 03:18:09.72ID:YmbVQKzN
瀬田にできるのはあるある詐欺だけ。
>証明は100年前に終わっているが、
と証明あるある詐欺w
実際に書けと言っても一切書けないw
0202132人目の素数さん
垢版 |
2020/09/24(木) 06:23:08.56ID:H6sqOdXp
◆yH25M02vWFhP の戦果w

正規部分群の定義の誤読で悶死
「箱入り無数目」の誤読で悶死
集合の∈と⊂の誤解で悶死
そして行列式の誤解で悶死

もう四回目だぞ、何回死んだら気が済むんだ?

この🐎🦌タレが!
0203現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/10/01(木) 15:15:00.19ID:7fZLD5Mp
再録
(引用開始)
1.不成立の証明は、反例を一つ提示すれば、終わる
 時枝に対し、IID(独立同分布)(>>8-9)が、反例になる
 それで、証明は終わっている
 ・独立だから、他の箱を開けてもだめ
 ・同分布だから、サイコロを使えば、確率1/6にしかならない。99/100にはならない
(引用終り)

>>169より)
時枝(>>7)が成立しないことは、大学教程の確率論・確率過程論を、学んだ人にはすぐ分かる
呪文は、IID(独立同分布)(>>8-9)!

1.独立だから、問題の箱以外を開けても、問題の箱とは無関係
2.同分布だから、どの箱も、別の確率になることはない

さらに、おかしなこと
1.箱の数として、ある確率現象を考える。コイントスの0,1なら確率1/2
 サイコロで1〜6の数なら確率1/6
 閉区間[0,1]の一様分布の実数1点的中は、確率0(∵零集合だから)
2.ところが、時枝さんの方法では、確率現象の依存性が消えてしまっている
 どんな確率現象でも、一律99%。これはおかしい

なぜ、こんなおかしな事が?
それは、思わず知らず 非正則な分布の上で、確率計算をしてしまっているから(>>160)です(^^
(積分範囲が、∞になる場合は、裾が1/xつまり、指数でいえば-1乗よりも早く減衰しないと、積分値は発散します。下記 裾の重い分布などご参照)

なお、(>>183より再録)時枝の記事の後半で、おかしなことが書いてある
 1)数列のシッポだから、ビタリ風の非可測集合と即断しているが、そもそも可算無限次元のR^∞には、計量が入らない(自乗総和が無限大に発散する)
  計量を入れるなら、ヒルベルト空間などに制限する必要があるが、そこの問題ではない
  時枝戦略の本質的問題点は、決定番号の分布が非正則分布になり、確率計算ができないことにある
 2)確率変数の独立の定義に、イチャモンつけている
  しかし、「確率変数の無限族は,任意の有限部分族が独立のとき,独立, と定義される」という表現は、コンパクト性定理でも使われている表現で、まっとうなものです
  (下記 渕野 などご参照)
  時枝氏の書いていることは、ちょっと変です

結局、時枝記事の戦略は成り立ちません!

つづく
0204現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/10/01(木) 15:15:53.25ID:7fZLD5Mp
>>203
つづき

(参考)
https://ja.wikipedia.org/wiki/%E7%8B%AC%E7%AB%8B%E5%90%8C%E5%88%86%E5%B8%83
独立同分布(どくりつどうぶんぷ、英: independent and identically distributed; IID, i.i.d., iid)や独立同一分布(どくりつどういつぶんぷ)とは、確率論と統計学において、確率変数の列やその他の系が、それぞれの確率変数が他の確率変数と同じ確率分布を持ち、かつ、それぞれ互いに独立している場合をいう[1]。

https://ai-trend.jp/basic-study/bayes/improper_prior/
AVILEN AI Trend 2020/04/14 ライター:masa
非正則事前分布とは?〜完全なる無情報事前分布〜
積分値が無限大に発散してしまいます。これは、全事象の確率は1であるというコルモゴロフの確率の公理に反しています。
よって、厳密には、非正則な分布は確率密度関数ではありません。

https://ja.wikipedia.org/wiki/%E8%A3%BE%E3%81%AE%E9%87%8D%E3%81%84%E5%88%86%E5%B8%83
裾の重い分布あるいはヘヴィーテイルとは、確率分布の裾がガウス分布のように指数関数的には減衰せず[1]、それよりも緩やかに減衰する分布の総称。 また類似の用語に、ファットテイル、裾の厚い分布、ロングテール、劣指数的(subexponential)などがある。

https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E6%80%A7%E5%AE%9A%E7%90%86
コンパクト性定理
コンパクト性定理とは、一階述語論理の文の集合がモデルを持つこと(充足可能であること)と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である
つまりある理論の充足可能性を示すにはその有限部分についてのみ調べれば良いという非常に有用性の高い定理であり、モデル理論における最も基本的かつ重要な成果のひとつである

https://fuchino.ddo.jp/kobe/jyohokiso-2012-compactness.pdf
有限から無限への移行原理としての命題論理 渕野昌 2012
P7
命題論理のコンパクト性定理
定理1  Tのすべての有限部分集合が充足可能なら T も充足可能である
コンパクト性定理は,無限の性質が本質的かかわっている定理である
命題論理のコンパクト性定理は,有限の世界で成立する命題のアナロジーが無限の世界でも成立することを証明するときの強力な道具の1つとなる
(引用終り) 以上
0205132人目の素数さん
垢版 |
2020/10/11(日) 12:02:39.82ID:85hcVO5n
>>203
>1.不成立の証明は、反例を一つ提示すれば、終わる
その通り

> 時枝に対し、IID(独立同分布)(>>8-9)が、反例になる
ならない
箱入り無数目の反例とは数当てできない実数列である
反例の意味さえ理解できないバカに数学は無理なので諦めては?
0206132人目の素数さん
垢版 |
2020/10/11(日) 12:04:03.14ID:85hcVO5n
The Riddleの成否から逃げ続ける瀬田の負け。
The Riddle不成立と答えたら選択公理と同値類を理解できていないことになるし、
The Riddle成立と答えたら小学校レベルの確率を理解できていないことになる。
だから瀬田は逃げ続けるしかない。
0207現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/10/11(日) 18:00:20.21ID:J8YoB+CX
もう、勝負はついた
議論はしない

「米国で進化論を信じる人が過半数超え」下記
進化論を信じない人が、いまここに居るとして

おれは、そういう人に、「進化論の正当性」を、科学的に説く気は無い
勝手に、「進化論の否定」を主張すれば良い

それは、あなたの勝手だよ
以上

(参考)
https://business.nikkei.com/atcl/seminar/19/00059/072400117/
日経ビジネス
米国で進化論を信じる人が過半数超え
堀田 佳男
2019年7月26日
(抜粋)
 多くの日本人にとって、「エッいまだに?」と驚いてしまうことが米国で続いている。米市民の10人中4人が、人間が神によって創造されたといまだに信じているのだ。

 いや、ようやく10人中6人が「進化論」を信じるようになったと言い換えた方がいいかもしれない。米ピュー・リサーチ・センターが2015年11月に明らかにした調査で、ほぼ6割が進化論派になった。2004年11月に米CBSテレビが行った世論調査では、回答者の55%が「創造論」を信じていると答えていたのだ。だが過去10年で急速に進化論を信じる人が増え、形勢が逆転したのだ。変化が起きていると述べて差しつかえないだろう。いったい過去10年で何が起きたのか。

 創造論は、神が(旧約聖書ではエロヒム)天地を創造。さらに、自分をかたどって男と女を創造したとする捉え方だ。旧約聖書で人間の祖として記されているアダムとイブは、いまでも創造論を信じる人たちが連綿と語り続けている人物である。

 一方、進化論は英自然科学者チャールズ・ダーウィンが1859年に発表した『種の起源』で記した自然選択説を基礎にした考え方だ。同書は生物の進化を実証的に説明している書物である。端的に述べるならば、人間は神が創造したものではなく、生物の進化の歴史の中で誕生したという解釈をしている。『種の起源』は創造論と対比する形で議論を展開してしおり、米国では進化論と創造論が社会をほぼ二分している。
0208132人目の素数さん
垢版 |
2020/10/11(日) 18:09:50.61ID:lgnBZIqQ
>>207
>もう、勝負はついた

ああ、>>200でな 貴様の完全な敗北だ

>議論はしない

>>200で書いたことが全て もはや議論することは何もない
0210132人目の素数さん
垢版 |
2020/10/11(日) 18:15:37.92ID:lgnBZIqQ
蛇足

>米市民の10人中4人が、人間が神によって創造されたといまだに信じているのだ。

日本人の10人中何人が、日本を作ったのは伊弉諾と伊弉冉だ、と信じてるか
大いに興味あるw

あのな、日本列島がいつできたかともかくとして、
世界中の人類の起源はアフリカで、
アフリカから外に出たのはたった数万年前だぞ
0211132人目の素数さん
垢版 |
2020/10/11(日) 18:17:51.44ID:lgnBZIqQ
>>209
君こそ緘黙したほうがいいな (正しい字で書いてやったw)

口を開けば初歩的な間違いばかりで大恥かくだけw

正規部分群然り、「正方行列の群」然り、「内積はテンソルじゃない」然り
0214現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/10/11(日) 21:43:12.06ID:J8YoB+CX
>>211
>君こそ緘黙したほうがいいな (正しい字で書いてやったw)

知っているが、”かんもく(完黙)”はシャレだよ(下記)
本当は、刑事弁護の用語だが、昔 (逮捕された)サヨク学生の常用の用語だった(^^
おサルも知っていると思ってね(^^;

(参考)
https://www.keiben-oasis.com/keibenterms/205
刑事弁護オアシス
今日のKEIBEN用語集一覧 かんもく(完黙)

用語かんもく(完黙)
解説
「完全黙秘」の省略語で「黙秘」(憲法38条1項、刑訴法198条2項、311条1項)を続けること。本来は供述調書に署名・指印をしないだけでなく、一言もしゃべらないことをいうが、現実には雑談に応じて失敗することも多い。また、被疑者の多くは供述調書に署名・指印しないことをもって「完黙」としているが、実際には雑談の中で「ここだけの話でっせ」と喋っている者もいる。弁護人は真の黙秘かどうかを接見の過程で見極めるのが肝心である。捜査員は黙秘者の雑談を「報告書」として書面にする。したがって、雑談にも注意することを弁護人は指導するべき。

https://dictionary.goo.ne.jp/word/%E7%B7%98%E9%BB%99/
goo辞書
かん‐もく【×緘黙】 の解説
[名](スル)
1 口を閉じて何も言わないこと。押し黙ること。
「新聞が一時に―して了っただけに」〈里見ク・多情仏心〉

2 「緘黙症」の略。→無言症
0215132人目の素数さん
垢版 |
2020/10/11(日) 22:14:18.30ID:85hcVO5n
>>207
×議論はしない
〇不成立の証明はできない
言葉は正しく使いましょう
0216132人目の素数さん
垢版 |
2020/10/11(日) 22:21:06.19ID:85hcVO5n
不成立の証明なんて出来る訳が無い
選択公理を仮定する限りどんな実数列の決定番号も必ずある自然数になるんだから
そんなことも解らない白痴に数学は無理
0217現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/10/11(日) 22:32:00.94ID:J8YoB+CX
進化論を理解しない人
創造論は、神が(旧約聖書ではエロヒム)天地を創造。さらに、自分をかたどって男と女を創造したとする捉え方だ。旧約聖書で人間の祖として記されているアダムとイブは、いまでも創造論を信じる人たちが連綿と語り続けている人物である。

と同様に
大学教程の確率論・確率過程論が理解できない人たちよ、哀れなり(^^;
0218132人目の素数さん
垢版 |
2020/10/11(日) 23:03:29.10ID:85hcVO5n
>>217
不成立不成立と喚きながら証明できない人よ、哀れなり(^^;
0219132人目の素数さん
垢版 |
2020/10/12(月) 02:37:02.05ID:SPWfhGvZ
>不成立不成立と喚きながら証明できない人よ、哀れなり(^^;
数学はディベートじゃない。証明できなければ絵に描いた餅に過ぎない。
0220132人目の素数さん
垢版 |
2020/10/12(月) 06:03:53.68ID:iRW0qWtH
>>217
>大学教程の確率論・確率過程論が理解できない人たちよ、哀れなり

「箱入り無数目」記事の箱の中身が確率変数でないことが
理解できない🐄🐖🐓よ、哀れなり
0221132人目の素数さん
垢版 |
2020/10/12(月) 06:06:28.96ID:iRW0qWtH
>>214
緘黙は、精神医学用語だよ

学校教育法上は、情緒障害の一つとされる。

狭義には、言語能力を獲得しているにもかかわらず、
何らかの心理的要因によって、
一時期にあらゆる場面、あるいは特定の場面においてのみ、
言葉を発しない状態を指す。
教育臨床分野においては、暗黙に狭義の意味で用いられることが多く、
場面緘黙、選択性緘黙、などの呼び方をする。
0222132人目の素数さん
垢版 |
2020/10/12(月) 06:12:49.16ID:iRW0qWtH
内積は共変テンソルたい
そげんこつばわからんとね?
(注:与田祐希の声で読んでねw)
https://www.youtube.com/watch?v=kmGfP2pGtjk
0223132人目の素数さん
垢版 |
2020/10/12(月) 07:05:09.19ID:U7iDnoAA
>>221
緘黙症はアインシュタインの5歳くらいまでにも観察されていた特徴でしたね

必ずしも情緒障害とされるべきものでもないケースがあるのでは?

例えば、言語野で
(特に数学にハマってる男児で国語の成績が良くない傾向も見られるようです。幼少期〜小学校低学年くらいまでが特にその傾向が強いようですが)
ブローカ野との連動が弱いケースでは、充分な論理的推論力を有するレベルの知能の発達が有り得る分子モデルの人々(特に胎児機のホルモンシャワー量が脳の男性化に達する量だったタイプ)の中には、より早い発達段階からの言語野と(聴覚野依存的な言語野の発達傾向が強いタイプに比較して)視覚野との連動性が早くから強く活性するタイプ(ハイパーレクシア傾向児童等)では同月齢でも、聴覚野とブローカ野との連動傾向が比較的強く残っている「発語によるコミュニケーション能力」を発達させていくタイプの児童に比較して、視覚情報の理解に集中しやすい特性があるのでは?

記号の理解や処理作業に脳が集中しやすいので、より速い発達段階からの理解が進められる可能性があるのでは?

特にストレスが掛かるとバソプレシンが分泌される男性型の脳ではそうした傾向が強まるのではないでしょうか?

板違いの素人目線で恐縮ですが、緘黙症を情緒障害だけでは仕分けできないケースが、特に算数が得意なハイパーレクシア傾向の男児に多いらしいことをお知らせしたいです
0224132人目の素数さん
垢版 |
2020/10/12(月) 07:10:45.06ID:U7iDnoAA
様々な遺伝的要因との組み合わせや機序に関わる条件にもよるのでしょうが、幸運なケースでは、緘黙傾向が見られる児童の中に“才能”というべき発達の萌芽を見ているケースもあるのではないでしょうか
0227132人目の素数さん
垢版 |
2020/10/12(月) 07:36:32.73ID:U7iDnoAA
>>225
完全に才能です

面白い事にディスレクシアのケースでも才能が見られています
レオナルド・ダ・ヴィンチ
太田三砂貴氏もディスレクシアだそうです
一般の方で恐縮ですが、北米で教育を受けられた一級建築士の方ですとか

組み合わせや機序の発現の有無、養育・教育環境などの条件で様々な方がいらっしゃるのが興味深いです
0229132人目の素数さん
垢版 |
2020/10/12(月) 11:34:23.70ID:iRW0qWtH
ID:U7iDnoAAは典型的な「情緒障害」だwww
0230現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/10/12(月) 23:27:06.27ID:uhfnmhnr
サイコロ賭博

・サイコロ一つ、箱一つ、箱の中のサイコロの目は? 確率変数Xで扱えて、的中確率1/6
・サイコロ二つ、箱二つ、箱の中のサイコロの目は? IIDとして、確率変数X1、X2で扱えて、各箱の的中確率1/6
・サイコロn個、n個、箱の中のサイコロの目は? IIDとして、確率変数X1,X2・・・,Xnで扱えて、各箱の的中確率1/6

まさか、箱の中でサイコロがくるくる回り続ける?
笑える

現代数学の確率論では、無限の確率変数が扱えるよ
つまり、箱が無限にあっても、同じだ
突然、無限になると箱の中のサイコロが転がる? 笑えるぜw(^^;

まあ、貴方達には理解できないだろうが
下記東大会田茂樹先生PDFでも、どぞww(^^

https://www.ms.u-tokyo.ac.jp/~aida/index-j.html
会田茂樹
東京大学大学院数理科学研究科
https://www.ms.u-tokyo.ac.jp/~aida/lecture/lecture.html
講義
https://www.ms.u-tokyo.ac.jp/~aida/lecture/30/probability-entropy2018.pdf
確率論とエントロピー 会田 茂樹 2018

P5
可算無限個の確率変数 {Xi}∞i=1 が独立とは, 任意の N に対して, {Xi}Ni=1 が独立であると定義する.
P6
定義 2.8. 確率変数 {Xi}∞i=1 が独立で各 Xi の分布がすべて同じ時, {Xi}∞i=1 は独立同分布に従う
確率変数という. 英語では, independent and identically distributed random variables (略して,i.i.d. random variables) という.
0231132人目の素数さん
垢版 |
2020/10/12(月) 23:49:42.99ID:SPWfhGvZ
>>230
だーかーらー
時枝解法を否定したいなら時枝解法の確率変数の取り方で勝てないことを示して下さいねー 馬鹿ですかー?
あなたは時枝解法より1京倍下手くそなやり方で勝てないことを示しているに過ぎないんですよー 馬鹿ですかー?
0232132人目の素数さん
垢版 |
2020/10/12(月) 23:55:04.95ID:SPWfhGvZ
>>230
時枝解法とは似ても似つかぬ解法では勝てない
だから時枝解法でも勝てないはずだ

あなたの論法はこれなんですよ、バカでしょう?
0233132人目の素数さん
垢版 |
2020/10/13(火) 00:06:49.66ID:9WXS8scD
>>230
箱の中のサイコロの的中確率1/6というのは当てずっぽうで当てた時の確率なんですよ
何等かのカンニング手段が存在したらもはや1/6なんてことは言えないんですよ、同様に確からしくないでしょ?
時枝解法?ええ、代表からカンニングしてますが?カンニングが失敗する確率は1/100以下ですが?

もうそろそろ理解しましょーねー 何年間間違い続けてるんですかー?
0234132人目の素数さん
垢版 |
2020/10/13(火) 06:09:43.16ID:pRlJwNS7
>>230
ま〜た、バカがワケワカラン戯言わめいてるね

箱の数をn個とする

箱に実数をいれる 

どれか一つ箱を選ぶ

何回やってもいいが、箱の中の数は入れ替えない(ここで分布は無意味となる)

その場合、箱の中の数は、他の数より大きい確率はたかだか1/n

「箱入り無数目」の確率計算は上記と同じ

こんな簡単なことも分からん ◆yH25M02vWFhP は本当にアタマが悪い
0236132人目の素数さん
垢版 |
2020/10/14(水) 00:50:22.77ID:xJ23NIg5
瀬田くんへ忠告
サイコロ=確率1/6と馬鹿の一つ覚えじゃなく、同様に確からしい(一様分布)という条件が崩れたら確率も変わる
という当たり前過ぎるほど当たり前のことにちゃんと気付こうね
0237132人目の素数さん
垢版 |
2020/11/02(月) 06:43:48.90ID:PUodusEe
https://rio2016.5ch.net/test/read.cgi/math/1592654877/711
711 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/01(日) 23:18:44.86ID:o4gNmK89

・無限公理の本質は、それを表現する式のテクニカルな話ではない。単に、後者関数を帰納的に繰返しただけでは、自然数の集合N(順序数ではω)の存在はすっきり言えないってことです
・無限公理の本質は、下記の極限順序数通り。ある後者関数を選ぶと、帰納的に自然数の元が構成できる。そして、無限公理で、極限順序数ω(それは自然数の集合Nでもある)の存在が導かれる
・その後、ωに後者関数を適用することで、”ω, S(ω), S(S(ω)), S(S(S(ω))), ......”(下記)と続くということです
・後者関数の選び方には、任意性があるが、「二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる」
・だから、シングルトンによる後者関数に目くじら立てるのは間違い。シングルトンによる後者関数であっても極限順序数は可能ですよ
 ∵シングルトンによる後者関数によって全ての自然数の元が尽くせるなら、それらの元を集めた無限集合たる自然数の集合Nが構成可能であって、それは極限順序数ωでもあるのです!
0238132人目の素数さん
垢版 |
2020/11/02(月) 06:45:05.90ID:PUodusEe
https://rio2016.5ch.net/test/read.cgi/math/1592654877/713
713 特別支援学校教諭 2020/11/02(月) 06:18:54.78ID:PUodusEe
>>711
噛んで含める説明

>無限公理の本質は

以下の式の通りですよ

「ある集合Aが存在し、Aは空集合を要素とし
 Aの任意の要素xについて、その後者S(x)も要素とする」

∃A({}∈A∧∀x∈A(S(x)∈A))

>それを表現する式のテクニカルな話ではない。

テクニカルな話=後者関数の形体 ということならその通りですね

つまり、後者関数によって生成される集合がシングルトンか否かとは無関係に、
無限公理によって、無限集合(シングルトンに非ず)の存在が前提される
ということです
0239132人目の素数さん
垢版 |
2020/11/02(月) 06:46:40.52ID:PUodusEe
https://rio2016.5ch.net/test/read.cgi/math/1592654877/715
715 特別支援学校教諭 2020/11/02(月) 06:30:07.90ID:PUodusEe
>>711
>シングルトンによる後者関数であっても極限順序数は可能ですよ

より正確にいえば
「後者関数による後者がシングルトンであっても、極限順序数は生成可能」

で、核心

◆yH25M02vWFhP氏、がいってるのは
「後者関数による後者がシングルトンならば、極限もシングルトン」
ですよね?

それ、間違ってます(・Д・)9 ビシッ!

後者関数がいかなるものであっても、
無限公理で定められるωは無限集合(正確には可算無限集合)
0240132人目の素数さん
垢版 |
2020/11/02(月) 06:47:49.95ID:PUodusEe
https://rio2016.5ch.net/test/read.cgi/math/1592654877/716
716 特別支援学校教諭 2020/11/02(月) 06:37:29.51ID:PUodusEe
>>711
大事なことなので繰り返しますね

>シングルトンによる後者関数によって全ての自然数の元が尽くせるなら、
>それらの元を集めた無限集合たる自然数の集合Nが構成可能であって、
>それは極限順序数ωでもあるのです!

ええ、その通りですよ。で、

N(=ω)は全ての自然数{}、{{}}、{{{}}}、…を集めた無限集合なんでしょう?

だから、N(=ω)はシングルトンではないですね

具体的に書けば{{},{{}},{{{}}},…}です

決して{…{{{}}}…}ではありません
0241132人目の素数さん
垢版 |
2020/11/02(月) 08:01:03.56ID:PUodusEe
https://rio2016.5ch.net/test/read.cgi/math/1592654877/718
718 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/02(月) 07:06:47.73ID:YSe1lExr>>719

1.自然数のノイマン構成(706)で、”無限公理”を適用して、可算無限集合 つまりは自然数の集合N(順序数ω)が構成できたとする
2.0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω))), ............, ω + ω, S(ω + ω), S(S(ω + ω)), S(S(S(ω + ω))), .............................. となる
3.ここに、後者関数 S(α) := SN(α) ノイマン構成の後者関数である
4.さて、後者関数を S(α) := SZ(α) シングルトンによる後者関数(Zermelo)に置き換えても、上記2と同じことが言える
5.これを担保するのが、「レーヴェンハイム=スコーレムの定理:一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ」(706)ってことです
0242132人目の素数さん
垢版 |
2020/11/02(月) 08:02:24.08ID:PUodusEe
https://rio2016.5ch.net/test/read.cgi/math/1592654877/719
719 特別支援学校教諭 2020/11/02(月) 07:59:12.94ID:PUodusEe
711
>「二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる」
718
>「レーヴェンハイム=スコーレムの定理:一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ」

どっちも、後者関数をどう設定するかとは無関係ですけどね

つまり後者関数を決めたところで、どっちもいえます
「後者関数の任意性」とは無関係です

で、シングルトンによる後者関数(Zermelo)を選んでも
ωはシングルトンにはなりません
0243132人目の素数さん
垢版 |
2020/11/03(火) 03:24:47.92ID:EzLUFeKC
>決して{…{{{}}}…}ではありません
{}:=x1, {{}}:=x2, … とおく。
そもそもx∞は集合たりえない。
なぜなら、正則性公理の要件「自分自身と交わらない要素を持つ。」を満たさないから。
なぜなら、x∞={x∞}であって、x∞∩x∞=x∞≠{} だから。
0244132人目の素数さん
垢版 |
2020/11/07(土) 18:15:29.42ID:zpeR/n4w
http://rio2016.5ch.net/test/read.cgi/math/1592654877/779
>Zermeloのシングルトン構成によるωは、
>”・・・{{・・{ 0 }・・}}・・・”
>ってことで、

・・・{{・・{ 0 }・・}}・・・
それ、集合ですか?

集合なら、一番外側の{}がある筈ですよね?

一番外側の{}を取り除いた中身が、要素の列ですから

Q1. ・・・{{・・{ 0 }・・}}・・・
   の一番外側の{}の位置を具体的に示してください
Q2. ・・・{{・・{ 0 }・・}}・・・
   の一番外側の{}を外した中身を具体的に示してください

Q1に答えられない場合
「・・・{{・・{ 0 }・・}}・・・は集合でない」
Q2に答えられない場合
「・・・{{・・{ 0 }・・}}・・・の要素が分からない」

>現代数学の抽象的な数学概念って、みんなこんなもの

{}による具体的な図形として存在しても、
集合の公理を満たさないと、集合ではないですね

それが公理論ですから
0245132人目の素数さん
垢版 |
2020/11/07(土) 18:18:07.34ID:zpeR/n4w
http://rio2016.5ch.net/test/read.cgi/math/1592654877/786
>ここで、ノイマン構成では
>集合として(自然数nを集合と見て)、無限の上昇列ができる
>0∈1∈2∈3・・・・∈n-1∈n・・・N
>(最後は、∈の連鎖としての極限で、自然数の集合Nが存在するってこと)
>この∈の上昇列は、有限長ではないことは自明だよ

上昇列をきっちり書けば誰でもわかる明らかなことですが

0∈1∈2∈3・・・・∈n-1∈n∈N

この列・・・有限です

もちろん、いくらでも長い上昇列はつくれますが・・・どれも有限です

要するに、これがポイント

n∈N

集合Nが任意の自然数nを要素として持つので、こういうことが可能です

これがもし、唯一の要素しか持たないなら、できない芸当ですね

>これを逆に辿れば、無限の降下列になるが、
>正則性公理に反するものではないことは自明

有限列を逆にたどっても有限列なので
正則性公理に反しないことはそれこそ自明

>(そもそも、無限の上昇列を禁止したらおかしいぜw)

無限の上昇列は、最後が存在しません

したがって、ひっくりかえしたら、最初が存在しません

それが、>>244の件でいうと、一番外側の{}が存在しないことにあたります
0248132人目の素数さん
垢版 |
2021/08/21(土) 17:54:27.37ID:RkttXagr
>>247
>そもそもBが存在するという証明がないんですが

分出公理は知ってますか?
知ってればBが存在することは直接わかりますが
(分出公理はツェルメロの集合論では公理だったが
 ZFでは置換公理から証明できる定理である)

>なんでべき集合に入っていると言えるんですか?

ベキ集合の定義、知ってますか?
Aのベキ集合は、Aの部分集合全体の集合です
Bは定義からAの部分集合になることは明らかですから
Aのベキ集合の要素ですね
0249132人目の素数さん
垢版 |
2021/08/21(土) 17:57:39.03ID:RkttXagr
>>248の続き
よく「証明がない!」とわめく素人がいますが
大体、定義とか公理がわかってないですね
定義や公理がわかっていれば、直接導けるのに「証明がない!」とわめいてますから
こういうのは明らかに怠惰による不勉強ですね
恥ずかしくないんですかね?
0250132人目の素数さん
垢版 |
2021/08/22(日) 06:44:02.49ID:sTIzdDwF
これは「”Bがもし存在するなら”Aのべき集合に含まれる」というだけじゃないんですか?
>すなわち f のもとでの A の像の元でない A の少なくとも 1 つの部分集合の存在を示せば十分である。そのような部分集合は次の構成によって与えられる

分出公理は恐らく空集合の場合でも集合自体は存在するという考えですか?
分出公理によって存在が保証された集合は、空集合でない事も保証されますか?

しかしBが空集合の場合、Bの全要素は写像f(x)に含まれると言えませんか?
言える場合、これはBの定義と矛盾します。

言えない場合、「空集合の要素が何かの集合に属している」と言明できないという事ですが、
Bの定義に「Bの全要素がAに含まれる」という部分があるので、この定義は成立しません。

即ちBの定義は「空集合の要素が何かの集合に属している」と言えるのか言えないのか、
ダブルスタンダードになっています。
0251247
垢版 |
2021/08/22(日) 07:04:20.48ID:sTIzdDwF
ID変わってました。私は247です
0252132人目の素数さん
垢版 |
2021/08/22(日) 07:12:44.13ID:lyzOU1Jb
やはりね。君は集合が存在するかじゃなく空でないかを問いたかったんだね。そうじゃないかと思った。
で、空集合は空集合の公理で存在が保証されている。且つ、空集合はAの部分集合すなわちAの冪集合の元。
だからBが空の場合も
>B は A の冪集合に入っているから
は成立。
0253132人目の素数さん
垢版 |
2021/08/22(日) 07:15:55.26ID:lyzOU1Jb
>分出公理は恐らく空集合の場合でも集合自体は存在するという考えですか?
白痴と思われたくなければ自分で調べられることは人に聞かないこと
0254132人目の素数さん
垢版 |
2021/08/22(日) 07:32:57.61ID:QZFJZsWw
>>250
Q1: 分出公理は恐らく空集合の場合でも集合自体は存在するという考えですか?
A1: ええ、空集合は集合です 空集合の公理、御存知ですか?

Q2: 分出公理によって存在が保証された集合は、空集合でない事も保証されますか?
A2: 分出公理だけではそれは保証できませんし、保証する必要もありません 空集合も集合ですから

Q3: しかしBが空集合の場合、Bの全要素は写像f(x)に含まれると言えませんか?
A3: 「f(x)に含まれる」とは「f(x)の要素である」という意味で用いていると思われるので、その上で答えるなら、もちろん言えます

ただ、あなたはBの定義を誤解されていると思われます

あなたが理解したBの定義を、あなたのことばで書き切ってくだされば
即座に誤りを指摘してみせますが、如何ですか?
0255132人目の素数さん
垢版 |
2021/08/22(日) 07:42:53.75ID:QZFJZsWw
もしBが空集合だったとします

その場合、BはAの部分集合であるにも関わらず
Aのどの要素xの像f(x)でもないことになります

Bの定義から、Aのどの要素xについてもf(x)はみなxを要素とするので
空集合ではないからです
0256247
垢版 |
2021/08/22(日) 07:43:28.08ID:sTIzdDwF
Bの全要素はAに含まれ(=BはAの部分集合)、f(x)に含まれません。

「Aの全要素がAのべき集合に含まれる」事と
「Bの全要素がf(x)に含まれない」事から、
もしBが空集合でないならfが全射ではない(=Aのべき集合を網羅しない)事を意味します。

Aは任意の集合
fはAのべき集合を全射しようとする(全射できているか不明な)関数
f(x)はAのべき集合の部分集合(真部分集合なら全射)
0257132人目の素数さん
垢版 |
2021/08/22(日) 07:46:56.65ID:sTIzdDwF
ああこの部分は間違い
× 真部分集合なら全射
〇 Aのべき集合=f(x)なら全射
0258132人目の素数さん
垢版 |
2021/08/22(日) 07:52:01.10ID:QZFJZsWw
もしBが空集合ではなかったとします

その場合x∉f(x)でないAの要素xが存在します つまりBはx∈Bのf(x)ではありません
そして、Bは上記のx以外のAのいかなる要素yについての像f(y)ではありません
なぜならその場合y∈f(y)(=B)の要素となってしまいますが、
その場合、Bの定義からy∉Bだからです
0259132人目の素数さん
垢版 |
2021/08/22(日) 08:01:49.77ID:QZFJZsWw
>>256
>Bの全要素は、f(x)に含まれません。

それがあなたの理解した定義なら誤ってます
正しい定義は
「Bは、x∉f(x)となるAの要素x全てからなる集合です」

Bが空集合であれば、Bのいかなる要素もf(x)の要素です
ただしx∈f(x)となるような要素は存在しません
0260132人目の素数さん
垢版 |
2021/08/22(日) 08:05:50.28ID:sTIzdDwF
これはBが空集合ではないことを示す必要があるのでは?
>すなわち f のもとでの A の像の元でない A の少なくとも 1 つの部分集合の存在を示せば十分

f のもとでの A の像=f(x)
A の少なくとも 1 つの部分集合=B

Aのべき集合はAの全要素を含まなければならないので
Bが空集合でないなら主張は証明される。
0261132人目の素数さん
垢版 |
2021/08/22(日) 08:15:44.66ID:QZFJZsWw
>>260
Bが空集合でも、空集合自体がfの像でないと示せるから、主張は証明されるけど?
0262132人目の素数さん
垢版 |
2021/08/22(日) 08:30:22.04ID:sTIzdDwF
これは矛盾しないんですか?だとしたら、分からない
>Bのいかなる要素もf(x)の要素です
>ただしx∈f(x)となるような要素は存在しません
0263132人目の素数さん
垢版 |
2021/08/22(日) 08:34:21.03ID:sTIzdDwF
>>261
確かに。
0264132人目の素数さん
垢版 |
2021/08/22(日) 09:51:31.89ID:QZFJZsWw
>>262
 ∀x(x∈A⇒x∈B)
⇔∀x(x∉A∨x∈B)
⇔∀x¬(x∈A∧x∉B)

つまり、∀x(x∉A)、すなわちAが空集合なら
∀x(x∈A⇒x∈B)は自動的に成り立つ

一方
∀x(x∈A⇒x∈B)から
∃x(x∈A∧x∈B)はいえない

∃x(x∈A)、すなわちAが空集合でない
という条件が必要だから
0265Mara Papiyas ◆y7fKJ8VsjM
垢版 |
2021/10/09(土) 07:23:01.67ID:qQhss2MU
雑談 ◆yH25M02vWFhP 「トンチン・カーン」となるw

952 Mara Papiyas ◆y7fKJ8VsjM 2021/10/03(日) 11:42:34.60 ID:z3zwlfJp
https://rio2016.5ch.net/test/read.cgi/math/1628778394/952
>「ツェルメロのω=・・・{{{}}}・・・は、
> シングルトンどころか集合でもない、新しい存在!」
>と認めたとして、シングルトンとの比較はどうすんの?

>・・・{{{}}}・・・>{}
>・・・{{{}}}・・・>{{}}
>・・・{{{}}}・・・>{{{}}}
>をどうやって示すつもり?w

958 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/10/03(日) 15:09:02.99 ID:gtH9cx8i
https://rio2016.5ch.net/test/read.cgi/math/1628778394/958
>添え字(いまの場合 n∈Nと ω)があれば十分でしょ?

960 Mara Papiyas ◆y7fKJ8VsjM 2021/10/03(日) 15:36:41.85 ID:z3zwlfJp
https://rio2016.5ch.net/test/read.cgi/math/1628778394/960
>全然ダメでしょw

>a∈・・・∈bという列の存在からa<bを導く場合
>x∈・・・{{{}}}・・・となるxが存在しないから
>y<・・・{{{}}}・・・となることなんか証明しようがないじゃん

968 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/10/03(日) 17:54:59.16 ID:gtH9cx8i
https://rio2016.5ch.net/test/read.cgi/math/1628778394/968
>おサルさん 何言っているの?

>コトバのサラダそのものじゃんw
>統合失調症のお薬飲みましょうねww

973 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/10/03(日) 18:22:44.88 ID:gtH9cx8i
https://rio2016.5ch.net/test/read.cgi/math/1628778394/973
>有向点族を参考に投下しておく
>おれも、ここらは全く詳しくないけど
>おサルは非道すぎるよね
0266Mara Papiyas ◆y7fKJ8VsjM
垢版 |
2021/10/09(土) 07:35:50.52ID:qQhss2MU
雑談 ◆yH25M02vWFhP こと「トンチン・カーン」は

添え字(いまの場合 n∈Nと ω)の順序関係で
大小が分かる!と「馬鹿思考」に陥ってるが
もちろん、んなこたぁない

例えば
1={{}}と、3={{{{}}}}が、1<3となるのは
{{}}∈{{{}}}∈{{{{}}}}
となるからであって、添え字とは全く関係ないw

そして任意の自然数n={・・・{}・・・}と、ω=・・・{}・・・が
n<ωとなる、と証明するには
{・・・{}・・・}∈・・・∈・・・{}・・・
となる列が存在すると示すしかないが、そもそも
・・・{}・・・ が集合でなく
x∈・・・{}・・・となるxが存在しないのであれば
{・・・{}・・・}∈・・・∈・・・{}・・・
となる列も存在せず、n<ωなんて示しようがない

添字以前の問題であって、
「有向集合ガー、有向点族ガー」とかいうのは
白痴の戯言である(一刀両断!)

有向集合
https://ja.wikipedia.org/wiki/%E6%9C%89%E5%90%91%E9%9B%86%E5%90%88

「数学における
 有向集合(ゆうこうしゅうごう、directed set)、
 有向前順序集合 (directed preordered set) あるいは
 フィルター付き集合 (filtered set) とは、
 空でない集合 A と反射的かつ推移的な二項関係(つまり前順序)≤ との組 (A, ≤) であって、
 さらに任意の二元が上界を持つ、
 すなわち A の任意の元 a, b に対して、
 A の元 c で a ≤ c かつ b ≤ c を満たすものが必ず存在するものをいう。」
0267132人目の素数さん
垢版 |
2021/10/09(土) 07:38:09.49ID:G87Fbttq
質問なんですが、ZF公理系というのは大学の授業で習いますか?

某数学科卒の知り合いが、「そんなもん聞いたことねー」と言っていたのですが。
0268Mara Papiyas ◆y7fKJ8VsjM
垢版 |
2021/10/09(土) 07:50:38.19ID:qQhss2MU
>>267
大学によりますが、集合論の講義がない場合もあります
さらにいうと、別に知らなくても数学者にはなれます

ある数学者(代数幾何専攻)の著書の集合論に関する記述が
惨憺たるものであることを指摘する文章
http://fuchino.ddo.jp/misc/superlesson.pdf
0269132人目の素数さん
垢版 |
2021/10/09(土) 08:08:12.83ID:G87Fbttq
>>268
お返事ありがとうございます。
講義がない場合もあるんですね。
その方と選択公理の話をしていたのですが、「選択公理を証明できるかも」
と言うので、「いやいや公理を証明するっておかしいでしょ。
証明するとしたら、ある公理系から証明することになるが
ZFとは独立であることが証明されている」と言ったら
ブチ切れられて弱ったのでした。
0270132人目の素数さん
垢版 |
2021/10/09(土) 08:23:42.39ID:G87Fbttq
愚痴になりますが、怒ることはないと思うんですよね。
何で怒るのか、まったく分からない。
その方が○○について教えてくれ〜みたいに
わたしの得意分野のことで訊いてくることがあるのですが
それはその方にとってはプライドを傷つけられない無知であり
ある意味下に見ているが、許せない無知もあるのかなと思ったり。
私事で失礼しました。m(__)m
0271Mara Papiyas ◆y7fKJ8VsjM
垢版 |
2021/10/09(土) 09:06:11.50ID:qQhss2MU
>>269
>講義がない場合もあるんですね。

ありますね

東大では2年時に「集合と位相」という講義はありますが
半期で、位相と一緒なので、基礎的なことだけで
ZFとかZFCとかという形では教えないかもしれませんね
0272132人目の素数さん
垢版 |
2021/10/09(土) 10:33:19.05ID:G87Fbttq
詳しくは習わなくても、「ZFというものがある」というくらいは
数学の常識だと思うんですよね。数学記事にも
よく出てきますし。ましてや「公理を証明する」などは
その「証明」には暗黙に使っていることがあるはずで
その認識もないなどは、「分かってないひとだな」としか
思わない次第です。
0274Mara Papiyas ◆y7fKJ8VsjM
垢版 |
2021/10/09(土) 10:51:28.27ID:qQhss2MU
>>269
>「選択公理を証明できるかも」と言うので、
>「いやいや公理を証明するっておかしいでしょ。
> 証明するとしたら、ある公理系から証明することになるが
> ZFとは独立であることが証明されている」と言ったら
> ブチ切れられて・・・

>>268で紹介した数学者の方も選択公理を知らず
整列定理と混同してましたからね
(選択公理と整列定理は同値ですが、
 ステートメントとしては異なります)

数学者といっても無限に関心がないと
そういう感じなんでしょうかね
0275Mara Papiyas ◆y7fKJ8VsjM
垢版 |
2021/10/09(土) 10:53:55.70ID:qQhss2MU
>>270
>怒ることはないと思うんですよね。
>何で怒るのか、まったく分からない。

まあ、恥ずかしいと思ったんでしょうね
でも知らないんじゃ仕方ないですよね
怒らせとけばいいんじゃないですか?
あなたは全く悪くないですよ
0276Mara Papiyas ◆y7fKJ8VsjM
垢版 |
2021/10/09(土) 10:58:03.55ID:qQhss2MU
>>272
まあ、しかし数学の命題を、ZFとかから証明することはまずないですからね
選択公理くらいは知っといて欲しいとは思いますけど
>>273
>>268で紹介した数学者は東大卒らしいです
まあ東大って数学科でも数理論理とか集合論の講座がないくらいなんで
集合論について呆れるほど疎くても特に驚きはありませんが・・・
0277Mara Papiyas ◆y7fKJ8VsjM
垢版 |
2021/10/09(土) 11:16:19.06ID:qQhss2MU
https://rio2016.5ch.net/test/read.cgi/math/1633176556/63
>5.ノイマンのnで、上記のように余分のn-1までを抜くと、
>  {n-1}が出来て、n-1に上記を繰り返すと
> n重のシングルトン{{・・{{}}・・}}ができる。
> つまり、潜在的に、n重のシングルトン{{・・{{}}・・}}を含んでいるってこと
>6.いま、ノイマンの自然数構成で、出来た自然数を全部集めると、
>  自然数の集合 N:={0, 1, 2,・・, n,・・} ができる
> Nは、上記1項の”0〜n(N未満)を全て集めた集合”とみることができる
> また、N=ω(最小の極限順序数)でもあることに注意しよう
> つまりは、lim n→∞ n=ω と見ることができる
>7.さて、ノイマンの自然数構成で、
> N=ω(最小の極限順序数)が構成できたことを使って
> 5項の極限を考えると、ノイマンのnが潜在的に、
> n重のシングルトン{{・・{{}}・・}}を含んでいることから
> 極限lim n→∞ n=ω を考えると、
> 可算多重のシングルトン{{・・・{{}}・・・}}が、考えられるってこと
>(実に単純な話)

質問
  N:={0, 1, 2,・・, n,・・}から、
  どこまでの要素を抜いて、どの要素だけ残せば
  可算多重のシングルトン{{・・・{{}}・・・}}
  ができますか?
  nにはn−1は存在しますけど、NにはN−1は存在しませんよ
  わかってますか?

「極限」という言葉で誤魔化せると思ってるんなら、
アンタ、大馬鹿者ですわwwwwwww
0278Mara Papiyas ◆y7fKJ8VsjM
垢版 |
2021/10/10(日) 06:25:44.44ID:WvyKzuhg
https://rio2016.5ch.net/test/read.cgi/math/1633176556/71
に対する返答
https://rio2016.5ch.net/test/read.cgi/math/1633176556/84
の転載
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
お🐒のSET Aは公理に基づく論理的思考ができないw
集合論に基づくのだから、集合論の公理を満たす必要がある

>可算多重シングルトン {{・・{{}}・・}}は、否定されるべき存在なのかね?w

集合の公理を満たさないことがわからんかね?w

>一番外の{}が分からない

「分からない」のは君だよ、お🐒のSET Aクンw
私は明確に言い切った
「君のいう可算多重シングルトンには一番外の{}が存在しない」
「存在しない」という言葉の意味が「分からない」とは頭が悪い

>一番外の{}を外したらどうなるか分からない

もし一番外側の{}がある、というなら外せばいい
無限回、外側の{}が外せるなら、正則性公理を満たさないから集合ではない
有限回、外側の{}を外したら、一番外側の{}がない元が出てくるなら、その元は集合ではない 

しかしながら、集合論の公理で「集合でない元」の存在など定めてないw

>まあ素朴だが、ある意味幼稚な思考でしかない

1={{}}も2={{{}}}も3={{{{}}}}もシングルトンだから
ωもシングルトンに違いない!というお🐒のSET Aの思考こそ素朴
いかなる意味でも幼稚だよ さすが大学に入れなかった工業高校卒のDQN

大阪大学工学部卒? みえすいた学歴詐称はやめとけ
日本語も読めない馬鹿が大学なんか入れるわけないだろw

>ノイマンのN={0,1,2,・・}だって、同じ話でしかないよね

全然違うがw

ノイマンのNの外側の{}を外しつづけても
・集合でない元はでてこない
・有限回の操作で必ず空集合{}に至る
なぜなら、Nの要素はみな自然数であるから

ツェルメロのNも{0,1,2,・・}とすればいいだけ
そうすれば、シングルトンだとして場合に発生する問題はすべて回避できる
要するに、お🐒のSET Aの「シングルトンに違いない!」という考えがダメなだけw

P.S.
>…に同じだよ

日本語、間違ってるよ
正しい日本語は以下の通り
「・・・と同じだよ」

君の祖国、北朝鮮のみんなにも教えてあげなwww
0279Mara Papiyas ◆y7fKJ8VsjM
垢版 |
2021/10/10(日) 10:55:58.20ID:WvyKzuhg
http://rio2016.5ch.net/test/read.cgi/math/1633176556/93
>1.可算多重シングルトン {{・・{{}}・・}}が、
>仮に正則性公理を満たさないとしても、
>”non-well-founded set theory”もあるから、
>存在しうるよ

お🐒のSET A 正則性公理を満たすと証明できず 姑息にもルール変更
 
さすが卑怯卑劣な学歴詐称の工業高卒🐎🦌野郎

>2.後者関数f
> lim n→∞ f({{・・{{}}・・}}n) ={{・・{{}}・・}}ω
> と出来るよ

出来ないよw

ωは極限順序数 したがってf(x)=ωとなるxは存在しない

一方、ωがシングルトンだと、
f(x)=ωとなるxが存在してしまい
ただの後続順序数に成り下がる

要するにお🐒のSET Aは極限順序数を否定し
「0以外の順序数は全て後続順序数」(ドヤ顔)
といいきっちゃう大🐎🦌野郎www

>3.「一番外の{}」なんてのは、無限集合になると、殆ど無意味
>実際、集合論のテキストで、「一番外の{}」を問題にしているものは皆無だよ

なにいってんだ? この工業高校卒の🐎🦌w
そんなこといってっから、おめえはFラン大学にも受からねぇんだよ 🐎🦌w

集合は要素の集まりであるから、当然外側の{}がある
中身の要素が無限個だったら書ききれない、というだけの話
外側の{}自体がなくなるわけではないwww

で、正則性公理っていうのは、
工業高校卒の🐎🦌の貴様にもわかるようにいえば
「集合から 要素をとって、
 それが空集合以外の集合であれば、さらにその要素をとって」
という操作を繰り返した場合、かならず有限回で空集合にいきつくってこと
(集合以外のアトムにいきついてもいいが、
 そもそも集合論ではアトムの存在を認める公理を設定してない)

わかれよ 🐎🦌w
0280Mara Papiyas ◆y7fKJ8VsjM
垢版 |
2021/10/10(日) 11:07:32.00ID:WvyKzuhg
>>279
http://rio2016.5ch.net/test/read.cgi/math/1633176556/92
に対する回答でしたw

さて
http://rio2016.5ch.net/test/read.cgi/math/1633176556/94
に対する回答

ツェルメロのωは、シングルトンではなく、自然数の無限集合

ついでにいうと、最初の非可算順序数ω1は、
シングルトンどころか、可算無限集合ですらなく
非可算無限集合である
(ツェルメロの後者関数を用いる場合
 ω1より小さい順序数は、
 後続順序数ならシングルトン
 極限順序数なら可算無限集合
 となる)

某所で、お🐒のSET Aがわけもわからずコピペした文章に答えがあるw
https://rio2016.5ch.net/test/read.cgi/math/1628778394/974

「点列の極限で位相構造を特徴づけられない例として、
 整列順序集合[0,ω1]に順序から定まる位相を入れた空間がある。
 ここで ω1は最小の非可算順序数である。
 実際、この集合において、ω1は明らかに[0,ω1)の閉包に属しているにも関わらず、
 [0,ω1)内のいかなる点列もω1に収束しない。
 なぜなら ω1の非可算性と「可算集合の可算和はまた可算集合になる」という事実により、
  [0,ω1)内の任意の点列に対し、点列に属する点のいずれよりも大きい順序数α<ω1が存在するので、
 ω1の開近傍(α,ω1]には点列の点が存在しえないからである。」
0281132人目の素数さん
垢版 |
2021/10/10(日) 13:12:00.31ID:7O/DywBf
> lim n→∞ f({{・・{{}}・・}}n) ={{・・{{}}・・}}ω
> と出来るよ
集合列{},{{}},{{{}}},…が収束すると?大間違い
0282132人目の素数さん
垢版 |
2021/11/03(水) 19:06:46.53ID:dCkKgOCS
https://rio2016.5ch.net/test/read.cgi/math/1633176556/847
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
Zermeloの順序数構成方法でも、なぜωがシングルトンでないのか
それはωより小さい順序数の最大値が存在しないからである
Zermeloの順序数構成方法でも、ωの要素内の最大値は存在しない
(したがってωは無限集合である 一般に極限順序数は無限集合である)
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

https://rio2016.5ch.net/test/read.cgi/math/1633176556/854
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
Zermeloの構成法の場合、ω未満の全ての順序数を要素とする必要はないが
ωからω未満の任意の順序数nへの降下列が存在するようにするには
無限集合とせざるを得ない
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

https://rio2016.5ch.net/test/read.cgi/math/1633176556/860
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
やっとみんなの云ってることが正しいと気づいたんだね
やっと君も自分の勘違いに気づいたんだね
おめでとう!
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
0284(ノ∀`)アチャー ◆y7fKJ8VsjM
垢版 |
2021/11/05(金) 16:43:10.08ID:j5fczyhM
万年15歳の中坊は、高校数学のここからやりなおせw

数学T:集合と論理
https://yorikuwa.com/m1200/
 集合の表し方と要素
 集合の包含関係と部分集合
 共通部分と和集合
 補集合とド・モルガンの法則
 数直線と集合
 命題の真偽
 条件の真偽
 条件の否定@(かつ・または)
 条件の否定A(すべて・ある・ともに)
 必要条件と十分条件
 逆・裏・対偶
 対偶法
 背理法
0285(ノ∀`)アチャー ◆y7fKJ8VsjM
垢版 |
2021/11/05(金) 16:53:27.89ID:j5fczyhM
高校生でも知っといてバチあたらない話

数学的帰納法
P(0)∧∀m.P(m)⇒P(s(m))⇒∀n.P(n)
(0でPが成立し、任意のmについて、mでPが成立するならs(m)でもPが成立するとき
 任意のnでPが成りたつ)
の対偶は
∃n.¬P(n)⇒¬P(0)∨∃m.(P(m)∧¬P(s(m))
(Pが成立しないnが存在する場合、0でPが成立しないか、
 あるmが存在し、mではPが成立するがs(m)ではPが成立しない)
0286132人目の素数さん
垢版 |
2021/11/05(金) 17:37:59.45ID:gFQoXS6I
数学的帰納法は定理だから大学生ならその証明も知っておくべき
0287132人目の素数さん
垢版 |
2021/11/05(金) 17:43:42.57ID:gFQoXS6I
待遇が分からないんじゃ高校留年
眠かったから間違えるのは分かってない証拠
対偶、逆、裏が分ってたらたとえ眠くても間違えない
0289132人目の素数さん
垢版 |
2021/11/06(土) 01:59:43.68ID:nFC14Trd
>ここのAをNとすれば、対応する”超限帰納法”としての数学的帰納法が導ける
それは数学的帰納法の証明という問題を超限帰納法の証明という問題にすり替えただけ。
数学的帰納法は超限帰納法とは独立に証明可能。:ある方法で自然数を構成し、それがペアノの公理を満たすことを証明する。
0290132人目の素数さん
垢版 |
2021/11/06(土) 07:46:44.81ID:JjkVf1Pv
>>289
整列集合Aが
・任意の元aについて、
{x∈A|x>a}
は空でない
・任意の元aについて
{x∈A|x<a}
が空でなければ必ず最大元をもつ、とすれば、
AはNと同型になってペアノの公理を満たす
のではないかな?
0291132人目の素数さん
垢版 |
2021/11/07(日) 15:02:03.58ID:V+KShK58
順序数全体の列に関して

https://rio2016.5ch.net/test/read.cgi/math/1633176556/898
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
(注:<ωのすぐ左に項がなくても、左側にある項はすべて入るとする
   とかいう「俺様ルール」を設定する奴がいるが、そういう場合は
   ≪ωとか違う記号をつかうのが「皆様ルール」)
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー

実は、<と≪のみで、いかなる順序数全体の列も書ける

つまり
1.0の左には何も書かない
2.後続順序数αの左には<を書く <α
3.極限順序数βの左には≪を書く ≪β

これだけでOK
0292132人目の素数さん
垢版 |
2021/11/08(月) 07:04:20.77ID:CF7SYpmS
>>291
>   ≪ωとか違う記号をつかうのが「皆様ルール」)

おサルのボクちゃん、面白いことを考えたねw (参考) https://rio2016.5ch.net/test/read.cgi/math/1636122558/5
それは、あんたの独自説ですよ

”≪”の一般的な説明は下記だよね
で、”「極度に大きい」に絶対普遍な基準はなく、文脈に応じて臨機応変に解釈される”とあるでしょ?
人の常識無いな、サルは

「≪ω」を使っている人居ないでしょ?
居るなら、挙げてみて
そんなん、わざわざ、「≪ω」とかアホや。サル知恵も良いところだなw

https://ja.wikipedia.org/wiki/%E4%B8%8D%E7%AD%89%E5%8F%B7
不等号
3.2 非常に大きい/小さい
比が極度に大きいことを示すために、通常の不等号ではなく、「≪」「≫」が使用される。原則として、双方非負(0以上)の場合にのみ使う。0に近い領域で比が大きいこともあるので、差は必ずしも大きくない。
その後に近似計算を行うための説明であることが多い。
「〜は〜より十分に小さい(大きい)」「〜は〜より非常に小さい(大きい)」などと読む。
ここでの「極度に大きい」に絶対普遍な基準はなく、文脈に応じて臨機応変に解釈される。
使用例
・ 10^-10 ≪ 0.1 < 1 < 10≪10^10
・ a ≫ 1 ならば a+1 ≒ a
0293132人目の素数さん
垢版 |
2021/11/08(月) 07:23:34.18ID:CF7SYpmS
>>292 補足
(引用開始)
使用例
・ 10^-10 ≪ 0.1 < 1 < 10≪10^10
・ a ≫ 1 ならば a+1 ≒ a
(引用終り)

これで、
「 a ≫ 1 ならば a+1 ≒ a」の例は、≫を>に変えると、成り立たないよね
「 10^-10 ≪ 0.1 < 1 < 10≪10^10」の例は、≪を<に変えると、数学的には成り立つが、意図は伝わらない
(この例では、日常使う数の範囲は、” 0.1 < 1 < 10”辺りで、10^-10は日常感覚では極めて小さく、10^10は極めて大きい のような気持ちなのでしょうかね)

で、”≪ω”ってなに?w
それって、≪を<に変えても、成り立つよね
わざわざ、”≪ω”と書いて、何が言いたいのか?w
屋上屋だと思うぜ。大学以上の文書で、”≪ω”とか、人の大学では無いよ、多分。それって、サルの大学じゃん
0294132人目の素数さん
垢版 |
2021/11/08(月) 07:39:24.05ID:CF7SYpmS
>>293 補足の補足

下記より ”実数直線は標準的な大小関係 < による順序に関して線型連続体である” ”、実数直線は 大小関係 < に関して全順序集合”
それは、実数R自身が持つ性質でもある
”<”を狭く解釈すると、実数Rの全順を考えるときには、そのやり方は全く不便だよ

https://ja.wikipedia.org/wiki/%E5%AE%9F%E6%95%B0%E7%9B%B4%E7%B7%9A
実数直線
https://upload.wikimedia.org/wikipedia/commons/thumb/d/d7/Real_number_line.svg/700px-Real_number_line.svg.png
実数直線の模式図

線型連続体
実数直線は標準的な大小関係 < による順序に関して線型連続体である。具体的に言えば、実数直線は 大小関係 < に関して全順序集合であり、またこの順序は稠密で、上限性質を持つ。
上記の性質に加えて、実数直線は最大元も最小元も持たない。また、部分集合として可算で稠密なもの(要するに有理数の全体)を含む。可算稠密部分集合を持ち、最大元も最小元も持たないような任意の線型連続体は実数直線に順序同型であるという定理がある。

実数直線は可算鎖条件 (ccc):
「R における互いに交わらない空でない開区間からなる任意の族は可算である」
を満足する。順序集合論においてよく知られるススリンの問題は「最大元も最小元も持たず可算鎖条件を満足する線型連続体は R に順序同型でなければならないか」ということを問うものである。そしてこの問題の主張は、集合論で標準的な公理系として用いられる ZFC から独立であることが知られている。

位相的な性質
実数直線上には標準的に二つの互いに同値な方法で位相を入れることができる。一つは、実数直線が全順序集合であることを用いて順序位相を入れる方法。もう一つは先に述べた距離からくる内在的な距離位相を入れる方法である。R 上のこれら二つは全く同じ位相を定める。位相空間としては、実数直線は開区間 (0, 1) に同相である。

https://upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Real_projective_line.svg/300px-Real_projective_line.svg.png
実数直線にただひとつの無限遠点を加えてコンパクト化できる。

実数直線は明らかに一次元の位相多様体である。同相の違いを除いて、境界のない一次元多様体は二種類しかなく、実数直線 R1 のほかは円周 S1 である。
0295132人目の素数さん
垢版 |
2021/11/08(月) 12:46:19.20ID:f2jkwdzw
>>290
どうしても超限帰納法と結び付けて考えたい訳ね?なら超限帰納法を持ち出さずとも証明可能と言ってる俺にレスしなくていい。話しが全く噛み合ってない。
0296132人目の素数さん
垢版 |
2021/11/08(月) 18:00:45.46ID:fZZA2zYF
>>292
> ”≪”の一般的な説明は下記だよね
 一般的な用法とは別じゃね?
 なんなら「<の三つ重ね」にすれば?

> ”「極度に大きい」に絶対普遍な基準はなく、
>  文脈に応じて臨機応変に解釈される”
> とあるでしょ?
 「極度に大きい」という意味ではないよ
 あいかわらずトンチンカンなこといってるね

> 「≪ω」を使っている人居ないでしょ?
> 居るなら、挙げてみて
 ああ、くだらない
 同じ記号を使うせいで
 「後続順序数と極限順序数を区別しない誤解」
 が生じるんなら、区別したほうがいいね
 考えない素人への配慮 有難く受け取りなよ

>>293
> で、”≪ω”ってなに?
 >>291で書いてあるじゃん
 0<…<<ωとは
 「ωのすぐ左に項がなくても、
  ωの左側にある項nはすべてn<ωを満たす」
 という意味

> それって、≪を<に変えても、成り立つよね
> わざわざ、”≪ω”と書いて、何が言いたいのか?
 「成り立つ」とかいってる時点で、何も考えてないのが明らか
 0から<の推移的関係(a<b,b<cだからa<c等)でたどり着けるのは自然数nだけ
 任意のnからωに対して、後者関数だけでn<ωと云うことはできない
 書く前に考えなよ 感じたことを口に出すって頭悪いよ

> 屋上屋だと思うぜ。
> 大学以上の文書で、”≪ω”とか、人の大学では無いよ
 大学に入れなかった素人が大学に嫉妬かい?
 考えてる人なら読み分けられるが
 考えない素人には無理だから
 記号を違えて注意喚起ってことじゃね?

>>294
> ”<”を狭く解釈すると、実数Rの全順を考えるときには、そのやり方は全く不便だよ
 有理数Qも実数Rも、標準的な大小関係 < で整列できないけど、何か?
 整列順序、理解してる?
0297132人目の素数さん
垢版 |
2021/11/08(月) 18:01:56.23ID:fZZA2zYF
>>295
「超限帰納法で」証明するのではないよ
整列順序の定義と帰納法が表裏の関係だといいたいだけ
一般の整列順序から一般の帰納法である超限帰納法を証明する方法で
特殊な整列順序から特殊な帰納法である数学的帰納法が証明できる、といってる
何もおかしなことはない

>話しが全く噛み合ってない。
冷静になりなよ
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況