Lesson 21: The Necessity of Irrationality

We are currently at a turning point in these lessons, where the coming lessons will be exploring very different aspects of sets than those that we’ve been studying so far.  Accordingly, I thought this would be a nice place to insert a lesson that may seem somewhat out of place, though is nonetheless absolutely vital to see at least once.  In this lesson, we’ll see that the real numbers that we’ve seen in the previous lesson and in lesson 13 are in fact, well, real.

Before I discuss what this actually means, let me first introduce some notation that will end up being useful for us in the future.  Let A and B be sets, and suppose that B is a subset of A.  We’re now going to denote the phrase “B is a subset of A” as B\subseteq A.  In order to remember which set goes on which side of the “\subseteq” sign, we can think of this symbol as being similar to the “less than” symbol that we use to compare numbers.  In particular, when we want to write that a number, call it “a”, is “less than or equal to a number ‘b'”, we simply write a\leq b.  The similarity in appearances of this symbol with the above symbol should help the reader remember which set goes where.

There are even more similarities between the symbols and their respective meanings.  Recall that since any number is less than or equal to itself (in particular, it is equal to itself), we can always write “a\leq a” for any number “a”.  Similarly, since any set is a subset of itself, we can always write “A\subseteq A” for any set A.  Also recall that we can flip the direction of the “\leq” sign, so that “a\leq b” and “b\geq a” have exactly the same meaning. We read the former expression as “a is less than or equal to b” and we read the latter as “b is greater than or equal to a”, and clearly these reflect the same abstract idea.  Similarly, we are at freedom to write “A\subseteq B” or to write “B\supseteq A” to express the same meaning.  We read the former as “A is a subset of B” and the latter as “B contains A”.

Lastly, we recall that when we compare numbers we have the extra symbol “<”.  If we write “a<b”, then we’re saying that “a” is strictly less than “b”, meaning that “a” is actually less than “b” and not equal to it.  Similarly, we employ the symbol “\subset” to denote the same idea when comparing sets.  Thus, when we write “A\subset B”, we mean that A is a subset of B and is not equal to B, so that every element in A is in B but that there is at least one element in B that is not in A.  Note that if A\subset B, then A\subseteq B, but it is not the case that if A\subseteq B then A\subset B, simply because in the latter case “A=B” provides a counterexample.    Thus, we’re always safe in writing “A\subseteq B”, because the meaning of that expression contains the meaning of the expression “A\subset B”.  The latter expression, however, carries more information in it (namely that A \neq B), so we have to be a bit more careful when we use it.

Now why am I introducing this notation here?  I do so because it will help us compare some of the important sets we’ve seen so far.  Recall that we’ve considered the set of natural numbers, which we (and everyone) denote by \mathbb{N}, and which consists of the elements \{1, 2, 3, 4, ...\}.  We also have the set of integers, which we denote by \mathbb{Z}, and which consists of the positive and negative whole numbers: \{..., -3, -2, -1, 0, 1, 2, 3, ...\}.  Next, we have the set of fractions, both positive and negative, which we denote by \mathbb{Q}.  This set consists of the expressions \frac{a}{b} where a,b\in\mathbb{Z}, and where we consider two of these expressions the same if one can be “reduced” to the other.  Thus, \frac{5}{10}=\frac{1}{2}=\frac{36}{72}.  We often call an element of \mathbb{Q}rational number (for more on this set, see lesson 11).  Lastly, we have the real numbers, which is in some sense the set of all numbers.  For now, we can think of this set as the set of all expressions of the form

B.b_1b_2b_3b_4...

where B\in \mathbb{Z} and each b_i\in \{0, 1, 2, 3, 4, 5, 6, 7, 8, 9\}.  With all of the above notation, we have that \mathbb{N}\subset \mathbb{Z}\subset \mathbb{Q} \subseteq \mathbb{R}.

