Theorems and Proofs

Theorem 1

  • Theorem: If ABA ⊆ B and BCB ⊆ C, then ACA ⊆ C, where A, B, and C are sets.

  • Proof:

    • Assumptions:

      • A, B, C are sets.

      • ABA ⊆ B and BCB ⊆ C

    • Goal: Show that ACA ⊆ C, i.e., if xAx ∈ A , then xCx ∈ C.

    • Proof Steps:

      • Since ABA ⊆ B, for all xAx ∈ A, then xBx ∈ B. So, xBx ∈ B.

      • Since BCB ⊆ C, for all xBx ∈ B, then xCx ∈ C. So, xCx ∈ C.

      • Thus, for all xAx ∈ A, we can say xCx ∈ C.

      • Therefore, we can state that ACA ⊆ C.

Theorem 2

  • Some theorems with set operations, given sets A and B:

    1. AB=BAA ∪ B = B ∪ A

    2. If ABA ⊆ B, then AB=BA ∪ B = B

      • AA=AA ∪ A = A

      • A=A∅ ∪ A = A

    3. AB=BAA ∩ B = B ∩ A

    4. If ABA ⊆ B, then AB=AA ∩ B = A

      • AA=AA ∩ A = A

      • A=A ∩ ∅ = ∅

    5. (AB)A(A ∩ B) ⊆ A, (AB)B(A ∩ B) ⊆ B

    6. A(AB)A ⊆ (A ∪ B), B(AB)B ⊆ (A ∪ B)

Theorem 3

  • Some laws with set operations:

    • Associative laws

      • (AB)C=A(BC)(A ∩ B) ∩ C = A ∩ (B ∩ C)

      • (AB)C=A(BC)(A ∪ B) ∪ C = A ∪ (B ∪ C)

    • Commutative laws

      • AB=BAA ∩ B = B ∩ A

      • AB=BAA ∪ B = B ∪ A

    • Identity laws

      • AA=AA ∩ A = A

      • A=AA ∪ ∅ = A

    • Complement laws

      • AA=A ∩ A = ∅

      • AA=UA ∪ A = U

Theorem 4

  • Let S be a partition of X. Define a binary relation E on X. So we have the statement
    xEyx,yAx E y ⇐⇒ x, y ∈ A for some ASA ∈ S, 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, S=CC=[x]ES = {C | C = [x]_E} for some xXx ∈ X

Theorem 6

  • Let nZ+n ∈ Z^+, then binary relation E<em>nE<em>n on Z defined by xE</em>nyxmodnyx E</em>n y ⇐⇒ x \mod n ≡ y. Show this is an equivalence relation.

Theorem 7

  • Recall P(X)=SSXP(X) = {S | S ⊆ X } is known as the power set of X.

  • Let X be a finite set, with cardinality X=n|X| = n. The cardinality of the power set is given by, P(x)=2n|P(x)| = 2^n

Theorem 8

  • Inclusion-Exclusion principle: If X and Y are finite sets, then
    XY=X+YXY|X ∪ Y | = |X| + |Y | − |X ∩ Y |

Theorem 9

  • Let X and Y be finite sets.

  • X=Y|X| = |Y | if there is a bijection f:XYf : X → Y

Theorem 10

  • P(n,r)=n!(nr)!P(n, r) = \frac{n!}{(n − r)!}

Theorem 11

  • For rnr ≤ n, (nr)=n!(nr)!r!\binom{n}{r} = \frac{n!}{(n − r)!r!}

Theorem 12

  • For any integer n, k with knk ≤ n, (n+1k)=(nk1)+(nk)\binom{n + 1}{k} = \binom{n}{k − 1} + \binom{n}{k}

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 f:XYf : X → Y.

Theorem 15

  • Generalized Pigeonhole Principle: X and Y are finite sets. X=n,Y=m|X| = n, |Y | = m, and k=nmk = \lceil \frac{n}{m} \rceil

  • For any function f:XYf : X → Y, there are at least K distinct elements of x<em>1,,x</em>kXx<em>1, …, x</em>k ∈ X such that f(x<em>1)=f(x</em>2)==f(xk)f(x<em>1) = f(x</em>2) = … = f(x_k), that all map to the same element.

Theorem 16

  • Let a<em>n=c</em>1a<em>n1+c</em>2a<em>n2a<em>n = c</em>1 a<em>{n−1} + c</em>2 a<em>{n−2} with initial conditions a</em>1=K<em>1a</em>1 = K<em>1 and a</em>2=K2a</em>2 = K_2.

  • If the polynomial t2c<em>1tc</em>2=0t^2 − c<em>1 t − c</em>2 = 0 has distinct roots, r<em>1r</em>2r<em>1 \neq r</em>2, then d, b exist such that
    b+d=k<em>1b + d = k<em>1 br</em>1+dr<em>2=k</em>2b r</em>1 + d r<em>2 = k</em>2

  • And we get the closed form solution for a<em>na<em>n a</em>n=br<em>1n+dr</em>2na</em>n = b r<em>1^n + d r</em>2^n

Theorem 17

  • Let {b<em>n}</em>n=0\begin{Bmatrix} b<em>n \end{Bmatrix}</em>{n=0}^\infty be a particular solution to a<em>n=c</em>1a<em>n1+c</em>2an2+f(n)a<em>n = c</em>1 a<em>{n−1} + c</em>2 a_{n−2} + f(n).

  • Any solution is of the form {u<em>n}\begin{Bmatrix} u<em>n \end{Bmatrix}, u</em>n=v<em>n+b</em>nu</em>n = v<em>n + b</em>n where v<em>nv<em>n is a solution to the homogeneous component, a</em>n=c<em>1a</em>n1+c<em>2a</em>n2a</em>n = c<em>1 a</em>{n−1} + c<em>2 a</em>{n−2}.

  • u<em>nu<em>n is called the general solution of a</em>na</em>n.

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 V=v<em>1,,v</em>nV = {v<em>1, …, v</em>n}

  • <em>i=1nδ(v</em>i)=2m\sum<em>{i=1}^n δ(v</em>i) = 2m for some mZ0m ∈ Z^{≥0}.

  • 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 v,wVv, w ∈ V.

  • 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 n1n ≥ 1 the ijth entry of AnA^n is equal to the number of paths from i to j with length n.

Theorem 23

  • Define G=(V,E)G = (V, E) and G=(V,E)G′ = (V ′, E′).

  • 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 k1k ≥ 1.

  • 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.

  • f=ev+2f = e − v + 2

Theorem 27

  • A graph is planar iff G does not have a subgraph that is homeomorphic to K<em>5K<em>5 or K</em>33K</em>{33}.

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.

    1. G is 2-colorable.

    2. G is a bipartite graph.

    3. G has no cycles of odd length.

Theorem 30

  • Four color theorem: every planar graph is 4-colorable.

Theorem 31

  • For any n, “χ(G)=nχ(G) = n” is invariant.

Theorem 32

  • G is a finite graph with n-vertices.

  • nα(G)χ(G)n \alpha(G) ≤ χ(G)

  • Where α(G)α(G) is the independence number and χ(G)χ(G) 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.

  • δ(vi)=1δ(v_i) = 1 for some i.

Theorem 35

  • Every tree is bipartite (hence 2-colorable).

Theorem 36

  • Let T = (V, E) be a finite graph with V=n|V | = n. The following are equivalent.

    1. T is a tree.

    2. T is connected and acyclic.

    3. T is connected and E=n1|E| = n − 1.

    4. T is acyclic and E=n1|E| = n − 1.

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.

  • t2ht ≤ 2^h

  • log2th\log_2 t ≤ h

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.