MATH 2710: NOTES FOR ANALYSIS

Size: px
Start display at page:

Download "MATH 2710: NOTES FOR ANALYSIS"

Transcription

1 MATH 270: NOTES FOR ANALYSIS The main ideas we will learn from analysis center around the idea of a limit. Limits occurs in several settings. We will start with finite limits of sequences, then cover infinite limits, and then look at limits of functions. We have not given a roer definition of R, so we can t really treat limits comletely because they may not exist just in Q. However, all the relevant definitions make sense in Q. I will note in the text where the situation is different between Q and R. Sequences and limits of sequences A sequence is just a function with domain N. We will mostly be interested in sequences with values in the real numbers. The usual function notation a : N R, which would list the values in the sequence as a(), a(2), a(3),... is often not the most convenient way to write a sequence. Instead we write the argument as a subscrit, so the foregoing would read: a, a 2, a 3,. Sometimes we write the sequence as {a n } or {a n }. Like functions, sequences are often written as rules. () The rule a n = n 2 defines a sequence with values, 4, 9, 6, 25,... (2) We could write { n } for the sequence, 2, 3, 4, 5,... (3) Often, a sequence is given by writing a few terms and leaving the reader to infer a rule, e.g. writing 2, 3, 5, 7,, 3,... to indicate the sequence of rimes. This is imrecise, but we will still do it from time to time. The rototye of a convergent sequence is something like { n }, where it seems that the values get arbitrarily close to zero and stay close to zero as n increases. The notion of closer is measured using the distance (in the real numbers). Definition. The distance between x, y R is x y, where the absolute value is defined to be { w if w 0, w = w if w < 0. Now we have a distance we can talk about x being closer to y than z is to y, meaning x y < z y. If ɛ > 0 we can also talk about x being closer than ɛ to y, meaning x y < ɛ. We also make a note of the most useful roerty of distance; we record it as a lemma. Lemma 2 (Triangle Inequality). For oints x, y, z R we have x y x z + z y. Intuitively this says the distance from x to y is no larger than the distance from x to y via z. Proof. This is a straightforward comutation using cases. Clearly the oints are arranged on a line. Swaing x and y does not change the exression, so we can assume x > y (the case x = y is obvious). The cases are then z x, x > z > y, y z. In all cases x y = x y. What changes is the right side. If z x then z y x y, so the inequality is true. If y z then also x z x y so the inequality is true. Finally, if x > z > y then x z = x z and z y = z y so x z + y z = x z = x z. This comletes the roof. A very useful version of the triangle inequality is as follows. Lemma 3. For oints a, b R we have a b a b.

2 2 MATH 270: NOTES FOR ANALYSIS Proof. The triangle inequality says x + y x + y, so x + y y x. Now ut x + y = a and y = b, so x = a b. We obtain a b a b. Reeating this for x + y = b, y = a so x = b a we have b a b a = a b. But a b is equal to one of a b or b a, both of which we showed are no larger than a b, comleting the roof. The idea of a sequence x n converging to a number L is suosed to cature that x n gets arbitrarily close to L as n gets large. The notion of arbitrarily close clearly requires a quantifier: there is no secific roximity we are looking for, but instead we are looking to get the x n closer to L than any ostive number ɛ. The notion of n being large also requires a quantifier. However, a little thought shows us that for a secfic tolerance ɛ > 0 the distance we have to go out along the sequence to get x n L < ɛ deends both on ɛ and on the sequence. For examle, with x n = n, L = 0 and ɛ = 0. we need n > 0 to get x n L < ɛ, while for ɛ = 0.0 we would need n > 00; if the sequence was instead y n = n 2 then to get y n L < 0. we d only need n > 3 and to get y n L < 0.0 we would need n > 0. The fact that the quantifier for how far out in the sequence we go can deend on ɛ means it should be determined after ɛ is determined. The above shows that for every ɛ > 0 we want that there is a notion of far enough out in the sequence, namely a N, ossibly deending on ɛ, such that going any further out, meaning taking n > N, gives x n L < ɛ. This is what we use to make the formal definition of a limit. Before we give this definition, one other imortant oint: if you don t understand the reasoning for defining the limit in this way, it is not essential to do so. Some eole use the definition for a long time before they really get it. If it doesn t make sense to you intuitively, don t worry about it just learn the definition and ractice using it Definition 4. The sequence a n converges to L if ɛ > 0 N such that n N = x n L < ɛ. This is often written as lim n a n = L or as a n L when n. From this we can make two other definitions. The first is that a sequence converges if there is some number to which it converges, while the second is that otherwise it diverges. Definition 5. A sequence a n is convergent if there is an L such that a n L when n. If a n is not convergent it is called divergent. Remark 6. The issue of whether a sequence converges is where Q and R are very different. Even if all the numbers we use in our definitions, excet L, are from Q, there are sequences that converge in R and do not converge in Q. A simle examle: in a homework roblem you saw how given a ositive number a you could construct a number ã so that ã 2 is closer to 2 than a 2. This can be used recursively to construct a sequence x j in Q such that x 2 j 2. Of course x j does not converge in Q, because the limit L would have to have L 2 = 2 and we also roved there is no such L Q. But it turns out one can rove that x j 2 in R. Now we are going to do some simle roofs that secific sequences converge to secified values. In each case the roof begins by saying that ɛ > 0 and then says how to choose N (deending on ɛ) so as to ensure that n > N = x n L < ɛ. However, the oint is to learn how to do these yourself, so each roof is receeded by a descrition of the thought rocess used to make the choice I gave. Note that the choice of N in each case is not unique any larger N would have worked so the reasoning I give is not unique either. Your reasoning for a roblem might be different to mine, which is fine so long as it works. Examle 7. Prove { n } converges to 0 as n. My reasoning: Given ɛ > 0 I want N so n > N will make x n 0 = n < ɛ. To get this I need n > ɛ, so I take N > ɛ. Proof: Given ɛ > 0 let N > ɛ. If n > N then x n 0 = n < N < ɛ, so n 0.

3 Examle 8. Prove { 4n n+3 } converges to 4 as n. My reasoning: With x n = 4n n+3 we have x n 4 = 4n 4(n+3) n+3 MATH 270: NOTES FOR ANALYSIS 3 = 2 n+3 which will be less than ɛ if n + 3 > 2 ɛ. It is temting to take N > 2 ɛ 3, so n > N imlies n + > 2 ɛ and 2 n+3 < ɛ, but it is just as simle and erhas a little neater to take N > 2 ɛ and say n > N imlies 2 n+3 < 2 N < ɛ. Proof: Given ɛ > 0 take N > 2 ɛ. Then n > N imlies x n 4 = 4n 4(n+3) n+3 = 2 n+3 < 2 N < ɛ. So x n 4. Examle 9. Prove 3 n 3 converges to 0 as n. Reasoning: We need N so n > N imlies < ɛ. Evidently N > ( ) 3 /3 n 3 ɛ will work, so we can use that. An alternative would be to say that if n 2 > 3, for which we only need n > N > 2 we would have n 3 > 3N so 3 < n 3 N < ɛ if N > ɛ. I refer this latter way, which requires N > max{2, ɛ } only because the method is more flexible. Proof: Given ɛ > 0 take N > max{2, ɛ }. Then N 2 > 4 so n 3 > 3n and 3 < n 3 n < ɛ which shows the result. Examle 0. Prove { n+ } converges to 0. n 2 3 Reasoning: We need n+ < ɛ. It it a bit messy to figure out what the best choice of N so n > N n 2 3 would make this haen we d have to solve a quadratic equation but we don t need the best N we just need one that works. Accordingly we make some crude inequalities that bound the numerator and denominator just like we did in the revious roblem. Notice n+ < 2n for n >. Also, lets look for where n 2 3 > n2 two inequalities and also 2. This occurs when n2 > 6, so when n > 2. If we have those, then we get the inequality we want. So we 2n (n 2 /2) < ɛ, meaning n > 4 ɛ take N > max{2, 4 ɛ }. Proof: Given ɛ > 0 let N > max{2, 4 ɛ }. If n > N then n > 2 which imlies n + < 2n and n2 > 6, hence n 2 3 > n2 n+ 2. Then n 2 3 < 4n = 4 n 2 n < ɛ, showing the result. At this oint it might be worth summarizing the structure that aeared in all these roofs. When giving a roof of a limit of a sequence from the definition, you can always use the following structure: Given ɛ > 0 here is a rule for getting N (usually as a function of ɛ) and an argument showing that this choice of N ensures that a n L < ɛ. It is now about time to rove that some sequences are divergent. The basic idea is to use contradiction: assume that the sequence is convergent and derive a contradiction. This works well on sequences that diverge to infinity, but also on sequences that oscillate around without settling down in the real numbers. One way to have the latter occur is if the sequence aears to have arts that are converging to different values. We will see examles of both tyes. In both cases the key is that if the sequence did converge then all x n values are eventually close together, so if this is not true the sequence must diverge. Examle. Prove that {( ) n } does not converge as n. Reasoning: No matter how far you go out in the sequence,,,,,... you have oints and that are searated by distance 2. If x n is within ɛ of L for all n then L is within ɛ of both and. But the triangle inequality allows us to say that the distance between and is at most the distance via L, which is L + L so 2 < 2ɛ which gives ɛ >. If we take ɛ = we should get a contradiction. Proof: If the sequence converged to L then for ɛ = there is N so n > N imlies x n L <. But then 2 = 2ɛ > x n L + x n+ L = L + L = 2 by the triangle inequality, a contradiction.

4 4 MATH 270: NOTES FOR ANALYSIS In the revious examle it looks like this sequence has two ieces: the odd terms are all so are converging to and the even terms are all so are converging to. The issue is that the sequence can t converge to two different laces. The idea of the sequence having ieces that do these two different things can be made recise using the idea of subsequences and limit oints. We won t do that right now, but we will reeat the above argument to show that, in fact, it is always imossible for a sequence to converge to two laces. Lemma 2. A convergent sequence has a unique limit. Reasoning: we use a small modifiation of the argument used in the revious exercise. The idea is that the sequence can t simultaneously converge to two different oints L and L because these oints are a ositive distance aart, so it is not ossible to be simultaneously arbitrarily close to both of the oints. The issue is to make this clear with some sort of ɛ and N. It may hel to draw a number line showing L and L. When you do so you will see that it is not ossible to be within 2 L L of both L and L, so this is what we take for ɛ in order to get a contradiction. Proof. Suose a n L and also a n L as n. If L L take ɛ = 2 L L > 0 and get N so n > N imlies x n L < ɛ and N 2 so n > N 2 imlies x L < ɛ. Then for n > N = max{n, N 2 } we have by the triangle inequality L L L x n + L x n < ɛ + ɛ = L L which is a contradiction. We conclude L = L, so the limit is unique. Examle 3. Prove that {n 2 } does not converge as n. Reasoning: If it converged to L then for any tolerance ɛ it would eventually be within ɛ of L. If this haened then n > N would mean n 2 and (n + ) 2 would be within 2ɛ of each other, but the difference between them is 2n + 2 > 2. So the condition for convergence will fail if ɛ <. Proof: If the sequence converged to L then for ɛ = 2 we could take N so n > N would imly both n 2 L < ɛ and (n+) 2 L < ɛ. But then using the triangle inequality n 2 (n+) 2 + < 2ɛ =, so 2n + < when n > N, which is a contradiction. For the revious examle, if you were given the roblem in a calculus class you would have been exected to say that the limit is. Obviously we can t rove this using the definition we have for sequences with finite limits, because the notion of x n < ɛ does not make sense the symbol does not refer to a number, and the distance we are using is not defined if one of the quantities is infinite. Instead, what x n is suosed to mean is that the values get arbitrarily large, arbitrarily meaning larger than any fixed M. The exression x n has a similar meaning. Definition 4. We say x n as n or lim n x n = if M N such that n > N = x n > M. We say x n or lim n x n = if M N such that n > N = x n < M. Examle 5. Prove that {n 2 } converges to as n. Reasoning: Given M we need to show that n 2 is bigger than M. To do so we need to say n 2 is larger than something. One way is to say n 2 2n > n if n > 2, and thus n 2 > M if N > M. So take N = max{2, M} to get the right inequalities. Proof: Given M let N = max{2, M}. If n > N then n > 2 so n 2 2n > n > N M. Algebraic roerties of limits In calculus you would have been taught certain basic rules about limits that were used to comute limits of comlicated limits from simler limits. They are established in the following theorems, which are collectively referred to as the limit laws. Theorem 6. If a n a and b n b then (a n + b n ) (a + b).

5 MATH 270: NOTES FOR ANALYSIS 5 Reasoning: We know (a n + b n ) (a + b) a n a + b n + b. If we want this latter to be less than a given ɛ > 0 we could make both a n a < ɛ 2 by making n > N and b n b < ɛ 2 by making n > N 2. Then n > max{n, N 2 } would make both true and give us the result. Proof. Given ɛ > 0 use the assumed limits to take N so n > N imlies a n a < ɛ 2 and N 2 so n > N 2 so b n b < ɛ 2. Let N = max{n, N 2 } so n > N imlies both n > N and n > N 2, whence a n a < ɛ 2 and b n b < ɛ 2 so (a n + b n ) (a + b) a n a + b n b < ɛ 2 + ɛ 2 = ɛ. Theorem 7. If a n a and b n b then a n b n ab. Reasoning: The key to this comutation is that a n b n ab = a n (b n b) + b(a n a) a n b n b + b a n a. We can take N so n > N imlies a n a < ɛ 2 b and therefore the second term less than ɛ 2. We d like to deal with the first term in a similar way but in that case both factors deend on n, so we d want to a n to be bounded by something. However, since a n a we can see that a n a + if n is large enough. Secifically, if ɛ = then there is N 2 so if n > N 2 then a n a < and ɛ thus a a n a +. Moreover, there is N 3 so if n > N 3 then b n b < 2( a +). If n > N = max{n, N 2, N 3 } then we should get the result. Along the way it seems we roved the following result which will be useful later as well. Lemma 8. If a n a then there is N so n > N imlies a a n a +. Proof. Take ɛ = and N so n > N imlies a n a <. Then a < a n < a +. Proof of theorem. Given ɛ > 0 use the assumed limit of a n to take N so n > N imlies a n a < ɛ 2 b. Using the lemma and a n a take N 2 so n > N 2 so a n < a +. Finally use the limit b n b ɛ to take N 3 so n > N 3 imlies b n b < 2( a +). Then ɛ a n b n ab = a n (b n b) + b(a n a) a n b n b + b a n a ( a + ) 2( a + ) + b ɛ 2 b = ɛ. A secial case of the receding is that if b n b then b n b, because it is easy to rove that the constant sequence converges to. Then the fact that one can add convergent sequences term by term and add the limits means one can do the same with differences. Secifically, a n a and b n b imlies, as we just said, b n b, and using the result about sums, a n b n a b. To do the result corresonding to division we have to work a little harder. Theorem 9. If a n a and a 0 then a n a. Reasoning: When we comute the difference between the sequence elements and the utative limit we find = a n a a a n a a n which looks romising because a a n can be made small by making n large. However, to get this less than ɛ > 0 we need to know a lower bound for a a n. There is no roblem with a because it is a non-zero constant. For a n we could use the lemma already established and find N so n > N imlies a n a, but this would not be useful unless we knew a > 0. We d need something better, like a n > a a 2. But we can get this: just take ɛ = 2 > 0 and then N so n > N imlies a n a < ɛ = a 2, from which a n > a 2. Then a a n > a 2 2. We could then take N 2 so n > N 2 imlies a n a < ɛ a 2 2.

6 6 MATH 270: NOTES FOR ANALYSIS Proof. First take ɛ = a 2 and use a n a to get N so n > N imlies a n a < a 2 so that a n > a 2. Then take N 2 so n > N 2 imlies a n a < ɛ a 2 2. For n > N = max{n, N 2 } comute = a n a a a n a a n < 2 ɛ a 2 a 2 = ɛ 2 which roves the result. Obviously we can combine this with the revious theorem to obtain that a n a 0 and b n b imlies bn a n b a. At this oint we can use these theorems and the fact that n 0 to obtain the results of the other exercises we have done so far which established convergence, as follows. We have 3 = 3 n 3 n n n is a roduct of a constant sequence and three sequences that converge to zero. By our roduct result alied three times we find 3 0. n 3 Rewrite n+ n 2 3 = (/n)+(/n)(/n) 3(/n)(/n). Then the numerator converges to zero (by alying the roduct result and the sum result) and the denominator converges to by the same argument. Using the ratio result we find that the sequence converges to 0. In fact it is not hard to see that the limit of any rational function of n can be comuted in this manner as n, if the limit exists. This does not mean that all limits can be done in this way. Here is an imortant one that cannot be done in this manner. Lemma 20. If r < then r n 0 as n. Reasoning: Given ɛ > 0 we need N so n > N imlies r n < ɛ. We don t know how to do this for general r because we don t know anything about the owers of r, but there is one situation in which we do know about owers the situation in which we can aly the binomial theorem. Some thought suggests that this will let us rove the result in the secial case where r = then ( + ) n = n ) 0 n j n n. So ( n j ( ) n n + n n = 0 as n. n +, because What is more, if r < + this still roves r n 0 as n, and since the distance from r to is ositive (because r < ) and + as we can find a so + is in the interval ( r, ), which makes r <. This is the idea of the roof. + Proof. We begin with the fact that as, which is easily established using the limit laws. Use this to find a for which + < r. Since + < we conclude that r < + <. Now r n 0 = r n < ( ) n. + Given ɛ > 0 take N > ɛ (notice that this is ok because we already decided on the value for ). Then comute ( + ) n n n using the binomial theorem and comlete the roof by deducing ( ) n + n N < ɛ. One can also determine that r > imlies r n as n by a similar method. Try it for yourself!

7 MATH 270: NOTES FOR ANALYSIS 7 Series We know how to add finitely many terms. Suose we have a sequence a, a 2, a 3,.... We can make a new sequence as follows: s = a s 2 = a + a 2 s 3 = a + a 2 + a 3. s n = n j= If the sequence s, s 2, s 3,... converged to a limit L, it would be natural to think of L as the result of the infinite sum a + a 2 + a 3 +. We define this to be the case. Definition 2. If the sequence { n j= a } j n= converges to L as n then we set a j = L and call this a convergent series. There are some basic examles of convergent series, as follows. Examle 22. Prove Reasoning: We consider n k(k+) = k k+. Then n a j j(j+) =.. Several aroaches are ossible. One is to recognize that j(j+) j(j + ) = ( ) ( ) ( ) ( ) Internal cancellation then suggests that the sum is n+. We should be able to rove it by induction. When n = we get 2. If the result was true for n then adding the next term we would get n + + (n + )(n + 2) = ( ) = n + n + 2 n + 2, which verifies the inductive ste. Using this and the fact that n+ 0 as n gives the result. Proof. We first rove by induction that n sides are 2. If it is true for n then n+ so the formula is true for all n by induction. Then use that j(j+) = n+. This is true for n = where both j(j + ) = n + + (n + )(n + 2) = n + 2, n+ 0 as n, which may be roved directly (given ɛ > 0 take N > ɛ and n + > N > (/n) ɛ imlies the result) or by writing it as +(/n) and using the limit laws. This imlies as n, establishing the convergence of the series and that its sum is. n j(j+) Examle 23. If r < rove that rn = r. Reasoning: This is done using a trick. Comute n n n ( r) r j = r j r j+ = Thus n rj = rn+ r n n+ r j r j = r n+.. This and the fact that r n 0 as n roves the result. 2

8 8 MATH 270: NOTES FOR ANALYSIS Proof. Comute ( r) n r j = n r j n r j+ = n n+ r j r j = r n+ 2 and deduce n rj = rn+ r. Use Lemma 20 from the end of the last section and the given fact r r r < to get r n 0 as n and multily by the constant tells us that lim n n rj = r, which is what we wanted to rove. to get rn+ r 0 as well. This There are some other basic facts one can rove about convergence of series. One of the most imortant is an easy test for divergence. Theorem 24. If r j converges then r j 0. Reasoning: The oint here is that convergence of the series means the sequence n r j converges, so the terms of this sequence of artial sums are all close to a limiting value when n is large, which in turn means that all the terms must be close to one another. However the difference between consecutive terms for n and n + is recisely r n+, so r n+ must also be small, in fact (by the triangle inequality) less than twice the distance from the artial sum to its limit value. What remains is to quantify this with ɛ and N. Proof. The series converges to a limit L, so given ɛ > 0 there is N so n > N imlies n r j L < ɛ 2. In articular, using n > N and thus n + > N, and the triangle inequality: r n+ = r j L ) ( n r j L ) n+ r j L + n r j L < ɛ (n+ so for n > N we have r n+ < ɛ which roves the result. It is a very imortant fact that you learned in calculus class that the converse of this result is false: there are sequences for which the terms go to zero but the series diverges. A basic examle is the harmonic series j, for several reasons, one of which is that the method of roof is useful elsewhere. Theorem 25. The series j diverges to. Reasoning: The roof contains an imortant idea, which is that one can break the sum u into blocks of different lengths such that each block contributes at least a constant amount to the sum. The decomosition into blocks is as follows: j = ( 3 + ) ( ) ( 4 + ) ( ) What we see is that adding the terms in the block from 2 n to 2 n we have 2 n terms each of size at least 2 n, so the sum of this block contributes at least 2 to the series. We can make this recise using induction, because this will show 2 n + n 2. From here it is easy to show the series diverges as stated.

9 Proof. We rove by induction that 2 n inductive ste is 2 n+ 2n j = 2n+ j + 2 n+ MATH 270: NOTES FOR ANALYSIS 9 j + n 2 j + n 2n n+ for n. This is true for n =, and the 2 (n+) + n 2 + 2n 2 (n+) = + n + 2 so it is true for all n. Now given M take N > 2 2M. Then n > N imlies N j 2 2M + M > M, so the artial sums diverge to. Limits of functions The limits you most frequently encounter in calculus class are limits of functions not sequences. In these notes we will limit ourselves to considering limits of the form lim x c f(x) = L where f : (a, b) R is a function from an oen interval (a, b) R and c (a, b). The idea is that we can make the values of f(x) arbitrarily close to the limiting value L by making x close enough to c, though not equal to c. As with limits of sequences we want f(x) arbitrarily close to L, so we want for all ɛ > 0 that we can make f(x) L < ɛ. In order to get this to haen we need to take x close enough to c, which requires quantification: we need a distance δ > 0, deending on f and ɛ, such that making x c < δ but x c will ensure f(x) L < ɛ. Definition 26. For a function f : (a, b) R and c (a, b) we say lim x c f(x) = L if ɛ > 0 δ > 0 such that 0 < x c < δ = f(x) L < ɛ. Remark 27. The condition 0 < x c is what ensures x c. Our choice of c (a, b) ensures that if δ < min{ a c, b c } then 0 < x c < δ imlies x (a, b) and therefore f(x) makes sense. Following the same notation as was used for limits of sequences we make the following further deifnitions. As was the case for sequences, the question of whether a limit exists can have different answers in Q and R, for the same reason. Definition 28. The limit lim x c f(x) exists if there is L such that lim x c f(x) = L. If there is no such L then we say the limit does not exist. As with the definition of a limit of a sequence, do not worry unduly if you do not feel any intuition for this definition; ractice using the definition will eventually hel you to make sense of it. It is, however, critical that you know the definition and get comfortable with the structure of arguments using it. As with limits of sequences, the structure of a roof is often different than the intuition needed to figure it out, but once you have it you can ut the roof in fairly standard form like the following: Given ɛ > 0 define δ > 0 deending on ɛ and f, assume 0 < x c < δ and then give an argument which reasons from this assumtion to the conclusion that f(x) L < ɛ. We illustrate with some examles. Examle 29. Problem: Show lim x 2x 3 =. Reasoning: For f(x) = 2x 3 we need to get ɛ > f(x) ( ) > 2x 3 + = 2(x ) by making 0 < x < δ. If we ut δ = ɛ/2 then x < δ = ɛ/2 so 2 x < ɛ, which works. Proof: Given ɛ > 0 let δ = ɛ/2 and suose 0 < x < δ. Then f(x) ( ) = 2(x ) < 2δ = ɛ In the revious roblem we did not really need 0 < x because at x = c we had 2x 3 ( ) = 0. However it is not so difficult to give a similar examle where the 0 < x c condition is essential. x 2 + 5x + 6 Examle 30. Problem: Show that lim =. x 2 x + 2 Reasoning: Factoring the numerator we have x 2 + 5x + 6 = (x + 2)(x + 3). For x 2 we can

10 0 MATH 270: NOTES FOR ANALYSIS then cancel the common factor of x + 2 from the denominator and the numerator, so f(x) = x + 3 = x + 2, and we must rove this is less than ɛ when 0 < x + 2 < δ. Clearly it suffices to set δ = ɛ. Proof: Given ɛ > 0 let δ = ɛ and suose 0 < x + 2 < δ. Factoring the function in the limit we obtain x2 + 5x + 6 (x + 2)(x + 3) = = x + 3 = x + 2 < δ = ɛ x + 2 x + 2 where the cancellation is justified by the fact that x + 2 > 0. This roves the result. Examle 3. Problem: Show lim x 2 x 2 = 4. Reasoning: We need to show x 2 4 < ɛ if x 2 is small enough. The essential oint is that x 2 4 contains a factor of x 2. Secifically, x 2 4 = (x 2)(x + 2), which imlies x 2 4 = x 2 x + 2. If we knew x 2 < δ then 2 δ < x < 2 + δ so x + 2 < 4 + δ, which would make x 2 4 < (4 + δ) x 2 < (4 + δ)δ. We d want (4 + δ)δ ɛ to comlete the argument. It is a bit messy to choose δ using the quadratic formula, so instead we just require that δ < so (4 + δ)δ < 5δ and choose δ so 5δ ɛ. To get our two conditions to be true we take δ = min{, ɛ/5}. Proof: Given ɛ > 0 let δ = min{, ɛ/5}. Then x 2 4 = x + 2 x 2 < (4 + δ) x 2 5δ ɛ. The idea that if f(x) is a olynomial then f(x) L should contain a factor of x c is alicable in general. Here is an examle that looks a little different. Examle 32. Problem: Show lim x x 4 3x 3 + x 2 = 2. Reasoning: We need to show x 4 3x 3 + x 2 ( 2) is small when x is small, and have just said that this should occur because the first exression contains a factor x. Let s try to find the factor by long division of olynomials. (I may not use your favorite format for such long division, but you can always do it yourself. however you refer.) x 4 3x 3 + x 2 ( 2) = x 4 3x 3 + x 2 + = x 3 (x ) 2x 3 + x 2 + = x 3 (x ) 2x 2 (x ) x 2 + = (x 3 2x 2 )(x ) x(x ) x + = (x 3 2x 2 x)(x ) (x ) = (x 3 2x 2 x )(x ) Note that although we had to do this working ste-by-ste to get the factorizations, in the roof we only need to state what the factorization is (we don t need to include all stes) because the reader could verify it quickly by multilying out the factors. Now we want to make sure the factor multilying (x ) is not too big. As in the revious roblem it hels to insist that δ <. When x < δ < we have 0 < x < 2, so x 3 < 8, 2 x 2 < 8 and x < 2 from which we have the following (admittedly not very good) bound using the triangle inequality: x 3 2x 2 x x x 2 + x + < = 9. The reason we did not try to get a better bound in this exression is that it does not matter. If we take δ 9ɛ then we will still get the result we seek. To fit our two conditions on δ we use a minimum as usual. Proof: Given ɛ > 0 let δ = min{, ɛ/9}. If 0 < x < δ then x (0, 2) so x < 2 and we can comute x 4 3x 3 + x 2 ( 2) = x 3 2x 2 x x ( x x 2 + x + ) x < 9δ ɛ.

11 MATH 270: NOTES FOR ANALYSIS Sometimes one has a rational function where the factors in the denominator do not cancel with terms from the numerator. In this case we can still factor out a coy of x c but will be left bounding a rational function rather than a olynomial. The imortant thing is that the bounds for the terms must say the terms in the denominator stay away from 0 and that the terms in the numerator stay away from. x 3 x 2 Examle 33. Problem: Show that lim x 0 x 2 + x + 3 = 0. x 3 x 2 Reasoning: We need to show that x 2 < ɛ when x < δ. Clearly we should factor out one + x + 3 or more owers of x, but one will suffice. So if we wrote x 3 x 2 x 2 x 2 x + + x + 3 x 2 + x + 3 we see it is enough to have an uer bound for the factor with the fraction when x < δ. An uer bound for a fraction uses a lower bound for the denominator, so we want to find a number d, so x 2 +x+3 > d. We d exect this exression to be close to 3 if x is very small. One otion to show this occurs is to use the form of the triangle inequality in Lemma 3, because with a = x 2 + x + 3 and b = 3 we obtain (also using the usual triangle inequality and x < δ at the end: x 2 + x x 2 + x δ 2 + δ If we knew δ then this is no more than 2δ 2, which gives x 2 + x + 3. Then we d get x 3 x 2 x 2 x 2 x + + x + 3 x 2 + x x 2 < 2δ 2 2δ where at the end we again used δ. Taking 2δ < ɛ will finish the roof. Proof: Given ɛ > 0 let δ = min{, ɛ/2}. If 0 < x < δ then x 2 + x x 2 + x δ 2 + δ 2 so that x 2 + x + 3. Then we may comute x 3 x 2 x 2 x 2 x + + x + 3 x 2 + x x 2 < 2δ 2 < 2δ < ɛ to comlete the roof. Proving a limit does not exist frequently roceeds in the way we did for sequences. Aly contradiction, use the hyothesis of the existence of the limit to show that the function gets within ɛ of two values that are searated by distance more than 2ɛ and obtain a contradiction by the triangle inequality. All that is different is that in the sequence case the function values were oints arbitrarily far out in the sequence, whereas for a limit of a function they are values f(x) that occur for x very close to c. Here are two examles. x Examle 34. Problem: Show that lim x 0 x does not exist. Reasoning: If x > 0 then x /x = x/x =. If x < 0 then x /x = x/x =, so we should be able to use the same aroach as in Examle. Suose the limit exists and is L, take ɛ = and use the limit definition to find δ so 0 < x < δ imlies f(x) L < ɛ. Then for any x, x 2 with x < δ, x 2 < δ we must have f(x ) f(x 2 ) = f(x ) L (f(x 2 ) L) < 2ɛ = 2 by the triangle inequality. But if x > 0 then f(x ) = and if x 2 < 0 then f(x 2 ) =, so if we can find such numbers with size less than δ we get the contradiction 2 = ( ) = f(x ) f(x 2 ) < 2. One way to get these numbers is just to take x = δ/2 and x 2 = δ/2. Proof: Suose the limit exists and is equal to L. Let f(x) = x /x when x 0. Given ɛ = take

12 2 MATH 270: NOTES FOR ANALYSIS δ > 0 so 0 < x < δ imlies f(x) L < ɛ =. Let x = δ/2 and x 2 = δ/2. Observe f(x ) = and f(x 2 ) =. Both x < δ and x 2 < δ, so 2 = ( ) = f(x ) f(x 2 ) = f(x ) L (f(x 2 ) L) f(x ) L + f(x 2 ) L < ɛ + ɛ = 2 which gives a contradiction. Examle 35. Problem: Show that lim x 0 x does not exist. Reasoning: We see that x is large when x is small. It seems likely that we can get it to outut values that have arbitrary searation, just by taking, eg, inuts x and x/2. This gives f(x/2) f(x) = (2/x) (/x) = / x. If we ut x < then this difference is larger than. The usual way to get the contradiction is to take ɛ so 2ɛ is the searation of the function values, so lets try ɛ = /2. Proof: In order to obtain a contradiction, suose there is L so lim x 0 x = L. Write f(x) = x. With ɛ = 2 take δ > 0 so 0 < x < δ imlies f(x) L < ɛ. If 0 < x < min{, δ} then also 0 < x 2 < δ, so that x = 2 x = f( x x 2 ) f(x) f( x 2 ) L + f(x) L < 2ɛ =. This gives a contradiction because 0 < x <.

13 Exercises for Chater 2 37 EXERCISES FOR CHAPTER 2 Section 2.: Limits of Sequences 2.. Give an examle of a sequence that is not exressed in terms of trigonometry but whose terms are exactly those of the sequence of {cos(nπ)} Give an examle of two sequences different from the sequence {n 2 n! + n 2 } whose first three terms are the same as those of {n 2 n! + n 2 } Prove that the sequence { } 2n converges to Prove that the sequence { } n 2 + converges to Prove that the sequence { } + 2 converges to. n 2.6. Prove that the sequence { } n+2 2n+3 converges to By definition, lim n a n = L if for every ɛ>0, there exists a ositive integer N such that if n is an integer with n > N, then a n L <ɛ. By taking the negation of this definition, write out the meaning of lim n a n L using quantifiers. Then write out the meaning of {a n } diverges using quantifiers Show that the sequence { n 4} diverges to infinity. { } n 2.9. Show that the sequence 5 +2n diverges to infinity. n (a) Prove that n < 2 n for every ositive integer n. (b) Let s n = n + 2n + 3n + + for each n N. Prove that the sequence {s n 2 n } converges to Prove that if a sequence {s n } converges to L, then the sequence {s n 2} also converges to L. Section 2.2: Infinite Series 2.2. Prove that the series k= converges and determine its sum by (3k 2)(3k+) (a) comuting the first few terms of the sequence {s n } of artial sums and conjecturing a formula for s n ; (b) using mathematical induction to verify that your conjecture in (a) is correct; (c) comleting the roof Prove that the series k= converges and determine its sum by 2 k (a) comuting the first few terms of the sequence {s n } of artial sums and conjecturing a formula for s n ; (b) using mathematical induction to verify that your conjecture in (a) is correct; (c) comleting the roof The terms a, a 2, a 3, of the series k= a k are defined recursively by a = 6 and 2 a n = a n n(n + )(n + 2) for n 2. Prove that k= a k converges and determine its value Prove that the series k= k+3 (k+) 2 diverges to infinity (a) Prove that if k= a k is a convergent series, then lim n a n = 0. (b) Show that the converse of the result in (a) is false Let k= a k be an infinite series whose sequence of artial sums is {s n } where s n = 3n 4n+2. (a) What is the series k= a k? (b) Determine the sum s of k= a k and rove that k= a k = s.

14 38 Chater 2 Proofs in Calculus Section 2.3: Limits of Functions ( 2.8. Give an ɛ δ roof that lim 3 x 2 2 x + ) = Give an ɛ δ roof that lim x (3x 5) = Give an ɛ δ roof that lim x 2 (2x 2 x 5) = Give an ɛ δ roof that lim x 2 x 3 = Determine lim x and verify that your answer is correct with an ɛ δ roof. 5x 4 3x Give an ɛ δ roof that lim x 3 4x+3 = 2 3. x Determine lim 2 2x 3 x 3 and verify that your answer is correct with an ɛ δ roof. x 2 8x Show that lim x 0 does not exist. x The function f : R R is defined by x < 3 f (x) =.5 x = 3 2 x > 3. (a) Determine whether lim x 3 f (x) exists and verify your answer. (b) Determine whether lim x π f (x) exists and verify your answer A function g : R R is bounded if there exists a ositive real number B such that g(x) < B for each x R. (a) Let g : R R be a bounded function and suose that f : R R and a R such that lim x a f (x) = 0. Prove that lim x a f (x)g(x) = 0. (b) Use the result in (a) to determine lim x 0 x 2 sin ( x 2 ) Suose that lim x a f (x) = L, where L > 0. Prove that lim x a f (x) = L Suose that f : R R is a function such that lim x 0 f (x) = L. (a) Let c R. Prove that lim x c f (x c) = L. (b) Suose that f also has the roerty that f (a + b) = f (a) + f (b) for all a, b R. Use the result in (a) to rove that lim x c f (x) exists for all c R Let f : R R be a function. (a) Prove that if lim x a f (x) = L, then lim x a f (x) = L. (b) Prove or disrove: If lim x a f (x) = L, then lim x a f (x) exists. Section 2.4: Fundamental Proerties of Limits of Functions 2.3. Use limit theorems to determine the following: (a) lim x (x 3 2x 2 5x + 8) (b) lim x (4x + 7)(3x 2 2) (c) lim x 2 2x 2 3x Use induction to rove that for every integer n 2 and every n functions f, f 2,, f n such that lim x a f i(x) = L i for i n, lim x a ( f (x) + f 2 (x) + + f n (x)) = L + L 2 + +L n.

15 Additional Exercises for Chater Use Exercise 2.32 to rove that lim x a (x) = (a) for every olynomial (x) = c n x n + c n x n + +c x + c Prove that if f, f 2,..., f n are any n 2 functions such that lim x a f i (x) = L i for i n, then Section 2.5: Continuity lim x a ( f (x) f 2 (x) f n (x)) = L L 2 L n The function f : R {0, 2} Ris defined by f (x) = x2 4. Use limit theorems to determine whether f x 3 2x 2 can be defined at 2 such that f is continuous at The function f defined by f (x) = x2 9 is not defined at 3. Is it ossible to define f at 3 such that f is x 2 3x continuous there? Verify your answer with an ɛ δ roof Let f : R Z be the ceiling function defined by f (x) = x. Giveanɛ δ roof that if a is a real number that is not an integer, then f is continuous at a Show that Exercise 2.33 imlies that every olynomial is continuous at every real number Prove that the function f :[, ) [0, ) defined by f (x) = x is continuous at x = (a) Let f : R R be defined by f (x) = { 0 if x is rational if x is irrational. In articular, f (0) = 0. Prove or disrove: f is continuous at x = 0. (b) The roblem in (a) should suggest another roblem to you. State and solve such a roblem. Section 2.6: Differentiability 2.4. The function f : R R is defined by f (x) = x 2. Determine f (3) and verify that your answer is correct with an ɛ δ roof The function f : R { 2} R is defined by f (x) = x+2. Determine f () and verify that your answer is correct with an ɛ δ roof The function f : R R is defined by f (x) = x 3. Determine f (a) for a R + and verify that your answer is correct with an ɛ δ roof The function f : R R is defined by { x 2 sin if x 0 x f (x) = 0 if x = 0. Determine f (0) and verify that your answer is correct with an ɛ δ roof. ADDITIONAL EXERCISES FOR CHAPTER Prove that the sequence { } n+ 3n converges to 3. 2n Prove that lim 2 n 4n 2 + = Prove that the sequence { + ( 2) n } diverges Prove that lim n ( n 2 + n) = 0.

HENSEL S LEMMA KEITH CONRAD

HENSEL S LEMMA KEITH CONRAD HENSEL S LEMMA KEITH CONRAD 1. Introduction In the -adic integers, congruences are aroximations: for a and b in Z, a b mod n is the same as a b 1/ n. Turning information modulo one ower of into similar

More information

MA3H1 TOPICS IN NUMBER THEORY PART III

MA3H1 TOPICS IN NUMBER THEORY PART III MA3H1 TOPICS IN NUMBER THEORY PART III SAMIR SIKSEK 1. Congruences Modulo m In quadratic recirocity we studied congruences of the form x 2 a (mod ). We now turn our attention to situations where is relaced

More information

Elementary Analysis in Q p

Elementary Analysis in Q p Elementary Analysis in Q Hannah Hutter, May Szedlák, Phili Wirth November 17, 2011 This reort follows very closely the book of Svetlana Katok 1. 1 Sequences and Series In this section we will see some

More information

Sets of Real Numbers

Sets of Real Numbers Chater 4 Sets of Real Numbers 4. The Integers Z and their Proerties In our revious discussions about sets and functions the set of integers Z served as a key examle. Its ubiquitousness comes from the fact

More information

16.2. Infinite Series. Introduction. Prerequisites. Learning Outcomes

16.2. Infinite Series. Introduction. Prerequisites. Learning Outcomes Infinite Series 6.2 Introduction We extend the concet of a finite series, met in Section 6., to the situation in which the number of terms increase without bound. We define what is meant by an infinite

More information

16.2. Infinite Series. Introduction. Prerequisites. Learning Outcomes

16.2. Infinite Series. Introduction. Prerequisites. Learning Outcomes Infinite Series 6. Introduction We extend the concet of a finite series, met in section, to the situation in which the number of terms increase without bound. We define what is meant by an infinite series

More information

A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract

A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS CASEY BRUCK 1. Abstract The goal of this aer is to rovide a concise way for undergraduate mathematics students to learn about how rime numbers behave

More information

Practice Final Solutions

Practice Final Solutions Practice Final Solutions 1. True or false: (a) If a is a sum of three squares, and b is a sum of three squares, then so is ab. False: Consider a 14, b 2. (b) No number of the form 4 m (8n + 7) can be written

More information

Why Proofs? Proof Techniques. Theorems. Other True Things. Proper Proof Technique. How To Construct A Proof. By Chuck Cusack

Why Proofs? Proof Techniques. Theorems. Other True Things. Proper Proof Technique. How To Construct A Proof. By Chuck Cusack Proof Techniques By Chuck Cusack Why Proofs? Writing roofs is not most student s favorite activity. To make matters worse, most students do not understand why it is imortant to rove things. Here are just

More information

Math 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,

Math 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2, MATH 4400 roblems. Math 4400/6400 Homework # solutions 1. Let P be an odd integer not necessarily rime. Show that modulo, { P 1 0 if P 1, 7 mod, 1 if P 3, mod. Proof. Suose that P 1 mod. Then we can write

More information

Series Handout A. 1. Determine which of the following sums are geometric. If the sum is geometric, express the sum in closed form.

Series Handout A. 1. Determine which of the following sums are geometric. If the sum is geometric, express the sum in closed form. Series Handout A. Determine which of the following sums are geometric. If the sum is geometric, exress the sum in closed form. 70 a) k= ( k ) b) 50 k= ( k )2 c) 60 k= ( k )k d) 60 k= (.0)k/3 2. Find the

