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