Discrete Mathematics with Applications MATH236

Similar documents
Discrete Mathematics with Applications MATH236

Discrete Mathematics with Applications MATH236

MATH 433 Applied Algebra Lecture 14: Functions. Relations.

Relations and Equivalence Relations

9 RELATIONS. 9.1 Reflexive, symmetric and transitive relations. MATH Foundations of Pure Mathematics

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.

14 Equivalence Relations

Relations MATH Relations. Benjamin V.C. Collins, James A. Swenson MATH 2730

MATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X.

CSE 20 DISCRETE MATH. Winter

Relations (3A) Young Won Lim 3/27/18

3. R = = on Z. R, S, A, T.

EQUIVALENCE RELATIONS (NOTES FOR STUDENTS) 1. RELATIONS

Week 4-5: Binary Relations

CSE 20 DISCRETE MATH. Fall

Part V. Chapter 19. Congruence of integers

Report 1 The Axiom of Choice

Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics Lecture notes in progress (27 March 2010)

Chapter 1. Sets and Numbers

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

Generating Permutations and Combinations

Foundations of algebra

RED. Fall 2016 Student Submitted Sample Questions

Relations. P. Danziger. We may represent a relation by a diagram in which a line is drawn between two elements if they are related.

Introduction. Foundations of Computing Science. Pallab Dasgupta Professor, Dept. of Computer Sc & Engg INDIAN INSTITUTE OF TECHNOLOGY KHARAGPUR

Reading 11 : Relations and Functions

Mathematics 220 Homework 4 - Solutions. Solution: We must prove the two statements: (1) if A = B, then A B = A B, and (2) if A B = A B, then A = B.

Week 4-5: Binary Relations

Any Wizard of Oz fans? Discrete Math Basics. Outline. Sets. Set Operations. Sets. Dorothy: How does one get to the Emerald City?

Sets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions

Notes on Systems of Linear Congruences

Chapter 1 : The language of mathematics.

Lecture 4: Constructing the Integers, Rationals and Reals

5. Partitions and Relations Ch.22 of PJE.

Set Basics. P. Danziger

Notes on Sets, Relations and Functions

Module 2: Language of Mathematics

Relations --- Binary Relations. Debdeep Mukhopadhyay IIT Madras

HL Topic. Sets, relations and groups. (Further Mathematics SL Topic 3) Sets Ordered pairs Functions Binary operations Groups Further groups

Lecture 7: Relations

Sets II MATH Sets II. Benjamin V.C. Collins, James A. Swenson MATH 2730

UMASS AMHERST MATH 300 SP 05, F. HAJIR HOMEWORK 8: (EQUIVALENCE) RELATIONS AND PARTITIONS

Lecture 8: Equivalence Relations

Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products

Relations Introduction to Relations 8.2 Properties of Relations. 8.3 Equivalence Relations. mjarrar 2015

In mathematics there are endless ways that two entities can be related

1. To be a grandfather. Objects of our consideration are people; a person a is associated with a person b if a is a grandfather of b.

1 Chapter 1: SETS. 1.1 Describing a set

Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson

CA320 - Computability & Complexity

Set, functions and Euclidean space. Seungjin Han

Chapter 9: Relations Relations

Sets. Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing Spring, Outline Sets An Algebra on Sets Summary

Guide to Proofs on Discrete Structures

Week 4-5: Generating Permutations and Combinations

Chapter 2 - Relations

XMA2C011, Annual Examination 2012: Worked Solutions

Equivalence Relations and Partitions, Normal Subgroups, Quotient Groups, and Homomorphisms

Chapter 0. Introduction: Prerequisites and Preliminaries

Tomáš Madaras Congruence classes

Relations. Binary Relation. Let A and B be sets. A (binary) relation from A to B is a subset of A B. Notation. Let R A B be a relation from A to B.

COT3100 SI Final Exam Review

MATH 115, SUMMER 2012 LECTURE 4 THURSDAY, JUNE 21ST

4. Congruence Classes

Discrete Structures (2IT50)

#A22 INTEGERS 17 (2017) NEW CONGRUENCES FOR `-REGULAR OVERPARTITIONS

CHAPTER 3. Congruences. Congruence: definitions and properties

Relations. Relations of Sets N-ary Relations Relational Databases Binary Relation Properties Equivalence Relations. Reading (Epp s textbook)

Statistical Inference

MATH Midterm Exam 2 Solutions

1 2 3 style total. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.

Chapter 1. Sets and Mappings

Relations. Relations. Definition. Let A and B be sets.

