设x属于左边,则f(x)∈A' (为打字方便,我用A'表示A的余集)
所以x不属于f^(-1)(A),不然的话,f(x)∈A,矛盾.
所以x属于右边.
设x属于右边,则x不属于f^(-1)(A),于是f(x)不属于A,所以f(x)属于A'
所以x属于左.
证完!
设x属于左边,则f(x)∈A' (为打字方便,我用A'表示A的余集)
所以x不属于f^(-1)(A),不然的话,f(x)∈A,矛盾.
所以x属于右边.
设x属于右边,则x不属于f^(-1)(A),于是f(x)不属于A,所以f(x)属于A'
所以x属于左.
证完!