More information

f(r) = a d n) d + + a0 = 0

f(r) = a d n) d + + a0 = 0 Math 400-00/Foundations of Algebra/Fall 07 Polynomials at the Foundations: Roots Next, we turn to the notion of a root of a olynomial in Q[x]. Definition 8.. r Q is a rational root of fx) Q[x] if fr) 0.

More information

Real Analysis 1 Fall Homework 3. a n.

Real Analysis 1 Fall Homework 3. a n. eal Analysis Fall 06 Homework 3. Let and consider the measure sace N, P, µ, where µ is counting measure. That is, if N, then µ equals the number of elements in if is finite; µ = otherwise. One usually

More information

By Evan Chen OTIS, Internal Use

By Evan Chen OTIS, Internal Use Solutions Notes for DNY-NTCONSTRUCT Evan Chen January 17, 018 1 Solution Notes to TSTST 015/5 Let ϕ(n) denote the number of ositive integers less than n that are relatively rime to n. Prove that there

More information

Section 0.10: Complex Numbers from Precalculus Prerequisites a.k.a. Chapter 0 by Carl Stitz, PhD, and Jeff Zeager, PhD, is available under a Creative

Section 0.10: Complex Numbers from Precalculus Prerequisites a.k.a. Chapter 0 by Carl Stitz, PhD, and Jeff Zeager, PhD, is available under a Creative Section 0.0: Comlex Numbers from Precalculus Prerequisites a.k.a. Chater 0 by Carl Stitz, PhD, and Jeff Zeager, PhD, is available under a Creative Commons Attribution-NonCommercial-ShareAlike.0 license.