If you’ve read lesson 13 then you’ll know that I could also have written \mathbb{Q}\subset \mathbb{R} since \mathbb{R} has a larger infinite cardinality than \mathbb{Q} does, but since that was an “optional” lesson I decided to use the \subseteq symbol (because it’s not necessarily clear that these sets are not equal unless you’ve read that lesson).  I’m warranted in using this because it is known that any fraction can be expressed as an infinite decimal, and is therefor an element of \mathbb{R}.  What is not obvious, however, is that \mathbb{Q}\neq \mathbb{R}.  I.e., it is not obvious that there are numbers that can be written as infinite decimals but cannot be written as a fraction.  The rest of this lesson will show this fact.

In particular, we’ll show that the square root of two (i.e., that number which, when multiplied to itself, gives you 2), written as \sqrt{2}, cannot be written as a fraction.  Why is this significant?  Well, \sqrt{2} is in a very clear sense a “real” number, in that it plays a key role in very practical mathematics.  For example, if we consider a right triangle like that shown in figure 1, and if we let the side lengths of “a” and “b” both equal 1, then Pythagoras and his theorem tell us that the length of “c” is \sqrt{2} (via the famous and likely familiar formula a^2+b^2=c^2).  We obviously want to have a system of numbers that describes this basic geometric object, and therefore \sqrt{2} has a very real and necessary existence.

Figure 1: a^2+b^2=c^2

Figure 1: a^2+b^2=c^2

We’ll now show that \sqrt{2} cannot be written as a fraction, and is therefore irrational.  We use this terminology because numbers that are not fractions are then, by definition, not rational numbers (defined above), and in a very clear way the numbers that aren’t fractions are seemingly “less real” and/or “less tangible” simply because they have this elusive quality of having an infinitely long and chaotic expression as a decimal.  The fact that \sqrt{2} is irrational (which we’ll now show) gives credence to the idea that these numbers, despite their strange and unintuitive expressions, are very “real”.

Now, how do we prove that \sqrt{2} is not a fraction?  Well, as in most proofs of “negative” statements (A is not this, B does not do this, etc.), our most powerful weapon is that of proof by contradiction.  Thus, we suppose that \sqrt{2}=\frac{a}{b}, and we further suppose that \frac{a}{b} is already “fully reduced”, meaning that there are no common factors between “a” and “b”.

Now, the facts that we need in order to find a contradiction (and therefore take this proof down), are the following.

Fact 1)  An odd number times an odd number is again an odd number.  I won’t prove this rigorously, but you can see it be realizing that “an odd number times an odd number” is really just “an odd number added to itself an odd number of times”.  If I add an odd number to itself an even number of times, I get an even number (5\times 6=5+5+5+5+5+5=30), but if I do so an odd number of times I get an odd number (5\times 7=5+5+5+5+5+5+5=35).

Fact 2) An even number “a” can always be written as “2 times some other number”, where this “other number” can be either even or odd.  This is, in fact, just the definition of something being even.  Thus, if “a” is even, then a=2\times k for some k.

Fact 3) If \frac{a}{b} is “fully reduced” as we’ve described above (and which can always be done), then it can’t be the case that they’re both even, for otherwise we could reduce it further by dividing out a 2 (since they’re both 2 times some other number).

Fact 4) Any whole number is either even or odd—never both and never neither.

Now, we’ve supposed that \sqrt{2}=\frac{a}{b} with \frac{a}{b} being fully reduced.  By squaring both sides, we then find that 2=\frac{a^2}{b^2}, and by multiplying both sides by b^2, we get that a^2=2\times b^2.  Thus, a^2 is even, because it’s “2 times some whole number”.  But if a^2 is even, then so is a, because if a were odd then a^2 would be odd by Fact 1), and so a must be even by Fact 4).  By Fact 2), we have that a=2\times k for some k.  Thus, we have that 2=\frac{(2\times k)^2}{b^2}=\frac{4\times k^2}{b^2}.  Multiplying both sides by b^2 (and not writing the “\times” symbol), we have that 2b^2=4k^2, which, after dividing both sides by 2, gives b^2=2k^2.  But this means that b^2 is even, and thus that b is even (by the same logic as above).  Thus both “a” and “b” are even, which contradicts Fact 3) since we assumed that \frac{a}{b} was fully reduced.

