n(n 1) = (n + 1)n(n 1)/ ( 1) n(n 1)(n 2) = (n + 1)n(n 1)(n 2)/4

Similar documents
MIKE ZABROCKI - SEPTEMBER 6 & 11, 2012

Mathematical Induction Assignments

Problem Set 5 Solutions

Applications of Chromatic Polynomials Involving Stirling Numbers

Solutions to Practice Final

Mathematical Structures Combinations and Permutations

On the mean connected induced subgraph order of cographs

Indistinguishable objects in indistinguishable boxes

Binomial Coefficient Identities/Complements

Chapter 5: Integer Compositions and Partitions and Set Partitions

Chapter 1. Sets and Numbers

Chapter 11 - Sequences and Series

Chapter 5: Integer Compositions and Partitions and Set Partitions

Discrete Mathematics, Spring 2004 Homework 4 Sample Solutions

Mathematical Induction Again

Mathematical Induction Again

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

(n = 0, 1, 2,... ). (2)

Mathematical Induction

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

Sum of Squares. Defining Functions. Closed-Form Expression for SQ(n)

CSCE 222 Discrete Structures for Computing. Dr. Hyunyoung Lee

* 8 Groups, with Appendix containing Rings and Fields.

Math 365 Monday 3/25/19. 1 x n n 1. 1 x = X. a k x k (Considered formally, i.e. without consideration of convergence.)

x y = 2 x + 2y = 14 x = 2, y = 0 x = 3, y = 1 x = 4, y = 2 x = 5, y = 3 x = 6, y = 4 x = 7, y = 5 x = 0, y = 7 x = 2, y = 6 x = 4, y = 5

Legendre s Equation. PHYS Southern Illinois University. October 18, 2016

THE KENNESAW STATE UNIVERSITY HIGH SCHOOL MATHEMATICS COMPETITION PART II Calculators are NOT permitted Time allowed: 2 hours

Principles of Real Analysis I Fall I. The Real Number System


Chapter Generating Functions

Number Theory: Niven Numbers, Factorial Triangle, and Erdos' Conjecture

Homework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4

Generating Functions

CSCE 222 Discrete Structures for Computing. Proof by Induction. Dr. Hyunyoung Lee. !!!!!! Based on slides by Andreas Klappenecker

Generating Functions

Sequences and Summations

Recurrence Relations and Recursion: MATH 180

KRONECKER POWERS CHARACTER POLYNOMIALS. A. Goupil, with C. Chauve and A. Garsia,

A combinatorial bijection on k-noncrossing partitions

Sets. A set is a collection of objects without repeats. The size or cardinality of a set S is denoted S and is the number of elements in the set.

CISC 1100: Structures of Computer Science

Contents. Counting Methods and Induction

MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM

Group Theory

Cluster Variables and Perfect Matchings of Subgraphs of the dp 3 Lattice

Sequences. 1. Number sequences. 2. Arithmetic sequences. Consider the illustrated pattern of circles:

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

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

CS 220: Discrete Structures and their Applications. Mathematical Induction in zybooks

The integers. Chapter 3

Geometric Series and the Ratio and Root Test

Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions

Discrete Mathematics. Kishore Kothapalli

MAT115A-21 COMPLETE LECTURE NOTES

Writing proofs for MATH 51H Section 2: Set theory, proofs of existential statements, proofs of uniqueness statements, proof by cases

ALGEBRAIC STRUCTURE AND DEGREE REDUCTION

Math Circle: Recursion and Induction

MULTI-RESTRAINED STIRLING NUMBERS

Math 1 Variable Manipulation Part 1 Algebraic Equations

Character Polynomials

Counting with Categories and Binomial Coefficients

5 Set Operations, Functions, and Counting

a 2 = ab a 2 b 2 = ab b 2 (a + b)(a b) = b(a b) a + b = b

Upper Bounds for Partitions into k-th Powers Elementary Methods

1 Examples of Weak Induction

