Proving That Functions Are One-to-one
A proof that a function ƒ is one-to-one depends on how the function is presented and what properties the function holds. For functions that are given by some formula there is a basic idea. We use the contrapositive of the definition of one-to-one, namely that if ƒ(x) = ƒ(y), then x = y. Here is an example:
- ƒ = 2x + 3
Proof: Let ƒ : X → Y. Suppose ƒ(x) = ƒ(y). So 2x + 3 = 2y + 3 => 2x = 2y => x = y. Therefore it follows from the definition that ƒ is one-to-one. Q.E.D.
There are multiple other methods of proving that a function is one-to-one. For example, in calculus if ƒ is differentiable, then it is sufficient to show that the derivative is always positive or always negative. In linear algebra, if ƒ is a linear transformation it is sufficient to show that the kernel of ƒ contains only the zero vector. If ƒ is a function with finite domain it is sufficient to look through the list of images of each domain element and check that no image occurs twice on the list.
Read more about this topic: Injective Function
Famous quotes containing the words proving that, proving and/or functions:
“What is
there in being able
to say that one has dominated the stream in an attitude of
self-defense;
in proving that one has had the experience
of carrying a stick?”
—Marianne Moore (1887–1972)
“One can prove or refute anything at all with words. Soon people will perfect language technology to such an extent that they’ll be proving with mathematical precision that twice two is seven.”
—Anton Pavlovich Chekhov (1860–1904)
“Those things which now most engage the attention of men, as politics and the daily routine, are, it is true, vital functions of human society, but should be unconsciously performed, like the corresponding functions of the physical body.”
—Henry David Thoreau (1817–1862)