More information

19th Bay Area Mathematical Olympiad. Problems and Solutions. February 28, 2017

19th Bay Area Mathematical Olympiad. Problems and Solutions. February 28, 2017 th Bay Area Mathematical Olymiad February, 07 Problems and Solutions BAMO- and BAMO- are each 5-question essay-roof exams, for middle- and high-school students, resectively. The roblems in each exam are

More information

MATH 361: NUMBER THEORY EIGHTH LECTURE

MATH 361: NUMBER THEORY EIGHTH LECTURE MATH 361: NUMBER THEORY EIGHTH LECTURE 1. Quadratic Recirocity: Introduction Quadratic recirocity is the first result of modern number theory. Lagrange conjectured it in the late 1700 s, but it was first

More information

Induction 1 = 1(1+1) = 2(2+1) = 3(3+1) 2

Induction 1 = 1(1+1) = 2(2+1) = 3(3+1) 2 Induction 0-8-08 Induction is used to prove a sequence of statements P(), P(), P(3),... There may be finitely many statements, but often there are infinitely many. For example, consider the statement ++3+

More information

0.6 Factoring 73. As always, the reader is encouraged to multiply out (3

0.6 Factoring 73. As always, the reader is encouraged to multiply out (3 0.6 Factoring 7 5. The G.C.F. of the terms in 81 16t is just 1 so there is nothing of substance to factor out from both terms. With just a difference of two terms, we are limited to fitting this olynomial

More information

Mersenne and Fermat Numbers

Mersenne and Fermat Numbers NUMBER THEORY CHARLES LEYTEM Mersenne and Fermat Numbers CONTENTS 1. The Little Fermat theorem 2 2. Mersenne numbers 2 3. Fermat numbers 4 4. An IMO roblem 5 1 2 CHARLES LEYTEM 1. THE LITTLE FERMAT THEOREM

More information

p-adic Properties of Lengyel s Numbers

p-adic Properties of Lengyel s Numbers 1 3 47 6 3 11 Journal of Integer Sequences, Vol. 17 (014), Article 14.7.3 -adic Proerties of Lengyel s Numbers D. Barsky 7 rue La Condamine 75017 Paris France barsky.daniel@orange.fr J.-P. Bézivin 1, Allée

More information

Topic 7: Using identity types

Topic 7: Using identity types Toic 7: Using identity tyes June 10, 2014 Now we would like to learn how to use identity tyes and how to do some actual mathematics with them. By now we have essentially introduced all inference rules

More information

Math 5330 Spring Notes Prime Numbers

Math 5330 Spring Notes Prime Numbers Math 5330 Sring 208 Notes Prime Numbers The study of rime numbers is as old as mathematics itself. This set of notes has a bunch of facts about rimes, or related to rimes. Much of this stuff is old dating

More information

ON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS

ON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS #A13 INTEGERS 14 (014) ON THE LEAST SIGNIFICANT ADIC DIGITS OF CERTAIN LUCAS NUMBERS Tamás Lengyel Deartment of Mathematics, Occidental College, Los Angeles, California lengyel@oxy.edu Received: 6/13/13,

More information

Math 104B: Number Theory II (Winter 2012)

Math 104B: Number Theory II (Winter 2012) Math 104B: Number Theory II (Winter 01) Alina Bucur Contents 1 Review 11 Prime numbers 1 Euclidean algorithm 13 Multilicative functions 14 Linear diohantine equations 3 15 Congruences 3 Primes as sums

More information

2 Asymptotic density and Dirichlet density

2 Asymptotic density and Dirichlet density 8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime

More information

MATH 250: THE DISTRIBUTION OF PRIMES. ζ(s) = n s,

MATH 250: THE DISTRIBUTION OF PRIMES. ζ(s) = n s, MATH 50: THE DISTRIBUTION OF PRIMES ROBERT J. LEMKE OLIVER For s R, define the function ζs) by. Euler s work on rimes ζs) = which converges if s > and diverges if s. In fact, though we will not exloit

