Relations
Building relations as sets of ordered pairs between finite sets, counting how many are possible, and testing notions like being an endorelation.
38 exercises
Exercise 1
Let be the set { Chuck, Julie, Sam } and be the set { basketball, volleyball }. Is { (Julie, basketball), (Sam, basketball), (Julie, volleyball) } a relation between and ?
Exercise 2
Is the above relation an endorelation?
Exercise 3
Is { (Chuck, basketball), (basketball, volleyball) } a relation between and ?
Exercise 4
Is a relation between and ?
Exercise 5
How large could a relation between and be?
Exercise 6
Let be the set { Spock, Kirk, McCoy, Scotty, Uhura }. Let be an endorelation on , defined as follows: { (Kirk, Scotty), (Spock, Scotty), (Kirk, Spock), (Scotty, Spock) }. Is reflexive?
Exercise 7
Is symmetric?
Exercise 8
Is antisymmetric?
Exercise 9
Is transitive?
Exercise 10
Let be an endorelation on , defined as follows: { (Kirk, Kirk), (Spock, Spock), (Uhura, Scotty), (Scotty, Uhura), (Spock, McCoy), (McCoy, Spock), (Scotty, Scotty), (Uhura, Uhura) }. Is reflexive?
Exercise 11
Is symmetric?
Exercise 12
Is antisymmetric?
Exercise 13
Is transitive?
Exercise 14
Let outranks be an endorelation on the set of all crew members of the Enterprise, where outranks if character has a higher Star Fleet rank than . Is outranks reflexive?
Exercise 15
Is outranks symmetric?
Exercise 16
Is outranks antisymmetric?
Exercise 17
Is outranks transitive?
Exercise 18
Is outranks a partial order?
Exercise 19
Let sameShirtColor be an endorelation on the set of all crew members of the Enterprise, where sameShirtColor if character ordinarily wears the same shirt color as character . Is sameShirtColor reflexive?
Exercise 20
Is sameShirtColor symmetric?
Exercise 21
Is sameShirtColor antisymmetric?
Exercise 22
Is sameShirtColor transitive?
Exercise 23
Above, we defined as the set { Chuck, Julie, Sam } and as the set { basketball, volleyball }. Then we defined the relation { (Julie, basketball), (Sam, basketball), (Julie, volleyball) }. Is this relation a function?
Exercise 24
Suppose we added the ordered pair (Chuck, basketball) to it. Now is it a function?
Exercise 25
Okay. Suppose we then remove (Julie, volleyball). We now have { (Julie, basketball), (Sam, basketball), (Chuck, basketball) }. Is this a function?
Exercise 26
Let's call this function “faveSport,” which suggests that its meaning is to indicate which sport is each athlete's favorite. What's the domain of faveSport?
Exercise 27
What's the codomain of faveSport?
Exercise 28
What's the range of faveSport?
Exercise 29
Is faveSport injective?
Exercise 30
Is there any way to make it injective?
Exercise 31
Fine. Is faveSport surjective?
Exercise 32
Is there any way to make it surjective?
Exercise 33
Is faveSport now also bijective?
Exercise 34
How can we alter things so that it's bijective?
Exercise 35
How do we normally write the fact that “Julie maps to kickboxing”?
Exercise 36
What's another name for “injective?”
Exercise 37
What's another name for “surjective?”
Exercise 38
What's another name for “range?”
Adapted from A Cool Brisk Walk Through Discrete Mathematics © 2023 Stephen Davies. Licensed under CC BY-SA 4.0. Source: A Cool Brisk Walk Through Discrete Mathematics. Imported at revision 4b9934b.