Lecture 2.3: Set Theory, and Functions* CS 250, Discrete Structures, Fall 2011 Nitesh Saxena *Adopted from previous lectures by Cinda Heeren.

Lecture 2.3: Set Theory, and Functions*

CS 250, Discrete Structures, Fall 2011

Nitesh Saxena

*Adopted from previous lectures by Cinda Heeren

9/6/2011 Lecture 2.3 -- Set Theory, and Functions

2

Course Admin Slides from previous lectures all posted HW1 Posted

Due at 11am 09/09/11 Please follow all instructions Recall: late submissions will not be accepted

Word Equation editor; Open Office; Alt-Codes

Please pick up your competency exams, if you haven’t done so


3

Outline

Sets: Inclusion/Exclusion Principle Functions


4

Suppose to the contrary, that A B , and that x A B.

A Proof (direct and indirect)Pv that if (A - B) U (B - A) = (A U B) then

Then x cannot be in A-B and x cannot be in B-A.

But x is in A U B since (A B) (A U B).

A B =

Thus, A B = .

a) A U B = b) A = B

c) A B = d) A-B = B-A =

Then x is not in (A - B) U (B - A).


5

Set Theory - Inclusion/Exclusion

Example:How many people are wearing a watch? aHow many people are wearing sneakers?

b

How many people are wearing a watch OR sneakers? a + b

What’s wrong?

AB

Wrong.

|A B| = |A| + |B| - |A B|


6

Set Theory - Inclusion/Exclusion

Example:There are 217 cs majors.157 are taking cs125.145 are taking cs173.98 are taking both.

How many are taking neither?

217 - (157 + 145 - 98) = 13

125173


7

Set Theory – Generalized Inclusion/Exclusion

Suppose we have:

And I want to know |A U B U C|

A B

C

|A U B U C| = |A| + |B| + |C|

+ |A B C| - |A B| - |A C| - |B C|

Now let’s do it for 4 sets!

kidding.


8

Set Theory - Generalized Inclusion/Exclusion

For sets A1, A2,…An we have:

|


9

Functions

Suppose we have:

And I ask you to describe the yellow function.

Notation: f: RR, f(x) = -(1/2)x - 25

What’s a function? y = f(x) = -(1/2)x - 25

domain co-domain

-50 -25


10

Functions: Definitions

A function f : A B is given by a domain set A, a codomain set B, and a rule which for every element a of A, specifies a unique element f (a) in B

f (a) is called the image of a, while a is called the pre-image of f (a)

The range (or image) of f is defined byf (A) = {f (a) | a A }.


11

Function or not?

A

B

A

B


12

Functions: examples

Ex: Let f : Z R be given by f (x ) = x 2

Q1: What are the domain and co-domain?Q2: What’s the image of -3 ?Q3: What are the pre-images of 3, 4?Q4: What is the range f ?


13

Functions: examplesf : Z R is given by f (x ) = x 2

A1: domain is Z, co-domain is RA2: image of -3 = f (-3) = 9A3: pre-images of 3: none as 3 isn’t an

integer! pre-images of 4: -2 and 2

A4: range is the set of perfect squares = {0,1,4,9,16,25,…}


14

Functions: examples

A = {Michael, Tito, Janet, Cindy, Bobby}B = {Katherine Scruse, Carol Brady, Mother

Teresa}

Let f: A B be defined as f(a) = mother(a).

Michael Tito Janet Cindy Bobby

Katherine Scruse

Carol Brady

Mother Teresa


15

Functions - image set

For any set S A, image(S) = {f(a) : a S}

So, image({Michael, Tito}) = {Katherine Scruse} image(A) = B - {Mother Teresa}

image(A) is also called range

image(S) = f(S)


Katherine Scruse

Carol Brady

Mother Teresa


16

Functions – preimage set

For any S B, preimage(S) = {a A: f(a) S}

So, preimage({Carol Brady}) = {Cindy, Bobby} preimage(B) = A

preimage(S) = f-

1(S)


Katherine Scruse

Carol Brady

Mother Teresa


17

Functions - image & preimage sets

What is image(preimage(S))?a) Sb) { }c) subset of Sd) superset of S e) who knows?

S


Katherine Scruse

Carol Brady

Mother Teresa


18

Functions - image & preimage sets

What is preimage(image(S))?

Suppose S is {Janet, Cindy} preimage(image(S))

= A


Katherine Scruse

Carol Brady

Mother Teresa


21

Functions - injection

A function f: A B is one-to-one (injective, an injection) if a,b,c, (f(a) = b f(c) = b) a = c

Not one-to-one

Every b B has at most 1 preimage.


Katherine Scruse

Carol Brady

Mother Teresa


22

Functions - surjection

A function f: A B is onto (surjective, a surjection) if b B, a A, f(a) = b

Not onto

Every b B has at least 1 preimage.


Katherine Scruse

Carol Brady

Mother Teresa


23

Functions - bijection

A function f: A B is bijective if it is one-to-one and onto.

Isaak Bri

Lynette

Aidan Evan

Cinda Dee Deb Katrina Dawn

Every b B has exactly 1 preimage.

An important implication of this

characteristic:The preimage (f-1)

is a function!

Alice Bob Tom

Charles Eve

A B C D

A-


24

Functions - examples

Suppose f: R+ R+, f(x) = x2.

Is f one-to-one?

Is f onto?

Is f bijective?

yes

yes

yes


25


Suppose f: R R+, f(x) = x2.

Is f one-to-one?

Is f onto?

Is f bijective?

no

yes

no


26


Suppose f: R R, f(x) = x2.

Is f one-to-one?

Is f onto?

Is f bijective?

no

no

no


27


Q: Which of the following are 1-to-1, onto, a bijection? If f is invertible, what is its inverse?

1. f : Z R is given by f (x ) = x 2

2. f : Z R is given by f (x ) = 2x3. f : R R is given by f (x ) = x 3

4. f : Z N is given by f (x ) = |x |5. f : {people} {people} is given by

f (x ) = the father of x.


28


1. f : Z R, f (x ) = x 2: none2. f : Z Z, f (x ) = 2x : 1-13. f : R R, f (x ) = x 3: 1-1, onto,

bijection, inverse is f (x ) = x (1/3)

4. f : Z N, f (x ) = |x |: onto5. f (x ) = the father of x : none


29

Today’s Reading Rosen 2.3 and 2.4

Lecture 2.3: Set Theory, and Functions* CS 250, Discrete Structures, Fall 2011 Nitesh Saxena *Adopted from previous lectures by Cinda Heeren.

Documents

b u b

b slide

b ca b

b wrong

c b c

u b u c

aa u b

domain set