Tuesday, November 22, 2011

Taking the Measure

Taking the Measure

By Bobby Neal Winters

Introduction

In mathematics, simple concepts can be quite subtle.  Very early, children take out rulers and begin to measure objects.  A foot ruler will suffice to measure a piece of gum; a yardstick is up to the task of measuring one’s forearm; a tape measure will measure a room. None of this is difficult, though it might become tedious if one worries about accuracy, but that is not my concern.  

Hey, I am a pure mathematician; what can I say?  

Let’s leave the so-called practical concern behind. Consider taking a step from the realm of the concrete to the abstract, from the physical world to the world of pure number.

For example, how would we measure the length of an interval on the number line itself.  This isn’t difficult either.  If we consider the length of the interval of real numbers [1,3], we can recognize immediately that it is two units long.  We figure this out because 3-1=2.  It’s simple.  Indeed, if we want to make a more general formula, the interval of real numbers [a, b] is b-a units long. Only subtraction is involved.

You man have noticed that I am using the notation that [a,b] is the set of all real numbers between a and b, including a and b themselves.  If I write (a,b), this means I am excluding both a and b; (a,b] means I am excluding a; [a, b) means I am excluding b.  And all of these intervals are the same length because they differ only by one or two points.  Recall that, as far back as the time of the Greeks, Euclid was saying “A point is that which has no part,” so one or two (or three or fifty) points removed from an interval have no effect on the total length.  Indeed, one may remove any finite set of points from the interval [1,2] and the result will still be two units long.  We aren’t sweating the small stuff.

The sharp reader--and I know you are out there--may have noticed during the course of that last paragraph that I slipped from the concept of the length of an interval to the length of a set. That’s one small step for a man, but one giant leap for Mankind; or Womankind; on Man-unkind if you are e.e. cummings.

In any case, that one small slight of hand opens a whole different kettle of fish.  In order for the general reader to appreciate the problem, I will now spend a little while talking about a simple set of numbers that many otherwise gentle people hate with a fury: fractions!

 

Being Rational


Fractions, I will be talking about them, are better known as rational numbers.  As I am no longer talking about this on a street corner or in a bar--pssst,wanna take a look at my square root?-- I’d best call things by their scientific names.  Rational numbers are numbers of the form m/n where m and n are both integers but n is not zero.  (Remember, dividing by zero makes green hair grow on your palm. Er...never mind.)  I mentioned earlier that many otherwise gentle people hate rational numbers: mathematicians love them.  Mathematicians are rather like cops, soldiers, morticians, grave robbers, or other people whose jobs force them to see things other people don’t have to, and they have a different standard of nastiness.  Compared to  some of the critters we’ve seen, rational numbers are as tame as puppies.

One thing that most people don’t know is that rational numbers are literally everywhere on the real number line.  Between any two real numbers there is a rational number.  This is easy to see; those of you who aren’t up to a dose of algebra can skip the next paragraph.

Take any two real numbers a less than b.  We know that b-a is positive.  One can choose a positive integer n to be large enough so that n times b-a is greater than one.  This means that there is an integer m that lies between n times a and n times be.  It follows that m/n is between a and b.

Mathematicians have a name for this property of the rational numbers.  We say that the rational numbers are dense in the real numbers.  Mathematicians are also frequently referred to as being dense, usually by their spouses, but that is a matter for another day.

 

The Real Thing


I’ve been referring to the real numbers as well as the rational numbers, and the place that they live together in peace and harmony as the number line.  When I was young and full the brashness rightly common to all newly minted PhDs, I understood all this stuff.  As I’ve had a been of that brashness scuffed off me, I’ve lost much of that understanding.  I try now to approach numbers with a child-like humility.  All of this to say that I am now going to explain some things that bright people like yourselves already know.

All rational numbers are real numbers, but not all real numbers are rational: pi is irrational; the square root of two is irrational.  Those are two examples, but there are lots of others.  Most numbers are irrational. When I say that, I could mean any number of different things.  One thing would refer to the concept of number.  The set of rational numbers is countably infinite, but, by way of contrast, the set of real numbers is uncountably infinite.  I’ve talked a bit about this in other essays.  Another thing that I might mean is that the real numbers are infinitely long and the rational numbers have a length of zero.

In case you are surprised that the rational numbers have a length of zero, you are not alone.  Indeed, one of the early methods of attempting to measure sets called “content” measured the rational numbers as being infinitely long as well.  There were problems with content, however.

 

Piecing It Together


The problem with content can be easily explained.  The content of the rational numbers between zero and one is one; the content of the irrational numbers between zero and one is one.  Now, when I take something that is a foot long and stick it together with something else that is a foot long, I don’t expect the result to still be a foot long; I expect it to be two feet long.  It is at this point that we can start making excuse for poor little content, but that would take me too far afield.  Suffice it to say that content just doesn’t measure up.  (If you missed the pun in the last sentence, I urge you to go back and re-read it.  I am very proud of it.)

