Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

It's kind of a simple proof (I think) but I´m stuck!

I have to show that $\operatorname{int} (A \cap B)=\operatorname{int} (A) \cap \operatorname{int}(B)$.

(The interior point of the intersection is the intersection of the interior point.)

I thought like this:

Intersection: there's a point that is both in $A$ and $B$, so there is a point $x$, so $\exists ε>0$ such $(x-ε,x+ε) \subset A \cap B$.I don´t know if this is right.

Now $\operatorname{int} (A) \cap \operatorname{int}(B)$, but again with the definition ,there is a point that is in both sets,there's an interior point that is in both sets,an $x$ such $(x-ε,x+ε)\subset A \cap B$. There we have the equality.

I think it may be wrong. Please, I'm confused!

share|improve this question
1  
It´s better now,@Peter Tamaroff! –  Charlie Jun 9 '12 at 21:08
add comment

2 Answers

up vote 6 down vote accepted

If $x\in\mathrm{int}(A\cap B)$, then there exists $\epsilon\gt 0$ such that $(x-\epsilon,x+\epsilon)\subseteq A\cap B$. And since $A\cap B\subseteq A$ and $A\cap B\subseteq B$, then...

If $x\in\mathrm{int}(A)\cap\mathrm{int}(B)$, then there exists $\epsilon_1\gt 0$ such that $(x-\epsilon_1,x+\epsilon_1)\subseteq A$, and there exists $\epsilon_2\gt 0$ such that $(x-\epsilon_2,x+\epsilon_2)\subseteq B$. Can you find a single $\epsilon$ that works for both sets? Then what can you say about $(x-\epsilon,x+\epsilon)$?

share|improve this answer
    
THANK YOU SO MUCH!!!! –  Charlie Jun 9 '12 at 20:50
add comment

Always remember the trivial inclusion using the property $A\subset B \implies \operatorname{int}A\subset \operatorname{int}B$. Then:

$$A\cap B\subset A,\ A\cap B\subset B \implies \operatorname{int}(A\cap B)\subset \operatorname{int}A,\ \operatorname{int}(A\cap B)\subset \operatorname{int}B$$

therefore $\operatorname{int}(A\cap B)\subset \operatorname{int}A\cap\operatorname{int}B$. The other inclusion is in Arturo Magidin answer.

In same form we can prove the trivial inclusion $\operatorname{int}A\cup\operatorname{int}B\subset\operatorname{int}(A\cup B)$. Using only the fact that $A\subset A\cup B$ and $B\subset A\cup B$.

If you known what is the closure of a set you can prove that if $A\subset B$ then $\overline{A}\subset \overline{B}$. Then the following facts are inmediate:

$$\overline{A\cap B}\subset\overline{A}\cap\overline{B},$$ $$\overline{A}\cup\overline{B}\subset \overline{A\cup B}.$$

Please don't forget it. This observation is crucial and is always used. The other inclusion sometimes is false or sometimes is true, generally you must to use definition indeed this basic properties.

share|improve this answer
1  
So,I could have used only the properties,with no definitions? –  Charlie Jun 9 '12 at 21:43
    
Only in the trivial inclusion. –  Gastón Burrull Jun 9 '12 at 21:48
    
Try to prove the statments that I wrote but I didn't prove. Using set properties :) –  Gastón Burrull Jun 9 '12 at 21:51
    
Ok,Thanks!I think i understood.sometimes i have problems is proofs ,using epsilons...it´s a very stupid mistake,I know,I just can´t make things right ,it stays a little confused.... –  Charlie Jun 9 '12 at 21:56
    
with this property you probably will make faster some of your proofs –  Gastón Burrull Jun 9 '12 at 22:32
show 2 more comments

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.