# Sets. Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry. Fall 2007

Save this PDF as:

Size: px
Start display at page:

Download "Sets. Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry. Fall 2007"

## Transcription

1 Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry Fall / 42 Computer Science & Engineering 235 Introduction to Discrete Mathematics Sections 2.1, 2.2 of Rosen

2 Introduction I Introduction Venn Diagrams More Proving Equivalences Power Tuples Cartesian Products Quantifiers We ve already implicitly dealt with sets (integers, Z; rationals (Q) etc.) but here we will develop more fully the definitions, properties and operations of sets. Definition A set is an unordered collection of (unique) objects. are fundamental discrete structures that form the basis of more complex discrete structures like graphs. Contrast this definition with the one in the book (compare bag, multi-set, tuples, etc). 2 / 42

3 Introduction II Introduction Venn Diagrams More Proving Equivalences Power Tuples Cartesian Products Quantifiers Definition The objects in a set are called elements or members of a set. A set is said to contain its elements. Recall the notation: for a set A, an element x we write if A contains x and x A x A otherwise. Latex notation: \in, \notin. 3 / 42

4 I Introduction Venn Diagrams More Proving Equivalences Power Tuples Cartesian Products Quantifiers Definition Two sets, A and B are equal if they contain the same elements. In this case we write A = B. Example {2, 3, 5, 7} = {3, 2, 7, 5} since a set is unordered. Also, {2, 3, 5, 7} = {2, 2, 3, 3, 5, 7} since a set contains unique elements. However, {2, 3, 5, 7} {2, 3}. 4 / 42

5 II Introduction Venn Diagrams More Proving Equivalences Power Tuples Cartesian Products Quantifiers A multi-set is a set where you specify the number of occurrences of each element: {m 1 a 1, m 2 a 2,..., m r a r } is a set where m 1 occurs a 1 times, m 2 occurs a 2 times, etc. Note in CS (Databases), we distinguish: a set is w/o repetition a bag is a set with repetition 5 / 42

6 III Introduction Venn Diagrams More Proving Equivalences Power Tuples Cartesian Products Quantifiers We ve already seen set builder notation: O = {x (x Z) (x = 2k for some k Z)} should be read O is the set that contains all x such that x is an integer and x is even. A set is defined in intension, when you give its set builder notation. O = {x (x Z) (0 x 8) (x = 2k for some k Z)} A set is defined in extension, when you enumerate all the elements. O = {0, 2, 4, 6, 8} 6 / 42

7 Venn Diagram Example A set can also be represented graphically using a Venn diagram. Introduction Venn Diagrams More Proving Equivalences Power Tuples Cartesian Products Quantifiers U x A y z B a C Figure: Venn Diagram 7 / 42

8 More & Notation I Introduction Venn Diagrams More Proving Equivalences Power Tuples Cartesian Products Quantifiers A set that has no elements is referred to as the empty set or null set and is denoted. A singleton set is a set that has only one element. We usually write {a}. Note the different: brackets indicate that the object is a set while a without brackets is an element. The subtle difference also exists with the empty set: that is { } The first is a set, the second is a set containing a set. 8 / 42

9 More & Notation II Introduction Venn Diagrams More Proving Equivalences Power Tuples Cartesian Products Quantifiers Definition A is said to be a subset of B and we write A B if and only if every element of A is also an element of B. That is, we have an equivalence: A B x(x A x B) 9 / 42

10 More & Notation III Introduction Venn Diagrams More Proving Equivalences Power Tuples Cartesian Products Quantifiers Theorem For any set S, S and S S (Theorem 1, page 115.) The proof is in the book note that it is an excellent example of a vacuous proof! Latex notation: \emptyset, \subset, \subseteq. 10 / 42

11 More & Notation IV Introduction Venn Diagrams More Proving Equivalences Power Tuples Cartesian Products Quantifiers Definition A set A that is a subset of B is called a proper subset if A B. That is, there is some element x B such that x A. In this case we write A B or to be even more definite we write Example A B Let A = {2}. Let B = {x (x N) (x 100) (x is prime)}. Then A B. Latex notation: \subsetneq. 11 / 42

12 More & Notation V Introduction Venn Diagrams More Proving Equivalences Power Tuples Cartesian Products Quantifiers can be elements of other sets. Example {, {a}, {b}, {a, b}} and {{1}, {2}, {3}} are sets with sets for elements. 12 / 42

13 More & Notation VI Introduction Venn Diagrams More Proving Equivalences Power Tuples Cartesian Products Quantifiers Definition If there are exactly n distinct elements in a set S, with n a nonnegative integer, we say that S is a finite set and the cardinality of S is n. Notationally, we write S = n Definition A set that is not finite is said to be infinite. 13 / 42

