Reference Sheet for CO142.1 Discrete Mathematics I Autumn 2016 Proofs in Discrete Mathematics

Basic Operators

1. Use Venn diagrams, directed graphs, or another visual representation to gain an intuition of what needs to be shown.

1. Union: A ∪ B , {x|x ∈ A ∨ x ∈ B}. 2. Intersection: A ∩ B , {x|x ∈ A ∧ x ∈ B}.

2. Use definitions to create a logical statement.

3. Difference: A\B , {x|x ∈ A ∧ x ∈ / B}.

3. Use logical arguments to prove the statement.

4. Symmetric Difference: A4B , (A\B) ∪ (B\A). (a) In general, equivalences from CO140 should be sufficient. (b) If something is false, try to find a simple counterexample.

A, B are disjoint , A ∩ B = ∅.

(c) If under a for-all quantifier, consider an arbitrary object.

To make any union A ∪ B disjoint, consider A ∪ (B\A).

(d) For an if-then statement, assume the antecedent and prove the consequent.

Properties of Basic Operators

(e) For an equality or if-and-only-if, ensure your argument is bidirectional.

1. Idempotence

4. Use definitions to return to set notation.

(a) A ∪ A = A (b) A ∩ A = A

1

Sets

2. Commutativity

A set is a collection of definite and separate objects.

(a) A ∪ B = B ∪ A (b) A ∩ B = B ∩ A

Russel’s Paradox The collection R , {X is a set|X ∈ / X} is not a set. Can be proven by contradiction when considering a set R (consider the cases R ∈ R and R ∈ / R).

(c) A4B = B4A 3. Associativity

Comparing Sets

(a) A ∪ (B ∪ C) = (A ∪ B) ∪ C (b) A ∩ (B ∩ C) = (A ∩ B) ∩ C

1. Subset: A ⊆ B , ∀x ∈ A (x ∈ B). 2. Equality: A = B , A ⊆ B ∧ B ⊆ A.

4. Empty Set

If A ⊆ B and B ⊆ C, then A ⊆ C.

(a) A ∪ ∅ = A 1

(b) A ∩ ∅ = ∅

Pigeonhole Principle If a set of n distinct objects is partitioned into k subsets, where 0 < k < n, then at least one subset must contain at least two elements.

(c) A4A = ∅ 5. Distributivity

2

Relations

(a) A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) 1. A relation R satisfies R ⊆ A × B. It has type A × B.

(b) A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)

2. A binary relation on A has type A2 .

6. Absorption (a) A ∪ (A ∩ B) = A

Relations can be represented as:

(b) A ∩ (A ∪ B) = A

1. A subset of a product set. 2. A diagram with arrows between elements in two sets.

Cardinality

3. A directed graph, for a binary relation.

1. Cardinality: |A| is defined as the number of distinct elements contained in A.

4. A matrix: for R ⊆ A × B, rows are based on A and columns on B.

2. Principle of Inclusion-Exclusion (for two sets): |A ∪ B| = |A|+|B|−|A ∩ B|.

5. Special representations, e.g. area on the plane for binary relations on R. Basic Operators

Power Set

For R, S ⊆ A × B:

1. Power set: PA , {X|X ⊆ A}.

1. Union: R ∪ S , {ha, bi ∈ A × B| ha, bi ∈ R ∨ ha, bi ∈ S}.

2. For a finite set A with |A| = n, |PA| = 2n .

2. Intersection: R ∩ S , {ha, bi ∈ A × B| ha, bi ∈ R ∧ ha, bi ∈ S}. 3. Complement: R , {ha, bi ∈ A × B| ha, bi 6∈ R}.

Products For arbitrary sets A and B:

4. Inverse: R−1 , {hb, ai ∈ A × B|a R b}.

1. Ordered pair of elements of A and B is written as ha, bi. Identity

2. Cartesian product: A × B , {ha, bi |a ∈ A ∧ b ∈ B}. 3. For a finite sets A and B, |A × B| = |A| × |B|.

Composition

4. n-ary product: A1 × A2 × · · · × An , {ha1 , a2 , . . . , an i |∀1 ≤ i ≤ n (ai ∈ Ai )}. Partitions

 idA = hx, yi ∈ A2 |x = y . For R ⊆ A × B, S ⊆ B × C:

R ◦ S , {ha, ci ∈ A × C|∃b ∈ B (a R b ∧ b R c)}.

A partition of S is a family A1 , A2 , . . . , An of subsets S such that:

