Discrete Mathematics

Size: px
Start display at page:

Download "Discrete Mathematics"

Transcription

1 Discree Mahemaics Compuer Laboraory Compuer Science Tripos Par 1A Mahemaics Tripos 1A (CS Opion) Peer Robinson Michaelmas 2002 & Len 2003 William Gaes Building JJ Thomson Avenue Cambridge CB3 0FD hp://

2 Peer Robinson, All righs reserved.

3 Inroducion This course will develop he idea of formal proof by way of examples involving simple objecs such as inegers and ses. The maerial enables academic sudy of Compuer Science and will be promoed wih examples from he analysis of algorihms and crypography. Syllabus Inegers Proof. Deducion, conradicion. Inegers, mahemaical inducion. [2 lecures] Facors. Division: highes common facors and leas common muliples. Euclid s algorihm: soluion in inegers of ax + by = c, he complexiy of Euclid s algorihm. Euclid s proof of he infiniy of primes. Exisence and uniqueness of prime facorisaion. Irraionaliy of p ; brief discussion of raional and algebraic numbers. [3 lecures] Modular arihmeic. Solving congruences. Unis modulo m, Euler s oien funcion. Wilson s heorem. Chinese remainder heorem. The Ferma-Euler heorems. Public key crypography. [3 lecures] Ses, relaions and funcions Ses, subses and Boolean operaions. Indicaor (characerisic) funcions and heir algebra. Principle of inclusion-exclusion, wih applicaions o Euler s funcion. Boolean logic. [2 lecures] Binary relaions. Composiion of relaions. Equivalence relaions and quoiens of ses. Closures and Warshall s algorihm. Parial orders and oal orders. Hasse diagrams. Well founded relaions and well ordering. Well founded inducion. [3 lecures] Funcions; Injecive, surjecive and bijecive funcions. Numbers of such funcions beween ses. Soring. The Schröder-Bernsein heorem. Counabiliy. A counable union of counable ses is counable. The uncounabiliy of R. Exisence of ranscendenal numbers. [3 lecures] Objecives On compleing he course, sudens should be able o: Wrie a clear saemen of a problem as a heorem in mahemaical noaion. Prove and disprove asserions using a variey of echniques. Describe, analyse and use Euclid s algorihm. Explain and apply prime facorisaion. Perform calculaions wih modular arihmeic. Use number heory o explain public key crypography. Analyse problems using se heory. Explain and use he principle of inclusion and exclusion. Recognise relaions and discuss heir properies. Describe and analyse Warshall s algorihm. Sae, prove and apply he Schröder-Bernsein heorem. Disinguish counable and uncounable ses. Michaelmas

4 Appropriae books The following books are relevan for he course: NL Biggs: Discree Mahemaics, Oxford Universiy Press, 1989, ISBN , JH Conway & RK Guy: The book of numbers, Springer-Verlag, 1996, ISBN X, A beauiful book deeply suble mahemaics presened in an accessible and exciing way. H Davenpor: The higher arihmeic (6 h ediion), Cambridge Universiy Press, 1992, ISBN , P Giblin: Primes and programming, Cambridge Universiy Press, 1993, ISBN , RL Graham, DE Knuh & O Paashnik: Concree mahemaics (2 nd ediion), Addison Wesley, 1994, ISBN , The ulimae reference book. JF Humphreys & MY Pres: Numbers, groups and codes, Cambridge Universiy Press, 1989, ISBN , Close o he approach in his course. HF Mason: Discree Mahemaics, Wiley, 1993, ISBN , N Nissanke: Inroducory logic and ses for Compuer Scieniss, Addison-Wesley, 1999, ISBN , G Pólya: How o solve i, Penguin, 1990, ISBN , KH Rosen: Discree mahemaics and is applicaions (4 h ediion), McGraw-Hill, 1999, IBN , An excellen book covering a wide range of opics and useful hroughou he course. These noes do no consiue a complee ranscrip of all he lecures and hey are no a subsiue for ex books. They are inended o give a reasonable synopsis of he subjecs discussed, bu hey give neiher complee proofs of all he heorems nor all he background maerial. Michaelmas

5 Proof Wha is a proof? If a heorem is a logical saemen, he proof is mean o convince you ha he saemen is rue. When faced wih a proof you should convince yourself of hree hings: The argumens pu forward are all rue and he sequence follows logically from beginning o end. The argumens are sufficien o prove he heorem. The argumens are all necessary o prove he heorem. A proof has o encompass all he possible cases permied by he saemen of he proof. Usually i will no be possible o work hrough all of hese in urn, so some generaliy will be required. On he oher hand, a single couner-example is sufficien o show ha a heorem is false. Indeed, such a couner-example should be as simple as possible. Good mahemaicians like o avoid effor. This should no be confused wih proof by conradicion. This is an elegan echnique in which we prove a heorem by acceping he possibiliy ha i is no rue. If i is no rue, here mus be a couner-example. Examining his couner-example hen gives rise o a logical inconsisency. If all he inermediae seps are correc, he only explanaion is ha he original assumpion (acceping ha he heorem was no rue) was iself misaken. In oher words, he heorem is rue. Examples Theorem: a n + b n = c n has no soluions. Proof: Lef as an exercise for he reader. Theorem: The whole numbers ha can be expressed as he difference of wo squares are precisely hose ha leave a remainder of 0, 1 or 3 when divided by 4. Proof: Work hrough a sequence of simpler problems. a) Any odd number can be expressed as he difference of wo squares consider (n+1) 2 n 2. b) No even number can be expressed as he difference of wo squares false, consider 4 = c) Any exac muliple of 4 can be expressed as he difference of wo squares consider (n+1) 2 (n 1) 2. d) No odd muliple of wo can be expressed as he difference of wo squares assume rue and find a conradicion by examining cases. Now combine hese resuls. (d) shows ha any difference of wo squares leaves a remainder of 0, 1 or 3 when divided by 4. (a) shows ha a number ha leaves remainder 0 when divided by 4 can be expressed as he difference of wo squares, and (c) shows ha a number ha leaves a remainder of 1 or 3 can. Theorem: 2 is irraional, ha is, i can no be wrien as a fracion y x for whole numbers x and y. x Proof: Assume ha 2 = for whole numbers x and y. Wihou loss of generaliy, we y can assume ha x and y are no boh even and deduce a conradicion. Michaelmas

6 How o solve i Pólya suggess he following four sep plan for problem solving: Undersanding he problem Wha is he unknown? Wha are he daa? Wha is he condiion? Is i possible o saisfy he condiion? Is he condiion sufficien o deermine he unknown? Or is i insufficien? Or redundan? Or conradicory? Draw a figure. Inroduce suiable noaion. Separae he various pars of he condiion. Can you wrie hem down? Devising a plan Find he connecion beween he daa and he unknown. You may be obliged o consider auxiliary problems if an immediae connecion canno be found. You should obain evenually a plan of he soluion. Have you seen i before? Or have you seen he same problem in a slighly differen form? Do you know a relaed problem? Do you know a heorem ha could be useful? Look a he unknown! And ry o hink of a familiar problem having he same or a similar unknown. Here is a problem relaed o yours and solved before. Could you use i? Could you use is resuls? Could you use is mehod? Should you inroduce some auxiliary elemen in order o make is use possible? Could you resae he problem? Could you resae i sill differenly? Go back o definiions. If you canno solve he proposed problem ry o solve firs some relaed problem. Could you imagine a more accessible relaed problem? A more general problem? A more special problem? An analogous problem? Could you solve a par of he problem? Keep only a par of he condiion, drop he oher par; how far is he unknown hen deermined, how can i vary? Could you derive somehing useful from he daa? Could you hink of oher daa appropriae o deermine he unknown? Could you change he unknown or daa, or boh if necessary, so ha he new unknown and he new daa are nearer o each oher? Did you use all he daa? Did you use he whole condiion? Have you aken ino accoun all essenial noions involved in he problem? Carrying ou he plan Carrying ou your plan of he soluion, check each sep. Can you see clearly ha he sep is correc? Can you prove ha i is correc? Looking back Can you check he resul? Can you check he argumen? Can you derive he resul differenly? Can you see i a a glance? Can you use he resul, or he mehod, for some oher problem? Michaelmas

7 Inegers We sar wih he ses of naural numbers, N = {1, 2, 3, }, he naural numbers augmened wih 0, N 0 = {0, 1, 2, }, and inegers, Z = {, -2, -1, 0, 1, 2, }, and will refer o he raional numbers (fracions), Q, and he real numbers R. The curly brackes jus wrap up enumeraions of elemens. The empy se is Ø = {}. We will discuss he noaion for ses more formally in he second half of he course, bu here is enough o ge sared. A paricular value, x, is an elemen of a se X if i is in i. We wrie his wih a sor of Greek epsilon: x X. So -3 Z bu -3 N. One se, X, is a subse of anoher se, Y, if every elemen of X is also an elemen of Y. We wrie his wih a rounded less-han-or-equal sign: X Y. So N N 0 Z Q R. We can also define ses by predicaes or condiions: N = {x Z x > 0}. This noaion is a bi unforunae because we will also use he verical bar o indicae exac divisibiliy: 3 6. So he se of even numbers migh be defined as E = {x Z 2 x}, which is a bi confusing. Sorry. The verical bar is also used in anoher way o coun he number of elemens X in a (finie) se. There are wo paricularly imporan properies of he naural numbers, which urn ou o be equivalen: inducion and well-ordering. Mahemaical inducion Le P(n) be any mahemaical asserion involving he naural number n which may be rue or false. (Think of P as a funcion wih n as an argumen and reurning a Boolean resul.) The principle of mahemaical inducion saes ha, if P(1) is rue, and whenever P(k) is rue hen P(k+1) is rue as well hen P(n) is rue for every naural number n. The wo condiions are known as he base case and he inducive sep, and hey give rise o he conclusion. Examples 1 2 Base case: 1 = ½ L + n = n( n + 1). Inducive sep: Suppose k = ½ k (k+1). Then k + (k+1) = ½ k (k+1) + (k+1) = ½ (k+1) (k+2). Le a n = 2 3n n+1. Then, for all posiive inegers n, a n is exacly divisible by 5. Base case: a 1 = = = 25, which is divisible by 5. Inducive sep: Suppose a k is divisible by 5. Then a k+1 = 2 3(k+1) (k+1)+1 = 8 2 3k k+1 = 5 2 3k a k, which is divisible by 5. Michaelmas

8 If n is a posiive ineger and x and y are any numbers, hen n n n n n ( x+ y) = x x y x y i L L 0 1 n y n n n i i n n where n! is he binomial coefficien, defined o be k k!( n k)! wih 0! = Base case: = = 1, so (x + y) 1 = x + y. 0 1 n n n + 1 Inducive sep: Observe ha + = by direc algebra. k k 1 k Assume he expansion for (x + y) k and muliply i by (x + y) o produce (x + y) k+1 and group erms wih he same powers of x and y in he sum. An alernaive saemen of he principle (known as course of values inducion) saes ha, whenever P(k) can be inferred from he ruh of P(j) for all j < k, hen P(n) is rue for every naural number n. Noe ha P(1) is rue since here are no naural numbers j wih j < 1. Well ordering Any non-empy subse of N conains a smalles elemen. Tha may seem obvious, bu i is no rue for he inegers, raionals or reals. I is also an imporan propery ha will exend o oher ses where each elemen does no have a naural successor and so ordinary inducion can no be used. However, some sor of ordering relaion is sill necessary. Equivalence Well-ordering implies mahemaical inducion. Proof Suppose ha he asserion P(n) saisfies he wo condiions for mahemaical inducion. So P(1) is rue and P(k) implies P(k+1). We need o show ha P(n) is rue for every naural number n. The proof sars raher surprisingly. We give up and suppose ha we can no manage i. In oher words we suppose ha here are some naural numbers n for which P(n) is false. These couner-examples are going o be ineresing, so gaher hem all ogeher in a se. Le S = {x N P(x) is false}. If S is empy hen here are no couner-examples, so P(n) was rue for every naural number n afer all. If S is no empy hen, by well-ordering, i conains a leas elemen. Call i s. Now s 1 since he base case said ha P(1) was rue and so 1 S. Therefore s > 1 and s 1 N. Moreover, P(s 1) mus be rue since s was he smalles couner-example. Bu he inducive sep now says ha P(s) mus be rue and so s S. This is a conradicion, so somehing has gone wrong. The only possibiliy is our original supposiion ha he heorem was no rue. In oher words, S is empy and P(n) is rue for every naural number n. Michaelmas

