Foundations Revision Notes

Similar documents
Chapter 1 : The language of mathematics.

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

0 Sets and Induction. Sets

Section 0. Sets and Relations

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Sets, Functions and Relations

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Introduction to Proofs

586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws

MATH 3300 Test 1. Name: Student Id:

MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017

MATH 13 SAMPLE FINAL EXAM SOLUTIONS

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

Contribution of Problems

Chapter 1. Sets and Mappings

SETS AND FUNCTIONS JOSHUA BALLEW

MATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.

Foundations of Mathematics

Discrete Mathematics. W. Ethan Duckworth. Fall 2017, Loyola University Maryland

Part IA Numbers and Sets

Discrete Mathematics

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

In N we can do addition, but in order to do subtraction we need to extend N to the integers

Midterm Exam. There are 6 problems. Your 5 best answers count. Please pay attention to the presentation of your work! Best 5

Sets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant).

Contribution of Problems

Math 105A HW 1 Solutions

Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics Lecture notes in progress (27 March 2010)

Review CHAPTER. 2.1 Definitions in Chapter Sample Exam Questions. 2.1 Set; Element; Member; Universal Set Partition. 2.

FOUNDATIONS & PROOF LECTURE NOTES by Dr Lynne Walling

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel

Sets. We discuss an informal (naive) set theory as needed in Computer Science. It was introduced by G. Cantor in the second half of the nineteenth

ON THE RELATIONSHIP BETWEEN SETS AND GROUPS

ABOUT THE CLASS AND NOTES ON SET THEORY

To hand in: (a) Prove that a group G is abelian (= commutative) if and only if (xy) 2 = x 2 y 2 for all x, y G.

Discrete Mathematics. Benny George K. September 22, 2011

In N we can do addition, but in order to do subtraction we need to extend N to the integers

MATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X.

Math Fall 2014 Final Exam Solutions

6 Permutations Very little of this section comes from PJE.

Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.

Sets are one of the basic building blocks for the types of objects considered in discrete mathematics.

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31

Foundations and Analysis Questions. Collated and compiled by Keegan Kang MORSE Society A Year 1 Christmas Present

Logic. Facts (with proofs) CHAPTER 1. Definitions

Part IA Numbers and Sets

Automata Theory and Formal Grammars: Lecture 1

Chapter Summary. Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Computability

MAT115A-21 COMPLETE LECTURE NOTES

INTRODUCTION TO THE GROUP THEORY

CSE 20 DISCRETE MATH. Fall

6 Cosets & Factor Groups

MATH 2200 Final Review

1. (B) The union of sets A and B is the set whose elements belong to at least one of A

2.1 Sets. Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R.

MATH 3330 ABSTRACT ALGEBRA SPRING Definition. A statement is a declarative sentence that is either true or false.

Discrete Mathematics: Lectures 6 and 7 Sets, Relations, Functions and Counting Instructor: Arijit Bishnu Date: August 4 and 6, 2009

Week Some Warm-up Questions

Packet #2: Set Theory & Predicate Calculus. Applied Discrete Mathematics

Definition: Let S and T be sets. A binary relation on SxT is any subset of SxT. A binary relation on S is any subset of SxS.

Group Theory

Math 300: Final Exam Practice Solutions

Contents Propositional Logic: Proofs from Axioms and Inference Rules

Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations

Functions. Definition 1 Let A and B be sets. A relation between A and B is any subset of A B.

5 Set Operations, Functions, and Counting

Lecture Notes on Discrete Mathematics. October 15, 2018 DRAFT

HL Test 2018 Sets, Relations and Groups [50 marks]

RED. Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam

Analysis I. Classroom Notes. H.-D. Alber

REVIEW FOR THIRD 3200 MIDTERM

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof

Functions and cardinality (solutions) sections A and F TA: Clive Newstead 6 th May 2014

Analysis 1. Lecture Notes 2013/2014. The original version of these Notes was written by. Vitali Liskevich

CS 514, Mathematics for Computer Science Mid-semester Exam, Autumn 2017 Department of Computer Science and Engineering IIT Guwahati

Math 109 September 1, 2016

UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc (MATHEMATICS) I Semester Core Course. FOUNDATIONS OF MATHEMATICS (MODULE I & ii) QUESTION BANK

Selected problems from past exams

Homework #5 Solutions

Cosets and Lagrange s theorem

CSE 1400 Applied Discrete Mathematics Proofs

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

HANDOUT AND SET THEORY. Ariyadi Wijaya

INFINITY: CARDINAL NUMBERS

D-MATH Algebra I HS 2013 Prof. Brent Doran. Solution 3. Modular arithmetic, quotients, product groups

A Logician s Toolbox

Problem 1: Suppose A, B, C and D are finite sets such that A B = C D and C = D. Prove or disprove: A = B.

Mathematical Reasoning & Proofs

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

Review Problems for Midterm Exam II MTH 299 Spring n(n + 1) 2. = 1. So assume there is some k 1 for which

Economics 204 Summer/Fall 2017 Lecture 1 Monday July 17, 2017

Exercises for Unit VI (Infinite constructions in set theory)

Algebraic structures I

Finite and Infinite Sets

Introduction to Abstract Algebra (Math 113)

CSCE 222 Discrete Structures for Computing. Review for Exam 1. Dr. Hyunyoung Lee !!!

2) e = e G G such that if a G 0 =0 G G such that if a G e a = a e = a. 0 +a = a+0 = a.

Chapter 0. Introduction: Prerequisites and Preliminaries

CSCE 222 Discrete Structures for Computing

Transcription:

oundations Revision Notes hese notes are designed as an aid not a substitute for revision. A lot of proofs have not been included because you should have them in your notes, should you need them. Also, the course has changed somewhat since 2003-2004 when this guide was written, so you will need to exercise some caution as not all the material here may be relevant anymore. Please send any comments or suggestions to Mathsoc. If anyone is willing to lend mathsoc their notes from this year then I can update the guide for next year. Happy revising and good luck in your exams! Chapter 0: Integers Z is the set of integers N is the set of natural numbers (i.e. positive integers, not including 0). Definition: We say b divides a (or a is divisible by b) if and only if c Z s.t. a = bc. We write b a to denote this. Definition: a Z,b N, q, r Z, 0 r < b such that a = bq +r. We call q the quotient and r the remainder. Definition: or a, b N, the highest common factor hcf {a, b} = max{d N d a and d b}. or a, b N, the lowest common multiple lcm {a, b} = min{d N a d and b d}. a, b N hcf{a, b} lcm{a, b} = ab. heorem: Euclid s Algorithm Let a, b be integers, with b > 0. o find hcf{a, b}, repeat division with remainder as follows: a = q 0 b + r 1 (r 1 < b) b = q 1 r 1 + r 2 (r 2 < r 1 ) r 1 = q 2 r 2 + r 3 (r 3 < r 2 ).. r t 2 = q t 1 r t 1 + r t (r t < r t 1 ) r t 1 = q t r t + 0 his process always terminates in this way, so that r t, the last non-zero remainder equals hcf{a, b} and x, y Z so that r t = xa + yb. heorem: If h = hcf {a, b} and d = xa + yb for somex, y Z then h d. Definition: p N is a prime number is it has exactly two factors, 1 and p i.e. {n N m N if m n then m = n or m = 1}. 1

Note: 1 is not a prime number. Lemma: If p is prime, a, b N with p ab then either p a or p b or both. heorem: here are an infinite number of primes. Proof by contradiction. heorem: undamental heorem of Arithmetic Every natural number can be expressed as the product of prime numbers, and this expression is unique up to the order of the factors. Chapter 1: Sets he set is the one undefined concept in mathematics. A set is determined entirely by its elements. he elements of a set are unordered and no element can occur twice in the same set. Any object can belong to a set - elements are not restricted to numbers or other mathematical objects. It must be possible to decide whether or not any object belongs to a given set. Definition: A subset B of a set A is defined as a set with the property that b B b A i.e. every element of B is an element of A. If B is a subset of A we write B A. N Z Q R C. Definition: he empty set, denoted is the set containing nothing. or all sets A, A and A A are trivial subsets. A=B if and only if A B and B A. Set Operations: intersection x A B if x A and x B. union x A B if x A or x B or both. \ set difference x A\B if x A but x B. Definition: Universe of discourse We can define a set U to contain all elements currently under consideration. We can then define a new operation A c = U\A, x A c if x U but x A. We can also say that A A c = U and A A c =. heorem: Russell s Paradox Let S = {Ω Ω Ω} i.e. the set of all sets which do not contain themselves. Is S S? By definition of S, S S S S and S S S S. his is a contradiction so S cannot be a valid set. Moral - we have to be careful about what we allow to be a set i.e a set of all sets does not exist. 2

