Let X be a metric space ,then show that
(a) A subset F of X is closed iff Fc is open .
(b) A subset E of X is open iff Ec is closed .
(a) By the definition, is a closed subset of , iff any accumulation point of belongs to . If then let . Since for all , it must be .
Suppose . Then and thus, there exists such that . Therefore, and either or is an accumulation point of . Since is closed, in both cases , contrary to the condition that .
Therefore, . In particular, this means that for all . Thus, the open ball does not contain any point of . Therefore, , and we proved that contains any its point with some open ball of non-zero radius. This means that is an open subset of .
Conversely, let it be given that is an open subset of . We will prove that is a closed subset of , that is, any accumulation point of belongs to .
Let's assume the contrary: there exists a point which is an accumulation point of but . Since and is an open subset of , an open ball lies inside for some . That is, for all . But since is an accumulation point of , there exists a sequence ( ) that converges to . Thus, , which contradicts to the inequality . Therefore, the assumption is not valid. This implies that is a closed subset of .
(b) The assertion "A subset E of X is open iff Ec is closed" is equivalent to " is closed iff is open." Since , this is a consequence of the assertion of part (a).
Comments