More information

2 Asymptotic density and Dirichlet density

2 Asymptotic density and Dirichlet density 8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime

More information

The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001

The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001 The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001 The Hasse-Minkowski Theorem rovides a characterization of the rational quadratic forms. What follows is a roof of the Hasse-Minkowski

More information

[Ch 3, 4] Logic and Proofs (2) 1. Valid and Invalid Arguments ( 2.3, 3.4) 400 lecture note #2. 1) Basics

[Ch 3, 4] Logic and Proofs (2) 1. Valid and Invalid Arguments ( 2.3, 3.4) 400 lecture note #2. 1) Basics 400 lecture note #2 [Ch 3, 4] Logic and Proofs (2) 1. Valid and Invalid Arguments ( 2.3, 3.4) 1) Basics An argument is a sequence of statements ( s1, s2,, sn). All statements in an argument, excet for

More information

PRIME NUMBERS YANKI LEKILI

PRIME NUMBERS YANKI LEKILI PRIME NUMBERS YANKI LEKILI We denote by N the set of natural numbers:,2,..., These are constructed using Peano axioms. We will not get into the hilosohical questions related to this and simly assume the

More information

Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various Families of R n Norms and Some Open Problems

Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various Families of R n Norms and Some Open Problems Int. J. Oen Problems Comt. Math., Vol. 3, No. 2, June 2010 ISSN 1998-6262; Coyright c ICSRS Publication, 2010 www.i-csrs.org Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various

