Math MSC PS02 Solutions
Math MSC PS02 Solutions
(a) Assume x ∈ (f |A )−1 (B). The set (f |A )−1 (B) is clearly contained in the set
(f )−1 (B), since A ⊂ X and the latter one has no restriction on the domain
and allows for a (possibly) larger set of values. This implies x is in (f )−1 (B).
On the other hand, since the restriction f |A is defined on the set A only, x
must also be in A. These two statements together give x ∈ f −1 (B) ∩ A.
(b) Assume x ∈ f −1 (B) ∩ A. This implies (x ∈ A) ∧ (x ∈ f −1 (B)). If we now
restrict f to A, x ∈ f −1 (B) implies x ∈ (f |A )−1 (B) given that x is in set A.
Thus x ∈ (f |A )−1 (B).
1
A shorter version of the proof would be:
2
1−aN +1
PN
(b) Suppose (induction hypothesis) that n=0 an = 1−a
is true for some N .
Then,
N +1 N
X X 1 − aN +1
an = an + aN +1 = + aN +1
n=0 n=0
1−a
1 − aN +1 (1 − a)aN +1 1 − aN +1 + aN +1 − aN +2
= + =
1−a 1−a 1−a
1 − aN +2
= .
1−a
So it is also true for N + 1.