How Can I Prove These Topology Statements?

[rolylane]

Hello

I have a proof that I need to try to work out but I'm not really getting too far and need help if you could at all. The question is

Let A and B be two subsets of a metric space X. Prove that:
Int(A)\bigcupInt(B)\subseteqInt(A\bigcupB) and Int(A)\bigcapInt(B) = Int(A\bigcapB)
I also have to give an example of two subsets A and B such that Int(A) \bigcup Int (B) ≠ Int (A\bigcup B)

Any help at all would be so great
Cheers

 

[andytoh]

Let x be in intA U int B. Then, WLOG, assume x is in int A. Then there exist a basis element U containing x and contained in A and therefore contained in A U B. The second question requires doing this in both directions.

 

[rolylane]

Topology

Hi andytoh

Thank you for taking the time to reply to my question. Just one thing, I'm new to this so could you tell me what WLOG means?

Thanks again

Let x be in intA U int B. Then, WLOG, assume x is in int A. Then there exist a basis element U containing x and contained in A and therefore contained in A U B. The second question requires doing this in both directions.

 

[andytoh]

"Without loss of generality", since the roles of A and B are symmetric.

Incidentally, #1 can be generalized to any collection (finite or infinite) of subsets, and #2 can be generalized to any finite collection of subsets.

 

[andytoh]

Counterexample of Int(A) U Int (B) ≠ Int (A U B):
A=[-1,0], B=[0,1]

Counterexample of #2 with an infinite collection of subsets:
Use {(-1,1), (-1/2,1/2), (-1/3,1/3), (-1/4,1/4), ... }
Left side = {0}, but right side = empty.

 

[rolylane]

topology

Thank you so much, once again, for your replies. I really appreciate your help

Cheers