De Morgan s Laws (A B) c = A c B c (A B) c = A c B c Distributive Laws A (B C) = (A B) (A C) A (B C) = (A B) (A C) Definition: Ordered pairs (x, y) = (x, y ) if and only if x = x and y = y. Definition: he cartesian product A B is the set of all ordered pairs (a, b) such that a A and b B. Definition: or a finite set A, the number of elements in A is called the cardinality and denoted A. A B = A B A B A B B A A (B C) = (A B) (A C) Definition: he power set of a set A, is the set of all subsets of A, and is denoted P (A). Elements of P (A) are always sets. e.g. A = {x, y, z} : P (A) = {, {x}, {y}, {z}, {x, y}, {y, z}, {x, z}, {x, y, z}}. In general if X = n then P (X) = 2 n. Definition: A partition of X is a collection of subsets A i X s.t. A i = X and A i A j = if i j. Chapter 2: unctions Definition: Given two sets D and, a function f : D is a subset of D with the following properties: or each d D t such that (d, t) f i.e. everything is mapped from. If (d, t 1 ) and (d, t 2 ) both belong to f, then t 1 = t 2 i.e. everything is mapped by f to one and only one element of. D is called the domain and is called the target or codomain. We write f(a) = b for (a, b) f. Definition: he image of a funtion f : D is {f(d) d D} and is denoted Im(f). Definition: A map f is injective is f(a) = f(b) a = b i.e. everything that is mapped to is only mapped to once. Definition: A map f : D is surjective is t everything is mapped to. d D such that f(d) = t i.e. 3

Definition: A map f is bijective if it is injective and surjective i.e. there is a one-to-one correspondence between the domain and target. Equality of maps f = g if and only if f, g : D and f(x) = g(x) x D. Note: for two maps to be equal they must have the same domain and target. In general for finite sets D and, f : D D surjective D injective D = bijective Composition of Maps If f : A B and g : B C are injective, then (g f)(x) = g(f(x)) x A. Note: g f means apply f first and then g. If f : A B and g : B C are injective, then (g f) : A C is injective. If f : A B and g : B C are surjective, then (g f) : A C is surjective. If (g f) is surjective, then f is surjective. If (g f) is injective, then g is injective. f : D is surjective if and only if Im(f) =. If f : D is injective and D is finite, then D = Im(f). he best way to understand these is to draw simple diagrams, but remember that a picture generally isnt a proof. Lemma: Suppose f : A B, g : B C, h : C D are all well defined functions. hen h (g f)(x) = ((h g) f)(x) i.e. composition of functions is associative. Definition: If f : A B is a bijective map, we can define f 1 : B A such that f 1 (b) = {a A f(a) = b}. Definition: or a set A, the function id A : A A is the identity function such that id A (a) = a a A. heorem: If f : A B is bijective then a function g : B A s.t. g f = id A and f g = id B. 1 A 1 B because they have different domains heorem: Schroder Bernstein If for 2 sets A and B injections f : A B and g : B A then a bijection h : A B. his is true for finite and infinite sets. heorem: Z = Q Note: there is not a bijection between Z and R. 4

