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.

Tuesday, April 10, 2012

10:46 PM

I want to clean up last week's post about infinite intersections of compact sets. But first I want to complain about the presentation of the material on compact sets in Principles of Mathematical Analysis. This book, or at least this chapter of the book, is significantly short on two things: motivation, and examples.

I'm sure Rudin knows why he's presenting all of this material here. I assume that in a few chapters, he'll be discussing continuity and say something like, "this set is compact, so it has this useful property, which allows us to conclude this result," and I'll look at it and think that the result looks like it might be kind of interesting and so I'm glad I spent so much time on compact sets. Except then I probably won't understand why the result is actually important, because he won't provide any motivation there either. And the way it's written will probably be closer to "This result follows from Theorem 2.46" and I will flip back to the theorem and have to figure out why it's relevant to the current situation. Rudin is a man of few words and doesn't feel a need to make things easy for the reader.

It would be easier to figure out what's actually important if I had a sense of where things were going. To a certain extent, it can be easier to follow a chain of mathematical reasoning if you start at the conclusion and work backward from there. This can end up fragmenting the thought process, so it may be necessary to develop all the pieces in reverse order, and then reassemble them in forward order so the whole chain of thinking becomes clear. Right now I don't know what the end goal is, so I'm just hanging on and hoping I pick up the right details so it makes sense when I get there.

In my blogging, I have a short term goal I'm working toward. I'm not saying what it is, so I'm probably as guilty as Rudin about not providing motivations. I know I can get there, but I don't yet have the full picture in my head, so I'm hoping that when I do get there, I will have already included all the necessary details. Once I reach this goal, I plan to move on to a different topic. I currently expect to get there some time next week, but last week, I thought I would get there this week, so it's turning into a moving target.

The second thing Rudin doesn't really bother to provide is examples. He provides the definition of compact sets, and it involves infinite collections of sets. Any time you have to talk about infinite anything in order to define something, actually understanding the definition is hard work. So it would be great to have some concrete examples to make sense of the definition. Instead Rudin launches straight into theorems about compact sets, and we're quickly looking at theorems involving infinite collections of compact sets, and this is way too much infinity to think about.

Which brings me back to Thursday's post. I set out to provide an example of an infinite collection of closed but not compact sets. Unfortunately, the sets in my example were not closed. My sets were based on two rational numbers p and q, taking all rational numbers x such that p ≤ x ≤ q, on the real number line. A moment's thought leads to the conclusion that these may be closed sets on the rational number line, but they are not closed on the real number line. The definition of a closed set is that every limit point of the set is a member of the set. Any irrational number between p and q is a limit point of this set. You could say that this is because the rational numbers are dense in the real numbers. But it also can be shown pretty directly from the definitions of limit points and closed sets. Since the irrational numbers are excluded from the sets as I defined them, they are not closed.

So let's start over, with a new collection of sets, which are actually closed. Pick a natural number n. On the real number line, take the set of all real numbers x such that x ≥ n. (Just a reminder that as I've been using it, the real number line is the set of real numbers with distance function d(p,q) = |p−q|. The real number line is a metric space.) The set of real numbers greater than or equal to n is a closed set. No point less than n can be a limit point of the set, and the set includes all points greater than or equal to n, so it must be closed.

That's one set. Now, take the collection of all sets with every starting value of n. We can number them, and say that set A1={x∈ℝ: x≥1}, A2={x∈ℝ: x≥2}, and in general An={x∈ℝ: x≥n} for any natural number n. Since the set of natural numbers is infinite, the collection of sets is infinite.

Now, take some finite collection of these sets, for example, A1, A5, and A17. The real number 2 is in the first set, but not the other two. However, the real number 18 is in all three sets. 18 is a point in the intersection of the three sets, so the intersection is not empty. In general, in any finite collection of sets, there will be a set with a maximum starting point, and all real numbers greater than or equal to that starting point will be in the intersection of the sets. Any intersection of a finite collection of these sets is non-empty.

But let's look at the infinite collection of all the sets. For any real number x, there exists a natural number n greater than x. An is one of the sets in the infinite collection, and x is not a member of An, so x is not a member of the intersection of the infinite collection. This is true for any real number x, so the intersection of the infinite collection of sets is empty.

However, An is closed, but it is not compact. To show that, let's construct an infinite open cover of An, where if we remove any set in the open cover, it will no longer cover An. Therefore no finite subcover of the infinite open cover exists, and An is not compact. For each natural number greater than or equal n, construct an neighborhood of radius 3/4 centered on that number. (The radius has to be greater than 1/2 so all the sets overlap, but it has to be less than or equal to 1 so they don't overlap too much.) The neighborhoods are open sets, each covering part of An. It should be clear that every real number in An is covered by the open set centered on the nearest natural number, so the collection of all the neighborhoods is an open cover of An. Since the set of natural numbers greater than or equal to n is an infinite set, the collection of open sets is infinite. If any set in the cover is removed, the number the set was centered on will not be covered by any other set, so no finite subcover exists. Therefore, An is not compact.

My example from Thursday also failed because we haven't shown yet that closed intervals on the real number line are compact sets. We will show that soon, probably at the beginning of next week, but until then I should use a different example, of sets that we have already shown are compact. So far, we have one example, from the post where I defined compact sets. This is the set of all rational numbers of the form 1/n, where n is a natural number, and the number 0.

We can turn this into a collection of compact sets. Call KN the set of all rational numbers of the form 1/n, where n is a natural number greater than or equal to N, and the number 0. So K1 is the original set, and as N increases, we chop off points from the right side of the set. Now, for any finite collection of KN, there's a maximum N, and all points of the form 1/n, where n is greater than or equal to that maximum N, are in the intersection of all the sets.

If we look at the collection of all of the sets KN, for any number 1/n, there is an N greater than n. Since KN is a member of the collection, no point of the form 1/n is in the intersection of the infinite collection. (Question, in case anyone is still reading: is this sufficient, or should I include an example with actual numbers substituted in for the n's and N's? In general, I'm unsure of the level of specificity I should use in my examples to make them comprehensible.) However, every set in the collection also includes the number 0, so the intersection of the infinite collection of sets consists of a single point, 0.

Revisiting my conclusion from last time, every one of the closed sets An is an infinite set. And the intersection of a finite collection of these sets is an infinite set. In a finite collection, there are points which are in some of the sets but not in the intersection of the sets, so in that sense the intersection is smaller. This can be misleading, since the sets are all infinite and the cardinality of the sets is the same, so looking at the cardinality, all of the sets are the same size. In any event, the intersection of all of the infinite sets is empty.

In comparison, the compact sets Kn are also infinite sets. The intersection of a finite collection of these sets is also infinite. However, the intersection of the infinite collection of sets is not empty. In this case, it is the single point 0. We could also construct collections of compact sets such that the intersection of the infinite collection is any finite size, or any infinite set. The point of the theorem from last time is that unlike with the closed sets, with compact sets the intersection of the infinite collection will never be empty.

One of my goals with my examples from Thursday was that the sets not be subsets of each other. If the compact sets are labeled by Kα, the values of α don't even have to be ordered, but if they are, Kn+1 does not have to be a subset of Kn. I abandoned that goal for my example this time, and the compact sets I've used are in fact all subsets of other sets in the collection. This is a useful special case of the theorem, but it is not a requirement of the theorem. Now that I have a working example, I can only hope that it is not overly specific.




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.