Introduction to ProofsIntroduction to Proofs Combinatorics Preview May 2014 Lambert Introduction to...

21
Introduction to Proofs Combinatorics Preview May 2014 Lambert Introduction to Proofs

Transcript of Introduction to ProofsIntroduction to Proofs Combinatorics Preview May 2014 Lambert Introduction to...

Page 1: Introduction to ProofsIntroduction to Proofs Combinatorics Preview May 2014 Lambert Introduction to Proofs. Relations on Sets De nition A relation R from a set A to a set B is a subset

Introduction to Proofs

Combinatorics Preview

May 2014

Lambert Introduction to Proofs

Page 2: Introduction to ProofsIntroduction to Proofs Combinatorics Preview May 2014 Lambert Introduction to Proofs. Relations on Sets De nition A relation R from a set A to a set B is a subset

Relations on Sets

Definition

A relation R from a set A to a set B is a subset of A× B. In thespecial case where R is a subset of A× A, we that R is a relationon A.

Example

Let R be the relation “is greater than” on the set A = {1, 2, 3, 4}.Find R.

Example

Let A be the set of all integers, and let R be the relation on Adefined by

R = {(a, b) ∈ A× A|a + b is a multiple of 3}.

Give examples of some elements in R.

Lambert Introduction to Proofs

Page 3: Introduction to ProofsIntroduction to Proofs Combinatorics Preview May 2014 Lambert Introduction to Proofs. Relations on Sets De nition A relation R from a set A to a set B is a subset

Properties of Relations

Definition

A relation R on a set A is reflexive if for all x ∈ A, we find(x , x) ∈ R.

Definition

A relation R on a set A is called irreflexive if for all x ∈ A, we find(x , x) 6∈ R.

Definition

A relation R on a set A is symmetric if (a, b) ∈ R implies(b, a) ∈ R for a, b ∈ A.

Lambert Introduction to Proofs

Page 4: Introduction to ProofsIntroduction to Proofs Combinatorics Preview May 2014 Lambert Introduction to Proofs. Relations on Sets De nition A relation R from a set A to a set B is a subset

More properties of relations

Definition

A relation R on a set A is asymmetric if (a, b) ∈ R implies(b, a) 6∈ R for a, b ∈ A.

Definition

A relation R on a set A is antisymmetric if (a, b) ∈ R and(b, a) ∈ R implies a = b for a, b ∈ A.

Definition

A relation R on a set A is transitive if (a, b) ∈ R and (b, c) ∈ Rimplies (a, c) ∈ R for a, b, c ∈ A.

Definition

A relation R on a set A is negatively transitive if (a, b) 6∈ R and(b, c) 6∈ R implies (a, c) 6∈ R for a, b, c ∈ A.

Lambert Introduction to Proofs

Page 5: Introduction to ProofsIntroduction to Proofs Combinatorics Preview May 2014 Lambert Introduction to Proofs. Relations on Sets De nition A relation R from a set A to a set B is a subset

Examples

Example

Does a relation on a set that is neither reflexive nor irreflexiveexist?

Example

Give an example of a relation on R that is asymmetric andirreflexive. Can we say anything else about the example justprovided.

Example

Give an example of a relation that is transitive and symmetric.

Lambert Introduction to Proofs

Page 6: Introduction to ProofsIntroduction to Proofs Combinatorics Preview May 2014 Lambert Introduction to Proofs. Relations on Sets De nition A relation R from a set A to a set B is a subset

Theorem 5

Theorem

A relation is irreflexive, transitive, and antisymmetric if and only ifit is transitive and asymmetric

Proof.

Suppose that R is a relation on the set A with the relation beingirreflexive, transitive, and antisymmetric. Suppose(a, b), (b, a) ∈ R. Then a = b, but (a, a) 6∈ R since R is irreflexive.Thus, (a, b), (b, a) ∈ R can not both hold, which yields R isasymmetric.Conversely, suppose R is transitive and asymmetric. As a result, Ris vacuously antisymmetric. We also have asymmetry implyingirreflexivity, since (a, a) ∈ R implies that (a, a) ∈ R and (a, a) ∈ R,which can not happen in the case of asymmetry.

Lambert Introduction to Proofs

Page 7: Introduction to ProofsIntroduction to Proofs Combinatorics Preview May 2014 Lambert Introduction to Proofs. Relations on Sets De nition A relation R from a set A to a set B is a subset

Theorem 5

Theorem

A relation is irreflexive, transitive, and antisymmetric if and only ifit is transitive and asymmetric

Proof.

Suppose that R is a relation on the set A with the relation beingirreflexive, transitive, and antisymmetric. Suppose(a, b), (b, a) ∈ R. Then a = b, but (a, a) 6∈ R since R is irreflexive.Thus, (a, b), (b, a) ∈ R can not both hold, which yields R isasymmetric.Conversely, suppose R is transitive and asymmetric. As a result, Ris vacuously antisymmetric. We also have asymmetry implyingirreflexivity, since (a, a) ∈ R implies that (a, a) ∈ R and (a, a) ∈ R,which can not happen in the case of asymmetry.