ABOUT THE CLASS AND NOTES ON SET THEORY

3.7 Non-linear Diophantine Equations

Economics 204 Summer/Fall 2017 Lecture 1 Monday July 17, 2017

Copyright c 2007 Jason Underdown Some rights reserved. statement. sentential connectives. negation. conjunction. disjunction

Definition: A binary relation R from a set A to a set B is a subset R A B. Example:

378 Relations Solutions for Chapter 16. Section 16.1 Exercises. 3. Let A = {0,1,2,3,4,5}. Write out the relation R that expresses on A.

Rough Soft Sets: A novel Approach

CS 514, Mathematics for Computer Science Mid-semester Exam, Autumn 2017 Department of Computer Science and Engineering IIT Guwahati

Math 3T03 - Topology

Chapter VI. Relations. Assumptions are the termites of relationships. Henry Winkler

MA : Introductory Probability

CSE 20 DISCRETE MATH. Winter

Part IA. Numbers and Sets. Year

Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations

HL Test 2018 Sets, Relations and Groups [50 marks]

2. Sets. 2.1&2.2: Sets and Subsets. Combining Sets. c Dr Oksana Shatalov, Spring

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

RED. Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam

Real Analysis. Joe Patten August 12, 2018

3.2 Solving linear congruences. v3

The integers. Chapter 3

2 Equivalence Relations

Sets, Logic, Relations, and Functions

Packet #5: Binary Relations. Applied Discrete Mathematics

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

Math 109 HW 9 Solutions

Modular Arithmetic Instructor: Marizza Bailey Name:

Transcription:

Discrete Mathematics with Applications MATH236 Dr. Hung P. Tong-Viet School of Mathematics, Statistics and Computer Science University of KwaZulu-Natal Pietermaritzburg Campus Semester 1, 2013 Tong-Viet (UKZN) MATH236 Semester 1, 2013 1 / 21

Table of contents 1 Equivalence relations 2 How to count Tong-Viet (UKZN) MATH236 Semester 1, 2013 2 / 21

Equivalence relations Congruence Let n be a positive integer Two integer x, y are congruence modulo n if n x y We write x y (mod n) if x and y are congruence modulo n Theorem Congruence modulo n is an equivalence relation Tong-Viet (UKZN) MATH236 Semester 1, 2013 3 / 21

Equivalence relations Congruence (cont.) Proof. We need to prove that congruence is reflexive, symmetric and transitive Reflexive: For all x Z, we have that x x = 0 n so x x (mod n) Symmetric: For x, y Z, if x y (mod n), then x y = t n. Hence y x = ( t) n. Thus y x (mod n) Tong-Viet (UKZN) MATH236 Semester 1, 2013 4 / 21

Equivalence relations Congruence (cont.) Proof. Transitive: Suppose that x y (mod n) and y z (mod n) Then x y = t n and y z = s n for s, t Z Hence, x z = (s + t) n. So x z (mod n) Tong-Viet (UKZN) MATH236 Semester 1, 2013 5 / 21

Equivalence relations Congruence (cont.) Equivalence Classes [0] = {, 3n, 2n, n, 0, n, 2n, 3n, } [1] = {, 3n + 1, 2n + 1, n + 1, 1, n + 1, 2n + 1, 3n + 1, } [2] = {, 3n + 2, 2n + 2, n + 2, 2, n + 2, 2n + 2, 3n + 2, } [3] = {, 3n + 3, 2n + 3, n + 3, 3, n + 3, 2n + 3, 3n + 3, } [n 1] = {, 2n 1, n 1, 1, n 1, 2n 1, 3n 1, 4n, } Tong-Viet (UKZN) MATH236 Semester 1, 2013 6 / 21

Equivalence relations Equivalence classes and Partition Theorem Let P be a partition of a set S. Then there exists an equivalence relation R on S for which S/R = P, i.e., the equivalence classes of R are the parts of P. Proof. Define a relation R as follows: xry if and only if x is in the same part of P as y We will prove that R is an equivalence relation Reflexive: As x is in the same part as itself, xrx Tong-Viet (UKZN) MATH236 Semester 1, 2013 7 / 21

Equivalence relations Equivalence classes and partitions Symmetric: If xry, then y is in the same part as x Hence x is also in the same part as y and thus yrx Transitive: If xry and yrz, then y is in the same part of x and z is in the same part of y Thus z is in the same part of x or xrz So R is an equivalence relation From the definition of R, we deduce that the equivalence classes of R coincide with the parts of P. Tong-Viet (UKZN) MATH236 Semester 1, 2013 8 / 21

