DEFINITION Let f : A B and let X A and Y B. The image (set) of X is f(X) = {y B : y = f(x) for...

22
DEFINITION Let f : A B and let X A and Y B. The image (set) of X is f(X) = {y B : y = f(x) for some x X} and the inverse image of Y is f –1 (Y) = {x A : f(x) Y}. Look at the examples and comments on pages 220, 221, and 222. Theorem 4.5.1 Let f : A B, let C and D be subsets of A, and let E and F be subsets of B. Then (a) f(C D) f(C) f(D) , (b) f(C D) = f(C) f(D) , (c) f –1 (E F) = f –1 (E) f –1 (F) , (d) f –1 (E F) = f –1 (E) f –1 (F) .

Transcript of DEFINITION Let f : A B and let X A and Y B. The image (set) of X is f(X) = {y B : y = f(x) for...

Page 1: DEFINITION Let f : A  B and let X  A and Y  B. The image (set) of X is f(X) = {y  B : y = f(x) for some x  X} and the inverse image of Y is f –1 (Y)

DEFINITION Let f : A B and let X A and Y B. The image (set) of X is

f(X) = {y B : y = f(x) for some x X}

and the inverse image of Y is

f –1(Y) = {x A : f(x) Y}.

Look at the examples and comments on pages 220, 221, and 222.

Theorem 4.5.1 Let f : A B, let C and D be subsets of A, and let E

and F be subsets of B. Then

(a) f(C D) f(C) f(D) ,

(b) f(C D) = f(C) f(D) ,

(c) f –1(E F) = f –1(E) f –1(F) ,

(d) f –1(E F) = f –1(E) f –1(F) .

Page 2: DEFINITION Let f : A  B and let X  A and Y  B. The image (set) of X is f(X) = {y  B : y = f(x) for some x  X} and the inverse image of Y is f –1 (Y)

Proof of (a)

Let b f(C D). Then b = f(a) for some a C D.

a C /\ a D

b f(C)

Theorem 4.5.1 Let f : A B, let C and D be subsets of A, and let E

and F be subsets of B. Then

(a) f(C D) f(C) f(D) ,

(b) f(C D) = f(C) f(D) ,

(c) f –1(E F) = f –1(E) f –1(F) ,

(d) f –1(E F) = f –1(E) f –1(F) .

___________________________

___________________________

b f(D) ___________________________

definition of C D

a C /\ b = f(a)

a D /\ b = f(a)

b f(C) f(D) ___________________________definition of f(C) f(D)

f(C D) f(C) f(D) b f(C D) b f(C) f(D)

Page 3: DEFINITION Let f : A  B and let X  A and Y  B. The image (set) of X is f(X) = {y  B : y = f(x) for some x  X} and the inverse image of Y is f –1 (Y)

Theorem 4.5.1 Let f : A B, let C and D be subsets of A, and let E

and F be subsets of B. Then

(a) f(C D) f(C) f(D) ,

(b) f(C D) = f(C) f(D) ,

(c) f –1(E F) = f –1(E) f –1(F) ,

(d) f –1(E F) = f –1(E) f –1(F) .

Proof of (b)

Let b f(C D). Then b = f(a) for some a C D.

[a C /\ b = f(a)] \/ [a D /\ b = f(a)]

[b f(C)] \/ [b f(D)]

___________________________

___________________________

b f(C) f(D) ___________________________

definition of C D

definition of image

definition of f(C) f(D)

f(C D) f(C) f(D) b f(C D) b f(C) f(D)

Page 4: DEFINITION Let f : A  B and let X  A and Y  B. The image (set) of X is f(X) = {y  B : y = f(x) for some x  X} and the inverse image of Y is f –1 (Y)

Proof of (b)

Let b f(C D). Then b = f(a) for some a C D.

[a C /\ b = f(a)] \/ [a D /\ b = f(a)]

[b f(C)] \/ [b f(D)]

___________________________

___________________________

b f(C) f(D) ___________________________

definition of C D

definition of image

definition of f(C) f(D)

f(C D) f(C) f(D) b f(C D) b f(C) f(D)

Let b f(C) f(D). Then b f(C) or b f(D).

f(C) f(D) f(C D), since b f(C) f(D) b f(C D)

If b f(C), then b = f(a) for some a C C D.

If b f(D), then b = f(a) for some a D C D.

In either case, we can say b = f(a) for some a _________ .C D

Since f(C D) f(C) f(D) and f(C) f(D) f(C D), we have f(C D) = f(C) f(D).

Page 5: DEFINITION Let f : A  B and let X  A and Y  B. The image (set) of X is f(X) = {y  B : y = f(x) for some x  X} and the inverse image of Y is f –1 (Y)

Theorem 4.5.1 Let f : A B, let C and D be subsets of A, and let E

and F be subsets of B. Then

(a) f(C D) f(C) f(D) ,

(b) f(C D) = f(C) f(D) ,

(c) f –1(E F) = f –1(E) f –1(F) ,

(d) f –1(E F) = f –1(E) f –1(F) .Proof of (c)a f –1(E F)f(a) E F

___________________________definition of inverse image

f(a) E /\ f(a) F

___________________________definition of intersection

a f –1(E) /\ a f –1(F)

___________________________definition of inverse image

a f –1(E) f –1(F)

___________________________definition of intersection

Page 6: DEFINITION Let f : A  B and let X  A and Y  B. The image (set) of X is f(X) = {y  B : y = f(x) for some x  X} and the inverse image of Y is f –1 (Y)

Theorem 4.5.1 Let f : A B, let C and D be subsets of A, and let E

and F be subsets of B. Then

(a) f(C D) f(C) f(D) ,

(b) f(C D) = f(C) f(D) ,

(c) f –1(E F) = f –1(E) f –1(F) ,

(d) f –1(E F) = f –1(E) f –1(F) .Proof of (d)a f –1(E F)f(a) E F

___________________________definition of inverse image

f(a) E \/ f(a) F

___________________________definition of union

a f –1(E) \/ a f –1(F)

___________________________definition of inverse image

a f –1(E) f –1(F)

___________________________definition of union

Page 7: DEFINITION Let f : A  B and let X  A and Y  B. The image (set) of X is f(X) = {y  B : y = f(x) for some x  X} and the inverse image of Y is f –1 (Y)

1 (b)

Exercises 4.5 (pages 223-225)

Page 8: DEFINITION Let f : A  B and let X  A and Y  B. The image (set) of X is f(X) = {y  B : y = f(x) for some x  X} and the inverse image of Y is f –1 (Y)

2 (b)

Page 9: DEFINITION Let f : A  B and let X  A and Y  B. The image (set) of X is f(X) = {y  B : y = f(x) for some x  X} and the inverse image of Y is f –1 (Y)

2 (d)

Page 10: DEFINITION Let f : A  B and let X  A and Y  B. The image (set) of X is f(X) = {y  B : y = f(x) for some x  X} and the inverse image of Y is f –1 (Y)

(e)

Page 11: DEFINITION Let f : A  B and let X  A and Y  B. The image (set) of X is f(X) = {y  B : y = f(x) for some x  X} and the inverse image of Y is f –1 (Y)

2 (f)

Page 12: DEFINITION Let f : A  B and let X  A and Y  B. The image (set) of X is f(X) = {y  B : y = f(x) for some x  X} and the inverse image of Y is f –1 (Y)

3 (a)

Page 13: DEFINITION Let f : A  B and let X  A and Y  B. The image (set) of X is f(X) = {y  B : y = f(x) for some x  X} and the inverse image of Y is f –1 (Y)

3 (b)

Page 14: DEFINITION Let f : A  B and let X  A and Y  B. The image (set) of X is f(X) = {y  B : y = f(x) for some x  X} and the inverse image of Y is f –1 (Y)

(c)

Page 15: DEFINITION Let f : A  B and let X  A and Y  B. The image (set) of X is f(X) = {y  B : y = f(x) for some x  X} and the inverse image of Y is f –1 (Y)

3 (d)

Page 16: DEFINITION Let f : A  B and let X  A and Y  B. The image (set) of X is f(X) = {y  B : y = f(x) for some x  X} and the inverse image of Y is f –1 (Y)

(e)

Page 17: DEFINITION Let f : A  B and let X  A and Y  B. The image (set) of X is f(X) = {y  B : y = f(x) for some x  X} and the inverse image of Y is f –1 (Y)

3 (f)

Page 18: DEFINITION Let f : A  B and let X  A and Y  B. The image (set) of X is f(X) = {y  B : y = f(x) for some x  X} and the inverse image of Y is f –1 (Y)

4 (a)

Page 19: DEFINITION Let f : A  B and let X  A and Y  B. The image (set) of X is f(X) = {y  B : y = f(x) for some x  X} and the inverse image of Y is f –1 (Y)

4 (d)

Page 20: DEFINITION Let f : A  B and let X  A and Y  B. The image (set) of X is f(X) = {y  B : y = f(x) for some x  X} and the inverse image of Y is f –1 (Y)

(e)

Page 21: DEFINITION Let f : A  B and let X  A and Y  B. The image (set) of X is f(X) = {y  B : y = f(x) for some x  X} and the inverse image of Y is f –1 (Y)

4 (f)

Page 22: DEFINITION Let f : A  B and let X  A and Y  B. The image (set) of X is f(X) = {y  B : y = f(x) for some x  X} and the inverse image of Y is f –1 (Y)

6