14 More & Notation VII Introduction Venn Diagrams More Proving Equivalences Power Tuples Cartesian Products Quantifiers Example Recall the set B = {x (x 100) (x is prime)}, its cardinality is B = 25 since there are 25 primes less than 100. Note the cardinality of the empty set: = 0 The sets N, Z, Q, R are all infinite. 14 / 42

15 Proving Equivalence I Introduction Venn Diagrams More Proving Equivalences Power Tuples Cartesian Products Quantifiers You may be asked to show that a set is a subset, proper subset or equal to another set. To do this, use the equivalence discussed before: A B x(x A x B) To show that A B it is enough to show that for an arbitrary (nonspecific) element x, x A implies that x is also in B. Any proof method could be used. To show that A B you must show that A is a subset of B just as before. But you must also show that x((x B) (x A)) 15 / 42

16 Proving Equivalence II Introduction Venn Diagrams More Proving Equivalences Power Tuples Cartesian Products Quantifiers Finally, to show two sets equal, it is enough to show (much like an equivalence) that A B and B A independently. Logically speaking this is showing the following quantified statements: ( x(x A x B) ) ( x(x B x A) ) We ll see an example later. 16 / 42

17 The Power I Introduction Venn Diagrams More Proving Equivalences Power Tuples Cartesian Products Quantifiers Definition The power set of a set S, denoted P(S) is the set of all subsets of S. Example Let A = {a, b, c} then the power set is P(S) = {, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}} Note that the empty set and the set itself are always elements of the power set. This follows from Theorem 1 (Rosen, p115). 17 / 42

18 The Power II Introduction Venn Diagrams More Proving Equivalences Power Tuples Cartesian Products Quantifiers The power set is a fundamental combinatorial object useful when considering all possible combinations of elements of a set. Fact Let S be a set such that S = n, then P(S) = 2 n 18 / 42

19 Tuples I Introduction Venn Diagrams More Proving Equivalences Power Tuples Cartesian Products Quantifiers Sometimes we may need to consider ordered collections. Definition The ordered n-tuple (a 1, a 2,..., a n ) is the ordered collection with the a i being the i-th element for i = 1, 2,..., n. Two ordered n-tuples are equal if and only if for each i = 1, 2,..., n, a i = b i. For n = 2, we have ordered pairs. 19 / 42

20 Cartesian Products I Introduction Venn Diagrams More Proving Equivalences Power Tuples Cartesian Products Quantifiers Definition Let A and B be sets. The Cartesian product of A and B denoted A B, is the set of all ordered pairs (a, b) where a A and b B: A B = {(a, b) (a A) (b B)} The Cartesian product is also known as the cross product. Definition A subset of a Cartesian product, R A B is called a relation. We will talk more about relations in the next set of slides. 20 / 42 Note that A B B A unless A = or B = or A = B. Can you find a counter example to prove this?

21 Cartesian Products II Introduction Venn Diagrams More Proving Equivalences Power Tuples Cartesian Products Quantifiers Cartesian products can be generalized for any n-tuple. Definition The Cartesian product of n sets, A 1, A 2,..., A n, denoted A 1 A 2 A n is A 1 A 2 A n = {(a 1, a 2,..., a n ) a i A i for i = 1, 2,..., n} 21 / 42

22 Notation With Quantifiers Introduction Venn Diagrams More Proving Equivalences Power Tuples Cartesian Products Quantifiers Whenever we wrote xp (x) or xp (x), we specified the universe of discourse using explicit English language. Now we can simplify things using set notation! Example Or you can mix quantifiers: x R(x 2 0) x Z(x 2 = 1) a, b, c R x C(ax 2 + bx + c = 0) 22 / 42

23 Identities Just as arithmetic operators can be used on pairs of numbers, there are operators that can act on sets to give us new sets. 23 / 42

24 Operators Union Identities Definition The union of two sets A and B is the set that contains all elements in A, B or both. We write A B = {x (x A) (x B)} Latex notation: \cup. 24 / 42

25 Operators Identities Definition The intersection of two sets A and B is the set that contains all elements that are elements of both A and B We write A B = {x (x A) (x B)} Latex notation: \cap. 25 / 42

26 Operators Venn Diagram Example Identities U A B A and B 26 / 42

27 Operators Venn Diagram Example: Union Identities U A B Union, A B 27 / 42

28 Operators Venn Diagram Example: Identities U A B, A B 28 / 42

29 Disjoint Identities Definition Two sets are said to be disjoint if their intersection is the empty set: A B = U A B Figure: Two disjoint sets A and B. 29 / 42

30 Difference Definition The difference of sets A and B, denoted by A \ B (or A B) is the set containing those elements that are in A but not in B. Identities U A B Figure: Difference, A \ B 30 / 42 Latex notation: \setminus.

31 Complement Identities Definition The complement of a set A, denoted Ā, consists of all elements not in A. That is, the difference of the universal set and A; U \ A. Ā = {x x A} U A A Figure: Complement, A 31 / 42

