[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
83(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/27(金)08:28:36.48 ID:DGQc6wD0(3/3) AAS
>>82
つづき
圏論
圏論に歴史的につながる宇宙への別のアプローチの方法がある。これはグロタンディーク宇宙と呼ばれる。大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である。
例えば、グロタンディーク宇宙 U における2つの集合の和集合も U の内部にある。同様に、共通部分、順序対、冪集合などもまた U の内部にある。
これは上記の上部構造に類似している。グロタンディーク宇宙の利点は、それが実際の集合であって固有類ではないことである。グロタンディーク宇宙の難点は、厳密さを欲するなら、グロタンディーク宇宙を捨てなければならないことである。
最も一般的なグロタンディーク宇宙 U の用途はすべての集合の圏を U で置き換えるものである。S ∈U のとき、U-large でないなら、集合S は U-small となる。
すべての U-small 集合の圏 U-Set は、すべての U-small の集合を対象として、それらの集合の間のすべての関数を射としてもつ。対象の集合と射の集合の両方共集合であり、このことが固有類を用いることなく "すべての" 集合の圏を議論することを可能にしている。
すると、この新しい圏の観点から別の圏の定義が可能になる。例えば、すべての U-small 圏の圏は宇宙 U の内部において、すべての対象の集合と射の集合の圏の圏になる。
すると通常の集合論の独立変数が、すべての圏の圏に適用される。さらに誤って固有類に対して言及する心配もなくなる。なぜならグロタンディーク宇宙は非常に広大であり、これはありとあらゆる数学的構造を充足させるからだ。
グロタンディーク宇宙において作業している場合、数学者はしばしば宇宙の公理を仮定する。"任意の集合 x に対し、x ∈U となるような宇宙 U が存在する。
" この公理の重要な点は、任意の集合がいくつかの U に対して U-small が検討できることである。つまり一般的なグロタンディーク宇宙に内部で、任意の独立変数が適用されるということである。この公理は強到達不能基数の存在と密接に関係している。
以上
109: 2019/12/28(土)10:13:46.48 ID:VqAUAktZ(6/7) AAS
>>108
＞自然数や実数が既に得られて、
なんで実数が出てくるんだ？馬鹿か？
＞順序位相も決まった
有限順序数だけの空間で順序位相いれようがなにしようが
ωなんか出てくるわけないのに何考えてんだ？この馬鹿ｗ
＞極限 lim n→∞ suc(a_n) が、正則性公理に反するだぁ〜？
貴様のウソ極限が
１．そもそも集合でない
（最外側のカッコがない・・・{{}}・・・）
２．極限順序数の定義に反する
（最外側のカッコだけとってつけてシングルトンだと言い張った場合）
のいずれかになる
正則性公理に反するとかいう以前の話
（ちなみに正則性公理に反するのは２.でさらに
延々と外側のカッコを外せる場合だが
そもそも一個でも外側にカッコがついてて
中身が要素一個の時点で極限順序数でないから
その先の話なんかいくらしても無駄）
113(1): 2019/12/28(土)19:33:15.48 ID:/I2M/WbE(1) AAS
バカが袋叩きにされてて草
そりゃスレ伸びるわなｗ
193: 2020/01/01(水)22:04:04.48 ID:E03EXCHH(8/10) AAS
>>191
◆e.a0E5TtKEはただ直感するだけの白痴だからな
だから平気でωが極限順序数であることに真っ向から反する
>>176のような「アルゴリズム」を口にする
（これが不可能であることは>>183に書いたが
要するにNeumannのωに最も右の（つまり最大の）要素が存在しないから）
間違った直感には犬の糞ほどの価値もないｗ
251(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/03(金)09:53:58.48 ID:ivt0JCXh(2/8) AAS
>>250 参考
下記、「上極限と下極限は（無限大をとることを許せば）必ず存在する」の
”（無限大をとることを許せば）”に、ご注目（＾＾；
外部ﾘﾝｸ:ja.wikipedia.org
上極限と下極限
(抜粋)
性質
数列 (an) の上極限と下極限は（無限大をとることを許せば）必ず存在する。これは極限値が存在するかどうか分からないのと対照的である。
318(1): 2020/02/22(土)17:13:14.48 ID:0iFmeQIA(12/13) AAS
>>315
スレを立ててもいいけど、毎日書くことはないんで、スレを立てたら他の人が埋めて行くようなことになると思う。
474: 2020/03/12(木)21:00:42.48 ID:4k5QcSKk(13/17) AAS
>>465
>即ち、「the function is measurable.」ならば 良いが、そうでないときは、ダメだという
P(d1>d2) を考えているなら可測性が問題となるが、時枝証明は P(a>b) しか考えていないので的外れ。
ここで a とは d1,d2 のいずれかをランダムに選択した方、b は他方。
まったく分かってませんね。時枝戦略を論じたいなら正しく理解することから始めましょう。
479: 2020/03/12(木)21:51:52.48 ID:4k5QcSKk(16/17) AAS
>>445
>・戻ると、”自然数の集合Nから、ランダムに任意の元dを選ぶ”という ランダムネスの定義が、本当は出来ずに、手品のタネになっている
嘘はいけませんね。時枝証明のどこで自然数の集合Nからランダムに元を選んでいると？
{1,2,...,100} からなら選んでますけどね。
488: 2020/03/13(金)14:40:02.48 ID:i14ZcGJF(4/14) AAS
なんでおまえの頭の中の同値関係をエスパーしないといけないの？ｗ
545: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/15(日)23:05:50.48 ID:OT+7dZla(4/4) AAS
>>544
これか（＾＾；
外部ﾘﾝｸ:www4.nhk.or.jp
再放送予定
ＮＨＫＥテレ１ 3月15日(日) 午後3時15分
素顔のギフテッド
番組概要
生まれながらに様々な才能を与えられた“ギフテッド”。数学が得意な人もいれば、言語の才を持った人、中には芸術の感性が飛び抜けた人も。欧米ではアインシュタインやビルゲイツなど、ギフテッドとされる人たちが社会に多くのイノベーションを起こしてきました。
日本国内にも250万人のギフテッドがいると言われますが、これまで詳細は知られてきませんでした。そこで番組では、女優のんさんをナビゲーターに、7歳から59歳までのギフテッドたちの日常に密着。見えてきたのは、ちょっと風変わりで、でもとびっきり魅力的な素顔でした。
画像ﾘﾝｸ
733(1): 2020/03/27(金)19:16:07.48 ID:WXxBUAbr(3/4) AAS
iidって要するに当てずっぽうでしょ？
そりゃ当てずっぽうじゃ当たらないわなｗ
そんな話が数学セミナーの記事に？妄想もたいがいにしましょうねｗ
814: 2020/04/01(水)12:57:32.48 ID:U41p3z0c(1) AAS
【定義】決定番号
「sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す. 」
数列は自然数で付番されているので決定番号は自然数である。
そしてそのことを認めるなら自動的に
>>３．しかし、確率計算は正当化できない
>は誤りである。 Y/N
も認めるしかない。瀬田完全敗北。
瀬田の4年間は敗北の歴史
939: 2020/07/10(金)09:57:55.48 ID:e3xNYXlE(21/80) AAS
No Government No Money
政府も要らない 金も要らない
970: 2020/07/10(金)12:27:14.48 ID:e3xNYXlE(50/80) AAS
以上 ４６４９
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.038s