メモ：Shulmanの『圏論のための集合論』と推移的モデル

Shulmanの『 Set theory for category theory 』を読んでいるのですが、本論に影響しない範囲ではありますがアヤシイ記述を見つけてしまったのでメモを残しておきます。

本人もこのテキストに関して「改訂の必要がある」と 言っている ので、(以下の内容を言っているかはわかりませんしそれに限らないかもしれませんが) 注意して読むべきテキストであるということに留意しなければなりません。内容としては圏論でなおざりにされがちな「大きい」という概念について切り込んで、集合論的な基礎づけを与えようといういい試みなので、ぜひともいつか書き直していただきたいところではあります。

問題の内容は以下の通りです：

Now, a priori a model of $\mathrm{ZFC}$ consists only of a set $M$ and a relation $E\subset M\times M$, to be interpreted as ‛membership’, such that the axioms of $\mathrm{ZFC}$ hold. However, we want the elements of a set in $M$ to be the same as its elements in $V$, so it is natural to require that E coincides with the actual membership relation $\in$ in $V$, and that M is transitive, meaning that $x\in y\in M$ implies $x\in M$. In fact, any model is isomorphic to a transitive one, called its (Mostowski) transitive collapse, via an isomorphism defined inductively by $T(x)=\{T(y)\mid yEx\}$. Thus, nothing essential is lost by considering only transitive models.

おそらく このページ で指摘されているような「よくある誤解」に嵌ってしまったものと推測されます。モデル$⟨M,E⟩$上での正則性公理は
$$\mathrm{\forall }S\in M.(\mathrm{\exists }s\in M.sES\to \mathrm{\exists }xES.(\mathrm{\forall }yES.\mathrm{\neg }(yEx)))$$
と記述され、一方で$M$上の関係$E$の整礎性は
$$\mathrm{\forall }S\subset M.(\mathrm{\exists }s\in M.s\in S\to \mathrm{\exists }x\in S.(\mathrm{\forall }z\in S.\mathrm{\neg }(zEx)))$$
で記述されます。ここから、モストフスキの崩壊定理はこのままでは適用できないことがわかります。

詳細は各参考文献の写経となってしまうので割愛しますが、モデルと整礎性について、以下のようにまとめられます：

• $\mathsf{ZFC}$のモデル$⟨M,E⟩$は正則性公理をモデルしている。すなわち、整礎性を$⟨M,E⟩$によって解釈したものが成り立つ (石井は$E$-整礎と表現している [1])。
• $E$が$M$上の整礎関係 ($\in$-整礎 [1]) であるならば、モストフスキ推移崩壊
  $$\pi (x)=\{\pi (z)\mid zEx\}$$
  が定義できる。これは$M$から推移クラスへの写像を定める。
• 整礎関係$E$が外延的 ($\mathrm{\forall }x,y\in M.\{z\mid zEx\}=\{z\mid zEy\}\to x=y$) ならば、モストフスキの崩壊定理から$\pi$は同型。
• $\mathsf{ZFC}＋「\mathsf{ZFC}のモデルが存在する」{<}_{\mathsf{Con}}^{\mathsf{ZFC}}\mathsf{ZFC}＋「\mathsf{ZFC}の推移モデルが存在する」$[4]

ということでモデルを推移的モデルに限定することは若干の一般性を失うことがわかります。一方で、引用文中でも書かれている通り、関係$E$がメタ理論の$\in$と符合してほしいという要求は自然なものですから、ここで推移的モデルに話を限定することも特におかしなことではありません。

また、推移的モデルに話を限定したとしてもレーヴェンハイム-スコーレムの定理によって可算推移モデルの存在が示されるため、圏論の基礎付けといった用途には結局不十分な条件であったということがわかります。その意味でこの (おそらく) エラーは枝葉なのですが、"よくある"誤解と指摘される程度には混乱をもたらすと思われる箇所ですから、ここにメモとして残しておきます。