32 Identities Identities There are analogs of all the usual laws for set operations. Again, the Cheat Sheet is available on the course web page. LogicalEquivalences.pdf Let s take a quick look at this Cheat Sheet 32 / 42

33 Proving Equivalences Identities Recall that to prove such an identity, one must show that 1 The left hand side is a subset of the right hand side. 2 The right hand side is a subset of the left hand side. 3 Then conclude that they are, in fact, equal. The book proves several of the standard set identities. We ll give a couple of different examples here. 33 / 42

34 Proving Equivalences Example I Identities Let A = {x x is even} and B = {x x is a multiple of 3} and C = {x x is a multiple of 6}. Show that Proof. A B = C 34 / 42

35 Proving Equivalences Example I Identities Let A = {x x is even} and B = {x x is a multiple of 3} and C = {x x is a multiple of 6}. Show that Proof. A B = C (A B C): Let x A B. Then x is a multiple of 2 and x is a multiple of 3, therefore we can write x = 2 3 k for some integer k. Thus x = 6k and so x is a multiple of 6 and x C. 34 / 42

36 Proving Equivalences Example I Identities Let A = {x x is even} and B = {x x is a multiple of 3} and C = {x x is a multiple of 6}. Show that Proof. A B = C (A B C): Let x A B. Then x is a multiple of 2 and x is a multiple of 3, therefore we can write x = 2 3 k for some integer k. Thus x = 6k and so x is a multiple of 6 and x C. (C A B): Let x C. Then x is a multiple of 6 and so x = 6k for some integer k. Therefore x = 2(3k) = 3(2k) and so x A and x B. It follows then that x A B by definition of intersection, thus C A B. 34 / 42

37 Proving Equivalences Example I Identities Let A = {x x is even} and B = {x x is a multiple of 3} and C = {x x is a multiple of 6}. Show that Proof. A B = C (A B C): Let x A B. Then x is a multiple of 2 and x is a multiple of 3, therefore we can write x = 2 3 k for some integer k. Thus x = 6k and so x is a multiple of 6 and x C. (C A B): Let x C. Then x is a multiple of 6 and so x = 6k for some integer k. Therefore x = 2(3k) = 3(2k) and so x A and x B. It follows then that x A B by definition of intersection, thus C A B. We conclude that A B = C 34 / 42

38 Proving Equivalences Example II Identities An alternative prove uses membership tables where an entry is 1 if it a chosen (but fixed) element is in the set and 0 otherwise. Example (Exercise 13, p95): Show that A B C = Ā B C 35 / 42

39 Proving Equivalences Example II Continued Identities A B C A B C A B C Ā B C Ā B C under a set indicates that an element is in the set. If the columns are equivalent, we can conclude that indeed, A B C = Ā B C 36 / 42

40 Proving Equivalences Example II Continued Identities A B C A B C A B C Ā B C Ā B C under a set indicates that an element is in the set. If the columns are equivalent, we can conclude that indeed, A B C = Ā B C 36 / 42

41 Proving Equivalences Example II Continued Identities A B C A B C A B C Ā B C Ā B C under a set indicates that an element is in the set. If the columns are equivalent, we can conclude that indeed, A B C = Ā B C 36 / 42

42 Proving Equivalences Example II Continued Identities A B C A B C A B C Ā B C Ā B C under a set indicates that an element is in the set. If the columns are equivalent, we can conclude that indeed, A B C = Ā B C 36 / 42

43 Proving Equivalences Example II Continued Identities A B C A B C A B C Ā B C Ā B C under a set indicates that an element is in the set. If the columns are equivalent, we can conclude that indeed, A B C = Ā B C 36 / 42

44 Proving Equivalences Example II Continued Identities A B C A B C A B C Ā B C Ā B C under a set indicates that an element is in the set. If the columns are equivalent, we can conclude that indeed, A B C = Ā B C 36 / 42

45 Proving Equivalences Example II Continued Identities A B C A B C A B C Ā B C Ā B C under a set indicates that an element is in the set. If the columns are equivalent, we can conclude that indeed, A B C = Ā B C 36 / 42

46 Proving Equivalences Example II Continued Identities A B C A B C A B C Ā B C Ā B C under a set indicates that an element is in the set. Since the columns are equivalent, we conclude that indeed, A B C = Ā B C 36 / 42

47 Generalized Unions & s I Identities In the previous example we showed that De Morgan s Law generalized to unions involving 3 sets. Indeed, for any finite number of sets, De Morgan s Laws hold. Moreover, we can generalize set operations in a straightforward manner to any finite number of sets. Definition The union of a collection of sets is the set that contains those elements that are members of at least one set in the collection. n A i = A 1 A 2 A n i=1 Latex notation: \bigcup. 37 / 42