We want the sum of the length of disjoint sets to be equal to the length of all of those sets put together, and we wan that to work even when we join together a countably infinite number of sets. A fellow named Lebesgue figured out how to do this and it works.  He cleared up a number of problems that we were having with some very technical mathematics at the same time.  We mathematicians love those among us who clear up technical problems.  We tend to name things after them and teach courses about those things.

I teach a course about what Lebesgue did.  It takes me quite a while to get all of the technical details lined up for the graduate students who take it.  I could dump that all on you right now, but you might whimper; my grad students do.  

Rather than may you whimper, let me show you something cool that was opened up by our old friend Lebesgue.

 

The Un-Measurable


Once upon a time, there was an Italian mathematician by the name of Giuseppe Vitali.  (Let’s just call him Joe, okay?) Joe created a set that not even Lebesgue could measure.  I will show you the set before I let you go.  Seriously, if you haven’t noticed, I’ve trapped you in your seat now.  You are mine! You are mine I say! Bwahahaha!

Er.  Sorry.

Suppose that you could create a set V with the following properties:
  1. V is contained in the interval [0,1);
  2. There are sets V1, V2, V3, … each geometrically congruent to V such that
    1. they are disjoint from each other;
    2. there union contains [0,1);
    3. there union is contained in [-1,2).

One might innocently look at those conditions and not think much of it.  It all seems so utterly reasonable.  Well, that just goes to show what you know.

Suppose we call the union of all of these sets U.  As union begins with U this sort of works.  On one hand, since U is contained in [-1, 2) and that interval is no longer than three units long, we know that U is no longer than three units long.  On the other hand, since U contains [0,1) and that interval has a length of one unit, we know that U is at least one unit long.

So far, so good.  It is about to get messy.  

Now if things add up the way they are supposed to, the length of U should be the sum of the lengths of V1, V2, V3, … , right?  As each of these sets is congruent to V and they are all disjoint, this should be easy.  We are just adding the length of V to itself an infinite number of times, right?

Again, the alert reader’s eyebrows may just have arched in a Vulcan-like fashion. This is problem that even those pesky Greeks knew about.  If you add up the same number (non-negative) an infinite number of times, the sum is either zero or infinity.  It’s zero if the number you are adding together is zero, and it’s infinity if is positive.  

So if we there is a set V that has the properties of the of one described, either one is less than zero or three is greater than infinity, or, at least, so it seems.

The faint hearted would stop at this point, but not our Joe.

Joe created V just as we describe above, and he did it in stages.  

Joe first broke [0,1) into some disjoint sets.  The first of these was the set of all rational numbers in that interval.  The rest he obtained by taking copies of the rational by sliding them and rotating them through [0,1).

What’s that? A hand went up in the back.  What do I mean by sliding and rotating?

By sliding I mean that you act as if the rationals are marked on a clear ruler the is laying over [0,1) and then sliding that along to cover other numbers.  By rotating, I mean that when we push the numbers past 1, act as if the interval in bent in a circle back on itself and those numbers pop up past 0.  

“It’s all on a circle, Grasshopper.”

Anyway, once you’ve broken the interval [0,1) into pairwise disjoint sets in that way, you choose one number from each of those sets and form V from those points.

The studious drudges who occupy the ranks of the mathematical world can verify that V satisfies the demands that we’ve put on it.  

We are left with a crisis.

 

Resolving the Crisis


I’d said above that we were left with the choice that either one is less than zero or three is greater than infinity.  I left out an alternative.  That is that there are just some sets that can’t be measured. The set V is such a set.

In solving problems, mathematicians often find more than they bargained for.  This is such a case. Above, quite innocently, I told you to form V by just picking a point from each one of the disjoint sets described.  That particular action is now referred to as the Axiom of Choice.  It is a method of creating sets that people hadn’t given too much thought to up until that point.

They started thinking about it.

I may as well, but I will be like Scarlett O’Hara and worry about it another day.

Saturday, November 12, 2011

Teaching, Writing, and Mathematics

Teaching, Writing, and Mathematics

By Bobby Neal Winters

