Uniqueness Quantification - Proving Uniqueness

Proving Uniqueness

Proving uniqueness turns out to be mostly easier than that of existence or expressibility. The most common technique to proving uniqueness is to assume there exists two quantities (say, a and b) that satisfies the condition given, and then logically deducing their equality, i.e. a = b.

As a simple high school example, to show x + 2 = 5 has only one solution, we assume there are two solutions first, namely, a and b, satisfying x + 2 = 5. Thus

By transitivity of equality,

By cancellation,

This simple example shows how a proof of uniqueness is done, the end result being the equality of the two quantities that satisfy the condition. We must say, however, that existence/expressibility must be proven before uniqueness, or else we cannot even assume the existence of those two quantities to begin with.

Read more about this topic:  Uniqueness Quantification

Famous quotes containing the words proving and/or uniqueness:

    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)

    Somehow we have been taught to believe that the experiences of girls and women are not important in the study and understanding of human behavior. If we know men, then we know all of humankind. These prevalent cultural attitudes totally deny the uniqueness of the female experience, limiting the development of girls and women and depriving a needy world of the gifts, talents, and resources our daughters have to offer.
    Jeanne Elium (20th century)