It's injective only, as surjectivity would require that everything in the Codomain maps to something in the Domain.
Two elements from the domain mapping to one element in the codomain is a counterexample for injectivity.
Bijective is one-to-one
4
7
If we two outputs the same, inputs same
Injective
Doesn't show us much
This doesn't have
To prove this #tk Prove the cubic map is injective
where
WTS:
Surjective
Counterexample: Not surjective, as is never reached. Since always. Doesn't matter what is.
Other examples:
You can't have and with the same .
See that
Argue that
9
If one component function is injective, then the composition will be injective.
#tk generalize the proof for if is injective then is injective
Claim: If as and either or is injective, then is injective
Proof:
Without loss of generality
is injective
So
Want to show that
Since is injective, then
Since we have one component of being injective, it means that the first part of the ordered pair is injective, thus the whole thing is injective. Because will be completely consumed.