Back to A Cool Brisk Walk Through Discrete Mathematics

Relations

Building relations as sets of ordered pairs between finite sets, counting how many are possible, and testing notions like being an endorelation.

A Cool Brisk Walk Through Discrete Mathematics, Relations

Status
FlagsLoading your progress…

38 exercises

Exercise 1

Let AA be the set { Chuck, Julie, Sam } and SS be the set { basketball, volleyball }. Is { (Julie, basketball), (Sam, basketball), (Julie, volleyball) } a relation between AA and SS?

2.5

Exercise 2

Is the above relation an endorelation?

2.5

Exercise 3

Is { (Chuck, basketball), (basketball, volleyball) } a relation between AA and SS?

2.5

Exercise 4

Is ∅\varnothing a relation between AA and SS?

2.5

Exercise 5

How large could a relation between AA and SS be?

2.5

Exercise 6

Let TT be the set { Spock, Kirk, McCoy, Scotty, Uhura }. Let OO be an endorelation on TT, defined as follows: { (Kirk, Scotty), (Spock, Scotty), (Kirk, Spock), (Scotty, Spock) }. Is TT reflexive?

2.5

Exercise 7

Is TT symmetric?

2.5

Exercise 8

Is TT antisymmetric?

2.5

Exercise 9

Is TT transitive?

2.5

Exercise 10

Let HH be an endorelation on TT, defined as follows: { (Kirk, Kirk), (Spock, Spock), (Uhura, Scotty), (Scotty, Uhura), (Spock, McCoy), (McCoy, Spock), (Scotty, Scotty), (Uhura, Uhura) }. Is HH reflexive?

2.5

Exercise 11

Is HH symmetric?

2.5

Exercise 12

Is HH antisymmetric?

2.5

Exercise 13

Is HH transitive?

2.5

Exercise 14

Let outranks be an endorelation on the set of all crew members of the Enterprise, where (x,y)∈(x,y) \in outranks if character xx has a higher Star Fleet rank than yy. Is outranks reflexive?

2.5

Exercise 15

Is outranks symmetric?

2.5

Exercise 16

Is outranks antisymmetric?

2.5

Exercise 17

Is outranks transitive?

2.5

Exercise 18

Is outranks a partial order?

2.5

Exercise 19

Let sameShirtColor be an endorelation on the set of all crew members of the Enterprise, where (x,y)∈(x,y) \in sameShirtColor if character xx ordinarily wears the same shirt color as character yy. Is sameShirtColor reflexive?

2.5

Exercise 20

Is sameShirtColor symmetric?

2.5

Exercise 21

Is sameShirtColor antisymmetric?

2.5

Exercise 22

Is sameShirtColor transitive?

2.5

Exercise 23

Above, we defined AA as the set { Chuck, Julie, Sam } and SS as the set { basketball, volleyball }. Then we defined the relation { (Julie, basketball), (Sam, basketball), (Julie, volleyball) }. Is this relation a function?

2.5

Exercise 24

Suppose we added the ordered pair (Chuck, basketball) to it. Now is it a function?

2.5

Exercise 25

Okay. Suppose we then remove (Julie, volleyball). We now have { (Julie, basketball), (Sam, basketball), (Chuck, basketball) }. Is this a function?

2.5

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?

2.5

Exercise 27

What's the codomain of faveSport?

2.5

Exercise 28

What's the range of faveSport?

2.5

Exercise 29

Is faveSport injective?

2.5

Exercise 30

Is there any way to make it injective?

2.5

Exercise 31

Fine. Is faveSport surjective?

2.5

Exercise 32

Is there any way to make it surjective?

2.5

Exercise 33

Is faveSport now also bijective?

2.5

Exercise 34

How can we alter things so that it's bijective?

2.5

Exercise 35

How do we normally write the fact that “Julie maps to kickboxing”?

2.5

Exercise 36

What's another name for “injective?”

2.5

Exercise 37

What's another name for “surjective?”

2.5

Exercise 38

What's another name for “range?”

2.5

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.