More information

Excerpt from "Intermediate Algebra" 2014 AoPS Inc.

Excerpt from Intermediate Algebra 2014 AoPS Inc. Ecert from "Intermediate Algebra" 04 AoPS Inc. www.artofroblemsolving.com for which our grah is below the -ais with the oints where the grah intersects the -ais (because the ineuality is nonstrict), we

More information

p-adic Measures and Bernoulli Numbers

p-adic Measures and Bernoulli Numbers -Adic Measures and Bernoulli Numbers Adam Bowers Introduction The constants B k in the Taylor series exansion t e t = t k B k k! k=0 are known as the Bernoulli numbers. The first few are,, 6, 0, 30, 0,

More information

Chapter 7 Rational and Irrational Numbers

Chapter 7 Rational and Irrational Numbers Chater 7 Rational and Irrational Numbers In this chater we first review the real line model for numbers, as discussed in Chater 2 of seventh grade, by recalling how the integers and then the rational numbers

More information

An Estimate For Heilbronn s Exponential Sum

An Estimate For Heilbronn s Exponential Sum An Estimate For Heilbronn s Exonential Sum D.R. Heath-Brown Magdalen College, Oxford For Heini Halberstam, on his retirement Let be a rime, and set e(x) = ex(2πix). Heilbronn s exonential sum is defined

