TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
【ベクトル数Cへ】高校新学習指導要領【線形代数軽視】
フェルマーの最終定理の簡単な証明8
ニコ生の東大数学科学生headを特定するスレ
¶ 放送大学の数学科目 6講目 §
虚数は存在するか？
【大学院へ】 30過ぎて、数学の道へ その２
現代数学の系譜11 ガロア理論を読む34
【生保・損保】アクチュアリー資格試験スレ【年金】
小中学校範囲の算数・数学の問題のスレ Part 54
【数学検定】数学検定（数検）総合スレッド Part.11
- 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 が検討できることである。つまり一般的なグロタンディーク宇宙に内部で、任意の独立変数が適用されるということである。この公理は強到達不能基数の存在と密接に関係している。
以上
7777で10作れる奴いんの？
Inter-universal geometry と ABC予想 26
大学の数学科はぜんぶ潰すべき
フェルマーの最終定理の簡単な証明7
ジョン・ナッシュ氏が交通事故で死去
≒≒≒≒≒≒≒≒≒ 数学アカデミー
三大数学を使う学問「物理学」「経済学」
数学者になりたいけど無理そうだったらAIに携わる仕事に就きたい場合数学科は良い選択ですか？
虚数とか複素数ってなんですか？
【1教科】山口大学理学部数理科学科【偏差値52.5】
--------------------
シェンロンが好きで好きでたまりません
この格差が広がる日本に今必要なのは！
男鹿水族館GAO
【川口】第8回オートレースGPを語ろう【ばっかり】
【勝木光】BabySteps 〜ベイビーステップ〜 STEP126
ビリー・アイリッシュちゃんのおっぱいがおっきすぎてつらい [439249206]
【マックイーン】華麗なる賭け【ダナウェイ】
【尻P】野尻抱介 その8【新刊、いや復刊】
<<<<売国奴安倍晋三>>>>
統失で禿たジジイの自演荒らし大草原石川豚乙
日本刀スレ 伍拾捌代目
【野球】清原和博氏、田代まさし容疑者の話題に神妙「必死で頑張っている」「尿検査も受けている」
中堅ウイスキーランキング9【1500〜4000円】
北陸新幹線総合スレッドPart138
【 巨額詐欺？ Ｌ＆G 】
＜DIV＞最強＜span＞(・∀・)＜/span＞便利＜/div＞
【悲報】イキリ笛太郎さん、限定公開の生放送で囲いに慰めてもらっている模様w★12
マーチンスレだぞ
【ミリシタ】アイドルマスター ミリオンライブ！ シアターデイズ Part1434
乙女@スタンドマイヒーローズ★31【coly】
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
