2014-12-09から1日間の記事一覧

赤集合論p160注意1(p165問1)

【問】\(A\simeq A',B\simeq B'\)のとき、\(A\)が\(B\)に同型な切片を持つならば、\(A'\)は\(B'\)に同型な切片を持つことを示せ。【解答】はじめに、全単射\(f:P\to Q\)の制限写像\(f|_{P_0}\)(\(P_0\subseteq P\))は\(P_0\)から\(P_0^f\)への全単射であり…