Equivalence relations Summary of Chapter 1 1 Review of sets Union, intersection Difference, symmetric difference Cartesian products, complement DeMorgan s Law (Theorem) 2 Partitions Disjoint and pairwise disjoint Definition of partition 3 Relations Tong-Viet (UKZN) MATH236 Semester 1, 2013 9 / 21

Equivalence relations Summary of Chapter 1 (cont.) Definition of relations Properties of relations: reflexive, symmetric and transitive Equivalence relations and equivalence classes Theorem 2 : Let R be an equivalence relation on S and x, y S. Then [x] = [y] if and only if xry Theorem 3 : Let R be an equivalence relation on S. Then S/R is a partition of S Theorem 4 : Let P be a partition of S. Then there exists an equivalence relation R on S for which S/R = P. Tong-Viet (UKZN) MATH236 Semester 1, 2013 10 / 21

Counting Principles Definition (Counting Principle) If we count something in two different ways, then the two answers must be equal. A proof that uses this principle is called a combinatorial proof We now consider the following example: Theorem If A and B are finite sets, then A B = A + B A B Tong-Viet (UKZN) MATH236 Semester 1, 2013 11 / 21

Counting Principles (cont.) Proof. We will prove the following equivalent statement: We will use a combinatorial proof Imagine the following: A B + A B = A + B Line the elements of A up in front of a turnstyle As each passes through, give it a slip of paper Tong-Viet (UKZN) MATH236 Semester 1, 2013 12 / 21

Counting Principles (cont.) Proof. Now line the elements of B up in front of the turnstyle Again, as each passes through, give it a slip of paper Consider the following question: How many slips of paper in total did we give out? We will count the slips in two different ways Tong-Viet (UKZN) MATH236 Semester 1, 2013 13 / 21

Counting Principles (cont.) Proof. We gave one slip to each member of A We gave one slip to each member in B So clearly, we gave out A + B slips of paper Tong-Viet (UKZN) MATH236 Semester 1, 2013 14 / 21

Counting Principles (cont.) Proof. For each element of A B either it got one slip of paper, if it is in one of A or B but not both it got two slips of paper if it is in A B Clearly, we gave out ( A B A B ) + 2 A B = A B + A B Tong-Viet (UKZN) MATH236 Semester 1, 2013 15 / 21

Counting Principles (cont.) Proof. We re just count the total number of slips of paper in two different ways As both ways must give the same answer Therefore, The proof is now complete A + B = A B + A B Tong-Viet (UKZN) MATH236 Semester 1, 2013 16 / 21

Counting Principles (cont.) Here is a direct consequence of the previous theorem Corollary If A and B are disjoint finite sets, then A B = A + B This corollary can be generalized to: Theorem (Addition Principle) If {A 1, A 2,, A k } is a pairwise disjoint collection of finite sets, then k A i = i=1 k A i i=1 Tong-Viet (UKZN) MATH236 Semester 1, 2013 17 / 21

Counting Principles (cont.) We now obtain a consequence of the Addition Principle: Theorem If A and B are finite sets, then A B = A B Proof. Write A = {a 1, a 2,, a n } with n = A For each i = 1, 2,, n, let A i be the set of all ordered pairs (a i, b) where b B Then A B = n i=1 A i Tong-Viet (UKZN) MATH236 Semester 1, 2013 18 / 21

Counting Principles (cont.) Proof. We have A i = B for all i {A i } n i=1 is pairwise disjoint So {A 1, A 2,, A n } is a partition of A B. Thus n A B = n i=1 A i = A i = A B. i=1 Tong-Viet (UKZN) MATH236 Semester 1, 2013 19 / 21

Counting Principles (cont.) This theorem is one form of the Multiplication Principle Let S be a set of ordered pairs (s 1, s 2 ) of objects The first object s 1 comes from a set of size n 1 For each choice of object s 1, there are n 2 choices of object s 2 Then the set S contains n 1 n 2 ordered pairs Tong-Viet (UKZN) MATH236 Semester 1, 2013 20 / 21

Counting Principles (cont.) Example How many 2-digit numbers numbers contains no repeated digits? A 2-digit number ab can be thought of as the ordered paired (a, b) The first digit a can be anything except 0, so n 1 = 9 Once we chosen the first digit a, the second digit can be any number except the one we chose for a For each choice of a, the are 9 choices for b, so n 2 = 9 The Multiplication Principle implies that the total number number of 2-digit numbers without repetition is 9 9 = 81 Tong-Viet (UKZN) MATH236 Semester 1, 2013 21 / 21