1.4 Equivalence Relations and Partitions

Chapter 7. Inclusion-Exclusion a.k.a. The Sieve Formula

F 2k 1 = F 2n. for all positive integers n.

Conjectures and proof. Book page 24-30

SERIES

PUTNAM TRAINING PROBLEMS

27 th Annual ARML Scrimmage

Notes. Relations. Introduction. Notes. Relations. Notes. Definition. Example. Slides by Christopher M. Bourke Instructor: Berthe Y.

d-regular SET PARTITIONS AND ROOK PLACEMENTS

MATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.

NOTES ON OCT 4, 2012

REVIEW FOR THIRD 3200 MIDTERM

Solving Equations Quick Reference

Notes on cycle generating functions

Discrete mathematics

MATH 61-02: PRACTICE PROBLEMS FOR FINAL EXAM

1 Take-home exam and final exam study guide

Chromatic bases for symmetric functions

The 4-periodic spiral determinant

Named numbres. Ngày 25 tháng 11 năm () Named numbres Ngày 25 tháng 11 năm / 7

Induction. Announcements. Overview. Defining Functions. Sum of Squares. Closed-form expression for SQ(n) There have been some corrections to A1

Chapter 4. Measure Theory. 1. Measure Spaces

Logic. Facts (with proofs) CHAPTER 1. Definitions

Math Fall 2014 Final Exam Solutions

PROBABILITY VITTORIA SILVESTRI

n n P} is a bounded subset Proof. Let A be a nonempty subset of Z, bounded above. Define the set

1 Homework. Recommended Reading:

Generating Functions (Revised Edition)

The Lefthanded Local Lemma characterizes chordal dependency graphs

We are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero

. As the binomial coefficients are integers we have that. 2 n(n 1).

Axioms for Set Theory

Problem Solving in Math (Math 43900) Fall 2013

Asymptotically optimal induced universal graphs

Relations Graphical View

Transcription:

NOTES FROM THE FIRST TWO CLASSES MIKE ZABROCKI - SEPTEMBER 6 &, 202 main idea of this class + 2 + 3 + + n = n(n + )/2 to r + 2 r + + n r =??? Just to show what we are up against: + 2 + 3 + + n = n(n + )/2 2 + 2 2 + 3 2 + + n 2 = n(n + )(2n + )/6 3 + 2 3 + + n 3 = n 2 (n + ) 2 /4 4 + 2 4 + + n 4 =??? but there is a sequence that continues: + 2 + 3 + + n = n(n + )/2 0 + 2 + 3 2 + + n(n ) = (n + )n(n )/3 0 ( ) + 2 0 + 3 2 + + n(n )(n 2) = (n + )n(n )(n 2)/4. 0 ( ) ( k)+2 0 (2 k)+ +n (n ) (n 2) (n k) = (n+)n(n ) (n k)/(k+2) Proof either by (a) induction (b) telescoping sums First class (a) the equality principle If there is a bijection between a finite set A and a finite set B, then they have the same number of elements. (b) the addition principle say there are sets A, A 2,..., A n with A i = a i for i n and all of the A i are disjoint then the number of elements in A A 2 A n is

