I know that to prove A is finite, I say:
a bijection
So to prove A is infinite would I say:
a bijection
Our professor just said "not finite." So I am a little confused as to what to negate.
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...
I understand...
[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.