More information

Analysis of some entrance probabilities for killed birth-death processes

Analysis of some entrance probabilities for killed birth-death processes Analysis of some entrance robabilities for killed birth-death rocesses Master s Thesis O.J.G. van der Velde Suervisor: Dr. F.M. Sieksma July 5, 207 Mathematical Institute, Leiden University Contents Introduction

More information

RANDOM WALKS AND PERCOLATION: AN ANALYSIS OF CURRENT RESEARCH ON MODELING NATURAL PROCESSES

RANDOM WALKS AND PERCOLATION: AN ANALYSIS OF CURRENT RESEARCH ON MODELING NATURAL PROCESSES RANDOM WALKS AND PERCOLATION: AN ANALYSIS OF CURRENT RESEARCH ON MODELING NATURAL PROCESSES AARON ZWIEBACH Abstract. In this aer we will analyze research that has been recently done in the field of discrete

More information

x 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p,

x 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p, 13. Quadratic Residues We now turn to the question of when a quadratic equation has a solution modulo m. The general quadratic equation looks like ax + bx + c 0 mod m. Assuming that m is odd or that b

More information

#A47 INTEGERS 15 (2015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS

#A47 INTEGERS 15 (2015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS #A47 INTEGERS 15 (015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS Mihai Ciu Simion Stoilow Institute of Mathematics of the Romanian Academy, Research Unit No. 5,

More information

Feedback-error control

Feedback-error control Chater 4 Feedback-error control 4.1 Introduction This chater exlains the feedback-error (FBE) control scheme originally described by Kawato [, 87, 8]. FBE is a widely used neural network based controller

More information

The Euler Phi Function

The Euler Phi Function The Euler Phi Function 7-3-2006 An arithmetic function takes ositive integers as inuts and roduces real or comlex numbers as oututs. If f is an arithmetic function, the divisor sum Dfn) is the sum of the

More information

Solution sheet ξi ξ < ξ i+1 0 otherwise ξ ξ i N i,p 1 (ξ) + where 0 0

Solution sheet ξi ξ < ξ i+1 0 otherwise ξ ξ i N i,p 1 (ξ) + where 0 0 Advanced Finite Elements MA5337 - WS7/8 Solution sheet This exercise sheets deals with B-slines and NURBS, which are the basis of isogeometric analysis as they will later relace the olynomial ansatz-functions

More information

Lecture 6. 2 Recurrence/transience, harmonic functions and martingales

