MATH 301 Test 3 Flashcards
A relation is called a function (f: A -> B) if
f(a) = b and f(a) = c implies b=c
(a,b) ∈ R and (a,c) ∈ R implies b=c
The domain of a function f: A -> B is
dom(f) = {a : ∃b∈B, f(a)=b}
The image of a function f: A -> B is
im(f) = {b: ∃a∈A, f(a)=b}
If f: A->B is a function, dom(f)=A and im(f)⊆B, we call B the
codomain
The inverse of a function f is
f^(-1) = {(b,a) : (b,a) ∈ f}
f^(-1) is a function provided
(a,b) ∈ f^(-1) and (a,c) ∈ f^(-1) implies b=c
or (b,a) ∈ f and (c,a) ∈ f implies b=c
A function f: A->B is called injective or one-to-one provided
f(x1) = f(x2) implies x1 = x2
If f: A->B is one-to-one, then f^(-1) (is/is not) a function.
is
If f: A->B is one-to-one, the size of A and B are related as
|B| >= |A|
A function f: A->B is called surjective or onto B if
im(f)=B
∀b∈B, ∃a∈A s.t. f(a)=b
If f: A->B is onto, the size of A and B are related as
|A| >= |B|
A function f: A->B is called a bijection if
it is both one-to-one (injective) and onto (surjective)
If f: A->B is bijective, the size of A and B are related as
|A| = |B|
Let A and B be fintie sets with |A| = a and |B| = b. How many functions are there from A to B?
b^a
Let A and B be fintie sets with |A| = a and |B| = b. How many one-to-one functions are there from A to B?
b falling a
Let A and B be fintie sets with |A| = a and |B| = b. How many onto functions are there from A to B?
the sum from k=0 to b of
(-1)^k (b choose k) (b-k)^a
Pigeonhole Principle
If f: A->B is one-to-one, then |A| <= |B|
Contrapositive: If |A| > |B|, then there is no one-to-one function f: A->B
A graph is
a pair G=(V,E) where V is a finite set and E is a set of two-element subsets of V
Let u,v∈V. We say u is adjacent to v if
{u,v}∈E
Notation: u~v
The degree of v is
the number of edges with which v is incident
A graph is called regular if
every vertex has the same degree
Handshakes theorem
The sum of the degrees of the vertices in V(G) is equal to 2|E|
We say f: V(G) -> V(H) is an isomorphism provided
f is a bijection and a~b iff f(a)~f(b)
A clique is a graph G is
a set S⊆V(G) in which all vertices are pairwise adjacent