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

Similar documents
Sets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions

MATH 433 Applied Algebra Lecture 14: Functions. Relations.

Chapter 1 : The language of mathematics.

Chapter 1. Sets and Mappings

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

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.

(a) We need to prove that is reflexive, symmetric and transitive. 2b + a = 3a + 3b (2a + b) = 3a + 3b 3k = 3(a + b k)

REVIEW FOR THIRD 3200 MIDTERM

MATH 13 SAMPLE FINAL EXAM SOLUTIONS

0 Sets and Induction. Sets

1 Take-home exam and final exam study guide

MATH FINAL EXAM REVIEW HINTS

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

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Math 109 September 1, 2016

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

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

2. Sets. 2.1&2.2: Sets and Subsets. Combining Sets. c Dr Oksana Shatalov, Spring

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

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

Any Wizard of Oz fans? Discrete Math Basics. Outline. Sets. Set Operations. Sets. Dorothy: How does one get to the Emerald City?

Math Fall 2014 Final Exam Solutions

Introduction to Proofs

SETS AND FUNCTIONS JOSHUA BALLEW

Section 0. Sets and Relations

1.4 Cardinality. Tom Lewis. Fall Term Tom Lewis () 1.4 Cardinality Fall Term / 9

Mathematics Review for Business PhD Students

Section 4.4 Functions. CS 130 Discrete Structures

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

Selected Solutions to Even Problems, Part 3

ABOUT THE CLASS AND NOTES ON SET THEORY

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

INFINITY: CARDINAL NUMBERS

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

Sets, Functions and Relations

Sets McGraw-Hill Education

Chapter 2 - Basics Structures MATH 213. Chapter 2: Basic Structures. Dr. Eric Bancroft. Fall Dr. Eric Bancroft MATH 213 Fall / 60

Background for Discrete Mathematics