Lambert Introduction to Proofs

Page 8: Introduction to ProofsIntroduction to Proofs Combinatorics Preview May 2014 Lambert Introduction to Proofs. Relations on Sets De nition A relation R from a set A to a set B is a subset

Necessity

Question

Is it necessary the R is irreflexive in the previous theorem. In otherwords, does there exist a relation on a set that is antisymmetricand transitive that is not transitive and asymmetric?

Answer

Let R be the relation on Z given by (a, b) ∈ R if a|b. This providesus with an example that irreflexive is necessary in the previoustheorem.

Lambert Introduction to Proofs

Page 9: Introduction to ProofsIntroduction to Proofs Combinatorics Preview May 2014 Lambert Introduction to Proofs. Relations on Sets De nition A relation R from a set A to a set B is a subset

Necessity

Question

Is it necessary the R is irreflexive in the previous theorem. In otherwords, does there exist a relation on a set that is antisymmetricand transitive that is not transitive and asymmetric?

Answer

Let R be the relation on Z given by (a, b) ∈ R if a|b. This providesus with an example that irreflexive is necessary in the previoustheorem.

Lambert Introduction to Proofs

Page 10: Introduction to ProofsIntroduction to Proofs Combinatorics Preview May 2014 Lambert Introduction to Proofs. Relations on Sets De nition A relation R from a set A to a set B is a subset

Partially ordered sets

Definition

A partially ordered set (also called poset) is a set S combined witha relation R such that R is reflexive, transitive, and antisymmetric.

Example

Consider the relation R on the set Z given by (a, b) ∈ R if andonly if a|b where a, b ∈ Z.

Example

Let A be a nonempty set. Consider the relation R on the set P(A)given by (X ,Y ) ∈ R if and only if X ⊆ Y for X ,Y ∈ P(A).

Lambert Introduction to Proofs

Page 11: Introduction to ProofsIntroduction to Proofs Combinatorics Preview May 2014 Lambert Introduction to Proofs. Relations on Sets De nition A relation R from a set A to a set B is a subset

Applications

Let A ={Savannah, Atlanta, New York, Chicago, Denver, San Francisco}.Three people in class must rank these cities from 1 to 6 (with 1being the favorite). We shall form a relation R on the set A byplacing (a, b) ∈ R if for all three rankings we find the ranking of ais less than or equal to the ranking of b where a and b are cities inA. Determine if this ranking system forms a poset.

Lambert Introduction to Proofs

Page 12: Introduction to ProofsIntroduction to Proofs Combinatorics Preview May 2014 Lambert Introduction to Proofs. Relations on Sets De nition A relation R from a set A to a set B is a subset

Total Order

Definition

Let R be a relation on a set A. If for any a, b ∈ A, either(a, b) ∈ R or (b, a) ∈ R, then the partial order is called a totalorder, or a linear order.

Example

Consider the relation “is greater than” on the set of realnumbers. This is an example of a total ordering.

Consider the lexicographical ordering on the set of orderedpairs in R2. This is another example of a total ordering.

Lambert Introduction to Proofs

Page 13: Introduction to ProofsIntroduction to Proofs Combinatorics Preview May 2014 Lambert Introduction to Proofs. Relations on Sets De nition A relation R from a set A to a set B is a subset

Total Order

Definition

Let R be a relation on a set A. If for any a, b ∈ A, either(a, b) ∈ R or (b, a) ∈ R, then the partial order is called a totalorder, or a linear order.

Example

Consider the relation “is greater than” on the set of realnumbers. This is an example of a total ordering.

Consider the lexicographical ordering on the set of orderedpairs in R2. This is another example of a total ordering.

Lambert Introduction to Proofs

Page 14: Introduction to ProofsIntroduction to Proofs Combinatorics Preview May 2014 Lambert Introduction to Proofs. Relations on Sets De nition A relation R from a set A to a set B is a subset

Chains and Antichains

Definition

If a subset S of a partially ordered set A is totally ordered, then wecall S a chain.

Definition

A subset S of a partially ordered set A is called an antichain if theelements of S are pairwise incomparable.

Example

Consider the relation R on the set A = {1, 2, · · · , 16} formed byhaving (a, b) ∈ R if a divides b. Find examples of chains andantichains.

Example

Use the relation “≤” on the set A = {1, 2, · · · , 10} by comparingonly even numbers together and odd numbers together.

Lambert Introduction to Proofs

Page 15: Introduction to ProofsIntroduction to Proofs Combinatorics Preview May 2014 Lambert Introduction to Proofs. Relations on Sets De nition A relation R from a set A to a set B is a subset

Partitions

Definition

A partition of a set A is a collection S of nonempty subsets of Asuch that every element of A belongs to exactly one subset of S .

Example

Consider the set A = {a, b, c , d , e, f }. Find two disjoint partitionsof A, called S1 and S2, such that |S1| = |S2| = 3 and for everyX ∈ S1 and Y ∈ S2 we find |X | 6= |Y |.