heorem: Cantor s Diagonal Argument N = R. Definition: N = ℵ 0 aleph zero. If a set A has cardinality ℵ 0 then we say it is countably infinite. If A is countably infinite or finite, we say it is countable. Definition: ℵ 1 aleph one, R = P(N) = 2 ℵ 0. Hilbert s Hotel: i) ℵ 0 + r = ℵ 0 r > 0 ii) rℵ 0 = ℵ 0 r > 0 Chapter 3: Logic Definition: A statement which is always true or false is called a proposition. Definition: Given a proposition P, we define P to be the proposition P is not the case. Definition: A predicate is a statement which contains some unbound variables which determine if it is true or false. e.g. P (x) : x + 2 = 4. A predicate evaluated at a point in its domain becomes a proposition. e.g. P (2) : 2 + 2 = 4 true. Definition: Compound statements can be formed from simple statements using logical connectives. We define three logical connectives using truth tables: P Q means P or Q. P Q means P and Q. If P Q then we say P implies Q; i.e. P is sufficient for Q, and Q is necessary for P. 5

P P P Q P Q P Q P Q P Q P Q Definition: wo compound statements are logically equivalent if they have the same truth table. If A and B are logically equivalent we can write A B, ora B. De Morgan s Laws (P Q) ( P ) ( Q) (P Q) ( P ) ( Q) Note: ( P ) P ; ( P ) Q P Q Definition: A compund statement is a tautology if it is always true irrespective of the atomic statements. P P ( P ) Definition: A compound statement is a contradiction if it is false irrespective of the atomic statements. P P ( P ) Definition: Negating statements - swap the s and the and negate the statement. e.g. ( xp (x)) x P (x). 6

Chapter 4: Methods of Proof Contrapositive: In order to prove P Q we can prove the logically equivalent statement Q P. Contradiction: In order to prove P, we can prove P C where C is a contradiction. Induction: A proposition is true n N if: P (1) is true P (k) P (k + 1) for any k N. Chapter 5: Relations Definition: A relation on a set X is a subset of X X, i.e. a set of ordered pairs of elements of X. We say that for any a, b X, a is related to be (written a b) if and only if (a, b) Note: Since we use ordered pairs a b and b a are NO necessarily equivalent statements. Definition: A relation on a set X is called a partial order if it satisfies the following properties: Reflexive: x x, x X Anti-symmetric: x y and y x then x = y ransitive: x y and y z then x z Definition: A relation on a set X is a total order if it is transitive and satisfies the additional property: richotomy: x, y X either x y or y x (or both). Definition: A relation on a set X is called an equivalence relation if it satisfies the following three properties: Reflexive: x x, x X Symmetric: if x y then y x ransitive: if x y and y z then x z Definition: When is an equivalence relation on S, then the sets E x = {y S y x} are called equivalence classes, also written [x]. hen x, y S, [x] = [y] or [x] [y] = and S is partitioned by its equivalence classes. heorem: If is an equivalence relation in S then P = {E x x S} is a partition of S. Conversely if we have a partition of a set S then this partition defines an equivalence relation. 7

Chapter 6: Permutations and Groups Definition: A permutation of a set X is a bijection from X to itself. We define Sym(X) = {ρ ρ : X X is a bijection }. It is the set of symmetries (permutations) of X. Properties of (Sym(X), ) i) Closure: the set is closed under composition i.e. if π, ρ Sym(X) then π ρ Sym(X). ii) Identity: there is an element e Sym(X) such that e ρ = ρ e = ρ ρ Sym(X) e = id x the identity function id x (x) = x. iii) Inverse: given any ρ Sym(X) unique ρ 1 such that ρ ρ 1 = ρ 1 ρ = e. iv) Associative: ρ, π, σ Sym(X) then (ρ π) σ = ρ (π σ). Definition: S n = Sym({1, 2,..n}). If X = n then Sym(X) = n! Notation: 2-row notation 1 2 n σ = σ(1) σ(2) σ(n) Example of composition: 1 2 3 4 1 2 3 4 If ρ = and σ = 2 3 1 4 4 3 2 1 1 2 3 4 1 2 3 4 then ρ σ = and σ ρ = 4 1 3 2 3 2 4 1 i.e. (ρ σ)(1) = ρ(σ(1)) = ρ(4) = 4 Note: In general, S n does not commute i.e. ρ, σ S n ρ σ σ ρ Notation: Disjoint Cycle Notation An alternative way of representing a permutation is as a number of disjoint cycles. or a permutation σ of {1, 2,...n} the first cycle is (1, σ(1), σ(σ(1)), ) stopping at the last element before we reach 1 again, so if σ n (1) = 1 then we stop at σ n 1 (1). If any of the 1,...n are not included in this cycle, we start from the first element not included and form another cycle from this element in the same way. We continue until all the elements are included in a cycle. or example: 1 2 3 4 5 6 = (152)(36)(4). 5 1 6 4 2 3 hen each element is mapped to the next element in its cycle. Read the brackets right to left, but read inside the brackets left to right. Note: often singleton elements - like 4 in the above example - are not included, as they have no effect. 8