Lecture 6. 2 Recurrence/transience, harmonic functions and martingales Lecture 6 Classification of states We have shown that all states of an irreducible countable state Markov chain must of the same tye. This gives rise to the following classification. Definition. [Classification

More information

Representing Integers as the Sum of Two Squares in the Ring Z n

Representing Integers as the Sum of Two Squares in the Ring Z n 1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 17 (2014), Article 14.7.4 Reresenting Integers as the Sum of Two Squares in the Ring Z n Joshua Harrington, Lenny Jones, and Alicia Lamarche Deartment

More information

Sums of independent random variables

Sums of independent random variables 3 Sums of indeendent random variables This lecture collects a number of estimates for sums of indeendent random variables with values in a Banach sace E. We concentrate on sums of the form N γ nx n, where

More information

On the Rank of the Elliptic Curve y 2 = x(x p)(x 2)

On the Rank of the Elliptic Curve y 2 = x(x p)(x 2) On the Rank of the Ellitic Curve y = x(x )(x ) Jeffrey Hatley Aril 9, 009 Abstract An ellitic curve E defined over Q is an algebraic variety which forms a finitely generated abelian grou, and the structure

More information

CSC165H, Mathematical expression and reasoning for computer science week 12

CSC165H, Mathematical expression and reasoning for computer science week 12 CSC165H, Mathematical exression and reasoning for comuter science week 1 nd December 005 Gary Baumgartner and Danny Hea hea@cs.toronto.edu SF4306A 416-978-5899 htt//www.cs.toronto.edu/~hea/165/s005/index.shtml

More information

GOOD MODELS FOR CUBIC SURFACES. 1. Introduction

GOOD MODELS FOR CUBIC SURFACES. 1. Introduction GOOD MODELS FOR CUBIC SURFACES ANDREAS-STEPHAN ELSENHANS Abstract. This article describes an algorithm for finding a model of a hyersurface with small coefficients. It is shown that the aroach works in

More information

Averaging sums of powers of integers and Faulhaber polynomials

Averaging sums of powers of integers and Faulhaber polynomials Annales Mathematicae et Informaticae 42 (20. 0 htt://ami.ektf.hu Averaging sums of owers of integers and Faulhaber olynomials José Luis Cereceda a a Distrito Telefónica Madrid Sain jl.cereceda@movistar.es

More information

Statics and dynamics: some elementary concepts

Statics and dynamics: some elementary concepts 1 Statics and dynamics: some elementary concets Dynamics is the study of the movement through time of variables such as heartbeat, temerature, secies oulation, voltage, roduction, emloyment, rices and

More information

Quadratic Reciprocity

Quadratic Reciprocity Quadratic Recirocity 5-7-011 Quadratic recirocity relates solutions to x = (mod to solutions to x = (mod, where and are distinct odd rimes. The euations are oth solvale or oth unsolvale if either or has

More information

On the Toppling of a Sand Pile

On the Toppling of a Sand Pile Discrete Mathematics and Theoretical Comuter Science Proceedings AA (DM-CCG), 2001, 275 286 On the Toling of a Sand Pile Jean-Christohe Novelli 1 and Dominique Rossin 2 1 CNRS, LIFL, Bâtiment M3, Université

More information

CERIAS Tech Report The period of the Bell numbers modulo a prime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education

CERIAS Tech Report The period of the Bell numbers modulo a prime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education CERIAS Tech Reort 2010-01 The eriod of the Bell numbers modulo a rime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education and Research Information Assurance and Security Purdue University,

More information

2 = = 0 Thus, the number which is largest in magnitude is equal to the number which is smallest in magnitude.

2 = = 0 Thus, the number which is largest in magnitude is equal to the number which is smallest in magnitude. Limits at Infinity Two additional topics of interest with its are its as x ± and its where f(x) ±. Before we can properly discuss the notion of infinite its, we will need to begin with a discussion on

More information

MAS 4203 Number Theory. M. Yotov

MAS 4203 Number Theory. M. Yotov MAS 4203 Number Theory M. Yotov June 15, 2017 These Notes were comiled by the author with the intent to be used by his students as a main text for the course MAS 4203 Number Theory taught at the Deartment

More information

Extension of Minimax to Infinite Matrices

Extension of Minimax to Infinite Matrices Extension of Minimax to Infinite Matrices Chris Calabro June 21, 2004 Abstract Von Neumann s minimax theorem is tyically alied to a finite ayoff matrix A R m n. Here we show that (i) if m, n are both inite,

More information

2.1 Convergence of Sequences

2.1 Convergence of Sequences Chapter 2 Sequences 2. Convergence of Sequences A sequence is a function f : N R. We write f) = a, f2) = a 2, and in general fn) = a n. We usually identify the sequence with the range of f, which is written

More information

On Character Sums of Binary Quadratic Forms 1 2. Mei-Chu Chang 3. Abstract. We establish character sum bounds of the form.

On Character Sums of Binary Quadratic Forms 1 2. Mei-Chu Chang 3. Abstract. We establish character sum bounds of the form. On Character Sums of Binary Quadratic Forms 2 Mei-Chu Chang 3 Abstract. We establish character sum bounds of the form χ(x 2 + ky 2 ) < τ H 2, a x a+h b y b+h where χ is a nontrivial character (mod ), 4

More information

Chapter 11 - Sequences and Series

Chapter 11 - Sequences and Series Calculus and Analytic Geometry II Chapter - Sequences and Series. Sequences Definition. A sequence is a list of numbers written in a definite order, We call a n the general term of the sequence. {a, a

More information

PHYS 301 HOMEWORK #9-- SOLUTIONS

PHYS 301 HOMEWORK #9-- SOLUTIONS PHYS 0 HOMEWORK #9-- SOLUTIONS. We are asked to use Dirichlet' s theorem to determine the value of f (x) as defined below at x = 0, ± /, ± f(x) = 0, - < x

More information

Characteristics of Fibonacci-type Sequences

Characteristics of Fibonacci-type Sequences Characteristics of Fibonacci-tye Sequences Yarden Blausa May 018 Abstract This aer resents an exloration of the Fibonacci sequence, as well as multi-nacci sequences and the Lucas sequence. We comare and

More information

Mobius Functions, Legendre Symbols, and Discriminants

Mobius Functions, Legendre Symbols, and Discriminants Mobius Functions, Legendre Symbols, and Discriminants 1 Introduction Zev Chonoles, Erick Knight, Tim Kunisky Over the integers, there are two key number-theoretic functions that take on values of 1, 1,

More information

4. Score normalization technical details We now discuss the technical details of the score normalization method.

4. Score normalization technical details We now discuss the technical details of the score normalization method. SMT SCORING SYSTEM This document describes the scoring system for the Stanford Math Tournament We begin by giving an overview of the changes to scoring and a non-technical descrition of the scoring rules

More information

March 4, :21 WSPC/INSTRUCTION FILE FLSpaper2011

March 4, :21 WSPC/INSTRUCTION FILE FLSpaper2011 International Journal of Number Theory c World Scientific Publishing Comany SOLVING n(n + d) (n + (k 1)d ) = by 2 WITH P (b) Ck M. Filaseta Deartment of Mathematics, University of South Carolina, Columbia,

More information

The Fekete Szegő theorem with splitting conditions: Part I

The Fekete Szegő theorem with splitting conditions: Part I ACTA ARITHMETICA XCIII.2 (2000) The Fekete Szegő theorem with slitting conditions: Part I by Robert Rumely (Athens, GA) A classical theorem of Fekete and Szegő [4] says that if E is a comact set in the

More information

Numerical Linear Algebra

Numerical Linear Algebra Numerical Linear Algebra Numerous alications in statistics, articularly in the fitting of linear models. Notation and conventions: Elements of a matrix A are denoted by a ij, where i indexes the rows and

More information

MATH 3240Q Introduction to Number Theory Homework 7

MATH 3240Q Introduction to Number Theory Homework 7 As long as algebra and geometry have been searated, their rogress have been slow and their uses limited; but when these two sciences have been united, they have lent each mutual forces, and have marched

More information

Complex Analysis Homework 1

Complex Analysis Homework 1 Comlex Analysis Homework 1 Steve Clanton Sarah Crimi January 27, 2009 Problem Claim. If two integers can be exressed as the sum of two squares, then so can their roduct. Proof. Call the two squares that

More information

Applications of the course to Number Theory

Applications of the course to Number Theory Alications of the course to Number Theory Rational Aroximations Theorem (Dirichlet) If ξ is real and irrational then there are infinitely many distinct rational numbers /q such that ξ q < q. () 2 Proof

More information

On generalizing happy numbers to fractional base number systems

On generalizing happy numbers to fractional base number systems On generalizing hay numbers to fractional base number systems Enriue Treviño, Mikita Zhylinski October 17, 018 Abstract Let n be a ositive integer and S (n) be the sum of the suares of its digits. It is

More information

Practice Final Solutions

Practice Final Solutions Practice Final Solutions 1. Find integers x and y such that 13x + 1y 1 SOLUTION: By the Euclidean algorithm: One can work backwards to obtain 1 1 13 + 2 13 6 2 + 1 1 13 6 2 13 6 (1 1 13) 7 13 6 1 Hence

More information

HAUSDORFF MEASURE OF p-cantor SETS

HAUSDORFF MEASURE OF p-cantor SETS Real Analysis Exchange Vol. 302), 2004/2005,. 20 C. Cabrelli, U. Molter, Deartamento de Matemática, Facultad de Cs. Exactas y Naturales, Universidad de Buenos Aires and CONICET, Pabellón I - Ciudad Universitaria,

More information

3 Properties of Dedekind domains

3 Properties of Dedekind domains 18.785 Number theory I Fall 2016 Lecture #3 09/15/2016 3 Proerties of Dedekind domains In the revious lecture we defined a Dedekind domain as a noetherian domain A that satisfies either of the following

More information

1-way quantum finite automata: strengths, weaknesses and generalizations

1-way quantum finite automata: strengths, weaknesses and generalizations 1-way quantum finite automata: strengths, weaknesses and generalizations arxiv:quant-h/9802062v3 30 Se 1998 Andris Ambainis UC Berkeley Abstract Rūsiņš Freivalds University of Latvia We study 1-way quantum

More information

ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM

ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM JOHN BINDER Abstract. In this aer, we rove Dirichlet s theorem that, given any air h, k with h, k) =, there are infinitely many rime numbers congruent to

More information

CSE 599d - Quantum Computing When Quantum Computers Fall Apart

