前日
圏を定義しようとして毎回、まあこれは集合になるとは限らず一般にクラスと呼ばれるものになるんですが僕には聞かないでください…(小声)ってなるのほんま辛いからなんとかしたい
2016-03-20 00:42:07@kyow_KU Grothendieck宇宙と呼ばれる集合を使うと、クラスになっちゃうような圏を考えなくて済むようになるので、圏を定義するとき集合だと言ってしまってよくなるわけですね。
2016-03-20 01:04:12@alg_d へぇーそういうものだったんですか でもそんなことをしちゃって大丈夫なんですか?全ての集合の集まり云々の話と矛盾してしまう気がしてしまうのですがどうなんでしょう
2016-03-20 01:05:44@kyow_KU Grothendieck宇宙を取る人の立場というのは、極端な言い方をすると「Grothendieck宇宙に含まれない集合は集合とみなさない」というものです。Grothendieck宇宙と呼ばれる集合Uを一つ取ったとき、Uに含まれる集合を「U-smallな集合」と
2016-03-20 01:10:45@kyow_KU いいます。この立場では、基本的には「U-small」なもののみ考えます。例えば「群」を考えるときはU-smallな群(底集合がU-smallな群)だけ考えるし、「位相空間」を考えるときはU-smallな位相空間(底集合がU-smallな位相空間)だけを考えます。
2016-03-20 01:12:12@kyow_KU すると群の圏Grp(正確に言えばU-smallな群の圏)は、対象の集まりも射の集まりも集合になるし、位相空間の圏Top(正確に言えばU-smallな位相空間の圏)も、対象の集まりも射の集まりも集合になります。
2016-03-20 01:13:26@kyow_KU もちろん、テキトーな集合Uを取ってこんなことを考えてしまうと、GrpとかTopが(余)完備にならなかったりしますが、Grothendieck宇宙はそういうのがうまくいくように定義されているわけです。
2016-03-20 01:14:22@alg_d 対象の集まりも射の集まりもU-smallでない集合になるだけである、と言えるようにする為に上手い公理を定めたのがGrothendieck宇宙という理解でいいですかね?
2016-03-20 01:17:41@kyow_KU いいと思いますが、僕自身はGrothendieck宇宙を仮定したことがなくて、Grothendieck宇宙がどのくらい本質的なことなのかはよく分からないです。(例えばSGAなんかはGrothendieck宇宙を仮定していることで有名ですね)
2016-03-20 01:21:44@kyow_KU 「Grothendieck宇宙を仮定する立場で」と付けたのは、例えばZFCではGrothendieck宇宙が存在することを証明できないからです。
2016-03-20 01:30:28