Chapter Summary. Sets (2.1) Set Operations (2.2) Functions (2.3) Sequences and Summations (2.4) Cardinality of Sets (2.5) Matrices (2.

Math 105A HW 1 Solutions

Practice Exam 1 CIS/CSE 607, Spring 2009

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

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

0 Logical Background. 0.1 Sets

Outline. Sets. Relations. Functions. Products. Sums 2 / 40

ECE353: Probability and Random Processes. Lecture 2 - Set Theory

Handout 2 (Correction of Handout 1 plus continued discussion/hw) Comments and Homework in Chapter 1

Mathematical Background and Basic Notations

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

Mathematics 220 Homework 4 - Solutions. Solution: We must prove the two statements: (1) if A = B, then A B = A B, and (2) if A B = A B, then A = B.

MATH 2200 Final Review

Chapter 2 - Basics Structures

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

PRELIMINARIES FOR GENERAL TOPOLOGY. Contents

Mathematics Review for Business PhD Students Lecture Notes

Rings and Fields Theorems

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

Principles of Real Analysis I Fall I. The Real Number System

14 Equivalence Relations

A Short Review of Cardinality

UMASS AMHERST MATH 300 SP 05, F. HAJIR HOMEWORK 8: (EQUIVALENCE) RELATIONS AND PARTITIONS

Foundations of Mathematics

5. Partitions and Relations Ch.22 of PJE.

Module 2: Language of Mathematics

MATH 363: Discrete Mathematics

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

Set, functions and Euclidean space. Seungjin Han

2 Equivalence Relations

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Foundations Revision Notes

Course 212: Academic Year Section 1: Metric Spaces

Chapter 0. Introduction: Prerequisites and Preliminaries

MATH 215 Final. M4. For all a, b in Z, a b = b a.

Part IA Numbers and Sets

Math 203A, Solution Set 6.

4. Sets The language of sets. Describing a Set. c Oksana Shatalov, Fall

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:

Thus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a

Math 127 Homework. Mary Radcliffe. Due 29 March Complete the following problems. Fully justify each response.

Discrete Mathematics with Applications MATH236

MATH 3300 Test 1. Name: Student Id:

Relations. Relations. Definition. Let A and B be sets.

Set theory. Math 304 Spring 2007

Chapter 2 Invertible Mappings

Part V. Chapter 19. Congruence of integers

18.S097 Introduction to Proofs IAP 2015 Lecture Notes 1 (1/5/2015)

A Semester Course in Basic Abstract Algebra

POL502: Foundations. Kosuke Imai Department of Politics, Princeton University. October 10, 2005

Propositional Logic, Predicates, and Equivalence

Math 145. Codimension

Axioms for Set Theory

9/21/2018. Properties of Functions. Properties of Functions. Properties of Functions. Properties of Functions. Properties of Functions

Math 2534 Solution to Test 3A Spring 2010

CSE 20 DISCRETE MATH. Winter

ALGEBRAIC GEOMETRY (NMAG401) Contents. 2. Polynomial and rational maps 9 3. Hilbert s Nullstellensatz and consequences 23 References 30

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

Course 311: Abstract Algebra Academic year

Exam Practice Problems

The integers. Chapter 3

Discrete Mathematics. (c) Marcin Sydow. Sets. Set operations. Sets. Set identities Number sets. Pair. Power Set. Venn diagrams

Transcription:

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 by writing {x : P (x)} where P (x) is a statement concerning an object x. For example, N = {x : x is a natural number} or (2, 7] = {x : is a real number and 2 < x 7}. Remark 3 Some authors use the notation {x P (x)} in place of {x : P (x)}. Notation 4 The set that contains no elements is called the empty set and is denoted. [Note: { } is NOT the empty set.] Notation 5 If an object x is an element of a set A, then we write x A. If x is not an element of A, then we write x / A. Definition 6 Two sets A and B are equal if and only if every element of A belongs to B and every element of B belongs to A. Definition 7 If A and B are sets such that each element of A is also an element of B, then we say A is a subset of B, and notate this A B. Remark 8 Some authors use the notation A B if A is a subset of B. We reserve the notation for something else later. Proposition 9 Let A and B be sets. Then A = B if and only if A B and B A. Definition 10 Let A be a set. The power set of A, denoted P (A) or 2 A, is the set of all subsets of A. Conjecture 11 Let A be a set with n elements, where n is some natural number. 1. Make a conjecture as to how many elements P (A) has. 2. Prove your conjecture using induction on n. Definition 12 If A and B are sets, we say that A is a proper subset of B, written A B if A B and A B. Problem 13 Let A be a set with n elements, where n is some natural number. How many proper subsets does A have? Definition 14 Let A and B be sets. The union of A and B, denoted A B, is defined as the set of all elements in either A or B (or both). In set-builder notation A B = {x : x A or x B}.

Definition 15 Let A and B be sets. The intersection of A and B, denoted A B, is defined as the set of all elements in both A and B. In set-builder notation A B = {x : x A and x B}. Definition 16 Two sets A and B are disjoint if A B =. Problem 17 Find two sets A and B where A B = {1, 2, 3} and A B = {3}. Proposition 18 Let A, B, C be sets. Then A B = B A A B = B A (A B) C = A (B C) (A B) C = A (B C) A (B C) = (A B) (A C) A (B C) = (A B) (A C) Definition 19 Let X and Y be sets. Define the difference X Y of X and Y by X Y = {x : x X and x Y }. Remark 20 The union and intersection of sets can be defined for more than two sets. In fact, the union and intersection can be defined for an infinite number of sets. Definition 21 Let I be an index set and let {X i } i I be a collection of sets. Then the union of the collection {X i } i I is defined X i = {x : x X i for some i I}. i I Definition 22 Let I be an index set and let {X i } i I be a collection of sets. Then the intersection of the collection {X i } i I is defined X i = {x : x X i for all i I}. i I Example 23 Let Z be the index set and for n Z, define X n = [n, n + 1). 1. 2. n Z n Z X n X n

3. X i X j for i j 4. If Y n is defined as Y n = [n, n + 1], find Y i Y j for i j. Definition 24 Let X be a set. Let I be an index set and let {X i } i I be a collection of subsets of X. We say that the subsets in the collection are mutually disjoint if for all i, j I where i j, we have X i X j =. A disjoint union is the union of subsets in a collection that are mutually disjoint, denoted by X i. i I Definition 25 Let X be a set, let I be an index set, and let {X i } i I be a collection of mutually disjoint subsets of X. We say the collection is a partition of X if X i = X. i I Example 26 Let R the set of all real numbers. Then the collection of sets X n = [n, n+1) for n Z is a partition of R. Note that the collection of sets Y n = [n, n + 1] for n 1 is NOT a partition of R. Why? Proposition 27 Every set S has a partition. Problem 28 Find a partition of Z, the set of integers. Proposition 29 Let n be a natural number. Let A 0, A 1, A 2,..., A n 1 be defined by A i = {x Z : x i mod n}, i = 0, 1, 2,..., n 1. Then A 0, A 1,..., A n 1 is a partition of Z. We will return to partitions after we introduce more terminology. Definition 30 Let X and Y be sets. Let x X and y Y. Define the ordered pair (x, y) of x and y by (x, y) = {{x}, {x, y}}. Proposition 31 Let X and Y be sets. Let x, x X and y, y Y. Then (x, y) = (x, y ) if and only if x = x and y = y. Remark 32 This proposition seems obvious to us, however now we have a rigorous definition of what an ordered pair is (i.e. in terms of sets) that we must use to prove it. Definition 33 Let X and Y be sets. The Cartesian product of X and Y, denoted X Y, is the set of all ordered pairs (x, y) such that x X and y Y. In set notation, X Y = {(x, y) : x X, y Y }.

Example 34 Let X = Y = R. Then R R = {(x, y) : x, y R} = R 2. Problem 35 Let R + denote the set of positive real numbers. What is the difference between R R + and R + R in terms of R 2? Definition 36 Let X and Y be sets. A relation between X and Y is a subset of X Y. If we denote a relation between X and Y by R(X, Y ), then we have R(X, Y ) X Y. Example 37 Here are some examples of relations. 1. Let X = Y = R and R(X, Y ) = {(x, y) X Y : y = x 2 }. 2. Let X = Z {0} and Y = N. Let R(X, Y ) = {(x, y) X Y : y = x 2 }. 3. Let X = Y = Z, and let n be a natural number. Define a relation R(X, Y ) = R(X, X) = {(x, y) : x y mod n}. A relation R(X, X) between X and itself is called a relation on X, and sometimes we denote the relation by x R y (or simply x y). In this example, we have that x R y if and only if x y mod n. 4. Let P denote the set of points in the Euclidean plane. Let be the relation on P defined by p q if and only if p and q are a pair of points in the plane that are the same distance from the origin. 5. Let P be as in the previous example, and let X = P {(0, 0)}. Let be the relation on X defined by p q if and only if p and q lie on the same line through the origin. 6. Let X = Z (Z {0}). Define a relation on X by (a, b) (c, d) if and only if ad bc = 0. 7. X = Y = R. Define x y if and only if x < y. There are two fundamental types of relations we will be interested in: equivalence relations and maps (or functions). Both types of relations satisfy extra properties beyond simply being a relation. Definition 38 Let X be a set and a relation on X. The relation is called reflexive if x x for all x X. The relation is called symmetric if x y implies y x for all x, y X. The relation is called transitive if x y and y z implies x z for all x, y, z X.

If a relation is reflexive, symmetric, and transitive, it is called an equivalence relation. Problem 39 Determine which of the relations in Example 37 are equivalence relations. Definition 40 Let X be a set and let be an equivalence relation on X. For each x X, the equivalence class of x, denoted [x], is the subset of X defined by [x] = {y X : x y}. If [x] is an equivalence class in X and z [x], we say that z is a representative of [x]. Note that an equivalence class can have more than one representative. Problem 41 Determine the equivalence classes of the equivalence relations in Example 37. Theorem 42 Let X be a set. 1. If is an equivalence relation on X, then the set of distinct equivalence classes defined by form a partition of X. 2. Conversely, if {X i } i I is a partition of X into non-empty, mutually disjoint subsets of X, then the relation on X defined by x y if and only if x, y X i for some i is an equivalence relation.

Definition 43 Let X and Y be sets. A map f from X to Y, denoted f : X Y is a relation between X and Y with the property that for every x X, there exists a unique y Y such that (x, y) is in the relation. Notation 44 1. We will write f(x) for y when referring to a map f. 2. If (x, y) is an element of the relation defined by f then we write x f(x). 3. What is wrong with writing the following? What should it be? f : R R x x Problem 45 Determine which relations in Example 37 are maps. Definition 46 Let X and Y be sets and let f : X Y be a map. 1. The set X is called the domain of f. 2. The set Y is called the co-domain, or target, of f. 3. Given a subset W X of the domain, we call f(w ) = {y Y : there exists x W such that y = f(x)} the image of W under f. Here are two important special cases. (a) When W = {x} consist of a single element in X, we call f({x}) the image of x under f. We then abuse notation and write f(x) in place of f({x}). (b) When W = X, we call the image of f or the range of f. 4. Given a subset Z Y of the target, we call f(x) = Im f f 1 (Z) = {x X : f(x) Z} the preimage of Z under f. Here are two important special cases. (a) When Z = {y} consist of a single element, we call f 1 ({y}) = {x X : f(x) = y} the preimage of y under f. We then abuse notation and write f 1 (y) in place of f 1 ({y}).

(b) When Z = Y, then f 1 (Y ) = X. Example 47 Determine which of the following examples are maps and which are not. If it is not a map, explain why. Then, if it is a map, state the domain and range of the map (where possible). 1. Let n be a natural number and let Z/nZ denote the n distinct equivalence classes of congruence modulo n. Define f : Z Z/nZ a [a], where [a] is the equivalence class containing a. 2. Define f : Z/nZ Z [a] a. 3. Let R + = [0, ) denote the set of non-negative real numbers. Define f : R 2 R + (x, y) x 2 + y 2. 4. Let X be any set and define the identity map on X, Id X, by Id X : X X x x. 5. Let f, g be maps from a set X to X. Define the composition of f with g as f g : X X x f(g(x)). Proposition 48 Let f : X Y be a map. The following are equivalent: 1. For all y Y, the preimage f 1 (y) consists at most one element. 2. For all x, x X, if f(x) = f(x ), then x = x. 3. For all x, x X, if x x, then f(x) f(x ). Definition 49 If a map satisfies any of the equivalent statements in Proposition 48, then the maps is called injective or one-to-one. Example 50 Which of the maps in Example 47 are injective?

Example 51 Which of the following are injections? 1. f : Z Z defined by f(x) = x 2. 2. f : Z Z defined by f(x) = x 3. 3. f : [0, ) R defined by f(x) = x 2. 4. f : R R 3 defined by f(t) = (cos t, sin t, t). 5. sin : R R. 6. sin : [0, π/2] [ 1, 1]. 7. sin : [ π/2, π/2] [ 1, 1]. Definition 52 A function f : R R is strictly increasing (strictly decreasing) if for all x 1, x 2 R, f(x 1 ) < f(x 2 ) (f(x 1 ) > f(x 2 )). Problem 53 True or False: A strictly increasing or strictly decreasing function is injective. Proposition 54 Let f : X Y be a map. The following are equivalent: 1. For all y Y, the preimage f 1 (y) consists at least one element. 2. For all y Y, there exists x X such that y = f(x). 3. Im f = Y. Definition 55 If a map satisfies any of the equivalent statements in Proposition 54, then the maps is called surjective or onto. Problem 56 Determine which of the maps in Example 47 and Example 51. Example 57 Let X and Y be sets. Define the projection onto X by and projection onto Y by π X : X Y X (x, y) x π Y : X Y Y (x, y) y. Show that both π X and π Y are surjective functions. Definition 58 A map that is both an injection and a surjection is called a bijection.