1. Harmonic series and intro to the different section of mathematics
a. Here we have a result: the harmonic series is divergent. How do you prove it? The proof is, in fact, rather easy and depends on nothing more than ordinary arithmetic. It was produced in the late Middle Ages by a French scholar, Nicole d'Oresme (ca. 1323-1382). D'Oresme pointed out that is greater than ; so is ; so is ; and so on. In other words, by taking 2 terms, then 4 terms, then 8, then 16 terms, and so on, you can group the series into an infinite number of blocks, every one of which is bigger than one-half. The entire sum must, therefore, be infinite.
b. The 4 main areas of mathematics: arithmetic, the study of whole numbers and fractions; geometry, the study of figures in space; algebra, the use of abstract symbols to represent mathematical objects; and analysis, the study of limits. The traditional categories have also been enlarged to include big new topics—geometry to include topology, algebra to take in game theory, and so on. Even before the early nineteenth century there was considerable seepage from one area into another. Trigonometry, for example, (the word was first used in 1595) contains elements of both geometry and algebra. Descartes had in fact arithmetized and algebraized a large part of geometry in the seventeenth century, though pure-geometric demonstrations in the style of Euclid were still popular—and still are—for their clarity, elegance, and ingenuity. The fourfold division is still a good rough guide to finding your way around mathematics, though.
c. the yoking of arithmetic to analysis to create an entirely new field of study, analytic number theory. Permit me to introduce the man who, with one single published paper of eight and a half pages, got analytic number theory off the ground and flying:Riemann
2. The PNT (prime number theorem)
a. Conjecture by gauss by studying his prime number tables. He send a letter to encke "i soon perceived that beneth all of its fluctuation, this frequency is, on average, close to inversely proportional with the logarithm.
b. Also published by legendre in his book titled essay on the theory of numbers before gauss wrote about was twiddle x/ logx - A "where a tended to some number near 1.08366, discussed as a false value in another of gauss's letters.
c. Then looking at it from a statistical point of view if we say that there are n/logn primes from 1 to n then the probability of a number being prime is twiddle 1/logn
d. And the pnt tells us that the nth prime number is twiddle nlogn.
3. Riemanns zeta function
a. The basel problem: to find a closed form for the series of reciprocal squares. The problem was finally cracked in 1735, 46 years after being posed, by the young Leonhard Euler, toiling away in St. Petersburg. Found to b pi squared divided by 2. His method gave the answer limit of the zeta function to any even number.
b. Random note: even though log x is not equal to x0, it nonetheless manages to dip below, and stay below, x , for any number , no matter how tiny, when x is large enough.27 The matter is, in fact, even stranger than that. Consider this statement: “The function log x eventually increases more slowly than x0.001, or x0.00001, or x0.0000001, or….” Suppose I raise this whole statement to some power—say, the hundredth power, it will still increase at a slower rate
c.
d. Random note: Take any two numbers with no common factor and repetitively add one to the other. You will generate an infinity of primes (mixed with an infinity of non-primes). Gauss had conjectured that this was the case—knowing Gauss's powers, one is tempted to say that he intuited it—but it was decisively proved by Dirichlet in that 1837 paper.
e. The zeta function can be rearranged to
f.
4. An update of the pnt
a. The integral of 1/logt can be rewritten as li(x)
as N gets larger, Li(N) ~ N / log N. Now, the PNT asserts that (N) ~ N / log N. A moment's thought will convince you that the twiddle sign is transitive—that is, if P ~ Q and Q ~ R, then it must be the case that P ~ R. So if the PNT is true—which we know it is, it was proved in 1896—then it must also be true that (N)~Li(N).
b. Li(N) is actually a better estimate of (N) than N / log N is. A much better estimate.
c. El segundo paper de chebyschev enseño el proof of “Bertrand's postulate,” suggested in 1845 by the French mathematician Joseph Bertrand. The postulate states that between any number and its double (for example, between 42 and 84) there is always a prime to be found. The second was the one shown here. pi(N) cannot differ from n/logN by more than about ten percent up or down.
5. Rieman siendo to brainy y un poquitin de su famous paper on the number of primes less than a given quantity
a. Para unirse a no se que tuvo que escirbir un thesis y prepara un trial lecture. Gauss picked the lecture titled “On the Hypotheses that Lie at the Foundations of Geometry,” and Riemann delivered it to the assembled faculty on June 10, 1854. This is one of the top 10 mathematical papers ever delivered anywhere, a sensational achievement. Its reading was, declares Hans Freudenthal in the Dictionary of Scientific Biography, “one of the highlights in the history of mathematics.” The ideas contained in this paper were so advanced that it was decades before they became fully accepted, and 60 years before they found their natural physical application, as the mathematical framework for Einstein's General Theory of Relativity. James R. Newman, in The World of Mathematics, refers to the paper as “epoch-making” and “imperishable” (but fails to include it in his huge anthology of classic mathematical texts). And the astonishing thing is that the paper contains almost no mathematical symbolism. Leafing through it, I see five equals signs, three square root signs and four signs—an average of fewer than one symbol per page! There is just one real formula. The whole thing was written to be understood—or perhaps (see below) misunderstood—by the average faculty member of a middling provincial university.
b. The function of a complex variable s which both these expressions stand for, so long as they converge, i signify by [zeta] sign.
c. The non trivial zeros are all the negative even numbers as they always converge when put in the zeta function
d. This is the function; “” is “eta,” the seventh letter of the Greek alphabet, and I define the eta function as In a rough sort of way, you can see that this has a better prospect of converging than Expression 9-1.
Tien la pinta de 1 -1/(2^s) + 1/(3^s) … Instead of relentlessly adding numbers, we are alternately adding, then subtracting, so each number will to some extent cancel out the effect of the previous number. So it happens. Mathematicians can prove, in fact—though I'm not going to prove it here—that this new infinite series converges whenever s is greater than zero. This is a big improvement on Expression 9-1, which converges only for s greater than 1. What use is that for telling us anything about the zeta function? Well, first note the elementary fact of algebra that A – B + C – D + E – F + G – H + … is equal to (A + B + C + D + E + F + G + H + …) minus 2 × (B + D + F + H + …). So I can rewrite (s) as (la formula orginal todo positivo minus 2*(los reciprocals de los numbers pares) The first parenthesis is of course just (zeta function). The second parenthesis can be simplified by Power Rule 7, (ab)n = anbn. So every one of those even numbers can be broken up like this: , and I can take out as a factor of the whole parenthesis. Leaving what inside the parenthesis? Leaving (zeta)! In a nutshell
Zetafunction equals the eta function divided by 1 - reciprocal of 2 to the power of s-1 Now, this means that if I can figure out a value for (s), then I can easily figure out a value for (s). And since I can figure out values for (s) between 0 and 1, I can get a value for (s) in that range, too, in spite of the fact that the “official” series for (s) (Expression 9-1) doesn't converge there.
e. One of the results in Riemann's 1859 paper proves a formula first suggested by Euler in 1749, giving (1 – s) in terms of (s). So if you want to know the value of, say, (–15), you can just calculate (16) and feed it into the formula. It's a heck of a formula, though, and I give it here just for the sake of completeness. If you find that a little over the top, just take it on faith that there is a way to get a value of (s) for any number s, with the single exception of s = 1. Even if that last formula bounces right off your eye, at least notice this: it gives (1 – s) in terms of (s). That means that if you know (16) you can calculate (–15
f. Convergent series fall into two categories: those that have this property, and those that don't. Series like this one, whose limit depends on the order in which they are summed, are called “conditionally convergent.” Better-behaved series, those that converge to the same limit no matter how they are rearranged, are called “absolutely convergent.”
g. The PNT follows from a much weaker result (which has no name): All non-trivial zeros of the zeta function have real part less than one. If you can prove this, then you can use von Mangoldt's 1895 version of Riemann's main result to prove the PNT. That is what our two scholars did in 1896.
6. Intro into complex numbers and their properties and matrices
a. By Pythagoras's Theorem, the modulus of a + bi is . It is always a positive number or zero. The amplitude of a complex number is the angle it makes with the positive real line, measured in radians. (One radian is 57.29577951308232… degrees; 180 degrees is radians.) The amplitude is conventionally taken to be an angle between – (exclusive) and (inclusive) radians, and its symbol is Am(z).
b. Finally, the complex conjugate of a complex number is its mirror image in the real line. The complex conjugate of a + bi is a – bi. Its symbol is , pronounced “z bar.” If you multiply a complex number by its conjugate, you get a real number: (a + bi) × (a – bi) = a2 + b2, which is, in fact, the modulus of a + bi, squared.
7. The locationo of the non trivial zeros
a. As soon as riemanns hypothesis has been successfully established, the next problem would consist in testing more exactly Riemann's infinite series for the number of primes below a given number and, especially, to decide whether the difference between the number of primes below a number x and the integral logarithm of x does in fact become infinite of an order not greater than in x. Further, we should determine whether the occasional condensation of prime numbers which has been noticed in counting primes is really due to those terms of Riemann's formula which depend upon the first complex zeros of the function (s).
b. What was known up to 1900 about the zeros There is an infinity of them, all having real parts between 0 and 1 (exclusive). Using the complex plane to visualize this (see Figure 12-1), mathematicians say that all non-trivial zeros are known to lie in the critical strip. The Riemann Hypothesis makes a much stronger assertion, that they all lie on the line whose real part is one-half, that is, on the critical line. “Critical strip” and “critical line” are common terms of art in discussions of the Riemann Hypothesis, and from now on I shall use them quite freely. The Riemann Hypothesis (stated geometrically) All non-trivial zeros of the zeta function lie on the critical line. The zeros occur in conjugate pairs. That is, if a + bi is a zero, then so is a – bi. In other words, if z is a zero, then so is its complex conjugate . I defined “complex conjugate” and the z-bar notation in Chapter 11.v. In yet other words, if there is a zero above the real line, its mirror image below the real line is also a zero (and, of course, vice versa). Their real parts are symmetrical about the critical line; that is, a zero either has real part equal to (in line with the Hypothesis), or is one of a pair with real parts and , for some real number between 0 and , and identical imaginary parts. Real parts 0.43 and 0.57 are an example, or real parts 0.2 and 0.8. Another way of saying this would be: supposing there is any non-trivial zero not on the critical line, its mirror image in the critical line must also be a zero. This follows from that formula in Chapter 9.vi. If one side of that formula is zero, the other side must be too. Leaving aside integer values of s, where other terms in the formula misbehave or go to zero, this formula says that if (s) is zero, then (1 –s) must be zero too. Thus, if is a zero of the zeta function, then so is , and so, by the previous bullet point, is the conjugate .
c. Visualizing the transformation by a function on a complex plane: Take the entire complex plane. Make a cut along the negative real (west) axis, stopping at the zero point. Now grab the top half of that cut and pull it round counter-clockwise, using the zero point as a hinge. Stretch it right round through 360 degrees. Now it's over the stretched sheet, with the other side of the cut under the sheet. Pass it through the sheet (you have to imagine that the complex plane is not only infinitely stretchable, but also is made of a sort of misty substance that can pass through itself) and rejoin the original cut. Your mental picture now looks something like Figure 13-3. That is what the squaring function does to the complex plane.
d. Este es el argument plane del zeta function que enseño los punton que zeeta sends to the real and imaginary axes
e. There is in fact a rule for the average spacing of zeros at height T in the critical strip. It is ~ 2 / log(T / 2 ).
Now suppose that the argument ant, instead of following those fancy loops and whorls in Figure 13-6 (which send the value ant on dull hikes up and down the real and imaginary axes), takes a walk straight up the critical line, heading due north from argument . What path will the value ant follow? Figure 13-8 shows you. His path starts out at , which, as I showed in Chapter 9.v, is –1.4603545088095…. Then he does a sort of half-circle counter-clockwise below the zero point, then turns and loops clockwise around 1. He heads to zero and passes through it (that's the first zero—the argument ant has just passed ). Then he keeps going round in clockwise loops, passing through the zero point every so often—whenever his twin on the argument plane steps on a zero of the zeta function. I stopped his walk when the argument ant reached , because that's as far as Figure 13-6 goes. By that point, the curve has passed through zero five times, corresponding to the five non-trivial zeros in Figure 13-6. Notice that points on the critical line have a strong tendency to map to points with positive real part
f. Hardy paper on the the zeros proves that infinetly many of the zeta funciton's non trivial zeros satisfy therie