The Number e as a limit.
I want to lead off with the way I like to explain e, then we’ll proceed to e as a limit, which is the more common way to think of it. The following isn’t a textbook definition and isn’t very rigorous. It’s mainly designed to give you a feel for e, and to remove any sense you may have of it as some magical number. It’s a special number, but it’s not magic.
Imagine it’s the 18th century and you’re on a boat somewhere and you need to make some nautical calculations. This involves taking the derivative of exponential functions. You know that the derivative of an exponential function is proportional to itself (i.e. the derivative of , where a is some constant), but that doesn’t help you since the proportionality constant depends on the base of the function.
So, has a different proportionality constant than , which has a different proportionality constant from , and so on. Because you don’t have a calculator, you have a gigantic book that lists the proportionality constant for every nember from 0 to 100 to 3 decimal places. So, whenever you want to calculate the derivative (i.e. find the proportionality constant), you look up the number in the book. It’s a biiiig pain in the ass.
Then one day, you notice that the proportionality constants increase as the base increases. That is, 3 has a higher constant than 2, and 4 has a higher constant than 3, and so on. It occurs to you that there must be SOME number you can use for a base that has a proportionality constant of 1. That is, there is some base where shit gets really easy because .
You flip through the book and quickly note that 2′s proportionality constant is less than 1, and 3′s proportionality constant is higher than 1. So, this beautiful wonderful will-allow-you-to-be-way-lazier constant must be somewhere in between. After going through the giant book for a while, you finally arrive at a number around 2.718, which is extremely close to producing a proportionality constant of 1. (According to wolfram it’s good to 4 decimal places: http://www.wolframalpha.com/input/?i=derivative+of+2.718%5Ex).
You decide to call this base “e” because everything’s freakin’ easy now, and you rejigger your system so all the exponential functions are base e. That way, once you know what function you’re dealing with, you can easily do a mental calculation, rather than having to use the giant book. You use all your spare time to get a buxom wench in every port, and live happily ever after until you die of neurosyphilis, raving to yourself on a deserted island somewhere near the Cape of Good Hope.
That’s how I like to think about e. HOWEVER, there is a much more succinct and mathematically beautiful (i.e. doesn’t involve syphilis) version. This is the most common definition of e, and has a really cute proof to boot.
SO, let’s dig in.
This one would be a real bitch in latex, so I’m just going to write out all the steps.
1) Because we define it that way
2) Proved in last section
3) Simple substitution of 1 into the equation in (2)
4) Definition of a limit
5) Fuck. This step is really confusing. We just stipulated x=1, and now we’re taking the limit as x goes to 0. How does that make sense?
I actually stopped here and looked for an instance of this step in any other proof of e as a limit. I failed to find it, then went to twitter asking if I was crazy.
It turns out the conclusion I came to (if my twitter geeks are right) was correct – we’re dealing with two different fucking versions of x. There’s the dependent variable version we stuck in f(x), and there’s the limiting variable version in the limit. Because the author is a sadist (according to one twitterer), he assigned two similar but distinct ideas to the same variable. That is, the x at the top is the same as the x at the bottom, but NOT the same as the x in the middle. Balls!
Fortunately, it turns out you can skip (5) and just leave everything in h form until the end. THEN, you can change the name of the variable to x or z or a drawing of a wiener for all I care.
So, I’m going to continue with the book’s proof because I am, after all, blogging this textbook. But, here I’m showing a quick proof that you can maintain the h the whole time, then after you’ve done the proof, you can change the variable to whatever you feel like.
Now, back to the proof.
6) Follows from (1)
7) Because ln(1) is 0
8) Log rule for powers says this is a legal move
9) Follows from (3)
10) Raise both sides as exponents to base e
11) This one’s a liiiiittle trickier. Look back to 125 for the theorem that states essentially this: If is continuous everywhere we care about, then the limit of f of g of x is the same as f of the limit of g of x. Read that 14 times and you’ll have it. Intuitively, I like to think of it this way: Either way you do it, you’re zooming in on a particular point. The first way, you figure out f(g(x)) then take its limit somewhere. The second way, you take the limit of g(x) somewhere, which gives you a value which you then run through f. Hopefully that’s not too confusing. If you mull it over for a bit, I think you’ll get it.
In practice, it means when you have a continuous nested function, you can pull the limit sign outside of the outermost function. And, that’s what we do in step 11.
12) The base e kills the ln, which simplifies things quite a bit.
13) Because .
14) They actually run the operation for smaller and smaller x and find that it’s somewhere around 2.7182818…
Okay, so that was a little painful, but the end result is this perdy little equation that allows you to easily calculate lots of digits of e.
Additionally, at the end, we get what I think of as the “classic” definition of e:
All they did was say n = 1/x. This results in a version of the equation where you make the variable bigger and bigger, rather than closer and closer to 0.
Next stop: Rates of Change in the Natural and Social Sciences.