9 Exercises Prove ha L + n = n( n + 1)(2n + 1) Find he sum of he firs n cubes. Calculae he firs few cases, formulae a general rule and confirm i by inducion. 3. Evaluae he sum 1 2! + 2 3! + 3 n + L +. 4! ( n + 1)! 4. Show ha 7 divides 2 4n n+1 and 13 divides 3 n n-1 for all naural numbers n. 5. The Fibonacci numbers are defined by f 0 = 0, f 1 = 1 and f = f + f for n > 1. n n 1 n 2 Show ha f n = n n for all n 0. Hin: If using inducion, you need o consider wo base cases. 6. Prove ha, for all n N 0 and x R wih x -1, (1 + x) n 1 + n x. 7. A riomino is an L-shaped paern made from hree square iles. A 2 k 2 k chessboard, whose squares are he same size as he iles, has an arbirary square pained purple. Show ha he chessboard can be covered wih riominoes so ha only he purple square is exposed. Hin: Use inducion. The base case has k = 1 and he inducive sep requires you o find four similar bu smaller problems. 8. A prison houses 100 inmaes, one in each of 100 cells, guarded by a oal of 100 warders. One evening, all he cells are locked and he keys lef in he locks. As he firs warder leaves, she urns every key, unlocking all he doors. The second warder urns every second key, re-locking every even numbered cell. The hird warder urns every hird key and so on. Finally he las warder urns he key in jus he las cell. Which doors are lef unlocked and why? Hin: This is a quesion abou division. 9. Le S = {1, 2,, n}. Wrie f ( s) for he sum s S f ( s) and s= 1 s S produc similarly, wih he convenion ha he empy produc f ( s) = 1 o prove ha s S ( 1+ x ) = x. s T S T T Deduce ha 1 ) = ( 1) s S ( x s x. T S T n s φ f ( s) for he. Use inducion 10. [Mahemaical Tripos Par 1A 1988, Paper 6, Quesion 9] Sae he principle of mahemaical inducion. Prove your saemen, assuming ha every non-empy subse of he naural numbers conains a leas elemen. The Maser of Regens College and his wife invie n Fellows and heir spouses o a pary. Afer he pary he Maser asks everyone (including his own wife) how many people hey shook hands wih, and receives 2n + 1 differen answers. Of course, no woman shook hands wih her own husband. Show ha he person who shook he mos hands was no he Maser s wife. How many hands did he Maser shake? Michaelmas

10 Hin: Consider he larges and smalles numbers of people wih whom a gues could shake hands. Wha does his ell you abou he answers ha he Maser received? Wha does his ell you abou he relaionship beween he person who shook mos hands and he person who shook leas? Anoher hin: The las par of he quesion is abou inducion. 11. Complee he proof of equivalence by using inducion o prove ha he naural numbers are well-ordered. Hin: Use conradicion. Suppose ha X is a se of naural numbers which conains no leas elemen. You need o prove ha X is empy. Le L be he se of naural numbers n such ha n is no greaer han or equal o any elemen in X. Show by inducion ha L is he se of naural numbers, so X is, indeed, empy. 12. [No o be aken oo seriously.] Commen on he following alleged proofs by inducion (wih acknowledgemens o Professor JWS Cassels): Le n be a naural number and a j be real numbers for 1 j n. Then a = a for 1 j n, 1 k n. Proof Cerainly rue for n = 1. Assume he resul is rue for n and prove i for n+1. By case n of he resul, we have a 1 = a 2 = L = a n. Applying his o he a j+1 insead of he a j we have a2 = L = a n = an+ 1. Hence a1 = a2 = L = an = an+ 1, which is he resul for n+1. Every naural number n is ineresing. Proof There cerainly are some ineresing naural numbers: 0 is he smalles, 1 is he only naural number whose reciprocal is a naural number, 2 is he smalles prime, 3 is he number of persons in he Triniy, and so on. So, if he saemen were false, here would be a smalles naural number n which is no ineresing. This is a conradicion, since n would be a very ineresing number indeed. Every odd ineger > 1 is prime. Proof The economis s proof runs as follows. 3 is prime, 5 is prime, 7 is prime. Three cases in a row is surely enough. If, however, we imagine an idealised economis who would no be saisfied by his, hen he res of he proof would coninue as follows: Look a he nex odd ineger, 9. Well, i is admiedly no a prime; here mus be some unusual facor of some kind operaing. Le s go on looking a he figures. 11 is prime, 13 is prime. Two more confirmaions, so i mus be rue. Every prime is odd. Proof 3, 5, 7, 11, 13, 17, 19, are all odd. There only remains 2, which mus be he oddes prime of all. n 2 n + 41 is prime for all naural numbers n. Proof The physicis s proof runs as follows. Wrie a compuer program o check successively ha n 2 n + 41 is prime for n = 0, 1, 2, 30. Since quie a number of cases have now been verified using very expensive equipmen, he resul mus be rue. j k Michaelmas

11 Facors The operaions of addiion, muliplicaion and ordering on he inegers have some useful properies. Division Given inegers a and b, we say ha a divides b or a is a facor of b (wrien a b) if b = qa for some ineger q. Moreover, a is a proper divisor of b if a b and a ±1 or ± b. Observaions If a b and b c hen a c. Proof: If a b and b c hen b = q a and c = r b for some q and r. So c = (r q) a and a c. If d a and d b hen d (a x + b y) for any inegers x and y. Proof: If d a and d b hen a = q d and b = r d for some q and r. So a x + b y = q x d + r y d = (q x + r y) d and d (a x + b y). (a x + b y) is called a linear combinaion of a and b (or of x and y). Division algorihm Given a Z and b N, here exis unique inegers q, r Z wih a = bq + r and 0 r < b. q is called he quoien and r is he remainder afer dividing a by b. The laer is wrien as a mod b or, someimes, as a % b. So b a if, and only if, r = 0, ha is, a mod b = 0. Proof: Exisence. Consider R = {a bk k Z and (a bk) 0}. R N 0 and is no empy, so use well ordering o find is smalles elemen, r. r R, so r 0 and we can wrie r = a bq. Now r < b or r b would be a smaller elemen of R. Uniqueness. Suppose a = bq 1 + r 1 and a = bq 2 + r 2 wih 0 r 1 < b and 0 r 2 < b. Then b(q 1 q 2 ) + (r 1 r 2 ) = 0, bu b < (r 1 r 2 ) < b, so r 1 = r 2 and q 1 = q 2. This is no acually an algorihm in he normal sense undersood by compuer scieniss, bu here are algorihms ha implemen division in hardware or sofware. The imporan mahemaical resul is he exisence and uniqueness of quoiens and remainders. Highes common facors Given a, b N, he highes common facor (HCF) or greaes common divisor (GCD) of a and b, wrien as (a, b), is defined o be d N saisfying: d a and d b, and if e a and e b hen e d. The second condiion implies ha e d, bu is a more general expression ha allows he proofs ha follow o be exended easily ino ses oher han he inegers. Observaions The HCF exiss and is unique. Michaelmas

12 Proof: Exisence. Consider D = {as + b s, Z and (as + b) > 0}. a = a1 + b0 D so D Ø. By well ordering D has a leas elemen, d, and d = as + b for some s and. Use he division algorihm o wrie a = dq + r wih 0 r < d. Now r = a dq = a (as + b)q = a(1 sq) + b( q). If r > 0, hen r D. Bu r < d and d is minimal in D, so r D and r 0. Bu r 0 so r = 0 and d a. d b similarly. Now suppose e a and e b. Say a = fe and b = ge. Then d = as + b = fes + ge = e(fs + g) and e d. Uniqueness. Suppose d 1 and d 2 are boh HCFs saisfying he wo condiions. Then d 1 d 2 and d 2 d 1, so d 1 = d 2. There are inegers x and y wih d = ax + by. Moreover, x and y can be calculaed efficienly. Proof: x = s and y = in he above for exisence. See below for algorihm. If a, b N and a = bq + r for inegers q and r wih 0 r < b, hen (a, b) = (b, r). This will give rise o an efficien algorihm for HCFs. Proof: Suppose d = (a, b) and a = bq + r by he division algorihm. d a and d b so d (a bq) = r. Therefore d (b, r). Bu (b, r) b and (b, r) r, so (b, r) a. Therefore (b, r) (a, b) = d, so (b, r) = d. If a bn and (a, b) = 1, hen a n. Proof: a bn, so wrie bn = aq. (a, b) = 1, so find x and y wih ax + by = 1. Now n = nax + nby = nax + aqy = a(nx + qy), and so a n. If a n, b n and (a, b) = 1, hen ab n. Proof: (a, b) = 1, so wrie n = nax + nby as before. a n, so ab nb and ab nby. b n so ab nax similarly. Hence ab n. a b, = 1. ( a, b) ( a, b) a b Proof: Use conradicion. Suppose, = k > 1. Then k (a, b) a and ( a, b) ( a, b) k (a, b) b, which conradics (a, b) being he highes common facor. We say ha a and b are co-prime if (a, b) = 1. The leas common muliple of a and b is he smalles number m which is exacly divisible by boh a and b. This is someimes wrien as [a, b] and is equal o ab (a, b). Euclid s algorihm Given a, b N, use he division algorihm o wrie: a = q 1 b + r 1 0 r 1 < b b = q 2 r 1 + r 2 0 r 2 < r 1 r 1 = q 3 r 2 + r 3 0 r 3 < r 2 r i-2 = q i r i-1 + r i 0 r i < r i-1 r n-2 = q n r n-1 wih remainder r n = 0 Michaelmas

13 Then (a, b) = (b, r 1 ) = (r 1, r 2 ) = = (r n-2, r n-1 ) = r n-1. Moreover, we can now work backwards hrough he algorihm o calculae he inegers x and y wih (a, b) = ax + by. Alernaively, we can produce he same resul working forwards by observing ha line i is jus he difference of line i 2 and q i imes line i 1. Wrie r -1 = a and r 0 = b, so q i is jus he ineger quoien of r i-2 divided by r i-1. Now express r i = s i a + i b so s -1 = 1, -1 = 0, s 0 = 0 and 0 = 1 and observe ha r i = r i-2 q i r i-1, s i = s i-2 q i s i-1 and i = i-2 q i i-1. Here is a worked example: i q i r i s i i a = 55 = b = 20 = = The las line ells us ha = 0 so 4k.55 11k.20 = 0. This is raher like he finding he complemenary funcion ha solves he homogeneous par of a differenial equaion. The penulimae line ells us ha (55, 20) = 5 = This is raher like finding he paricular soluion for an inhomogeneous differenial equaion. Observaions The signs of s i alernae and hose of i alernae Proof: a, b and all he remainders r i are posiive, so he quoiens q i will be as well. s i-1 i s i i-1 = ( 1) i for i 0, so, in paricular, s i and i are co-prime. Proof: By inducion. Corollary: We have a linear combinaion of s i and i which is equal o 1, so (s i, i ) = 1. s b (, ), a ab ( ab, ). n = n = Proof: Noe ha r n = s n a + n b = 0 and divide hrough by (a, b) o show a b b a b sn = n. Remember, = 1, so sn. ( a, b) ( a, b) ( a, b) ( a, b) ( a, b) Bu (s n, n ) = 1 by he above, so s b n a,. Hence b s b = n a,. b Applicaions ( ) ( ) Given a, b, c Z wih a and b no boh zero, he linear Diophanine equaion ax + by = c has a soluion wih x, y Z if, and only if, (a, b) c. Proof: ( ) (a, b) a and (a, b) b, so (a, b) (ax + by) = c. Michaelmas

14 ( ) Suppose (a, b) c. Wrie c f =. Find s and wih (a, b) = as + b using ( a, b) c afs + bf = ( as + b) f = a, b =, as required. a, b Euclid. Now ( ) ( ) c kb Moreover, any soluion o au + bv = c has u = x and ( a, b) k Z. ka = for some ( a, b) v y + Proof: Suppose ax + by = c and au + bv = c. Then a(x u) + b(y v) = 0, so a a(x u) = b(v y). Divide by (a, b), so ( ) ( ) b x u = ( ) ( v y). a, b a, b a b a Bu, = 1 ( a, b) ( a, b) a, b b( v y) kb Now u = x = x. a a, b, so ( ) ( v y) ( ) ka. Hence v = y +. ( a, b) The general soluion is jus he sum of he paricular soluion u = x and v = y wih he kb ka complemenary funcion u = and v = where k is an arbirary consan. ( a, b) ( a, b) a b can be wrien as he coninued fracion q Proof: Wrie a = q 1 b + r 1 so Bu b = q 2 r 1 + r 2 so Efficiency Euclid s algorihm finds (a, b) in O(log a) seps. b r 1 a b 1 q r q 1 + q 1 = 1 + = 1 +. b b r1 1 rn 2 = q2 +, and so on unil = qn + 0. r r r = q1 + L. 1 q2 + q3 + + q + L Proof: a = q 1 b + r 1 b + r 1 > 2r 1 > 2 2 r 3 > 2 3 r 5 > > 2 k r 2k-1. So r 2k-1 < a / 2 k. In paricular, k > log 2 a implies ha r 2k-1 < 1, so r 2k-1 = 0 and he algorihm has finished. Hence Euclid s algorihm akes a mos 2 log 2 a seps. In fac we can do beer han his. If a > b and b has d digis (o he base 10), hen Euclid s algorihm will ake a mos 5d + 2 seps o find (a, b). I is acually raher hard o say how many seps will be required for any given pair of numbers. So we follow Pólya s advice and ask a differen quesion. Wha is he smalles number ha will require n seps? This will arise when q i = 1 for 1 i < n and q n = 2. Using he earlier noaion, s i = s i-1 + s i-2 and i = i-1 + i-2 so s i = f i and i = f i+1 where f i is he i h Fibonacci number. So, if b < f n, s n < f n and we need fewer han n seps. However, if n = 5d + 2, hen f n > 1.6 n-2 = 1.6 5d > 10 d > b, as required. Of course, his is sill O(log a). n 1 3 Michaelmas

15 Primes A naural number p is prime if p > 1 and p has no proper divisor. Observaions If p is a prime and p ab for a, b N bu p / a, hen p b. Proof: If p / a, hen (p, a) = 1 and so p b. There are infiniely many primes. Proof: Use conradicion. Suppose ha he only primes were p 1, p 2, p 3, p n. Consider N = p 1 p 2 p 3 p n + 1. The smalles number ha divides exacly ino N mus be a prime, bu each of p 1, p 2, p 3, p n leaves remainder 1 when divided ino N. Hence N iself mus be a prime, bu i isn in he lis. If p is a prime hen p is irraional; ha is, i can no be expressed as a raio of wo naural numbers. a Proof: Use conradicion. Suppose p = for a, b N wih (a, b) = 1. Then b p pb 2 = a 2, so p a. Wrie a = pc so pb 2 = p 2 c 2 and p b. Hence p (a, b). Digressions is prime. The Mersenne number 2 n 1 is prime only when n is prime, bu ha is no sufficien. The Ferma number 2 n + 1 is prime only when n is of he form 2 m, bu ha is no sufficien. If p is a Ferma prime, hen i is possible o consruc a regular p gon using only pencil, ruler and compasses. Le Π(x) be he number of primes x. Then Π(x) x / ln x. Prime pair conjecure: There are infiniely many primes p wih p + 2 also prime. Goldbach conjecure: Every even ineger greaer han 2 can be expressed as he sum of wo primes. Fundamenal heorem of arihmeic Every naural number greaer han 1 can be expressed as a produc of primes. Moreover, he expression is unique up o he order of he primes. Proof Exisence. Use conradicion. Le n N be he smalles couner-example. If n is prime, hen we are done. Oherwise n = ab for some a, b N wih a, b < n. Wrie a and b as producs of primes and combine hem o give an expression for n. Uniqueness. Suppose n = p 1 p 2 p 3 p r = q 1 q 2 q 3 q s wih he p i and q j all prime. p 1 n, so p 1 q 1 q 2 q 3 q s. Now, eiher p 1 q 1 or p 1 q 2 q 3 q s. In he laer case, coninue unil p 1 q j for some j. Bu q j is prime, so p 1 = q j. Renumber so j = 1. Now p 1 p 2 p 3 p r = p 1 q 2 q 3 q s so p 2 p 3 p r = q 2 q 3 q s. Coninue in his way unil p r = q s and r = s. Michaelmas

16 Observaion If Exercises r 1 r p r k k m = p K p and s 1 s p min( r1, s1 ) min( r2, s2 ) min( r, k ) (, ) k s m n p1 p2 K pk s k k n = p K p hen = and max( r1, s1 ) max( r2, s2 ) max( r, k ) [, ] k s m n p1 p2 K pk =. 1. Are he following saemens rue or false? (a, b) (c, d) = (ac, bd) (a, b) (a, d) = (a 2, bd) (a, b) = (a, d) = 1 implies ha (a, bd) = 1 2. Prove ha, if x and y are inegers such ha 57x + 44y = 1, hen here is an ineger k such ha x = 17 44k and y = 57k Does he equaion 1992x y = 12 have a soluion in inegers? Find all he ineger soluions o he equaion 1992x y = Find inegers x, y and z such ha 56x + 63y + 72z = A phoocopier charges 7.2p for each copy. However, i only acceps 10p coins and gives no change, alhough unused credi is carried forward. Wha is he smalles number of copies ha mus be made if he user is no o forgo any change? 6. Define he leas common muliple of a and b o be m = [a, b] = ab (a, b). Show ha: a m and b m, and if a n and b n hen m n. 7. Le Z[ 5] = {a + b 5 a, b Z}. Show ha α, β Z[ 5] α+β, α β, α β Z[ 5]. By facoring 4 in Z[ 5] in wo differen ways, show ha here is no analogue of prime facorisaion in Z[ 5]. 8. Show ha here are infiniely many prime numbers of he form 4k + 3. [Hin: Consider N = p n 1.] 9. A Pyhagorean Triad is a riple (a, b, c) wih a, b, c N such ha a 2 + b 2 = c 2. For example, (3, 4, 5) and (5, 12, 13) are Pyhagorean Triads. Check he following: (m(p 2 q 2 ), 2mpq, m(p 2 +q 2 )) is a Pyhagorean Triad for any m, p, q N wih p > q. If (a, b, c) is a Pyhagorean Triad, hen we can wrie a = md, b = me and c = mf where d, e and f are pairwise co-prime (ha is, (d, e) = (e, f) = (f, d) = 1), and exacly one of d and e is even, say e = 2g. Moreover, f + d = 2h and f d = 2i for h, i N. Since g 2 = hi and (h, i) = 1, i follows ha h = p 2 and i = q 2 for p, q N. Hence every Pyhagorean Triad is of he form (m(p 2 q 2 ), 2mpq, m(p 2 +q 2 )). Moreover, differen values of m, p and q give rise o differen values. Michaelmas

17 10. Recall he Fibonacci numbers {f n }. Show, by inducion on k or oherwise, ha f n+k = f k f n+1 + f k-1 f n. Deduce ha f n f ln for all l 1. Show ha (f n, f n-1 ) = 1. Deduce also ha (f m, f n ) = (f m-n, f n ) and hence ha (f m, f n ) = f (m, n). Show ha f m f n f mn if (m, n) = 1. Programming 11. Wrie an ML funcion o facor an ineger ino a lis of prime facors. 12. Wrie an ML funcion o implemen Euclid s algorihm. Given wo inegers a and b, his should reurn a riple (x, y, z) such ha ax + by = z where z is he greaes common divisor of a and b. Michaelmas

18 Modular arihmeic If a, b Z and m N hen we say ha a and b are congruen modulo m if m (a b), and we wrie his as a b (mod m). This equivalen o saying ha here is q Z such ha a = b + qm. Observaions For all a Z and m N we have a a (mod m). Proof: m 0 = (a a). If a b (mod m) hen b a (mod m). Proof: If a b (mod m) hen m (a b), so m (b a), and b a (mod m). If a b (mod m) and b c (mod m), hen a c (mod m). Proof: If a b (mod m) and b c (mod m), hen find r, s Z such ha a b = rm and b c = sm. Then a c = (r + s) m and a c (mod m). If a 1 b 1 (mod m) and a 2 b 2 (mod m) hen a 1 + a 2 b 1 + b 2 (mod m), a 1 a 2 b 1 b 2 (mod m) and a 1 a 2 b 1 b 2 (mod m). Proof: Find q 1, q 2 Z such ha a 1 b 1 = q 1 m and a 2 b 2 = q 2 m. Then (a 1 + a 2 ) (b 1 + b 2 ) = (q 1 + q 2 ) m, so a 1 + a 2 b 1 + b 2 (mod m), (a 1 a 2 ) (b 1 b 2 ) = (q 1 q 2 ) m, so a 1 a 2 b 1 b 2 (mod m), and a 1 a 2 b 1 b 2 = (b 1 + q 1 m)(b 2 + q 2 m) b 1 b 2 = (b 1 q 2 + q 1 b 2 + q 1 q 2 m) m, so a 1 a 2 b 1 b 2 (mod m). However, a b (mod m) does no imply ha x a x b (mod m). For example, consider a = 1, b = 4, m = 3, and x = 2. Examples Here are he addiion and muliplicaion ables modulo 4: and muliplicaion modulo 5: Michaelmas

19 Applicaions No ineger congruen o 3 modulo 4 can be expressed as he sum of wo squares. Proof: All squares modulo 4 are congruen o eiher 0 or 1, so he sum of wo squares will be congruen o 0, 1 or 2. No ineger congruen o 7 modulo 8 can be expressed as he sum of hree squares. Proof: All squares modulo 8 are congruen o 0, 1 or 4, so he sum of hree squares will be congruen o 0, 1, 2, 3, 4, 5 or 6. I ranspires ha any ineger can be expressed as he sum of four squares, bu his is harder o prove. 3 5 (2 n n ) Proof: Observe ha 2 3n+1 2, 1, 3, 4, 2, 1, 3, 4, (mod 5) and 3 n+1 3, 4, 2, 1, 3, 4, 2, 1 (mod 5) for n = 0, 1, 2, 3,, so heir sum will be congruen o 0 (mod 5). There is no ineger soluion o x 3 x 2 + x + 1 = 0. Proof: Consider he equaion modulo 2. x 0 could no be a soluion, bu x 1 migh be. This ells us ha any soluion would have o be odd. However, considering he equaion modulo 3 shows ha none of x 0, x 1 or x 2 could be a soluion and so here is no soluion (2 + 1). 5 Proof: Consider p = 641, so p = = and (mod p). Observe also ha p 1 = 640 = = so (mod p). Combine hese o see ha 2 32 = ( 5 4 ) (2 7 ) 4 = (5 2 7 ) 4 ( 1) 4 = 1 (mod p). So p ( ). Solving congruences The residues modulo m are Z m = {0, 1, 2, (m 1)}. Addiion, subracion and muliplicaion all work for residues, bu wha abou division? Given a, c Z and m N, he congruence ax c (mod m) has a soluion for x if, and only if, (a, m) c. Proof ax c (mod m) has a soluion we can find x wih m (ax c) we can find x and y wih ax c = my Michaelmas

20 we can find x and y wih ax my = c (a, m) c by he applicaion of Euclid s algorihm o linear Diophanine equaions. Moreover, by considering he complemenary funcion o he equaion, he soluion is unique modulo m (a, m). Unis In paricular, we can calculae he reciprocal of a modulo m if, and only if, (a, m) = 1. Such values a are called unis modulo m and we wrie U m = {a Z m a is a uni}. Observaions If a, b U m hen ab U m. Proof: If a, b U m hen we can find x, y so ha ax by 1 (mod m). So he produc (ab)(xy) = (ax)(by) 1 (mod m) and ab is a uni. The reciprocal of a modulo m is unique modulo m. Proof: Suppose ax 1 (mod m) and ay 1 (mod m). Then m (ax 1) and m (ay 1), so m ((ax 1) (ay 1)) = a(x y). Bu (m, a) = 1 so m (x y) and x y (mod m). We can calculae unis by using he exended Euclid s algorihm o express (a, m) = 1 as a linear combinaion of a and m. Euler s oien funcion Define ϕ(m) o be he number of naural numbers less han m and co-prime o m, so ϕ(m) is he number of unis modulo m. Given a prime p, observe ϕ(p) = (p 1) and ϕ(p n ) = p n p n-1. Chinese Remainder Theorem Given wo naural numbers m and n wih greaes common divisor 1, here is a simulaneous soluion o he congruences x a (mod m) and x b (mod n) and his soluion is unique (mod mn). Proof Exisence. Use Euclid s algorihm o find s and such ha ms + n = 1. Le c = bms + an. Now n 1 (mod m) so c an a (mod m). Similarly c b (mod n). Uniqueness. Suppose here is a furher soluion d. Observe ha c d 0 (mod m) and c d 0 (mod n), so c d 0 (mod mn) as required. Corollaries Euler s oien funcion is muliplicaive: if (m, n) = 1 hen ϕ(mn) = ϕ(m)ϕ(n). Proof: Given c U m and d U n find e Z mn wih c e (mod m) and d e (mod n). Then e U mn and each such pair (c, d) is linked o a unique e. ϕ ( m) = m (1 1 ). p prime p m Proof: Consider he unique expression of m as a produc of primes. Michaelmas

21 Wilson s heorem If p is a prime, hen (p 1)! -1 (mod p). Proof Associae each of he numbers 1, 2,, p 1 wih is reciprocal (mod p). The reciprocal of a may be he same as a, bu only if a 2 1 (mod p) which requires a = 1 or p 1. Apar from hese, he numbers 2, 3,, p 2 can be paired off so ha he produc of each pair is 1 (mod p). I follows ha 2.3..(p 2) 1 (mod p). Muliply by p 1 1 (mod p) o obain he resul. This proof acually fails if p = 2 or 3, bu hese cases are easily verified independenly. Euler s heorem 1 Given m 2 and a wih (a, m) = 1, hen a ϕ(m) 1 (mod m). Proof Le U m = {x 0 < x < m and (x, m) = 1} be he se of unis modulo m. Say U m = {u 1, u 2, u f } where f = ϕ(m). Muliply each of hese u i by a modulo m. The resuling values are coprime o m, since u i and a are. Moreover hey are disinc, since a is a uni and can be divided, so au i au j (mod m) u i u j (mod m). So hey are jus a permuaion of he f values in U m. Hence he produc (au 1 )(au 2 ) (au f ) u 1 u 2 u f (mod m). Bu u 1, u 2, u f are all unis and so can be divided ou, leaving a f 1 (mod m) as required. Corollary (Ferma s lile heorem) 2 Given a prime p and a no divisible by p, hen a p-1 1 (mod p). Moreover, for any a, a p a (mod p). Observaion This gives a es for primaliy. If a number p does no saisfy a p-1 1 (mod p) for any single value of a, hen p can no be prime. However, passing his es is no sufficien o prove primaliy. Composie numbers ha saisfy he es are called pseudo-prime wih respec o he base a. Carmichael numbers, such as 561, are Ferma pseudo-primes for all possible bases a. p 1 2 The Ferma-Euler es a ± 1(mod p) is sharper bu is sill no sufficien. In paricular, i reveals 561 o be composie bu fails o cach Public key crypography Wih he increasing use of compuer neworks and digial, elecronic communicaions, i becomes imporan o ensure ha messages can be sen securely wih he meaning revealed only o he inended recipien and ha hey can be auhenicaed as having been sen by he real originaor. 1 Humphreys & Pres, p Humphreys & Pres, p 54. Michaelmas

22 The general approach is o choose some large modulus m and encode blocks of a message as numbers in Z m. Caesar s cypher encodes a message a as a + e (mod m) for some encrypion key, e. This is decoded by calculaing (a + e) e a (mod m). Unforunaely, he code is also easily broken by frequency analysis. Using larger blocks and changing e in some agreed sequence unknown o inercepors gives a one-ime pad, which is secure bu difficul o adminiser. A furher problem is he disribuion of he keys. The key can be any secre shared by he wo paricipans. How can one pass i safely o he oher? The rick is o imagine a box wih wo locks and proceed as follows: The sender (convenionally called Alice) places he secre in he box, locks one of he locks wih her key and sends he locked box o he recipien (convenionally called Bob). Bob locks he second lock wih his key and reurns he box o Alice. Alice unlocks he firs lock and reurns he box o Bob. Bob unlocks he second lock, opens he box and exracs he secre. Noe ha Alice and Bob never have o share heir privae keys wih anyone else bu he box is always securely locked when in ransi beween hem. The rick is o find an arihmeic equivalen of a box wih wo locks. Modular addiion is a possibiliy. Alice and Bob agree on a modular base m (which can be made public) and choose privae values a and b. Alice now sends a shared secre s o Bob as follows: A B: m 1 s + a (mod m) B A: m 2 m 1 + b = s + a + b (mod m) A B: m 3 m 2 a = s + b (mod m) Bob can now recover s. Unforunaely, anyone overhearing he conversaion (radiionally called Eve) can recover s m 1 m 2 + m 3 (mod m). Modular muliplicaion is anoher possibiliy. As long as a and b are co-prime o m, Alice and Bob can calculae muliplicaive inverses and replace he subracions by divisions in he above proocol. The same problem arises and Eve can recover s or, sricly speaking, s (mod m/(m,s)) if (m,s) > 1. However, modular exponeniaion really does work. Diffie-Hellman key exchange 3 Choose a large prime modulus, p. Pick e wih (e, p 1) = 1 and find d such ha de 1 (mod p 1) so de = 1 + (p 1) for some. Then (a e ) d = a ed = a 1+(p-1) = a(a p-1 ) a1 (mod p) = a. We now have a proocol: Alice chooses p and he value e and sends p and he message a e o Bob. Bob picks anoher value f wih inverse g and sends (a e ) f back o Alice. Alice works ou ((a e ) f ) d = ((a e ) d ) f = a f and sends i back o Bob. Bob now works ou (a f ) g back o decode and find a. 3 Davenpor, p 191. Michaelmas

23 Breaking his requires discree logarihms, which is as hard as facoring a large ineger. The RSA code 4 The Rives, Shamir and Adleman (RSA) public key sysem 5 uses Euler s Theorem o provide secure communicaions and digial signaures. Le p and q be wo primes wih produc m so ϕ(m) = (p 1)(q 1). Choose e (he encrypion exponen) relaively prime o ϕ(m) and use Euclid s algorihm o find d (he decrypion exponen) and c such ha ed + ϕ(m)c = 1 so ed 1 (mod ϕ(m)). Now, given a < p, q, (a e ) d = a ed = a 1-ϕ(m)c = a(a ϕ(m) ) -c a1 -c = a (mod m) provided (a, m) = 1, which is ensured by a < p, q. We now have a proocol: Alice picks wo large primes and publishes heir produc m and he value e. Bob encodes a message a as a e (mod m) and sends i o Alice. Alice recovers a by raising he encoded message o he power d (mod m). Anyone inerceping he message knows m and e bu no d which can only be calculaed easily if ϕ(m) is known. However, his is believed o be difficul, a leas as difficul as facoring m. Conversely, if d is known, hen m can be facored as follows: de 1 (mod ϕ(m)), so suppose ha de 1 = nϕ(m). Observe ϕ(m) = (p 1)(q 1) = pq p q + 1, which is slighly smaller han pq = m. So n is slighly greaer han (de 1)/m. Calculaing his fracion and rounding up will give n. Once n is known, ϕ(m) = (de 1)/n. Now m + 1 ϕ(m) = p + q and m = pq, so p and q are he roos of he quadraic equaion x 2 (m + 1 ϕ(m))x + m = 0. The encoding and decoding processes are symmeric and can be performed in eiher order. Thus Alice can prove her ideniy by aking a challenge a and reurning a d (mod m) which anyone can hen decode bu only she could have encoded. Coin-ossing by elephone 6 Le p be a prime of he form 4k + 3 and suppose a x 2 (mod p). Now 4k+ 2 p 1 x = x 1(mod p), so ( a k k+ 4 2 ) x x a(mod p) and x = o he original equaion. So we can calculae square roos mod p. a k +1 is a soluion Le p and q be wo such primes wih produc n and suppose a z 2 (mod n). Now a is also a square modulo boh p and q, say a x 2 (mod p) and a y 2 (mod q). Use he Chinese Remainder Theorem o consruc 4 soluions z ±s, ± (mod n). 2 2 Observe ha, if we know boh s and, i is possible o facor n. s a(mod n), so 2 2 pq = n ( s ) = ( s + )( s ). However, s and are disinc so neiher ( s+ ) nor ( s ) is divisible by n. Wihou loss of generaliy, p ( s+ ) and q ( s ), and we can use Euclid o find p and q as he HCFs of n and ( s+ ) and ( s ) respecively. We now have a proocol: 4 Humphreys & Pres, p R Rives, A Shamir & L Adleman: A mehod for obaining digial signaures and public-key cryposysems, Communicaions ACM 21(2), February 1978, pp Giblin, p 145. Michaelmas

24 Alice picks wo large primes and ells Bob heir produc n. Bob picks s co-prime o n and ells Alice a s 2 (mod n). Alice calculaes he 4 roos, picks one a random and ells Bob. If his is ± s, Bob concedes defea. Oherwise i is ± which allows Bob o facor n and, by so doing, win. Pracical remarks These mahemaical resuls are no sufficien by hemselves o build secure encrypion sysems. Care mus be aken over he acual choice of he prime numbers used and, even more imporanly, over he sysems procedures. The securiy course explores hese issues furher. Exercises 1. Show ha a number is divisible by 9 if, and only if, he sum of is digis is divisible by 9. (This is known as casing ou he 9s.) For example, is no divisible by 9 as = 17 which is no divisible by Find a similar es for divisibiliy by Is i possible o form a sum of numbers using each of he digis 0 o 9 exacly once whose oal is 100? (Tricks like exponeniaion are no allowed.) 4. A digi number is exacly divisible by 99. A new number is formed by reversing he order of is digis. Wha is he probabiliy ha he new number is also exacly divisible by 99? 5. The Inernaional Sandard Book Number (ISBN) found in he fron of many books is a 10 digi code such as (where he hyphens can be ignored). In his case, he 0 indicaes ha he book was published in he UK and some oher English speaking counries, 521 is he publisher (he Cambridge Universiy Press), is he book number and 4 a check digi. The check digi is chosen so ha if he ISBN is d 1 d 2 d 10 9 hen d10 = i= 1 i di (mod11). I may be ha he las digi has o be 10, in which case X is wrien, as in X. 10 Prove ha i= 1 i d i 0(mod11) and verify ha he wo given ISBNs saisfy he congruence. Prove ha he check digi will show up common copying errors caused by inerchanging wo adjacen digis (so, for example, 67 becomes 76) or doubling he wrong one of a riple (so, for example, 667 becomes 677). Why do you hink he modulus 11 was chosen insead of he more naural 10? 6. Show ha he equaion x 5 3x 2 + 2x 1 = 0 has no soluions for x Z. 7. Solve he following congruences: 77x 11 (mod 40) 12y 30 (mod 54) z 13 (mod 21) and 3z 2 (mod 17) 8. A band of 15 piraes acquires a hoard of gold pieces. When hey come o divide up he coins, hey find ha hree are lef over. Their discussion of wha o do wih hese exra coins becomes animaed and, by he ime some semblance of order reurns, here remain only seven piraes capable of making an effecive claim on he hoard. However, when he hoard is divided beween hese seven, i is found ha wo pieces are lef over. There ensues an unforunae repeiion of he earlier disagreemen, bu his does a leas have he consequence ha he four piraes who remain are able o divide he hoard evenly Michaelmas

25 beween hemselves. Wha is he smalles number of gold pieces ha could have been in he hoard? 7 9. Calculae 20! (mod 23). 10. Calculae (mod 257). 11. Show ha 42 (n 7 n) for all posiive inegers n. 12. An unwise person publishes he RSA enciphering scheme (m, e) = (3901, 1997) via which he wishes o receive messages. You inercep he ransmission Facor m and hence find he deciphering key d such ha de 1 (mod ϕ(m)). Assuming ha each block of four digis encodes wo leers under he map a-z, space,?,!, 0-9 become 00-25, 26, 27, 28, 29-38, decipher he ex. (You may need o wrie and use he programs below.) 13. The previous quesion uses code blocks ha are larger han he wo primes whose produc forms he base. Verify ha a paricular code block which shares a facor wih m sill can be encoded and decoded correcly. Why does his work? is a prime of he form 4k + 3 (wih k = 2) so we can exrac he square roo of a by raising a o he power k + 1 = 3. For example, he square roo of 5 is 5 3 = (mod 11) and we can check ha 4 2 = 16 5 (mod 11). However, he same approach fails o calculae he square roo of 6. Explain. Programming 15. Wrie an ML funcion o calculae he reciprocal of a number o a given modular base. This may well use he funcion for Euclid s algorihm wrien earlier. 16. Wrie an ML funcion o calculae powers of numbers o a given modular base. 7 Humphreys & Pres, p 50. Michaelmas

26 Revision guide The following diagram shows he developmen of he key ideas presened in he firs half of he course: Inegers Well ordering Inducion Division Highes common facors Primes Euclid s algorihm Modular arihmeic Diophanine equaions Chinese Remainder hm Linear congruences Ferma-Euler heorem Coin ossing Diffie-Hellman RSA Michaelmas

27 Ses A se is jus a collecion of objecs, or elemens. We wrie x A when an elemen x is in he se A and x A when i isn. Ses can be finie or infinie. (Indeed, here are many differen infinie sizes.) If hey are finie, you can define hem explicily by lising heir elemens, oherwise a paern or resricion can be used: L = {a, b, c} M = {alpha, bravo, charlie} N = {1, 2, 3, } Z = { -3, -2, -1, 0, 1, 2, 3, } P = {x N x > 1 and 1 < y < x (x, y) = 1} Given a finie se, A, wrie A for he number of elemens in A. Wrie for he empy se, {}. So = 0. One se, A, is a subse of anoher se, B, if every elemen of A is also a member of B. We wrie his wih a rounded less-han-or-equal sign: A B. So N Z. When he conainmen is sric (as in his case), we wrie N Z for a proper subse. Two ses, A and B, are equal if hey conain he same elemens. This will ofen be proved by showing ha each is a subse of he oher: A B and B A. Ses can hemselves be members of oher ses. There is an imporan disincion beween, for example, {a, b, c} and {{a, b, c}}, or beween and { }. Again, paerns can be used: S = {X L a X} = {{a}, {a, b}, {a, c}, {a, b, c}} hen L S bu a S. The power se, P (X), is he se of all subses of X. So, for he se L above: P (L) = {, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}} I is imporan o specify he universe of discourse when discussing ses. This is he se of all possible elemens ha migh be considered. I is ofen wrien as Ω. Russell s paradox Consider R = {X X X}. Then L R and S R, bu is R R? Combining ses There are several ways of combining exising ses o make new ones: The complemen of a se, A, is he collecion, A c or A, of elemens (wihin he universe of discourse) ha are no in A. A c = {x Ω x A}. This is a case where i is necessary o be paricularly clear abou he universe. Oher operaions include: Union A B = {x x A OR x B} Inersecion A B = {x x A AND x B} Len

