1 Set Theory Second Part. 2 Disjoint Set let A and B be a set. the two sets are called disjoint if their intersection is an empty set. Intersection of.

Slides:



Advertisements
Similar presentations
CSE 20 Lecture 9 Boolean Algebra: Theorems and Proofs CK Cheng April 26, 2011 Lecture notes 1.
Advertisements

More Set Definitions and Proofs 1.6, 1.7. Ordered n-tuple The ordered n-tuple (a1,a2,…an) is the ordered collection that has a1 as its first element,
Chapter 3 Elementary Number Theory and Methods of Proof.
Discrete Mathematics I Lectures Chapter 6
Sets Lecture 11: Oct 24 AB C. This Lecture We will first introduce some basic set theory before we do counting. Basic Definitions Operations on Sets Set.
Discrete Mathematics Lecture 5 Alexander Bukharovich New York University.
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
Instructor: Hayk Melikya
(CSC 102) Discrete Structures Lecture 14.
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
Week 21 Basic Set Theory A set is a collection of elements. Use capital letters, A, B, C to denotes sets and small letters a 1, a 2, … to denote the elements.
2.1 Sets. DEFINITION 1 A set is an unordered collection of objects. DEFINITION 2 The objects in a set are called the elements, or members, of the set.
Sets Definition of a Set: NAME = {list of elements or description of elements} i.e. B = {1,2,3} or C = {x  Z + | -4 < x < 4} Axiom of Extension: A set.
SET.   A set is a collection of elements.   Sets are usually denoted by capital letters A, B, Ω, etc.   Elements are usually denoted by lower case.
Discrete Structures Chapter 3 Set Theory Nurul Amelina Nasharuddin Multimedia Department.
Sets 1.
Sets 1.
CSE115/ENGR160 Discrete Mathematics 02/14/12 Ming-Hsuan Yang UC Merced 1.
1 Set Theory. 2 Set Properties Commutative Laws: Associative Laws: Distributive Laws:
1 Set Theory. Notation S={a, b, c} refers to the set whose elements are a, b and c. a  S means “a is an element of set S”. d  S means “d is not an element.
1 Set Theory. Notation S={a, b, c} refers to the set whose elements are a, b and c. a  S means “a is an element of set S”. d  S means “d is not an element.
1 Section 7.1 Relations and their properties. 2 Binary relation A binary relation is a set of ordered pairs that expresses a relationship between elements.
Lecture 3 Operations on Sets CSCI – 1900 Mathematics for Computer Science Fall 2014 Bill Pine.
Rosen 1.6. Approaches to Proofs Membership tables (similar to truth tables) Convert to a problem in propositional logic, prove, then convert back Use.
Operations on Sets – Page 1CSCI 1900 – Discrete Structures CSCI 1900 Discrete Structures Operations on Sets Reading: Kolman, Section 1.2.
Chapter 2 The Basic Concepts of Set Theory © 2008 Pearson Addison-Wesley. All rights reserved.
Set theory Sets: Powerful tool in computer science to solve real world problems. A set is a collection of distinct objects called elements. Traditionally,
2.1 – Sets. Examples: Set-Builder Notation Using Set-Builder Notation to Make Domains Explicit Examples.
Sets Defined A set is an object defined as a collection of other distinct objects, known as elements of the set The elements of a set can be anything:
CS 103 Discrete Structures Lecture 10 Basic Structures: Sets (1)
1 ENM 503 Block 1 Algebraic Systems Lesson 2 – The Algebra of Sets The Essence of Sets What are they?
Sets Define sets in 2 ways  Enumeration  Set comprehension (predicate on membership), e.g., {n | n  N   k  k  N  n = 10  k  0  n  50} the set.
Language: Set of Strings
CompSci 102 Discrete Math for Computer Science
Copyright © Cengage Learning. All rights reserved.
Sets, Relations, and Lattices
§ 每周五交作业,作业成绩占总成绩的 10% ; § 平时不定期的进行小测验,占总成绩的 20% ; § 期中考试成绩占总成绩的 20% ;期终考 试成绩占总成绩的 50% § 每周五下午 1 ; 00—3 : 00 ,答疑 § 地点:软件楼 301.
Week 6 - Friday.  What did we talk about last time?  Solving recurrence relations.
ELEMENTARY SET THEORY.
CSE 311 Foundations of Computing I Lecture 9 Proofs and Set Theory Autumn 2012 CSE
Chapter 2 With Question/Answer Animations. Section 2.1.
Rosen 1.6, 1.7. Basic Definitions Set - Collection of objects, usually denoted by capital letter Member, element - Object in a set, usually denoted by.
Lecture # 12 Set Identities
Ch. 2 Basic Structures Section 1 Sets. Principles of Inclusion and Exclusion | A  B | = | A | + | B | – | A  B| | A  B  C | = | A | + | B | + | C.
Snick  snack Supplement: Worked Set Proofs Based on work by Meghan Allen.
Review 2 Basic Definitions Set - Collection of objects, usually denoted by capital letter Member, element - Object in a set, usually denoted by lower.
Discrete Mathematics CS 2610 January 27, part 2.
Copyright © Cengage Learning. All rights reserved. CHAPTER 8 RELATIONS.
Set Operations Section 2.2.
Thinking Mathematically Venn Diagrams and Set Operations.
The Basic Concepts of Set Theory. Chapter 1 Set Operations and Cartesian Products.
Chapter 2 1. Chapter Summary Sets (This Slide) The Language of Sets - Sec 2.1 – Lecture 8 Set Operations and Set Identities - Sec 2.2 – Lecture 9 Functions.
Section 9.1. Section Summary Relations and Functions Properties of Relations Reflexive Relations Symmetric and Antisymmetric Relations Transitive Relations.
Section 6.1 Set and Set Operations. Set: A set is a collection of objects/elements. Ex. A = {w, a, r, d} Sets are often named with capital letters. Order.
Set. Outline Universal Set Venn Diagram Operations on Sets.
Relations Chapter 9 Copyright © McGraw-Hill Education. All rights reserved. No reproduction or distribution without the prior written consent of McGraw-Hill.
Lecture 6 Set Theory.
Copyright © Cengage Learning. All rights reserved.
Set Theory.
Set, Combinatorics, Probability & Number Theory
Week 7 - Monday CS322.
Taibah University College of Computer Science & Engineering Course Title: Discrete Mathematics Code: CS 103 Chapter 2 Sets Slides are adopted from “Discrete.
Exercises Show that (P  Q)  (P)  (Q)
Set Theory A B C.
Set Operations Section 2.2.
Session – 2 SETS & Operations of SETS
Sets. EXAMPLE 1 The set O of odd positive integers less than 10 can be expressed by O = { l, 3, 5, 7, 9}. * This way of describing a set is known as.
Applied Discrete Mathematics Week 3: Sets
Lecture Sets 2.2 Set Operations.
CSC102 - Discrete Structures (Discrete Mathematics) Set Operations
Presentation transcript:

