Theorems and Proofs
Theorem 1
Theorem: If and , then , where A, B, and C are sets.
Proof:
Assumptions:
A, B, C are sets.
and
Goal: Show that , i.e., if , then .
Proof Steps:
Since , for all , then . So, .
Since , for all , then . So, .
Thus, for all , we can say .
Therefore, we can state that .
Theorem 2
Some theorems with set operations, given sets A and B:
If , then
If , then
,
,
Theorem 3
Some laws with set operations:
Associative laws
Commutative laws
Identity laws
Complement laws
Theorem 4
Let S be a partition of X. Define a binary relation E on X. So we have the statement
for some , then E is an equivalence relation.
Theorem 5
E is an equivalence relation on X. The family of equivalence classes forms a partition.
In other words, for some
Theorem 6
Let , then binary relation on Z defined by . Show this is an equivalence relation.
Theorem 7
Recall is known as the power set of X.
Let X be a finite set, with cardinality . The cardinality of the power set is given by,
Theorem 8
Inclusion-Exclusion principle: If X and Y are finite sets, then
Theorem 9
Let X and Y be finite sets.
if there is a bijection
Theorem 10
Theorem 11
For ,
Theorem 12
For any integer n, k with ,
Theorem 13
If there are n pigeons and k pigeonholes, n > k, then at least one pigeon hole has more than 1 pigeon.
Theorem 14
Pigeonhole Principle (formal): Let X and Y be finite sets. If |X| > |Y |, then there is no injective function .
Theorem 15
Generalized Pigeonhole Principle: X and Y are finite sets. , and
For any function , there are at least K distinct elements of such that , that all map to the same element.
Theorem 16
Let with initial conditions and .
If the polynomial has distinct roots, , then d, b exist such that
And we get the closed form solution for
Theorem 17
Let be a particular solution to .
Any solution is of the form , where is a solution to the homogeneous component, .
is called the general solution of .
Theorem 18
A finite graph, G, has an Eulerian cycle iff G is connected and every vertex has even degree.
Theorem 19
Given graph G(V, E) is a finite graph, with
for some .
Restating, the sum of the degrees of all the vertices are even.
Theorem 20
Let G(V, E) be a finite graph. Define two vertices .
G has a path from v to w with no repeated edges, and visits all vertices/edges iff G is connected and v and w are the only edges with odd degree.
Theorem 21
Graph G(V, U), and v is a vertex in V.
If G as a cycle from V to V, then G has a simple cycle from V to V.
Theorem 22
Let G be a graph and A is an adjacency matrix.
For an integer the ijth entry of is equal to the number of paths from i to j with length n.
Theorem 23
Define and .
G and G′ are isomorphic iff there are ordering of their respective vertex sets st their adjacency matrices are the same.
Theorem 24
Let G and G′ be graphs.
If there is an invariance P st G has property P but G′ does not have property P, then G and G′ are not isomorphic.
Theorem 25
Fix an integer .
Property of “having a simple cycle of length k” is invariant.
Theorem 26
Euler's formula for graphs: G be a connected planar graph with e edges, v vertices, and f faces.
Theorem 27
A graph is planar iff G does not have a subgraph that is homeomorphic to or .
Theorem 28
Let G be a graph. x, y are connected.
The path denoted with d(x, y), is the path from x to y, that does not visit any vertex more than once.
Theorem 29
Let G be a graph. The following are equivalent.
G is 2-colorable.
G is a bipartite graph.
G has no cycles of odd length.
Theorem 30
Four color theorem: every planar graph is 4-colorable.
Theorem 31
For any n, “” is invariant.
Theorem 32
G is a finite graph with n-vertices.
Where is the independence number and is the chromatic number.
Theorem 33
Every tree is connected and acyclic.
Theorem 34
Every tree with at least 2 vertices has a vertex of degree 1.
for some i.
Theorem 35
Every tree is bipartite (hence 2-colorable).
Theorem 36
Let T = (V, E) be a finite graph with . The following are equivalent.
T is a tree.
T is connected and acyclic.
T is connected and .
T is acyclic and .
Theorem 37
If T is a full binary tree, i internal vertices, then T has i + 1 leaves and 2i + 1 total vertices.
Theorem 38
If a binary tree T has height of h with t leaves.
Theorem 39
There are exactly 3 non-isomorphic trees with 5 vertices.
Theorem 40
There are exactly 4 rooted trees with 4 vertices.
Theorem 41
If T and T′ are not tree isomorphic, they are not rooted tree isomorphic.
Theorem 42
A graph G has a spanning tree iff it is connected.