28 Difference A \ B = {x x A AND x B} = A B c Symmeric difference A B = (A \ B) (B \ A) These operaions saisfy various properies: Idempoence A A = A A A = A Complemens A A c = Ω A A c = (A c ) c = A Commuaiviy A B = B A A B = B A Associaiviy A (B C) = (A B) C A (B C) = (A B) C De Morgan s Laws (A B) c = A c B c (A B) c = A c B c Disribuiviy A (B C) = (A B) (A C) A (B C) = (A B) (A C) Empy se A = A A = Universal se A Ω = Ω A Ω = A Absorpion A (A B) = A A (A B) = A Ω Venn diagrams Venn diagrams provide a way of showing combinaions of ses: A A A B C B C B C A A B A B A A A B C B C B C A \ B A B A B C Normal form Symmeric difference can be expressed as a union of differences and each difference can be expressed as an inersecion of ses and complemens of ses. De Morgan s Laws can be used o expand complemened expressions and disribuiviy can be used o expand inersecions ino Len

29 unions. Togeher hese ransformaions allow any expression o be reduced o a union of erms each of which is he inersecion of he underlying ses and heir complemens. This expression is unique (up o he order of he erms and he facors wihin each erm) so wo expressions can be checked for equaliy by reducing hem o his normal form. Pariions A pariion of a se Ω is jus a division of he whole of Ω ino non-overlapping subses. Mahemaically a pariion P of a se Ω is a subse P P (Ω) such ha U S = Ω (P covers Ω) and S P If S, T P hen S T implies ha S = T (he elemens of P are disjoin). Examples: {{a, b, c}} and {{a}, {b, c}} are boh pariions of {a, b, c}. Neiher {a, b, c} nor {{a, b}, {b, c}} are pariions of {a, b, c}. Produc ses The produc of wo ses A and B is he se of pairs of elemens from A and B: A B = {(a, b) a A AND b B} So {a, b} {b, c} = {(a, b), (a, c), (b, b), (b,c)} This can be exended o ordered n-uples: A 1 = A A n = A A n-1 for n > 1 For convenience, we wrie elemens as (a, b, c) raher han (a, (b, c)). This gives he usual noaion for Euclidean space, R 3. Disjoin sums The disjoin sum of wo ses A and B is A + B = ({0} A) ({1} B). So {a, b} + {b, c} = {(0, a), (0, b), (1, b), (1, c)} while {a, b} {b, c} = {a, b, c}. Indicaor funcions Given a se A Ω, define he indicaor or characerisic funcion for A for x Ω by 1 if x A I A ( x) = 0 oherwise. Observaions I A B (x) = MAX (I A (x), I B (x)) I A B (x) = MIN (I A (x), I B (x)) = I A (x) I B (x) I c A (x) = 1 - I A (x) A = {x Ω I A (x) = 1} A = I ( x) x Ω A Len