1 Set Theory Second Part

2 Disjoint Set let A and B be a set. the two sets are called disjoint if their intersection is an empty set. Intersection of set:  A={1,3,5,7,9}  B={2,4,6,8,10} A  B= { } = , thus A and B are disjoint

3 Cartesian Product Ordered n-tuples has a 1 as its first element, a 2 as its second element, …and a n as its nth element. (a 1,a 2,…,a n ). 2 ordered n-tuples are equal if and only if each corresponding pair of their elements is equal.  (a 1,a 2,…,a n ) = (b 1,b 2,…,b n ) if & only if a i = b i for i = 1,2,…,n. 2-tuples are called ordered pairs:  ordered pairs (a,b) & (c,d) are equal if a = c & b = d.  ordered pairs (a,b) & (b,a) are equal if a = b.

4 Cartesian Product Is (1,2) = (2,1)? No. Is (3,(-2) 2,1/2) = (√9,4,3/6)? Yes. Let A and B be sets. The Cartesian product of A and B, denoted by A x B, is the set of all ordered pairs (a, b) where a  A  b  B. Hence, A x B = { (a,b) | a  A  b  B}.

5 Cartesian Product E.g. What is the Cartesian product of A = {1,2} and B = (a,b,c} ? A x B = {(1,a), (1,b), (1,c), (2,a), (2,b), (2,c)}. The Cartesian product of the set A 1, A 2, …, A n, denoted by A 1 x A 2 x … x A n is the set of ordered n-tupples (a 1, a 2,…,a n ), where a i belongs to A i for i=1,2,…,n. In other words, A 1 x A 2 x … x A n = {(a 1, a 2,…,a n ) | a i  A i for i =1,2,…,n}

