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:
“Indeed, the best books have a use, like sticks and stones, which is above or beside their design, not anticipated in the preface, not concluded in the appendix. Even Virgils poetry serves a very different use to me today from what it did to his contemporaries. It has often an acquired and accidental value merely, proving that man is still man in the world.”
—Henry David Thoreau (18171862)
“The momentary charge at Balaklava, in obedience to a blundering command, proving what a perfect machine the soldier is, has, properly enough, been celebrated by a poet laureate; but the steady, and for the most part successful, charge of this man, for some years, against the legions of Slavery, in obedience to an infinitely higher command, is as much more memorable than that as an intelligent and conscientious man is superior to a machine. Do you think that that will go unsung?”
—Henry David Thoreau (18171862)
“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 (18171862)