Chapter 2. First Order Scalar Equations

Chapter 2. First Order Scalar Equations Chaper. Firs Order Scalar Equaions We sar our sudy of differenial equaions in he same way he pioneers in his field did. We show paricular echniques o solve paricular ypes of firs order differenial equaions.

More information

2.7. Some common engineering functions. Introduction. Prerequisites. Learning Outcomes

2.7. Some common engineering functions. Introduction. Prerequisites. Learning Outcomes Some common engineering funcions 2.7 Inroducion This secion provides a caalogue of some common funcions ofen used in Science and Engineering. These include polynomials, raional funcions, he modulus funcion

More information

Bernoulli numbers. Francesco Chiatti, Matteo Pintonello. December 5, 2016

Bernoulli numbers. Francesco Chiatti, Matteo Pintonello. December 5, 2016 UNIVERSITÁ DEGLI STUDI DI PADOVA, DIPARTIMENTO DI MATEMATICA TULLIO LEVI-CIVITA Bernoulli numbers Francesco Chiai, Maeo Pinonello December 5, 206 During las lessons we have proved he Las Ferma Theorem

More information

Congruent Numbers and Elliptic Curves

Congruent Numbers and Elliptic Curves Congruen Numbers and Ellipic Curves Pan Yan pyan@oksaeedu Sepember 30, 014 1 Problem In an Arab manuscrip of he 10h cenury, a mahemaician saed ha he principal objec of raional righ riangles is he following

