12/04/14 14:13:40.06
>>373
p(X) : Xのベキ集合
Q＝{a∈p(p(X)) ; ∀b∈a[ g(f(X)^c)∈b ∧ ∀x∈b[g(f(x^c)^c)∈b] ]}
とすると
{ b∈p(X) ; g(f(X)^c) ⊂ b } ∈ Q
だから Q≠φで ∀a',a"∈Q[ a'∩a"∈Q ]
A＝(∪(∩Q))^c, B＝f(A)^c となるけど、∩Q≠φの証明が困るな。
AB 逆にして挟み撃ちする方法でも考えてくれ。
12/04/14 14:13:40.06
>>373
p(X) : Xのベキ集合
Q＝{a∈p(p(X)) ; ∀b∈a[ g(f(X)^c)∈b ∧ ∀x∈b[g(f(x^c)^c)∈b] ]}
とすると
{ b∈p(X) ; g(f(X)^c) ⊂ b } ∈ Q
だから Q≠φで ∀a',a"∈Q[ a'∩a"∈Q ]
A＝(∪(∩Q))^c, B＝f(A)^c となるけど、∩Q≠φの証明が困るな。
AB 逆にして挟み撃ちする方法でも考えてくれ。