I want to prove this theorem:
" Let U be an open subset of a metric space X,and A be an arbitrary subset of X. Prove that the intersection of U and closure of A is empty if and only if the intersection of U and A be empty. "
I've proved one direction of this theorem:
If the intersection of U and closure of A is empty then the intersection of U and A is empty too.
The closure of A is equal to the union of A and the set of all limit points(accumulation points) of A. Then we can use this definition of the closure of A. then after substitution, we have:
[ intersection of A and U ] U [intersection of U and the set of limit points of A] = empty set
so it says that both the sets [ intersection of A and U ] and [intersection of U and the set of limit points of A] should be empty.