I have been thinking recently about the writing of mathematics.  This is rendered to being a highly academic exercise as I have not produced any original mathematics to write about for quite some time.  I don’t bring very much credibility with me to this endeavor because during the brief interval I was producing original mathematics I cannot say that I was a very good expositor of it.  
What has happened in to bring my thoughts to the writing of mathematics?  One thing is that I have begun writing myself.  I began writing a weekly column for the local news paper about 10 years ago.  Figure 52 columns a year--I never miss a week--and seven hundred words a column--I usually overrun that barrier--and this comes to about 364,000 words.  I write things besides my column so I will say that I’ve produced about half a million words in the last ten years.  If repetition is the mother of learning--and I believe it is--then I may have learned something about how to write.
In addition to this, it has been my pleasure to teach out of a pair of very well-written books: A Radical Approach to Real Analysis and A Radical Approach to Lebesgue’s Theory of Integration, both written by David Bressoud.  These books are, as I said, well-written, but I think more important to their effect on me is they are written as historical approaches to their particular subjects.  
The historical approach has been very enlightening to me.  Mathematics is a land populated by optimizers and those seeking efficiency through brevity.  A result is discovered and proven with great difficulty.  Then time is spent in organization working out theory wherein the proof of the result seems not only easy but inevitable.  The historical approach allowed me to appreciate that what has been rendered as clear as glass to students of the subject today was once a riddle in a mirror.
As a teacher, it reawakened the excitement of the subject in me.
But in presenting this material to my classes, I’ve reproduced the older proofs of various results that have been included and in doing so I’ve noted a difference in style with much of modern mathematics.  There is a tendency in modern mathematics to drift toward the abstract.  This is a reasonable tendency as the abstract proofs tend to be cleaner and tend to give broader results, i.e. if I prove something about metric spaces, then I prove it about the real numbers, the complex plane, and spaces of functions at the same time.
That is something of an illusion, however.  The abstract structures are out-growths of specific examples.  The examples were originally things that were interesting in themselves and drove the construction of theory to discuss them of abstract structures to more easily prove results about them.
It is somewhat ironic that my experience as a mathematician helped me to be a better writer of things besides mathematics.  As a topologist who studied 3-manifolds, I took trips in my head to places no one had been before and then attempted to explain them to those who’d remained at home.  I learned the art of description as I described these strange places. In the construction of proofs order is important.  In good writing, some things must be explained before others can be understood.
As a writer, it seems to me that in well-written mathematics, well-constructed examples serve the same purpose that metaphors do in good writing.  Much writing seeks to create in you a picture that I have seen in me.  This is true whether I am writing about house cats, building a computer, or mathematics.  If I am to be successful, I must reach you by beginning with a thing you already understand and build from it.  Our shared experiences make communication possible.  Mathematically, the creation of a well-chosen example gives writer and reader a common, shared experience from which the writer may then deviate in order to build.
This technique is especially evident in the proofs in analysis that begin with the proof of a simple, very special case and proceed through stages of increased generality until the most general case is proved.  At its best, one can see the whole of the problem is in that very special case and the succeeding generalizations are simply minor modifications of the original proof.
There have been times when I’ve complained that too much of the time we who teach mathematics treat it as a murder mystery.  We withhold or downplay certain very important details.  We keep things to ourselves as our own little secrets.
I think I know why we do this.  We are trying to teach our students how to think for themselves.  There is a reluctance to “lay out everything plain” because it will deny the students the joy of the gestalt that we ourselves experienced, the joy that led us to become mathematicians.
I must say that there is much virtue to this point of view.  The problem is that it is so easy to do very, very badly.  There is also a tendency--among some in the profession--to use this as a technique to build up their own egos at the expense of their students’. This is far from universal, however.  Much more of a problem is judging difficulty.  What is easy to a professional might be insurmountable to a student.  The teacher’s job is to lay out bread crumbs to tempt the student to the point of gestalt but not so many as to rob the student of the joy of that gestalt. The fat cat will catch no rats.  Not that a cat eats bread crumbs, but sometimes you have to mix your metaphors.
In our teaching, in our writing, we must free ourselves to ape literature.  We we must foreshadow the great mathematical truths to come with smaller, more easily digestible truths.  When the student finally comes to the climax, he must be so prepared that the final step to him is nature, the final joy is true, but he should then be able to reexamine his steps and realize his arrival at this particular point was no accident.
I mentioned at the beginning of this article that when I was producing original mathematics I wasn’t a particularly good expositor of it.  There are those who will read that sentence and recognize me as a master of understatement.  While a careful study of my articles would undoubtedly produce additions to this list, I believe I had two major problems: impatience and an over-reliance on notation.
I believe we can all agree that taking one’s time to do a good job is a virtue.  A lack of patience can cause a lack of proper care.
Creating notation is a way around the difficulties we sometimes encounter in natural language.  Creating a well-chosen metaphor, a well-created example is another.  The example has the advantage that someone might name it after you one of these days.
If I were suddenly given my mathematical life to live over, I hope that I would choose to grasp onto mathematical exposition as the true art that it can be.  To first live the mathematical adventure and then tell the tale, and to understand the telling of the tale is as at least as important as the adventure because its purpose is to convince others to have adventures themselves.
(Bobby Winters is Assistant Dean of the College of Arts and Sciences and Professor of Mathematics at Pittsburg State University. He now holds the title of University Professor.)