48 Generalized Unions & s II Identities Definition The intersection of a collection of sets is the set that contains those elements that are members of every set in the collection. n A i = A 1 A 2 A n i=1 Latex notation: \bigcap. 38 / 42

49 Computer Representation of I Identities There really aren t ways to represent infinite sets by a computer since a computer is has a finite amount of memory (unless of course, there is a finite representation). If we assume that the universal set U is finite, however, then we can easily and efficiently represent sets by bit vectors. Specifically, we force an ordering on the objects, say U = {a 1, a 2,..., a n } For a set A U, a bit vector can be defined as { 0 if ai A b i = 1 if a i A 39 / 42 for i = 1, 2,..., n.

50 Computer Representation of II Identities Example Let U = {0, 1, 2, 3, 4, 5, 6, 7} and let A = {0, 1, 6, 7} Then the bit vector representing A is What s the empty set? What s U? operations become almost trivial when sets are represented by bit vectors. In particular, the bit-wise Or corresponds to the union operation. The bit-wise And corresponds to the intersection operation. 40 / 42

51 Computer Representation of III Identities Example Let U and A be as before and let B = {0, 4, 5} Note that the bit vector for B is The union, A B can be computed by = The intersection, A B can be computed by = What sets do these represent? Note: If you want to represent arbitrarily sized sets, you can still do it with a computer how? 41 / 42

52 Conclusion Identities Questions? 42 / 42

### Sets 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

### Sets. Introduction to Set Theory ( 2.1) Basic notations for sets. Basic properties of sets CMSC 302. Vojislav Kecman

Introduction to Set Theory ( 2.1) VCU, Department of Computer Science CMSC 302 Sets Vojislav Kecman A set is a new type of structure, representing an unordered collection (group, plurality) of zero or

### CS 173: Discrete Structures. Eric Shaffer Office Hour: Wed. 1-2, 2215 SC

CS 173: Discrete Structures Eric Shaffer Office Hour: Wed. 1-2, 2215 SC shaffer1@illinois.edu Agenda Sets (sections 2.1, 2.2) 2 Set Theory Sets you should know: Notation you should know: 3 Set Theory -

### Sets. Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing Spring, Outline Sets An Algebra on Sets Summary

An Algebra on Alice E. Fischer CSCI 1166 Discrete Mathematics for Computing Spring, 2018 Alice E. Fischer... 1/37 An Algebra on 1 Definitions and Notation Venn Diagrams 2 An Algebra on 3 Alice E. Fischer...

### CS2742 midterm test 2 study sheet. Boolean circuits: Predicate logic:

x NOT ~x x y AND x /\ y x y OR x \/ y Figure 1: Types of gates in a digital circuit. CS2742 midterm test 2 study sheet Boolean circuits: Boolean circuits is a generalization of Boolean formulas in which

### Chapter 0: Sets and Numbers

Haberman MTH 112 Section I: Periodic Functions and Trigonometry Chapter 0: Sets and Numbers DEFINITION: A set is a collection of objects specified in a manner that enables one to determine if a given object

### Discrete Mathematical Structures: Theory and Applications

Chapter 1: Foundations: Sets, Logic, and Algorithms Discrete Mathematical Structures: Theory and Applications Learning Objectives Learn about sets Explore various operations on sets Become familiar with

### CISC 1100: Structures of Computer Science

CISC 1100: Structures of Computer Science Chapter 2 Sets and Sequences Fordham University Department of Computer and Information Sciences Fall, 2010 CISC 1100/Fall, 2010/Chapter 2 1 / 49 Outline Sets Basic

### Propositional Logic, Predicates, and Equivalence

Chapter 1 Propositional Logic, Predicates, and Equivalence A statement or a proposition is a sentence that is true (T) or false (F) but not both. The symbol denotes not, denotes and, and denotes or. If

### Set Theory. CSE 215, Foundations of Computer Science Stony Brook University

Set Theory CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.edu/~cse215 Set theory Abstract set theory is one of the foundations of mathematical thought Most mathematical

### Topics in Logic and Proofs

Chapter 2 Topics in Logic and Proofs Some mathematical statements carry a logical value of being true or false, while some do not. For example, the statement 4 + 5 = 9 is true, whereas the statement 2

### Chapter 1. Logic and Proof

Chapter 1. Logic and Proof 1.1 Remark: A little over 100 years ago, it was found that some mathematical proofs contained paradoxes, and these paradoxes could be used to prove statements that were known

### Filters in Analysis and Topology

Filters in Analysis and Topology David MacIver July 1, 2004 Abstract The study of filters is a very natural way to talk about convergence in an arbitrary topological space, and carries over nicely into

### conditional expression \LET E2 let x == E1 E2 local definition formulae

Z notation This file is a translation of the German original which can be found at http://www.pst.informatik. uni-muenchen.de/lehre/ws0203/gse/z-notation. The following tables provide an overview of the

### Section 1: Sets and Interval Notation

PART 1 From Sets to Functions Section 1: Sets and Interval Notation Introduction Set concepts offer the means for understanding many different aspects of mathematics and its applications to other branches

### Recursion. Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry. Fall 2007

Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry Fall 2007 1 / 47 Computer Science & Engineering 235 to Discrete Mathematics Sections 7.1-7.2 of Rosen Recursive Algorithms 2 / 47 A recursive

### CS Discrete Mathematics Dr. D. Manivannan (Mani)

CS 275 - Discrete Mathematics Dr. D. Manivannan (Mani) Department of Computer Science University of Kentucky Lexington, KY 40506 Course Website: www.cs.uky.edu/~manivann/cs275 Notes based on Discrete Mathematics

### HOW TO CREATE A PROOF. Writing proofs is typically not a straightforward, algorithmic process such as calculating

HOW TO CREATE A PROOF ALLAN YASHINSKI Abstract We discuss how to structure a proof based on the statement being proved Writing proofs is typically not a straightforward, algorithmic process such as calculating

### LIN1032 Formal Foundations for Linguistics

LIN1032 Formal Foundations for Lecture 1 Albert Gatt Practical stuff Course tutors: Albert Gatt (first half) albert.gatt@um.edu.mt Ray Fabri (second half) ray.fabri@um.edu.mt Course website: TBA Practical

### 3.4 Set Operations Given a set A, the complement (in the Universal set U) A c is the set of all elements of U that are not in A. So A c = {x x / A}.

3.4 Set Operations Given a set, the complement (in the niversal set ) c is the set of all elements of that are not in. So c = {x x /. (This type of picture is called a Venn diagram.) Example 39 Let = {1,

### Exercises 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

### Elementary Point-Set Topology

André L. Yandl Adam Bowers Elementary Point-Set Topology A Transition to Advanced Mathematics September 17, 2014 Draft copy for non commercial purposes only 2 Preface About this book As the title indicates,

### Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics. College Algebra for STEM

Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics College Algebra for STEM Marcel B. Finan c All Rights Reserved 2015 Edition To my children Amin & Nadia Preface From

### Mathematical Preliminaries. Sipser pages 1-28

Mathematical Preliminaries Sipser pages 1-28 Mathematical Preliminaries This course is about the fundamental capabilities and limitations of computers. It has 3 parts 1. Automata Models of computation

### Abstract Measure Theory

2 Abstract Measure Theory Lebesgue measure is one of the premier examples of a measure on R d, but it is not the only measure and certainly not the only important measure on R d. Further, R d is not the

### HW 4 SOLUTIONS. , x + x x 1 ) 2

HW 4 SOLUTIONS The Way of Analysis p. 98: 1.) Suppose that A is open. Show that A minus a finite set is still open. This follows by induction as long as A minus one point x is still open. To see that A

### Section-A. Short Questions

Section-A Short Questions Question1: Define Problem? : A Problem is defined as a cultural artifact, which is especially visible in a society s economic and industrial decision making process. Those managers

### Tutorial on Axiomatic Set Theory. Javier R. Movellan

Tutorial on Axiomatic Set Theory Javier R. Movellan Intuitively we think of sets as collections of elements. The crucial part of this intuitive concept is that we are willing to treat sets as entities

### Chapter 2 Sets, Relations and Functions

Chapter 2 Sets, Relations and Functions Key Topics Sets Set Operations Russell s Paradox Relations Composition of Relations Reflexive, Symmetric and Transitive Relations Functions Partial and Total Functions

### 2.2 Lowenheim-Skolem-Tarski theorems

Logic SEP: Day 1 July 15, 2013 1 Some references Syllabus: http://www.math.wisc.edu/graduate/guide-qe Previous years qualifying exams: http://www.math.wisc.edu/ miller/old/qual/index.html Miller s Moore

### INFINITY: 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

### Notes. Functions. Introduction. Notes. Notes. Definition Function. Definition. Slides by Christopher M. Bourke Instructor: Berthe Y.

Functions Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry Fall 2007 Computer Science & Engineering 235 Introduction to Discrete Mathematics Section 2.3 of Rosen cse235@cse.unl.edu Introduction

### Proofs: A General How To II. Rules of Inference. Rules of Inference Modus Ponens. Rules of Inference Addition. Rules of Inference Conjunction

Introduction I Proofs Computer Science & Engineering 235 Discrete Mathematics Christopher M. Bourke cbourke@cse.unl.edu A proof is a proof. What kind of a proof? It s a proof. A proof is a proof. And when

### Lecture 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,

### Boolean Algebras. Chapter 2

Chapter 2 Boolean Algebras Let X be an arbitrary set and let P(X) be the class of all subsets of X (the power set of X). Three natural set-theoretic operations on P(X) are the binary operations of union

### Chapter 4. Basic Set Theory. 4.1 The Language of Set Theory

Chapter 4 Basic Set Theory There are two good reasons for studying set theory. First, it s a indispensable tool for both logic and mathematics, and even for other fields including computer science, linguistics,

### Math 535: Topology Homework 1. Mueen Nawaz

Math 535: Topology Homework 1 Mueen Nawaz Mueen Nawaz Math 535 Topology Homework 1 Problem 1 Problem 1 Find all topologies on the set X = {0, 1, 2}. In the list below, a, b, c X and it is assumed that

### Integer-Valued Polynomials

Integer-Valued Polynomials LA Math Circle High School II Dillon Zhi October 11, 2015 1 Introduction Some polynomials take integer values p(x) for all integers x. The obvious examples are the ones where

### Axioms of Probability

Sample Space (denoted by S) The set of all possible outcomes of a random experiment is called the Sample Space of the experiment, and is denoted by S. Example 1.10 If the experiment consists of tossing

### A Semester Course in Basic Abstract Algebra

A Semester Course in Basic Abstract Algebra Marcel B. Finan Arkansas Tech University c All Rights Reserved December 29, 2011 1 PREFACE This book is an introduction to abstract algebra course for undergraduates

### Some Basic Notations Of Set Theory

Some Basic Notations Of Set Theory References There are some good books about set theory; we write them down. We wish the reader can get more. 1. Set Theory and Related Topics by Seymour Lipschutz. 2.

### cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska LECTURE 1 Course Web Page www3.cs.stonybrook.edu/ cse303 The webpage contains: lectures notes slides; very detailed solutions to

### CSE 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

### A Transition to Advanced Mathematics

A Transition to Advanced Mathematics Darrin Doud and Pace P. Nielsen Darrin Doud Department of Mathematics Brigham Young University Provo, UT 84602 doud@math.byu.edu Pace P. Nielsen Department of Mathematics

### HANDOUT 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

### Economics 204 Fall 2011 Problem Set 1 Suggested Solutions

Economics 204 Fall 2011 Problem Set 1 Suggested Solutions 1. Suppose k is a positive integer. Use induction to prove the following two statements. (a) For all n N 0, the inequality (k 2 + n)! k 2n holds.

### A Readable Introduction to Real Mathematics

Solutions to selected problems in the book A Readable Introduction to Real Mathematics D. Rosenthal, D. Rosenthal, P. Rosenthal Chapter 10: Sizes of Infinite Sets 1. Show that the set of all polynomials

### We are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero

Chapter Limits of Sequences Calculus Student: lim s n = 0 means the s n are getting closer and closer to zero but never gets there. Instructor: ARGHHHHH! Exercise. Think of a better response for the instructor.

### MORE ON CONTINUOUS FUNCTIONS AND SETS

Chapter 6 MORE ON CONTINUOUS FUNCTIONS AND SETS This chapter can be considered enrichment material containing also several more advanced topics and may be skipped in its entirety. You can proceed directly

### Lecture 9. The Principle of Inclusion/Exclusion. 9.1 Introduction: a familiar example

Lecture 9 he Principle of Inclusion/Exclusion hese notes are based on a pair of lectures originally written by (Manchester s own) Prof. Nige Ray. Reading: he Principle of Inclusion/Exclusion appears in

### Analysis 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

### Propositional Logic Not Enough

Section 1.4 Propositional Logic Not Enough If we have: All men are mortal. Socrates is a man. Does it follow that Socrates is mortal? Can t be represented in propositional logic. Need a language that talks

### Chapter 1 (Basic Probability)

Chapter 1 (Basic Probability) What is probability? Consider the following experiments: 1. Count the number of arrival requests to a web server in a day. 2. Determine the execution time of a program. 3.

### Chapter-2 Relations and Functions. Miscellaneous

1 Chapter-2 Relations and Functions Miscellaneous Question 1: The relation f is defined by The relation g is defined by Show that f is a function and g is not a function. The relation f is defined as It

### Mathematical Induction

Chapter 6 Mathematical Induction 6.1 The Process of Mathematical Induction 6.1.1 Motivating Mathematical Induction Consider the sum of the first several odd integers. produce the following: 1 = 1 1 + 3

### This section will take the very naive point of view that a set is a collection of objects, the collection being regarded as a single object.

1.10. BASICS CONCEPTS OF SET THEORY 193 1.10 Basics Concepts of Set Theory Having learned some fundamental notions of logic, it is now a good place before proceeding to more interesting things, such as

### TRIGONOMETRY REVIEW (PART 1)

TRIGONOMETRY REVIEW (PART ) MATH 52, SECTION 55 (VIPUL NAIK) Difficulty level: Easy to moderate, given that you are already familiar with trigonometry. Covered in class?: Probably not (for the most part).

### The Power Set 1/3. Suppose A = {a, b}. The subsetsof A are. The set of these subsets is called the power setof A, denoted by P (A) i.e.

The Power Set 1/3 Suppose A = {a, b}. The subsetsof A are, {a},{b}&{a, b} The set of these subsets is called the power setof A, denoted by P (A) i.e. P(A) = {,{a},{b},{a, b}} Note that P(A) is a set whose

### Proofs. Chapter 2 P P Q Q

Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,

### The p-adic numbers. Given a prime p, we define a valuation on the rationals by

The p-adic numbers There are quite a few reasons to be interested in the p-adic numbers Q p. They are useful for solving diophantine equations, using tools like Hensel s lemma and the Hasse principle,

### Supplementary Material for MTH 299 Online Edition

Supplementary Material for MTH 299 Online Edition Abstract This document contains supplementary material, such as definitions, explanations, examples, etc., to complement that of the text, How to Think

### Foundations Revision Notes

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,

### Discrete Mathematics. Thomas Goller. January 2013

Discrete Mathematics Thomas Goller January 2013 Contents 1 Mathematics 1 1.1 Axioms..................................... 1 1.2 Definitions................................... 2 1.3 Theorems...................................

### Discrete 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

### An Introduction to University Level Mathematics

An Introduction to University Level Mathematics Alan Lauder May 22, 2017 First, a word about sets. These are the most primitive objects in mathematics, so primitive in fact that it is not possible to give

### EQUIVALENCE RELATIONS (NOTES FOR STUDENTS) 1. RELATIONS

EQUIVALENCE RELATIONS (NOTES FOR STUDENTS) LIOR SILBERMAN Version 1.0 compiled September 9, 2015. 1.1. List of examples. 1. RELATIONS Equality of real numbers: for some x,y R we have x = y. For other pairs

### Real Analysis: Part I. William G. Faris

Real Analysis: Part I William G. Faris February 2, 2004 ii Contents 1 Mathematical proof 1 1.1 Logical language........................... 1 1.2 Free and bound variables...................... 3 1.3 Proofs

### Introduction. How can we say that one algorithm performs better than another? Quantify the resources required to execute:

Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry Spring 2006 1 / 1 Computer Science & Engineering 235 Section 2.3 of Rosen cse235@cse.unl.edu Introduction How can we say that one algorithm

### Measure and Integration: Concepts, Examples and Exercises. INDER K. RANA Indian Institute of Technology Bombay India

Measure and Integration: Concepts, Examples and Exercises INDER K. RANA Indian Institute of Technology Bombay India Department of Mathematics, Indian Institute of Technology, Bombay, Powai, Mumbai 400076,

### Nondeterministic finite automata

Lecture 3 Nondeterministic finite automata This lecture is focused on the nondeterministic finite automata (NFA) model and its relationship to the DFA model. Nondeterminism is an important concept in the

### CHAPTER 1. Basic Ideas

CHPTER 1 asic Ideas In the end, all mathematics can be boiled down to logic and set theory. ecause of this, any careful presentation of fundamental mathematical ideas is inevitably couched in the language

### Discrete Mathematics & Mathematical Reasoning Chapter 6: Counting

Discrete Mathematics & Mathematical Reasoning Chapter 6: Counting Kousha Etessami U. of Edinburgh, UK Kousha Etessami (U. of Edinburgh, UK) Discrete Mathematics (Chapter 6) 1 / 39 Chapter Summary The Basics

### CHAPTER 1. Relations. 1. Relations and Their Properties. Discussion

CHAPTER 1 Relations 1. Relations and Their Properties 1.1. Definition of a Relation. Definition 1.1.1. A binary relation from a set A to a set B is a subset R A B. If (a, b) R we say a is Related to b

### Lecture : Set Theory and Logic

Lecture : Dr. Department of Mathematics Lovely Professional University Punjab, India October 18, 2014 Outline Contrapositive and Converse 1 Contrapositive and Converse 2 3 4 5 Contrapositive and Converse

### Some Background Material

Chapter 1 Some Background Material In the first chapter, we present a quick review of elementary - but important - material as a way of dipping our toes in the water. This chapter also introduces important

### ICS141: Discrete Mathematics for Computer Science I

ICS141: Discrete Mathematics for Computer Science I Dept. Information & Computer Sci., Jan Stelovsky based on slides by Dr. Baek and Dr. Still Originals by Dr. M. P. Frank and Dr. J.L. Gross Provided by

### Preface. [ Uj \m Vk NVp U\k Y rj U! - kndh kùa«bg. Rªjudh. (iii)

015 Preface [ Uj \m Vk NVp U\k Y rj U! - kndh kùa«bg. Rªjudh The Government of Tamil Nadu has decided to evolve a uniform system of school education in the state to ensure social justice and provide quality

### Further discussion of Turing machines

Further discussion of Turing machines In this lecture we will discuss various aspects of decidable and Turing-recognizable languages that were not mentioned in previous lectures. In particular, we will

### About the relationship between formal logic and complexity classes

About the relationship between formal logic and complexity classes Working paper Comments welcome; my email: armandobcm@yahoo.com Armando B. Matos October 20, 2013 1 Introduction We analyze a particular

### WUCT121. Discrete Mathematics. Logic. Tutorial Exercises

WUCT11 Discrete Mathematics Logic Tutorial Exercises 1 Logic Predicate Logic 3 Proofs 4 Set Theory 5 Relations and Functions WUCT11 Logic Tutorial Exercises 1 Section 1: Logic Question1 For each of the

### Sets, Logic and Categories Solutions to Exercises: Chapter 2

Sets, Logic and Categories Solutions to Exercises: Chapter 2 2.1 Prove that the ordered sum and lexicographic product of totally ordered (resp., well-ordered) sets is totally ordered (resp., well-ordered).

### tossing a coin selecting a card from a deck measuring the commuting time on a particular morning

2 Probability Experiment An experiment or random variable is any activity whose outcome is unknown or random upfront: tossing a coin selecting a card from a deck measuring the commuting time on a particular

### Lecture Notes for MATH Mathematical Logic 1

Lecture Notes for MATH2040 - Mathematical Logic 1 Michael Rathjen School of Mathematics University of Leeds Autumn 2009 Chapter 0. Introduction Maybe not all areas of human endeavour, but certainly the

### Introduction. Chapter 1. Contents. EECS 600 Function Space Methods in System Theory Lecture Notes J. Fessler 1.1

Chapter 1 Introduction Contents Motivation........................................................ 1.2 Applications (of optimization).............................................. 1.2 Main principles.....................................................

### CHAPTER 5. The Topology of R. 1. Open and Closed Sets

CHAPTER 5 The Topology of R 1. Open and Closed Sets DEFINITION 5.1. A set G Ω R is open if for every x 2 G there is an " > 0 such that (x ", x + ") Ω G. A set F Ω R is closed if F c is open. The idea is

### (2) Generalize De Morgan s laws for n sets and prove the laws by induction. 1

ARS DIGITA UNIVERSITY MONTH 2: DISCRETE MATHEMATICS PROFESSOR SHAI SIMONSON PROBLEM SET 2 SOLUTIONS SET, FUNCTIONS, BIG-O, RATES OF GROWTH (1) Prove by formal logic: (a) The complement of the union of

### First order Logic ( Predicate Logic) and Methods of Proof

First order Logic ( Predicate Logic) and Methods of Proof 1 Outline Introduction Terminology: Propositional functions; arguments; arity; universe of discourse Quantifiers Definition; using, mixing, negating

### 2: LINEAR TRANSFORMATIONS AND MATRICES

2: LINEAR TRANSFORMATIONS AND MATRICES STEVEN HEILMAN Contents 1. Review 1 2. Linear Transformations 1 3. Null spaces, range, coordinate bases 2 4. Linear Transformations and Bases 4 5. Matrix Representation,

### CIVL 7012/8012. Basic Laws and Axioms of Probability

CIVL 7012/8012 Basic Laws and Axioms of Probability Why are we studying probability and statistics? How can we quantify risks of decisions based on samples from a population? How should samples be selected

More Books At www.goalias.blogspot.com www.goalias.blogspot.com www.goalias.blogspot.com www.goalias.blogspot.com www.goalias.blogspot.com www.goalias.blogspot.com www.goalias.blogspot.com www.goalias.blogspot.com

### Theory of Computation

Thomas Zeugmann Hokkaido University Laboratory for Algorithmics http://www-alg.ist.hokudai.ac.jp/ thomas/toc/ Lecture 1: Introducing Formal Languages Motivation I This course is about the study of a fascinating

### Peano Arithmetic. CSC 438F/2404F Notes (S. Cook) Fall, Goals Now

CSC 438F/2404F Notes (S. Cook) Fall, 2008 Peano Arithmetic Goals Now 1) We will introduce a standard set of axioms for the language L A. The theory generated by these axioms is denoted PA and called Peano

### Logic and Set Notation

Logic and Set Notation Logic Notation p, q, r: statements,,,, : logical operators p: not p p q: p and q p q: p or q p q: p implies q p q:p if and only if q We can build compound sentences using the above

### CONSTRUCTION OF THE REAL NUMBERS.

CONSTRUCTION OF THE REAL NUMBERS. IAN KIMING 1. Motivation. It will not come as a big surprise to anyone when I say that we need the real numbers in mathematics. More to the point, we need to be able to

### Computer Science Foundation Exam

Computer Science Foundation Exam August 2, 2002 Section II A DISCRETE STRUCTURES NO books, notes, or calculators may be used, and you must work entirely on your own. Name: SSN: In this section of the exam,