# Need help with a proof on closure

by life is maths
Tags: closure, proof
 P: 38 Hi, my instructor left this as an exercise, but I got confused in the second part. Could you please help me? cl(A$\cap$B)$\subseteq$cl A $\cap$ cl B But the reverse is not true. Prove this and give a counterexample on the reverse statement. My attempt: If x$\in$ A$\cap$B, then x$\in$ cl(A$\cap$B) x$\in$ A and x$\in$ B $\Rightarrow$ x$\in$ cl(A) and x$\in$cl(B). Hence, cl(A$\cap$B)$\subseteq$cl A $\cap$ cl B Does this proof have any flaws? It is an easy one, I guess, but I feel a bit confused. And I do not understand why the reverse is wrong. Can't we use the same method? Thanks for any help.
 P: 192 I presume this is topology? Closure can mean a few different things. In your proof, you only showed that $A\cap B\subset$ the right-hand side. However, this is a good start. The LHS is a subset of the RHS, which is closed. Now take the closure of the LHS. Can we show that it doesn't get "bigger" than the RHS, keeping in mind that the RHS is closed.
 PF Patron Sci Advisor Thanks Emeritus P: 15,673 You seem to prove that if $x\in A\cap B$, that then $x\in cl(A)\cap cl(B)$. This is certainly true, but it only proves that $A\cap B\subseteq cl(A)\cap cl(B)$. You need an extra argument to conclude that $cl(A\cap B)\subseteq cl(A)\cap cl(B)$.
P: 18

## Need help with a proof on closure

As noted, your "proof" is incomplete; you must also consider elements that are limit points of A intersect B.

For the counterexample, consider the open intervals (0,1) and (1,2).
 PF Patron Sci Advisor Thanks Emeritus P: 38,395 What is your definition of "closure"? There are several equivalent definitions and how you would prove this depends upon which you are using. For example, some texts use "cl(A) is A union all limit points of A" while others use "the smallest closed set containing A" and still others "the intersection of all closed sets containing A".
P: 38
 Quote by micromass You seem to prove that if $x\in A\cap B$, that then $x\in cl(A)\cap cl(B)$. This is certainly true, but it only proves that $A\cap B\subseteq cl(A)\cap cl(B)$. You need an extra argument to conclude that $cl(A\cap B)\subseteq cl(A)\cap cl(B)$.
Thanks, micromass, but I don't understand why I need an extra argument. Is it for the case that A and B are not both open or closed? Or neither open nor closed?

Spherics, I had found this myself while thinking before sleep :) cl(0,1)=[0,1] and cl(1,2)= [1,2].
Their intersection is 1, but the closure of their intersection is 0. Therefore, the reverse is wrong. This is how to do it, right?

HallsofIvy, I tried to use the definition of closure as the one ''The smallest closed set containing A'' which is IntA$\cap$ Bd(A).

Thanks for your time and effort, and I would be greatful for further help :)
 P: 192 The definition you wrote is always empty. You probably mean union, not intersection.
 P: 38 That was a mistake, sorry. I meant IntA$\cup$IntB.
 P: 192 Whether or not an extra argument is needed is a matter of context, really. In your particular course, it may be that your professor is okay with "(A$\subset$B) and (B is closed) implies cl(A)$\subset$B". That is, if you're inside a closed set, and you take a closure, you won't move outside that closed set. You might have skipped this step in your logic, or you might've been aware and just not mentioned it.
P: 18
 Quote by life is maths Spherics, I had found this myself while thinking before sleep :) cl(0,1)=[0,1] and cl(1,2)= [1,2]. Their intersection is 1, but the closure of their intersection is 0. Therefore, the reverse is wrong. This is how to do it, right?
Almost, but not quite. To contradict the statement

cl(A$\cap$B)$\supseteq$[cl A $\cap$ cl B]

you must exhibit an element of [cl A $\cap$ cl B] that is not in cl(A$\cap$B). As you noted, if A=(0,1) and B=(1,2) such an element is 1, for

1$\in$[cl A $\cap$ cl B] but 1$\notin$cl(A$\cap$B)=$\phi$

 Related Discussions Calculus & Beyond Homework 2 Calculus & Beyond Homework 5 Calculus & Beyond Homework 5 Calculus & Beyond Homework 5 Calculus & Beyond Homework 4