More information

Two Coupled Oscillators / Normal Modes

Two Coupled Oscillators / Normal Modes Lecure 3 Phys 3750 Two Coupled Oscillaors / Normal Modes Overview and Moivaion: Today we ake a small, bu significan, sep owards wave moion. We will no ye observe waves, bu his sep is imporan in is own

More information

Challenge Problems. DIS 203 and 210. March 6, (e 2) k. k(k + 2). k=1. f(x) = k(k + 2) = 1 x k

Challenge Problems. DIS 203 and 210. March 6, (e 2) k. k(k + 2). k=1. f(x) = k(k + 2) = 1 x k Challenge Problems DIS 03 and 0 March 6, 05 Choose one of he following problems, and work on i in your group. Your goal is o convince me ha your answer is correc. Even if your answer isn compleely correc,

More information

11!Hí MATHEMATICS : ERDŐS AND ULAM PROC. N. A. S. of decomposiion, properly speaking) conradics he possibiliy of defining a counably addiive real-valu

11!Hí MATHEMATICS : ERDŐS AND ULAM PROC. N. A. S. of decomposiion, properly speaking) conradics he possibiliy of defining a counably addiive real-valu ON EQUATIONS WITH SETS AS UNKNOWNS BY PAUL ERDŐS AND S. ULAM DEPARTMENT OF MATHEMATICS, UNIVERSITY OF COLORADO, BOULDER Communicaed May 27, 1968 We shall presen here a number of resuls in se heory concerning

More information

t is a basis for the solution space to this system, then the matrix having these solutions as columns, t x 1 t, x 2 t,... x n t x 2 t...

t is a basis for the solution space to this system, then the matrix having these solutions as columns, t x 1 t, x 2 t,... x n t x 2 t... Mah 228- Fri Mar 24 5.6 Marix exponenials and linear sysems: The analogy beween firs order sysems of linear differenial equaions (Chaper 5) and scalar linear differenial equaions (Chaper ) is much sronger

More information

Finish reading Chapter 2 of Spivak, rereading earlier sections as necessary. handout and fill in some missing details!

