Professional Documents
Culture Documents
Theorems
Theorems
5 OF DEVLIN
Composition.
Definition. If f : A → B and g : B → C, the composition of g and f is the function
g ◦ f : A → C defined by
(g ◦ f )(x) = g(f (x)).
Theorem. Let f : A → B, g : B → C, and h : C → D. Then
(h ◦ g) ◦ f = h ◦ (g ◦ f ).
(exercise)
Theorem. If f : A → B, then
IB ◦ f = f ◦ IA = f.
(exercise)
Theorem. Let f : A → B and g : B → C.
1. If f and g are 1-1, then g ◦ f is 1-1.
2. If g ◦ f is 1-1, then f is 1-1.
3. If f and g are onto, then g ◦ f is onto.
4. If g ◦ f is onto, then g is onto.
Proof of 2. Assume that g ◦ f is 1-1. Let x, y ∈ A, and assume that x 6= y. Since g ◦ f is 1-1,
we have g ◦ f (x) 6= g ◦ f (y), hence g(f (x)) 6= g(f (y)). Thus we have f (x) 6= f (y). Therefore
f is 1-1.
Inverses.
Definition. f : A → B is invertible if there exists g : B → A such that for all x ∈ A and
y ∈ B we have
f (x) = y ⇐⇒ x = g(y),
in which case g is an inverse of f .
Theorem. g : B → A is an inverse of f if and only if both of the following are satisfied: for
all x ∈ A we have g(f (x)) = x, and for all y ∈ B we have f (g(y)) = y.
1
2 SECTION 4.5 OF DEVLIN
Let x ∈ A. Put y = f (x). Then g(y) = x since g is an inverse of f . Thus g(f (x)) = x.
Therefore, for all x ∈ A we have g(f (x)) = x.
g ◦ f = IA and f ◦ g = IB .
(exercise)
Proof. We have
g = g ◦ IB = g ◦ (f ◦ h) = (g ◦ f ) ◦ h = IA ◦ h = h.
Proof. First assume that f is invertible. Then f is 1-1 becuase f −1 ◦ f = IB is, and f is onto
because f ◦ f −1 = IA is. Thus f is bijective.
Conversely, assume that f is bijective. Define g : B → A as follows: for each y ∈ B, let g(y)
be the unique x ∈ A such that f (x) = y. Then for all x ∈ A and y ∈ B we have
f (x) = y ⇐⇒ x = g(y),
so f is invertible.
SECTION 4.5 OF DEVLIN 3
2. Let x ∈ A. Then:
\ \
x ∈ f −1 ( Di ) ⇐⇒ f (x) ∈ Di
i∈I i∈I
⇐⇒ (∀i ∈ I)f (x) ∈ Di
⇐⇒ (∀i ∈ I)x ∈ f −1 (Di )
\
⇐⇒ x ∈ f −1 (Di ).
i∈I