chapter 2: basic structures: sets, functions,jin/discrete10spring/l04.pdf · sets. informally: a ....

31
Sets 1

Upload: others

Post on 24-Mar-2020

13 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Sets

1

Page 2: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Sets

Informally: A set is a collection of (mathematical) objects,

with the collection treated as a single mathematical object.

real numbers, •

complex numbers, C

integers,

All students in our class

Examples:

Page 3: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Defining Sets

Sets can be defined directly:

e.g. {1,2,4,8,16,32,…},

{CSC1130,CSC2110,…}

Order, number of occurence

are not important.

e.g. {A,B,C} = {C,B,A} = {A,A,B,C,B}

A set can be an element of another set.

{1,{2},{3,{4}}}

Page 4: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Defining Sets by Predicates

The set of prime numbers:

){ }(|x A P x

The set of elements, x, in A such that

P(x) is true.

Page 5: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Commonly Used Sets

N

= {0, 1, 2, 3, …}, the set of natural numbers•

Z

= {…, -2, -1, 0, 1, 2, …}, the set of integers•

Z+

= {1, 2, 3, …}, the set of positive integers•

Q

= {p/q

| p Z, q Z, and q ≠

0}, the set of rational numbers•

R, the set of real numbers

Page 6: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Special Sets

Empty Set (null set):

a set that has no elements, denoted by ф

or {}. •

Example: The set of all positive integers that are greater than their squares is an empty set.

Singleton set: a set with one element •

Compare: ф and

{ф}–

Ф: an empty set. Think of this as an empty folder–

{ф}: a set with one element. The element is an empty set. Think of this as an folder with an empty folder in it.

Page 7: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Venn Diagrams

Represent sets graphically•

The universal set U, which contains all the objects under consideration, is represented by a rectangle. The set varies depending on which objects are of interest.

Inside the rectangle, circles or other geometrical figures are used to represent sets.

Sometimes points are used to represent the particular elements of the set.

7

a

V eio

uU

Page 8: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

{7, “Albert”, /2, T}

Membership

x A x is an element

of Ax is in

A

/2

{7, “Albert”,/2, T}

/3

{7, “Albert”,/2, T}

14/2

{7, “Albert”,/2, T}

7 2/3

Examples:

Page 9: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Containment

A B A is a subset of BA is contained in

B

Every element of A is also an element of B.

Examples:

R, {3}{5,7,3}

every set, A A

A is a proper subset of B

Page 10: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Set Equivalence

Two sets are equal if and only if they have the same elements. That is, if A and B are sets, then A and B are equal if and only

if

We write A = B if A and B are equal sets.

B). xA x(x

• Example:•

Are sets {1, 3, 5} and {3, 5,1} equal?

• Are sets {1, 3, 3, 3, 5, 5, 5, 5} and {1, 3, 5} equal?

Page 11: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Basic Operations on Sets

:: { | ( ) ( )}A B x x A x B union:

Page 12: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

:: { | }A B x x A x B intersection:

Basic Operations on Sets

Page 13: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Basic Operations on Sets

difference: :: { | ( ) ( )}A B x x A x B

Page 14: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Basic Operations on Sets

:: { | } x D x A DA Acomplement:

Page 15: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Cardinality

Example:–

Let A be the set of odd positive integers less than 10. Then |A| = 5.

Let S be the set of letters in the English alphabet. Then |A| = 26.

Null set has no elements, | ф | = 0.

15

Let S be a set. If there are exactly n distinct elements in S where n is a nonnegative integer, we say that S is a finite set and that n is the cardinality of S. The cardinality of S is denoted by |S|.

Page 16: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Infinite Sets

Example: The set of positive integers is infinite.

16

A set is said to be infinite if it is not finite.

Page 17: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Cardinality

Finding the cardinality of |A U B|:|A U B| = |A| + |B| -

|A ∩ B |•

Example: A = {1,3,5,7,9}, B = {5,7,9,11}|A U B| = |A| + |B| -

|A ∩ B |= 5 + 4 –

3 = 6

17

Page 18: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Partitions of Sets

Two sets are disjoint

if their intersection is empty.

A collection of nonempty sets {A1

, A2

, …, An

} is a partition

of a set Aif and only if

A1

, A2

, …, An

are mutually disjoint.

Page 19: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Power Sets

( ) :: { |o }p w A S S A

pow( , ) , , , ,a b a b a b

power set:

Page 20: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Cartesian Products

Sets are unordered, a different structure is needed to represent

an ordered collections –

ordered n-tuples.

Two ordered n-tuples

are equal if and only if each corresponding pair of their elements is equal.–

(a1, a2,…, an

) = (b1, b2,…, bn

) if and only if ai

= bi

for i = 1, 2, …, n

20

The ordered n-tuple (a1, a2,…, an

) is the ordered collection that has a1as its first element, a2

as its second element, …, and an

as its nth element.

Page 21: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Cartesian Products

Example: What is the Cartesian product of A = {1,2} and B = {a,b,c}?Solution:

A ×

B = {(1,a), (1,b), (1,c), (2,a), (2,b), (2,c)}•

Cartesian product of A ×

B and B ×

A are not equal, unless A = ф or B

= ф (so that A ×

B = ф ) or

A = B. B ×

A = {(a,1),(a,2),(b,1),(b,2),(c,1),(c,2)}

21

Let A and B be sets. The Cartesian product of A and B, denoted by A ×B, is the set of all ordered pairs (a, b), where a A and b B. Hence,

A ×

B = {(a,b)| a A Λ b B}.

Page 22: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Cartesian products

Example: What is the Cartesian product of A ×

B ×

C where A= {0,1}, B = {1,2}, and C = {0,1,2}?Solution:A ×

B ×

C= {(0,1,0), (0,1,1), (0,1,2), (0,2,0), (0,2,1), (0,2,2), (1,1,0), (1,1,1), (1,1,2), (1,2,0), (1,2,1), (1,2,2)}

22

The Cartesian product of sets A1, A2, …, An

, denoted by A1 × A2

× …×

An

is the set of ordered n-tuples

(a1, a2, …, an

), where ai

belongs to Ai

for i = 1,2, …, n. In other words,A1 × A2

× … × An = {(a1, a2, …, an

) | ai

Ai

for i = 1,2, …, n}.

Page 23: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Set Identities

Distributive Law:

Page 24: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Set Identities

De Morgan’s Law:

Page 25: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Proving Set Identities

Page 26: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Proving Set Identities

Page 27: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Computer Representation of Sets

Represent a subset A of U

with the bit string of length n, where the ith

bit in the string is 1 if ai

belongs to A and is 0 if ai

does not belong to A.

Example: –

Let U = {1,2,3,4,5,6,7,8,9,10}, and the ordering of elements of U has the elements in increasing order; that is ai

= i. What bit string represents the subset of all odd integers in

U?Solution: 10 1010 1010What bit string represents the subset of all even integers in U?Solution: 01 010 10101What bit string represents the subset of all integers not exceeding 5 in U?Solution: 11 1110 0000What bit string represents the complement of the set {1,3,5,7,9}?Solution: 01 0101 0101

27

Page 28: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Logic and Bit Operations

Computers represent information using bits.•

A bit

is a symbol with two possible values, 0 and 1.•

By convention, 1 represents T (true) and 0 represents F (false).

A variable is called a Boolean variable if its value is either true or false.

Bit operation –

replace true by 1 and false by 0 in logical operations.

Table for the Bit Operators OR, AND, and XOR.x y x ν

y x Λ

y x y

0011

0101

0111

0001

0110

28

Page 29: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Logic and Bit Operations

Example: Find the bitwise OR, bitwise AND, and bitwise XOR of the bit string 01 1011 0110 and 11 0001 1101.

DEFINITION 7A bit string is a sequence of zero or more bits. The length of this string is the number of bits in the string.

Solution:

01 1011 0110

11 0001 1101

-------------------

11 1011 1111 bitwise OR 01 0001 0100 bitwise AND 10 1010 1011 bitwise XOR

29

Page 30: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Set Operations

The bit string for the union is the bitwise OR of the bit string for the two sets. The bit string for the intersection is the bitwise

AND

of the bit strings for the two sets.•

Example:–

The bit strings for the sets {1,2,3,4,5} and {1,3,5,7,9} are 11 1110 0000 and 10 1010 1010, respectively. Use bit strings to find the union and intersection of these sets. Solution:Union:

11 1110 0000 V 10 1010 1010

= 11 1110 1010, {1,2,3,4,5,7,9}Intersection:

11 1110 0000 Λ

10 1010 1010

= 10 1010 0000, {1,3,5}

30

Page 31: Chapter 2: Basic Structures: Sets, Functions,jin/Discrete10Spring/L04.pdf · Sets. Informally: A . set. is a collection of (mathematical) objects, with the collection treated as a

Let :: Sets |W S S S

S W S Sso

Russell’s Paradox

There is a male barber who shaves all those men, and only those men,who do not shave themselves.

Does the barber shave himself?