12/04/11 17:51:51.07
fをXからYへの写像、gをYからXへの写像とすると
f(A)=B、g(B^c)=A^c となるA⊂X、B⊂Yが存在する。
（A^cはAの補集合）
このことの証明がわかる方はいらっしゃいませんか？
Xのベキ集合からXのベキ集合への写像 A → g( f(A)^c )^c
の不動点を考えるのかもと思いましたが、そこから先に進めません。
12/04/11 17:51:51.07
fをXからYへの写像、gをYからXへの写像とすると
f(A)=B、g(B^c)=A^c となるA⊂X、B⊂Yが存在する。
（A^cはAの補集合）
このことの証明がわかる方はいらっしゃいませんか？
Xのベキ集合からXのベキ集合への写像 A → g( f(A)^c )^c
の不動点を考えるのかもと思いましたが、そこから先に進めません。