For convenience let N={1,2,3,…} and Z={…,−2,−1,0,1,2,…}.
1. Properties of f:N→Z
• If n is odd, write n=2k−1(k≥1). Then
f(n)=2n+1=22k−1+1=k,
which produces all positive integers 1,2,3,….
• If n is even, write n=2k(k≥1). Then
f(n)=24−n=24−2k=2−k,
which produces the values
1,0,−1,−2,−3,….
Combining the two cases, the image of f is all of Z, so f is onto.
However,
f(1)=21+1=1,f(2)=24−2=1,
and 1=2. Hence distinct inputs can give the same output, so f is not one-one.
Conclusion for f: not one-one, but onto ⇒ Option D is true.
2. Properties of g:Z→N
• n≥0: g(n)=3+2n=3,5,7,9,… (all odd numbers ≥3).
• n<0: write n=−k(k≥1), then g(n)=−2(−k)=2k=2,4,6,8,… (all even numbers ≥2).
Thus Im(g)={2,3,4,5,6,…}=N∖{1}, so g is not onto.
To test injectivity, suppose g(n1)=g(n2).
• If both n1,n2≥0, then 3+2n1=3+2n2⇒n1=n2(strictly increasing).
• If both n1,n2<0, write them as −k1,−k2. Then 2k1=2k2⇒k1=k2⇒n1=n2.
• If one is ≥0 and the other <0, their images have opposite parity (odd vs even), so equality is impossible.
Therefore g is one-one.
Conclusion for g: one-one, but not onto ⇒ Option C is false.
3. The composition g∘f:N→N
First compute the value explicitly.
Case 1: n=2k−1 (odd,
k≥1).
f(n)=k(positive)
g(f(n))=g(k)=3+2k
Hence g∘f(n)=3+2k, i.e. the numbers 5,7,9,….
Case 2: n=2k (even,
k≥1).
f(n)=2−k
If k=1, f(n)=1,g(1)=5 (already obtained).
If k=2, f(n)=0,g(0)=3.
If k≥3, f(n)=2−k≤−1,g(2−k)=2k−4 (even numbers 2,4,6,8,…).
The total image of g∘f is therefore
{2,3,4,5,6,7,8,9,…}=N∖{1},
so g∘f is not onto.
Also g∘f(1)=5 and g∘f(2)=5, yet 1=2, so the composition is not one-one.
Conclusion for g∘f: neither one-one nor onto ⇒ Option A is true.
4. The composition f∘g:Z→Z
Case 1: n≥0.
g(n)=3+2n(odd)
f(g(n))=2(3+2n)+1=n+2.
So for n=0,1,2,… we obtain 2,3,4,….
Case 2: n=−k with
k≥1.
g(n)=2k(even)
f(g(n))=24−2k=2−k.
For k=1,2,3,… this gives 1,0,−1,−2,….
The union of the two cases yields every integer, so f∘g is onto.
To check injectivity, observe:
• n≥0⇒f∘g(n)=n+2 (strictly increasing).
• n<0⇒f∘g(n)=2−n (strictly decreasing).
No non-negative input can share an image with a negative input, so different arguments always give different values. Hence f∘g is one-one.
Therefore Option B is false.
Final result: Only Option A and Option D are correct.