O Sweet Mr Math

wherein is detailed Matt's experiences as he tries to figure out what to do with his life. Right now, that means lots of thinking about math.

Wednesday, March 21, 2012

6:10 PM

After I introduced set functions, I looked at complements, unions, and intersections of sets as applied to set functions. Now that we are looking at open and closed sets, we can do the same thing. Are unions of closed sets necessarily closed?

Let's start with complements of sets. If X is a metric space, and E is an open set in that metric space, what can we say about about Ec? For example, take X as the real numbers with distance function d(p,q)=|p−q|, and take E as the set of all real numbers x such that x<1. It's easy to show that E is an open set. Take any point x in E. x must be less than one. Define a radius r = (1−x)/2. Then the neighborhood of x with radius r must lie entirely within E. Since this is true for any point in E, E is an open set.

Let's look at the complement of E. Ec is the set of all points in X which are not in E, so in our case it's all real numbers greater than or equal to 1. Look at any limit point in Ec. Any neighborhood of the limit point must contain a point in Ec. This means that no neighborhood of that point can be entirely contained in E, so that point can't be in E. Therefore, that point is in Ec. Since every limit point of Ec is a member of Ec, Ec is closed. Again, in our example, no point less than 1 can be a limit point of Ec, so every limit point of Ec is in Ec, and Ec is closed.

We can run this the other direction as well. Assume E is closed. Choose any point in Ec. This point is not in E, and can't be a limit point of E since E is closed. Since it's not a limit point of E, there exists a neighborhood of the point which contains no points in E, or which is a subset of Ec. Since this is true for every point in Ec, Ec is open.

In other words, if any set in a metric space is open, its complement is closed. If any set is closed, its complement is open. Note that the null set is both closed and open. Also, it's possible for a set to be neither closed nor open, in which case its complement is also neither closed nor open.

Let's look at unions of open sets. If we have a collection of open sets, with each set labeled Eλ for some index set Λ, then we can take the union of all of the sets ∪λ Eλ. If x is some point in the union, then x is a member of one of the individual sets. Since there exists a neighborhood of x in that individual set, and all of the points in that neighborhood are also in the union, every point in the union of sets has a neighborhood in the union, so the union is an open set.

We could probably prove that intersections of closed sets are closed directly. But let's be lazy. Last time I was looking at intersections, unions, and complements of sets, I stated that the complement of a union is equal to the intersection of the complements (De Morgan's Law). If we have a collection of closed sets, each of those is the complement of an open set. If Fα is closed, then Eα is open, where Fα=Eαc. Then ∩λ Fλ = ∩λ (Eλc). But by De Morgan's Law, this equals (∪λ Eλ)c. Since we've already shown that the union of open sets is an open set, and the complement of an open set is a closed set, it follows that the intersection of closed sets is a closed set.

This outcome isn't surprising. And you might expect that intersections of open sets are open, and unions of closed sets are closed. This is sometimes true, but there's a catch, which we'll look at next time.

0 comments

RSS

FAQ

What does "rolls a hoover" mean, anyway?

"Roll a hoover" was coined by Christopher Locke, aka RageBoy (not worksafe). He enumerated some Hooverian Principles, but that might not be too helpful. My interpretation is that rolling a hoover means doing something that you know is stupid without any clear sense of what the outcome will be, just to see what will happen. In my case, I quit my job in an uncertain economy to try to start a business. I'm still not sure how that will work out.

Why is the HTML for this page not valid?

BlogSpot adds the advertisement that appears at the top of this page. That advertisement is not valid HTML and is outside of my control. I believe that aside from that ad, this page is valid HTML.