6 Set Theory Objectives On completion of this chapter, student should be able to: Identify element and subset of a set Perform set operations Establish set properties (equalities) using element arguments.

7 Properties of Set Subset relations 1.Inclusion of Intersection: For all sets A and B, (a) (A  B)  A and (b) (A  B)  B 2. Inclusion in Union (a) A  A  B and (b) B  A  B 3. Transitive of Subsets if A  B and B  C, then A  C (One set is a subset of another)

8 Element Argument The basic method for proving that one set is a subset of another. Let sets X and Y be given. To prove that X  Y 1. Suppose that x is a particular but arbitrarily chosen element of x 2. Show that x is an element of Y.

9 Example Prove that for all sets A and B, A  B  A Proof: Suppose x is any element of A  B. Then x  A and x  B by definition of intersection. In particular x  A.

10 Set Identities

11 Set Identities

12 Set Identities 11. U c =  and  c =U Complements of U &  12. A – B = A  B c Set Difference Law

13 Proving Set Identities Basic Method Let sets X and Y be given. To prove that X = Y: 1.Prove that X  Y 2.Prove that Y  X.

14 Distributive Law Prove that A  (B  C) = (A  B)  (A  C) Suppose that x  A  (B  C). Then x  A or x  (B  C). Case 1: (x  A) Since x  A then x  A  B and also x  A  C by definition of union Hence x  (A  B)  (A  C) Case 2: (x  B  C) Since (x  B  C), then x  B and x  C. Since x  B, x  A  B and since x  C, x  A  C. Hence x  (A  B)  (A  C)

15 Show that (A  B)  (A  C)  A  (B  C) Suppose that x  (A  B)  (A  C) Then x  (A  B) and x  (A  C). Case 1: (x  A) Since x  A we can conclude that A  (B  C) Case 2: (x  A ) Since x  A, then x  B  C. It follows that x  A  (B  C). Hence (A  B)  (A  C)  A  (B  C) Therefore, A  (B  C) = (A  B)  (A  C)

16 Question ???

17 De Morgan’s Law Prove that (A  B) c = A c  B c Show that (A  B) c  A c  B c x  (A  B) c then x  (A  B). It means x  A and x  B by DeMorgan’s Law. Hence x  A c and x  B c or x  A c  B c So (A  B) c  A c  B c Next is to show that A c  B c  (A  B) c Do it yourself!

18 Algebraic Proofs of Set Identities Can use set identities to derive new set identities or to simplify a complicated set expression A  B) c  A c  B c Prove that (A  B)–C = (A–C)  (B–C) (A  B)–C = (A  B)  C c by the set difference law = C c  (A  B) by the comm. law = (C c  A)  (C c  B) by the distributive law = (A  C c )  (B  C c ) comm. law = (A-C)  (B-C) by the set difference law

19 Question ???

20 Another example Prove that A-(A  B)=(A-B) A-(A  B)= A  (A  B) c by the set difference law = A  (A c  B c ) by the De Morgan’s law = (A  A c )  (A  B c ) the distributive law =   (A  B c ) the complement law = (A  B c ) the identity law = A-B by the set difference law

21 Activity Use set identities to: Show that (A  (B  C)) c = (C c  B c )  A c Simplify the expression [((A  B)  C) c  B c )] c

22 Summary Covered: LO: Identify element and subset of a set Basic definitions: e.g. element and subset of a set, empty set, power set, cartesian product LO: Perform set operations Union, intesection, set difference, complement, symmetric difference. LO: Establish set properties (equalities) using element arguments. Proving set identities using element argument

23 TERIMA KASIH