TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
【未解決問題】奇数の完全数が存在しないことの証明5
wwwww小説を読むスレwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
【未解決問題】奇数の完全数が存在しないことの証明5
数学板が過疎った理由
哲学を理解できない馬鹿が、数学や物理に逃げる
現代数学の系譜 工学物理雑談 古典ガロア理論も読む57
巨大数探索スレッド15
素数について教えていただきたいのですが
現代数学の系譜 工学物理雑談 古典ガロア理論も読む42
モンティーホール問題を高校生にわかるように説明してくれ
83 :
>>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 が検討できることである。つまり一般的なグロタンディーク宇宙に内部で、任意の独立変数が適用されるということである。この公理は強到達不能基数の存在と密接に関係している。

以上

【ベクトル数Cへ】高校新学習指導要領【線形代数軽視】
素数について教えていただきたいのですが
Michael F. Atiyahがリーマン予想を証明しました。
プラスマイナスゼロ
           朝日生命
数学の本第77巻
現代数学の系譜 工学物理雑談 古典ガロア理論も読む81
   0.99999……は1ではない その10
【虚数乗法論】 志村五郎 【志村多様体】
【数学者】ID:JtmyZOC7【解析】
--------------------
【MHI】三菱重工
【アズレン】アズールレーン Part 2219
編む預信者ヲチ&アンチスレ35
40代独身が自分の老後を考える part9
ファイアーエムブレム聖戦の系譜を語るスレ62
もう4時か…
ひよっこ有村架純その13
☆★★深夜ナーバス物語14★★★
【韓国】日産が割引販売 → バカ売れ [動物園φ★]
ピュア向き5~10万前後のスピーカーについてpart49
クイズ!脳ベルSHOW
【悲報】乃木坂、レコ大リハ後に出演アーティストで唯一サインを書かないで帰るwww
脳内お花畑 磯部奈央
平成30年司法試験短答用スレpart3
.AKB48 のオール ナイトニッポン★ 872
日本レコード大賞「パプリカ」に賛否両論渦巻く 特に乃木坂オタが発狂中 [368289528]
【冷血】田舎者って都会者より冷たいの?【陰険】
【厨房・工房】北海道の卓球10ぐらい【多いな】
【シンクロニシティ】乃木坂46★8060【本スレ】
最近増えてきたCUIが全く使えないLinuxユーザー
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