Finish reading Chapter 2 of Spivak, rereading earlier sections as necessary. handout and fill in some missing details! MAT 257, Handou 6: Ocober 7-2, 20. I. Assignmen. Finish reading Chaper 2 of Spiva, rereading earlier secions as necessary. handou and fill in some missing deails! II. Higher derivaives. Also, read his

More information

An Excursion into Set Theory using a Constructivist Approach

An Excursion into Set Theory using a Constructivist Approach An Excursion ino Se Theory using a Consrucivis Approach Miderm Repor Nihil Pail under supervision of Ksenija Simic Fall 2005 Absrac Consrucive logic is an alernaive o he heory of classical logic ha draws

More information

Lecture 2-1 Kinematics in One Dimension Displacement, Velocity and Acceleration Everything in the world is moving. Nothing stays still.

Lecture 2-1 Kinematics in One Dimension Displacement, Velocity and Acceleration Everything in the world is moving. Nothing stays still. Lecure - Kinemaics in One Dimension Displacemen, Velociy and Acceleraion Everyhing in he world is moving. Nohing says sill. Moion occurs a all scales of he universe, saring from he moion of elecrons in

More information

23.2. Representing Periodic Functions by Fourier Series. Introduction. Prerequisites. Learning Outcomes

23.2. Representing Periodic Functions by Fourier Series. Introduction. Prerequisites. Learning Outcomes Represening Periodic Funcions by Fourier Series 3. Inroducion In his Secion we show how a periodic funcion can be expressed as a series of sines and cosines. We begin by obaining some sandard inegrals

More information

10. State Space Methods

10. State Space Methods . Sae Space Mehods. Inroducion Sae space modelling was briefly inroduced in chaper. Here more coverage is provided of sae space mehods before some of heir uses in conrol sysem design are covered in he

More information

Math 2142 Exam 1 Review Problems. x 2 + f (0) 3! for the 3rd Taylor polynomial at x = 0. To calculate the various quantities:

Math 2142 Exam 1 Review Problems. x 2 + f (0) 3! for the 3rd Taylor polynomial at x = 0. To calculate the various quantities: Mah 4 Eam Review Problems Problem. Calculae he 3rd Taylor polynomial for arcsin a =. Soluion. Le f() = arcsin. For his problem, we use he formula f() + f () + f ()! + f () 3! for he 3rd Taylor polynomial

More information

Morning Time: 1 hour 30 minutes Additional materials (enclosed):

Morning Time: 1 hour 30 minutes Additional materials (enclosed): ADVANCED GCE 78/0 MATHEMATICS (MEI) Differenial Equaions THURSDAY JANUARY 008 Morning Time: hour 30 minues Addiional maerials (enclosed): None Addiional maerials (required): Answer Bookle (8 pages) Graph

More information

( ) a system of differential equations with continuous parametrization ( T = R + These look like, respectively:

( ) a system of differential equations with continuous parametrization ( T = R + These look like, respectively: XIII. DIFFERENCE AND DIFFERENTIAL EQUATIONS Ofen funcions, or a sysem of funcion, are paramerized in erms of some variable, usually denoed as and inerpreed as ime. The variable is wrien as a funcion of

More information

Section 3.5 Nonhomogeneous Equations; Method of Undetermined Coefficients

Section 3.5 Nonhomogeneous Equations; Method of Undetermined Coefficients Secion 3.5 Nonhomogeneous Equaions; Mehod of Undeermined Coefficiens Key Terms/Ideas: Linear Differenial operaor Nonlinear operaor Second order homogeneous DE Second order nonhomogeneous DE Soluion o homogeneous

More information

Some Ramsey results for the n-cube

Some Ramsey results for the n-cube Some Ramsey resuls for he n-cube Ron Graham Universiy of California, San Diego Jozsef Solymosi Universiy of Briish Columbia, Vancouver, Canada Absrac In his noe we esablish a Ramsey-ype resul for cerain

More information

Notes for Lecture 17-18

Notes for Lecture 17-18 U.C. Berkeley CS278: Compuaional Complexiy Handou N7-8 Professor Luca Trevisan April 3-8, 2008 Noes for Lecure 7-8 In hese wo lecures we prove he firs half of he PCP Theorem, he Amplificaion Lemma, up

More information

Math From Scratch Lesson 34: Isolating Variables

Math From Scratch Lesson 34: Isolating Variables Mah From Scrach Lesson 34: Isolaing Variables W. Blaine Dowler July 25, 2013 Conens 1 Order of Operaions 1 1.1 Muliplicaion and Addiion..................... 1 1.2 Division and Subracion.......................

More information

Logic in computer science

Logic in computer science Logic in compuer science Logic plays an imporan role in compuer science Logic is ofen called he calculus of compuer science Logic plays a similar role in compuer science o ha played by calculus in he physical

More information

SOLUTIONS TO ECE 3084

SOLUTIONS TO ECE 3084 SOLUTIONS TO ECE 384 PROBLEM 2.. For each sysem below, specify wheher or no i is: (i) memoryless; (ii) causal; (iii) inverible; (iv) linear; (v) ime invarian; Explain your reasoning. If he propery is no

More information

Solutions for Assignment 2

Solutions for Assignment 2 Faculy of rs and Science Universiy of Torono CSC 358 - Inroducion o Compuer Neworks, Winer 218 Soluions for ssignmen 2 Quesion 1 (2 Poins): Go-ack n RQ In his quesion, we review how Go-ack n RQ can be

More information

Matrix Versions of Some Refinements of the Arithmetic-Geometric Mean Inequality

Matrix Versions of Some Refinements of the Arithmetic-Geometric Mean Inequality Marix Versions of Some Refinemens of he Arihmeic-Geomeric Mean Inequaliy Bao Qi Feng and Andrew Tonge Absrac. We esablish marix versions of refinemens due o Alzer ], Carwrigh and Field 4], and Mercer 5]

More information

Analyze patterns and relationships. 3. Generate two numerical patterns using AC

Analyze patterns and relationships. 3. Generate two numerical patterns using AC envision ah 2.0 5h Grade ah Curriculum Quarer 1 Quarer 2 Quarer 3 Quarer 4 andards: =ajor =upporing =Addiional Firs 30 Day 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 andards: Operaions and Algebraic Thinking

More information

ODEs II, Lecture 1: Homogeneous Linear Systems - I. Mike Raugh 1. March 8, 2004

ODEs II, Lecture 1: Homogeneous Linear Systems - I. Mike Raugh 1. March 8, 2004 ODEs II, Lecure : Homogeneous Linear Sysems - I Mike Raugh March 8, 4 Inroducion. In he firs lecure we discussed a sysem of linear ODEs for modeling he excreion of lead from he human body, saw how o ransform

More information

= ( ) ) or a system of differential equations with continuous parametrization (T = R

= ( ) ) or a system of differential equations with continuous parametrization (T = R XIII. DIFFERENCE AND DIFFERENTIAL EQUATIONS Ofen funcions, or a sysem of funcion, are paramerized in erms of some variable, usually denoed as and inerpreed as ime. The variable is wrien as a funcion of

More information

1 Review of Zero-Sum Games

1 Review of Zero-Sum Games COS 5: heoreical Machine Learning Lecurer: Rob Schapire Lecure #23 Scribe: Eugene Brevdo April 30, 2008 Review of Zero-Sum Games Las ime we inroduced a mahemaical model for wo player zero-sum games. Any

More information

KINEMATICS IN ONE DIMENSION

KINEMATICS IN ONE DIMENSION KINEMATICS IN ONE DIMENSION PREVIEW Kinemaics is he sudy of how hings move how far (disance and displacemen), how fas (speed and velociy), and how fas ha how fas changes (acceleraion). We say ha an objec

More information

Final Spring 2007

Final Spring 2007 .615 Final Spring 7 Overview The purpose of he final exam is o calculae he MHD β limi in a high-bea oroidal okamak agains he dangerous n = 1 exernal ballooning-kink mode. Effecively, his corresponds o

More information

Discrete Mathematics I

Discrete Mathematics I Computer Laboratory Computer Science Tripos Part IA (50%) Peter Robinson Michaelmas 2006 William Gates Building 5 JJ Thomson Avenue Cambridge CB3 0FD http://www.cl.cam.ac.uk/ Peter Robinson, 997-2006.

More information

Section 4.4 Logarithmic Properties

Section 4.4 Logarithmic Properties Secion. Logarihmic Properies 59 Secion. Logarihmic Properies In he previous secion, we derived wo imporan properies of arihms, which allowed us o solve some asic eponenial and arihmic equaions. Properies

More information

EXERCISES FOR SECTION 1.5

EXERCISES FOR SECTION 1.5 1.5 Exisence and Uniqueness of Soluions 43 20. 1 v c 21. 1 v c 1 2 4 6 8 10 1 2 2 4 6 8 10 Graph of approximae soluion obained using Euler s mehod wih = 0.1. Graph of approximae soluion obained using Euler

More information

Reading from Young & Freedman: For this topic, read sections 25.4 & 25.5, the introduction to chapter 26 and sections 26.1 to 26.2 & 26.4.

Reading from Young & Freedman: For this topic, read sections 25.4 & 25.5, the introduction to chapter 26 and sections 26.1 to 26.2 & 26.4. PHY1 Elecriciy Topic 7 (Lecures 1 & 11) Elecric Circuis n his opic, we will cover: 1) Elecromoive Force (EMF) ) Series and parallel resisor combinaions 3) Kirchhoff s rules for circuis 4) Time dependence

More information