Thus we’ve found our contradiction, which means our supposition was wrong, which means that \sqrt{2} cannot be written as any fraction, which means that irrational numbers are something we have to confront if we wish to even ask about the third side of the triangle in figure 1.  In fact, it turns out that there are way more irrational numbers than there are rational ones, which is what makes it possible for \mathbb{R} to be so much more massively infinite than \mathbb{Q}, as we saw in lesson 13.  Of course, it’s not the case that all irrational numbers are as fundamental and necessary as \sqrt{2}, but lots of them are (another famous one is \pi=3.1415926...), and so we must view them as “existing” in the same way that the more intuitive notions of fractions and whole numbers do.  Negative numbers might be another cause for concern as to how “real” they are, but we’ll see in the next few lessons that these are also quite necessary, and therefore “real”.

This proof is a little “out of place” in the sense that we could have very easily plowed forward with our math without ever going over it.  However, just as no one should live and die without ever hearing Beethoven’s Symphony No. 5 or watching The Godfather, no one should live and die without seeing this proof.  This, along with Euclid’s proof that there are infinitely many prime numbers, are two examples of math that should be “common knowledge”.  They show the type of ingenuity that goes into mathematical reasoning, and they establish deep facts about one of the most eternal and objective structures that logic has access to: that of the number.

In the coming lessons we adopt a radically new and extremely powerful perspective on objects and processes that may have previously seemed trivial, simple, and/or meaningless.  We not only reconsider high school mathematics, as we did in the previous lesson, but we also reconsider middle and elementary school mathematics.  Indeed, we simply “rebuild” a lot of this math using our new set-theoretic formalism, but with a whole new twist.

I also want to have a quick recap of all of the notation that we’ve developed so far, so that it can easily be referenced from the same place.  If you already feel comfortable with all of that, then go right on to the next lesson.  The recap is more for referring back to as we continue to build up more complicated (but not at all scary) notation.

On to Lesson 22

Back to Lesson 20

Recap of Notation

4 Responses to Lesson 21: The Necessity of Irrationality

  1. fugitivesam says:

    With all due respect, I think if you used the notation for ‘is a subset of ‘ to describe rational numbers and real numbers, you should use the same notation to relate natural numbers and integers, rather than using the ‘is a proper subset of ‘ notation.

    • I do see what you’re getting at, but I’m just using that as an opportunity to show the difference between the two relationships. In the sentence immediately following that chain of inclusions, I discuss why it is that we can actually use “is a proper subset of” in the last line, but that we don’t yet know for sure that’s the case. I’m using that to bring out how we need to be more careful with one of the symbols than we do the other. I end up adopting the more standard notation of always using “is a subset of” (as opposed to “is a proper subset of”) in later lessons, but I figure this is a good place to point out why one is “better”. Thanks for pointing that out, though, and hopefully if anyone is confused by it they’ll come check out the comments for a bit more discussion.

  2. Younes says:

    Hello!
    I have discovered your lessons last week and i can’t prevent myself from coming here to learn something new everyday!
    So for that i want to say Thank You So much! For some reason, i had to stop studying maths after high school, and study medicine but thanks to you and your excellent lessons, i can still learn some beautiful mathematical stuff!!!
    So the natural question that comes to my mind is: did you stop
    stop writing new lessons?
    If the answer is yes, i really beg you to reconsider that! Because Your lessons are wonderful and accessible!!
    My second question has more to do with the topic: here you argue that N is included in Z but in a previous lesson, you showed that they do have the same cardinal! I understand that N can’t be equal to Z because for instance -1 is not in N but i am a little bit confused here!
    Thank You for everything (again)

    • Hi there! I am indeed still writing lessons, albeit with a much lower frequency than I would like to these days for reasons that will be clearer in a couple of months hopefully. That said, I do hope to get some new lessons up in the near(ish) future, and I’m glad you’re enjoying the lessons!

      As for your question about Z and N, you’re entirely warranted in being confused. Namely, it is indeed the case that N and Z are different sets, AND it is also the case that they have the same cardinality. Recall that one of the strange things about infinite sets is that they can “seem” bigger or smaller than other infinite sets while still having the same cardinality — the important thing is whether or not there is a bijective function between the two sets in question, and this may be the case even if there “seems” to be more elements in one set!

      Let me know if you would like some more explanation, and I hope you keep enjoying the site!
      Cheers

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