Books For Understanding Books - Part 2

So this is getting ridiculous. I know, I can only apologise. I'll write some maths on here at some point, I promise.

It turned out that the super-valuable forum post I had on the OU forums has now been deleted. Apparently if a post isn't pinned it gets auto-nuked after two months. So now all that valuable information is gone.

But let's not dwell on it. Especially when there's a new book looming!!!!!

howToProveIt

Now, despite the fact that I've read Lara Alcock's books about how to learn Analysis, and started Brannan's Analysis book (see earlier posts) I realised I was missing more foundation-level knowledge. How To Prove It by Daniel J. Velleman looks like it'll be the book to give it to me.  I remember it as being recommended on the deleted forum post, and the reviews generally are very very positive.

Already I've come to the end of the first (admittedly short) section and I can actually attempt all of the exercises! I totally understand everything he's saying and I really feel like I'm learning something with every page. At last!

More of a proper review of this on the way, but for the moment I'll be nose-deep in this for the next couple of months...

Analysis Battle

It turns out that wrapping up a permanent job and starting a new one takes an enormous amount of time. Throw a holiday or two into the middle of it and you suddenly completely lack any spare time whatsoever.

Glad to say I'm back now though. Ready to tackle the final assignment of my intro module, and close things off for a Summer (of Analysis study).