Equivalence Relations The binary relation R on A is an equivalence relation when R is reflexive, symmetric, and transitive.

1. Ai is not empty: ∀1 ≤ i ≤ n (Ai 6= ∅). 1. R is reflexive , ∀x ∈ A (x R x).

2. The Ai cover S: S = ∪ni=1 Ai .

2. R is symmetric , ∀x, y ∈ A (x R y =⇒ y R x).

3. The Ai are pairwise disjoint: ∀1 ≤ i, j ≤ n (i 6= j =⇒ Ai ∩ Aj = ∅) (or the contrapositive).

3. R is transitive , ∀x, z ∈ A (∃y ∈ A (x R y ∧ y R z) =⇒ x R z). 2

Formal Definition of a Function †

For a binary relation R on A, this is equivalent to:

f is a function if it satisfies:

1. f (a) = b1 ∧ f (a) = b2 =⇒ b1 = b2 .

1. R is reflexive ⇐⇒ idA ⊆ R.

2. ∀a ∈ A∃b ∈ B (f (a) = b).

2. R is symmetric ⇐⇒ R = R−1 .

Equality

3. R is transitive ⇐⇒ R ◦ R ⊆ R.

f = g , ∀x ∈ A (f (x) = g (x)).

Image Set

Equivalence Classes

1. For X ⊆ A, f [X] , {f (a) ∈ B|a ∈ X}. 1. For an equivalence relation R on A, for any a ∈ A, the equivalence class of a with respect to R is [a]R , {x ∈ A|a ∼R x}.

2. The image set of f is defined as f [A] ⊆ B.

2. The quotient set A/R is the set of equivalence classes of the elements of A w.r.t. R.