We just finished the Erdős-Stone Theorem, and ex(n, F ) (1 1/(χ(F ) 1)) ( n

We just finished the Erdős-Stone Theorem, and ex(n, F ) (1 1/(χ(F ) 1)) ( n Lecure 3 - Kövari-Sós-Turán Theorem Jacques Versraëe jacques@ucsd.edu We jus finished he Erdős-Sone Theorem, and ex(n, F ) ( /(χ(f ) )) ( n 2). So we have asympoics when χ(f ) 3 bu no when χ(f ) = 2 i.e.

More information

GCD AND LCM-LIKE IDENTITIES FOR IDEALS IN COMMUTATIVE RINGS

GCD AND LCM-LIKE IDENTITIES FOR IDEALS IN COMMUTATIVE RINGS GCD AND LCM-LIKE IDENTITIES FOR IDEALS IN COMMUTATIVE RINGS D. D. ANDERSON, SHUZO IZUMI, YASUO OHNO, AND MANABU OZAKI Absrac. Le A 1,..., A n n 2 be ideals of a commuaive ring R. Le Gk resp., Lk denoe

More information

Some Basic Information about M-S-D Systems

Some Basic Information about M-S-D Systems Some Basic Informaion abou M-S-D Sysems 1 Inroducion We wan o give some summary of he facs concerning unforced (homogeneous) and forced (non-homogeneous) models for linear oscillaors governed by second-order,

More information

23.5. Half-Range Series. Introduction. Prerequisites. Learning Outcomes

23.5. Half-Range Series. Introduction. Prerequisites. Learning Outcomes Half-Range Series 2.5 Inroducion In his Secion we address he following problem: Can we find a Fourier series expansion of a funcion defined over a finie inerval? Of course we recognise ha such a funcion

More information

Physics 235 Chapter 2. Chapter 2 Newtonian Mechanics Single Particle

Physics 235 Chapter 2. Chapter 2 Newtonian Mechanics Single Particle Chaper 2 Newonian Mechanics Single Paricle In his Chaper we will review wha Newon s laws of mechanics ell us abou he moion of a single paricle. Newon s laws are only valid in suiable reference frames,

More information

Matlab and Python programming: how to get started

Matlab and Python programming: how to get started Malab and Pyhon programming: how o ge sared Equipping readers he skills o wrie programs o explore complex sysems and discover ineresing paerns from big daa is one of he main goals of his book. In his chaper,

More information

Econ107 Applied Econometrics Topic 7: Multicollinearity (Studenmund, Chapter 8)

Econ107 Applied Econometrics Topic 7: Multicollinearity (Studenmund, Chapter 8) I. Definiions and Problems A. Perfec Mulicollineariy Econ7 Applied Economerics Topic 7: Mulicollineariy (Sudenmund, Chaper 8) Definiion: Perfec mulicollineariy exiss in a following K-variable regression

More information

From Complex Fourier Series to Fourier Transforms

From Complex Fourier Series to Fourier Transforms Topic From Complex Fourier Series o Fourier Transforms. Inroducion In he previous lecure you saw ha complex Fourier Series and is coeciens were dened by as f ( = n= C ne in! where C n = T T = T = f (e

More information

Biol. 356 Lab 8. Mortality, Recruitment, and Migration Rates

Biol. 356 Lab 8. Mortality, Recruitment, and Migration Rates Biol. 356 Lab 8. Moraliy, Recruimen, and Migraion Raes (modified from Cox, 00, General Ecology Lab Manual, McGraw Hill) Las week we esimaed populaion size hrough several mehods. One assumpion of all hese

More information

Solutions to Assignment 1

Solutions to Assignment 1 MA 2326 Differenial Equaions Insrucor: Peronela Radu Friday, February 8, 203 Soluions o Assignmen. Find he general soluions of he following ODEs: (a) 2 x = an x Soluion: I is a separable equaion as we

More information

Vehicle Arrival Models : Headway

Vehicle Arrival Models : Headway Chaper 12 Vehicle Arrival Models : Headway 12.1 Inroducion Modelling arrival of vehicle a secion of road is an imporan sep in raffic flow modelling. I has imporan applicaion in raffic flow simulaion where

More information

MATH 4330/5330, Fourier Analysis Section 6, Proof of Fourier s Theorem for Pointwise Convergence

MATH 4330/5330, Fourier Analysis Section 6, Proof of Fourier s Theorem for Pointwise Convergence MATH 433/533, Fourier Analysis Secion 6, Proof of Fourier s Theorem for Poinwise Convergence Firs, some commens abou inegraing periodic funcions. If g is a periodic funcion, g(x + ) g(x) for all real x,

More information

ACE 562 Fall Lecture 4: Simple Linear Regression Model: Specification and Estimation. by Professor Scott H. Irwin

ACE 562 Fall Lecture 4: Simple Linear Regression Model: Specification and Estimation. by Professor Scott H. Irwin ACE 56 Fall 005 Lecure 4: Simple Linear Regression Model: Specificaion and Esimaion by Professor Sco H. Irwin Required Reading: Griffihs, Hill and Judge. "Simple Regression: Economic and Saisical Model

More information

Unit Root Time Series. Univariate random walk

Unit Root Time Series. Univariate random walk Uni Roo ime Series Univariae random walk Consider he regression y y where ~ iid N 0, he leas squares esimae of is: ˆ yy y y yy Now wha if = If y y hen le y 0 =0 so ha y j j If ~ iid N 0, hen y ~ N 0, he

More information

Echocardiography Project and Finite Fourier Series

Echocardiography Project and Finite Fourier Series Echocardiography Projec and Finie Fourier Series 1 U M An echocardiagram is a plo of how a porion of he hear moves as he funcion of ime over he one or more hearbea cycles If he hearbea repeas iself every

More information

18 Biological models with discrete time

18 Biological models with discrete time 8 Biological models wih discree ime The mos imporan applicaions, however, may be pedagogical. The elegan body of mahemaical heory peraining o linear sysems (Fourier analysis, orhogonal funcions, and so

More information

FITTING EQUATIONS TO DATA

FITTING EQUATIONS TO DATA TANTON S TAKE ON FITTING EQUATIONS TO DATA CURRICULUM TIDBITS FOR THE MATHEMATICS CLASSROOM MAY 013 Sandard algebra courses have sudens fi linear and eponenial funcions o wo daa poins, and quadraic funcions

More information

Families with no matchings of size s

Families with no matchings of size s Families wih no machings of size s Peer Franl Andrey Kupavsii Absrac Le 2, s 2 be posiive inegers. Le be an n-elemen se, n s. Subses of 2 are called families. If F ( ), hen i is called - uniform. Wha is

More information

Expert Advice for Amateurs

Expert Advice for Amateurs Exper Advice for Amaeurs Ernes K. Lai Online Appendix - Exisence of Equilibria The analysis in his secion is performed under more general payoff funcions. Wihou aking an explici form, he payoffs of he

More information

Decimal moved after first digit = 4.6 x Decimal moves five places left SCIENTIFIC > POSITIONAL. a) g) 5.31 x b) 0.

Decimal moved after first digit = 4.6 x Decimal moves five places left SCIENTIFIC > POSITIONAL. a) g) 5.31 x b) 0. PHYSICS 20 UNIT 1 SCIENCE MATH WORKSHEET NAME: A. Sandard Noaion Very large and very small numbers are easily wrien using scienific (or sandard) noaion, raher han decimal (or posiional) noaion. Sandard

More information

Chapter 7: Solving Trig Equations

Chapter 7: Solving Trig Equations Haberman MTH Secion I: The Trigonomeric Funcions Chaper 7: Solving Trig Equaions Le s sar by solving a couple of equaions ha involve he sine funcion EXAMPLE a: Solve he equaion sin( ) The inverse funcions

More information

Diebold, Chapter 7. Francis X. Diebold, Elements of Forecasting, 4th Edition (Mason, Ohio: Cengage Learning, 2006). Chapter 7. Characterizing Cycles

Diebold, Chapter 7. Francis X. Diebold, Elements of Forecasting, 4th Edition (Mason, Ohio: Cengage Learning, 2006). Chapter 7. Characterizing Cycles Diebold, Chaper 7 Francis X. Diebold, Elemens of Forecasing, 4h Ediion (Mason, Ohio: Cengage Learning, 006). Chaper 7. Characerizing Cycles Afer compleing his reading you should be able o: Define covariance

More information

2. Nonlinear Conservation Law Equations

2. Nonlinear Conservation Law Equations . Nonlinear Conservaion Law Equaions One of he clear lessons learned over recen years in sudying nonlinear parial differenial equaions is ha i is generally no wise o ry o aack a general class of nonlinear

More information

Overview. COMP14112: Artificial Intelligence Fundamentals. Lecture 0 Very Brief Overview. Structure of this course

Overview. COMP14112: Artificial Intelligence Fundamentals. Lecture 0 Very Brief Overview. Structure of this course OMP: Arificial Inelligence Fundamenals Lecure 0 Very Brief Overview Lecurer: Email: Xiao-Jun Zeng x.zeng@mancheser.ac.uk Overview This course will focus mainly on probabilisic mehods in AI We shall presen

More information

WEEK-3 Recitation PHYS 131. of the projectile s velocity remains constant throughout the motion, since the acceleration a x

WEEK-3 Recitation PHYS 131. of the projectile s velocity remains constant throughout the motion, since the acceleration a x WEEK-3 Reciaion PHYS 131 Ch. 3: FOC 1, 3, 4, 6, 14. Problems 9, 37, 41 & 71 and Ch. 4: FOC 1, 3, 5, 8. Problems 3, 5 & 16. Feb 8, 018 Ch. 3: FOC 1, 3, 4, 6, 14. 1. (a) The horizonal componen of he projecile

More information

Designing Information Devices and Systems I Spring 2019 Lecture Notes Note 17

Designing Information Devices and Systems I Spring 2019 Lecture Notes Note 17 EES 16A Designing Informaion Devices and Sysems I Spring 019 Lecure Noes Noe 17 17.1 apaciive ouchscreen In he las noe, we saw ha a capacior consiss of wo pieces on conducive maerial separaed by a nonconducive

More information

Monochromatic Infinite Sumsets

Monochromatic Infinite Sumsets Monochromaic Infinie Sumses Imre Leader Paul A. Russell July 25, 2017 Absrac WeshowhahereisaraionalvecorspaceV suchha,whenever V is finiely coloured, here is an infinie se X whose sumse X+X is monochromaic.

More information

Second Order Linear Differential Equations

Second Order Linear Differential Equations Second Order Linear Differenial Equaions Second order linear equaions wih consan coefficiens; Fundamenal soluions; Wronskian; Exisence and Uniqueness of soluions; he characerisic equaion; soluions of homogeneous

More information