Lambert Introduction to Proofs

Page 16: Introduction to ProofsIntroduction to Proofs Combinatorics Preview May 2014 Lambert Introduction to Proofs. Relations on Sets De nition A relation R from a set A to a set B is a subset

Partitions and Chains

Example

Consider the relation R on the set A = {1, 2, · · · , 16} formed byhaving (a, b) ∈ R if a divides b. Find the minimum number ofchains necessary to form a partition of A.

Example

Consider the relation R on the set A = {1, 2, · · · , 16} formed byhaving (a, b) ∈ R if a divides b. Find the maximum number ofelements in an antichain of A.

Lambert Introduction to Proofs

Page 17: Introduction to ProofsIntroduction to Proofs Combinatorics Preview May 2014 Lambert Introduction to Proofs. Relations on Sets De nition A relation R from a set A to a set B is a subset

Dilworth’s Theorem

Dilworth’s Theorem

Let P be a partially ordered finite set. The minimum number m ofchains that form a partition of P is equal to the maximum numberM of elements in an antichain of P.

The Dual of Dilworth’s Theorem [Mirsky, 1971]

Let P be a partially ordered set. If P possesses no chain of m + 1elements, then P is the union of m antichains.

Lambert Introduction to Proofs

Page 18: Introduction to ProofsIntroduction to Proofs Combinatorics Preview May 2014 Lambert Introduction to Proofs. Relations on Sets De nition A relation R from a set A to a set B is a subset

Proof of the Dual of Dilworth’s Theorem

Proof.

We shall use induction for this proof. Notice for m = 1, we findthere is no chain with more than 1 element. This coincides with anantichain for the whole set P, so our base case holds. Assume form ≥ 2 and assume that the the theorem holds for m− 1. Let P bea partially ordered set that has no chain of m + 1 elements. Let Sbe the set of maximal elements of each chain in P. We claim Sforms an antichain. Now we consider the set P − S . Supposex1 < x2 < · · · < xm were a chain in P − S . Then this would alsobe a maximal chain in P and we would have xm ∈ S , which is acontradiction. Hence P − S has no chain of m elements. Byapplying the induction hypothesis, P − S is the union of m − 1antichains. As a result, (P − S)∪ S is the union of m antichains aswe desired.

Lambert Introduction to Proofs

Page 19: Introduction to ProofsIntroduction to Proofs Combinatorics Preview May 2014 Lambert Introduction to Proofs. Relations on Sets De nition A relation R from a set A to a set B is a subset

Applications of Dilworth’s Theorem

Sequence Size

Let a1, a2, · · · , an2+1 be a permutation of the integers1, 2, · · · , n2 + 1. Then this sequence has a subsequence of lengthn + 1 that is monotone.

Proof.

Assume there does not exist a subsequence of length n + 1 that ismonotone. We shall create a relation R by placing (ai , aj) ∈ R ifai ≤ aj and i ≤ j . Since each chain can have at most n elements(otherwise we would have an increasing sequence of size n + 1 ormore), then the minimum size of a partition must contain at leastn + 1 elements (if there were only n in the partition we would haveonly n2 elements accounted for). Dilworth’s theorem implies thereexists an antichain with n + 1 elements. For an antichain to becreated, notice that ai > aj for i ≤ j . This means we have adecreasing sequence of size n + 1 as we desired.

Lambert Introduction to Proofs

Page 20: Introduction to ProofsIntroduction to Proofs Combinatorics Preview May 2014 Lambert Introduction to Proofs. Relations on Sets De nition A relation R from a set A to a set B is a subset

Applications of Dilworth’s Theorem

Sequence Size

Let a1, a2, · · · , an2+1 be a permutation of the integers1, 2, · · · , n2 + 1. Then this sequence has a subsequence of lengthn + 1 that is monotone.

Proof.

Assume there does not exist a subsequence of length n + 1 that ismonotone. We shall create a relation R by placing (ai , aj) ∈ R ifai ≤ aj and i ≤ j . Since each chain can have at most n elements(otherwise we would have an increasing sequence of size n + 1 ormore), then the minimum size of a partition must contain at leastn + 1 elements (if there were only n in the partition we would haveonly n2 elements accounted for). Dilworth’s theorem implies thereexists an antichain with n + 1 elements. For an antichain to becreated, notice that ai > aj for i ≤ j . This means we have adecreasing sequence of size n + 1 as we desired.

Lambert Introduction to Proofs

Page 21: Introduction to ProofsIntroduction to Proofs Combinatorics Preview May 2014 Lambert Introduction to Proofs. Relations on Sets De nition A relation R from a set A to a set B is a subset

Application

Counting Subsets

Let the sets Ai , 1 ≤ i ≤ k, be distinct subsets of {1, 2, · · · , n}.Suppose Ai ∩ Aj 6= ∅ for all i and j . Show that k ≤ 2n−1 and givean example where equality holds.

Lambert Introduction to Proofs