CSC Discrete Math I, Spring Sets

Size: px

Start display at page:

Download "CSC Discrete Math I, Spring Sets"

Ralf Stewart
5 years ago
Views:

1 CSC Discrete Math I, Spring 2017 Sets

2 Sets A set is well-defined, unordered collection of objects The objects in a set are called the elements, or members, of the set A set is said to contain its elements The notation a A denotes that a is an element of the set A The notation a / A denotes that a is not an element of the set A

3 The Roster Method of Describing a Set The syntax for the roster method is: S = {a, b, c, d} where the members of a set are delimited by curly braces and separated by commas The order does not matter: S = {a, b, c, d} = {b, c, a, d} Listing an element more than once does not change the set: S = {a, b, c, d} = {a, b, a, b, c, d, c} Ellipses (...) can be used when there is a clear pattern: S = {a, b, c,..., z}

4 Set-Builder Notation Set-Builder notation is a method of describing sets where the properties that all members must meet are specified: S = {x x > 0 x < 100} Reading set-builder notation: defined as {}}{}{{} S name of set = { x }{{} all elements such that {}}{ P(x) }{{} } P(x) is true

5 Interval Notation [a, b] = {x a x b} (closed interval) [a, b) = {x a x < b} (a, b] = {x a < x b} (a, b) = {x a < x < b} (open interval)

6 Some Important Sets N: the set of natural numbers Z: the set of integers Z + : the set of positive integers R: the set of real numbers R + : the set of positive real numbers C: the set of complex numbers Q: the set of rational numbers

7 The Universal Set and Empty Set The universal set, U, is the set containing everything currently under consideration The empty set, denoted as or {}, is the set with no elements Note: the empty set is different than the set containing the empty set: { }

8 Set Equality Definition: Two sets are equal if and only if they have the same elements That is, the sets A and B are equal if and only if x(x A x B)

9 Subsets Definition: The set A is a subset of B if and only if every element of A is also an element of B The notation A B is used to indicate that A is a subset of B A B holds if and only if x(x A x B) Because a is always false, S, for every set S Because a S a S, S S, for every set S

10 Showing Things About Subsets To show that A B, show that if x A, then x B To show that A B, find an element x A with x B

11 Set Equality with Subset Notation Recall A = B iff x(x A x B) Using logical equivalences, we have A = B iff x[(x A x B) (x B x A)] This is equivalent to: A B B A

12 Proper Subsets Definition: If A B, but A B, then we say A is a proper subset of B, denoted by A B If A B, then x(x A x B) x(x B x A) is true

13 Set Cardinality Definition: If there are exactly n distinct elements in the set S where n is a nonnegative integer, we say that S is finite otherwise S is infinite Definition: The cardinality of a finite set A, denoted by A, is the number of (distinct) elements in A

14 Power Sets Definition: The set of all subsets of a set A, denoted P(A), is called the power set of A Example: If A = {a, b}, then P(A) = {, {a}, {b}, {a, b}} If a set has n elements, then the cardinality of the power set is 2 n

15 Tuples The ordered n-tuple, denoted as (a 1, a 2,..., a n ) is an ordered collection the has a 1 as its first element, a 2 as its second element and so until a n as its last element Two n-tuples are equal if and only if their corresponding elements are equal 2-tuples are called ordered pairs The ordered pairs (a, b) and (c, d) are equal iff a = c and b = d

16 Cartesian Product Definition: The Cartesian Product of two sets A and B, denoted by A B is the set of ordered pairs (a, b) where a A and b B That is, A B = {(a, b) a A b B} Example: A = {a, b}, B = {1, 2, 3} A B = {(a, 1), (a, 2), (a, 3), (b, 1), (b, 2), (b, 3)}

17 Cartesian Product Definition: The Cartesian products of the sets A 1, A 2,..., A n, denoted by A 1 A 2... A n, is the set of ordered n-tuples (a 1, a 2,..., a n ) where a i A i for i = 1,... n A 1 A 2... A n = {(a 1, a 2,..., a n ) a i A i for i = 1, 2,..., n}

18 Truth Sets of Quantifiers Given a predicate P and a domain D, we define the truth set of P to be the set of elements in D for which P(x) is true The truth set is denoted by {x D P(x)} Example: the truth set of P(x) where the domain is the integers and P(x) is x = 1 is the set { 1, 1}

19 Boolean Algebra Propositional logic and set theory are both instances of Boolean Algebra The operators in set theory are analogous to the corresponding operator in propositional logic All sets are assumed to be subsets of the universal set U

20 Union Definition: Let A and B be sets. The union of the sets A and B, denoted by A B, is the set {x x A x B}

21 Intersection Definition: The union of sets A and B, denoted by A B, is the set {x x A x B} Note: if the intersection is empty, then A and B are said to be disjoint

22 Complement Definition: If A is a set, then the complement of A (with respect to U), denoted by A, is the set {x U x A}

23 Difference Definition: Let A and B be sets. The difference of A and B, denoted by A B, is the set {x x A x B} = A B

24 Cardinality of the Union Operator Inclusion-Exclusion: A B = A + B A B

25 Symmetric Difference Definition: The symmetric difference of A and B, denoted A B, is the set (A B) (B A)

26 Set Identities Identity Laws: A = A, A U = A Domination Laws: A U = U, A = Idempotent Laws: A A = A, A A = A Complementation Law: (A) = A Commutative Laws: A B = B A, A B = B A Associative Laws: A (B C) = (A B) C A (B C) = (A B) C Distributive Laws: A (B C) = (A B) (A C) A (B C) = (A B) (A C) De Morgan s Laws: A B = A B, A B = A B Absorption Laws: A (A B) = A, A (A B) = A Complement Laws: A A = U, A A

27 Proving Set Identities Prove that each side of the identity is a subset of the other Use set builder notation and propositional logic Membership tables

28 Proof of Second De Morgan Law Show that 1 A B A B and 2 A B A B

29 Proof of Second De Morgan Law First part: Show that A B A B x A B assumption x A B def. of complement ((x A) (x B)) def. of intersection (x A) (x B) De Morgan s Law in propositional logic x A x B def. of negation x A x B def. of complement x A B def. of union

30 Proof of Second De Morgan Law Second part: Show that A B A B x A B assumption (x A) (x B) def. union (x A) (x B) def. of complement (x A) (x B) def. of negation ((x A) (x B)) De Morgan s Law in propositional logic (x A B) def. of intersection x A B def. of complement

31 Proof of Second De Morgan Law: Set-Builder Notation A B = {x x A B} def. of complement = {x (x (A B))} def of = {x (x A x B)} def. of intersection = {x (x A) (x B)} De Morgan s law = {x x A x B} def. of = {x x A x B} def. of complement = {x x A B} def. of union = A B meaning of notation

32 Membership Table Example Show A (B C) = (A B) (A C) A B C B C A (B C) A B A C (A B) (A C)

2.1 Sets 2.2 Set Operations

CSC2510 Theoretical Foundations of Computer Science 2.1 Sets 2.2 Set Operations Introduction to Set Theory A set is a structure, representing an unordered collection (group, plurality) of zero or more