2 MIKE ZABROCKI - SEPTEMBER 6 &, 202 a + a 2 + a 3 + + a n Example: Consider the set of words in and 0 with three s and three 0s. And paths in a 3 3 What about? 2 + 2 2 + + n 2 = n(n + )(2n + )/6 ( c) multiplication principle say there are sets A, A 2,..., A n with A i = a i for i n and all of the A i are disjoint then the number of elements in A A 2 A n = {(x, x 2,..., x n ) where x i A i } is a a 2 a n Example: lets say I was going to make a cereal with colored shape marshmellows colors = {pink, yellow, orange, green, purple, red} shapes = {hearts, moons, stars, clovers, horseshoes, balloons, pots} I shouldn t have to list all possible marshmellows, {pink heart, pink moons, pink stars,..., red pots} instead it is much easier to say that there are 6 colors and 7 shapes so there are 6 7 = 42 marshmellows possible. flavors = {chocolate, strawberry, peanutbutter} eat it with = {fork, knife, spoon, chopsticks} Then I could eat chocolate purple ballons with a fork (for example) but there should be colors shapes flavors eat it with = 6 7 3 4 possibilities. (d) division and subtraction - much harder, avoid doing it. Application: S(n, k) = the number of set partitions of {, 2,..., n} into k subsets E.g. {23} {2, 3}, {3, 2}, {, 23} {, 2, 3} 3 7 6 {234} {23, 4}, {24, 3}, {34, 2}, {234, }, {2, 34}, {3, 24}, {4, 23} {2, 3, 4}, {3, 2, 4}, {4, 2, 3}, {23,, 4}, {24,, 3}, {34,, 2} {, 2, 3, 4}

NOTES FROM THE FIRST TWO CLASSES 3 but I can t do more of this table by hand because it there are too many set partitions of 5. argue: all set partitions of {, 2,..., n} into k parts = the set partitions where n is by itself into k other parts union the set partitions where n is with one of the other k parts of {, 2,, n } so S(n, k) = S(n, k ) + ks(n, k) 3 7 6 5 25 0 3 90 65 5 first class: I covered () 0 ( ) ( k)+2 0 (2 k)+ +n (n ) (n 2) (n k) = (n+)n(n ) (n k)/(k+2) (2) addition and multiplication principle (3) definitions of S(n, k) = the number of set partitions of {, 2,..., n} into k parts. A set partition of {, 2,..., n} is a division of {, 2,..., n} into k nonempty and non-intersecting subsets () S(n, k) = S(n, k ) + ks(n, k) for n > and k n with the convention that S(n, n) = 0 and S(n, 0) = 0. Proof. For shorthand, let [n] := {, 2,..., n}. The set partitions of [n] into k parts can be divided into two sets, those that have n in a part by itself and those that have n in a part with other values from [n ]. By the addition principle we have S(n, k) = # set partitions with n in a set alone + # set partitions where n is not alone The number of set partitions of [n] into k parts with n in a part by itself is isomorphic to the set of set partitions of [n ] into k parts by throwing away the set containing just n. This means that the number of set partitions of [n] into k parts with n in a set all by itself is S(n, k ). For a set partition P of [n] with k parts and n is in a part with other elements, then let x be a value between and k that indicates which of the k parts n is contained in and P be the set partition of [n ] into k parts that is formed by removing n from P. Clearly if we know (x, P ) then it is possible to recover P, and if we know P it is possible to recover both x and P. Hence, there are the same number of these objects. Since there

4 MIKE ZABROCKI - SEPTEMBER 6 &, 202 are k possible values of x and there are S(n, k) possible set partitions P, then there are in total ks(n, k) possible set partitions of [n] into k parts where n is not in a part by itself. Therefore () holds true. This recursion allows us to compute more of the table than before. 3 7 6 5 25 0... 3 90 65 5 There is an application for set partitions in terms of algebra. Define for k and integer with k > 0, set: (x) k = x(x )(x 2) (x k + ) such that there are k terms in the product. Examples: (x) = x, (x) 2 = x(x ), (x) 3 = x(x )(x 2),... This is new notation that makes some of our formulas simpler. Example: Remember the identity that we 0 ( ) ( k)+2 0 (2 k)+ +n (n ) (n 2) (n k) = (n+)n(n ) (n k)/(k+2) which is kind of horrible notation is equivalent to () k+ + (2) k+ + + (n) k+ = (n + ) k+2 /(k + 2) Now it arises that the table of numbers S(n, k) appear in the expansion of x n in terms of (x) k. In particular we have (2) x n = Example: S(n, k)(x) k (x) = x (x) + (x) 2 = x + x(x ) = x + x 2 x = x 2 (x) + 3(x) 2 + (x) 3 = x(x )(x 2) + 3x(x ) + x = x 3 (x) + 7(x) 2 + 6(x) 3 + (x) 4 = x + 7x(x ) + 6x(x )(x 2) + x(x )(x 2)(x 3) = x + 7(x 2 x) + 6(x 3 3x 2 + 2x) + x 4 6x 3 + x 2 6x = x 4