CSE 599d - Quantum Computing When Quantum Computers Fall Apart CSE 599d - Quantum Comuting When Quantum Comuters Fall Aart Dave Bacon Deartment of Comuter Science & Engineering, University of Washington In this lecture we are going to begin discussing what haens to

More information

MATH 248A. THE CHARACTER GROUP OF Q. 1. Introduction

MATH 248A. THE CHARACTER GROUP OF Q. 1. Introduction MATH 248A. THE CHARACTER GROUP OF Q KEITH CONRAD 1. Introduction The characters of a finite abelian grou G are the homomorhisms from G to the unit circle S 1 = {z C : z = 1}. Two characters can be multilied

More information

FERMAT S LAST THEOREM

FERMAT S LAST THEOREM FERMAT S LAST THEOREM REVISITED AGAIN Colin Newton 8/0/08 0 FERMAT S LAST THEOREM When Fermat wrote a note in the margin of his coy of Bachet s Arithmetica to the effect that he had a marvellous roof that

More information

8 STOCHASTIC PROCESSES

8 STOCHASTIC PROCESSES 8 STOCHASTIC PROCESSES The word stochastic is derived from the Greek στoχαστικoς, meaning to aim at a target. Stochastic rocesses involve state which changes in a random way. A Markov rocess is a articular

More information

1. INTRODUCTION. Fn 2 = F j F j+1 (1.1)

1. INTRODUCTION. Fn 2 = F j F j+1 (1.1) CERTAIN CLASSES OF FINITE SUMS THAT INVOLVE GENERALIZED FIBONACCI AND LUCAS NUMBERS The beautiful identity R.S. Melham Deartment of Mathematical Sciences, University of Technology, Sydney PO Box 23, Broadway,

More information

PETER J. GRABNER AND ARNOLD KNOPFMACHER

PETER J. GRABNER AND ARNOLD KNOPFMACHER ARITHMETIC AND METRIC PROPERTIES OF -ADIC ENGEL SERIES EXPANSIONS PETER J. GRABNER AND ARNOLD KNOPFMACHER Abstract. We derive a characterization of rational numbers in terms of their unique -adic Engel

More information

IMPROVED BOUNDS IN THE SCALED ENFLO TYPE INEQUALITY FOR BANACH SPACES

IMPROVED BOUNDS IN THE SCALED ENFLO TYPE INEQUALITY FOR BANACH SPACES IMPROVED BOUNDS IN THE SCALED ENFLO TYPE INEQUALITY FOR BANACH SPACES OHAD GILADI AND ASSAF NAOR Abstract. It is shown that if (, ) is a Banach sace with Rademacher tye 1 then for every n N there exists

More information

Factorability in the ring Z[ 5]

Factorability in the ring Z[ 5] University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Dissertations, Theses, and Student Research Paers in Mathematics Mathematics, Deartment of 4-2004 Factorability in the ring

More information

THE 2D CASE OF THE BOURGAIN-DEMETER-GUTH ARGUMENT

THE 2D CASE OF THE BOURGAIN-DEMETER-GUTH ARGUMENT THE 2D CASE OF THE BOURGAIN-DEMETER-GUTH ARGUMENT ZANE LI Let e(z) := e 2πiz and for g : [0, ] C and J [0, ], define the extension oerator E J g(x) := g(t)e(tx + t 2 x 2 ) dt. J For a ositive weight ν

More information

ON THE NORM OF AN IDEMPOTENT SCHUR MULTIPLIER ON THE SCHATTEN CLASS

ON THE NORM OF AN IDEMPOTENT SCHUR MULTIPLIER ON THE SCHATTEN CLASS PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 000-9939XX)0000-0 ON THE NORM OF AN IDEMPOTENT SCHUR MULTIPLIER ON THE SCHATTEN CLASS WILLIAM D. BANKS AND ASMA HARCHARRAS

More information

1 Gambler s Ruin Problem

1 Gambler s Ruin Problem Coyright c 2017 by Karl Sigman 1 Gambler s Ruin Problem Let N 2 be an integer and let 1 i N 1. Consider a gambler who starts with an initial fortune of $i and then on each successive gamble either wins

More information

Introduction to Series and Sequences Math 121 Calculus II Spring 2015

Introduction to Series and Sequences Math 121 Calculus II Spring 2015 Introduction to Series and Sequences Math Calculus II Spring 05 The goal. The main purpose of our study of series and sequences is to understand power series. A power series is like a polynomial of infinite

More information

HARMONIC EXTENSION ON NETWORKS

HARMONIC EXTENSION ON NETWORKS HARMONIC EXTENSION ON NETWORKS MING X. LI Abstract. We study the imlication of geometric roerties of the grah of a network in the extendibility of all γ-harmonic germs at an interior node. We rove that

More information

Elementary theory of L p spaces

Elementary theory of L p spaces CHAPTER 3 Elementary theory of L saces 3.1 Convexity. Jensen, Hölder, Minkowski inequality. We begin with two definitions. A set A R d is said to be convex if, for any x 0, x 1 2 A x = x 0 + (x 1 x 0 )

More information

A review of the foundations of perfectoid spaces

A review of the foundations of perfectoid spaces A review of the foundations of erfectoid saces (Notes for some talks in the Fargues Fontaine curve study grou at Harvard, Oct./Nov. 2017) Matthew Morrow Abstract We give a reasonably detailed overview

More information

π(x) π( x) = x<n x gcd(n,p)=1 The sum can be extended to all n x, except that now the number 1 is included in the sum, so π(x) π( x)+1 = n x

π(x) π( x) = x<n x gcd(n,p)=1 The sum can be extended to all n x, except that now the number 1 is included in the sum, so π(x) π( x)+1 = n x Math 05 notes, week 7 C. Pomerance Sieving An imortant tool in elementary/analytic number theory is sieving. Let s begin with something familiar: the sieve of Ertatosthenes. This is usually introduced

More information

Worksheet on Derivatives. Dave L. Renfro Drake University November 1, 1999

Worksheet on Derivatives. Dave L. Renfro Drake University November 1, 1999 Worksheet on Derivatives Dave L. Renfro Drake University November, 999 A. Fun With d d (n ) = n n : Find y In case you re interested, the rimary urose of these roblems (Section A) is to review roerties

More information

Elementary Proof That There are Infinitely Many Primes p such that p 1 is a Perfect Square (Landau's Fourth Problem)

Elementary Proof That There are Infinitely Many Primes p such that p 1 is a Perfect Square (Landau's Fourth Problem) Elementary Proof That There are Infinitely Many Primes such that 1 is a Perfect Square (Landau's Fourth Problem) Stehen Marshall 7 March 2017 Abstract This aer resents a comlete and exhaustive roof of

More information

Combinatorics of topmost discs of multi-peg Tower of Hanoi problem

Combinatorics of topmost discs of multi-peg Tower of Hanoi problem Combinatorics of tomost discs of multi-eg Tower of Hanoi roblem Sandi Klavžar Deartment of Mathematics, PEF, Unversity of Maribor Koroška cesta 160, 000 Maribor, Slovenia Uroš Milutinović Deartment of

More information

Algebraic number theory LTCC Solutions to Problem Sheet 2

Algebraic number theory LTCC Solutions to Problem Sheet 2 Algebraic number theory LTCC 008 Solutions to Problem Sheet ) Let m be a square-free integer and K = Q m). The embeddings K C are given by σ a + b m) = a + b m and σ a + b m) = a b m. If m mod 4) then

More information

Intrinsic Approximation on Cantor-like Sets, a Problem of Mahler

Intrinsic Approximation on Cantor-like Sets, a Problem of Mahler Intrinsic Aroximation on Cantor-like Sets, a Problem of Mahler Ryan Broderick, Lior Fishman, Asaf Reich and Barak Weiss July 200 Abstract In 984, Kurt Mahler osed the following fundamental question: How

More information

#A37 INTEGERS 15 (2015) NOTE ON A RESULT OF CHUNG ON WEIL TYPE SUMS

#A37 INTEGERS 15 (2015) NOTE ON A RESULT OF CHUNG ON WEIL TYPE SUMS #A37 INTEGERS 15 (2015) NOTE ON A RESULT OF CHUNG ON WEIL TYPE SUMS Norbert Hegyvári ELTE TTK, Eötvös University, Institute of Mathematics, Budaest, Hungary hegyvari@elte.hu François Hennecart Université

More information

CONGRUENCE PROPERTIES OF TAYLOR COEFFICIENTS OF MODULAR FORMS

CONGRUENCE PROPERTIES OF TAYLOR COEFFICIENTS OF MODULAR FORMS CONGRUENCE PROPERTIES OF TAYLOR COEFFICIENTS OF MODULAR FORMS HANNAH LARSON AND GEOFFREY SMITH Abstract. In their work, Serre and Swinnerton-Dyer study the congruence roerties of the Fourier coefficients

More information

NUMBER SYSTEMS. Number theory is the study of the integers. We denote the set of integers by Z:

NUMBER SYSTEMS. Number theory is the study of the integers. We denote the set of integers by Z: NUMBER SYSTEMS Number theory is the study of the integers. We denote the set of integers by Z: Z = {..., 3, 2, 1, 0, 1, 2, 3,... }. The integers have two oerations defined on them, addition and multilication,

More information