Midterm 2 Flashcards
(45 cards)
the well-ordering principle
every nonempty subset of the set of all natural numbers has a smallest element.
what states that every subset of the set of all natural numbers has a smallest element?
the well-ordering principle
fundamental theorem of arithmetic
any natural number greater than 1 is prime or can be expressed uniquely as the product of primes.
what states that any natural number greater than 1 is prime or can be expressed uniquely as the product of primes?
the fundamental theorem of arithmetic
how can a relation be defined?
as an ordered pair, like (x,y)
R is a relation from A to B if…
R is a subset of AxB
(a,b) ∈ R
or
a R b
“a is R-related (related) to b”
a is R-related (related) to b
(a,b) ∈ R
or
a R b
a relation from A to A
“a relation on A”
what is every subset of AxB?
a relation from A to B
identity relation IA
for any set A, the identity relation on A is IA = {(a,a): a ∈ A}
if A = {1, 2, a, b}, what is the identity relation on A?
IA = {(1,1), (2,2), (a,a), (b,b)}
given the relation R from A to B, what is the domain of R?
Dom(R) = {x ∈ A: there exists y ∈ B such that x R y}
given the relation R from A to B, what is the range of R?
Rng(R) = {y ∈ B: there exists x ∈ A such that x R y}
what is Dom(R)?
the set of all first coordinates of ordered pairs in R
what is Rng(R)?
the set of all second coordinates of ordered pairs in R
how can we prove that a given x ∈ A is contained in Dom(R)?
must show there exists an element y ∈ B such that x R y
how can we prove that y ∈ B is in Rng(R)?
must show that there exists x ∈ A such that x R y
what is a digraph?
a directed graph, which can be used to represent a relation R on a small finite set A
______ are also relations from A to B
unions and intersections of two relations from A to B are also relations from A to B
what is the inverse of a relation?
R^-1 = {(y,x): (x,y) ∈ R}
basically, flip x and y
if R is the relation from A to B, what is R^-1?
R^-1 is the relation from B to A
what is composition?
given that A is related to B, and B is related to C, composition is a method of constructing a relation from A to C
let R be a relation from A to B, and S be a relation from B to C. what is the composite of S and R?
S o R = {(a,c): there exists b ∈ B such that (a,b) ∈ R and (b,c) ∈ S}