I am understanding this a little, but still not enough to prove it. This is the problem I am working on:
Proof: Suppose for the sake of obtaining a contradiction that if C is an infinite set then D is not an infinite set or \rightarrow C" alt="g \rightarrow C" /> is not one-to-one.
I clearly see the logic. But am confused as to how to relate to \rightarrow C" alt="g \rightarrow C" />.
I guess I am confused as to how can be infinite...
[tex]N_k[\math] is finite.
So I am going to have to prove that if C is an infinite set then D is not, therefore proving by contradiction that the statement is true.
I wonder if you could clarify this statement using onto and/or 1-1.