Uniqueness Proofs

Uniqueness Proofs

A uniqueness proof is a type of proof used in mathematics to show that there is exactly one object (or element) that satisfies a given property or condition. These proofs typically demonstrate that an object exists and that this object is the only one that satisfies the given conditions, ensuring that no other object can fulfill the same criteria.

Uniqueness proofs are often used in conjunction with existence proofs. After showing that an object exists, a uniqueness proof is used to demonstrate that no other distinct object can satisfy the same properties. Together, existence and uniqueness establish that there is exactly one object that satisfies the given conditions.

---

Structure of a Uniqueness Proof

A typical uniqueness proof follows this structure:

1. Existence: Prove that at least one object satisfies the given conditions (this is often already done in the existence proof).
2. Uniqueness: Prove that if there are two such objects, they must be identical.

General Formulation of a Uniqueness Statement

A typical uniqueness statement can be phrased as:

• "There exists a unique $x$ such that $P(x)$ is true."

This means:

• There exists an $x$ such that $P(x)$ holds.
• If any other $y$ also satisfies $P(y)$, then $x = y$.

In logical terms, this can be written as:

$$\exists x \, (P(x)) \quad \text{and} \quad \forall y \, \left[ P(y) \implies y = x \right]$$

---

Methods for Proving Uniqueness

There are two common methods for proving uniqueness:

1. Proof by Contradiction

This method involves assuming that there are two distinct objects that satisfy the condition and showing that this leads to a contradiction, thus proving that there can only be one such object.

2. Direct Proof

In a direct uniqueness proof, you show that if two objects $x$ and $y$ satisfy the given property, then $x$ must equal $y$. This is usually done by demonstrating that the conditions imply $x = y$.

---

Example of a Uniqueness Proof

Example 1: Prove that the solution to the equation $x^2 = 4$ is unique.

We want to prove that there is exactly one real number $x$ such that $x^2 = 4$.

Step 1: Existence Proof

• We first show that there are solutions to the equation. The solutions are $x = 2$ and $x = -2$, which are both real numbers and satisfy $x^2 = 4$. So, two solutions exist.

Step 2: Uniqueness Proof

• We need to prove that there is exactly one real number $x$ such that $x^2 = 4$. Let $x_1$ and $x_2$ be two real numbers that satisfy the equation $x^2 = 4$. Then we have:

  $$x_1^2 = 4 \quad \text{and} \quad x_2^2 = 4$$

  This means that:

  $$(x_1 - x_2)(x_1 + x_2) = 0$$

  For the product to be zero, either $x_1 - x_2 = 0$ or $x_1 + x_2 = 0$.

  • If $x_1 - x_2 = 0$, then $x_1 = x_2$, meaning the two solutions are the same.
  • If $x_1 + x_2 = 0$, then $x_1 = -x_2$.

  So, the only solutions are $x_1 = 2$ and $x_2 = -2$, and they are distinct. Therefore, we have two distinct real solutions, not one.

Thus, the solutions $2$ and $-2$ are unique for the equation $x^2 = 4$.

---

Example 2: Prove that the additive inverse of an integer is unique.

Statement: Prove that for every integer $a$, there exists a unique integer $b$ such that $a + b = 0$.

Step 1: Existence Proof

• We know that for any integer $a$, the number $-a$ satisfies $a + (-a) = 0$. So, the integer $b = -a$ exists.

Step 2: Uniqueness Proof

• Suppose there are two integers $b_1$ and $b_2$ such that $a + b_1 = 0$ and $a + b_2 = 0$.
• From these equations, we have: $$b_1 = -a \quad \text{and} \quad b_2 = -a$$ Therefore, $b_1 = b_2$.

Thus, the integer $b$ that satisfies $a + b = 0$ is unique. Therefore, the additive inverse of an integer is unique.

---

Proof by Contradiction (Uniqueness)

Example 3: Prove that the square root of 2 is irrational.

To prove that $\sqrt{2}$ is irrational, we use proof by contradiction, which also involves uniqueness.

Proof by Contradiction:

• Assume that $\sqrt{2}$ is rational. This means that $\sqrt{2}$ can be expressed as $\frac{p}{q}$, where $p$ and $q$ are integers with no common factors (i.e., $p$ and $q$ are coprime), and $q \neq 0$.

  Thus, we assume:

  $$\sqrt{2} = \frac{p}{q}$$

  Squaring both sides:

  $$2 = \frac{p^2}{q^2}$$ $$p^2 = 2q^2$$

• This equation implies that $p^2$ is even (since it is divisible by 2). Since $p^2$ is even, $p$ must also be even (because the square of an odd number is odd).

• Let $p = 2k$, where $k$ is an integer. Substituting into the equation $p^2 = 2q^2$:

  $$(2k)^2 = 2q^2$$ $$4k^2 = 2q^2$$ $$2k^2 = q^2$$

• This shows that $q^2$ is also even, so $q$ must be even.

• But if both $p$ and $q$ are even, this contradicts the assumption that $p$ and $q$ have no common factors (i.e., they are coprime). Hence, the assumption that $\sqrt{2}$ is rational must be false.

• Therefore, $\sqrt{2}$ is irrational, and its uniqueness (as the only real solution to $x^2 = 2$) is proved.

---

Conclusion

A uniqueness proof establishes that an object with certain properties is not only guaranteed to exist but is also the only object that satisfies those properties. Uniqueness proofs can be done through direct proofs (showing that two objects must be identical) or by contradiction (assuming the existence of two objects and showing that this leads to a contradiction). Such proofs are commonly used in fields like algebra, number theory, and analysis to ensure the distinctness of solutions or elements.