MT5821 Advanced Combinatorics
|
|
- Felix Shepherd
- 5 years ago
- Views:
Transcription
1 MT5821 Advaced Combiatorics 9 Set partitios ad permutatios It could be said that the mai objects of iterest i combiatorics are subsets, partitios ad permutatios of a fiite set. We have spet some time coutig subsets; ow we tur to partitios ad permutatios. 9.1 Partitios For partitios, we are uable to write dow a simple formula for the coutig umbers, ad have to rely o recurrece relatios or other techiques. The Bell umber B() is the umber of partitios of a set of cardiality. There is o simple formula for B(), ad eve estimatig its size is quite hard. But there is oe thig we ca say. Every permutatio of {1,...,} has a cycle decompositio, a expressio as a product of disjoit cycles. The supports of the cycles partitio {1,...,}. So we have a map from permutatios to partitios, which is clearly surjective, sice ay subset supports a cycle. So B()! for all. We will refie this estimate shortly. Here is a recurrece relatio. Propositio 9.1 B(0) = 1 ad B() = ( ) 1 B( k) for > 0. k 1 Proof The iitial coditio is empty set theory. For the recurrece, look at the part of the partitio( which) cotais the elemet 1. Suppose that this part has size k. The there are ways to choose the k 1 remaiig k poits, ad the B( k) ways to partitio the poits that are left over. Multiplyig ad summig over k gives the result. This recurrece allows us to work out the expoetial geeratig fuctio for the Bell umbers, which has a ice form: 1
2 Propositio 9.2 B()x = exp(exp(x) 1). 0! Proof Let F(x) be the fuctio o the left of the equatio. The d dx F(x) = B()x 1 1 ( 1)! 0 = ( x = l l 0 l! = exp(x)f(x). x k 1 B( k)x k (k 1)! ( k)! )( ) B(m)x m m 0 (I the third lie we replaced the variables ad k by l = k 1 ad m = k. The give rage of values of ad k correspods to l ad m takig all o-egative iteger values.) Now we have a first-order liear differetial equatio with iitial coditio, which is easily solved. We fid that m! d (exp( exp(x))f(x)) = 0, dx so F(x) = Aexp(exp(x)); ad the iitial value F(0) = 1 gives A = exp( 1). We lear somethig about the magitude of Bell umbers from this theorem, which stregthes greatly our result that B()!: Propositio 9.3 The ratio B()/! teds to zero faster tha ay expoetial fuctio c for c > 0. Proof The radius of covergece of a power series a z is the umber r such that the series coverges for z < r ad diverges for z > r. (We do ot specify the behviour for z = r.) This icludes the cases r = 0 (the series diverges for all z 0) ad r = (the series coverges for all z). We use two facts from aalysis: 2
3 a coverget power series defies a aalytic fuctio iside the disc of covergece, ad the radius of covergece is the distace from the origi to the earest sigularity of the fuctio; the radius of covergece of a z is the reciprocal of limsupa 1/. Now the sum of B()z /! is aalytic for all z, so the radius of covergece 0 is ifiite; so lim (B()/!) 1/ = 0. This is equivalet to the statemet of the propositio. Here is aother applicatio. For the partitio umbers p(), we saw that 0 p()z = (1 z k ) 1. k 1 The right-had side is aalytic iside the uit circle, but has sigularities at every root of uity. So the radius of covergece is 1, whece limsup p() 1/ = 1. This meas that p() grows slower tha ay expoetial fuctio c with c > 1. O the other had, it ca be show that it grows faster tha ay polyomial. We refie the Bell umbers i the same way that the biomial coefficiets do for subset coutig. The Stirlig umber of the secod kid, S(,k), is the umber of partitios of a -set ito k parts. Thus, S(0,0) = 1 ad S(0,k) = 0 for k > 0; ad if > 0, the S(,0) = 0, S(,1) = S(,) = 1, ad S(,k) = 0 for k >. Clearly we have S(,k) = B() for > 0. The recurrece relatio replacig Pascal s is: Propositio 9.4 S(,k) = S( 1,k 1) + ks( 1,k) for 1 k. Proof We divide the partitios up ito two classes: Those i which is a sigleto part. This part is simply added to a partitio of {1,..., 1} with k 1 parts, so there are S( 1,k 1) of this type. 3
4 Those i which is i a part of size greater tha 1. Removig from this part, we have a partitio of {1,..., 1} with k parts. Give such a partitio, we ca choose arbitrarily which of the k parts we add to. So there are ks( 1,k) of this type. Addig gives the result. The Stirlig umbers ca be set out i a triagle like Pascal s. We will leftalig this triagle (that is, take the colum k = 1 to be vertical). The recurrece relatio says that each etry is obtaied by addig the etry to its orth-west ad the etry above multiplied by k: You may spot some patters here, especially if you cotiue the triagle a couple more steps. See the exercises for some of these. It turs out that we ca tur the recurrece ito a statemet about a geeratig fuctio, but with a twist. Let (x) k = x(x 1) (x k + 1) (k factors). The we have Theorem 9.5 x = S(,k)(x) k for > 0. Proof I will give two proofs of this result; the first oe ivolves maipulatios with the geeratig fuctios, the secod oe is more obviously combiatorial. 4
5 First proof S(,k)(x) k = Assume the result for 1. Them = x 1 x = x, S( 1,k 1)(x) k 1 (x k + 1) + k=2 S( 1,k 1)(x) k 1 (k 1) + ks( 1,k)(x) k 1 l=1 (l 1)S( 1,l 1)x l 1 sice the last two terms cacel. (We chaged the variable to l = k + 1 i the third term, ad omitted terms ivolvig S( 1,0) ad S( 1,) whose value is zero.) Secod proof Take a auxiliary set X of size x, where x. Now x is the total umber of -tuples of elemets from X. We cout these -tuples aother way. Each -tuple (x 1,...,x ) defies a partitio of {1,...,}, where we put i ad j ito the same part of the partitio if x i = x j. Havig chose a partitio, how do we recover the -tuple? Suppose that the partitio has k parts P 1,...,P k, ordered by the smallest elemet (so P 1 is the part cotaiig 1, P 2 the part cotaiig the smallest elemet ot i P 1, ad so o). Now we have to choose a value i X for the elemets x i for i P 1, a differet value for the elemets x i with i P 2, ad so o; i all, the umber of choices of k distict elemets of X i order, which is x(x 1) (x k + 1) = (x) k. Now there are S(,k) partitios with k parts to cosider. Thus we have S(,k)(x) k = x. This proves the theorem whe x is a positive iteger. But both sides are polyomials of degree ; if they take the same value for every positive iteger x, the they must coicide as polyomials. So the result is proved. It is possible to fid the ordiary geeratig fuctio for the idex : S(,k)y y k = k (1 y)(1 2y) (1 ky). Also, the expoetial geeratig fuctio for the idex is S(,k)x = k! 5 (exp(x) 1)k. k!
6 Summig over k gives the e.g.f. for the Bell umbers: B()x = exp(exp(x) 1). 0! However, I will ot give the proofs of these results here. 9.2 Permutatios The umber of permutatios of a -set (bijective fuctios from the set to itself) is the factorial fuctio! = ( 1) 1 for 0. The expoetial geeratig fuctio for this sequece is 1/(1 x), while the ordiary geeratig fuctio has o aalytic expressio (it is diverget for all x 0). The recurrece relatio for the factorials is 0! = 1,! = ( 1)! for 1. Ay permutatio ca be decomposed uiquely ito disjoit cycles. So we refie the cout by lettig u(,k) be the umber of permutatios of a -set which have exactly k cycles (icludig cycles of legth 1). Thus, u(,k) =! for > 0. The umbers u(,k) are the usiged Stirlig umbers of the first kid. The reaso for the ame is that it is commo to use a differet cout, where a permutatio is couted with weight equal to its sig (as defied i elemetary algebra, for example the theory of determiats). The sig of a permutatio has several defiitios, all equivalet: The sig of a permutatio is the determiat of the correspodig permutatio matrix. But this defiitio has the flaw that determiats are usually defied usig the cocept of sig! The sig of a permutatio g is ( 1) p, where g ca be writte as the product of p traspositios. This defiitio has the drawback that we eed to show that the parity of the umber of traspositios whose product is g is the same, for ay expressio. If g is a permutatio of {1,...,} with k cycles i its cycle decompositio (icludig cycles of legth 1), the the sig of g is ( 1) k. I regard this as the best defiitio. 6
7 I will sketch the proof that the secod ad third defiitios agree this also shows that the secod defiitio works. Let g be a arbitrary permutatio, decomposed ito cycles, ad let t be the traspositio (i, j). It is easy to show [do it!] that, if i ad j are i differet cycles of g, the these two cycles are cut at these poits ad stitched ito a sigle cycle i gt; ad coversely, if i ad j are i the same cycle of g, the this cycle is divided ito two cycles of gt. So the parity of k is chaged (up or dow) by 1 whe we multiply by a traspositio, ad hece the sig (accordig to the third defiitio) is reversed. Now the idetity has cycles, ad so has sig +1. Ay permutatio is a product of traspositios; if it is a product of p traspositios, the its sig is ( 1) p (after p reversals). Now the siged Stirlig umber of the first kid is defied to be s(,k) = ( 1) k u(,k). Note that ( 1) k is the sig of every permutatio couted by u(,k); so we are just coutig permutatios accordig to their sig. We have s(,k) = 0 for > 1. This is related to the algebraic fact that, for > 1, the permutatios with sig + form a subgroup of the symmetric group of idex 2 (that is, cotaiig half of all the permutatios), called the alteratig group. (The secod defiitio shows that the sig map is a homomorphism from the symmetric group to the multiplicative group {+1, 1}; for > 1, a traspositio has sig 1, so the map is oto. Its kerel is the alteratig group.) We will maily cosider siged Stirlig umbers below, though it is sometimes coveiet to prove a result first for the usiged umbers. As usual we take s(,0) = 0 for > 0 ad s(,k) = 0 for k >. Here is the recurrece relatio. Propositio 9.6 We have s(,) = 1, s(,1) = ( 1) 1 ( 1)!, ad s(,k) = s( 1,k 1) ( 1)s( 1,k) for 1 k. Proof s(, ) couts just the idetity permutatio, which has sig 1. O the other had, s(, ) couts the cyclic permutatios. Sice we may choose the startig poit of a cycle arbitrarily, we ca assume that the first etry i the cycle is 1; the other etries are the a arbitrary permutatio of {2,...,}, ad the sig of a cycle is ( 1) 1. 7
8 Now divide the permutatios with k cycles ito two classes, accordig to their actio o the poit. I the first class, is fixed, so the fixed poit is adjoied to a permutatio of {1,..., 1} with k 1 classes; there are u( 1,k 1) such permutatios. I the secod class, occurs i some cycle (..., j,,i,...) of legth greater tha 1. (We may have i = j here.) By simply bypassig, replacig this cycle by (..., j,i,...), we obtai a permutatio o {1,..., 1} also with k cycles. Coversely, give such a permutatio, we ca choose to isert aywhere i ay of the cycles; there are thus 1 ways this ca be doe, so the umber of permutatios is ( 1)u( 1,k). Thus u(,k) = u( 1,k 1) + ( 1)u( 1,k), ad puttig i the sigs gives the result. (Permutatios couted by u(,k) ad u( 1,k 1) have the same sig, while those couted by u( 1,k) have the opposite sig.) We ca produce a triagle of Stirlig umbers of the first kid similarly to what we did for those of the secod kid. This time, the multiplier o the southerly arrow is the row umber of the source row, rather tha the colum umber as before, ad with the sig chaged: From this, we fid a geeratig fuctio: Theorem 9.7 s(,k)x k = (x). Puttig x = 1 i this equatio shows that ideed the sum of the siged Stirlig umbers is zero for > 1. 8
9 Proof The proof of this ca be doe by maipulatig summatios i the same way that we did for the other kid of Stirlig umbers. If you have met the Orbit-Coutig Lemma for permutatio groups, a icer proof is possible. I will outlie this here. Suppose that a fiite group G acts o a fiite set T. We deote by fix(g) the umber of poits of the set T which are fixed by the elemet g G. We say that two elemets x,y of T are i the same orbit if there is a elemet of G carryig x to y. This is a equivalece relatio o X. (The idetity, iverse ad closure laws for G show respectively the reflexive, symmetric ad trasitive laws for the relatio.) The equivalece classes are called, aturally eough, orbits. Now the Orbit-coutig Lemma asserts that the umber of orbits is 1 G fix(g). g G I wo t prove this here, but will ow apply it. We take the group to be the symmetric group S, ad its actio is o the set of all -tuples of elemets from a auxiliary set X with X = x. Which -tuples are fixed by a permutatio g? Such a tuple must be costat o each cycle of g; so the umber is x c(g), where c(g) is the umber of cycles of g. Thus, the umber of orbits of G is 1! g Gx c(g) = 1! u(,k)x k. O the other had, two -tuples lie i the same orbit of the symmetric group if ad oly if they cotai each elemet of X the same umber of times. Thus the orbits correspod to uordered selectios of thigs from a set of size x. We saw that the umber of such selectios is ( ) + x 1 = x(x + 1) (x + 1).! Equatig the two expressios ad multiplyig by! gives x(x + 1) (x + 1) = u(,k)x k. Now replacig x by x ad multiplyig by ( 1) gives x(x 1) (x + 1) = 9 s(,k)x k.
10 We have proved the idetity whe x is a positive iteger (sice we eed a set of cardiality x i the argumet). But both sides are polyomials; so if the two expressios are equal for every positive iteger x, the they are equal as polyomials, as required. Note that this is the iverse of the relatio we foud for the Stirlig umbers of the secod kid. So the matrices formed by the Stirlig umbers of the first ad secod kid are iverses of each other. 9.3 The Möbius fuctio of the partitio lattice I this sectio we will use our kowledge of the Stirlig umbers of the first kid to calculate the Möbius fuctio of the poset of partitios. Let A be the set of all partitios of {1,...,}, so that A = B(), the Bell umber. For a,b A, we put a b if a refies b, that is, a splits the parts of b, but each part of a is cotaied i a sigle part of b. For example, a = {{1},{2},{3},{4,5,6}} refies b = {{1,2},{3,4,5,6}}, but does ot refie {{1,2},{3,4},{5,6}}. This poset is called the partitio lattice, ad deoted by P(). Theorem 9.8 Suppose that b has r parts p 1,..., p r, ad that a splits p i ito m i smaller parts for i = 1,...,r. Let m be the sum of the a i. The µ(a,b) = ( 1) m r (m 1 1)!(m 2 1)! (m r 1)!. Proof We begi with a couple of reductios. First reductio The partitios which refie b form the cartesia product of partitio lattices P( 1 ) P( r ). So it is eough to compute the Möbius fuctio for the case whe b has a sigle part, ad multiply the results together. Secod reductio The partitios i the iterval [a,b] do ot split the parts of a, which behave like atoms. So, if b has a sigle part ad a has m parts, the this iterval is isomorphic to P(m). We coclude that it is eough to compute µ(a,b), where b is the partitio of a m-set with a sigle part, ad a is the partitio of this set ito parts of size 1. If this umber is f (m), the the aswer to our origial problem is f (m 1 ) f (m r ). 10
11 We are goig to show that f (m) = ( 1) m 1 (m 1)!. The theorem will follow from this. Note that our proposed value of f (m) is the Stirlig umber of the first kid s(m,1). This is the clue that Stirlig umbers are ivolved! We review a couple of facts about Stirlig umbers: s(m,k) is ( 2) m k times the umber of permutatios of a m-set with k cycles. s(m,1) = ( 1) m 1 (m 1)!. m s(m,k) = 0 for m 2. Let a ad b be the partitio ito sigletos ad the partitio with a sigle part of a set of cardiality m. The µ(a,b) is the egative of the sum of the values of µ(a,c), for a c < b. Cosider a partitio c of {1,...,m} with k parts, havig sizes a 1,...,a k. For k > 1, the µ(a,c) is the product of ( 1) a i 1 (a i 1)! over all i. But this umber is the umber of permutatios havig the part of size a i as a sigle cycle, multiplied by the appropriate sig. So whe we take the product over i, we obtai the umber of permutatios with the give parts as cycles, multiplied by the sig of such permutatios. Summig over all partitios of size k the gives us s(m,k). So the sum over all such c is m s(m,k) = s(m,1), k=2 whece µ(a, b) = s(m, 1), as required. The proof is complete. Exercises 9.1. Show that S(,2) = 2 1 1, S(, 1) = ( 1)/2, ad S(, 2) = ( 1)( 2)(3 5)/ Show that s(, 1) = ( 1)/2. What is s(, 2)? 9.3. Show that cojugacy is a equivalece relatio i ay group. The ext exercise describes a deep coectio betwee partitios, Stirlig umbers of the secod kid, ad the expoetial fuctio o oe had, ad betwee permutatios, Stirlig umbers of the first kid, ad the logarithm fuctio 11
12 o the other had. The iverse relatio betwee the expoetial ad logarithm fuctios reflects the iverse relatio betwee the two kids of Stirlig umbers that we saw at the ed of sectio (a) Prove that the followig are equivalet for sequeces (a 1.a 2,...) ad (b 1,b 2,...), with expoetial geeratig fuctios A(x) ad B(x) respectively: (ii) b = S(,k)a k for 1; (i) B(x) = A(exp(x) 1). (b) Prove that the followig are equivalet for sequeces (a 1.a 2,...) ad (b 1,b 2,...), with expoetial geeratig fuctios A(x) ad B(x) respectively: (i) b = s(,k)a k for 1; (ii) B(x) = A(log(1 + x)). 12
Math 155 (Lecture 3)
Math 55 (Lecture 3) September 8, I this lecture, we ll cosider the aswer to oe of the most basic coutig problems i combiatorics Questio How may ways are there to choose a -elemet subset of the set {,,,
More informationMath 475, Problem Set #12: Answers
Math 475, Problem Set #12: Aswers A. Chapter 8, problem 12, parts (b) ad (d). (b) S # (, 2) = 2 2, sice, from amog the 2 ways of puttig elemets ito 2 distiguishable boxes, exactly 2 of them result i oe
More information(k) x n. n! tk = x a. (i) x p p! ti ) ( q 0. i 0. k A (i) n p
Math 880 Bigraded Classes & Stirlig Cycle Numbers Fall 206 Bigraded classes. Followig Flajolet-Sedgewic Ch. III, we defie a bigraded class A to be a set of combiatorial objects a A with two measures of
More information62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 +
62. Power series Defiitio 16. (Power series) Give a sequece {c }, the series c x = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + is called a power series i the variable x. The umbers c are called the coefficiets of
More informationWe are mainly going to be concerned with power series in x, such as. (x)} converges - that is, lims N n
Review of Power Series, Power Series Solutios A power series i x - a is a ifiite series of the form c (x a) =c +c (x a)+(x a) +... We also call this a power series cetered at a. Ex. (x+) is cetered at
More informationEnumerative & Asymptotic Combinatorics
C50 Eumerative & Asymptotic Combiatorics Notes 4 Sprig 2003 Much of the eumerative combiatorics of sets ad fuctios ca be geeralised i a maer which, at first sight, seems a bit umotivated I this chapter,
More informationLINEAR ALGEBRAIC GROUPS: LECTURE 6
LINEAR ALGEBRAIC GROUPS: LECTURE 6 JOHN SIMANYI Grassmaias over Fiite Fields As see i the Fao plae, fiite fields create geometries that are uite differet from our more commo R or C based geometries These
More informationCHAPTER 10 INFINITE SEQUENCES AND SERIES
CHAPTER 10 INFINITE SEQUENCES AND SERIES 10.1 Sequeces 10.2 Ifiite Series 10.3 The Itegral Tests 10.4 Compariso Tests 10.5 The Ratio ad Root Tests 10.6 Alteratig Series: Absolute ad Coditioal Covergece
More informationChapter 6 Infinite Series
Chapter 6 Ifiite Series I the previous chapter we cosidered itegrals which were improper i the sese that the iterval of itegratio was ubouded. I this chapter we are goig to discuss a topic which is somewhat
More information(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3
MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special
More informationMath 2784 (or 2794W) University of Connecticut
ORDERS OF GROWTH PAT SMITH Math 2784 (or 2794W) Uiversity of Coecticut Date: Mar. 2, 22. ORDERS OF GROWTH. Itroductio Gaiig a ituitive feel for the relative growth of fuctios is importat if you really
More informationCombinatorics and Newton s theorem
INTRODUCTION TO MATHEMATICAL REASONING Key Ideas Worksheet 5 Combiatorics ad Newto s theorem This week we are goig to explore Newto s biomial expasio theorem. This is a very useful tool i aalysis, but
More informationInfinite Sequences and Series
Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet
More information4 The Sperner property.
4 The Sperer property. I this sectio we cosider a surprisig applicatio of certai adjacecy matrices to some problems i extremal set theory. A importat role will also be played by fiite groups. I geeral,
More informationMAT1026 Calculus II Basic Convergence Tests for Series
MAT026 Calculus II Basic Covergece Tests for Series Egi MERMUT 202.03.08 Dokuz Eylül Uiversity Faculty of Sciece Departmet of Mathematics İzmir/TURKEY Cotets Mootoe Covergece Theorem 2 2 Series of Real
More informationMT5821 Advanced Combinatorics
MT5821 Advaced Combiatorics 1 Coutig subsets I this sectio, we cout the subsets of a -elemet set. The coutig umbers are the biomial coefficiets, familiar objects but there are some ew thigs to say about
More informationComplex Analysis Spring 2001 Homework I Solution
Complex Aalysis Sprig 2001 Homework I Solutio 1. Coway, Chapter 1, sectio 3, problem 3. Describe the set of poits satisfyig the equatio z a z + a = 2c, where c > 0 ad a R. To begi, we see from the triagle
More informationSolutions to Final Exam
Solutios to Fial Exam 1. Three married couples are seated together at the couter at Moty s Blue Plate Dier, occupyig six cosecutive seats. How may arragemets are there with o wife sittig ext to her ow
More informationCourse : Algebraic Combinatorics
Course 8.32: Algebraic Combiatorics Lecture Notes # Addedum by Gregg Musier February 4th - 6th, 2009 Recurrece Relatios ad Geeratig Fuctios Give a ifiite sequece of umbers, a geeratig fuctio is a compact
More informationLecture Overview. 2 Permutations and Combinations. n(n 1) (n (k 1)) = n(n 1) (n k + 1) =
COMPSCI 230: Discrete Mathematics for Computer Sciece April 8, 2019 Lecturer: Debmalya Paigrahi Lecture 22 Scribe: Kevi Su 1 Overview I this lecture, we begi studyig the fudametals of coutig discrete objects.
More informationZeros of Polynomials
Math 160 www.timetodare.com 4.5 4.6 Zeros of Polyomials I these sectios we will study polyomials algebraically. Most of our work will be cocered with fidig the solutios of polyomial equatios of ay degree
More informationIf a subset E of R contains no open interval, is it of zero measure? For instance, is the set of irrationals in [0, 1] is of measure zero?
2 Lebesgue Measure I Chapter 1 we defied the cocept of a set of measure zero, ad we have observed that every coutable set is of measure zero. Here are some atural questios: If a subset E of R cotais a
More informationBertrand s Postulate
Bertrad s Postulate Lola Thompso Ross Program July 3, 2009 Lola Thompso (Ross Program Bertrad s Postulate July 3, 2009 1 / 33 Bertrad s Postulate I ve said it oce ad I ll say it agai: There s always a
More information1 Counting and Stirling Numbers
1 Coutig ad Stirlig Numbers Natural Numbers: We let N {0, 1, 2,...} deote the set of atural umbers. []: For N we let [] {1, 2,..., }. Sym: For a set X we let Sym(X) deote the set of bijectios from X to
More informationLecture Notes for CS 313H, Fall 2011
Lecture Notes for CS 313H, Fall 011 August 5. We start by examiig triagular umbers: T () = 1 + + + ( = 0, 1,,...). Triagular umbers ca be also defied recursively: T (0) = 0, T ( + 1) = T () + + 1, or usig
More informationConvergence of random variables. (telegram style notes) P.J.C. Spreij
Covergece of radom variables (telegram style otes).j.c. Spreij this versio: September 6, 2005 Itroductio As we kow, radom variables are by defiitio measurable fuctios o some uderlyig measurable space
More informationA Combinatorial Proof of a Theorem of Katsuura
Mathematical Assoc. of America College Mathematics Joural 45:1 Jue 2, 2014 2:34 p.m. TSWLatexiaTemp 000017.tex A Combiatorial Proof of a Theorem of Katsuura Bria K. Miceli Bria Miceli (bmiceli@triity.edu)
More information1 Generating functions for balls in boxes
Math 566 Fall 05 Some otes o geeratig fuctios Give a sequece a 0, a, a,..., a,..., a geeratig fuctio some way of represetig the sequece as a fuctio. There are may ways to do this, with the most commo ways
More informationA sequence of numbers is a function whose domain is the positive integers. We can see that the sequence
Sequeces A sequece of umbers is a fuctio whose domai is the positive itegers. We ca see that the sequece,, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet as
More informationNICK DUFRESNE. 1 1 p(x). To determine some formulas for the generating function of the Schröder numbers, r(x) = a(x) =
AN INTRODUCTION TO SCHRÖDER AND UNKNOWN NUMBERS NICK DUFRESNE Abstract. I this article we will itroduce two types of lattice paths, Schröder paths ad Ukow paths. We will examie differet properties of each,
More informationOnce we have a sequence of numbers, the next thing to do is to sum them up. Given a sequence (a n ) n=1
. Ifiite Series Oce we have a sequece of umbers, the ext thig to do is to sum them up. Give a sequece a be a sequece: ca we give a sesible meaig to the followig expressio? a = a a a a While summig ifiitely
More informationSequences A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence
Sequeces A sequece of umbers is a fuctio whose domai is the positive itegers. We ca see that the sequece 1, 1, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet
More informationComplex Numbers Solutions
Complex Numbers Solutios Joseph Zoller February 7, 06 Solutios. (009 AIME I Problem ) There is a complex umber with imagiary part 64 ad a positive iteger such that Fid. [Solutio: 697] 4i + + 4i. 4i 4i
More information3.2 Properties of Division 3.3 Zeros of Polynomials 3.4 Complex and Rational Zeros of Polynomials
Math 60 www.timetodare.com 3. Properties of Divisio 3.3 Zeros of Polyomials 3.4 Complex ad Ratioal Zeros of Polyomials I these sectios we will study polyomials algebraically. Most of our work will be cocered
More informationThe multiplicative structure of finite field and a construction of LRC
IERG6120 Codig for Distributed Storage Systems Lecture 8-06/10/2016 The multiplicative structure of fiite field ad a costructio of LRC Lecturer: Keeth Shum Scribe: Zhouyi Hu Notatios: We use the otatio
More information6.3 Testing Series With Positive Terms
6.3. TESTING SERIES WITH POSITIVE TERMS 307 6.3 Testig Series With Positive Terms 6.3. Review of what is kow up to ow I theory, testig a series a i for covergece amouts to fidig the i= sequece of partial
More informationsin(n) + 2 cos(2n) n 3/2 3 sin(n) 2cos(2n) n 3/2 a n =
60. Ratio ad root tests 60.1. Absolutely coverget series. Defiitio 13. (Absolute covergece) A series a is called absolutely coverget if the series of absolute values a is coverget. The absolute covergece
More informationPAPER : IIT-JAM 2010
MATHEMATICS-MA (CODE A) Q.-Q.5: Oly oe optio is correct for each questio. Each questio carries (+6) marks for correct aswer ad ( ) marks for icorrect aswer.. Which of the followig coditios does NOT esure
More informationCALCULATION OF FIBONACCI VECTORS
CALCULATION OF FIBONACCI VECTORS Stuart D. Aderso Departmet of Physics, Ithaca College 953 Daby Road, Ithaca NY 14850, USA email: saderso@ithaca.edu ad Dai Novak Departmet of Mathematics, Ithaca College
More informationSequences. Notation. Convergence of a Sequence
Sequeces A sequece is essetially just a list. Defiitio (Sequece of Real Numbers). A sequece of real umbers is a fuctio Z (, ) R for some real umber. Do t let the descriptio of the domai cofuse you; it
More informationLemma Let f(x) K[x] be a separable polynomial of degree n. Then the Galois group is a subgroup of S n, the permutations of the roots.
15 Cubics, Quartics ad Polygos It is iterestig to chase through the argumets of 14 ad see how this affects solvig polyomial equatios i specific examples We make a global assumptio that the characteristic
More informationProblem Cosider the curve give parametrically as x = si t ad y = + cos t for» t» ß: (a) Describe the path this traverses: Where does it start (whe t =
Mathematics Summer Wilso Fial Exam August 8, ANSWERS Problem 1 (a) Fid the solutio to y +x y = e x x that satisfies y() = 5 : This is already i the form we used for a first order liear differetial equatio,
More informationSequences of Definite Integrals, Factorials and Double Factorials
47 6 Joural of Iteger Sequeces, Vol. 8 (5), Article 5.4.6 Sequeces of Defiite Itegrals, Factorials ad Double Factorials Thierry Daa-Picard Departmet of Applied Mathematics Jerusalem College of Techology
More informationn=1 a n is the sequence (s n ) n 1 n=1 a n converges to s. We write a n = s, n=1 n=1 a n
Series. Defiitios ad first properties A series is a ifiite sum a + a + a +..., deoted i short by a. The sequece of partial sums of the series a is the sequece s ) defied by s = a k = a +... + a,. k= Defiitio
More informationLecture Notes for Analysis Class
Lecture Notes for Aalysis Class Topological Spaces A topology for a set X is a collectio T of subsets of X such that: (a) X ad the empty set are i T (b) Uios of elemets of T are i T (c) Fiite itersectios
More informationSection 5.1 The Basics of Counting
1 Sectio 5.1 The Basics of Coutig Combiatorics, the study of arragemets of objects, is a importat part of discrete mathematics. I this chapter, we will lear basic techiques of coutig which has a lot of
More informationChapter 6. Advanced Counting Techniques
Chapter 6 Advaced Coutig Techiques 6.: Recurrece Relatios Defiitio: A recurrece relatio for the sequece {a } is a equatio expressig a i terms of oe or more of the previous terms of the sequece: a,a2,a3,,a
More informationLecture 10: Mathematical Preliminaries
Lecture : Mathematical Prelimiaries Obective: Reviewig mathematical cocepts ad tools that are frequetly used i the aalysis of algorithms. Lecture # Slide # I this
More informationWeek 5-6: The Binomial Coefficients
Wee 5-6: The Biomial Coefficiets March 6, 2018 1 Pascal Formula Theorem 11 (Pascal s Formula For itegers ad such that 1, ( ( ( 1 1 + 1 The umbers ( 2 ( 1 2 ( 2 are triagle umbers, that is, The petago umbers
More informationDavid Vella, Skidmore College.
David Vella, Skidmore College dvella@skidmore.edu Geeratig Fuctios ad Expoetial Geeratig Fuctios Give a sequece {a } we ca associate to it two fuctios determied by power series: Its (ordiary) geeratig
More informationMath 299 Supplement: Real Analysis Nov 2013
Math 299 Supplemet: Real Aalysis Nov 203 Algebra Axioms. I Real Aalysis, we work withi the axiomatic system of real umbers: the set R alog with the additio ad multiplicatio operatios +,, ad the iequality
More informationChapter 7 COMBINATIONS AND PERMUTATIONS. where we have the specific formula for the binomial coefficients:
Chapter 7 COMBINATIONS AND PERMUTATIONS We have see i the previous chapter that (a + b) ca be writte as 0 a % a & b%þ% a & b %þ% b where we have the specific formula for the biomial coefficiets: '!!(&)!
More informationSeunghee Ye Ma 8: Week 5 Oct 28
Week 5 Summary I Sectio, we go over the Mea Value Theorem ad its applicatios. I Sectio 2, we will recap what we have covered so far this term. Topics Page Mea Value Theorem. Applicatios of the Mea Value
More information1. n! = n. tion. For example, (n+1)! working with factorials. = (n+1) n (n 1) 2 1
Biomial Coefficiets ad Permutatios Mii-lecture The followig pages discuss a few special iteger coutig fuctios You may have see some of these before i a basic probability class or elsewhere, but perhaps
More informationlim za n n = z lim a n n.
Lecture 6 Sequeces ad Series Defiitio 1 By a sequece i a set A, we mea a mappig f : N A. It is customary to deote a sequece f by {s } where, s := f(). A sequece {z } of (complex) umbers is said to be coverget
More information7 Sequences of real numbers
40 7 Sequeces of real umbers 7. Defiitios ad examples Defiitio 7... A sequece of real umbers is a real fuctio whose domai is the set N of atural umbers. Let s : N R be a sequece. The the values of s are
More informationarxiv: v1 [math.co] 23 Mar 2016
The umber of direct-sum decompositios of a fiite vector space arxiv:603.0769v [math.co] 23 Mar 206 David Ellerma Uiversity of Califoria at Riverside August 3, 208 Abstract The theory of q-aalogs develops
More informationAxioms of Measure Theory
MATH 532 Axioms of Measure Theory Dr. Neal, WKU I. The Space Throughout the course, we shall let X deote a geeric o-empty set. I geeral, we shall ot assume that ay algebraic structure exists o X so that
More informationREVISION SHEET FP1 (MEI) ALGEBRA. Identities In mathematics, an identity is a statement which is true for all values of the variables it contains.
The mai ideas are: Idetities REVISION SHEET FP (MEI) ALGEBRA Before the exam you should kow: If a expressio is a idetity the it is true for all values of the variable it cotais The relatioships betwee
More informationTHE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS
THE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS DEMETRES CHRISTOFIDES Abstract. Cosider a ivertible matrix over some field. The Gauss-Jorda elimiatio reduces this matrix to the idetity
More informationAnalytic Continuation
Aalytic Cotiuatio The stadard example of this is give by Example Let h (z) = 1 + z + z 2 + z 3 +... kow to coverge oly for z < 1. I fact h (z) = 1/ (1 z) for such z. Yet H (z) = 1/ (1 z) is defied for
More informationP1 Chapter 8 :: Binomial Expansion
P Chapter 8 :: Biomial Expasio jfrost@tiffi.kigsto.sch.uk www.drfrostmaths.com @DrFrostMaths Last modified: 6 th August 7 Use of DrFrostMaths for practice Register for free at: www.drfrostmaths.com/homework
More information( ) GENERATING FUNCTIONS
GENERATING FUNCTIONS Solve a ifiite umber of related problems i oe swoop. *Code the problems, maipulate the code, the decode the aswer! Really a algebraic cocept but ca be eteded to aalytic basis for iterestig
More informationMath 113 Exam 3 Practice
Math Exam Practice Exam will cover.-.9. This sheet has three sectios. The first sectio will remid you about techiques ad formulas that you should kow. The secod gives a umber of practice questios for you
More informationPRELIM PROBLEM SOLUTIONS
PRELIM PROBLEM SOLUTIONS THE GRAD STUDENTS + KEN Cotets. Complex Aalysis Practice Problems 2. 2. Real Aalysis Practice Problems 2. 4 3. Algebra Practice Problems 2. 8. Complex Aalysis Practice Problems
More informationMAS111 Convergence and Continuity
MAS Covergece ad Cotiuity Key Objectives At the ed of the course, studets should kow the followig topics ad be able to apply the basic priciples ad theorems therei to solvig various problems cocerig covergece
More informationIntroduction To Discrete Mathematics
Itroductio To Discrete Mathematics Review If you put + pigeos i pigeoholes the at least oe hole would have more tha oe pigeo. If (r + objects are put ito boxes, the at least oe of the boxes cotais r or
More informationThe Ratio Test. THEOREM 9.17 Ratio Test Let a n be a series with nonzero terms. 1. a. n converges absolutely if lim. n 1
460_0906.qxd //04 :8 PM Page 69 SECTION 9.6 The Ratio ad Root Tests 69 Sectio 9.6 EXPLORATION Writig a Series Oe of the followig coditios guaratees that a series will diverge, two coditios guaratee that
More informationEnumerative & Asymptotic Combinatorics
C50 Eumerative & Asymptotic Combiatorics Stirlig ad Lagrage Sprig 2003 This sectio of the otes cotais proofs of Stirlig s formula ad the Lagrage Iversio Formula. Stirlig s formula Theorem 1 (Stirlig s
More informationCourse : Algebraic Combinatorics
Course 18.312: Algebraic Combiatorics Lecture Notes # 18-19 Addedum by Gregg Musier March 18th - 20th, 2009 The followig material ca be foud i a umber of sources, icludig Sectios 7.3 7.5, 7.7, 7.10 7.11,
More informationPart I: Covers Sequence through Series Comparison Tests
Part I: Covers Sequece through Series Compariso Tests. Give a example of each of the followig: (a) A geometric sequece: (b) A alteratig sequece: (c) A sequece that is bouded, but ot coverget: (d) A sequece
More informationThe Growth of Functions. Theoretical Supplement
The Growth of Fuctios Theoretical Supplemet The Triagle Iequality The triagle iequality is a algebraic tool that is ofte useful i maipulatig absolute values of fuctios. The triagle iequality says that
More informationAlternating Series. 1 n 0 2 n n THEOREM 9.14 Alternating Series Test Let a n > 0. The alternating series. 1 n a n.
0_0905.qxd //0 :7 PM Page SECTION 9.5 Alteratig Series Sectio 9.5 Alteratig Series Use the Alteratig Series Test to determie whether a ifiite series coverges. Use the Alteratig Series Remaider to approximate
More informationSequences III. Chapter Roots
Chapter 4 Sequeces III 4. Roots We ca use the results we ve established i the last workbook to fid some iterestig limits for sequeces ivolvig roots. We will eed more techical expertise ad low cuig tha
More informationa for a 1 1 matrix. a b a b 2 2 matrix: We define det ad bc 3 3 matrix: We define a a a a a a a a a a a a a a a a a a
Math S-b Lecture # Notes This wee is all about determiats We ll discuss how to defie them, how to calculate them, lear the allimportat property ow as multiliearity, ad show that a square matrix A is ivertible
More informationNBHM QUESTION 2007 Section 1 : Algebra Q1. Let G be a group of order n. Which of the following conditions imply that G is abelian?
NBHM QUESTION 7 NBHM QUESTION 7 NBHM QUESTION 7 Sectio : Algebra Q Let G be a group of order Which of the followig coditios imply that G is abelia? 5 36 Q Which of the followig subgroups are ecesarily
More information(3) If you replace row i of A by its sum with a multiple of another row, then the determinant is unchanged! Expand across the i th row:
Math 5-4 Tue Feb 4 Cotiue with sectio 36 Determiats The effective way to compute determiats for larger-sized matrices without lots of zeroes is to ot use the defiitio, but rather to use the followig facts,
More informationBeurling Integers: Part 2
Beurlig Itegers: Part 2 Isomorphisms Devi Platt July 11, 2015 1 Prime Factorizatio Sequeces I the last article we itroduced the Beurlig geeralized itegers, which ca be represeted as a sequece of real umbers
More informationSequences and Series of Functions
Chapter 6 Sequeces ad Series of Fuctios 6.1. Covergece of a Sequece of Fuctios Poitwise Covergece. Defiitio 6.1. Let, for each N, fuctio f : A R be defied. If, for each x A, the sequece (f (x)) coverges
More informationCombinatorially Thinking
Combiatorially Thiig SIMUW 2008: July 4 25 Jeifer J Qui jjqui@uwashigtoedu Philosophy We wat to costruct our mathematical uderstadig To this ed, our goal is to situate our problems i cocrete coutig cotexts
More informationRegn. No. North Delhi : 33-35, Mall Road, G.T.B. Nagar (Opp. Metro Gate No. 3), Delhi-09, Ph: ,
. Sectio-A cotais 30 Multiple Choice Questios (MCQ). Each questio has 4 choices (a), (b), (c) ad (d), for its aswer, out of which ONLY ONE is correct. From Q. to Q.0 carries Marks ad Q. to Q.30 carries
More informationChapter 2. Periodic points of toral. automorphisms. 2.1 General introduction
Chapter 2 Periodic poits of toral automorphisms 2.1 Geeral itroductio The automorphisms of the two-dimesioal torus are rich mathematical objects possessig iterestig geometric, algebraic, topological ad
More informationInjections, Surjections, and the Pigeonhole Principle
Ijectios, Surjectios, ad the Pigeohole Priciple 1 (10 poits Here we will come up with a sloppy boud o the umber of parethesisestigs (a (5 poits Describe a ijectio from the set of possible ways to est pairs
More informationREGULARIZATION OF CERTAIN DIVERGENT SERIES OF POLYNOMIALS
REGULARIZATION OF CERTAIN DIVERGENT SERIES OF POLYNOMIALS LIVIU I. NICOLAESCU ABSTRACT. We ivestigate the geeralized covergece ad sums of series of the form P at P (x, where P R[x], a R,, ad T : R[x] R[x]
More informationSOLVED EXAMPLES
Prelimiaries Chapter PELIMINAIES Cocept of Divisibility: A o-zero iteger t is said to be a divisor of a iteger s if there is a iteger u such that s tu I this case we write t s (i) 6 as ca be writte as
More informationInfinite Series and Improper Integrals
8 Special Fuctios Ifiite Series ad Improper Itegrals Ifiite series are importat i almost all areas of mathematics ad egieerig I additio to umerous other uses, they are used to defie certai fuctios ad to
More informationMath 113 Exam 3 Practice
Math Exam Practice Exam 4 will cover.-., 0. ad 0.. Note that eve though. was tested i exam, questios from that sectios may also be o this exam. For practice problems o., refer to the last review. This
More information6.003 Homework #3 Solutions
6.00 Homework # Solutios Problems. Complex umbers a. Evaluate the real ad imagiary parts of j j. π/ Real part = Imagiary part = 0 e Euler s formula says that j = e jπ/, so jπ/ j π/ j j = e = e. Thus the
More informationCarleton College, Winter 2017 Math 121, Practice Final Prof. Jones. Note: the exam will have a section of true-false questions, like the one below.
Carleto College, Witer 207 Math 2, Practice Fial Prof. Joes Note: the exam will have a sectio of true-false questios, like the oe below.. True or False. Briefly explai your aswer. A icorrectly justified
More informationMT5821 Advanced Combinatorics
MT5821 Advaced Combiatorics 3 Formal power series Geeratig fuctios are the most powerful tool available to combiatorial eumerators. This week we are goig to look at some of the thigs they ca do. 3.1 Commutative
More information[ 11 ] z of degree 2 as both degree 2 each. The degree of a polynomial in n variables is the maximum of the degrees of its terms.
[ 11 ] 1 1.1 Polyomial Fuctios 1 Algebra Ay fuctio f ( x) ax a1x... a1x a0 is a polyomial fuctio if ai ( i 0,1,,,..., ) is a costat which belogs to the set of real umbers ad the idices,, 1,...,1 are atural
More informationABOUT CHAOS AND SENSITIVITY IN TOPOLOGICAL DYNAMICS
ABOUT CHAOS AND SENSITIVITY IN TOPOLOGICAL DYNAMICS EDUARD KONTOROVICH Abstract. I this work we uify ad geeralize some results about chaos ad sesitivity. Date: March 1, 005. 1 1. Symbolic Dyamics Defiitio
More informationCSE 1400 Applied Discrete Mathematics Number Theory and Proofs
CSE 1400 Applied Discrete Mathematics Number Theory ad Proofs Departmet of Computer Scieces College of Egieerig Florida Tech Sprig 01 Problems for Number Theory Backgroud Number theory is the brach of
More information(3) If you replace row i of A by its sum with a multiple of another row, then the determinant is unchanged! Expand across the i th row:
Math 50-004 Tue Feb 4 Cotiue with sectio 36 Determiats The effective way to compute determiats for larger-sized matrices without lots of zeroes is to ot use the defiitio, but rather to use the followig
More information11. FINITE FIELDS. Example 1: The following tables define addition and multiplication for a field of order 4.
11. FINITE FIELDS 11.1. A Field With 4 Elemets Probably the oly fiite fields which you ll kow about at this stage are the fields of itegers modulo a prime p, deoted by Z p. But there are others. Now although
More informationMa 530 Infinite Series I
Ma 50 Ifiite Series I Please ote that i additio to the material below this lecture icorporated material from the Visual Calculus web site. The material o sequeces is at Visual Sequeces. (To use this li
More information2 Geometric interpretation of complex numbers
2 Geometric iterpretatio of complex umbers 2.1 Defiitio I will start fially with a precise defiitio, assumig that such mathematical object as vector space R 2 is well familiar to the studets. Recall that
More informationAN ALMOST LINEAR RECURRENCE. Donald E. Knuth Calif. Institute of Technology, Pasadena, Calif.
AN ALMOST LINEAR RECURRENCE Doald E. Kuth Calif. Istitute of Techology, Pasadea, Calif. form A geeral liear recurrece with costat coefficiets has the U 0 = a l* U l = a 2 " ' " U r - l = a r ; u = b, u,
More informationSeptember 2012 C1 Note. C1 Notes (Edexcel) Copyright - For AS, A2 notes and IGCSE / GCSE worksheets 1
September 0 s (Edecel) Copyright www.pgmaths.co.uk - For AS, A otes ad IGCSE / GCSE worksheets September 0 Copyright www.pgmaths.co.uk - For AS, A otes ad IGCSE / GCSE worksheets September 0 Copyright
More informationLinear chord diagrams with long chords
Liear chord diagrams with log chords Everett Sulliva Departmet of Mathematics Dartmouth College Haover New Hampshire, U.S.A. everett..sulliva@dartmouth.edu Submitted: Feb 7, 2017; Accepted: Oct 7, 2017;
More information