Characteristic Functions 1. For sets A, B ⊆ A, the characteristic ( function of B ⊆ A is the function 1 (a ∈ B) χB : A → {0, 1} is defined as χB (a) . 0 (a ∈ A\B)

3. For an equivalence relation R on A, the set {[a] R |a ∈ A} forms a partition of A.

2. For a relation R ⊆ A1 × A2 × · · · × An , the characteristic function of R is the function (χR : A1 × A2 × · · · × An → {0, 1} is defined as 1 (ha1 , a2 , . . . , an i ∈ R) χB (a1 , a2 , . . . ., an ) . 0 (ha1 , a2 , . . . , an i ∈ / R)

Transitive Closure Transitive closure: a R+ b = ∃n ≥ 1 (a Rn b), i.e. R+ = ∪i≥1 Ri . Contains at ‘paths’ in A through R. This is the smallest transitive relation containing R.

3

Partial Functions A partial function need not satisfy clause 2 of † (and so assigns each element in the domain to at most one element in the range). Functions that satisfy clause 2 are total functions.

Functions

1. A function f from a set A to a set B, f : A → B is a relation f ⊆ A × B such that every element of A is related to one element in B.

Properties of Functions For a function f : A → B: 2. A is the domain of f .

1. f is surjective (onto) , ∀b ∈ B∃a ∈ A (f (a) = b) (every element of B is in the image of f ).

3. B is the co-domain of f .

2. f is injective (one-to-one) , ∀a1 , a2 ∈ A (f (a1 ) = f (a2 ) =⇒ a1 = a2 ) (for each b ∈ B there exists at most one a ∈ A with f (a) = b).

4. Consider f (a) = b: a is the pre-image of b under f and b is the image of a under f . Every element of the domain has a single image but elements of the co-domain can have any number of pre-images.

3. f is bijective , f is both one-to-one and onto. Considering the cardinality of the sets A and B:

5. An n-ary function is written f (a1 , a2 , . . . , an ).

1. If f is onto, then |A| ≥ |B|.

6. B A denotes the set of all functions from A to B. m 7. If |A| = m and |B| = n, then B A = nm or (n + 1) including partial functions.

2. If f is one-to-one, then |A| ≤ |B|. 3. If f is a bijection, then |A| = |B|. 3

The Pigeonhole Principle Applied to Functions X ⊆ A, |f [X]| ≤ |X|.

For f : A → B and

Uncountability Cantor’s diagonal argument produces an object that does not exist in any list. Hence any list is incomplete and so the set is uncountable.

Cantor-Bernstein Theorem ‡ If there exists functions f : A → B and g : B → A, both injective or both surjective, then there exists a bijection h : A → B.

5

For a binary relation R on A:

Operations on Functions For functions f : A → B and g : B → C.

1. R is a pre-order :R is reflexive and transitive.

1. Composition: g ◦ f (a) = g (f (a)), i.e. g ◦ f (a) = c , ∃b ∈ B (f (a) = b ∧ g (b) = c). Note that composition is associative. If f and g are bijections, then so is g ◦ f .

2. R is anti-symmetric: ∀x, y ∈ A (x R y ∧ y R x =⇒ x = y). 3. R is a partial order relation: R is reflexive, transitive and anti-symmetric. Usually denoted by ≤A .

2. Identity: The function idA : A → A is defined as idA (a) = a. 3. Inverse: The function f 0 : B → A is an inverse of f whenever: ∀a ∈ A (f 0 ◦ f (a) = a) and ∀b ∈ B (f ◦ f 0 (b) = b), i.e. f 0 ◦ f = idA and f ◦ f 0 = idB . For f to have an inverse, f must be a bijection, and the inverse is unique.

4. R is irreflexive: ∀a ∈ A (¬ (a R a)). 5. R is a strict partial order relation: R is irreflexive and transitive. Usually denoted by
Cardinality of Sets

6. R is a total (linear ) order : R is a partial order that also satisfies ∀a, b ∈ A (a R b ∨ b R a).

1. A ∼ B , ∃f : A → B (f is a bijection). The relation ∼ is an equivalence relation.

Ordering of Products

2. Hence if there exist functions f : A → B and g : B → A, both injective or both surjective, then A ∼ B (by ‡).

1. Product order: ha1 , b1 i ≤P ha2 , b2 i , a1 ≤A a2 ∧ b1 ≤B b2

3. We say A and B have the same cardinality, whenever A ∼ B.

2. Lexicographic order: First compare ai s, then bi s.

Cantor’s Theorem For any set A, A 6∼ PA. To prove, assume a bijection f : A → PA exists. Consider B = {a ∈ A|a ∈ / f (a)}. Since f is a bijection, there exists some b ∈ A such that f (b) = B. Then consider individually the cases b ∈ B and b ∈ / B to generate a contradiction.

4

Hasse Diagrams Definitions: 1. If R is a partial order on set A and a R b for a 6= b, a is a predecessor of b and b is a successor of a. 2. If a is a predecessor of b and there exists no c 6= a, b with a R c and c R b then a is the immediate predecessor of b.

Infinity

Countability to:

Orderings

A set A is countable if A is finite or A ∼ N. This is equivalent

Hasse diagrams:

1. B is countable and A ⊆ B.

1. Record only immediate predecessors.

2. There exists a surjection f : N → A.

2. Direction of lines omitted, lines are directed ‘up the page’. 4

Properties of Partial Orders

For the partial order ≤A and a ∈ A:

1. a is minimal , ∀b ∈ A (b ≤ a =⇒ b = a). 2. a is least , ∀b ∈ A (a ≤ b). 3. a is maximal , ∀b ∈ A (a ≤ b =⇒ a = b). 4. a is greatest , ∀b ∈ A (b ≤ a). Note that: 1. Any least / greatest element is a minimal / maximal element respectively. 2. Any least / greatest element is unique. 3. If A is finite and non-empty, then ≤A must have a minimal, maximal element. 4. If ≤A is a total order, where A is finite and non-empty, then it has a least, greatest element. Well-Founded Partial Orders 1. A partial order is well-founded if it has no infinite decreasing chain of elements, i.e. for every infinite sequence a1 , a2 , a3 , . . . of elements in A with a1 ≥ a2 ≥ a3 ≥ . . . , there exists m ∈ N such that m ≥ 1 and an = am for every n ≥ m. 2. If two partial orders ≤A and ≤B are well-founded, then the lexicographical order ≤L on A × B is also well-founded.

5

Reference Sheet for CO142.1 Discrete Mathematics I - GitHub

Products For arbitrary sets A and B: 1. Ordered ... Identity idA = {〈x, y〉 ∈ A2|x = y}. Composition .... Identity: The function idA : A → A is defined as idA (a) = a. 3.

174KB Sizes 2 Downloads 301 Views

Recommend Documents

Reference Sheet for CO142.2 Discrete Mathematics II - GitHub
Connected: there is a path joining any two nodes. .... and merge two components .... Merge sort can be parallelised by executing recursive calls in parallel. 2.

Oolite Reference Sheet - GitHub
will shut down, requiring a cool-down period before it ... 10 Fuel Scoop ... V2 & Creative Commons License: BY - NC - SA 3.0 Oolite Website: http:/www. ..... A discontinued fighter design finding a new life in the professional racing circuit.

Reference Sheet for CO140 Logic - GitHub
Free Variable Variable which is not bound (this includes variables which do not appear in A!). Sentence Formula with no free variables. ... domain of M, dom (M).

Reference Sheet for CO120.3 Programming III - GitHub
GBB. B d˜rief en enum type th—t represents fl—gs for renderingF. B. B i—™h ˜it represents — different fl—gF …se ˜itwise —nd. B to ™he™k if — fl—g is setF. BG enum render•fl—g {. GBB „he —m˜ient fl—g @˜it HAF BG

Reference Sheet for C112 Hardware - GitHub
Page 1 ... We might be able to make a considerable simplification by considering max- terms (0s) instead of minterms. • Don't cares (X) can ... Noise Margin. Fan out The number of inputs to which the output of a gate is connected. • Since 1. R.

Reference Sheet for CO120.2 Programming II - GitHub
Implementing Interfaces Use notation: @Override when a class method im- ... Style: usually a class extends an abstract class (with constructor and fields).

Reference Sheet for CO130 Databases - GitHub
create table actor_cars ( .... Table. Relational Expression. Views. Tuple. Row. Attribute. Column. Domain .... end of free space, location and size of each record.

Reference Sheet for CO120.1 Programming I
Stops execution and displays error message. 9 Types and Common ... multiple times or to clean up code. ... You should spend time planning your answer (on ...

Reference Sheet for CO141 Reasoning about Programs - GitHub
General Technique: For any P ⊆ Z and any m : Z: P (m) ∧ ∀k ≥ m. [P (k) → P (k + 1)] → ∀n ≥ m.P (n). 1.2 Strong Induction. P (0) ∧ ∀k : N. [∀j ∈ {0..k} .

Syllabus for MTH 481 Discrete Mathematics I, Summer ...
Office: C318 Wells Hall. Phone: (517) 353-0844. Email: [email protected]. Office Hours: TuWF 2:30 ... Special Types of Graphs. 4. Definitions and a Few ...

Location Reference Sheet for writers.pdf
There was a problem previewing this document. Retrying... Download. Connect more apps... Try one of the apps below to open or edit this item. Location ...

CSS3 Cheat Sheet - GitHub
Border Radius vendor prefix required for iOS

gitchangelog Cheat Sheet - GitHub
new: test: added a bunch of test around user usability of feature X. fix: typo in spelling my name in comment. !minor. By Delqvs cheatography.com/delqvs/. Published 14th August, 2017. Last updated 14th August, 2017. Page 1 of 1. Sponsored by ApolloPa

Linear and Discrete Optimization - GitHub
This advanced undergraduate course treats basic principles on ... DISCLAIMER : THIS ONLINE OFFERING DOES NOT REFLECT THE ENTIRE CURRICULUM ... DE LAUSANNE DEGREE OR CERTIFICATE; AND IT DOES NOT VERIFY THE.

Reference Manual - GitHub
for the simulation of the electron cloud buildup in particle accelerators. 1 Input files .... points of the longitudinal beam profile of sec- ondary beams.

NetBSD reference card - GitHub
To monitor various informations of your NetBSD box you ... ifconfig_if assigns an IP or other on that network in- ... pkg_admin fetch-pkg-vulnerabilities download.

Machine Learning Cheat Sheet - GitHub
get lost in the middle way of the derivation process. This cheat sheet ... 3. 2.2. A brief review of probability theory . . . . 3. 2.2.1. Basic concepts . . . . . . . . . . . . . . 3 ...... pdf of standard normal π ... call it classifier) or a decis

LIKWID | quick reference - GitHub
likwid-memsweeper Sweep memory of NUMA domains and evict cache lines from the last level cache likwid-setFrequencies Control the CPU frequency and ...

J1a SwapForth Reference - GitHub
application. After installing the icestorm tools, you can .... The SwapForth shell is a Python program that runs on the host PC. It has a number of advantages over ...

GABotS Reference Manual - GitHub
Apr 9, 2002 - MainWindow (Main widget for the GABots app). 23. Random ..... Main class for simple Genetic Algorithm used in the program. ز ذظ .

RTOS Threading Cheat Sheet - GitHub
If the UART is enabled, it causes a data frame to start transmitting with the parameters indicated in the. UARTLCRH register. Data continues to be transmitted ...