Cute Proofs: Closure of the Union is the Union of the Closures.

March 24, 2011

Anecdote!

Every so often I like to go back and read through some basic algebra or basic point-set topology and try to think of new ways to look at the easier, more fundamental problems.  I’ve been going through Bredon’s Algebraic Topology to prepare for a topology topics class next semester and there are two wonderful things about this book:

  1. It is concise*.  When you read Bredon and Hatcher back-to-back you’ll understand what I mean here: while I do love Hatcher’s long motivating paragraphs (and, in fact, I attempted to mimic his method of explaining things in depth when I first began this blog), I tend to get lost in his prose at times.  (On the other hand, Bredon’s book had significantly less motivation.  Significantly less.)
  2. The questions are few, but proud.  No one can deny that Hatcher’s book has a ton of enlightening and challenging questions.  On the other hand, Bredon’s questions are generally more focused toward the section immediately preceding it (helping the beginning student) and are generally quite interesting (which is not to say the Hatcher ones are not!).  The nice part about Bredon’s book is that you could easily assign students a section and ALL of the associated questions and they would probably not complain too much since there’s usually only three or four associated questions.  Not so with Hatcher.

(*Perhaps not as concise as May’s book, though!)

 

Closure of a Union, Union of Closure.

The question I picked to write about today was one that stuck out to me in one of the introductory sections of Bredon.  At first glance, I didn’t actually believe it was true as stated.  The statement is as follows:

 

Proposition.  Given some topological space X and A,B\subseteq X.  Then \bar{A}\cup\bar{B} = \overline{A\cup B}

 

Why should I doubt such a nice claim?  In the language of limit points, this means that if we take A and all the limit points of A as well as B and all the limit points of B and we union these together, then this union can’t have any limit points.  This didn’t quite sit well with me — couldn’t we have so many limit points so densely packed that they’d make another limit point that we didn’t include at first?  Well, let’s prove this proposition which will show that I was insane for thinking such things!

 

Proof.  One direction is easy.  It was told to me today (by a wise professor!) that a good way to see if someone understands a topic is to give him an if and only if proposition and see if he knows which is the "easy direction."  In this case, if x\in \bar{A}\cup\bar{B} then x\in\bar{A} or x\in\bar{B}.  Let’s suppose x\in \bar{A} is true without loss of generality.  Then x\in A or x is a limit point of A.  Either way, x\in \overline{A\cup B} (if you don’t see this, prove it straight from the definition of limit points). 

Now suppose x\in \overline{A\cup B}.  Then either x\in A\cup B or it is a limit point of the union.  If x\in A\cup B then x\in A or x\in B; then clearly x\in \bar{A}\cup\bar{B}.  Now suppose x\notin A and x\notin B.  The best way I’ve found to do this "limit point" part is to do it by the contrapositive: suppose that x is not a limit point of either A or B; we’ll then show that it isn’t a limit point of A\cup B.  This is equivalent to showing that if it is a limit point of A\cup B then it must be a limit point of either A or B

If x isn’t a limit point of A or B, then we have that there exists some U, V open containing x such that

A\cap U = \emptyset

B\cap V = \emptyset

but then we note that U\cap V will also be open, and it will also contain x.  But this implies that

(A\cup B)\cap (U\cap V) =\emptyset.

(Can you see this?  Suppose there was some point p in the intersection; then it’s in BOTH U\cap V and A\cup B.  But that means that it’s in U and V and it’s in either A or B.  If it’s in A this is a contradiction, since it’s also in U, but A\cap U = \emptyset.  Same for B and V.  Cool.)

And that completes the proof.  \Box.

 

Let me note here that I am a huge fan of limit point arguments but there are most likely alternate, more clever ways to do this proof.  I simply think this one is nice and visual.

Advertisements

4 Responses to “Cute Proofs: Closure of the Union is the Union of the Closures.”

  1. Chris said

    I am doing a report on the Civil War for my 5th grade class. I have not found information like the material you have here concerning Lincoln’s plan to keep the Union together. Thank you very much!

    I will make an entry in my bibliography for this internet website.

  2. Anonymous said

    Random kid has no idea what this means and assume it deals with the union….

  3. Murtala Sadi said

    I’m very grateful for this, becaure i learnt alot from it

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: