次の写像が全単写であることを証明してください（逆写像を作るのでもおｋ）

(1)f:N×N→N;f((p,q))=p+(p+q-1)(p+q-2)/2

(2)A⊂Nを無限部分集合とする
　 f:A→N;f(a)=#{n∈A;n≦a}
　　但し#BはBの元の数を表す

(3)Q+:={r∈Ｑ；ｒ>0}とA:={(p,q)∈N×N;p,qは互いに素}として
　　f:A→Q+;f((p,q))=p/q

(4)上のことからQ+={Bn}n=1to∞と表せるf:N→Q;f(n)=(-1)^n B[n/2]
ただしBo=0

まだ記号が使い慣れないので、間違ってるかも；；
どうか教えてください。