Let us start with a two dimensional case. We consider a vector ( x,

Let us start with a two dimensional case. We consider a vector ( x, Roaion marices We consider now roaion marices in wo and hree dimensions. We sar wih wo dimensions since wo dimensions are easier han hree o undersand, and one dimension is a lile oo simple. However, our

More information

A NOTE ON THE STRUCTURE OF BILATTICES. A. Avron. School of Mathematical Sciences. Sackler Faculty of Exact Sciences. Tel Aviv University

A NOTE ON THE STRUCTURE OF BILATTICES. A. Avron. School of Mathematical Sciences. Sackler Faculty of Exact Sciences. Tel Aviv University A NOTE ON THE STRUCTURE OF BILATTICES A. Avron School of Mahemaical Sciences Sacler Faculy of Exac Sciences Tel Aviv Universiy Tel Aviv 69978, Israel The noion of a bilaice was rs inroduced by Ginsburg

More information

Instructor: Barry McQuarrie Page 1 of 5

Instructor: Barry McQuarrie Page 1 of 5 Procedure for Solving radical equaions 1. Algebraically isolae one radical by iself on one side of equal sign. 2. Raise each side of he equaion o an appropriae power o remove he radical. 3. Simplify. 4.

More information

Longest Common Prefixes

Longest Common Prefixes Longes Common Prefixes The sandard ordering for srings is he lexicographical order. I is induced by an order over he alphabe. We will use he same symbols (,

More information

Module 2 F c i k c s la l w a s o s f dif di fusi s o i n

Module 2 F c i k c s la l w a s o s f dif di fusi s o i n Module Fick s laws of diffusion Fick s laws of diffusion and hin film soluion Adolf Fick (1855) proposed: d J α d d d J (mole/m s) flu (m /s) diffusion coefficien and (mole/m 3 ) concenraion of ions, aoms

More information

20. Applications of the Genetic-Drift Model

20. Applications of the Genetic-Drift Model 0. Applicaions of he Geneic-Drif Model 1) Deermining he probabiliy of forming any paricular combinaion of genoypes in he nex generaion: Example: If he parenal allele frequencies are p 0 = 0.35 and q 0

More information

INDEX. Transient analysis 1 Initial Conditions 1

INDEX. Transient analysis 1 Initial Conditions 1 INDEX Secion Page Transien analysis 1 Iniial Condiions 1 Please inform me of your opinion of he relaive emphasis of he review maerial by simply making commens on his page and sending i o me a: Frank Mera

More information

Chapter 2 Summary. Carnegie Learning

Chapter 2 Summary. Carnegie Learning Chaper Summary Key Terms inducion (.1) deducion (.1) counerexample (.1) condiional saemen (.1) proposiional form (.1) proposiional variables (.1) hypohesis (.1) conclusion (.1) ruh value (.1) ruh able

More information

RANDOM LAGRANGE MULTIPLIERS AND TRANSVERSALITY

RANDOM LAGRANGE MULTIPLIERS AND TRANSVERSALITY ECO 504 Spring 2006 Chris Sims RANDOM LAGRANGE MULTIPLIERS AND TRANSVERSALITY 1. INTRODUCTION Lagrange muliplier mehods are sandard fare in elemenary calculus courses, and hey play a cenral role in economic

More information

T L. t=1. Proof of Lemma 1. Using the marginal cost accounting in Equation(4) and standard arguments. t )+Π RB. t )+K 1(Q RB

T L. t=1. Proof of Lemma 1. Using the marginal cost accounting in Equation(4) and standard arguments. t )+Π RB. t )+K 1(Q RB Elecronic Companion EC.1. Proofs of Technical Lemmas and Theorems LEMMA 1. Le C(RB) be he oal cos incurred by he RB policy. Then we have, T L E[C(RB)] 3 E[Z RB ]. (EC.1) Proof of Lemma 1. Using he marginal

More information

d 1 = c 1 b 2 - b 1 c 2 d 2 = c 1 b 3 - b 1 c 3

d 1 = c 1 b 2 - b 1 c 2 d 2 = c 1 b 3 - b 1 c 3 and d = c b - b c c d = c b - b c c This process is coninued unil he nh row has been compleed. The complee array of coefficiens is riangular. Noe ha in developing he array an enire row may be divided or

More information

Section 4.4 Logarithmic Properties

Section 4.4 Logarithmic Properties Secion. Logarihmic Properies 5 Secion. Logarihmic Properies In he previous secion, we derived wo imporan properies of arihms, which allowed us o solve some asic eponenial and arihmic equaions. Properies

More information

LAPLACE TRANSFORM AND TRANSFER FUNCTION

LAPLACE TRANSFORM AND TRANSFER FUNCTION CHBE320 LECTURE V LAPLACE TRANSFORM AND TRANSFER FUNCTION Professor Dae Ryook Yang Spring 2018 Dep. of Chemical and Biological Engineering 5-1 Road Map of he Lecure V Laplace Transform and Transfer funcions

More information

Languages That Are and Are Not Context-Free

Languages That Are and Are Not Context-Free Languages Tha re and re No Conex-Free Read K & S 3.5, 3.6, 3.7. Read Supplemenary Maerials: Conex-Free Languages and Pushdown uomaa: Closure Properies of Conex-Free Languages Read Supplemenary Maerials:

More information

The Arcsine Distribution

The Arcsine Distribution The Arcsine Disribuion Chris H. Rycrof Ocober 6, 006 A common heme of he class has been ha he saisics of single walker are ofen very differen from hose of an ensemble of walkers. On he firs homework, we

More information

Homework sheet Exercises done during the lecture of March 12, 2014

Homework sheet Exercises done during the lecture of March 12, 2014 EXERCISE SESSION 2A FOR THE COURSE GÉOMÉTRIE EUCLIDIENNE, NON EUCLIDIENNE ET PROJECTIVE MATTEO TOMMASINI Homework shee 3-4 - Exercises done during he lecure of March 2, 204 Exercise 2 Is i rue ha he parameerized

More information

Linear Response Theory: The connection between QFT and experiments

Linear Response Theory: The connection between QFT and experiments Phys540.nb 39 3 Linear Response Theory: The connecion beween QFT and experimens 3.1. Basic conceps and ideas Q: How do we measure he conduciviy of a meal? A: we firs inroduce a weak elecric field E, and

More information

5. Stochastic processes (1)

5. Stochastic processes (1) Lec05.pp S-38.45 - Inroducion o Teleraffic Theory Spring 2005 Conens Basic conceps Poisson process 2 Sochasic processes () Consider some quaniy in a eleraffic (or any) sysem I ypically evolves in ime randomly

More information

Chapter 2. Models, Censoring, and Likelihood for Failure-Time Data

Chapter 2. Models, Censoring, and Likelihood for Failure-Time Data Chaper 2 Models, Censoring, and Likelihood for Failure-Time Daa William Q. Meeker and Luis A. Escobar Iowa Sae Universiy and Louisiana Sae Universiy Copyrigh 1998-2008 W. Q. Meeker and L. A. Escobar. Based

More information

SMT 2014 Calculus Test Solutions February 15, 2014 = 3 5 = 15.

SMT 2014 Calculus Test Solutions February 15, 2014 = 3 5 = 15. SMT Calculus Tes Soluions February 5,. Le f() = and le g() =. Compue f ()g (). Answer: 5 Soluion: We noe ha f () = and g () = 6. Then f ()g () =. Plugging in = we ge f ()g () = 6 = 3 5 = 5.. There is a

More information

Robotics I. April 11, The kinematics of a 3R spatial robot is specified by the Denavit-Hartenberg parameters in Tab. 1.

Robotics I. April 11, The kinematics of a 3R spatial robot is specified by the Denavit-Hartenberg parameters in Tab. 1. Roboics I April 11, 017 Exercise 1 he kinemaics of a 3R spaial robo is specified by he Denavi-Harenberg parameers in ab 1 i α i d i a i θ i 1 π/ L 1 0 1 0 0 L 3 0 0 L 3 3 able 1: able of DH parameers of

More information

Hamilton- J acobi Equation: Explicit Formulas In this lecture we try to apply the method of characteristics to the Hamilton-Jacobi equation: u t

Hamilton- J acobi Equation: Explicit Formulas In this lecture we try to apply the method of characteristics to the Hamilton-Jacobi equation: u t M ah 5 2 7 Fall 2 0 0 9 L ecure 1 0 O c. 7, 2 0 0 9 Hamilon- J acobi Equaion: Explici Formulas In his lecure we ry o apply he mehod of characerisics o he Hamilon-Jacobi equaion: u + H D u, x = 0 in R n

More information

Chapter 6. Systems of First Order Linear Differential Equations

Chapter 6. Systems of First Order Linear Differential Equations Chaper 6 Sysems of Firs Order Linear Differenial Equaions We will only discuss firs order sysems However higher order sysems may be made ino firs order sysems by a rick shown below We will have a sligh

More information

Math 334 Test 1 KEY Spring 2010 Section: 001. Instructor: Scott Glasgow Dates: May 10 and 11.

Math 334 Test 1 KEY Spring 2010 Section: 001. Instructor: Scott Glasgow Dates: May 10 and 11. 1 Mah 334 Tes 1 KEY Spring 21 Secion: 1 Insrucor: Sco Glasgow Daes: Ma 1 and 11. Do NOT wrie on his problem saemen bookle, excep for our indicaion of following he honor code jus below. No credi will be

More information

Simulation-Solving Dynamic Models ABE 5646 Week 2, Spring 2010

Simulation-Solving Dynamic Models ABE 5646 Week 2, Spring 2010 Simulaion-Solving Dynamic Models ABE 5646 Week 2, Spring 2010 Week Descripion Reading Maerial 2 Compuer Simulaion of Dynamic Models Finie Difference, coninuous saes, discree ime Simple Mehods Euler Trapezoid

More information

KEY. Math 334 Midterm I Fall 2008 sections 001 and 003 Instructor: Scott Glasgow

KEY. Math 334 Midterm I Fall 2008 sections 001 and 003 Instructor: Scott Glasgow 1 KEY Mah 4 Miderm I Fall 8 secions 1 and Insrucor: Sco Glasgow Please do NOT wrie on his eam. No credi will be given for such work. Raher wrie in a blue book, or on our own paper, preferabl engineering

More information

3.1.3 INTRODUCTION TO DYNAMIC OPTIMIZATION: DISCRETE TIME PROBLEMS. A. The Hamiltonian and First-Order Conditions in a Finite Time Horizon

3.1.3 INTRODUCTION TO DYNAMIC OPTIMIZATION: DISCRETE TIME PROBLEMS. A. The Hamiltonian and First-Order Conditions in a Finite Time Horizon 3..3 INRODUCION O DYNAMIC OPIMIZAION: DISCREE IME PROBLEMS A. he Hamilonian and Firs-Order Condiions in a Finie ime Horizon Define a new funcion, he Hamilonian funcion, H. H he change in he oal value of

More information

Guest Lectures for Dr. MacFarlane s EE3350 Part Deux

Guest Lectures for Dr. MacFarlane s EE3350 Part Deux Gues Lecures for Dr. MacFarlane s EE3350 Par Deux Michael Plane Mon., 08-30-2010 Wrie name in corner. Poin ou his is a review, so I will go faser. Remind hem o go lisen o online lecure abou geing an A

More information

Predator - Prey Model Trajectories and the nonlinear conservation law

Predator - Prey Model Trajectories and the nonlinear conservation law Predaor - Prey Model Trajecories and he nonlinear conservaion law James K. Peerson Deparmen of Biological Sciences and Deparmen of Mahemaical Sciences Clemson Universiy Ocober 28, 213 Ouline Drawing Trajecories

More information

Inventory Analysis and Management. Multi-Period Stochastic Models: Optimality of (s, S) Policy for K-Convex Objective Functions

Inventory Analysis and Management. Multi-Period Stochastic Models: Optimality of (s, S) Policy for K-Convex Objective Functions Muli-Period Sochasic Models: Opimali of (s, S) Polic for -Convex Objecive Funcions Consider a seing similar o he N-sage newsvendor problem excep ha now here is a fixed re-ordering cos (> 0) for each (re-)order.

More information

Cash Flow Valuation Mode Lin Discrete Time

Cash Flow Valuation Mode Lin Discrete Time IOSR Journal of Mahemaics (IOSR-JM) e-issn: 2278-5728,p-ISSN: 2319-765X, 6, Issue 6 (May. - Jun. 2013), PP 35-41 Cash Flow Valuaion Mode Lin Discree Time Olayiwola. M. A. and Oni, N. O. Deparmen of Mahemaics

More information

INDEPENDENT SETS IN GRAPHS WITH GIVEN MINIMUM DEGREE

INDEPENDENT SETS IN GRAPHS WITH GIVEN MINIMUM DEGREE INDEPENDENT SETS IN GRAPHS WITH GIVEN MINIMUM DEGREE JAMES ALEXANDER, JONATHAN CUTLER, AND TIM MINK Absrac The enumeraion of independen ses in graphs wih various resricions has been a opic of much ineres

More information

Chapter Floating Point Representation

Chapter Floating Point Representation Chaper 01.05 Floaing Poin Represenaion Afer reading his chaper, you should be able o: 1. conver a base- number o a binary floaing poin represenaion,. conver a binary floaing poin number o is equivalen

More information

Lecture Notes 2. The Hilbert Space Approach to Time Series

Lecture Notes 2. The Hilbert Space Approach to Time Series Time Series Seven N. Durlauf Universiy of Wisconsin. Basic ideas Lecure Noes. The Hilber Space Approach o Time Series The Hilber space framework provides a very powerful language for discussing he relaionship

More information

Sterilization D Values

Sterilization D Values Seriliaion D Values Seriliaion by seam consis of he simple observaion ha baceria die over ime during exposure o hea. They do no all live for a finie period of hea exposure and hen suddenly die a once,

More information

CHAPTER 12 DIRECT CURRENT CIRCUITS

CHAPTER 12 DIRECT CURRENT CIRCUITS CHAPTER 12 DIRECT CURRENT CIUITS DIRECT CURRENT CIUITS 257 12.1 RESISTORS IN SERIES AND IN PARALLEL When wo resisors are conneced ogeher as shown in Figure 12.1 we said ha hey are conneced in series. As

More information

Intermediate Macro In-Class Problems

Intermediate Macro In-Class Problems Inermediae Macro In-Class Problems Exploring Romer Model June 14, 016 Today we will explore he mechanisms of he simply Romer model by exploring how economies described by his model would reac o exogenous

More information

CHAPTER 2 Signals And Spectra

CHAPTER 2 Signals And Spectra CHAPER Signals And Specra Properies of Signals and Noise In communicaion sysems he received waveform is usually caegorized ino he desired par conaining he informaion, and he undesired par. he desired par

More information