NOTES FROM THE FIRST TWO CLASSES 5 So it should seem surprising that it is even possible to give a formula for x n in terms of (x) k, and hopefully it is even more surprising that these coefficients are counted by combinatorial objects called set partitions. Here is the quick proof that this formula holds: Proof. We will prove this by induction on n. We have already shown the base case for n =, 2, 3, 4 above. Assume that (2) holds for some fixed n. Then we have (3) x n+ = x n x = S(n, k)(x) k x (4) (5) (6) (7) (8) (9) (0) = = = S(n, k)(x) k (x k + k) S(n, k)(x) k (x k) + S(n, k)(x) k+ + n+ = S(n, k )(x) k + = S(n, n)(x) n+ + = S(n, n)(x) n+ + = S(n, n)(x) n+ + ks(n, k)(x) k ks(n, k)(x) k ks(n, k)(x) k S(n, k )(x) k + ks(n, k)(x) k + S(n, )(x) (S(n, k ) + ks(n, k))(x) k + S(n, )(x) S(n +, k)(x) k + S(n, )(x). Some comments about this calculation: from step (6) to step (7) we did a shift of indices k k (but they are the same sum). From step (7) to (8) we broke off the k = n+ term of the first sum and the k = term of the second sum. From step (9) to (0) we applied () with n n+. Now recall that S(n, n) = S(n+, n+) = and S(n, ) = S(n+, ) =, hence we can rewrite the first and last term so that they are consistent with the other terms in this sum and hence we have shown n+ x n+ = S(n +, k)(x) k which is equation (2) with n n +. Therefore by the principle of mathematical induction, (2) is true for all n.

6 MIKE ZABROCKI - SEPTEMBER 6 &, 202 Because of the equation (i) k+ = () k+ + (2) k+ + + (n) k+ = (n + ) k+2 /(k + 2) that we wrote down above, this allows us to sum powers of i r. i 2 = i = (i) = (n + ) 2 /2 = (n + )n/2 ((i) + (i) 2 ) = With a little algebra we can show: (i) + (i) 2 = (n + ) 2 /2 + (n + ) 3 /3 (n+) 2 /2+(n+) 3 /3 = (n+)n/2+(n+)n(n )/3 = (n+)n(/2+(n )/3) = n(n+)(2n+)/6 i 3 = ((i) + 3(i) 2 + (i) 3 ) = (n + ) 2 /2 + 3(n + ) 3 /3 + (n + ) 4 /4 The right hand side is a polynomial in n of degree 4 and we can calculate directly that, (n+) 2 /2+3(n+) 3 /3+(n+) 4 /4 = (n+)n/2+(n+)n(n )+(n+)n(n )(n 2)/4 = n 2 (n+) 2 /4 And the formula for the sum of the 4 th powers of i is i 4 = ((i) + 7(i) 2 + 6(i) 3 + (i) 4 ) = (n + ) 2 /2 + 7(n + ) 3 /3 + 6(n + ) 4 /4 + (n + ) 5 /5 and the right hand side in the form it is in is cleaner than calculating the polynomial: (n + ) 2 /2 + 7(n + ) 3 /3 + 6(n + ) 4 /4 + (n + ) 5 /5 = n(n + )(2n + )( 3n + 3n 2 )/30. What is great about what we have done is here is that it is difficult to conjecture the right hand side of this sum or for higher powers (so that one might prove it by some other means). Instead here we have proven an explicit formula which works for all powers of r, that is: r i r = S(r, k)(n + ) k+ /(k + ).