Foundations Revision Notes
|
|
- Andra Clarke
- 6 years ago
- Views:
Transcription
1 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 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
2 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
3 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
4 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
5 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) : = 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
6 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
7 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
8 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: If ρ = and σ = then ρ σ = and σ ρ = 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: = (152)(36)(4) 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
9 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 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
10 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 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
Chapter 1 : The language of mathematics.
MAT 200, Logic, Language and Proof, Fall 2015 Summary Chapter 1 : The language of mathematics. Definition. A proposition is a sentence which is either true or false. Truth table for the connective or :
More informationNotes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.
Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3
More information0 Sets and Induction. Sets
0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set
More informationSection 0. Sets and Relations
0. Sets and Relations 1 Section 0. Sets and Relations NOTE. Mathematics is the study of ideas, not of numbers!!! The idea from modern algebra which is the focus of most of this class is that of a group
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationSets, Functions and Relations
Chapter 2 Sets, Functions and Relations A set is any collection of distinct objects. Here is some notation for some special sets of numbers: Z denotes the set of integers (whole numbers), that is, Z =
More informationLecture Notes 1 Basic Concepts of Mathematics MATH 352
Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11,
More informationIntroduction to Proofs
Introduction to Proofs Notes by Dr. Lynne H. Walling and Dr. Steffi Zegowitz September 018 The Introduction to Proofs course is organised into the following nine sections. 1. Introduction: sets and functions
More information586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws
Index absolute value, 135 141 additive identity, 254 additive inverse, 254 aleph, 465 algebra of sets, 245, 278 antisymmetric relation, 387 arcsine function, 349 arithmetic sequence, 208 arrow diagram,
More informationMATH 3300 Test 1. Name: Student Id:
Name: Student Id: There are nine problems (check that you have 9 pages). Solutions are expected to be short. In the case of proofs, one or two short paragraphs should be the average length. Write your
More informationMATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017
MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017 Definition: A set A is finite if there exists a nonnegative integer c such that there exists a bijection from A
More informationMATH 13 SAMPLE FINAL EXAM SOLUTIONS
MATH 13 SAMPLE FINAL EXAM SOLUTIONS WINTER 2014 Problem 1 (15 points). For each statement below, circle T or F according to whether the statement is true or false. You do NOT need to justify your answers.
More informationFinal Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is
1. Describe the elements of the set (Z Q) R N. Is this set countable or uncountable? Solution: The set is equal to {(x, y) x Z, y N} = Z N. Since the Cartesian product of two denumerable sets is denumerable,
More informationFoundations of Mathematics MATH 220 FALL 2017 Lecture Notes
Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes These notes form a brief summary of what has been covered during the lectures. All the definitions must be memorized and understood. Statements
More informationContribution of Problems
Exam topics 1. Basic structures: sets, lists, functions (a) Sets { }: write all elements, or define by condition (b) Set operations: A B, A B, A\B, A c (c) Lists ( ): Cartesian product A B (d) Functions
More informationChapter 1. Sets and Mappings
Chapter 1. Sets and Mappings 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write
More informationSETS AND FUNCTIONS JOSHUA BALLEW
SETS AND FUNCTIONS JOSHUA BALLEW 1. Sets As a review, we begin by considering a naive look at set theory. For our purposes, we define a set as a collection of objects. Except for certain sets like N, Z,
More informationMATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.
MATH 101: ALGEBRA I WORKSHEET, DAY #1 We review the prerequisites for the course in set theory and beginning a first pass on group theory. Fill in the blanks as we go along. 1. Sets A set is a collection
More informationFoundations of Mathematics
Foundations of Mathematics L. Pedro Poitevin 1. Preliminaries 1.1. Sets We will naively think of a set as a collection of mathematical objects, called its elements or members. To indicate that an object
More informationDiscrete Mathematics. W. Ethan Duckworth. Fall 2017, Loyola University Maryland
Discrete Mathematics W. Ethan Duckworth Fall 2017, Loyola University Maryland Contents 1 Introduction 4 1.1 Statements......................................... 4 1.2 Constructing Direct Proofs................................
More informationPart IA Numbers and Sets
Part IA Numbers and Sets Definitions Based on lectures by A. G. Thomason Notes taken by Dexter Chua Michaelmas 2014 These notes are not endorsed by the lecturers, and I have modified them (often significantly)
More informationDiscrete Mathematics
Discrete Mathematics Dr. Thomas Baird January 7, 2013 Contents 1 Logic 2 1.1 Statements.................................... 2 1.1.1 And, Or, Not.............................. 2 1.1.2 Implication...............................
More informationLECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel
LECTURE NOTES on DISCRETE MATHEMATICS Eusebius Doedel 1 LOGIC Introduction. First we introduce some basic concepts needed in our discussion of logic. These will be covered in more detail later. A set is
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter 1 The Real Numbers 1.1. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {1, 2, 3, }. In N we can do addition, but in order to do subtraction we need
More informationMidterm Exam. There are 6 problems. Your 5 best answers count. Please pay attention to the presentation of your work! Best 5
Department of Mathematical Sciences Instructor: Daiva Pucinskaite Modern Algebra June 22, 2017 Midterm Exam There are 6 problems. Your 5 best answers count. Please pay attention to the presentation of
More informationSets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant).
Sets and Functions 1. The language of sets Informally, a set is any collection of objects. The objects may be mathematical objects such as numbers, functions and even sets, or letters or symbols of any
More informationContribution of Problems
Exam topics 1. Basic structures: sets, lists, functions (a) Sets { }: write all elements, or define by condition (b) Set operations: A B, A B, A\B, A c (c) Lists ( ): Cartesian product A B (d) Functions
More informationMath 105A HW 1 Solutions
Sect. 1.1.3: # 2, 3 (Page 7-8 Math 105A HW 1 Solutions 2(a ( Statement: Each positive integers has a unique prime factorization. n N: n = 1 or ( R N, p 1,..., p R P such that n = p 1 p R and ( n, R, S
More informationSeminaar Abstrakte Wiskunde Seminar in Abstract Mathematics Lecture notes in progress (27 March 2010)
http://math.sun.ac.za/amsc/sam Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics 2009-2010 Lecture notes in progress (27 March 2010) Contents 2009 Semester I: Elements 5 1. Cartesian product
More informationReview CHAPTER. 2.1 Definitions in Chapter Sample Exam Questions. 2.1 Set; Element; Member; Universal Set Partition. 2.
CHAPTER 2 Review 2.1 Definitions in Chapter 2 2.1 Set; Element; Member; Universal Set 2.2 Subset 2.3 Proper Subset 2.4 The Empty Set, 2.5 Set Equality 2.6 Cardinality; Infinite Set 2.7 Complement 2.8 Intersection
More informationFOUNDATIONS & PROOF LECTURE NOTES by Dr Lynne Walling
FOUNDATIONS & PROOF LECTURE NOTES by Dr Lynne Walling Note: You are expected to spend 3-4 hours per week working on this course outside of the lectures and tutorials. In this time you are expected to review
More informationLecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel
Lecture Notes on DISCRETE MATHEMATICS Eusebius Doedel c Eusebius J. Doedel, 009 Contents Logic. Introduction............................................................................... Basic logical
More informationSets. 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
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 century. Most students have seen sets before. This is intended
More informationON THE RELATIONSHIP BETWEEN SETS AND GROUPS
ON THE RELATIONSHIP BETWEEN SETS AND GROUPS ROSE DONG Abstract. This paper is an introduction to basic properties of sets and groups. After introducing the notion of cardinal arithmetic, it proves the
More informationABOUT THE CLASS AND NOTES ON SET THEORY
ABOUT THE CLASS AND NOTES ON SET THEORY About the Class Evaluation. Final grade will be based 25%, 25%, 25%, 25%, on homework, midterm 1, midterm 2, final exam. Exam dates. Midterm 1: Oct 4. Midterm 2:
More informationTo 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.
Homework #6. Due Thursday, October 14th Reading: For this homework assignment: Sections 3.3 and 3.4 (up to page 167) Before the class next Thursday: Sections 3.5 and 3.4 (pp. 168-171). Also review the
More informationDiscrete Mathematics. Benny George K. September 22, 2011
Discrete Mathematics Benny George K Department of Computer Science and Engineering Indian Institute of Technology Guwahati ben@iitg.ernet.in September 22, 2011 Set Theory Elementary Concepts Let A and
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter The Real Numbers.. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {, 2, 3, }. In N we can do addition, but in order to do subtraction we need to extend
More informationMATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X.
MATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X. Notation 2 A set can be described using set-builder notation. That is, a set can be described
More informationMath Fall 2014 Final Exam Solutions
Math 2001-003 Fall 2014 Final Exam Solutions Wednesday, December 17, 2014 Definition 1. The union of two sets X and Y is the set X Y consisting of all objects that are elements of X or of Y. The intersection
More information6 Permutations Very little of this section comes from PJE.
6 Permutations Very little of this section comes from PJE Definition A permutation (p147 of a set A is a bijection ρ : A A Notation If A = {a b c } and ρ is a permutation on A we can express the action
More informationSupplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.
Glossary 1 Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.23 Abelian Group. A group G, (or just G for short) is
More informationSets are one of the basic building blocks for the types of objects considered in discrete mathematics.
Section 2.1 Introduction Sets are one of the basic building blocks for the types of objects considered in discrete mathematics. Important for counting. Programming languages have set operations. Set theory
More information2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31
Contents 1 Lecture 1: Introduction 2 2 Lecture 2: Logical statements and proof by contradiction 7 3 Lecture 3: Induction and Well-Ordering Principle 11 4 Lecture 4: Definition of a Group and examples 15
More informationFoundations and Analysis Questions. Collated and compiled by Keegan Kang MORSE Society A Year 1 Christmas Present
Foundations and Analysis Questions Collated and compiled by Keegan Kang MORSE Society A Year 1 Christmas Present 1 Foundations and Analysis 2 Contents 1 Foundations 5 1.1 The Compulsory Question 1...........................
More informationLogic. Facts (with proofs) CHAPTER 1. Definitions
CHAPTER 1 Logic Definitions D1. Statements (propositions), compound statements. D2. Truth values for compound statements p q, p q, p q, p q. Truth tables. D3. Converse and contrapositive. D4. Tautologies
More informationPart IA Numbers and Sets
Part IA Numbers and Sets Theorems Based on lectures by A. G. Thomason Notes taken by Dexter Chua Michaelmas 2014 These notes are not endorsed by the lecturers, and I have modified them (often significantly)
More informationAutomata Theory and Formal Grammars: Lecture 1
Automata Theory and Formal Grammars: Lecture 1 Sets, Languages, Logic Automata Theory and Formal Grammars: Lecture 1 p.1/72 Sets, Languages, Logic Today Course Overview Administrivia Sets Theory (Review?)
More informationChapter Summary. Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Computability
Chapter 2 1 Chapter Summary Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Computability Sequences and Summations Types of Sequences Summation
More informationMAT115A-21 COMPLETE LECTURE NOTES
MAT115A-21 COMPLETE LECTURE NOTES NATHANIEL GALLUP 1. Introduction Number theory begins as the study of the natural numbers the integers N = {1, 2, 3,...}, Z = { 3, 2, 1, 0, 1, 2, 3,...}, and sometimes
More informationINTRODUCTION TO THE GROUP THEORY
Lecture Notes on Structure of Algebra INTRODUCTION TO THE GROUP THEORY By : Drs. Antonius Cahya Prihandoko, M.App.Sc e-mail: antoniuscp.fkip@unej.ac.id Mathematics Education Study Program Faculty of Teacher
More informationCSE 20 DISCRETE MATH. Fall
CSE 20 DISCRETE MATH Fall 2017 http://cseweb.ucsd.edu/classes/fa17/cse20-ab/ Today's learning goals Define and compute the cardinality of a set. Use functions to compare the sizes of sets. Classify sets
More information6 Cosets & Factor Groups
6 Cosets & Factor Groups The course becomes markedly more abstract at this point. Our primary goal is to break apart a group into subsets such that the set of subsets inherits a natural group structure.
More informationMATH 2200 Final Review
MATH 00 Final Review Thomas Goller December 7, 01 1 Exam Format The final exam will consist of 8-10 proofs It will take place on Tuesday, December 11, from 10:30 AM - 1:30 PM, in the usual room Topics
More information1. (B) The union of sets A and B is the set whose elements belong to at least one of A
1. (B) The union of sets A and B is the set whose elements belong to at least one of A or B. Thus, A B = { 2, 1, 0, 1, 2, 5}. 2. (A) The intersection of sets A and B is the set whose elements belong to
More information2.1 Sets. Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R.
2. Basic Structures 2.1 Sets Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R. Definition 2 Objects in a set are called elements or members of the set. A set is
More informationMATH 3330 ABSTRACT ALGEBRA SPRING Definition. A statement is a declarative sentence that is either true or false.
MATH 3330 ABSTRACT ALGEBRA SPRING 2014 TANYA CHEN Dr. Gordon Heier Tuesday January 14, 2014 The Basics of Logic (Appendix) Definition. A statement is a declarative sentence that is either true or false.
More informationDiscrete Mathematics: Lectures 6 and 7 Sets, Relations, Functions and Counting Instructor: Arijit Bishnu Date: August 4 and 6, 2009
Discrete Mathematics: Lectures 6 and 7 Sets, Relations, Functions and Counting Instructor: Arijit Bishnu Date: August 4 and 6, 2009 Our main goal is here is to do counting using functions. For that, we
More informationWeek Some Warm-up Questions
1 Some Warm-up Questions Week 1-2 Abstraction: The process going from specific cases to general problem. Proof: A sequence of arguments to show certain conclusion to be true. If... then... : The part after
More informationPacket #2: Set Theory & Predicate Calculus. Applied Discrete Mathematics
CSC 224/226 Notes Packet #2: Set Theory & Predicate Calculus Barnes Packet #2: Set Theory & Predicate Calculus Applied Discrete Mathematics Table of Contents Full Adder Information Page 1 Predicate Calculus
More informationDefinition: 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.
4 Functions Before studying functions we will first quickly define a more general idea, namely the notion of a relation. A function turns out to be a special type of relation. Definition: Let S and T be
More informationGroup Theory
Group Theory 2014 2015 Solutions to the exam of 4 November 2014 13 November 2014 Question 1 (a) For every number n in the set {1, 2,..., 2013} there is exactly one transposition (n n + 1) in σ, so σ is
More informationMath 300: Final Exam Practice Solutions
Math 300: Final Exam Practice Solutions 1 Let A be the set of all real numbers which are zeros of polynomials with integer coefficients: A := {α R there exists p(x) = a n x n + + a 1 x + a 0 with all a
More informationContents Propositional Logic: Proofs from Axioms and Inference Rules
Contents 1 Propositional Logic: Proofs from Axioms and Inference Rules... 1 1.1 Introduction... 1 1.1.1 An Example Demonstrating the Use of Logic in Real Life... 2 1.2 The Pure Propositional Calculus...
More informationMathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations
Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations D. R. Wilkins Academic Year 1996-7 1 Number Systems and Matrix Algebra Integers The whole numbers 0, ±1, ±2, ±3, ±4,...
More informationFunctions. Definition 1 Let A and B be sets. A relation between A and B is any subset of A B.
Chapter 4 Functions Definition 1 Let A and B be sets. A relation between A and B is any subset of A B. Definition 2 Let A and B be sets. A function from A to B is a relation f between A and B such that
More information5 Set Operations, Functions, and Counting
5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,
More informationLecture Notes on Discrete Mathematics. October 15, 2018 DRAFT
Lecture Notes on Discrete Mathematics October 15, 2018 2 Contents 1 Basic Set Theory 5 1.1 Basic Set Theory....................................... 5 1.1.1 Union and Intersection of Sets...........................
More informationHL Test 2018 Sets, Relations and Groups [50 marks]
HL Test 2018 Sets, Relations and Groups [50 marks] The binary operation multiplication modulo 10, denoted by 10, is defined on the set T = {2, 4, 6, 8} and represented in the following Cayley table. 1a.
More informationRED. Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam
RED Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam Note that the first 10 questions are true-false. Mark A for true, B for false. Questions 11 through 20 are multiple choice
More informationAnalysis I. Classroom Notes. H.-D. Alber
Analysis I Classroom Notes H-D Alber Contents 1 Fundamental notions 1 11 Sets 1 12 Product sets, relations 5 13 Composition of statements 7 14 Quantifiers, negation of statements 9 2 Real numbers 11 21
More informationREVIEW FOR THIRD 3200 MIDTERM
REVIEW FOR THIRD 3200 MIDTERM PETE L. CLARK 1) Show that for all integers n 2 we have 1 3 +... + (n 1) 3 < 1 n < 1 3 +... + n 3. Solution: We go by induction on n. Base Case (n = 2): We have (2 1) 3 =
More informationThe following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof
Ch. 1.6 Introduction to Proofs The following techniques for methods of proofs are discussed in our text - Vacuous proof - Trivial proof - Direct proof - Indirect proof (our book calls this by contraposition)
More informationFunctions and cardinality (solutions) sections A and F TA: Clive Newstead 6 th May 2014
Functions and cardinality (solutions) 21-127 sections A and F TA: Clive Newstead 6 th May 2014 What follows is a somewhat hastily written collection of solutions for my review sheet. I have omitted some
More informationAnalysis 1. Lecture Notes 2013/2014. The original version of these Notes was written by. Vitali Liskevich
Analysis 1 Lecture Notes 2013/2014 The original version of these Notes was written by Vitali Liskevich followed by minor adjustments by many Successors, and presently taught by Misha Rudnev University
More informationCS 514, Mathematics for Computer Science Mid-semester Exam, Autumn 2017 Department of Computer Science and Engineering IIT Guwahati
CS 514, Mathematics for Computer Science Mid-semester Exam, Autumn 2017 Department of Computer Science and Engineering IIT Guwahati Important 1. No questions about the paper will be entertained during
More informationMath 109 September 1, 2016
Math 109 September 1, 2016 Question 1 Given that the proposition P Q is true. Which of the following must also be true? A. (not P ) or Q. B. (not Q) implies (not P ). C. Q implies P. D. A and B E. A, B,
More informationUNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc (MATHEMATICS) I Semester Core Course. FOUNDATIONS OF MATHEMATICS (MODULE I & ii) QUESTION BANK
UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc (MATHEMATICS) (2011 Admission Onwards) I Semester Core Course FOUNDATIONS OF MATHEMATICS (MODULE I & ii) QUESTION BANK 1) If A and B are two sets
More informationSelected problems from past exams
Discrete Structures CS2800 Prelim 1 s Selected problems from past exams 1. True/false. For each of the following statements, indicate whether the statement is true or false. Give a one or two sentence
More informationHomework #5 Solutions
Homework #5 Solutions p 83, #16. In order to find a chain a 1 a 2 a n of subgroups of Z 240 with n as large as possible, we start at the top with a n = 1 so that a n = Z 240. In general, given a i we will
More informationCosets and Lagrange s theorem
Cosets and Lagrange s theorem These are notes on cosets and Lagrange s theorem some of which may already have been lecturer. There are some questions for you included in the text. You should write the
More informationCSE 1400 Applied Discrete Mathematics Proofs
CSE 1400 Applied Discrete Mathematics Proofs Department of Computer Sciences College of Engineering Florida Tech Fall 2011 Axioms 1 Logical Axioms 2 Models 2 Number Theory 3 Graph Theory 4 Set Theory 4
More informationLECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel
LECTURE NOTES on DISCRETE MATHEMATICS Eusebius Doedel 1 LOGIC Introduction. First we introduce some basic concepts needed in our discussion of logic. These will be covered in more detail later. A set is
More informationHANDOUT AND SET THEORY. Ariyadi Wijaya
HANDOUT LOGIC AND SET THEORY Ariyadi Wijaya Mathematics Education Department Faculty of Mathematics and Natural Science Yogyakarta State University 2009 1 Mathematics Education Department Faculty of Mathematics
More informationINFINITY: CARDINAL NUMBERS
INFINITY: CARDINAL NUMBERS BJORN POONEN 1 Some terminology of set theory N := {0, 1, 2, 3, } Z := {, 2, 1, 0, 1, 2, } Q := the set of rational numbers R := the set of real numbers C := the set of complex
More informationD-MATH Algebra I HS 2013 Prof. Brent Doran. Solution 3. Modular arithmetic, quotients, product groups
D-MATH Algebra I HS 2013 Prof. Brent Doran Solution 3 Modular arithmetic, quotients, product groups 1. Show that the functions f = 1/x, g = (x 1)/x generate a group of functions, the law of composition
More informationA Logician s Toolbox
A Logician s Toolbox 461: An Introduction to Mathematical Logic Spring 2009 We recast/introduce notions which arise everywhere in mathematics. All proofs are left as exercises. 0 Notations from set theory
More informationProblem 1: Suppose A, B, C and D are finite sets such that A B = C D and C = D. Prove or disprove: A = B.
Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination III (Spring 2007) Problem 1: Suppose A, B, C and D are finite sets
More informationMathematical Reasoning & Proofs
Mathematical Reasoning & Proofs MAT 1362 Fall 2018 Alistair Savage Department of Mathematics and Statistics University of Ottawa This work is licensed under a Creative Commons Attribution-ShareAlike 4.0
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationReview Problems for Midterm Exam II MTH 299 Spring n(n + 1) 2. = 1. So assume there is some k 1 for which
Review Problems for Midterm Exam II MTH 99 Spring 014 1. Use induction to prove that for all n N. 1 + 3 + + + n(n + 1) = n(n + 1)(n + ) Solution: This statement is obviously true for n = 1 since 1()(3)
More informationEconomics 204 Summer/Fall 2017 Lecture 1 Monday July 17, 2017
Economics 04 Summer/Fall 07 Lecture Monday July 7, 07 Section.. Methods of Proof We begin by looking at the notion of proof. What is a proof? Proof has a formal definition in mathematical logic, and a
More informationExercises for Unit VI (Infinite constructions in set theory)
Exercises for Unit VI (Infinite constructions in set theory) VI.1 : Indexed families and set theoretic operations (Halmos, 4, 8 9; Lipschutz, 5.3 5.4) Lipschutz : 5.3 5.6, 5.29 5.32, 9.14 1. Generalize
More informationAlgebraic structures I
MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one
More informationFinite and Infinite Sets
Chapter 9 Finite and Infinite Sets 9. Finite Sets Preview Activity (Equivalent Sets, Part ). Let A and B be sets and let f be a function from A to B..f W A! B/. Carefully complete each of the following
More informationIntroduction to Abstract Algebra (Math 113)
Introduction to Abstract Algebra (Math 113) Alexander Paulin Contents 1 Introduction 2 1.1 What is Algebra?................................. 2 1.2 Sets and Functions................................ 3 1.3
More informationCSCE 222 Discrete Structures for Computing. Review for Exam 1. Dr. Hyunyoung Lee !!!
CSCE 222 Discrete Structures for Computing Review for Exam 1 Dr. Hyunyoung Lee 1 Topics Propositional Logic (Sections 1.1, 1.2 and 1.3) Predicate Logic (Sections 1.4 and 1.5) Rules of Inferences and Proofs
More information2) 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 2 Groups Groups are the central objects of algebra. In later chapters we will define rings and modules and see that they are special cases of groups. Also ring homomorphisms and module homomorphisms
More informationChapter 0. Introduction: Prerequisites and Preliminaries
Chapter 0. Sections 0.1 to 0.5 1 Chapter 0. Introduction: Prerequisites and Preliminaries Note. The content of Sections 0.1 through 0.6 should be very familiar to you. However, in order to keep these notes
More informationCSCE 222 Discrete Structures for Computing
CSCE 222 Discrete Structures for Computing Sets and Functions Dr. Hyunyoung Lee Based on slides by Andreas Klappenecker 1 Sets Sets are the most fundamental discrete structure on which all other discrete
More information