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)
“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 (1817–1862)
“The mind is a finer body, and resumes its functions of feeding, digesting, absorbing, excluding, and generating, in a new and ethereal element. Here, in the brain, is all the process of alimentation repeated, in the acquiring, comparing, digesting, and assimilating of experience. Here again is the mystery of generation repeated.”
—Ralph Waldo Emerson (1803–1882)