Speaking of Analysis, I've spent a few more lunch hours running through the exercises of the end of Chapter 1 on the real number system and even after ALL the reading I've done I'm only able to complete about 50% of the questions. I feel my knowledge is lacking enormously. What makes things more frustrating is that David Brannan's book doesn't contain any solutions for the exercises at the end of each chapter. So I'm completely unable to unstick myself (or check to see if I've answered the question in the correct way).

As a consequence I feel like I'm slightly wasting my time with this book. Just banging my head against another dead-ender of a question. This is extremely unfortunate, as I was looking forward to finally working through as much as possible before September. Hoping it would give me an edge for my next module. But today, I tried to think about the situation logically: It feels as if I'm lacking knowledge. Knowledge and experience. There haven't been nearly enough examples in this book for me to get a feeling for the kinds of things I should be proving. So maybe that's what I need... more examples... more simple questions to attempt.

There was only one source I could think of that may deliver this... On the maths forum, I was given a link to proof exercises as supplied to kids studying pure  mathematics at a-level. This might just give me a leg up...

 

Readjusting Learning Methodologies

I've just finished reading Lara Alcock's book on how to learn about Analysis. Or rather, I've finished reading the first part, and the part on the real number system.

Overall, the book has led me to reconsider my current learning technique. So much so, I've compiled a list of steps to follow depending on whether I read about a new definition, theorem or proof.

In turn, this has made me realise I may benefit from starting my main book on Analysis again from the beginning, but applying these new steps as I go. After all, I am still only at the beginning (kind of), and I don't have any kind of deadline looming over me (which is really nice). Overall it seems like the perfect opportunity to try out some new learning methodologies!

Out of the handful of additions, there are two really big changes for me.

The first being mind maps. As I go through my Analysis, I'll be creating a mind map of concepts, seeing how one builds on another. I'd tried to use mind maps before at university and they'd largely proved completely useless. Here, however, mind maps appear to offer a perfect way to visualise the building of concepts into larger concepts. Here's the beginning of my first mind map!

mindMapExample2

I'm using draw.io as the tool of choice. It seems flexible enough for what I need it for, it can save as XML, and it supports mathematical notation! (mathjax latex formatting I believe)

The second big change to my learning involves learning by self-explanation. This technique, mentioned in Lara Alcock's book, appears to be one of the key processes involved in truly understanding and appreciating Analysis. You can find out more about self-explanation training from Loughborough University's Mathematics Education Centre website. My difficulty here will lie in concentrating on actually doing self-explanation, rather than just paraphrasing (turns out, it's a very easy trap to fall in). So long as I do it regularly enough, self-explanation will be more likely to come to me naturally.

Expected result: More effective learning and better notes!

Books For Understanding Books

I couldn't help myself.

I've bought another book.

The reason I bought it is to help me with the book I'm currently reading... but it's not as bad as it sounds.

The last Analysis query I had, I posted to the OU forums. As usual, my question was answered almost instantly in a concise and understandable way. Awesome!

However, there was another post a few days later suggesting that I read "How To Think About Analysis", another book by Lara Alcock.

howToThinkAboutAnalysis

Initially I thought it would be a bad idea to drop my current book about Analysis, and pick up a new one, but it turns out that after the first 50 pages, this book can be used as a companion to learning different sub-topics of Analysis. Specifically, after the first 50 pages, the remainder of the book is split into sections about Real Numbers, Sequences, Series, Continuity, Differentiability, and Integrability. Each sub-topic appears to be about 40-ish pages long, and can be read just before or during the actual study of each. Bite-size!

Although I've not quite finished the first section yet,  I've already added several new strategies to my set of learning techniques. Despite the fact that the knock-on effect is that the learning process may become slower, the idea is that my knowledge and understanding of the material will become much much deeper.

I'll try and give another review once I've completed the first part, the section on real numbers, and related it all to where I currently am in my larger Analysis text book.

Reading Mathematics

Still working through my book on Analysis (which I will be until July 2016, so I should probably stop mentioning it...), but I recently came across another proof that I had difficulty understanding. I had to reach out to the mathematics forums in the end, but after getting a reply and working through some further steps that they mentioned, everything fell into place.

I felt really good that I'd finally understood the proof, but I also tried to work out what I could've done to push for that answer myself (so hopefully next time, I won't have to post a question to the forum).

I realised that I might not be reading through the mathematics effectively enough. After reading through Lara Alcock's book I realised how important it is to make effective notes whilst reading through "all the symbols".  When reading through proofs I have this nasty habit of reading them like a novel, keeping this story of logic in my head... and then very quickly becoming confused because I didn't see how you could logically progress from one sentence to another.

This sounds really simple, and almost obvious, but I think all it really takes is to sit down with a pen and go through the mathematics of the proof in gritty detail, liberally re-arranging things as you go. It's worth mentioning that this is perhaps quite a different act than just "taking notes".

Being completely confounded by something only to solve the issue entirely on your own is enormously satisfying. The hope is that if I stay mindful and remain aware as to when to write the right kinds of notes, not only will I be able to solve more complicated problems on my own, but also in time these seemingly large logical steps will become second nature.

Anyway, doing independent reading of mathematics is proving, generally, to be really satisfying. Let's see if I can become a more effective reader...

 

 

Proof of Inequalities by Mathematical Induction

Still reading though my book in Analysis, I've come across a section on proving inequalities. I'm glad to say that all of this made sense... until I reached a sub-section on proving an inequality by mathematical induction.

As  I've written previously, I find that proofs are notoriously unintuitive. In the past however, I have been particularly puzzled by the logical steps involved in proving an inequality by mathematical induction.

To explain my difficulties, let's have a look at the example provided in the book:

 

Prove that 2^n \geq n^2, for n \geq 4.

If we're proving this by mathematical induction, we generally follow these steps:

  1. Let P(n) be the statement 2^n \geq n^2.
  2. Show that P(4) is true.
  3. Assume that P(k) is also true for k \geq 4.
  4. Show that P(k) \Rightarrow P(k+1). Or rather, show that if P(k) is true, then P(k+1) is also true.

Step 4 is the key step here in the proof as it shows that if any number is true, and the next number is also true, then you can apply this rule forever, and your original statement must be true for all numbers!

Anyway, lets jump to step 2. Show that P(4) is true. Well if n=4, then 2^4 = 16 and 4^2 = 16. So P(4) is true! Easy.

Let's look at step 3. Let's ASSUME that P(k) is true for some k \geq 4.

Now, this is the part that caught me by surprise... At this step, the text in the book reads as follows:

"So, we are assuming that 2^k \geq k^2. Multiplying this inequality by 2 we get:

    \[2^{k+1} \geq 2k^2\]

,

so it is therefore sufficient to prove that 2k^2 \geq (k+1)^2."

Wait, what? How is it that all of a sudden, all we need to prove is that 2k^2 \geq (k+1)^2? This isn't explained explicitly in the text so I had to close the book and do a bit more thinking.

First thing I had to realise here is that the "Step 4" I've listed above requires a bit more detail... What you're actually trying to do is show that you can progress naturally from P(k) to P(k+1). ie: We should be able to show that we can progress naturally from:
2^k \geq k^2
to:
2^{k+1} \geq (k+1)^2.

Now, if we multiply 2^k \geq k^2 by 2, as mentioned in the text, we do arrive at:
2^{k+1} \geq 2k^2

This is good, as we've managed to get the 2^{k+1} we were looking for on the left-hand side of the inequality. But the right-hand side looks nothing like the right-hand side of P(k+1) ie: (k+1)^2.

Here's the key though... It doesn't matter they they're not the same. We only need to see how 2k^2 and (k+1)^2 relate to each other. Look back at Step 3. Part of this assumption is that k \geq 4. Just as a test, let's try k=4:

2k^2 = 2 \times 4^2 = 32
and
(k+1)^2 = (4+1)^2 = 25

Well this is interesting. It's looking as if 2k^2 \geq (k+1)^2. This is exactly what was written in the text!

But to really ram it home, what we really have now is the following:

2^{k+1} \geq 2k^2 \geq (k+1)^2

So.... this show us that IF we can prove that last bit (2k^2 \geq (k+1)^2 ) is true for all k \geq 4, and not just k=4 we have managed to prove that we can get from P(k) to P(k+1)!!! This is exactly why the text in the book said "so it is therefore sufficient to prove that 2k^2 \geq (k+1)^2."

I'm sure in future I'll jump on this immediately and say "oh yes, of course that's all we need to do now", but working through the derivation of why it was sufficient was extremely useful. Long-winded... but useful.

Ah, the learning process...

Year Four Begins!

My new learning materials have finally arrived!

mu123
This is the amount of reading and exercises that I would normally have to work through over a nine-month period. Entirely doable.

However, as I've mentioned in previous posts, this module is merely to make up the credits for my first stage. Bad news is: it's all quite basic. As a result, I'll also be working through a nice fat book on analysis, to ease me in to my second stage that starts next year. As such, my nine-month work load actually looks a little more like this:

mu123plus
So we'll see how far I get with all that!

Flicking through the first couple of pages of these new materials, I realise that they cover some very basic areas of mathematics indeed. Perhaps even a little more basic than I was expecting. I think I'll have to keep reminding myself that this was my plan from the beginning, and just concentrate on submitting my assignments on time. This work will definitely be taking a back seat...

More importantly, over the past couple of weeks I've also been working through the book on analysis, and although I'm only a few pages in, it's proving to be really valuable; for one, I'm becoming a lot more comfortable with proofs and solution sets of inequalities.

0.\bar{9} = 1.0

Lara Alcock wrote in her book "How to Study for a Mathematics Degree" a warning to all mathematics students to be prepared to adjust their intuition.

Very quickly after starting with "A First Course in Mathematical Analysis" by David Brannan (see my earlier post), I have come across something that very much breaks my intuition. It turns out that 0.\bar{9}=1.0.

 

    \[Let\: x = 0.\bar{9}\]

    \[10x=9.\bar{9}\]

    \[10x = 9 + x\]

    \[10x-x = 9\]

    \[9x = 9\]

    \[x=1=0.\bar{9}\]

Simple, and surprising. Although also somewhat disturbing.

The equals sign tends to show that the object on one side is identical to the object on the other. In this case, they look like two completely different objects! We all know what "1" is, and 0.\bar{9} looks distinctly different.

Of course, based on Lara Alcock's advice, my first thought was "how on earth do I adjust my intuition to make this feel completely logical?!"

After some thinking, the following helped me a little bit: Before, I considered 0.\bar{9} to be a number that was infinitely close to 1, due to the infinity of "9"s after the decimal point. I now, however, consider 0.\bar{9} to be an infinitely accurate representation of 1.

For me, if I consider an approximation to be "infinitely accurate", then that approximation is the object it's trying to approximate. ie: An infinitely accurate approximation of 1 is, essentially, 1.

My opinion of this may change, but this is what's helping me make sense of this for the moment....

Fermat's Last Theorem

One of the first "Popular Maths" books I decided to pick up was Fermat's Last Theorem by Simon Singh. In the book, he expertly tells the story of Andrew Wiles and how he (practically) single-handedly solved an age-old mathematics problem. I won't go into any more detail than that because you can read a lot about the story on the web (but really don't, just buy the book).

fermatsLastTheorem

Part of what I really love about this book is that it goes into a lot of background detail, a lot of history. It builds up your understanding of why mathematics is the way it is today, and exactly why Fermat's Last Theorem was such a prestigious problem to solve.

One section that really sticks in my mind features a certain man called Bertrand Russell. Now, the more I read about modern mathematics the more his name crops up. Right at the beginning of the 20th Century, Bertrand Russell's research in logic appeared to show that mathematics was flawed. Again, I won't write down the details, I'd only end up copying Simon Singh's own words (buy the book!!!).

Although one passage did stand out in particular. Simon Singh mentioned that mathematicians obviously questioned Russell's work, and then goes on to quote Russell's response:

'But,' you might say, 'none of this shakes my belief that 2 and 2 are 4.' You are quite right, except in marginal cases - and it is only in marginal cases that you are doubtful whether a certain animal is a dog or a certain length is less than a metre. Two must be two of something, and the proposition '2 and 2 are 4' is useless unless it can be applied. Two dogs and two dogs are certainly four dogs, but cases arise in which you are doubtful whether two of them are dogs. 'Well at any rate there are four animals,' you might say. But there are microorganisms concerning which it is doubtful whether they are animals or plants. 'Well, then living organisms,' you say. But there are things of which it is doubtful whether they are living or not. You will be driven into say: 'Two entities and two entities are four entities.' When you have told me what you mean by 'entity', we will resume the argument.

A brilliant read (buy the book).

An Introduction To LaTeX

Assignment writing seems to be a very large part of studying a part-time degree in Mathematics. For my first module I hand-wrote every assignment, but with my handwriting being less than perfect I wasn't entirely happy with the neatness of the end result.

I tried numerous other ways of writing my assignments but the formatting of equations always proved to be a headache. After exploring a couple of avenues (Open Office with equation editor, and Google Docs), I decided to settle on LaTeX.

LaTeX is a formatting (or rather, typesetting) language, much like HTML in a way. For example, the following:

f(x) = x^2

is written in LaTeX as follows:

 f(x) = x^2

Which is nice. Of course this is a simple example, and the learning curve involved in producing your first 18-page assignment with it can be rather steep.

What I'd like to do every now and again is post a clever little bit of LaTeX I discover that gets me out of a hole. With any luck, after a handful of posts, LaTeX will become a lot less of a mystery.

My operating system of choice at the moment is Linux Mint. I like it because it's the only version of Linux I've ever installed that just worked straight after installation. No sound problems. No problems with network access. Everything worked.

As such, I started out by trying to work out how to get LaTeX working in Linux Mint. It turns out that to install it, you can run this in a shell:

sudo apt-get install texlive-full

This installation command should work on any Debian-based release of Linux (Ubuntu, Mint, etc...). It will install all the necessary things you need to start writing in LaTeX, including the essential command:

pdflatex

which will do the hard work of compiling your hand-typed LaTeX tex files to beautiful pdfs.

I won't be writing much about Windows, as I don't use it a great deal these days, but if you want an equivalent you can search the net for something called MiKTeX. Any actual LaTeX formatting language I write will of course work on both Linux and Windows.

More LaTeX to come!