[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
24(2): １３２人目の素数さん [sage] 2019/12/22(日) 00:29:59.09 ID:hH9D3fwr(1) AAS
Ωが次の性質を持つ限りZFCと両立することはできません。
・Fを
x∈F⇔∃x1∋x2∋‥‥∋xn, x1=Ω, xn=x
によって定められる集合とするときFの任意の要素はシングルトンか空集合。
・Ωは有限Zermelo ordinal numberではない。
128: １３２人目の素数さん [] 2019/12/29(日) 21:35:50.09 ID:/Zdz9M/3(5/10) AAS
f(z)=z+1はリーマン球面上では放物的変換で
その唯一の不動点は∞
ちなみにω＋１はωとは異なる
つまり、リーマン球面の∞はωではない
132: １３２人目の素数さん [] 2019/12/29(日) 22:34:35.09 ID:/Zdz9M/3(7/10) AAS
>>131
＞無限の定義
＞無限とは部分と全体が等しいことである
デデキントは
「A と同数（equinumerous）であるようなA の真部分集合B が存在すること」
を無限の定義とした（デデキント無限）
https://ja.wikipedia.org/wiki/%E3%83%87%E3%83%87%E3%82%AD%E3%83%B3%E3%83%88%E7%84%A1%E9%99%90
通常の無限の定義は以下の通り
「どのような自然数 n に対しても、{0,1,2,..., n -1}（有限順序数）と A との間に全単射が存在しないこと」
選択公理ACを仮定しない場合、無限集合であるにもかかわらず
デデキント無限でない集合が存在することが知られている
（上記の無限集合は整列不可能である）
177: １３２人目の素数さん [] 2020/01/01(水) 13:54:07.09 ID:0vvVE7uB(1) AAS
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ .
222(2): １３２人目の素数さん [sage] 2020/01/02(木) 12:22:26.09 ID:v54b6Yz+(2/7) AAS
>>221
>>211の
>＞だいたい…{{}}…はただしくはシングルトンですらない
>＞集合ですらないからだｗ
という指摘は正しい。
それは、◆e.a0E5TtKEの集合の表し方が間違っていることを指摘している。
223(2): １３２人目の素数さん [sage] 2020/01/02(木) 12:45:14.09 ID:v54b6Yz+(3/7) AAS
>>221
>>211の
>そもそも…{{}}…には一番外側の{}がないから、
>一番外側の{}を外して、中の要素を取り出すことができない
>つ・ま・り、集合ではない
も正しい。集合の書き方は、高校1年で習うようなこと。
◆e.a0E5TtKEの定義はこれに反する。
235(1): １３２人目の素数さん [] 2020/01/02(木) 16:54:08.09 ID:G/YeCJ4m(1/8) AAS
>>201
>４）こうやって構成した ペアノシステムによるシングルトンのωが、正則性公理に反するはずもない
妄想乙
>Zermeloの後者関数 「0 := {}, suc(a) := {a} 」
>の
>順序位相（英語版）に関する極限点として
>ωが定義される
>それだけのこと
バカは他人も自分と同じくらいバカだと思いたいようだが、それも妄想
356: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2020/02/26(水) 22:52:43.09 ID:k6R9fA73(2/2) AAS
ご苦労さま
859(1): CIA [sage] 2020/04/03(金) 08:08:23.09 ID:2nZLtvFr(6/12) AAS
>>856
問題文が読めてないのはTT(Tondemo Thread）の君
「さて， 1〜100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
第1列〜第(k-1) 列，第(k+1)列〜第100列の箱を全部開ける.
第k列の箱たちはまだ閉じたままにしておく.
開けた箱に入った実数を見て，代表の袋をさぐり，
S^1〜S^(k-l),S^(k+l)〜S100の決定番号のうちの最大値Dを書き下す.
いよいよ第k列 の(D+1) 番目から先の箱だけを開ける
S^k(D+l)， S^k(D+2)，S^k(D+3)，・・・.
いま
D >= d(S^k)
を仮定しよう.この仮定が正しい確率は99/100，
そして仮定が正しいばあい，上の注意によってS^k(d)が決められるのであった.
仮定のもと， s^k(D+1)，s^k(D+2)，s^k(D+3)，・・・を見て
代表r＝r(s~k) が取り出せるので 列r のD番目の実数r(D)を見て，
第k列のD番目の箱に入った実数はS^k(D)＝r(D)と賭ければ，
めでたく確率99/100で勝てる.」
出題前に箱を一つ決めてその中身を当てるのではない
出題誤に中身が代表元と一致する箱を選ぶ これが正しい読解
910: １３２人目の素数さん [] 2020/07/06(月) 00:50:07.09 ID:B0u50akG(1/3) AAS
>>909
まだ分かってないｗ
時枝記事に書かれているのは、100個の箱のいずれかをランダム選択して99個以上のアタリ箱を引く確率。
（「さて， 1〜100 のいずれかをランダムに選ぶ. 」がその証拠）
一方、あるm番目の箱はm-1番目の箱でもm+1番目の箱でもなく、つまり箱が一つ特定されている。
箱を一つ特定しその中身を当てる確率なんて時枝記事には一言も書かれていない、
にもかかわらず「99/100以上」だけ記事から持ってくるからおかしな話になるだけのこと。
確率変数を誤解していると何度教えられても理解できない瀬田に数学は無理。
924: １３２人目の素数さん [sage] 2020/07/10(金) 08:30:24.09 ID:e3xNYXlE(6/80) AAS
セタは公理図式の読み方も分かってないｗ
例えば分出公理で
｛ｘ∈Ｓ｜Ｐ（ｘ）｝
のＰ（ｘ）はｘが自由変数となる式なら何をいれてもいい
（例えば¬（ｘ∈ｘ））
しかし、セタは何をトチ狂ったか
「公理図式で式を入れるところは公理の式に限る それが公理主義」
とか馬鹿丸出しな俺様解釈を絶叫してきたｗ
もちろんそんな俺様解釈は完全な誤りだ
¬（ｘ∈ｘ）のどこが公理なのか？ｗ
｛ｘ｜¬（ｘ∈ｘ）｝が集合なら矛盾だが
｛ｘ∈Ｓ｜¬（ｘ∈ｘ）｝なら矛盾しない
なぜなら、｛ｘ∈Ｓ｜¬（ｘ∈ｘ）｝は集合Ｓの要素でない、で終わりだから
こんなことは数学を学ぶ大学１年生なら常識だが
どうせセタはマージャンとかテニスとか＊＊Ｘとかで遊び惚けてたんだろｗ
♀ザル相手に腰振るしか能がない毛深い♂ザルに数学が分かるわけがない
958(1): １３２人目の素数さん [sage] 2020/07/10(金) 11:49:47.09 ID:/t+wH2vB(2/2) AAS
>>952
そう。多変数関数論に興味はない。
多変数関数論で新しい成果出すのは難しいから、下手に取り組まない方がいいと思う。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.044s