Example of composition Let σ = (15723)(46) and ρ = (172)(3546) so σ ρ = (15723)(46)(172)(3546) = (1256)(37)(4) inding inverse permutations 2-row notation Given a permutation π we wish to find π 1. If we write π in 2-row notation then it is relatively easy to find the inverse, simply flip the permutation upside down, and then rearrange the columns so that the top row is in the correct order. or example 1 2 3 4 5 6 5 1 6 4 2 3 5 1 6 4 2 3 1 2 3 4 5 6 1 2 3 4 5 6. 2 5 6 4 1 3 Disjoint cycle notation o invert a permutation written in disjoint cycle notation, simply reverse the order of the elements in each bracket, and then remember that the lowest numbered element must be first in each bracket. or example: (152)(36) (251)(63) (152)(36) Definition: A permutation of the form (ab) is a transposition, and every cycle can be written as a non-unique product of transpositions. Example: (16345) = (16)(63)(34)(45) = (61)(36)(43)(54) Definition: A permutation is called odd if it can be written as an odd number of transpositions. It is called even if it can be written as an even number of transpositions. e.g. (16345) is even. Definition: he order of a permutation ρ is the smallest k such that ρ k = e (identity). In fact, order ρ = lcm{ lengths of cycles in ρ} Definition: A binary operation on A is a map from A A to A, which maps each ordered pair of elements of A, (x, y) to an element x y A. e.g. addition and multiplication on R are binary operations. Definition: A set G with binary operation is called a group of it satisfies: Closure: g h G g, h G Associativity: (g h) k = g (h k) g, h, k G Identity: e G such that g e = e g = g g G Inverse: g G h G such that g h = h g = e Note: Closure says that is a binary operation, it is included in the properties to remind you to check for it. Definition: If we have g h = h g g, h G then (G, ) is commutative or abelian. 9

We can draw Cayley ables to see whether something is a group or not. e.g. (Z 6, + 6 ) i.e. Z 6 = {0, 1, 2, 3, 4, 5}; + 6 = addition modulo 6. + 6 0 1 2 3 4 5 0 0 1 2 3 4 5 1 1 2 3 4 5 0 2 2 3 4 5 0 1 3 3 4 5 0 1 2 4 4 5 0 1 2 3 5 5 0 1 2 3 4 identity: yes - x + 0 = 0 inverse: yes - every row has a 0. associative: yes - addition is associative closure: yes - table only contains {0, 1, 2, 3, 4, 5} heorem: Latin Square Property In each row and column of a Cayley able for a group (G, ) the elements of G appear exactly once (each column and row is a permutation of G). heorem: If (G, ) is a group then there is only one identity e. heorem: If (G, )is a group and g G then g has only one inverse. heorem: Cancellation Law If (G, ) is a group with g, a, b G and ga = gb then a = b. Definition: Let (G, ) be a group. A subgroup of G is a non-empty subset H G such that (H, ) is itself a group. o prove that a subset is a subgroup, only 2 properties need to be checked: h k H h, k H h H h 1 H. Associativity is preserved because the binary operation is the same as in G, and it should be clear that the identity element of H must be the same one as in G. Definition: If (G, ) is a group with an element g G such that g = {g, g 2, g 3,...} then G is cyclic and G is generated by g, G =< g >. his is finite because g k = e for some k N. Lagrange s heorem If G is a finite group and H is a subgroup of G then G is a multiple of H i.e. H divides G. Note: it doesnt say that if n G then there exists a subgroup H such that H = n. 10